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-3457088-1307216461/watcher-3457088-1307216461 -o /tmp/evaluation-result-3457088-1307216461/solver-3457088-1307216461 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457088-1307216461.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.12 1.37 1.71 3/442 499
/proc/meminfo: memFree=29787016/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=2464 CPUtime=0 cores=0,2,4,6
/proc/497/stat : 497 (java) R 494 497 31238 0 -1 4194304 87 0 0 0 0 0 0 0 22 0 1 0 911876788 2523136 40 33554432000 1073741824 1073778376 140733687373952 18446744073709551615 231890567271 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/497/statm: 616 40 32 9 0 23 0
[pid=497/tid=500] ppid=494 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 2925 0 1 0 0 0 0 0 19 0 2 0 911876789 10694979584 3741 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.027935 s]
/proc/loadavg: 1.12 1.37 1.71 3/442 499
/proc/meminfo: memFree=29787016/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=10453028 CPUtime=0.02 cores=0,2,4,6
/proc/497/stat : 497 (java) S 494 497 31238 0 -1 4202496 10084 0 1 0 1 1 0 0 18 0 10 0 911876788 10703900672 9785 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 2613257 9788 1037 9 0 2604413 0
[pid=497/tid=500] ppid=494 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 8964 0 1 0 0 0 0 0 21 0 10 0 911876789 10703900672 9788 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231895488512 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10453028
[startup+0.100878 s]
/proc/loadavg: 1.12 1.37 1.71 3/442 499
/proc/meminfo: memFree=29787016/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=10539584 CPUtime=0.1 cores=0,2,4,6
/proc/497/stat : 497 (java) S 494 497 31238 0 -1 4202496 12984 0 1 0 9 1 0 0 18 0 18 0 911876788 10792534016 12680 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 2634896 12680 2093 9 0 2625630 0
[pid=497/tid=500] ppid=494 vsize=10539584 CPUtime=0.08 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 11080 0 1 0 7 1 0 0 18 0 18 0 911876789 10792534016 12680 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 47972259431171 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539584
[startup+0.324603 s]
/proc/loadavg: 1.12 1.37 1.71 3/442 499
/proc/meminfo: memFree=29787016/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=10542068 CPUtime=0.54 cores=0,2,4,6
/proc/497/stat : 497 (java) S 494 497 31238 0 -1 4202496 16265 0 1 0 52 2 0 0 18 0 19 0 911876788 10795077632 15462 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 2635517 15463 2210 9 0 2626251 0
[pid=497/tid=500] ppid=494 vsize=10542068 CPUtime=0.31 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 13022 0 1 0 29 2 0 0 19 0 19 0 911876789 10795077632 15463 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 47972263926611 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10542068
[startup+0.700716 s]
/proc/loadavg: 1.12 1.37 1.71 3/442 499
/proc/meminfo: memFree=29787016/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=10555680 CPUtime=1.62 cores=0,2,4,6
/proc/497/stat : 497 (java) S 494 497 31238 0 -1 4202496 41613 0 1 0 157 5 0 0 18 0 19 0 911876788 10809016320 37973 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 2638920 37980 2222 9 0 2629654 0
[pid=497/tid=500] ppid=494 vsize=10555680 CPUtime=0.68 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 29768 0 1 0 65 3 0 0 18 0 19 0 911876789 10809016320 37983 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 46912505671321 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10555680
[startup+1.50163 s]
/proc/loadavg: 1.12 1.37 1.71 5/480 537
/proc/meminfo: memFree=29256632/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=10554728 CPUtime=2.76 cores=0,2,4,6
/proc/497/stat : 497 (java) S 494 497 31238 0 -1 4202496 124678 0 1 0 262 14 0 0 18 0 19 0 911876788 10808041472 120514 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 2638682 120518 2227 9 0 2629416 0
[pid=497/tid=500] ppid=494 vsize=10554728 CPUtime=1.48 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 112518 0 1 0 135 13 0 0 18 0 19 0 911876789 10808041472 120520 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 46912505671325 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=497/tid=505] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/505/stat : 505 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911876790 10808041472 120523 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=508] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/508/stat : 508 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 120525 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=510] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/510/stat : 510 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 120527 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=512] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/512/stat : 512 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 120529 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=513] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/513/stat : 513 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 120531 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=516] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/516/stat : 516 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 120536 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=518] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/518/stat : 518 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 911876790 10808041472 120541 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=519] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/519/stat : 519 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 911876790 10808041472 120545 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=520] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/520/stat : 520 (java) S 494 497 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911876791 10808041472 120550 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 0 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=522] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/522/stat : 522 (java) S 494 497 31238 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 911876792 10808041472 120554 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=524] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/524/stat : 524 (java) S 494 497 31238 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 911876792 10808041472 120559 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=528] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/528/stat : 528 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 120563 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907314097 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=529] ppid=494 vsize=10554728 CPUtime=0.56 cores=0,2,4,6
/proc/497/task/529/stat : 529 (java) S 494 497 31238 0 -1 4202560 5543 0 0 0 56 0 0 0 21 0 19 0 911876794 10808041472 120568 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=532] ppid=494 vsize=10554728 CPUtime=0.7 cores=0,2,4,6
/proc/497/task/532/stat : 532 (java) S 494 497 31238 0 -1 4202560 5462 0 0 0 70 0 0 0 15 0 19 0 911876794 10808041472 120572 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=533] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/533/stat : 533 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 120576 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=535] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/535/stat : 535 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911876794 10808041472 120580 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=537] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/537/stat : 537 (java) S 494 497 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911876818 10808041472 120583 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 10554728
[startup+3.10133 s]
/proc/loadavg: 1.19 1.38 1.71 4/480 538
/proc/meminfo: memFree=28308900/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=10554728 CPUtime=4.49 cores=0,2,4,6
/proc/497/stat : 497 (java) S 494 497 31238 0 -1 4202496 288716 0 1 0 417 32 0 0 18 0 19 0 911876788 10808041472 284551 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 2638682 284554 2227 9 0 2629416 0
[pid=497/tid=500] ppid=494 vsize=10554728 CPUtime=3.08 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 276542 0 1 0 278 30 0 0 19 0 19 0 911876789 10808041472 284555 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 46912505748576 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=497/tid=505] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/505/stat : 505 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911876790 10808041472 284558 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=508] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/508/stat : 508 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 284560 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=510] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/510/stat : 510 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 284562 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=512] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/512/stat : 512 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 284564 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=513] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/513/stat : 513 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 284566 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=516] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/516/stat : 516 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 284568 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=518] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/518/stat : 518 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 911876790 10808041472 284570 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=519] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/519/stat : 519 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 911876790 10808041472 284573 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=520] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/520/stat : 520 (java) S 494 497 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911876791 10808041472 284575 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 0 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=522] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/522/stat : 522 (java) S 494 497 31238 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 911876792 10808041472 284577 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=524] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/524/stat : 524 (java) S 494 497 31238 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 911876792 10808041472 284577 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=528] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/528/stat : 528 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 284577 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907314097 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=529] ppid=494 vsize=10554728 CPUtime=0.61 cores=0,2,4,6
/proc/497/task/529/stat : 529 (java) S 494 497 31238 0 -1 4202560 5546 0 0 0 61 0 0 0 17 0 19 0 911876794 10808041472 284577 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=532] ppid=494 vsize=10554728 CPUtime=0.77 cores=0,2,4,6
/proc/497/task/532/stat : 532 (java) S 494 497 31238 0 -1 4202560 5471 0 0 0 77 0 0 0 15 0 19 0 911876794 10808041472 284577 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=533] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/533/stat : 533 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 284579 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=535] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/535/stat : 535 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911876794 10808041472 284580 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=537] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/537/stat : 537 (java) S 494 497 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911876818 10808041472 284585 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10554728
[startup+6.30073 s]
/proc/loadavg: 1.19 1.38 1.71 3/480 538
/proc/meminfo: memFree=25706836/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=10554728 CPUtime=7.7 cores=0,2,4,6
/proc/497/stat : 497 (java) S 494 497 31238 0 -1 4202496 589994 0 1 0 707 63 0 0 18 0 19 0 911876788 10808041472 585281 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 2638682 585285 2228 9 0 2629416 0
[pid=497/tid=500] ppid=494 vsize=10554728 CPUtime=6.28 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 577818 0 1 0 566 62 0 0 20 0 19 0 911876789 10808041472 585287 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 46912505748228 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=497/tid=505] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/505/stat : 505 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911876790 10808041472 585290 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=508] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/508/stat : 508 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 585292 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=510] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/510/stat : 510 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 585295 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=512] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/512/stat : 512 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 585297 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=513] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/513/stat : 513 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 585299 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=516] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/516/stat : 516 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911876790 10808041472 585302 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=518] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/518/stat : 518 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 911876790 10808041472 585305 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=519] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/519/stat : 519 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 911876790 10808041472 585307 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=520] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/520/stat : 520 (java) S 494 497 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911876791 10808041472 585309 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 0 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=522] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/522/stat : 522 (java) S 494 497 31238 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 911876792 10808041472 585312 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=524] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/524/stat : 524 (java) S 494 497 31238 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 911876792 10808041472 585314 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=528] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/528/stat : 528 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 585316 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907314097 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=529] ppid=494 vsize=10554728 CPUtime=0.61 cores=0,2,4,6
/proc/497/task/529/stat : 529 (java) S 494 497 31238 0 -1 4202560 5546 0 0 0 61 0 0 0 15 0 19 0 911876794 10808041472 585319 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=532] ppid=494 vsize=10554728 CPUtime=0.79 cores=0,2,4,6
/proc/497/task/532/stat : 532 (java) S 494 497 31238 0 -1 4202560 5474 0 0 0 79 0 0 0 15 0 19 0 911876794 10808041472 585321 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/497/task/524/stat : 524 (java) S 494 497 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911876792 10808041472 917307 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=528] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/528/stat : 528 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 917307 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907314097 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=529] ppid=494 vsize=10554728 CPUtime=0.71 cores=0,2,4,6
/proc/497/task/529/stat : 529 (java) S 494 497 31238 0 -1 4202560 5567 0 0 0 71 0 0 0 15 0 19 0 911876794 10808041472 917307 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=532] ppid=494 vsize=10554728 CPUtime=0.93 cores=0,2,4,6
/proc/497/task/532/stat : 532 (java) S 494 497 31238 0 -1 4202560 5509 0 0 0 93 0 0 0 16 0 19 0 911876794 10808041472 917307 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=533] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/533/stat : 533 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 917307 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=535] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/535/stat : 535 (java) S 494 497 31238 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 911876794 10808041472 917307 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=537] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/537/stat : 537 (java) S 494 497 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911876818 10808041472 917307 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1666.73
Current children cumulated vsize (KiB) 10554728
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 1.95 3/480 592
/proc/meminfo: memFree=22440904/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=10554728 CPUtime=1726.85 cores=0,2,4,6
/proc/497/stat : 497 (java) S 494 497 31238 0 -1 4202496 924281 0 1 0 172579 106 0 0 18 0 19 0 911876788 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 2638682 918273 2257 9 0 2629416 0
[pid=497/tid=500] ppid=494 vsize=10554728 CPUtime=1720.23 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 836940 0 1 0 171932 91 0 0 25 0 19 0 911876789 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 46912505675382 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=497/tid=505] ppid=494 vsize=10554728 CPUtime=0.6 cores=0,2,4,6
/proc/497/task/505/stat : 505 (java) S 494 497 31238 0 -1 4202560 10284 0 0 0 59 1 0 0 16 0 19 0 911876790 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=508] ppid=494 vsize=10554728 CPUtime=0.56 cores=0,2,4,6
/proc/497/task/508/stat : 508 (java) S 494 497 31238 0 -1 4202560 8150 0 0 0 55 1 0 0 16 0 19 0 911876790 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=510] ppid=494 vsize=10554728 CPUtime=0.55 cores=0,2,4,6
/proc/497/task/510/stat : 510 (java) S 494 497 31238 0 -1 4202560 8421 0 0 0 54 1 0 0 16 0 19 0 911876790 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=512] ppid=494 vsize=10554728 CPUtime=0.52 cores=0,2,4,6
/proc/497/task/512/stat : 512 (java) S 494 497 31238 0 -1 4202560 8151 0 0 0 51 1 0 0 15 0 19 0 911876790 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=513] ppid=494 vsize=10554728 CPUtime=0.54 cores=0,2,4,6
/proc/497/task/513/stat : 513 (java) S 494 497 31238 0 -1 4202560 7664 0 0 0 53 1 0 0 15 0 19 0 911876790 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=516] ppid=494 vsize=10554728 CPUtime=0.47 cores=0,2,4,6
/proc/497/task/516/stat : 516 (java) S 494 497 31238 0 -1 4202560 9216 0 0 0 47 0 0 0 16 0 19 0 911876790 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=518] ppid=494 vsize=10554728 CPUtime=0.59 cores=0,2,4,6
/proc/497/task/518/stat : 518 (java) S 494 497 31238 0 -1 4202560 6762 0 0 0 58 1 0 0 15 0 19 0 911876790 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=519] ppid=494 vsize=10554728 CPUtime=0.53 cores=0,2,4,6
/proc/497/task/519/stat : 519 (java) S 494 497 31238 0 -1 4202560 7480 0 0 0 52 1 0 0 15 0 19 0 911876790 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=520] ppid=494 vsize=10554728 CPUtime=0.5 cores=0,2,4,6
/proc/497/task/520/stat : 520 (java) S 494 497 31238 0 -1 4202560 8885 0 0 0 48 2 0 0 15 0 19 0 911876791 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 0 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=522] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/522/stat : 522 (java) S 494 497 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911876792 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=524] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/524/stat : 524 (java) S 494 497 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911876792 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=528] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/528/stat : 528 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907314097 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=529] ppid=494 vsize=10554728 CPUtime=0.71 cores=0,2,4,6
/proc/497/task/529/stat : 529 (java) S 494 497 31238 0 -1 4202560 5567 0 0 0 71 0 0 0 15 0 19 0 911876794 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=532] ppid=494 vsize=10554728 CPUtime=0.93 cores=0,2,4,6
/proc/497/task/532/stat : 532 (java) S 494 497 31238 0 -1 4202560 5509 0 0 0 93 0 0 0 16 0 19 0 911876794 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=533] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/533/stat : 533 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=535] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/535/stat : 535 (java) S 494 497 31238 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 911876794 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=537] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/537/stat : 537 (java) S 494 497 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911876818 10808041472 918273 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1726.85
Current children cumulated vsize (KiB) 10554728
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 1.95 4/480 604
/proc/meminfo: memFree=22434544/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=10554728 CPUtime=1787.02 cores=0,2,4,6
/proc/497/stat : 497 (java) S 494 497 31238 0 -1 4202496 924880 0 1 0 178595 107 0 0 18 0 19 0 911876788 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 2638682 918858 2257 9 0 2629416 0
[pid=497/tid=500] ppid=494 vsize=10554728 CPUtime=1779.63 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 836944 0 1 0 177872 91 0 0 25 0 19 0 911876789 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 46912505689330 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=497/tid=505] ppid=494 vsize=10554728 CPUtime=0.61 cores=0,2,4,6
/proc/497/task/505/stat : 505 (java) S 494 497 31238 0 -1 4202560 10288 0 0 0 60 1 0 0 16 0 19 0 911876790 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=508] ppid=494 vsize=10554728 CPUtime=0.58 cores=0,2,4,6
/proc/497/task/508/stat : 508 (java) S 494 497 31238 0 -1 4202560 8150 0 0 0 57 1 0 0 16 0 19 0 911876790 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=510] ppid=494 vsize=10554728 CPUtime=0.57 cores=0,2,4,6
/proc/497/task/510/stat : 510 (java) S 494 497 31238 0 -1 4202560 8494 0 0 0 56 1 0 0 15 0 19 0 911876790 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=512] ppid=494 vsize=10554728 CPUtime=0.55 cores=0,2,4,6
/proc/497/task/512/stat : 512 (java) S 494 497 31238 0 -1 4202560 8238 0 0 0 54 1 0 0 16 0 19 0 911876790 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=513] ppid=494 vsize=10554728 CPUtime=0.56 cores=0,2,4,6
/proc/497/task/513/stat : 513 (java) S 494 497 31238 0 -1 4202560 7667 0 0 0 55 1 0 0 16 0 19 0 911876790 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=516] ppid=494 vsize=10554728 CPUtime=0.5 cores=0,2,4,6
/proc/497/task/516/stat : 516 (java) S 494 497 31238 0 -1 4202560 9273 0 0 0 50 0 0 0 15 0 19 0 911876790 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=518] ppid=494 vsize=10554728 CPUtime=0.62 cores=0,2,4,6
/proc/497/task/518/stat : 518 (java) S 494 497 31238 0 -1 4202560 6938 0 0 0 61 1 0 0 15 0 19 0 911876790 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=519] ppid=494 vsize=10554728 CPUtime=0.56 cores=0,2,4,6
/proc/497/task/519/stat : 519 (java) S 494 497 31238 0 -1 4202560 7598 0 0 0 55 1 0 0 15 0 19 0 911876790 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=520] ppid=494 vsize=10554728 CPUtime=1.05 cores=0,2,4,6
/proc/497/task/520/stat : 520 (java) S 494 497 31238 0 -1 4202560 8955 0 0 0 103 2 0 0 15 0 19 0 911876791 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 0 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=522] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/522/stat : 522 (java) S 494 497 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911876792 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=524] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/524/stat : 524 (java) S 494 497 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911876792 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=528] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/528/stat : 528 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907314097 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=529] ppid=494 vsize=10554728 CPUtime=0.75 cores=0,2,4,6
/proc/497/task/529/stat : 529 (java) S 494 497 31238 0 -1 4202560 5572 0 0 0 75 0 0 0 15 0 19 0 911876794 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=532] ppid=494 vsize=10554728 CPUtime=0.93 cores=0,2,4,6
/proc/497/task/532/stat : 532 (java) S 494 497 31238 0 -1 4202560 5509 0 0 0 93 0 0 0 16 0 19 0 911876794 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=533] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/533/stat : 533 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=535] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/535/stat : 535 (java) S 494 497 31238 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 911876794 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=537] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/537/stat : 537 (java) S 494 497 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911876818 10808041472 918858 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1787.02
Current children cumulated vsize (KiB) 10554728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 2.03 2.04 1.95 3/464 607
/proc/meminfo: memFree=23463100/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=10554728 CPUtime=1800.04 cores=0,2,4,6
/proc/497/stat : 497 (java) S 494 497 31238 0 -1 4202496 924891 0 1 0 179897 107 0 0 18 0 19 0 911876788 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 2638682 918864 2257 9 0 2629416 0
[pid=497/tid=500] ppid=494 vsize=10554728 CPUtime=1792.63 cores=0,2,4,6
/proc/497/task/500/stat : 500 (java) R 494 497 31238 0 -1 4202560 836945 0 1 0 179171 92 0 0 25 0 19 0 911876789 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 46912505648478 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=497/tid=505] ppid=494 vsize=10554728 CPUtime=0.61 cores=0,2,4,6
/proc/497/task/505/stat : 505 (java) S 494 497 31238 0 -1 4202560 10288 0 0 0 60 1 0 0 15 0 19 0 911876790 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=508] ppid=494 vsize=10554728 CPUtime=0.58 cores=0,2,4,6
/proc/497/task/508/stat : 508 (java) S 494 497 31238 0 -1 4202560 8150 0 0 0 57 1 0 0 15 0 19 0 911876790 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=510] ppid=494 vsize=10554728 CPUtime=0.59 cores=0,2,4,6
/proc/497/task/510/stat : 510 (java) S 494 497 31238 0 -1 4202560 8497 0 0 0 58 1 0 0 16 0 19 0 911876790 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=512] ppid=494 vsize=10554728 CPUtime=0.55 cores=0,2,4,6
/proc/497/task/512/stat : 512 (java) S 494 497 31238 0 -1 4202560 8238 0 0 0 54 1 0 0 15 0 19 0 911876790 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=513] ppid=494 vsize=10554728 CPUtime=0.56 cores=0,2,4,6
/proc/497/task/513/stat : 513 (java) S 494 497 31238 0 -1 4202560 7667 0 0 0 55 1 0 0 15 0 19 0 911876790 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=516] ppid=494 vsize=10554728 CPUtime=0.51 cores=0,2,4,6
/proc/497/task/516/stat : 516 (java) S 494 497 31238 0 -1 4202560 9276 0 0 0 51 0 0 0 16 0 19 0 911876790 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=518] ppid=494 vsize=10554728 CPUtime=0.63 cores=0,2,4,6
/proc/497/task/518/stat : 518 (java) S 494 497 31238 0 -1 4202560 6938 0 0 0 62 1 0 0 16 0 19 0 911876790 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=519] ppid=494 vsize=10554728 CPUtime=0.56 cores=0,2,4,6
/proc/497/task/519/stat : 519 (java) S 494 497 31238 0 -1 4202560 7598 0 0 0 55 1 0 0 15 0 19 0 911876790 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 2 0 0 0
[pid=497/tid=520] ppid=494 vsize=10554728 CPUtime=1.05 cores=0,2,4,6
/proc/497/task/520/stat : 520 (java) S 494 497 31238 0 -1 4202560 8957 0 0 0 103 2 0 0 15 0 19 0 911876791 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 0 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=522] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/522/stat : 522 (java) S 494 497 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911876792 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=524] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/524/stat : 524 (java) S 494 497 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911876792 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 6 0 0 0
[pid=497/tid=528] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/528/stat : 528 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907314097 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=529] ppid=494 vsize=10554728 CPUtime=0.75 cores=0,2,4,6
/proc/497/task/529/stat : 529 (java) S 494 497 31238 0 -1 4202560 5572 0 0 0 75 0 0 0 15 0 19 0 911876794 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
[pid=497/tid=532] ppid=494 vsize=10554728 CPUtime=0.93 cores=0,2,4,6
/proc/497/task/532/stat : 532 (java) S 494 497 31238 0 -1 4202560 5509 0 0 0 93 0 0 0 16 0 19 0 911876794 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=533] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/533/stat : 533 (java) S 494 497 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911876794 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907306393 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=535] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/535/stat : 535 (java) S 494 497 31238 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 911876794 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 4 0 0 0
[pid=497/tid=537] ppid=494 vsize=10554728 CPUtime=0 cores=0,2,4,6
/proc/497/task/537/stat : 537 (java) S 494 497 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911876818 10808041472 918864 33554432000 1073741824 1073778376 140733535927600 18446744073709551615 231907307008 0 4 0 16800975 18446604447784154432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10554728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.42 s]
/proc/loadavg: 2.03 2.04 1.95 3/464 607
/proc/meminfo: memFree=23463100/32950928 swapFree=52246700/67111528
[pid=497] ppid=494 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/497/stat : 497 (java) Z 494 497 31238 0 -1 4203548 924928 0 1 0 179904 113 0 0 17 0 2 0 911876788 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/497/statm: 0 0 0 0 0 0 0
[pid=497/tid=519] ppid=494 vsize=0 CPUtime=0.63 cores=0,2,4,6
/proc/497/task/519/stat : 519 (java) R 494 497 31238 0 -1 4203588 7598 0 0 0 55 8 0 0 15 0 2 0 911876790 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.5
CPU time (s): 1800.26
CPU user time (s): 1799.05
CPU system time (s): 1.21081
CPU usage (%): 100.265
Max. virtual memory (cumulated for all children) (KiB): 10555680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.21081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 924928
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= 40659
involuntary context switches= 17300
runsolver used 8.89765 second user time and 18.8071 second system time
The end