runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458697-1307155699/watcher-3458697-1307155699 -o /tmp/evaluation-result-3458697-1307155699/solver-3458697-1307155699 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458697-1307155699.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.36 1.71 2/506 16239
/proc/meminfo: memFree=21310528/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 1317 0 0 0 0 0 0 0 21 0 2 0 559761262 36646912 1018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 8947 1018 782 9 0 386 0
[pid=16239/tid=16240] ppid=16237 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 7006 0 1 0 0 0 0 0 23 0 2 0 559761263 13850947584 7822 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0218181 s]
/proc/loadavg: 1.00 1.36 1.71 2/506 16239
/proc/meminfo: memFree=21310528/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 10465 0 1 0 0 1 0 0 21 0 2 0 559761262 13850947584 10166 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 3381579 10181 917 9 0 3372735 0
[pid=16239/tid=16240] ppid=16237 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 9377 0 1 0 0 0 0 0 23 0 2 0 559761263 13850947584 10193 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316
[startup+0.105891 s]
/proc/loadavg: 1.00 1.36 1.71 2/506 16239
/proc/meminfo: memFree=21310528/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=13621628 CPUtime=0.11 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 15449 0 1 0 9 2 0 0 21 0 18 0 559761262 13948547072 15145 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 3405407 15145 2093 9 0 3396141 0
[pid=16239/tid=16240] ppid=16237 vsize=13621628 CPUtime=0.08 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 13686 0 1 0 7 1 0 0 22 0 18 0 559761263 13948547072 15146 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 46927014316883 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621628
[startup+0.300773 s]
/proc/loadavg: 1.00 1.36 1.71 2/506 16239
/proc/meminfo: memFree=21310528/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=13623796 CPUtime=0.51 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 19553 0 1 0 49 2 0 0 21 0 18 0 559761262 13950767104 18699 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 3405949 18699 2201 9 0 3396683 0
[pid=16239/tid=16240] ppid=16237 vsize=13623796 CPUtime=0.28 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 16297 0 1 0 26 2 0 0 22 0 18 0 559761263 13950767104 18699 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 46912505591879 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13623796
[startup+0.700705 s]
/proc/loadavg: 1.00 1.36 1.71 2/506 16239
/proc/meminfo: memFree=21310528/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=13626860 CPUtime=1.18 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 57485 0 1 0 111 7 0 0 21 0 18 0 559761262 13953904640 55430 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 3406715 55430 2214 9 0 3397449 0
[pid=16239/tid=16240] ppid=16237 vsize=13626860 CPUtime=0.68 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 51474 0 1 0 62 6 0 0 24 0 18 0 559761263 13953904640 55430 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 46912505507241 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13626860
[startup+1.5006 s]
/proc/loadavg: 1.08 1.37 1.71 3/524 16257
/proc/meminfo: memFree=20960836/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=13626860 CPUtime=1.98 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 144598 0 1 0 180 18 0 0 21 0 18 0 559761262 13953904640 142543 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 3406715 142547 2214 9 0 3397449 0
[pid=16239/tid=16240] ppid=16237 vsize=13626860 CPUtime=1.48 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 138594 0 1 0 131 17 0 0 25 0 18 0 559761263 13953904640 142550 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 46912505600144 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16239/tid=16242] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16242/stat : 16242 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 559761265 13953904640 142552 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16243] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16243/stat : 16243 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 142555 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16244] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16244/stat : 16244 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 142558 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16245] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16245/stat : 16245 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 142561 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16246] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16246/stat : 16246 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 142563 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16247] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16247/stat : 16247 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 142566 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16248] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16248/stat : 16248 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 142569 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16249] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16249/stat : 16249 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 142572 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16250] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16250/stat : 16250 (java) S 16237 16239 13328 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 559761266 13953904640 142574 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 0 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16251] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16251/stat : 16251 (java) S 16237 16239 13328 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 559761266 13953904640 142577 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16252] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16252/stat : 16252 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 559761266 13953904640 142580 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16253] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16253/stat : 16253 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 559761268 13953904640 142583 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672485809 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16254] ppid=16237 vsize=13626860 CPUtime=0.26 cores=1,3,5,7
/proc/16239/task/16254/stat : 16254 (java) S 16237 16239 13328 0 -1 4202560 2030 0 0 0 26 0 0 0 19 0 18 0 559761268 13953904640 142585 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 3 0 0 0
[pid=16239/tid=16255] ppid=16237 vsize=13626860 CPUtime=0.22 cores=1,3,5,7
/proc/16239/task/16255/stat : 16255 (java) S 16237 16239 13328 0 -1 4202560 2830 0 0 0 22 0 0 0 19 0 18 0 559761268 13953904640 142588 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16256] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16256/stat : 16256 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 559761268 13953904640 142591 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16257] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16257/stat : 16257 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 559761268 13953904640 142593 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13626860
[startup+3.10131 s]
/proc/loadavg: 1.08 1.37 1.71 3/524 16257
/proc/meminfo: memFree=20534772/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=13626860 CPUtime=3.58 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 222840 0 1 0 331 27 0 0 21 0 18 0 559761262 13953904640 220785 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 3406715 220786 2216 9 0 3397449 0
[pid=16239/tid=16240] ppid=16237 vsize=13626860 CPUtime=3.08 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 216829 0 1 0 282 26 0 0 25 0 18 0 559761263 13953904640 220787 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 46912505366306 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16239/tid=16242] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16242/stat : 16242 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 559761265 13953904640 220788 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16243] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16243/stat : 16243 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 220788 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16244] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16244/stat : 16244 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 220789 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16245] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16245/stat : 16245 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 220790 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16246] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16246/stat : 16246 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 220791 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16247] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16247/stat : 16247 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 220791 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16248] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16248/stat : 16248 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 220792 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16249] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16249/stat : 16249 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 559761265 13953904640 220793 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16250] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16250/stat : 16250 (java) S 16237 16239 13328 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 559761266 13953904640 220794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 0 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16251] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16251/stat : 16251 (java) S 16237 16239 13328 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 559761266 13953904640 220794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16252] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16252/stat : 16252 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 559761266 13953904640 220795 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16253] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16253/stat : 16253 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 559761268 13953904640 220796 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672485809 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16254] ppid=16237 vsize=13626860 CPUtime=0.26 cores=1,3,5,7
/proc/16239/task/16254/stat : 16254 (java) S 16237 16239 13328 0 -1 4202560 2032 0 0 0 26 0 0 0 15 0 18 0 559761268 13953904640 220796 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 3 0 0 0
[pid=16239/tid=16255] ppid=16237 vsize=13626860 CPUtime=0.22 cores=1,3,5,7
/proc/16239/task/16255/stat : 16255 (java) S 16237 16239 13328 0 -1 4202560 2830 0 0 0 22 0 0 0 19 0 18 0 559761268 13953904640 220797 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16256] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16256/stat : 16256 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 559761268 13953904640 220798 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16257] ppid=16237 vsize=13626860 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16257/stat : 16257 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 559761268 13953904640 220799 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 13626860
[startup+6.30071 s]
/proc/loadavg: 1.08 1.37 1.71 3/525 16258
/proc/meminfo: memFree=20318820/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=13628028 CPUtime=7.19 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 247036 0 1 0 688 31 0 0 21 0 19 0 559761262 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 3407007 244794 2235 9 0 3397741 0
[pid=16239/tid=16240] ppid=16237 vsize=13628028 CPUtime=6.26 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 240902 0 1 0 597 29 0 0 25 0 19 0 559761263 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 46912505781041 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16239/tid=16242] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16242/stat : 16242 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 559761265 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16243] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16243/stat : 16243 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16244] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16244/stat : 16244 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16245] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16245/stat : 16245 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16246] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16246/stat : 16246 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16247] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16247/stat : 16247 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16248] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16248/stat : 16248 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16249] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16249/stat : 16249 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16250] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16250/stat : 16250 (java) S 16237 16239 13328 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 559761266 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 0 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16251] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16251/stat : 16251 (java) S 16237 16239 13328 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 559761266 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16252] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16252/stat : 16252 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 559761266 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16253] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16253/stat : 16253 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 559761268 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672485809 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16254] ppid=16237 vsize=13628028 CPUtime=0.49 cores=1,3,5,7
/proc/16239/task/16254/stat : 16254 (java) S 16237 16239 13328 0 -1 4202560 2110 0 0 0 49 0 0 0 15 0 19 0 559761268 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 3 0 0 0
[pid=16239/tid=16255] ppid=16237 vsize=13628028 CPUtime=0.4 cores=1,3,5,7
/proc/16239/task/16255/stat : 16255 (java) S 16237 16239 13328 0 -1 4202560 2861 0 0 0 40 0 0 0 15 0 19 0 559761268 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16256] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16256/stat : 16256 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 559761268 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16257] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16257/stat : 16257 (java) S 16237 16239 13328 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 559761268 13955100672 244794 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=16239/tid=16247] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16247/stat : 16247 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16248] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16248/stat : 16248 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16249] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16249/stat : 16249 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16250] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16250/stat : 16250 (java) S 16237 16239 13328 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 559761266 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 0 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16251] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16251/stat : 16251 (java) S 16237 16239 13328 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 559761266 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16252] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16252/stat : 16252 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 559761266 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16253] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16253/stat : 16253 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 559761268 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672485809 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16254] ppid=16237 vsize=13628028 CPUtime=0.61 cores=1,3,5,7
/proc/16239/task/16254/stat : 16254 (java) S 16237 16239 13328 0 -1 4202560 2497 0 0 0 61 0 0 0 15 0 19 0 559761268 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 3 0 0 0
[pid=16239/tid=16255] ppid=16237 vsize=13628028 CPUtime=0.5 cores=1,3,5,7
/proc/16239/task/16255/stat : 16255 (java) S 16237 16239 13328 0 -1 4202560 2890 0 0 0 50 0 0 0 15 0 19 0 559761268 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16256] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16256/stat : 16256 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 559761268 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16257] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16257/stat : 16257 (java) S 16237 16239 13328 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 559761268 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 1 0 0 0
[pid=16239/tid=16258] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16258/stat : 16258 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 559761635 13955100672 450173 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1663.36
Current children cumulated vsize (KiB) 13628028
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/525 16315
/proc/meminfo: memFree=18267240/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=13628028 CPUtime=1723.35 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 459376 0 1 0 172268 67 0 0 21 0 19 0 559761262 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 3407007 456674 2238 9 0 3397741 0
[pid=16239/tid=16240] ppid=16237 vsize=13628028 CPUtime=1722.22 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 452723 0 1 0 172156 66 0 0 25 0 19 0 559761263 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 46912505650423 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16239/tid=16242] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16242/stat : 16242 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 559761265 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16243] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16243/stat : 16243 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16244] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16244/stat : 16244 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16245] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16245/stat : 16245 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16246] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16246/stat : 16246 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16247] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16247/stat : 16247 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16248] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16248/stat : 16248 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16249] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16249/stat : 16249 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16250] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16250/stat : 16250 (java) S 16237 16239 13328 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 559761266 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 0 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16251] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16251/stat : 16251 (java) S 16237 16239 13328 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 559761266 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16252] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16252/stat : 16252 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 559761266 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16253] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16253/stat : 16253 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 559761268 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672485809 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16254] ppid=16237 vsize=13628028 CPUtime=0.61 cores=1,3,5,7
/proc/16239/task/16254/stat : 16254 (java) S 16237 16239 13328 0 -1 4202560 2497 0 0 0 61 0 0 0 15 0 19 0 559761268 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 3 0 0 0
[pid=16239/tid=16255] ppid=16237 vsize=13628028 CPUtime=0.5 cores=1,3,5,7
/proc/16239/task/16255/stat : 16255 (java) S 16237 16239 13328 0 -1 4202560 2890 0 0 0 50 0 0 0 15 0 19 0 559761268 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16256] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16256/stat : 16256 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 559761268 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16257] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16257/stat : 16257 (java) S 16237 16239 13328 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 559761268 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 1 0 0 0
[pid=16239/tid=16258] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16258/stat : 16258 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 559761635 13955100672 456674 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.35
Current children cumulated vsize (KiB) 13628028
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/525 16317
/proc/meminfo: memFree=18222444/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=13628028 CPUtime=1783.35 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 466722 0 1 0 178267 68 0 0 21 0 19 0 559761262 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 3407007 464018 2238 9 0 3397741 0
[pid=16239/tid=16240] ppid=16237 vsize=13628028 CPUtime=1782.22 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 460067 0 1 0 178155 67 0 0 25 0 19 0 559761263 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 46912505910460 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16239/tid=16242] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16242/stat : 16242 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 559761265 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16243] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16243/stat : 16243 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16244] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16244/stat : 16244 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16245] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16245/stat : 16245 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16246] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16246/stat : 16246 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16247] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16247/stat : 16247 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16248] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16248/stat : 16248 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16249] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16249/stat : 16249 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16250] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16250/stat : 16250 (java) S 16237 16239 13328 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 559761266 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 0 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16251] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16251/stat : 16251 (java) S 16237 16239 13328 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 559761266 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16252] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16252/stat : 16252 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 559761266 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16253] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16253/stat : 16253 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 559761268 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672485809 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16254] ppid=16237 vsize=13628028 CPUtime=0.61 cores=1,3,5,7
/proc/16239/task/16254/stat : 16254 (java) S 16237 16239 13328 0 -1 4202560 2497 0 0 0 61 0 0 0 15 0 19 0 559761268 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 3 0 0 0
[pid=16239/tid=16255] ppid=16237 vsize=13628028 CPUtime=0.5 cores=1,3,5,7
/proc/16239/task/16255/stat : 16255 (java) S 16237 16239 13328 0 -1 4202560 2890 0 0 0 50 0 0 0 15 0 19 0 559761268 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16256] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16256/stat : 16256 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 559761268 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16257] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16257/stat : 16257 (java) S 16237 16239 13328 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 559761268 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 1 0 0 0
[pid=16239/tid=16258] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16258/stat : 16258 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 559761635 13955100672 464018 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1783.35
Current children cumulated vsize (KiB) 13628028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1799 s]
/proc/loadavg: 2.00 2.01 1.94 2/505 16321
/proc/meminfo: memFree=19559316/32951124 swapFree=46575304/67111528
[pid=16239] ppid=16237 vsize=13628028 CPUtime=1800.05 cores=1,3,5,7
/proc/16239/stat : 16239 (java) S 16237 16239 13328 0 -1 4202496 468082 0 1 0 179937 68 0 0 21 0 19 0 559761262 13955100672 465376 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16239/statm: 3407007 465376 2238 9 0 3397741 0
[pid=16239/tid=16240] ppid=16237 vsize=13628028 CPUtime=1798.93 cores=1,3,5,7
/proc/16239/task/16240/stat : 16240 (java) R 16237 16239 13328 0 -1 4202560 461426 0 1 0 179826 67 0 0 25 0 19 0 559761263 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 46912505650423 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16239/tid=16242] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16242/stat : 16242 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 559761265 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16243] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16243/stat : 16243 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16244] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16244/stat : 16244 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16245] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16245/stat : 16245 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16246] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16246/stat : 16246 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16247] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16247/stat : 16247 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16248] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16248/stat : 16248 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16249] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16249/stat : 16249 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 559761265 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
[pid=16239/tid=16250] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16250/stat : 16250 (java) S 16237 16239 13328 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 559761266 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 0 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16251] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16251/stat : 16251 (java) S 16237 16239 13328 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 559761266 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16252] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16252/stat : 16252 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 559761266 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16253] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16253/stat : 16253 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 559761268 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672485809 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16254] ppid=16237 vsize=13628028 CPUtime=0.61 cores=1,3,5,7
/proc/16239/task/16254/stat : 16254 (java) S 16237 16239 13328 0 -1 4202560 2497 0 0 0 61 0 0 0 15 0 19 0 559761268 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 3 0 0 0
[pid=16239/tid=16255] ppid=16237 vsize=13628028 CPUtime=0.5 cores=1,3,5,7
/proc/16239/task/16255/stat : 16255 (java) S 16237 16239 13328 0 -1 4202560 2890 0 0 0 50 0 0 0 15 0 19 0 559761268 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16256] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16256/stat : 16256 (java) S 16237 16239 13328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 559761268 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478105 0 4 0 16800975 18446604454717836288 0 0 -1 5 0 0 0
[pid=16239/tid=16257] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16257/stat : 16257 (java) S 16237 16239 13328 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 559761268 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 1 0 0 0
[pid=16239/tid=16258] ppid=16237 vsize=13628028 CPUtime=0 cores=1,3,5,7
/proc/16239/task/16258/stat : 16258 (java) S 16237 16239 13328 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 559761635 13955100672 465377 33554432000 1073741824 1073778376 140735982582848 18446744073709551615 268672478720 0 4 0 16800975 18446604454717836288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13628028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1799.1
CPU time (s): 1800.16
CPU user time (s): 1799.4
CPU system time (s): 0.759884
CPU usage (%): 100.059
Max. virtual memory (cumulated for all children) (KiB): 13628028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.759884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468120
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36718
involuntary context switches= 20359
runsolver used 8.99263 second user time and 19.83 second system time
The end