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-3729901-1338678832/watcher-3729901-1338678832 -o /tmp/evaluation-result-3729901-1338678832/solver-3729901-1338678832 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3729901-1338678832.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: 1.89 1.03 1.21 3/194 30472
/proc/meminfo: memFree=26161944/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/30472/stat : 30472 (java) D 30470 30472 29837 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 334009100 9515008 182 33554432000 1073741824 1073778376 140737464580352 140737464571384 242167398069 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/30472/statm: 2323 182 140 9 0 71 0
[startup+0.0705629 s]
/proc/loadavg: 1.89 1.03 1.21 3/194 30472
/proc/meminfo: memFree=26161944/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=2956804 CPUtime=0.04 cores=0,2,4,6
/proc/30472/stat : 30472 (java) S 30470 30472 29837 0 -1 4202496 4068 0 1 0 4 0 0 0 20 0 18 0 334009100 3027767296 5788 33554432000 1073741824 1073778376 140736206198816 140736206189952 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30472/statm: 739201 5788 1768 9 0 729885 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2956804
[startup+0.100265 s]
/proc/loadavg: 1.89 1.03 1.21 3/194 30472
/proc/meminfo: memFree=26161944/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/30472/stat : 30472 (java) S 30470 30472 29837 0 -1 4202496 4930 0 1 0 8 1 0 0 20 0 18 0 334009100 3028844544 6631 33554432000 1073741824 1073778376 140736206198816 140736206189952 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30472/statm: 739464 6631 2126 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300225 s]
/proc/loadavg: 1.89 1.03 1.21 3/194 30472
/proc/meminfo: memFree=26161944/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/30472/stat : 30472 (java) S 30470 30472 29837 0 -1 4202496 5675 0 1 0 42 1 0 0 20 0 18 0 334009100 3028844544 9268 33554432000 1073741824 1073778376 140736206198816 140736206189952 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30472/statm: 739464 9268 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856
[startup+0.700234 s]
/proc/loadavg: 1.89 1.03 1.21 3/194 30472
/proc/meminfo: memFree=26161944/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=3024420 CPUtime=1.28 cores=0,2,4,6
/proc/30472/stat : 30472 (java) S 30470 30472 29837 0 -1 4202496 8519 0 1 0 125 3 0 0 20 0 19 0 334009100 3097006080 39798 33554432000 1073741824 1073778376 140736206198816 140736206189952 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30472/statm: 756105 39798 2271 9 0 746526 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 3024420
[startup+1.5007 s]
/proc/loadavg: 1.89 1.03 1.21 3/213 30491
/proc/meminfo: memFree=26008580/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=3024420 CPUtime=2.31 cores=0,2,4,6
/proc/30472/stat : 30472 (java) S 30470 30472 29837 0 -1 4202496 11153 0 1 0 227 4 0 0 20 0 19 0 334009100 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140736206189952 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30472/statm: 756105 40826 2275 9 0 746526 0
[pid=30472/tid=30474] ppid=30470 vsize=3024420 CPUtime=1.44 cores=0,2,4,6
/proc/30472/task/30474/stat : 30474 (java) R 30470 30472 29837 0 -1 4202560 3095 0 1 0 141 3 0 0 20 0 19 0 334009101 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190786683528 140190635721022 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=30472/tid=30475] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30475/stat : 30475 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190770109480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30476] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30476/stat : 30476 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190769056680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30477] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30477/stat : 30477 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190768003880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30472/tid=30478] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30478/stat : 30478 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190766951080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30479] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30479/stat : 30479 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190765898280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30480] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30480/stat : 30480 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190764845480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30481/stat : 30481 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190763792680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30482/stat : 30482 (java) S 30470 30472 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190762739880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30483/stat : 30483 (java) S 30470 30472 29837 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334009103 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190632889320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30484/stat : 30484 (java) S 30470 30472 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190631835384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30485/stat : 30485 (java) S 30470 30472 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190630782472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30486/stat : 30486 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190629730960 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/30472/task/30487/stat : 30487 (java) S 30470 30472 29837 0 -1 4202560 2841 0 0 0 40 0 0 0 20 0 19 0 334009106 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190628678072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/30472/task/30488/stat : 30488 (java) S 30470 30472 29837 0 -1 4202560 4018 0 0 0 42 0 0 0 20 0 19 0 334009106 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190627625272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30489/stat : 30489 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190626572664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30490/stat : 30490 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190625520072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30491/stat : 30491 (java) S 30470 30472 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334009165 3097006080 40826 33554432000 1073741824 1073778376 140736206198816 140190623319720 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 3024420
[startup+3.10067 s]
/proc/loadavg: 1.90 1.04 1.21 3/213 30491
/proc/meminfo: memFree=26001940/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=3024420 CPUtime=3.93 cores=0,2,4,6
/proc/30472/stat : 30472 (java) S 30470 30472 29837 0 -1 4202496 11160 0 1 0 389 4 0 0 20 0 19 0 334009100 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140736206189952 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30472/statm: 756105 43387 2275 9 0 746526 0
[pid=30472/tid=30474] ppid=30470 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/30472/task/30474/stat : 30474 (java) R 30470 30472 29837 0 -1 4202560 3101 0 1 0 301 3 0 0 20 0 19 0 334009101 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190786683288 140190635721022 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=30472/tid=30475] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30475/stat : 30475 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190770109480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30476] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30476/stat : 30476 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190769056680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30477] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30477/stat : 30477 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190768003880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30472/tid=30478] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30478/stat : 30478 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190766951080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30479] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30479/stat : 30479 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190765898280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30480] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30480/stat : 30480 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190764845480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30481/stat : 30481 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190763792680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30482/stat : 30482 (java) S 30470 30472 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190762739880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30483/stat : 30483 (java) S 30470 30472 29837 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334009103 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190632889320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30484/stat : 30484 (java) S 30470 30472 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190631835384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30485/stat : 30485 (java) S 30470 30472 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190630782472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30486/stat : 30486 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190629730960 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/30472/task/30487/stat : 30487 (java) S 30470 30472 29837 0 -1 4202560 2841 0 0 0 41 0 0 0 20 0 19 0 334009106 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190628678072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/30472/task/30488/stat : 30488 (java) S 30470 30472 29837 0 -1 4202560 4018 0 0 0 44 0 0 0 20 0 19 0 334009106 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190627625272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30489/stat : 30489 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190626572664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30490/stat : 30490 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190625520072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30491/stat : 30491 (java) S 30470 30472 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334009165 3097006080 43387 33554432000 1073741824 1073778376 140736206198816 140190623319720 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 3024420
[startup+6.30075 s]
/proc/loadavg: 1.90 1.04 1.21 3/213 30491
/proc/meminfo: memFree=25983136/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=3024420 CPUtime=7.13 cores=0,2,4,6
/proc/30472/stat : 30472 (java) S 30470 30472 29837 0 -1 4202496 11169 0 1 0 709 4 0 0 20 0 19 0 334009100 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140736206189952 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30472/statm: 756105 47456 2275 9 0 746526 0
[pid=30472/tid=30474] ppid=30470 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/30472/task/30474/stat : 30474 (java) R 30470 30472 29837 0 -1 4202560 3110 0 1 0 621 3 0 0 20 0 19 0 334009101 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190786683304 140190635765134 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0
[pid=30472/tid=30475] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30475/stat : 30475 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190770109480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30476] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30476/stat : 30476 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190769056680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30477] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30477/stat : 30477 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190768003880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30472/tid=30478] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30478/stat : 30478 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190766951080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30479] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30479/stat : 30479 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190765898280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30480] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30480/stat : 30480 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190764845480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30481/stat : 30481 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190763792680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30482/stat : 30482 (java) S 30470 30472 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334009102 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190762739880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30483/stat : 30483 (java) S 30470 30472 29837 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334009103 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190632889320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30484/stat : 30484 (java) S 30470 30472 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190631835384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30485/stat : 30485 (java) S 30470 30472 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190630782472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30486/stat : 30486 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190629730960 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/30472/task/30487/stat : 30487 (java) S 30470 30472 29837 0 -1 4202560 2841 0 0 0 41 0 0 0 20 0 19 0 334009106 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190628678072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/30472/task/30488/stat : 30488 (java) S 30470 30472 29837 0 -1 4202560 4018 0 0 0 44 0 0 0 20 0 19 0 334009106 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190627625272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30489/stat : 30489 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190626572664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30490/stat : 30490 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190625520072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30491/stat : 30491 (java) S 30470 30472 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334009165 3097006080 47456 33554432000 1073741824 1073778376 140736206198816 140190623319720 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=30472/tid=30480] ppid=30470 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/30472/task/30480/stat : 30480 (java) S 30470 30472 29837 0 -1 4202560 260 0 0 0 21 14 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190764845480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/30472/task/30481/stat : 30481 (java) S 30470 30472 29837 0 -1 4202560 290 0 0 0 26 16 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190763792680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/30472/task/30482/stat : 30482 (java) S 30470 30472 29837 0 -1 4202560 250 0 0 0 21 12 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190762739880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=3024420 CPUtime=0.99 cores=0,2,4,6
/proc/30472/task/30483/stat : 30483 (java) S 30470 30472 29837 0 -1 4202560 66 0 0 0 96 3 0 0 20 0 19 0 334009103 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190632889320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30484/stat : 30484 (java) S 30470 30472 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190631835384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30485/stat : 30485 (java) S 30470 30472 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190630782472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30486/stat : 30486 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190629730960 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/30472/task/30487/stat : 30487 (java) S 30470 30472 29837 0 -1 4202560 2992 0 0 0 46 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190628678072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/30472/task/30488/stat : 30488 (java) S 30470 30472 29837 0 -1 4202560 4023 0 0 0 52 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190627625272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30489/stat : 30489 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190626572664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/30472/task/30490/stat : 30490 (java) S 30470 30472 29837 0 -1 4202560 99 0 0 0 35 30 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190625520072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30491/stat : 30491 (java) S 30470 30472 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334009165 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190623319720 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.01
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/213 31077
/proc/meminfo: memFree=24761832/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=3024420 CPUtime=1786.01 cores=0,2,4,6
/proc/30472/stat : 30472 (java) S 30470 30472 29837 0 -1 4202496 14029 0 1 0 178429 172 0 0 20 0 19 0 334009100 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140736206189952 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30472/statm: 756105 420229 2304 9 0 746526 0
[pid=30472/tid=30474] ppid=30470 vsize=3024420 CPUtime=1780.34 cores=0,2,4,6
/proc/30472/task/30474/stat : 30474 (java) R 30470 30472 29837 0 -1 4202560 3244 0 1 0 177998 36 0 0 20 0 19 0 334009101 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190786682312 140190635714931 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=30472/tid=30475] ppid=30470 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/30472/task/30475/stat : 30475 (java) S 30470 30472 29837 0 -1 4202560 211 0 0 0 17 10 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190770109480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30476] ppid=30470 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/30472/task/30476/stat : 30476 (java) S 30470 30472 29837 0 -1 4202560 342 0 0 0 28 20 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190769056680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30477] ppid=30470 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/30472/task/30477/stat : 30477 (java) S 30470 30472 29837 0 -1 4202560 478 0 0 0 36 29 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190768003880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30478] ppid=30470 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/30472/task/30478/stat : 30478 (java) S 30470 30472 29837 0 -1 4202560 323 0 0 0 27 18 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190766951080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30479] ppid=30470 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/30472/task/30479/stat : 30479 (java) S 30470 30472 29837 0 -1 4202560 262 0 0 0 22 14 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190765898280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30480] ppid=30470 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/30472/task/30480/stat : 30480 (java) S 30470 30472 29837 0 -1 4202560 260 0 0 0 21 14 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190764845480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/30472/task/30481/stat : 30481 (java) S 30470 30472 29837 0 -1 4202560 290 0 0 0 26 16 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190763792680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/30472/task/30482/stat : 30482 (java) S 30470 30472 29837 0 -1 4202560 250 0 0 0 21 12 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190762739880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=3024420 CPUtime=0.99 cores=0,2,4,6
/proc/30472/task/30483/stat : 30483 (java) S 30470 30472 29837 0 -1 4202560 66 0 0 0 96 3 0 0 20 0 19 0 334009103 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190632889320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30484/stat : 30484 (java) S 30470 30472 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190631835384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30485/stat : 30485 (java) S 30470 30472 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190630782472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30486/stat : 30486 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190629730960 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/30472/task/30487/stat : 30487 (java) S 30470 30472 29837 0 -1 4202560 2992 0 0 0 46 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190628678072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/30472/task/30488/stat : 30488 (java) S 30470 30472 29837 0 -1 4202560 4023 0 0 0 52 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190627625272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30489/stat : 30489 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190626572664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/30472/task/30490/stat : 30490 (java) S 30470 30472 29837 0 -1 4202560 103 0 0 0 35 32 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190625520072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30491/stat : 30491 (java) S 30470 30472 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334009165 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190623319720 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.01
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.31 s]
/proc/loadavg: 2.00 1.99 1.85 3/213 31077
/proc/meminfo: memFree=24761956/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/30472/stat : 30472 (java) S 30470 30472 29837 0 -1 4202496 14029 0 1 0 179830 172 0 0 20 0 19 0 334009100 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140736206189952 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30472/statm: 756105 420229 2304 9 0 746526 0
[pid=30472/tid=30474] ppid=30470 vsize=3024420 CPUtime=1794.35 cores=0,2,4,6
/proc/30472/task/30474/stat : 30474 (java) R 30470 30472 29837 0 -1 4202560 3244 0 1 0 179399 36 0 0 20 0 19 0 334009101 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190786682312 140190635853801 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=30472/tid=30475] ppid=30470 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/30472/task/30475/stat : 30475 (java) S 30470 30472 29837 0 -1 4202560 211 0 0 0 17 10 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190770109480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30476] ppid=30470 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/30472/task/30476/stat : 30476 (java) S 30470 30472 29837 0 -1 4202560 342 0 0 0 28 20 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190769056680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30477] ppid=30470 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/30472/task/30477/stat : 30477 (java) S 30470 30472 29837 0 -1 4202560 478 0 0 0 36 29 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190768003880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30478] ppid=30470 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/30472/task/30478/stat : 30478 (java) S 30470 30472 29837 0 -1 4202560 323 0 0 0 27 18 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190766951080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30479] ppid=30470 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/30472/task/30479/stat : 30479 (java) S 30470 30472 29837 0 -1 4202560 262 0 0 0 22 14 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190765898280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30480] ppid=30470 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/30472/task/30480/stat : 30480 (java) S 30470 30472 29837 0 -1 4202560 260 0 0 0 21 14 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190764845480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/30472/task/30481/stat : 30481 (java) S 30470 30472 29837 0 -1 4202560 290 0 0 0 26 16 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190763792680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/30472/task/30482/stat : 30482 (java) S 30470 30472 29837 0 -1 4202560 250 0 0 0 21 12 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190762739880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=3024420 CPUtime=0.99 cores=0,2,4,6
/proc/30472/task/30483/stat : 30483 (java) S 30470 30472 29837 0 -1 4202560 66 0 0 0 96 3 0 0 20 0 19 0 334009103 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190632889320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30484/stat : 30484 (java) S 30470 30472 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190631835384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30485/stat : 30485 (java) S 30470 30472 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190630782472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30486/stat : 30486 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190629730960 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/30472/task/30487/stat : 30487 (java) S 30470 30472 29837 0 -1 4202560 2992 0 0 0 46 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190628678072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/30472/task/30488/stat : 30488 (java) S 30470 30472 29837 0 -1 4202560 4023 0 0 0 52 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190627625272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30489/stat : 30489 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190626572664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/30472/task/30490/stat : 30490 (java) S 30470 30472 29837 0 -1 4202560 103 0 0 0 36 32 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190625520072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30491/stat : 30491 (java) S 30470 30472 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334009165 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190623319720 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.31 s]
/proc/loadavg: 2.00 1.99 1.85 3/213 31077
/proc/meminfo: memFree=24761956/32873648 swapFree=7112/7112
[pid=30472] ppid=30470 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/30472/stat : 30472 (java) S 30470 30472 29837 0 -1 4202496 14029 0 1 0 179830 172 0 0 20 0 19 0 334009100 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140736206189952 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30472/statm: 756105 420229 2304 9 0 746526 0
[pid=30472/tid=30474] ppid=30470 vsize=3024420 CPUtime=1794.35 cores=0,2,4,6
/proc/30472/task/30474/stat : 30474 (java) R 30470 30472 29837 0 -1 4202560 3244 0 1 0 179399 36 0 0 20 0 19 0 334009101 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190786682312 140190635853801 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=30472/tid=30475] ppid=30470 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/30472/task/30475/stat : 30475 (java) S 30470 30472 29837 0 -1 4202560 211 0 0 0 17 10 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190770109480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30476] ppid=30470 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/30472/task/30476/stat : 30476 (java) S 30470 30472 29837 0 -1 4202560 342 0 0 0 28 20 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190769056680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30477] ppid=30470 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/30472/task/30477/stat : 30477 (java) S 30470 30472 29837 0 -1 4202560 478 0 0 0 36 29 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190768003880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30478] ppid=30470 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/30472/task/30478/stat : 30478 (java) S 30470 30472 29837 0 -1 4202560 323 0 0 0 27 18 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190766951080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30479] ppid=30470 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/30472/task/30479/stat : 30479 (java) S 30470 30472 29837 0 -1 4202560 262 0 0 0 22 14 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190765898280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30480] ppid=30470 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/30472/task/30480/stat : 30480 (java) S 30470 30472 29837 0 -1 4202560 260 0 0 0 21 14 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190764845480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/30472/task/30481/stat : 30481 (java) S 30470 30472 29837 0 -1 4202560 290 0 0 0 26 16 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190763792680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/30472/task/30482/stat : 30482 (java) S 30470 30472 29837 0 -1 4202560 250 0 0 0 21 12 0 0 20 0 19 0 334009102 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190762739880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=3024420 CPUtime=0.99 cores=0,2,4,6
/proc/30472/task/30483/stat : 30483 (java) S 30470 30472 29837 0 -1 4202560 66 0 0 0 96 3 0 0 20 0 19 0 334009103 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190632889320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30484/stat : 30484 (java) S 30470 30472 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190631835384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30485/stat : 30485 (java) S 30470 30472 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334009104 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190630782472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30486/stat : 30486 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190629730960 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/30472/task/30487/stat : 30487 (java) S 30470 30472 29837 0 -1 4202560 2992 0 0 0 46 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190628678072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/30472/task/30488/stat : 30488 (java) S 30470 30472 29837 0 -1 4202560 4023 0 0 0 52 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190627625272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30489/stat : 30489 (java) S 30470 30472 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190626572664 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/30472/task/30490/stat : 30490 (java) S 30470 30472 29837 0 -1 4202560 103 0 0 0 36 32 0 0 20 0 19 0 334009106 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190625520072 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/30472/task/30491/stat : 30491 (java) S 30470 30472 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334009165 3097006080 420229 33554432000 1073741824 1073778376 140736206198816 140190623319720 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420
Child status: 143
Real time (s): 1796.33
CPU time (s): 1800.59
CPU user time (s): 1798.41
CPU system time (s): 2.18167
CPU usage (%): 100.237
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 2.18167
maximum resident set size= 1681388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14060
page faults= 1
swaps= 0
block input operations= 8
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38093
involuntary context switches= 8562
runsolver used 6.21905 second user time and 15.3757 second system time
The end