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-3454400-1307187839/watcher-3454400-1307187839 -o /tmp/evaluation-result-3454400-1307187839/solver-3454400-1307187839 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454400-1307187839.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: 3.72 3.52 2.84 3/548 21433
/proc/meminfo: memFree=21165888/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21433/stat : 21433 (java) S 21431 21433 18760 0 -1 4202496 5556 0 1 0 0 0 0 0 23 0 2 0 909014676 10694979584 5258 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 2611079 5271 917 9 0 2602235 0
[pid=21433/tid=21434] ppid=21431 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21434/stat : 21434 (java) R 21431 21433 18760 0 -1 4202560 6180 0 1 0 0 0 0 0 18 0 2 0 909014677 10694979584 6996 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0321441 s]
/proc/loadavg: 3.72 3.52 2.84 3/548 21433
/proc/meminfo: memFree=21165888/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/21433/stat : 21433 (java) S 21431 21433 18760 0 -1 4202496 10764 0 1 0 1 0 0 0 23 0 10 0 909014676 10705932288 10463 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 2613753 10465 1515 9 0 2604501 0
[pid=21433/tid=21434] ppid=21431 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/21433/task/21434/stat : 21434 (java) R 21431 21433 18760 0 -1 4202560 9643 0 1 0 1 0 0 0 21 0 10 0 909014677 10705932288 10465 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 47371068460536 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.101138 s]
/proc/loadavg: 3.72 3.52 2.84 3/548 21433
/proc/meminfo: memFree=21165888/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=10474912 CPUtime=0.09 cores=0,2,4,6
/proc/21433/stat : 21433 (java) S 21431 21433 18760 0 -1 4202496 12999 0 1 0 8 1 0 0 23 0 18 0 909014676 10726309888 12696 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 2618728 12696 2092 9 0 2609462 0
[pid=21433/tid=21434] ppid=21431 vsize=10474912 CPUtime=0.08 cores=0,2,4,6
/proc/21433/task/21434/stat : 21434 (java) R 21431 21433 18760 0 -1 4202560 11067 0 1 0 7 1 0 0 25 0 18 0 909014677 10726309888 12698 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 47371063959557 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10474912
[startup+0.306101 s]
/proc/loadavg: 3.72 3.52 2.84 3/548 21433
/proc/meminfo: memFree=21165888/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=10543396 CPUtime=0.52 cores=0,2,4,6
/proc/21433/stat : 21433 (java) S 21431 21433 18760 0 -1 4202496 29780 0 1 0 49 3 0 0 23 0 18 0 909014676 10796437504 28386 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 2635849 28386 2201 9 0 2626583 0
[pid=21433/tid=21434] ppid=21431 vsize=10543396 CPUtime=0.28 cores=0,2,4,6
/proc/21433/task/21434/stat : 21434 (java) R 21431 21433 18760 0 -1 4202560 25023 0 1 0 26 2 0 0 25 0 18 0 909014677 10796437504 28387 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10543396
[startup+0.701035 s]
/proc/loadavg: 3.72 3.52 2.84 3/548 21433
/proc/meminfo: memFree=21165888/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=10543768 CPUtime=1.2 cores=0,2,4,6
/proc/21433/stat : 21433 (java) S 21431 21433 18760 0 -1 4202496 72516 0 1 0 112 8 0 0 23 0 18 0 909014676 10796818432 70107 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 2635942 70114 2212 9 0 2626676 0
[pid=21433/tid=21434] ppid=21431 vsize=10543768 CPUtime=0.67 cores=0,2,4,6
/proc/21433/task/21434/stat : 21434 (java) R 21431 21433 18760 0 -1 4202560 66636 0 1 0 60 7 0 0 25 0 18 0 909014677 10796818432 70117 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 46912505609150 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10543768
[startup+1.50091 s]
/proc/loadavg: 3.72 3.52 2.84 4/566 21451
/proc/meminfo: memFree=20722392/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=10543768 CPUtime=2.01 cores=0,2,4,6
/proc/21433/stat : 21433 (java) S 21431 21433 18760 0 -1 4202496 185944 0 1 0 178 23 0 0 23 0 18 0 909014676 10796818432 183536 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 2635942 183542 2213 9 0 2626676 0
[pid=21433/tid=21434] ppid=21431 vsize=10543768 CPUtime=1.48 cores=0,2,4,6
/proc/21433/task/21434/stat : 21434 (java) R 21431 21433 18760 0 -1 4202560 180064 0 1 0 126 22 0 0 25 0 18 0 909014677 10796818432 183546 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 46912505564766 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21433/tid=21436] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21436/stat : 21436 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 909014679 10796818432 183550 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21437] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21437/stat : 21437 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909014679 10796818432 183553 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21438] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21438/stat : 21438 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909014679 10796818432 183557 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21439] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21439/stat : 21439 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909014679 10796818432 183561 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21440] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21440/stat : 21440 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909014679 10796818432 183564 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21441] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21441/stat : 21441 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909014679 10796818432 183568 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21442] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21442/stat : 21442 (java) S 21431 21433 18760 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 909014679 10796818432 183572 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21443] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21443/stat : 21443 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 909014679 10796818432 183575 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21444] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21444/stat : 21444 (java) S 21431 21433 18760 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909014680 10796818432 183579 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 0 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21445] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21445/stat : 21445 (java) S 21431 21433 18760 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 909014680 10796818432 183582 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21446] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21446/stat : 21446 (java) S 21431 21433 18760 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 909014680 10796818432 183586 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21447] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21447/stat : 21447 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909014682 10796818432 183590 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216747002289 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21448] ppid=21431 vsize=10543768 CPUtime=0.22 cores=0,2,4,6
/proc/21433/task/21448/stat : 21448 (java) S 21431 21433 18760 0 -1 4202560 1243 0 0 0 22 0 0 0 16 0 18 0 909014682 10796818432 183593 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21449] ppid=21431 vsize=10543768 CPUtime=0.29 cores=0,2,4,6
/proc/21433/task/21449/stat : 21449 (java) S 21431 21433 18760 0 -1 4202560 3497 0 0 0 29 0 0 0 24 0 18 0 909014682 10796818432 183597 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21450] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21450/stat : 21450 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909014682 10796818432 183601 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21451] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21451/stat : 21451 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909014682 10796818432 183605 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10543768
[startup+3.10164 s]
/proc/loadavg: 3.72 3.52 2.84 4/566 21451
/proc/meminfo: memFree=20093980/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=10543768 CPUtime=3.61 cores=0,2,4,6
/proc/21433/stat : 21433 (java) S 21431 21433 18760 0 -1 4202496 533052 0 1 0 298 63 0 0 23 0 18 0 909014676 10796818432 530643 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 2635942 530672 2226 9 0 2626676 0
[pid=21433/tid=21434] ppid=21431 vsize=10543768 CPUtime=3.08 cores=0,2,4,6
/proc/21433/task/21434/stat : 21434 (java) R 21431 21433 18760 0 -1 4202560 527198 0 1 0 246 62 0 0 25 0 18 0 909014677 10796818432 530685 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 47371068460122 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21433/tid=21436] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21436/stat : 21436 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 909014679 10796818432 530703 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21437] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21437/stat : 21437 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909014679 10796818432 530719 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21438] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21438/stat : 21438 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909014679 10796818432 530735 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21439] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21439/stat : 21439 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909014679 10796818432 530751 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21440] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21440/stat : 21440 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909014679 10796818432 530766 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21441] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21441/stat : 21441 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909014679 10796818432 530783 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21442] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21442/stat : 21442 (java) S 21431 21433 18760 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 909014679 10796818432 530798 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21443] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21443/stat : 21443 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 909014679 10796818432 530815 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21444] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21444/stat : 21444 (java) S 21431 21433 18760 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 909014680 10796818432 530830 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 0 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21445] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21445/stat : 21445 (java) S 21431 21433 18760 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 909014680 10796818432 530846 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21446] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21446/stat : 21446 (java) S 21431 21433 18760 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 909014680 10796818432 530861 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21447] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21447/stat : 21447 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909014682 10796818432 530878 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216747002289 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21448] ppid=21431 vsize=10543768 CPUtime=0.22 cores=0,2,4,6
/proc/21433/task/21448/stat : 21448 (java) S 21431 21433 18760 0 -1 4202560 1243 0 0 0 22 0 0 0 15 0 18 0 909014682 10796818432 530892 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21449] ppid=21431 vsize=10543768 CPUtime=0.29 cores=0,2,4,6
/proc/21433/task/21449/stat : 21449 (java) S 21431 21433 18760 0 -1 4202560 3500 0 0 0 29 0 0 0 15 0 18 0 909014682 10796818432 530910 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21450] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21450/stat : 21450 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909014682 10796818432 530925 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21451] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21451/stat : 21451 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909014682 10796818432 530942 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 10543768
[startup+6.30107 s]
/proc/loadavg: 3.66 3.51 2.84 5/566 21451
/proc/meminfo: memFree=17575676/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=10543768 CPUtime=11.08 cores=0,2,4,6
/proc/21433/stat : 21433 (java) S 21431 21433 18760 0 -1 4202496 902086 0 1 0 1000 108 0 0 23 0 18 0 909014676 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 2635942 898371 2240 9 0 2626676 0
[pid=21433/tid=21434] ppid=21431 vsize=10543768 CPUtime=4.93 cores=0,2,4,6
/proc/21433/task/21434/stat : 21434 (java) R 21431 21433 18760 0 -1 4202560 650865 0 1 0 418 75 0 0 18 0 18 0 909014677 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 47371068460119 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21433/tid=21436] ppid=21431 vsize=10543768 CPUtime=0.61 cores=0,2,4,6
/proc/21433/task/21436/stat : 21436 (java) S 21431 21433 18760 0 -1 4202560 43118 0 0 0 55 6 0 0 16 0 18 0 909014679 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21437] ppid=21431 vsize=10543768 CPUtime=0.74 cores=0,2,4,6
/proc/21433/task/21437/stat : 21437 (java) S 21431 21433 18760 0 -1 4202560 30691 0 0 0 71 3 0 0 16 0 18 0 909014679 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21438] ppid=21431 vsize=10543768 CPUtime=0.78 cores=0,2,4,6
/proc/21433/task/21438/stat : 21438 (java) S 21431 21433 18760 0 -1 4202560 42295 0 0 0 73 5 0 0 16 0 18 0 909014679 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21439] ppid=21431 vsize=10543768 CPUtime=1.05 cores=0,2,4,6
/proc/21433/task/21439/stat : 21439 (java) S 21431 21433 18760 0 -1 4202560 42195 0 0 0 100 5 0 0 16 0 18 0 909014679 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21440] ppid=21431 vsize=10543768 CPUtime=0.59 cores=0,2,4,6
/proc/21433/task/21440/stat : 21440 (java) S 21431 21433 18760 0 -1 4202560 28296 0 0 0 57 2 0 0 16 0 18 0 909014679 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21441] ppid=21431 vsize=10543768 CPUtime=0.33 cores=0,2,4,6
/proc/21433/task/21441/stat : 21441 (java) S 21431 21433 18760 0 -1 4202560 16601 0 0 0 32 1 0 0 16 0 18 0 909014679 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21442] ppid=21431 vsize=10543768 CPUtime=0.58 cores=0,2,4,6
/proc/21433/task/21442/stat : 21442 (java) S 21431 21433 18760 0 -1 4202560 19059 0 0 0 56 2 0 0 16 0 18 0 909014679 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21443] ppid=21431 vsize=10543768 CPUtime=0.56 cores=0,2,4,6
/proc/21433/task/21443/stat : 21443 (java) S 21431 21433 18760 0 -1 4202560 21194 0 0 0 55 1 0 0 16 0 18 0 909014679 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21444] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21444/stat : 21444 (java) S 21431 21433 18760 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 18 0 909014680 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 0 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21445] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21445/stat : 21445 (java) S 21431 21433 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 909014680 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21446] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21446/stat : 21446 (java) S 21431 21433 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 909014680 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21447] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21447/stat : 21447 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909014682 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216747002289 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21448] ppid=21431 vsize=10543768 CPUtime=0.25 cores=0,2,4,6
/proc/21433/task/21448/stat : 21448 (java) S 21431 21433 18760 0 -1 4202560 1245 0 0 0 25 0 0 0 15 0 18 0 909014682 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21449] ppid=21431 vsize=10543768 CPUtime=0.55 cores=0,2,4,6
/proc/21433/task/21449/stat : 21449 (java) S 21431 21433 18760 0 -1 4202560 5374 0 0 0 54 1 0 0 16 0 18 0 909014682 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21450] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21450/stat : 21450 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909014682 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21451] ppid=21431 vsize=10543768 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21451/stat : 21451 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909014682 10796818432 898371 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/21433/task/21438/stat : 21438 (java) S 21431 21433 18760 0 -1 4202560 60411 0 0 0 436 8 0 0 16 0 22 0 909014679 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21439] ppid=21431 vsize=10548548 CPUtime=5.18 cores=0,2,4,6
/proc/21433/task/21439/stat : 21439 (java) S 21431 21433 18760 0 -1 4202560 69942 0 0 0 509 9 0 0 16 0 22 0 909014679 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21440] ppid=21431 vsize=10548548 CPUtime=4.87 cores=0,2,4,6
/proc/21433/task/21440/stat : 21440 (java) S 21431 21433 18760 0 -1 4202560 51217 0 0 0 481 6 0 0 16 0 22 0 909014679 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21441] ppid=21431 vsize=10548548 CPUtime=4.06 cores=0,2,4,6
/proc/21433/task/21441/stat : 21441 (java) S 21431 21433 18760 0 -1 4202560 35416 0 0 0 402 4 0 0 15 0 22 0 909014679 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21442] ppid=21431 vsize=10548548 CPUtime=4.44 cores=0,2,4,6
/proc/21433/task/21442/stat : 21442 (java) S 21431 21433 18760 0 -1 4202560 40881 0 0 0 439 5 0 0 16 0 22 0 909014679 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21443] ppid=21431 vsize=10548548 CPUtime=4.42 cores=0,2,4,6
/proc/21433/task/21443/stat : 21443 (java) S 21431 21433 18760 0 -1 4202560 38927 0 0 0 436 6 0 0 16 0 22 0 909014679 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21444] ppid=21431 vsize=10548548 CPUtime=158.75 cores=0,2,4,6
/proc/21433/task/21444/stat : 21444 (java) S 21431 21433 18760 0 -1 4202560 1336950 0 0 0 15700 175 0 0 17 0 22 0 909014680 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 0 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21445] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21445/stat : 21445 (java) S 21431 21433 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909014680 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21446] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21446/stat : 21446 (java) S 21431 21433 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909014680 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21447] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21447/stat : 21447 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909014682 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216747002289 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21448] ppid=21431 vsize=10548548 CPUtime=1.28 cores=0,2,4,6
/proc/21433/task/21448/stat : 21448 (java) S 21431 21433 18760 0 -1 4202560 2344 0 0 0 128 0 0 0 15 0 22 0 909014682 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21449] ppid=21431 vsize=10548548 CPUtime=2.57 cores=0,2,4,6
/proc/21433/task/21449/stat : 21449 (java) S 21431 21433 18760 0 -1 4202560 15828 0 0 0 254 3 0 0 16 0 22 0 909014682 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21450] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21450/stat : 21450 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909014682 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21451] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21451/stat : 21451 (java) S 21431 21433 18760 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909014682 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21452] ppid=21431 vsize=10548548 CPUtime=703.97 cores=0,2,4,6
/proc/21433/task/21452/stat : 21452 (java) R 21431 21433 18760 0 -1 4202560 87 0 0 0 70396 1 0 0 25 0 22 0 909015794 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 46912506202646 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21433/tid=21453] ppid=21431 vsize=10548548 CPUtime=704.01 cores=0,2,4,6
/proc/21433/task/21453/stat : 21453 (java) R 21431 21433 18760 0 -1 4202560 185 0 0 0 70401 0 0 0 25 0 22 0 909015794 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 46912505757447 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21433/tid=21454] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21454/stat : 21454 (java) S 21431 21433 18760 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 909015808 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21455] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21455/stat : 21455 (java) S 21431 21433 18760 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 909015808 10801713152 1193104 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1617.53
Current children cumulated vsize (KiB) 10548548
[startup+942.301 s]
/proc/loadavg: 4.15 3.97 3.52 5/570 21610
/proc/meminfo: memFree=19173240/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=10548548 CPUtime=1730.02 cores=0,2,4,6
/proc/21433/stat : 21433 (java) S 21431 21433 18760 0 -1 4202496 2520010 0 1 0 172673 329 0 0 23 0 22 0 909014676 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 2637137 1196956 2268 9 0 2627871 0
[pid=21433/tid=21434] ppid=21431 vsize=10548548 CPUtime=9.2 cores=0,2,4,6
/proc/21433/task/21434/stat : 21434 (java) S 21431 21433 18760 0 -1 4202560 651052 0 1 0 843 77 0 0 15 0 22 0 909014677 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21436] ppid=21431 vsize=10548548 CPUtime=5.16 cores=0,2,4,6
/proc/21433/task/21436/stat : 21436 (java) S 21431 21433 18760 0 -1 4202560 63657 0 0 0 507 9 0 0 16 0 22 0 909014679 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21437] ppid=21431 vsize=10548548 CPUtime=5.41 cores=0,2,4,6
/proc/21433/task/21437/stat : 21437 (java) S 21431 21433 18760 0 -1 4202560 73333 0 0 0 532 9 0 0 16 0 22 0 909014679 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21438] ppid=21431 vsize=10548548 CPUtime=4.6 cores=0,2,4,6
/proc/21433/task/21438/stat : 21438 (java) S 21431 21433 18760 0 -1 4202560 61257 0 0 0 452 8 0 0 15 0 22 0 909014679 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21439] ppid=21431 vsize=10548548 CPUtime=5.3 cores=0,2,4,6
/proc/21433/task/21439/stat : 21439 (java) S 21431 21433 18760 0 -1 4202560 70465 0 0 0 521 9 0 0 15 0 22 0 909014679 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21440] ppid=21431 vsize=10548548 CPUtime=5.05 cores=0,2,4,6
/proc/21433/task/21440/stat : 21440 (java) S 21431 21433 18760 0 -1 4202560 51437 0 0 0 499 6 0 0 15 0 22 0 909014679 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21441] ppid=21431 vsize=10548548 CPUtime=4.25 cores=0,2,4,6
/proc/21433/task/21441/stat : 21441 (java) S 21431 21433 18760 0 -1 4202560 35839 0 0 0 420 5 0 0 16 0 22 0 909014679 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21442] ppid=21431 vsize=10548548 CPUtime=4.71 cores=0,2,4,6
/proc/21433/task/21442/stat : 21442 (java) S 21431 21433 18760 0 -1 4202560 41758 0 0 0 465 6 0 0 15 0 22 0 909014679 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21443] ppid=21431 vsize=10548548 CPUtime=4.6 cores=0,2,4,6
/proc/21433/task/21443/stat : 21443 (java) S 21431 21433 18760 0 -1 4202560 39032 0 0 0 454 6 0 0 15 0 22 0 909014679 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21444] ppid=21431 vsize=10548548 CPUtime=166.9 cores=0,2,4,6
/proc/21433/task/21444/stat : 21444 (java) S 21431 21433 18760 0 -1 4202560 1412516 0 0 0 16507 183 0 0 15 0 22 0 909014680 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 0 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21445] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21445/stat : 21445 (java) S 21431 21433 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909014680 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21446] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21446/stat : 21446 (java) S 21431 21433 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909014680 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21447] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21447/stat : 21447 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909014682 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216747002289 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21448] ppid=21431 vsize=10548548 CPUtime=1.28 cores=0,2,4,6
/proc/21433/task/21448/stat : 21448 (java) S 21431 21433 18760 0 -1 4202560 2344 0 0 0 128 0 0 0 15 0 22 0 909014682 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21449] ppid=21431 vsize=10548548 CPUtime=2.57 cores=0,2,4,6
/proc/21433/task/21449/stat : 21449 (java) S 21431 21433 18760 0 -1 4202560 15828 0 0 0 254 3 0 0 16 0 22 0 909014682 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21450] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21450/stat : 21450 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909014682 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21451] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21451/stat : 21451 (java) S 21431 21433 18760 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909014682 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21452] ppid=21431 vsize=10548548 CPUtime=755.41 cores=0,2,4,6
/proc/21433/task/21452/stat : 21452 (java) R 21431 21433 18760 0 -1 4202560 88 0 0 0 75540 1 0 0 25 0 22 0 909015794 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 46912506203095 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21433/tid=21453] ppid=21431 vsize=10548548 CPUtime=755.45 cores=0,2,4,6
/proc/21433/task/21453/stat : 21453 (java) R 21431 21433 18760 0 -1 4202560 190 0 0 0 75545 0 0 0 25 0 22 0 909015794 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 46912506107429 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21433/tid=21454] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21454/stat : 21454 (java) S 21431 21433 18760 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 909015808 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21455] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21455/stat : 21455 (java) S 21431 21433 18760 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 909015808 10801713152 1196956 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1730.02
Current children cumulated vsize (KiB) 10548548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+978.421 s]
/proc/loadavg: 3.81 3.91 3.51 5/570 21611
/proc/meminfo: memFree=19149416/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=10548548 CPUtime=1800.08 cores=0,2,4,6
/proc/21433/stat : 21433 (java) S 21431 21433 18760 0 -1 4202496 2544751 0 1 0 179675 333 0 0 23 0 22 0 909014676 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 2637137 1196984 2268 9 0 2627871 0
[pid=21433/tid=21434] ppid=21431 vsize=10548548 CPUtime=9.2 cores=0,2,4,6
/proc/21433/task/21434/stat : 21434 (java) S 21431 21433 18760 0 -1 4202560 651053 0 1 0 843 77 0 0 15 0 22 0 909014677 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21436] ppid=21431 vsize=10548548 CPUtime=5.2 cores=0,2,4,6
/proc/21433/task/21436/stat : 21436 (java) S 21431 21433 18760 0 -1 4202560 63657 0 0 0 511 9 0 0 16 0 22 0 909014679 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21437] ppid=21431 vsize=10548548 CPUtime=5.47 cores=0,2,4,6
/proc/21433/task/21437/stat : 21437 (java) S 21431 21433 18760 0 -1 4202560 73333 0 0 0 538 9 0 0 16 0 22 0 909014679 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21438] ppid=21431 vsize=10548548 CPUtime=4.62 cores=0,2,4,6
/proc/21433/task/21438/stat : 21438 (java) S 21431 21433 18760 0 -1 4202560 61257 0 0 0 454 8 0 0 16 0 22 0 909014679 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21439] ppid=21431 vsize=10548548 CPUtime=5.41 cores=0,2,4,6
/proc/21433/task/21439/stat : 21439 (java) S 21431 21433 18760 0 -1 4202560 70467 0 0 0 532 9 0 0 16 0 22 0 909014679 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21440] ppid=21431 vsize=10548548 CPUtime=5.09 cores=0,2,4,6
/proc/21433/task/21440/stat : 21440 (java) S 21431 21433 18760 0 -1 4202560 51437 0 0 0 503 6 0 0 16 0 22 0 909014679 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21441] ppid=21431 vsize=10548548 CPUtime=4.37 cores=0,2,4,6
/proc/21433/task/21441/stat : 21441 (java) S 21431 21433 18760 0 -1 4202560 35865 0 0 0 432 5 0 0 16 0 22 0 909014679 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21442] ppid=21431 vsize=10548548 CPUtime=4.75 cores=0,2,4,6
/proc/21433/task/21442/stat : 21442 (java) S 21431 21433 18760 0 -1 4202560 41758 0 0 0 469 6 0 0 16 0 22 0 909014679 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21443] ppid=21431 vsize=10548548 CPUtime=4.73 cores=0,2,4,6
/proc/21433/task/21443/stat : 21443 (java) S 21431 21433 18760 0 -1 4202560 39032 0 0 0 467 6 0 0 16 0 22 0 909014679 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21444] ppid=21431 vsize=10548548 CPUtime=169.32 cores=0,2,4,6
/proc/21433/task/21444/stat : 21444 (java) S 21431 21433 18760 0 -1 4202560 1437220 0 0 0 16746 186 0 0 15 0 22 0 909014680 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 0 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21445] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21445/stat : 21445 (java) S 21431 21433 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909014680 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21446] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21446/stat : 21446 (java) S 21431 21433 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909014680 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21447] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21447/stat : 21447 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909014682 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216747002289 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21448] ppid=21431 vsize=10548548 CPUtime=1.28 cores=0,2,4,6
/proc/21433/task/21448/stat : 21448 (java) S 21431 21433 18760 0 -1 4202560 2344 0 0 0 128 0 0 0 15 0 22 0 909014682 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21449] ppid=21431 vsize=10548548 CPUtime=2.57 cores=0,2,4,6
/proc/21433/task/21449/stat : 21449 (java) S 21431 21433 18760 0 -1 4202560 15828 0 0 0 254 3 0 0 16 0 22 0 909014682 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 4 0 0 0
[pid=21433/tid=21450] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21450/stat : 21450 (java) S 21431 21433 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909014682 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746994585 0 4 0 16800975 18446604444761800960 0 0 -1 6 0 0 0
[pid=21433/tid=21451] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21451/stat : 21451 (java) S 21431 21433 18760 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 909014682 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 2 0 0 0
[pid=21433/tid=21452] ppid=21431 vsize=10548548 CPUtime=788.94 cores=0,2,4,6
/proc/21433/task/21452/stat : 21452 (java) R 21431 21433 18760 0 -1 4202560 90 0 0 0 78893 1 0 0 25 0 22 0 909015794 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 46912505568633 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21433/tid=21453] ppid=21431 vsize=10548548 CPUtime=788.99 cores=0,2,4,6
/proc/21433/task/21453/stat : 21453 (java) R 21431 21433 18760 0 -1 4202560 194 0 0 0 78899 0 0 0 25 0 22 0 909015794 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 46912506107429 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21433/tid=21454] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21454/stat : 21454 (java) S 21431 21433 18760 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 909015808 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
[pid=21433/tid=21455] ppid=21431 vsize=10548548 CPUtime=0 cores=0,2,4,6
/proc/21433/task/21455/stat : 21455 (java) S 21431 21433 18760 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 909015808 10801713152 1196984 33554432000 1073741824 1073778376 140734267161024 18446744073709551615 216746995200 0 4 0 16800975 18446604444761800960 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10548548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+978.527 s]
/proc/loadavg: 3.81 3.91 3.51 5/570 21611
/proc/meminfo: memFree=19149416/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/21433/stat : 21433 (java) Z 21431 21433 18760 0 -1 4203548 2544780 0 1 0 179687 338 0 0 17 0 2 0 909014676 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 0 0 0 0 0 0 0
[pid=21433/tid=21452] ppid=21431 vsize=0 CPUtime=789.04 cores=0,2,4,6
/proc/21433/task/21452/stat : 21452 (java) R 21431 21433 18760 0 -1 4203588 90 0 0 0 78897 7 0 0 25 0 2 0 909015794 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.25
Current children cumulated vsize (KiB) 0
[startup+978.601 s]
/proc/loadavg: 3.81 3.91 3.51 5/570 21611
/proc/meminfo: memFree=19149416/32951124 swapFree=56241860/67111528
[pid=21433] ppid=21431 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/21433/stat : 21433 (java) Z 21431 21433 18760 0 -1 4203548 2544780 0 1 0 179687 345 0 0 17 0 2 0 909014676 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21433/statm: 0 0 0 0 0 0 0
[pid=21433/tid=21452] ppid=21431 vsize=0 CPUtime=789.11 cores=0,2,4,6
/proc/21433/task/21452/stat : 21452 (java) R 21431 21433 18760 0 -1 4203588 90 0 0 0 78897 14 0 0 25 0 2 0 909015794 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.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 978.695
CPU time (s): 1800.43
CPU user time (s): 1796.87
CPU system time (s): 3.55146
CPU usage (%): 183.962
Max. virtual memory (cumulated for all children) (KiB): 10650848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.87
system time used= 3.55146
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2544780
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= 29472
involuntary context switches= 33438
runsolver used 5.81112 second user time and 12.2231 second system time
The end