runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737467-1338763583/watcher-3737467-1338763583 -o /tmp/evaluation-result-3737467-1338763583/solver-3737467-1338763583 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3737467-1338763583.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.03 2.00 3/192 4965
/proc/meminfo: memFree=21599700/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/4965/stat : 4965 (java6) D 4963 4965 3438 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 342486900 9515008 176 33554432000 1073741824 1073778376 140737360815328 140737360798056 235374723984 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/4965/statm: 2323 176 133 9 0 71 0
[startup+0.0486031 s]
/proc/loadavg: 1.98 2.03 2.00 3/192 4965
/proc/meminfo: memFree=21599700/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=2315716 CPUtime=0.02 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3438 0 -1 4202496 3660 0 1 0 1 1 0 0 20 0 13 0 342486900 2371293184 4867 33554432000 1073741824 1073778376 140737192453120 140737192444256 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 578929 4867 1683 9 0 569630 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2315716
[startup+0.10029 s]
/proc/loadavg: 1.98 2.03 2.00 3/192 4965
/proc/meminfo: memFree=21599700/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3438 0 -1 4202496 4431 0 1 0 7 1 0 0 20 0 18 0 342486900 2712133632 6148 33554432000 1073741824 1073778376 140737192453120 140737192444256 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 662142 6149 2065 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.30025 s]
/proc/loadavg: 1.98 2.03 2.00 3/192 4965
/proc/meminfo: memFree=21599700/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=2648568 CPUtime=0.42 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3438 0 -1 4202496 6316 0 1 0 40 2 0 0 20 0 18 0 342486900 2712133632 8701 33554432000 1073741824 1073778376 140737192453120 140737192444256 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 662142 8701 2220 9 0 652835 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2648568
[startup+0.700259 s]
/proc/loadavg: 1.98 2.03 2.00 3/192 4965
/proc/meminfo: memFree=21599700/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=2648568 CPUtime=1.01 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3438 0 -1 4202496 7446 0 1 0 99 2 0 0 20 0 18 0 342486900 2712133632 11319 33554432000 1073741824 1073778376 140737192453120 140737192444256 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 662142 11319 2231 9 0 652835 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 2648568
[startup+1.50073 s]
/proc/loadavg: 2.14 2.06 2.01 3/211 4984
/proc/meminfo: memFree=21529272/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=2715132 CPUtime=2.34 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3438 0 -1 4202496 11284 0 1 0 228 6 0 0 20 0 19 0 342486900 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 140737192444256 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 678783 55323 2256 9 0 669476 0
[pid=4965/tid=4967] ppid=4963 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/4965/task/4967/stat : 4967 (java) R 4963 4965 3438 0 -1 4202560 2842 0 1 0 141 5 0 0 20 0 19 0 342486902 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842510541432 139842340633847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842494990760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842493938216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842492885160 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842491832616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842490780584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842489728040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842488674984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842487622440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3438 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342486904 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842475211112 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842474157432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842473104264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842472053008 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3438 0 -1 4202560 3273 0 0 0 42 0 0 0 20 0 19 0 342486907 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842471000888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3438 0 -1 4202560 3973 0 0 0 42 0 0 0 20 0 19 0 342486907 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842469948344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842468895480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486908 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842467843144 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342486974 2780295168 55323 33554432000 1073741824 1073778376 140737192453120 139842466788392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 2715132
[startup+3.10074 s]
/proc/loadavg: 2.14 2.06 2.01 3/211 4984
/proc/meminfo: memFree=21241312/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=2715132 CPUtime=4.02 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3438 0 -1 4202496 11395 0 1 0 392 10 0 0 20 0 19 0 342486900 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 140737192444256 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 678783 95280 2270 9 0 669476 0
[pid=4965/tid=4967] ppid=4963 vsize=2715132 CPUtime=3.04 cores=1,3,5,7
/proc/4965/task/4967/stat : 4967 (java) R 4963 4965 3438 0 -1 4202560 2921 0 1 0 296 8 0 0 20 0 19 0 342486902 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842510541304 139842340722416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842494990760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842493938216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842492885160 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3438 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842491832616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3438 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842490780584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842489728040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842488674984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842487622440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342486904 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842475211112 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842474157432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842473104264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842472053008 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3438 0 -1 4202560 3273 0 0 0 44 0 0 0 20 0 19 0 342486907 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842471000888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3438 0 -1 4202560 3973 0 0 0 44 0 0 0 20 0 19 0 342486907 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842469948344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842468895480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486908 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842467843144 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342486974 2780295168 95280 33554432000 1073741824 1073778376 140737192453120 139842466788392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 2715132
[startup+6.30075 s]
/proc/loadavg: 2.14 2.06 2.01 3/211 4984
/proc/meminfo: memFree=21205876/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=2715132 CPUtime=7.31 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3438 0 -1 4202496 11435 0 1 0 718 13 0 0 20 0 19 0 342486900 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 140737192444256 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 678783 100241 2270 9 0 669476 0
[pid=4965/tid=4967] ppid=4963 vsize=2715132 CPUtime=6.21 cores=1,3,5,7
/proc/4965/task/4967/stat : 4967 (java) R 4963 4965 3438 0 -1 4202560 2924 0 1 0 613 8 0 0 20 0 19 0 342486902 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842510541272 139842340723851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3438 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 342486903 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842494990760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3438 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 342486903 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842493938216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842492885160 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3438 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 342486903 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842491832616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3438 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 342486903 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842490780584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3438 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842489728040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3438 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342486903 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842488674984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3438 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 342486903 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842487622440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342486904 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842475211112 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842474157432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842473104264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842472053008 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3438 0 -1 4202560 3273 0 0 0 44 0 0 0 20 0 19 0 342486907 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842471000888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=2715132 CPUtime=0.45 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3438 0 -1 4202560 3974 0 0 0 45 0 0 0 20 0 19 0 342486907 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842469948344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842468895480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486908 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842467843144 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342486974 2780295168 100241 33554432000 1073741824 1073778376 140737192453120 139842466788392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842474157432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842473104264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842472053008 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=2715132 CPUtime=1.07 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3438 0 -1 4202560 11400 0 0 0 104 3 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842471000888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=2715132 CPUtime=0.62 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3438 0 -1 4202560 3982 0 0 0 62 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842469948344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842468895480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3438 0 -1 4202560 95 0 0 0 50 28 0 0 20 0 19 0 342486908 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842467843144 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342486974 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842466788392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1676.23
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/211 5081
/proc/meminfo: memFree=20167440/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=2715132 CPUtime=1736.35 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3438 0 -1 4202496 23022 0 1 0 173472 163 0 0 20 0 19 0 342486900 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 140737192444256 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 678783 330835 2283 9 0 669476 0
[pid=4965/tid=4967] ppid=4963 vsize=2715132 CPUtime=1715.44 cores=1,3,5,7
/proc/4965/task/4967/stat : 4967 (java) R 4963 4965 3438 0 -1 4202560 3032 0 1 0 171510 34 0 0 20 0 19 0 342486902 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842510540224 139842340723776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=2715132 CPUtime=2.01 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3438 0 -1 4202560 476 0 0 0 184 17 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842494990760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=2715132 CPUtime=2.09 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3438 0 -1 4202560 334 0 0 0 194 15 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842493938216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=2715132 CPUtime=1.99 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3438 0 -1 4202560 309 0 0 0 186 13 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842492885160 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=2715132 CPUtime=2.12 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3438 0 -1 4202560 444 0 0 0 197 15 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842491832616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=2715132 CPUtime=1.73 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3438 0 -1 4202560 415 0 0 0 160 13 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842490780584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=2715132 CPUtime=1.86 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3438 0 -1 4202560 403 0 0 0 174 12 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842489728040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=2715132 CPUtime=1.87 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3438 0 -1 4202560 369 0 0 0 172 15 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842488674984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=2715132 CPUtime=2.04 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3438 0 -1 4202560 458 0 0 0 190 14 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842487622440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=2715132 CPUtime=2.49 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3438 0 -1 4202560 118 0 0 0 248 1 0 0 20 0 19 0 342486904 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842475211112 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842474157432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842473104264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842472053008 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=2715132 CPUtime=1.07 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3438 0 -1 4202560 11400 0 0 0 104 3 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842471000888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=2715132 CPUtime=0.62 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3438 0 -1 4202560 3982 0 0 0 62 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842469948344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842468895480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3438 0 -1 4202560 99 0 0 0 53 29 0 0 20 0 19 0 342486908 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842467843144 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342486974 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842466788392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1736.35
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/211 5081
/proc/meminfo: memFree=20152980/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=2715132 CPUtime=1796.57 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3438 0 -1 4202496 23032 0 1 0 179492 165 0 0 20 0 19 0 342486900 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 140737192444256 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 678783 330835 2283 9 0 669476 0
[pid=4965/tid=4967] ppid=4963 vsize=2715132 CPUtime=1775.37 cores=1,3,5,7
/proc/4965/task/4967/stat : 4967 (java) R 4963 4965 3438 0 -1 4202560 3034 0 1 0 177503 34 0 0 20 0 19 0 342486902 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842510540160 139842340786527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=2715132 CPUtime=2.04 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3438 0 -1 4202560 476 0 0 0 187 17 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842494990760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=2715132 CPUtime=2.14 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3438 0 -1 4202560 334 0 0 0 199 15 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842493938216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=2715132 CPUtime=2.01 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3438 0 -1 4202560 309 0 0 0 188 13 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842492885160 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=2715132 CPUtime=2.15 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3438 0 -1 4202560 444 0 0 0 200 15 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842491832616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=2715132 CPUtime=1.76 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3438 0 -1 4202560 415 0 0 0 163 13 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842490780584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=2715132 CPUtime=1.91 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3438 0 -1 4202560 403 0 0 0 179 12 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842489728040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=2715132 CPUtime=1.89 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3438 0 -1 4202560 369 0 0 0 174 15 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842488674984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=2715132 CPUtime=2.07 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3438 0 -1 4202560 458 0 0 0 193 14 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842487622440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=2715132 CPUtime=2.49 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3438 0 -1 4202560 122 0 0 0 248 1 0 0 20 0 19 0 342486904 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842475211112 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842474157432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842473104264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842472053008 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=2715132 CPUtime=1.07 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3438 0 -1 4202560 11400 0 0 0 104 3 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842471000888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=2715132 CPUtime=0.62 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3438 0 -1 4202560 3982 0 0 0 62 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842469948344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842468895480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=2715132 CPUtime=0.85 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3438 0 -1 4202560 103 0 0 0 54 31 0 0 20 0 19 0 342486908 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842467843144 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342486974 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842466788392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.8 s]
/proc/loadavg: 1.99 1.99 1.99 3/211 5081
/proc/meminfo: memFree=20152980/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=2715132 CPUtime=1800.07 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3438 0 -1 4202496 23032 0 1 0 179842 165 0 0 20 0 19 0 342486900 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 140737192444256 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 678783 330835 2283 9 0 669476 0
[pid=4965/tid=4967] ppid=4963 vsize=2715132 CPUtime=1778.87 cores=1,3,5,7
/proc/4965/task/4967/stat : 4967 (java) R 4963 4965 3438 0 -1 4202560 3034 0 1 0 177852 35 0 0 20 0 19 0 342486902 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842510540160 139842340680483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=2715132 CPUtime=2.04 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3438 0 -1 4202560 476 0 0 0 187 17 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842494990760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=2715132 CPUtime=2.14 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3438 0 -1 4202560 334 0 0 0 199 15 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842493938216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=2715132 CPUtime=2.01 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3438 0 -1 4202560 309 0 0 0 188 13 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842492885160 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=2715132 CPUtime=2.15 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3438 0 -1 4202560 444 0 0 0 200 15 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842491832616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=2715132 CPUtime=1.76 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3438 0 -1 4202560 415 0 0 0 163 13 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842490780584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=2715132 CPUtime=1.91 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3438 0 -1 4202560 403 0 0 0 179 12 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842489728040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=2715132 CPUtime=1.89 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3438 0 -1 4202560 369 0 0 0 174 15 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842488674984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=2715132 CPUtime=2.07 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3438 0 -1 4202560 458 0 0 0 193 14 0 0 20 0 19 0 342486903 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842487622440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=2715132 CPUtime=2.49 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3438 0 -1 4202560 122 0 0 0 248 1 0 0 20 0 19 0 342486904 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842475211112 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842474157432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342486905 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842473104264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842472053008 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=2715132 CPUtime=1.07 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3438 0 -1 4202560 11400 0 0 0 104 3 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842471000888 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=2715132 CPUtime=0.62 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3438 0 -1 4202560 3982 0 0 0 62 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842469948344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342486907 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842468895480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=2715132 CPUtime=0.85 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3438 0 -1 4202560 103 0 0 0 54 31 0 0 20 0 19 0 342486908 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842467843144 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342486974 2780295168 330835 33554432000 1073741824 1073778376 140737192453120 139842466788392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1785.91 s]
/proc/loadavg: 1.99 1.99 1.99 3/211 5081
/proc/meminfo: memFree=20152980/32873844 swapFree=7112/7112
[pid=4965] ppid=4963 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/4965/stat : 4965 (java) Z 4963 4965 3438 0 -1 4203532 23068 0 1 0 179835 198 0 0 20 0 2 0 342486900 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4965/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1785.92
CPU time (s): 1800.34
CPU user time (s): 1798.36
CPU system time (s): 1.9847
CPU usage (%): 100.808
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.9847
maximum resident set size= 1323460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23068
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41177
involuntary context switches= 29662
runsolver used 7.52886 second user time and 13.8639 second system time
The end