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-3454043-1307195509/watcher-3454043-1307195509 -o /tmp/evaluation-result-3454043-1307195509/solver-3454043-1307195509 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454043-1307195509.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.46 3.33 3.58 3/476 2415
/proc/meminfo: memFree=21376344/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 1703 0 1 0 0 0 0 0 25 0 2 0 811966254 10681323520 1406 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2607745 1418 906 9 0 2598901 0
[pid=2415/tid=2417] ppid=2413 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) R 2413 2415 2378 0 -1 4202560 6973 0 1 0 0 0 0 0 25 0 2 0 811966254 10694979584 7789 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.063323 s]
/proc/loadavg: 2.46 3.33 3.58 3/476 2415
/proc/meminfo: memFree=21376344/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10472924 CPUtime=0.05 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 11699 0 1 0 4 1 0 0 25 0 18 0 811966254 10724274176 11397 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2618231 11397 1733 9 0 2608972 0
[pid=2415/tid=2417] ppid=2413 vsize=10472924 CPUtime=0.05 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) R 2413 2415 2378 0 -1 4202560 10525 0 1 0 4 1 0 0 25 0 18 0 811966254 10724274176 11397 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254261612389 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.104883 s]
/proc/loadavg: 2.46 3.33 3.58 3/476 2415
/proc/meminfo: memFree=21376344/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10540292 CPUtime=0.11 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 13174 0 1 0 9 2 0 0 25 0 18 0 811966254 10793259008 12854 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2635073 12856 2092 9 0 2625807 0
[pid=2415/tid=2417] ppid=2413 vsize=10540292 CPUtime=0.08 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) R 2413 2415 2378 0 -1 4202560 11220 0 1 0 7 1 0 0 18 0 18 0 811966254 10793259008 12856 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273443275 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540292
[startup+0.300845 s]
/proc/loadavg: 2.46 3.33 3.58 3/476 2415
/proc/meminfo: memFree=21376344/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10542156 CPUtime=0.48 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 16726 0 1 0 45 3 0 0 25 0 18 0 811966254 10795167744 16070 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2635539 16071 2211 9 0 2626273 0
[pid=2415/tid=2417] ppid=2413 vsize=10542156 CPUtime=0.28 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) R 2413 2415 2378 0 -1 4202560 13256 0 1 0 26 2 0 0 18 0 18 0 811966254 10795167744 16076 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 46912505563853 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542156
[startup+0.714689 s]
/proc/loadavg: 2.46 3.33 3.58 3/476 2415
/proc/meminfo: memFree=21376344/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10552076 CPUtime=1.71 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 40782 0 1 0 165 6 0 0 25 0 22 0 811966254 10805325824 37692 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2638019 37692 2236 9 0 2628753 0
[pid=2415/tid=2417] ppid=2413 vsize=10552076 CPUtime=0.61 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) S 2413 2415 2378 0 -1 4202560 30088 0 1 0 57 4 0 0 19 0 22 0 811966254 10805325824 37692 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10552076
[startup+1.50067 s]
/proc/loadavg: 2.46 3.33 3.58 7/517 2462
/proc/meminfo: memFree=21133012/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10552504 CPUtime=3.23 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 52917 0 1 0 316 7 0 0 25 0 19 0 811966254 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2638126 47628 2244 9 0 2628860 0
[pid=2415/tid=2417] ppid=2413 vsize=10552504 CPUtime=0.62 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) S 2413 2415 2378 0 -1 4202560 30136 0 1 0 58 4 0 0 17 0 19 0 811966254 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2428] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2428/stat : 2428 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2429] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2429/stat : 2429 (java) S 2413 2415 2378 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811966256 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2430] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2430/stat : 2430 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2431] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2431/stat : 2431 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2432] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2432/stat : 2432 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2433] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2433/stat : 2433 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2434] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2434/stat : 2434 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2435] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2435/stat : 2435 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2437] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2437/stat : 2437 (java) S 2413 2415 2378 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 811966257 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 0 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2440] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2440/stat : 2440 (java) S 2413 2415 2378 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811966258 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2441] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2441/stat : 2441 (java) S 2413 2415 2378 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811966258 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2442] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2442/stat : 2442 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966260 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273440177 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2445] ppid=2413 vsize=10552504 CPUtime=0.85 cores=0,2,4,6
/proc/2415/task/2445/stat : 2445 (java) S 2413 2415 2378 0 -1 4202560 5917 0 0 0 84 1 0 0 17 0 19 0 811966260 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2447] ppid=2413 vsize=10552504 CPUtime=0.78 cores=0,2,4,6
/proc/2415/task/2447/stat : 2447 (java) S 2413 2415 2378 0 -1 4202560 5485 0 0 0 78 0 0 0 15 0 19 0 811966260 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2449] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2449/stat : 2449 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966260 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2451] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2451/stat : 2451 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811966260 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2459] ppid=2413 vsize=10552504 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2459/stat : 2459 (java) S 2413 2415 2378 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811966319 10805764096 47628 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 10552504
[startup+3.10135 s]
/proc/loadavg: 2.46 3.33 3.58 2/514 2478
/proc/meminfo: memFree=21076492/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10552928 CPUtime=3.93 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 64716 0 1 0 384 9 0 0 25 0 19 0 811966254 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2638232 59425 2245 9 0 2628966 0
[pid=2415/tid=2417] ppid=2413 vsize=10552928 CPUtime=0.63 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) S 2413 2415 2378 0 -1 4202560 30258 0 1 0 59 4 0 0 16 0 19 0 811966254 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2428] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2428/stat : 2428 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2429] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2429/stat : 2429 (java) S 2413 2415 2378 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811966256 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2430] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2430/stat : 2430 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2431] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2431/stat : 2431 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2432] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2432/stat : 2432 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2433] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2433/stat : 2433 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2434] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2434/stat : 2434 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2435] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2435/stat : 2435 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966256 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2437] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2437/stat : 2437 (java) S 2413 2415 2378 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 811966257 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 0 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2440] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2440/stat : 2440 (java) S 2413 2415 2378 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811966258 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2441] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2441/stat : 2441 (java) S 2413 2415 2378 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811966258 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2442] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2442/stat : 2442 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966260 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273440177 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2445] ppid=2413 vsize=10552928 CPUtime=0.97 cores=0,2,4,6
/proc/2415/task/2445/stat : 2445 (java) S 2413 2415 2378 0 -1 4202560 5935 0 0 0 96 1 0 0 15 0 19 0 811966260 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2447] ppid=2413 vsize=10552928 CPUtime=0.87 cores=0,2,4,6
/proc/2415/task/2447/stat : 2447 (java) S 2413 2415 2378 0 -1 4202560 5638 0 0 0 87 0 0 0 16 0 19 0 811966260 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2449] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2449/stat : 2449 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811966260 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2451] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2451/stat : 2451 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811966260 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2459] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2459/stat : 2459 (java) S 2413 2415 2378 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811966319 10806198272 59425 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 10552928
[startup+6.30075 s]
/proc/loadavg: 2.42 3.31 3.57 4/517 2512
/proc/meminfo: memFree=20584712/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10552928 CPUtime=5.12 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 95929 0 1 0 501 11 0 0 25 0 22 0 811966254 10806198272 90607 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2638232 90608 2246 9 0 2628966 0
[pid=2415/tid=2417] ppid=2413 vsize=10552928 CPUtime=0.64 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) S 2413 2415 2378 0 -1 4202560 30547 0 1 0 60 4 0 0 16 0 22 0 811966254 10806198272 90608 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2428] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2428/stat : 2428 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966256 10806198272 90617 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2429] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2429/stat : 2429 (java) S 2413 2415 2378 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811966256 10806198272 90617 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2430] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2430/stat : 2430 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966256 10806198272 90617 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2431] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2431/stat : 2431 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966256 10806198272 90617 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2432] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2432/stat : 2432 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966256 10806198272 90617 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2433] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2433/stat : 2433 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966256 10806198272 90617 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2434] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2434/stat : 2434 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966256 10806198272 90617 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2435] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2435/stat : 2435 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966256 10806198272 90618 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2437] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2437/stat : 2437 (java) S 2413 2415 2378 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 811966257 10806198272 90619 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 0 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2440] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2440/stat : 2440 (java) S 2413 2415 2378 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811966258 10806198272 90621 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2441] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2441/stat : 2441 (java) S 2413 2415 2378 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811966258 10806198272 90623 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2442] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2442/stat : 2442 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966260 10806198272 90625 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273440177 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2445] ppid=2413 vsize=10552928 CPUtime=0.97 cores=0,2,4,6
/proc/2415/task/2445/stat : 2445 (java) S 2413 2415 2378 0 -1 4202560 5935 0 0 0 96 1 0 0 15 0 22 0 811966260 10806198272 90627 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2447] ppid=2413 vsize=10552928 CPUtime=0.93 cores=0,2,4,6
/proc/2415/task/2447/stat : 2447 (java) S 2413 2415 2378 0 -1 4202560 5647 0 0 0 93 0 0 0 15 0 22 0 811966260 10806198272 90629 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=17170408/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10552928 CPUtime=1607.37 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 901032 0 1 0 160629 108 0 0 25 0 22 0 811966254 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2638232 895338 2271 9 0 2628966 0
[pid=2415/tid=2417] ppid=2413 vsize=10552928 CPUtime=0.71 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) S 2413 2415 2378 0 -1 4202560 31464 0 1 0 66 5 0 0 15 0 22 0 811966254 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2428] ppid=2413 vsize=10552928 CPUtime=0.19 cores=0,2,4,6
/proc/2415/task/2428/stat : 2428 (java) S 2413 2415 2378 0 -1 4202560 4079 0 0 0 19 0 0 0 16 0 22 0 811966256 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2429] ppid=2413 vsize=10552928 CPUtime=0.19 cores=0,2,4,6
/proc/2415/task/2429/stat : 2429 (java) S 2413 2415 2378 0 -1 4202560 2836 0 0 0 19 0 0 0 16 0 22 0 811966256 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2430] ppid=2413 vsize=10552928 CPUtime=0.15 cores=0,2,4,6
/proc/2415/task/2430/stat : 2430 (java) S 2413 2415 2378 0 -1 4202560 3302 0 0 0 15 0 0 0 15 0 22 0 811966256 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2431] ppid=2413 vsize=10552928 CPUtime=0.17 cores=0,2,4,6
/proc/2415/task/2431/stat : 2431 (java) S 2413 2415 2378 0 -1 4202560 4351 0 0 0 17 0 0 0 16 0 22 0 811966256 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2432] ppid=2413 vsize=10552928 CPUtime=0.16 cores=0,2,4,6
/proc/2415/task/2432/stat : 2432 (java) S 2413 2415 2378 0 -1 4202560 1668 0 0 0 16 0 0 0 15 0 22 0 811966256 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2433] ppid=2413 vsize=10552928 CPUtime=0.16 cores=0,2,4,6
/proc/2415/task/2433/stat : 2433 (java) S 2413 2415 2378 0 -1 4202560 3896 0 0 0 16 0 0 0 15 0 22 0 811966256 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2434] ppid=2413 vsize=10552928 CPUtime=0.16 cores=0,2,4,6
/proc/2415/task/2434/stat : 2434 (java) S 2413 2415 2378 0 -1 4202560 1562 0 0 0 16 0 0 0 16 0 22 0 811966256 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2435] ppid=2413 vsize=10552928 CPUtime=0.18 cores=0,2,4,6
/proc/2415/task/2435/stat : 2435 (java) S 2413 2415 2378 0 -1 4202560 2470 0 0 0 18 0 0 0 15 0 22 0 811966256 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2437] ppid=2413 vsize=10552928 CPUtime=6.26 cores=0,2,4,6
/proc/2415/task/2437/stat : 2437 (java) S 2413 2415 2378 0 -1 4202560 24125 0 0 0 622 4 0 0 15 0 22 0 811966257 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 0 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2440] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2440/stat : 2440 (java) S 2413 2415 2378 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 811966258 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2441] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2441/stat : 2441 (java) S 2413 2415 2378 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 22 0 811966258 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2442] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2442/stat : 2442 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966260 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273440177 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2445] ppid=2413 vsize=10552928 CPUtime=1.22 cores=0,2,4,6
/proc/2415/task/2445/stat : 2445 (java) S 2413 2415 2378 0 -1 4202560 5963 0 0 0 121 1 0 0 15 0 22 0 811966260 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2447] ppid=2413 vsize=10552928 CPUtime=1.14 cores=0,2,4,6
/proc/2415/task/2447/stat : 2447 (java) S 2413 2415 2378 0 -1 4202560 5673 0 0 0 114 0 0 0 15 0 22 0 811966260 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2449] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2449/stat : 2449 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966260 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2451] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2451/stat : 2451 (java) S 2413 2415 2378 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 811966260 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2799] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2799/stat : 2799 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 812030935 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2810] ppid=2413 vsize=10552928 CPUtime=12.96 cores=0,2,4,6
/proc/2415/task/2810/stat : 2810 (java) R 2413 2415 2378 0 -1 4202560 1 0 0 0 1296 0 0 0 25 0 22 0 812047169 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 46912505983875 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2415/tid=2812] ppid=2413 vsize=10552928 CPUtime=12.97 cores=0,2,4,6
/proc/2415/task/2812/stat : 2812 (java) R 2413 2415 2378 0 -1 4202560 0 0 0 0 1297 0 0 0 25 0 22 0 812047169 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 46912506087128 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2415/tid=2813] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2813/stat : 2813 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812047169 10806198272 895338 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1607.37
Current children cumulated vsize (KiB) 10552928
[startup+882.301 s]
/proc/loadavg: 3.63 3.72 3.67 5/520 2815
/proc/meminfo: memFree=17163188/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10552928 CPUtime=1726.67 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 901056 0 1 0 172558 109 0 0 25 0 22 0 811966254 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2638232 895350 2271 9 0 2628966 0
[pid=2415/tid=2417] ppid=2413 vsize=10552928 CPUtime=0.71 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) S 2413 2415 2378 0 -1 4202560 31467 0 1 0 66 5 0 0 15 0 22 0 811966254 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2428] ppid=2413 vsize=10552928 CPUtime=0.21 cores=0,2,4,6
/proc/2415/task/2428/stat : 2428 (java) S 2413 2415 2378 0 -1 4202560 4083 0 0 0 21 0 0 0 15 0 22 0 811966256 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2429] ppid=2413 vsize=10552928 CPUtime=0.2 cores=0,2,4,6
/proc/2415/task/2429/stat : 2429 (java) S 2413 2415 2378 0 -1 4202560 2836 0 0 0 20 0 0 0 15 0 22 0 811966256 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2430] ppid=2413 vsize=10552928 CPUtime=0.16 cores=0,2,4,6
/proc/2415/task/2430/stat : 2430 (java) S 2413 2415 2378 0 -1 4202560 3302 0 0 0 16 0 0 0 16 0 22 0 811966256 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2431] ppid=2413 vsize=10552928 CPUtime=0.18 cores=0,2,4,6
/proc/2415/task/2431/stat : 2431 (java) S 2413 2415 2378 0 -1 4202560 4351 0 0 0 18 0 0 0 16 0 22 0 811966256 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2432] ppid=2413 vsize=10552928 CPUtime=0.18 cores=0,2,4,6
/proc/2415/task/2432/stat : 2432 (java) S 2413 2415 2378 0 -1 4202560 1670 0 0 0 18 0 0 0 15 0 22 0 811966256 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2433] ppid=2413 vsize=10552928 CPUtime=0.17 cores=0,2,4,6
/proc/2415/task/2433/stat : 2433 (java) S 2413 2415 2378 0 -1 4202560 3898 0 0 0 17 0 0 0 16 0 22 0 811966256 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2434] ppid=2413 vsize=10552928 CPUtime=0.18 cores=0,2,4,6
/proc/2415/task/2434/stat : 2434 (java) S 2413 2415 2378 0 -1 4202560 1565 0 0 0 18 0 0 0 15 0 22 0 811966256 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2435] ppid=2413 vsize=10552928 CPUtime=0.18 cores=0,2,4,6
/proc/2415/task/2435/stat : 2435 (java) S 2413 2415 2378 0 -1 4202560 2470 0 0 0 18 0 0 0 15 0 22 0 811966256 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2437] ppid=2413 vsize=10552928 CPUtime=6.99 cores=0,2,4,6
/proc/2415/task/2437/stat : 2437 (java) S 2413 2415 2378 0 -1 4202560 24129 0 0 0 695 4 0 0 15 0 22 0 811966257 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 0 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2440] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2440/stat : 2440 (java) S 2413 2415 2378 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 811966258 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2441] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2441/stat : 2441 (java) S 2413 2415 2378 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 22 0 811966258 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2442] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2442/stat : 2442 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966260 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273440177 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2445] ppid=2413 vsize=10552928 CPUtime=1.22 cores=0,2,4,6
/proc/2415/task/2445/stat : 2445 (java) S 2413 2415 2378 0 -1 4202560 5963 0 0 0 121 1 0 0 15 0 22 0 811966260 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2447] ppid=2413 vsize=10552928 CPUtime=1.14 cores=0,2,4,6
/proc/2415/task/2447/stat : 2447 (java) S 2413 2415 2378 0 -1 4202560 5673 0 0 0 114 0 0 0 15 0 22 0 811966260 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2449] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2449/stat : 2449 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966260 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2451] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2451/stat : 2451 (java) S 2413 2415 2378 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811966260 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2799] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2799/stat : 2799 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 812030935 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2810] ppid=2413 vsize=10552928 CPUtime=72.19 cores=0,2,4,6
/proc/2415/task/2810/stat : 2810 (java) R 2413 2415 2378 0 -1 4202560 1 0 0 0 7219 0 0 0 25 0 22 0 812047169 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 46912505983931 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2415/tid=2812] ppid=2413 vsize=10552928 CPUtime=72.2 cores=0,2,4,6
/proc/2415/task/2812/stat : 2812 (java) R 2413 2415 2378 0 -1 4202560 2 0 0 0 7220 0 0 0 25 0 22 0 812047169 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 46912505737911 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2415/tid=2813] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2813/stat : 2813 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812047169 10806198272 895350 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1726.67
Current children cumulated vsize (KiB) 10552928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+919.401 s]
/proc/loadavg: 3.86 3.77 3.69 5/520 2819
/proc/meminfo: memFree=17158952/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=10552928 CPUtime=1800.01 cores=0,2,4,6
/proc/2415/stat : 2415 (java) S 2413 2415 2378 0 -1 4202496 901069 0 1 0 179892 109 0 0 25 0 22 0 811966254 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 2638232 895356 2271 9 0 2628966 0
[pid=2415/tid=2417] ppid=2413 vsize=10552928 CPUtime=0.71 cores=0,2,4,6
/proc/2415/task/2417/stat : 2417 (java) S 2413 2415 2378 0 -1 4202560 31467 0 1 0 66 5 0 0 15 0 22 0 811966254 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2428] ppid=2413 vsize=10552928 CPUtime=0.22 cores=0,2,4,6
/proc/2415/task/2428/stat : 2428 (java) S 2413 2415 2378 0 -1 4202560 4085 0 0 0 22 0 0 0 16 0 22 0 811966256 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2429] ppid=2413 vsize=10552928 CPUtime=0.22 cores=0,2,4,6
/proc/2415/task/2429/stat : 2429 (java) S 2413 2415 2378 0 -1 4202560 2838 0 0 0 22 0 0 0 16 0 22 0 811966256 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2430] ppid=2413 vsize=10552928 CPUtime=0.17 cores=0,2,4,6
/proc/2415/task/2430/stat : 2430 (java) S 2413 2415 2378 0 -1 4202560 3302 0 0 0 17 0 0 0 16 0 22 0 811966256 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2431] ppid=2413 vsize=10552928 CPUtime=0.2 cores=0,2,4,6
/proc/2415/task/2431/stat : 2431 (java) S 2413 2415 2378 0 -1 4202560 4351 0 0 0 20 0 0 0 16 0 22 0 811966256 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2432] ppid=2413 vsize=10552928 CPUtime=0.18 cores=0,2,4,6
/proc/2415/task/2432/stat : 2432 (java) S 2413 2415 2378 0 -1 4202560 1670 0 0 0 18 0 0 0 15 0 22 0 811966256 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2433] ppid=2413 vsize=10552928 CPUtime=0.18 cores=0,2,4,6
/proc/2415/task/2433/stat : 2433 (java) S 2413 2415 2378 0 -1 4202560 3899 0 0 0 18 0 0 0 15 0 22 0 811966256 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2434] ppid=2413 vsize=10552928 CPUtime=0.19 cores=0,2,4,6
/proc/2415/task/2434/stat : 2434 (java) S 2413 2415 2378 0 -1 4202560 1565 0 0 0 19 0 0 0 15 0 22 0 811966256 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2435] ppid=2413 vsize=10552928 CPUtime=0.19 cores=0,2,4,6
/proc/2415/task/2435/stat : 2435 (java) S 2413 2415 2378 0 -1 4202560 2471 0 0 0 19 0 0 0 15 0 22 0 811966256 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2437] ppid=2413 vsize=10552928 CPUtime=7.54 cores=0,2,4,6
/proc/2415/task/2437/stat : 2437 (java) S 2413 2415 2378 0 -1 4202560 24129 0 0 0 750 4 0 0 15 0 22 0 811966257 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 0 0 16800975 18446604452027736448 0 0 -1 2 0 0 0
[pid=2415/tid=2440] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2440/stat : 2440 (java) S 2413 2415 2378 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 811966258 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2441] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2441/stat : 2441 (java) S 2413 2415 2378 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 22 0 811966258 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2442] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2442/stat : 2442 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966260 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273440177 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2445] ppid=2413 vsize=10552928 CPUtime=1.22 cores=0,2,4,6
/proc/2415/task/2445/stat : 2445 (java) S 2413 2415 2378 0 -1 4202560 5963 0 0 0 121 1 0 0 15 0 22 0 811966260 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 4 0 0 0
[pid=2415/tid=2447] ppid=2413 vsize=10552928 CPUtime=1.14 cores=0,2,4,6
/proc/2415/task/2447/stat : 2447 (java) S 2413 2415 2378 0 -1 4202560 5673 0 0 0 114 0 0 0 15 0 22 0 811966260 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2449] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2449/stat : 2449 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811966260 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273432473 0 4 0 16800975 18446604452027736448 0 0 -1 6 0 0 0
[pid=2415/tid=2451] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2451/stat : 2451 (java) S 2413 2415 2378 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811966260 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2799] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2799/stat : 2799 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 812030935 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
[pid=2415/tid=2816] ppid=2413 vsize=10552928 CPUtime=32.7 cores=0,2,4,6
/proc/2415/task/2816/stat : 2816 (java) R 2413 2415 2378 0 -1 4202560 0 0 0 0 3270 0 0 0 25 0 22 0 812054867 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 46912505602075 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2415/tid=2817] ppid=2413 vsize=10552928 CPUtime=32.7 cores=0,2,4,6
/proc/2415/task/2817/stat : 2817 (java) R 2413 2415 2378 0 -1 4202560 3 0 0 0 3270 0 0 0 25 0 22 0 812054867 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 46912506000956 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2415/tid=2818] ppid=2413 vsize=10552928 CPUtime=0 cores=0,2,4,6
/proc/2415/task/2818/stat : 2818 (java) S 2413 2415 2378 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 812054867 10806198272 895356 33554432000 1073741824 1073778376 140734741797456 18446744073709551615 254273433088 0 4 0 16800975 18446604452027736448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10552928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+919.524 s]
/proc/loadavg: 3.86 3.77 3.69 3/501 2822
/proc/meminfo: memFree=19249128/32951124 swapFree=67057928/67111528
[pid=2415] ppid=2413 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/2415/stat : 2415 (java) Z 2413 2415 2378 0 -1 4203548 901096 0 1 0 179898 119 0 0 17 0 2 0 811966254 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2415/statm: 0 0 0 0 0 0 0
[pid=2415/tid=2817] ppid=2413 vsize=0 CPUtime=32.81 cores=0,2,4,6
/proc/2415/task/2817/stat : 2817 (java) R 2413 2415 2378 0 -1 4203588 3 0 0 0 3271 10 0 0 25 0 2 0 812054867 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 919.585
CPU time (s): 1800.23
CPU user time (s): 1798.98
CPU system time (s): 1.25081
CPU usage (%): 195.766
Max. virtual memory (cumulated for all children) (KiB): 10552928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.25081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901096
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= 24067
involuntary context switches= 23142
runsolver used 4.80127 second user time and 10.3294 second system time
The end