runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/randf17677.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//randf17677.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/randf17677.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.37 1.43 1.32 5/39 2978 /proc/meminfo: memFree=574544/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) R 2976 2977 2059 34821 2220 4202496 357 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 271 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/2977/statm: 643 271 231 194 0 29 0 [pid=2978] ppid=2977 vsize=2572 CPUtime=0 /proc/2978/stat : 2978 (gj-paranoid-sol) R 2977 2977 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 40 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/2978/statm: 643 40 0 194 0 29 0 [startup+0.204798 s] /proc/loadavg: 1.37 1.43 1.32 5/39 2978 /proc/meminfo: memFree=574544/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=409672 CPUtime=0.2 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 3809 0 1 0 18 2 0 0 25 0 9 0 876734338 419504128 3274 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102418 3274 1732 10 0 96598 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412244 [startup+0.304823 s] /proc/loadavg: 1.37 1.43 1.32 5/39 2978 /proc/meminfo: memFree=574544/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=410100 CPUtime=0.3 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 4330 0 1 0 26 4 0 0 25 0 9 0 876734338 419942400 3795 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102525 3795 1881 10 0 96705 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412672 [startup+0.40488 s] /proc/loadavg: 1.37 1.43 1.32 5/39 2978 /proc/meminfo: memFree=574544/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=410100 CPUtime=0.4 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 6664 0 1 0 36 4 0 0 25 0 9 0 876734338 419942400 6128 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102525 6128 1889 10 0 96705 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 412672 [startup+0.705001 s] /proc/loadavg: 1.37 1.43 1.32 5/39 2978 /proc/meminfo: memFree=574544/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=410704 CPUtime=0.7 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 12937 0 1 0 63 7 0 0 25 0 9 0 876734338 420560896 12223 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102676 12223 2878 10 0 96856 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413276 [startup+1.5053 s] /proc/loadavg: 1.37 1.43 1.32 3/48 2987 /proc/meminfo: memFree=503160/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=410836 CPUtime=1.5 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 28562 0 1 0 137 13 0 0 25 0 9 0 876734338 420696064 27848 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102709 27848 2879 10 0 96889 0 [pid=2978/tid=2980] ppid=2977 vsize=410836 CPUtime=0.7 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 6785 0 1 0 66 4 0 0 25 0 9 0 876734339 420696064 27848 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=410836 CPUtime=0.74 /proc/2978/task/2981/stat : 2981 (java) R 2977 2977 2059 34821 2220 4202560 20389 0 0 0 67 7 0 0 20 0 9 0 876734340 420696064 27848 1283457024 134512640 134550932 4294199472 18446744073709551615 4151038410 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=410836 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 876734340 420696064 27848 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=410836 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 876734340 420696064 27848 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=410836 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876734341 420696064 27848 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=410836 CPUtime=0.03 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 454 0 0 0 3 0 0 0 16 0 9 0 876734341 420696064 27848 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=410836 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876734341 420696064 27848 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=410836 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876734341 420696064 27848 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413408 [startup+3.10588 s] /proc/loadavg: 1.37 1.43 1.32 3/48 2987 /proc/meminfo: memFree=414376/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=411160 CPUtime=3.1 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 45280 0 1 0 291 19 0 0 25 0 10 0 876734338 421027840 44550 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102790 44550 2885 10 0 96970 0 [pid=2978/tid=2980] ppid=2977 vsize=411160 CPUtime=1.38 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 9741 0 1 0 133 5 0 0 25 0 10 0 876734339 421027840 44550 1283457024 134512640 134550932 4294199472 18446744073709551615 4115299370 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=411160 CPUtime=1.64 /proc/2978/task/2981/stat : 2981 (java) S 2977 2977 2059 34821 2220 4202560 34088 0 0 0 152 12 0 0 18 0 10 0 876734340 421027840 44550 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=411160 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876734340 421027840 44550 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=411160 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876734340 421027840 44550 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=411160 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421027840 44550 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=411160 CPUtime=0.05 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 512 0 0 0 4 1 0 0 15 0 10 0 876734341 421027840 44550 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=411160 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421027840 44550 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=411160 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876734341 421027840 44550 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413732 [startup+6.30684 s] /proc/loadavg: 1.42 1.44 1.32 2/49 2988 /proc/meminfo: memFree=395148/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=411292 CPUtime=6.3 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 48304 0 1 0 610 20 0 0 25 0 10 0 876734338 421163008 47568 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102823 47568 2883 10 0 97003 0 [pid=2978/tid=2980] ppid=2977 vsize=411292 CPUtime=4.17 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 10268 0 1 0 412 5 0 0 25 0 10 0 876734339 421163008 47568 1283457024 134512640 134550932 4294199472 18446744073709551615 4115298486 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=411292 CPUtime=2.06 /proc/2978/task/2981/stat : 2981 (java) S 2977 2977 2059 34821 2220 4202560 36580 0 0 0 194 12 0 0 15 0 10 0 876734340 421163008 47568 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=411292 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876734340 421163008 47568 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=411292 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876734340 421163008 47568 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=411292 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421163008 47568 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=411292 CPUtime=0.06 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 517 0 0 0 4 2 0 0 15 0 10 0 876734341 421163008 47568 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=411292 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421163008 47568 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=411292 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876734341 421163008 47568 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2988] ppid=2977 vsize=411292 CPUtime=0 /proc/2978/task/2988/stat : 2988 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876734624 421163008 47568 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413864 [startup+12.7086 s] /proc/loadavg: 1.47 1.45 1.32 3/49 2988 /proc/meminfo: memFree=383252/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=411148 CPUtime=12.7 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 58509 0 1 0 1250 20 0 0 25 0 10 0 876734338 421015552 50954 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102787 50954 2883 10 0 96967 0 [pid=2978/tid=2980] ppid=2977 vsize=411148 CPUtime=8.8 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 10268 0 1 0 875 5 0 0 25 0 10 0 876734339 421015552 50954 1283457024 134512640 134550932 4294199472 18446744073709551615 4115287665 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=411148 CPUtime=3.82 /proc/2978/task/2981/stat : 2981 (java) S 2977 2977 2059 34821 2220 4202560 46784 0 0 0 370 12 0 0 16 0 10 0 876734340 421015552 50954 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 50954 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 50954 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 50954 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=411148 CPUtime=0.06 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 518 0 0 0 4 2 0 0 15 0 10 0 876734341 421015552 50954 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 50954 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876734341 421015552 50954 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2988] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2988/stat : 2988 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876734624 421015552 50954 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 413720 [startup+25.5121 s] /proc/loadavg: 1.36 1.42 1.32 3/49 2988 /proc/meminfo: memFree=375812/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=411148 CPUtime=25.5 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 66608 0 1 0 2527 23 0 0 25 0 10 0 876734338 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102787 52237 2883 10 0 96967 0 [pid=2978/tid=2980] ppid=2977 vsize=411148 CPUtime=19.89 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 10268 0 1 0 1984 5 0 0 25 0 10 0 876734339 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4115298412 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=411148 CPUtime=5.53 /proc/2978/task/2981/stat : 2981 (java) S 2977 2977 2059 34821 2220 4202560 54883 0 0 0 538 15 0 0 15 0 10 0 876734340 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=411148 CPUtime=0.06 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 518 0 0 0 4 2 0 0 15 0 10 0 876734341 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876734341 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2988] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2988/stat : 2988 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876734624 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 413720 Solver just ended. Dumping a history of the last processes samples [startup+25.7121 s] /proc/loadavg: 1.36 1.42 1.32 3/49 2988 /proc/meminfo: memFree=375812/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=411148 CPUtime=25.7 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 66608 0 1 0 2547 23 0 0 25 0 10 0 876734338 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102787 52237 2883 10 0 96967 0 [pid=2978/tid=2980] ppid=2977 vsize=411148 CPUtime=20.09 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 10268 0 1 0 2004 5 0 0 25 0 10 0 876734339 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4115221142 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=411148 CPUtime=5.53 /proc/2978/task/2981/stat : 2981 (java) S 2977 2977 2059 34821 2220 4202560 54883 0 0 0 538 15 0 0 15 0 10 0 876734340 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=411148 CPUtime=0.06 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 518 0 0 0 4 2 0 0 15 0 10 0 876734341 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) R 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876734341 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2988] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2988/stat : 2988 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876734624 421015552 52237 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.7 Current children cumulated vsize (KiB) 413720 [startup+28.9129 s] /proc/loadavg: 1.36 1.42 1.32 2/49 2988 /proc/meminfo: memFree=375440/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=411148 CPUtime=28.9 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 68993 0 1 0 2866 24 0 0 25 0 10 0 876734338 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102787 52352 2883 10 0 96967 0 [pid=2978/tid=2980] ppid=2977 vsize=411148 CPUtime=22.73 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 10268 0 1 0 2268 5 0 0 25 0 10 0 876734339 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4115244015 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=411148 CPUtime=6.09 /proc/2978/task/2981/stat : 2981 (java) S 2977 2977 2059 34821 2220 4202560 57268 0 0 0 593 16 0 0 15 0 10 0 876734340 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=411148 CPUtime=0.06 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 518 0 0 0 4 2 0 0 15 0 10 0 876734341 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) R 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876734341 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2988] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2988/stat : 2988 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876734624 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 28.9 Current children cumulated vsize (KiB) 413720 [startup+30.5133 s] /proc/loadavg: 1.33 1.42 1.32 2/49 2988 /proc/meminfo: memFree=375440/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=411148 CPUtime=30.49 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 68993 0 1 0 3025 24 0 0 25 0 10 0 876734338 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102787 52352 2883 10 0 96967 0 [pid=2978/tid=2980] ppid=2977 vsize=411148 CPUtime=24.32 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 10268 0 1 0 2427 5 0 0 25 0 10 0 876734339 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4115298468 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=411148 CPUtime=6.09 /proc/2978/task/2981/stat : 2981 (java) S 2977 2977 2059 34821 2220 4202560 57268 0 0 0 593 16 0 0 15 0 10 0 876734340 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=411148 CPUtime=0.06 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 518 0 0 0 4 2 0 0 15 0 10 0 876734341 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876734341 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2988] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2988/stat : 2988 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876734624 421015552 52352 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 30.49 Current children cumulated vsize (KiB) 413720 [startup+32.1037 s] /proc/loadavg: 1.33 1.42 1.32 2/49 2988 /proc/meminfo: memFree=372836/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=411148 CPUtime=32.08 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 71891 0 1 0 3183 25 0 0 25 0 10 0 876734338 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102787 52980 2883 10 0 96967 0 [pid=2978/tid=2980] ppid=2977 vsize=411148 CPUtime=25.34 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 10268 0 1 0 2529 5 0 0 25 0 10 0 876734339 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4115298468 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=411148 CPUtime=6.65 /proc/2978/task/2981/stat : 2981 (java) S 2977 2977 2059 34821 2220 4202560 60166 0 0 0 649 16 0 0 16 0 10 0 876734340 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=411148 CPUtime=0.06 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 518 0 0 0 4 2 0 0 15 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2988] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2988/stat : 2988 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876734624 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 32.08 Current children cumulated vsize (KiB) 413720 [startup+32.5038 s] /proc/loadavg: 1.33 1.42 1.32 2/49 2988 /proc/meminfo: memFree=372836/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=411148 CPUtime=32.48 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 71891 0 1 0 3223 25 0 0 25 0 10 0 876734338 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102787 52980 2883 10 0 96967 0 [pid=2978/tid=2980] ppid=2977 vsize=411148 CPUtime=25.74 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 10268 0 1 0 2569 5 0 0 25 0 10 0 876734339 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4115220836 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=411148 CPUtime=6.65 /proc/2978/task/2981/stat : 2981 (java) S 2977 2977 2059 34821 2220 4202560 60166 0 0 0 649 16 0 0 16 0 10 0 876734340 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=411148 CPUtime=0.06 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 518 0 0 0 4 2 0 0 15 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2988] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2988/stat : 2988 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876734624 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 32.48 Current children cumulated vsize (KiB) 413720 [startup+32.9039 s] /proc/loadavg: 1.33 1.42 1.32 2/49 2988 /proc/meminfo: memFree=372836/1048576 swapFree=2084004/2097144 [pid=2977] ppid=2976 vsize=2572 CPUtime=0 /proc/2977/stat : 2977 (gj-paranoid-sol) S 2976 2977 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876734338 2633728 272 1283457024 134512640 135304128 4288277424 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/2977/statm: 643 272 232 194 0 29 0 [pid=2978] ppid=2977 vsize=411148 CPUtime=32.88 /proc/2978/stat : 2978 (java) S 2977 2977 2059 34821 2220 4202496 71891 0 1 0 3263 25 0 0 25 0 10 0 876734338 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/2978/statm: 102787 52980 2883 10 0 96967 0 [pid=2978/tid=2980] ppid=2977 vsize=411148 CPUtime=26.14 /proc/2978/task/2980/stat : 2980 (java) R 2977 2977 2059 34821 2220 4202560 10268 0 1 0 2609 5 0 0 25 0 10 0 876734339 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4115178453 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=2978/tid=2981] ppid=2977 vsize=411148 CPUtime=6.65 /proc/2978/task/2981/stat : 2981 (java) S 2977 2977 2059 34821 2220 4202560 60166 0 0 0 649 16 0 0 15 0 10 0 876734340 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2982] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2982/stat : 2982 (java) S 2977 2977 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2983] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2983/stat : 2983 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876734340 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2984] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2984/stat : 2984 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2985] ppid=2977 vsize=411148 CPUtime=0.06 /proc/2978/task/2985/stat : 2985 (java) S 2977 2977 2059 34821 2220 4202560 518 0 0 0 4 2 0 0 15 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2986] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2986/stat : 2986 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2987] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2987/stat : 2987 (java) S 2977 2977 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876734341 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 [pid=2978/tid=2988] ppid=2977 vsize=411148 CPUtime=0 /proc/2978/task/2988/stat : 2988 (java) S 2977 2977 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876734624 421015552 52980 1283457024 134512640 134550932 4294199472 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 32.88 Current children cumulated vsize (KiB) 413720 Child status: 0 Real time (s): 32.948 CPU time (s): 32.9221 CPU user time (s): 32.658 CPU system time (s): 0.264016 CPU usage (%): 99.9212 Max. virtual memory (cumulated for all children) (KiB): 422840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.658 system time used= 0.264016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72287 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1220 involuntary context switches= 1519 runsolver used 0 second user time and 0 second system time The end