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-3731310-1338737736/watcher-3731310-1338737736 -o /tmp/evaluation-result-3731310-1338737736/solver-3731310-1338737736 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731310-1338737736.opb
running on 4 cores: 0,2,4,6
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: 2.14 2.01 2.00 3/195 12064
/proc/meminfo: memFree=29987316/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12064/stat : 12064 (java6) D 12062 12064 2614 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 339898493 9515008 183 33554432000 1073741824 1073778376 140736328900800 140736328891832 240565173941 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/12064/statm: 2323 183 140 9 0 71 0
[startup+0.0355639 s]
/proc/loadavg: 2.14 2.01 2.00 3/195 12064
/proc/meminfo: memFree=29987316/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=2106772 CPUtime=0.01 cores=0,2,4,6
/proc/12064/stat : 12064 (java) S 12062 12064 2614 0 -1 4202496 3456 0 1 0 1 0 0 0 20 0 10 0 339898493 2157334528 4155 33554432000 1073741824 1073778376 140736094678288 140736094669424 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12064/statm: 526693 4155 1539 9 0 517394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2106772
[startup+0.100241 s]
/proc/loadavg: 2.14 2.01 2.00 3/195 12064
/proc/meminfo: memFree=29987316/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=2648568 CPUtime=0.08 cores=0,2,4,6
/proc/12064/stat : 12064 (java) S 12062 12064 2614 0 -1 4202496 4438 0 1 0 7 1 0 0 20 0 18 0 339898493 2712133632 6155 33554432000 1073741824 1073778376 140736094678288 140736094669424 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12064/statm: 662142 6155 2065 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.30032 s]
/proc/loadavg: 2.14 2.01 2.00 3/195 12064
/proc/meminfo: memFree=29987316/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=2648568 CPUtime=0.5 cores=0,2,4,6
/proc/12064/stat : 12064 (java) S 12062 12064 2614 0 -1 4202496 6401 0 1 0 49 1 0 0 20 0 18 0 339898493 2712133632 10540 33554432000 1073741824 1073778376 140736094678288 140736094669424 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12064/statm: 662142 10540 2222 9 0 652835 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2648568
[startup+0.700335 s]
/proc/loadavg: 2.14 2.01 2.00 3/195 12064
/proc/meminfo: memFree=29987316/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=2715132 CPUtime=1.29 cores=0,2,4,6
/proc/12064/stat : 12064 (java) S 12062 12064 2614 0 -1 4202496 10947 0 1 0 127 2 0 0 20 0 19 0 339898493 2780295168 15242 33554432000 1073741824 1073778376 140736094678288 140736094669424 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12064/statm: 678783 15242 2250 9 0 669476 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2715132
[startup+1.50069 s]
/proc/loadavg: 2.14 2.01 2.00 3/214 12083
/proc/meminfo: memFree=29930692/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=2715132 CPUtime=2.15 cores=0,2,4,6
/proc/12064/stat : 12064 (java) S 12062 12064 2614 0 -1 4202496 10957 0 1 0 212 3 0 0 20 0 19 0 339898493 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 140736094669424 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12064/statm: 678783 17806 2253 9 0 669476 0
[pid=12064/tid=12066] ppid=12062 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/12064/task/12066/stat : 12066 (java) R 12062 12064 2614 0 -1 4202560 2783 0 1 0 144 2 0 0 20 0 19 0 339898494 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139875282139496 139875154790086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139875148684328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139875147631528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139875146578728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139875145525928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139875144473128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139875143420328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12073] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12073/stat : 12073 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139875142367528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12074] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12074/stat : 12074 (java) S 12062 12064 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139875141314728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12075] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12075/stat : 12075 (java) S 12062 12064 2614 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139874658540520 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12076] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12076/stat : 12076 (java) S 12062 12064 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139874657486584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12077] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12077/stat : 12077 (java) S 12062 12064 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139874656433672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12078] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12078/stat : 12078 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139874655382160 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12079] ppid=12062 vsize=2715132 CPUtime=0.35 cores=0,2,4,6
/proc/12064/task/12079/stat : 12079 (java) S 12062 12064 2614 0 -1 4202560 3716 0 0 0 35 0 0 0 20 0 19 0 339898500 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139874654329272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12080] ppid=12062 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/12064/task/12080/stat : 12080 (java) S 12062 12064 2614 0 -1 4202560 3261 0 0 0 29 0 0 0 20 0 19 0 339898500 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139874653276472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12081] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12081/stat : 12081 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139874652223864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12082] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12082/stat : 12082 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139874651171272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12083] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12083/stat : 12083 (java) S 12062 12064 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339898530 2780295168 17806 33554432000 1073741824 1073778376 140736094678288 139874650117800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 2715132
[startup+3.10067 s]
/proc/loadavg: 2.14 2.01 2.00 3/214 12083
/proc/meminfo: memFree=29918032/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=2715132 CPUtime=3.78 cores=0,2,4,6
/proc/12064/stat : 12064 (java) S 12062 12064 2614 0 -1 4202496 10967 0 1 0 375 3 0 0 20 0 19 0 339898493 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 140736094669424 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12064/statm: 678783 21903 2253 9 0 669476 0
[pid=12064/tid=12066] ppid=12062 vsize=2715132 CPUtime=3.06 cores=0,2,4,6
/proc/12064/task/12066/stat : 12066 (java) R 12062 12064 2614 0 -1 4202560 2792 0 1 0 304 2 0 0 20 0 19 0 339898494 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139875282141736 139875154762589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139875148684328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139875147631528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139875146578728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139875145525928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139875144473128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139875143420328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12073] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12073/stat : 12073 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139875142367528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12074] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12074/stat : 12074 (java) S 12062 12064 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139875141314728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12075] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12075/stat : 12075 (java) S 12062 12064 2614 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139874658540520 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12076] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12076/stat : 12076 (java) S 12062 12064 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139874657486584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12077] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12077/stat : 12077 (java) S 12062 12064 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139874656433672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12078] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12078/stat : 12078 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139874655382160 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12079] ppid=12062 vsize=2715132 CPUtime=0.37 cores=0,2,4,6
/proc/12064/task/12079/stat : 12079 (java) S 12062 12064 2614 0 -1 4202560 3716 0 0 0 37 0 0 0 20 0 19 0 339898500 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139874654329272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12080] ppid=12062 vsize=2715132 CPUtime=0.31 cores=0,2,4,6
/proc/12064/task/12080/stat : 12080 (java) S 12062 12064 2614 0 -1 4202560 3262 0 0 0 31 0 0 0 20 0 19 0 339898500 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139874653276472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12081] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12081/stat : 12081 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139874652223864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12082] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12082/stat : 12082 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139874651171272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12083] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12083/stat : 12083 (java) S 12062 12064 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339898530 2780295168 21903 33554432000 1073741824 1073778376 140736094678288 139874650117800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 2715132
[startup+6.30068 s]
/proc/loadavg: 2.13 2.01 2.00 3/214 12083
/proc/meminfo: memFree=29881540/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=2715132 CPUtime=6.97 cores=0,2,4,6
/proc/12064/stat : 12064 (java) S 12062 12064 2614 0 -1 4202496 10986 0 1 0 694 3 0 0 20 0 19 0 339898493 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 140736094669424 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12064/statm: 678783 30849 2253 9 0 669476 0
[pid=12064/tid=12066] ppid=12062 vsize=2715132 CPUtime=6.24 cores=0,2,4,6
/proc/12064/task/12066/stat : 12066 (java) R 12062 12064 2614 0 -1 4202560 2811 0 1 0 622 2 0 0 20 0 19 0 339898494 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139875282139760 139875154732323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139875148684328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139875147631528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139875146578728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139875145525928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139875144473128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139875143420328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12073] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12073/stat : 12073 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139875142367528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12074] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12074/stat : 12074 (java) S 12062 12064 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339898496 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139875141314728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12075] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12075/stat : 12075 (java) S 12062 12064 2614 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139874658540520 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12076] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12076/stat : 12076 (java) S 12062 12064 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139874657486584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12077] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12077/stat : 12077 (java) S 12062 12064 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139874656433672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12078] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12078/stat : 12078 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139874655382160 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12079] ppid=12062 vsize=2715132 CPUtime=0.38 cores=0,2,4,6
/proc/12064/task/12079/stat : 12079 (java) S 12062 12064 2614 0 -1 4202560 3716 0 0 0 38 0 0 0 20 0 19 0 339898500 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139874654329272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12080] ppid=12062 vsize=2715132 CPUtime=0.31 cores=0,2,4,6
/proc/12064/task/12080/stat : 12080 (java) S 12062 12064 2614 0 -1 4202560 3262 0 0 0 31 0 0 0 20 0 19 0 339898500 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139874653276472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12081] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12081/stat : 12081 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139874652223864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12082] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12082/stat : 12082 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139874651171272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12083] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12083/stat : 12083 (java) S 12062 12064 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339898530 2780295168 30849 33554432000 1073741824 1073778376 140736094678288 139874650117800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=12064/tid=12079] ppid=12062 vsize=2715132 CPUtime=0.43 cores=0,2,4,6
/proc/12064/task/12079/stat : 12079 (java) S 12062 12064 2614 0 -1 4202560 3720 0 0 0 43 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874654329272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12080] ppid=12062 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/12064/task/12080/stat : 12080 (java) S 12062 12064 2614 0 -1 4202560 4730 0 0 0 45 1 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874653276472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12081] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12081/stat : 12081 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874652223864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12082] ppid=12062 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/12064/task/12082/stat : 12082 (java) S 12062 12064 2614 0 -1 4202560 99 0 0 0 32 24 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874651171272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12083] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12083/stat : 12083 (java) S 12062 12064 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339898530 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874650117800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1724.79
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 12179
/proc/meminfo: memFree=28646152/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=2715132 CPUtime=1784.79 cores=0,2,4,6
/proc/12064/stat : 12064 (java) S 12062 12064 2614 0 -1 4202496 14426 0 1 0 178346 133 0 0 20 0 19 0 339898493 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 140736094669424 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12064/statm: 678783 343835 2279 9 0 669476 0
[pid=12064/tid=12066] ppid=12062 vsize=2715132 CPUtime=1760.31 cores=0,2,4,6
/proc/12064/task/12066/stat : 12066 (java) R 12062 12064 2614 0 -1 4202560 2973 0 1 0 175997 34 0 0 20 0 19 0 339898494 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875282140528 139875154790202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 2614 0 -1 4202560 169 0 0 0 10 11 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875148684328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=2715132 CPUtime=0.15 cores=0,2,4,6
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 2614 0 -1 4202560 124 0 0 0 7 8 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875147631528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=2715132 CPUtime=0.22 cores=0,2,4,6
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 2614 0 -1 4202560 175 0 0 0 10 12 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875146578728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 2614 0 -1 4202560 218 0 0 0 11 12 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875145525928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=2715132 CPUtime=0.34 cores=0,2,4,6
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 2614 0 -1 4202560 281 0 0 0 16 18 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875144473128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=2715132 CPUtime=0.22 cores=0,2,4,6
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 2614 0 -1 4202560 184 0 0 0 10 12 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875143420328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12073] ppid=12062 vsize=2715132 CPUtime=0.25 cores=0,2,4,6
/proc/12064/task/12073/stat : 12073 (java) S 12062 12064 2614 0 -1 4202560 217 0 0 0 12 13 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875142367528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12074] ppid=12062 vsize=2715132 CPUtime=0.12 cores=0,2,4,6
/proc/12064/task/12074/stat : 12074 (java) S 12062 12064 2614 0 -1 4202560 106 0 0 0 5 7 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875141314728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12075] ppid=12062 vsize=2715132 CPUtime=16.77 cores=0,2,4,6
/proc/12064/task/12075/stat : 12075 (java) S 12062 12064 2614 0 -1 4202560 244 0 0 0 1671 6 0 0 20 0 19 0 339898497 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874658540520 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12076] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12076/stat : 12076 (java) S 12062 12064 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874657486584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12077] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12077/stat : 12077 (java) S 12062 12064 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874656433672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12078] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12078/stat : 12078 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874655382160 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12079] ppid=12062 vsize=2715132 CPUtime=0.43 cores=0,2,4,6
/proc/12064/task/12079/stat : 12079 (java) S 12062 12064 2614 0 -1 4202560 3720 0 0 0 43 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874654329272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12080] ppid=12062 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/12064/task/12080/stat : 12080 (java) S 12062 12064 2614 0 -1 4202560 4730 0 0 0 45 1 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874653276472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12081] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12081/stat : 12081 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874652223864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12082] ppid=12062 vsize=2715132 CPUtime=0.58 cores=0,2,4,6
/proc/12064/task/12082/stat : 12082 (java) S 12062 12064 2614 0 -1 4202560 103 0 0 0 33 25 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874651171272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12083] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12083/stat : 12083 (java) S 12062 12064 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339898530 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874650117800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1784.79
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 12179
/proc/meminfo: memFree=28646276/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=2715132 CPUtime=1800 cores=0,2,4,6
/proc/12064/stat : 12064 (java) S 12062 12064 2614 0 -1 4202496 14426 0 1 0 179867 133 0 0 20 0 19 0 339898493 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 140736094669424 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12064/statm: 678783 343835 2279 9 0 669476 0
[pid=12064/tid=12066] ppid=12062 vsize=2715132 CPUtime=1775.47 cores=0,2,4,6
/proc/12064/task/12066/stat : 12066 (java) R 12062 12064 2614 0 -1 4202560 2973 0 1 0 177513 34 0 0 20 0 19 0 339898494 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875282140528 139875154917392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 2614 0 -1 4202560 169 0 0 0 10 11 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875148684328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=2715132 CPUtime=0.15 cores=0,2,4,6
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 2614 0 -1 4202560 124 0 0 0 7 8 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875147631528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=2715132 CPUtime=0.22 cores=0,2,4,6
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 2614 0 -1 4202560 175 0 0 0 10 12 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875146578728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 2614 0 -1 4202560 218 0 0 0 11 12 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875145525928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=2715132 CPUtime=0.34 cores=0,2,4,6
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 2614 0 -1 4202560 281 0 0 0 16 18 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875144473128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=2715132 CPUtime=0.22 cores=0,2,4,6
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 2614 0 -1 4202560 184 0 0 0 10 12 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875143420328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12073] ppid=12062 vsize=2715132 CPUtime=0.25 cores=0,2,4,6
/proc/12064/task/12073/stat : 12073 (java) S 12062 12064 2614 0 -1 4202560 217 0 0 0 12 13 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875142367528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12074] ppid=12062 vsize=2715132 CPUtime=0.12 cores=0,2,4,6
/proc/12064/task/12074/stat : 12074 (java) S 12062 12064 2614 0 -1 4202560 106 0 0 0 5 7 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875141314728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12075] ppid=12062 vsize=2715132 CPUtime=16.77 cores=0,2,4,6
/proc/12064/task/12075/stat : 12075 (java) S 12062 12064 2614 0 -1 4202560 244 0 0 0 1671 6 0 0 20 0 19 0 339898497 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874658540520 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12076] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12076/stat : 12076 (java) S 12062 12064 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874657486584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12077] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12077/stat : 12077 (java) S 12062 12064 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874656433672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12078] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12078/stat : 12078 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874655382160 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12079] ppid=12062 vsize=2715132 CPUtime=0.43 cores=0,2,4,6
/proc/12064/task/12079/stat : 12079 (java) S 12062 12064 2614 0 -1 4202560 3720 0 0 0 43 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874654329272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12080] ppid=12062 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/12064/task/12080/stat : 12080 (java) S 12062 12064 2614 0 -1 4202560 4730 0 0 0 45 1 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874653276472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12081] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12081/stat : 12081 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874652223864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12082] ppid=12062 vsize=2715132 CPUtime=0.59 cores=0,2,4,6
/proc/12064/task/12082/stat : 12082 (java) S 12062 12064 2614 0 -1 4202560 103 0 0 0 34 25 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874651171272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12083] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12083/stat : 12083 (java) S 12062 12064 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339898530 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874650117800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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+1797.5 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 12179
/proc/meminfo: memFree=28646276/32873844 swapFree=7116/7116
[pid=12064] ppid=12062 vsize=2715132 CPUtime=1800 cores=0,2,4,6
/proc/12064/stat : 12064 (java) S 12062 12064 2614 0 -1 4202496 14426 0 1 0 179867 133 0 0 20 0 19 0 339898493 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 140736094669424 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12064/statm: 678783 343835 2279 9 0 669476 0
[pid=12064/tid=12066] ppid=12062 vsize=2715132 CPUtime=1775.47 cores=0,2,4,6
/proc/12064/task/12066/stat : 12066 (java) R 12062 12064 2614 0 -1 4202560 2973 0 1 0 177513 34 0 0 20 0 19 0 339898494 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875282140528 139875154917392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 2614 0 -1 4202560 169 0 0 0 10 11 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875148684328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=2715132 CPUtime=0.15 cores=0,2,4,6
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 2614 0 -1 4202560 124 0 0 0 7 8 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875147631528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=2715132 CPUtime=0.22 cores=0,2,4,6
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 2614 0 -1 4202560 175 0 0 0 10 12 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875146578728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 2614 0 -1 4202560 218 0 0 0 11 12 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875145525928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=2715132 CPUtime=0.34 cores=0,2,4,6
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 2614 0 -1 4202560 281 0 0 0 16 18 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875144473128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=2715132 CPUtime=0.22 cores=0,2,4,6
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 2614 0 -1 4202560 184 0 0 0 10 12 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875143420328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12073] ppid=12062 vsize=2715132 CPUtime=0.25 cores=0,2,4,6
/proc/12064/task/12073/stat : 12073 (java) S 12062 12064 2614 0 -1 4202560 217 0 0 0 12 13 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875142367528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12074] ppid=12062 vsize=2715132 CPUtime=0.12 cores=0,2,4,6
/proc/12064/task/12074/stat : 12074 (java) S 12062 12064 2614 0 -1 4202560 106 0 0 0 5 7 0 0 20 0 19 0 339898496 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139875141314728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12064/tid=12075] ppid=12062 vsize=2715132 CPUtime=16.77 cores=0,2,4,6
/proc/12064/task/12075/stat : 12075 (java) S 12062 12064 2614 0 -1 4202560 244 0 0 0 1671 6 0 0 20 0 19 0 339898497 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874658540520 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12076] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12076/stat : 12076 (java) S 12062 12064 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874657486584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12077] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12077/stat : 12077 (java) S 12062 12064 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339898497 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874656433672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12078] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12078/stat : 12078 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874655382160 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12079] ppid=12062 vsize=2715132 CPUtime=0.43 cores=0,2,4,6
/proc/12064/task/12079/stat : 12079 (java) S 12062 12064 2614 0 -1 4202560 3720 0 0 0 43 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874654329272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12064/tid=12080] ppid=12062 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/12064/task/12080/stat : 12080 (java) S 12062 12064 2614 0 -1 4202560 4730 0 0 0 45 1 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874653276472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12081] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12081/stat : 12081 (java) S 12062 12064 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874652223864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12064/tid=12082] ppid=12062 vsize=2715132 CPUtime=0.59 cores=0,2,4,6
/proc/12064/task/12082/stat : 12082 (java) S 12062 12064 2614 0 -1 4202560 103 0 0 0 34 25 0 0 20 0 19 0 339898500 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874651171272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12064/tid=12083] ppid=12062 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/12064/task/12083/stat : 12083 (java) S 12062 12064 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339898530 2780295168 343835 33554432000 1073741824 1073778376 140736094678288 139874650117800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2715132
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12064 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=119252
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=732736
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.58
CPU time (s): 1800
CPU user time (s): 1798.67
CPU system time (s): 1.33
CPU usage (%): 100.135
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.12
system time used= 1.73274
maximum resident set size= 1375540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14480
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38087
involuntary context switches= 6431
runsolver used 6.84896 second user time and 14.1249 second system time
The end