runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737511-1338763877/watcher-3737511-1338763877 -o /tmp/evaluation-result-3737511-1338763877/solver-3737511-1338763877 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3737511-1338763877.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 589
/proc/meminfo: memFree=26068768/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/589/stat : 589 (java6) D 587 589 31294 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 342513125 278528 34 33554432000 1073741824 1073778376 140736091423152 140736091420328 227503336743 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/589/statm: 68 34 25 9 0 25 0
[startup+0.0371061 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 589
/proc/meminfo: memFree=26068768/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=2182588 CPUtime=0.01 cores=1,3,5,7
/proc/589/stat : 589 (java) S 587 589 31294 0 -1 4202496 3584 0 1 0 1 0 0 0 20 0 11 0 342513125 2234970112 4794 33554432000 1073741824 1073778376 140736775464816 140736775455952 227515859005 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/589/statm: 545647 4794 1645 9 0 536348 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2182588
[startup+0.100263 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 589
/proc/meminfo: memFree=26068768/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/589/stat : 589 (java) S 587 589 31294 0 -1 4202496 4686 0 1 0 8 1 0 0 20 0 18 0 342513125 2712133632 6404 33554432000 1073741824 1073778376 140736775464816 140736775455952 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/589/statm: 662142 6404 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300224 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 589
/proc/meminfo: memFree=26068768/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=2648568 CPUtime=0.43 cores=1,3,5,7
/proc/589/stat : 589 (java) S 587 589 31294 0 -1 4202496 6378 0 1 0 42 1 0 0 20 0 18 0 342513125 2712133632 8656 33554432000 1073741824 1073778376 140736775464816 140736775455952 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/589/statm: 662142 8656 2223 9 0 652835 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2648568
[startup+0.700194 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 589
/proc/meminfo: memFree=26068768/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=2715132 CPUtime=1.21 cores=1,3,5,7
/proc/589/stat : 589 (java) S 587 589 31294 0 -1 4202496 9044 0 1 0 118 3 0 0 20 0 19 0 342513125 2780295168 24906 33554432000 1073741824 1073778376 140736775464816 140736775455952 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/589/statm: 678783 24906 2242 9 0 669476 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 2715132
[startup+1.50071 s]
/proc/loadavg: 2.01 2.03 2.00 3/211 608
/proc/meminfo: memFree=25901924/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=2715132 CPUtime=2.07 cores=1,3,5,7
/proc/589/stat : 589 (java) S 587 589 31294 0 -1 4202496 9142 0 1 0 201 6 0 0 20 0 19 0 342513125 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 140736775455952 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/589/statm: 678783 70993 2248 9 0 669476 0
[pid=589/tid=591] ppid=587 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/589/task/591/stat : 591 (java) R 587 589 31294 0 -1 4202560 2871 0 1 0 141 5 0 0 20 0 19 0 342513126 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695812547096 139695640563831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=589/tid=592] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/592/stat : 592 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695796996520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=593] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/593/stat : 593 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695795943976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=594] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/594/stat : 594 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695794890920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=595] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/595/stat : 595 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695793838376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=596] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/596/stat : 596 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695792786344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=597] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/597/stat : 597 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695791733800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=598] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/598/stat : 598 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695790680744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=599] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/599/stat : 599 (java) S 587 589 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695789628200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=600] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/600/stat : 600 (java) S 587 589 31294 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342513128 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695777216872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=601] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/601/stat : 601 (java) S 587 589 31294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342513129 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695776163192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=602] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/602/stat : 602 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513129 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695775110024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=603] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/603/stat : 603 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695774058768 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=604] ppid=587 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/589/task/604/stat : 604 (java) S 587 589 31294 0 -1 4202560 2083 0 0 0 23 0 0 0 20 0 19 0 342513131 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695773006648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=605] ppid=587 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/589/task/605/stat : 605 (java) S 587 589 31294 0 -1 4202560 2993 0 0 0 34 0 0 0 20 0 19 0 342513131 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695771954104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=606] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/606/stat : 606 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695770901240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=607] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/607/stat : 607 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695769848904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=608] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/608/stat : 608 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513163 2780295168 70993 33554432000 1073741824 1073778376 140736775464816 139695768794152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 2715132
[startup+3.10069 s]
/proc/loadavg: 2.01 2.03 2.00 3/211 608
/proc/meminfo: memFree=25702152/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=2715132 CPUtime=3.71 cores=1,3,5,7
/proc/589/stat : 589 (java) S 587 589 31294 0 -1 4202496 9241 0 1 0 363 8 0 0 20 0 19 0 342513125 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 140736775455952 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/589/statm: 678783 96615 2262 9 0 669476 0
[pid=589/tid=591] ppid=587 vsize=2715132 CPUtime=3.05 cores=1,3,5,7
/proc/589/task/591/stat : 591 (java) R 587 589 31294 0 -1 4202560 2917 0 1 0 299 6 0 0 20 0 19 0 342513126 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695812546056 139695640532981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=589/tid=592] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/592/stat : 592 (java) S 587 589 31294 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695796996520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=593] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/593/stat : 593 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695795943976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=594] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/594/stat : 594 (java) S 587 589 31294 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695794890920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=595] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/595/stat : 595 (java) S 587 589 31294 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695793838376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=596] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/596/stat : 596 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695792786344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=597] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/597/stat : 597 (java) S 587 589 31294 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695791733800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=598] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/598/stat : 598 (java) S 587 589 31294 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695790680744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=599] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/599/stat : 599 (java) S 587 589 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695789628200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=600] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/600/stat : 600 (java) S 587 589 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342513128 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695777216872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=601] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/601/stat : 601 (java) S 587 589 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342513129 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695776163192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=602] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/602/stat : 602 (java) S 587 589 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342513129 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695775110024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=603] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/603/stat : 603 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695774058768 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=604] ppid=587 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/589/task/604/stat : 604 (java) S 587 589 31294 0 -1 4202560 2083 0 0 0 23 0 0 0 20 0 19 0 342513131 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695773006648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=605] ppid=587 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/589/task/605/stat : 605 (java) S 587 589 31294 0 -1 4202560 2993 0 0 0 34 0 0 0 20 0 19 0 342513131 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695771954104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=606] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/606/stat : 606 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695770901240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=607] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/607/stat : 607 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695769848904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=608] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/608/stat : 608 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513163 2780295168 96615 33554432000 1073741824 1073778376 140736775464816 139695768794152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 2715132
[startup+6.30068 s]
/proc/loadavg: 2.01 2.03 2.00 3/211 608
/proc/meminfo: memFree=25681584/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=2715132 CPUtime=6.94 cores=1,3,5,7
/proc/589/stat : 589 (java) S 587 589 31294 0 -1 4202496 9260 0 1 0 685 9 0 0 20 0 19 0 342513125 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 140736775455952 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/589/statm: 678783 98657 2263 9 0 669476 0
[pid=589/tid=591] ppid=587 vsize=2715132 CPUtime=6.23 cores=1,3,5,7
/proc/589/task/591/stat : 591 (java) R 587 589 31294 0 -1 4202560 2919 0 1 0 617 6 0 0 20 0 19 0 342513126 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695812547032 139695640532981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=589/tid=592] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/592/stat : 592 (java) S 587 589 31294 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695796996520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=593] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/593/stat : 593 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695795943976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=594] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/594/stat : 594 (java) S 587 589 31294 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695794890920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=595] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/595/stat : 595 (java) S 587 589 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695793838376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=596] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/596/stat : 596 (java) S 587 589 31294 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695792786344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=597] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/597/stat : 597 (java) S 587 589 31294 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695791733800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=598] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/598/stat : 598 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695790680744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=599] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/599/stat : 599 (java) S 587 589 31294 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 342513127 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695789628200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=600] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/600/stat : 600 (java) S 587 589 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342513128 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695777216872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=601] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/601/stat : 601 (java) S 587 589 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342513129 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695776163192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=602] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/602/stat : 602 (java) S 587 589 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342513129 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695775110024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=603] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/603/stat : 603 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695774058768 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=604] ppid=587 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/589/task/604/stat : 604 (java) S 587 589 31294 0 -1 4202560 2083 0 0 0 23 0 0 0 20 0 19 0 342513131 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695773006648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=605] ppid=587 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/589/task/605/stat : 605 (java) S 587 589 31294 0 -1 4202560 2994 0 0 0 35 0 0 0 20 0 19 0 342513131 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695771954104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=606] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/606/stat : 606 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695770901240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=607] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/607/stat : 607 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695769848904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=608] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/608/stat : 608 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513163 2780295168 98657 33554432000 1073741824 1073778376 140736775464816 139695768794152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=589/tid=604] ppid=587 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/589/task/604/stat : 604 (java) S 587 589 31294 0 -1 4202560 2083 0 0 0 23 0 0 0 20 0 19 0 342513131 2780295168 244578 33554432000 1073741824 1073778376 140736775464816 139695773006648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=605] ppid=587 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/589/task/605/stat : 605 (java) S 587 589 31294 0 -1 4202560 2995 0 0 0 36 0 0 0 20 0 19 0 342513131 2780295168 244578 33554432000 1073741824 1073778376 140736775464816 139695771954104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=606] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/606/stat : 606 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 244578 33554432000 1073741824 1073778376 140736775464816 139695770901240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=607] ppid=587 vsize=2715132 CPUtime=0.63 cores=1,3,5,7
/proc/589/task/607/stat : 607 (java) S 587 589 31294 0 -1 4202560 98 0 0 0 30 33 0 0 20 0 19 0 342513131 2780295168 244578 33554432000 1073741824 1073778376 140736775464816 139695769848904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=608] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/608/stat : 608 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513163 2780295168 244578 33554432000 1073741824 1073778376 140736775464816 139695768794152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1730.54
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 935
/proc/meminfo: memFree=24490996/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=2715132 CPUtime=1790.8 cores=1,3,5,7
/proc/589/stat : 589 (java) S 587 589 31294 0 -1 4202496 10873 0 1 0 179000 80 0 0 20 0 19 0 342513125 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 140736775455952 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/589/statm: 678783 249698 2263 9 0 669476 0
[pid=589/tid=591] ppid=587 vsize=2715132 CPUtime=1774.65 cores=1,3,5,7
/proc/589/task/591/stat : 591 (java) R 587 589 31294 0 -1 4202560 3024 0 1 0 177432 33 0 0 20 0 19 0 342513126 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695812545872 139695640615889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=589/tid=592] ppid=587 vsize=2715132 CPUtime=1.23 cores=1,3,5,7
/proc/589/task/592/stat : 592 (java) S 587 589 31294 0 -1 4202560 188 0 0 0 118 5 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695796996520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=593] ppid=587 vsize=2715132 CPUtime=1.34 cores=1,3,5,7
/proc/589/task/593/stat : 593 (java) S 587 589 31294 0 -1 4202560 176 0 0 0 129 5 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695795943976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=594] ppid=587 vsize=2715132 CPUtime=1.24 cores=1,3,5,7
/proc/589/task/594/stat : 594 (java) S 587 589 31294 0 -1 4202560 167 0 0 0 119 5 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695794890920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=595] ppid=587 vsize=2715132 CPUtime=1.32 cores=1,3,5,7
/proc/589/task/595/stat : 595 (java) S 587 589 31294 0 -1 4202560 149 0 0 0 128 4 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695793838376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=596] ppid=587 vsize=2715132 CPUtime=1.31 cores=1,3,5,7
/proc/589/task/596/stat : 596 (java) S 587 589 31294 0 -1 4202560 159 0 0 0 126 5 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695792786344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=597] ppid=587 vsize=2715132 CPUtime=1.31 cores=1,3,5,7
/proc/589/task/597/stat : 597 (java) S 587 589 31294 0 -1 4202560 180 0 0 0 125 6 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695791733800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=598] ppid=587 vsize=2715132 CPUtime=1.4 cores=1,3,5,7
/proc/589/task/598/stat : 598 (java) S 587 589 31294 0 -1 4202560 186 0 0 0 134 6 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695790680744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=599] ppid=587 vsize=2715132 CPUtime=1.23 cores=1,3,5,7
/proc/589/task/599/stat : 599 (java) S 587 589 31294 0 -1 4202560 174 0 0 0 118 5 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695789628200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=600] ppid=587 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/589/task/600/stat : 600 (java) S 587 589 31294 0 -1 4202560 108 0 0 0 1 3 0 0 20 0 19 0 342513128 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695777216872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=601] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/601/stat : 601 (java) S 587 589 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342513129 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695776163192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=602] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/602/stat : 602 (java) S 587 589 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342513129 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695775110024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=603] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/603/stat : 603 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695774058768 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=604] ppid=587 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/589/task/604/stat : 604 (java) S 587 589 31294 0 -1 4202560 2083 0 0 0 23 0 0 0 20 0 19 0 342513131 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695773006648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=605] ppid=587 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/589/task/605/stat : 605 (java) S 587 589 31294 0 -1 4202560 2995 0 0 0 36 0 0 0 20 0 19 0 342513131 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695771954104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=606] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/606/stat : 606 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695770901240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=607] ppid=587 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/589/task/607/stat : 607 (java) S 587 589 31294 0 -1 4202560 102 0 0 0 30 35 0 0 20 0 19 0 342513131 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695769848904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=608] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/608/stat : 608 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513163 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695768794152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1790.8
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 935
/proc/meminfo: memFree=24491004/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=2715132 CPUtime=1800.01 cores=1,3,5,7
/proc/589/stat : 589 (java) S 587 589 31294 0 -1 4202496 10873 0 1 0 179921 80 0 0 20 0 19 0 342513125 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 140736775455952 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/589/statm: 678783 249698 2263 9 0 669476 0
[pid=589/tid=591] ppid=587 vsize=2715132 CPUtime=1783.84 cores=1,3,5,7
/proc/589/task/591/stat : 591 (java) R 587 589 31294 0 -1 4202560 3024 0 1 0 178350 34 0 0 20 0 19 0 342513126 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695812545872 139695640532981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=589/tid=592] ppid=587 vsize=2715132 CPUtime=1.23 cores=1,3,5,7
/proc/589/task/592/stat : 592 (java) S 587 589 31294 0 -1 4202560 188 0 0 0 118 5 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695796996520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=593] ppid=587 vsize=2715132 CPUtime=1.34 cores=1,3,5,7
/proc/589/task/593/stat : 593 (java) S 587 589 31294 0 -1 4202560 176 0 0 0 129 5 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695795943976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=594] ppid=587 vsize=2715132 CPUtime=1.24 cores=1,3,5,7
/proc/589/task/594/stat : 594 (java) S 587 589 31294 0 -1 4202560 167 0 0 0 119 5 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695794890920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=595] ppid=587 vsize=2715132 CPUtime=1.32 cores=1,3,5,7
/proc/589/task/595/stat : 595 (java) S 587 589 31294 0 -1 4202560 149 0 0 0 128 4 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695793838376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=596] ppid=587 vsize=2715132 CPUtime=1.31 cores=1,3,5,7
/proc/589/task/596/stat : 596 (java) S 587 589 31294 0 -1 4202560 159 0 0 0 126 5 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695792786344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=597] ppid=587 vsize=2715132 CPUtime=1.31 cores=1,3,5,7
/proc/589/task/597/stat : 597 (java) S 587 589 31294 0 -1 4202560 180 0 0 0 125 6 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695791733800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=598] ppid=587 vsize=2715132 CPUtime=1.4 cores=1,3,5,7
/proc/589/task/598/stat : 598 (java) S 587 589 31294 0 -1 4202560 186 0 0 0 134 6 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695790680744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=599] ppid=587 vsize=2715132 CPUtime=1.23 cores=1,3,5,7
/proc/589/task/599/stat : 599 (java) S 587 589 31294 0 -1 4202560 174 0 0 0 118 5 0 0 20 0 19 0 342513127 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695789628200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=600] ppid=587 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/589/task/600/stat : 600 (java) S 587 589 31294 0 -1 4202560 108 0 0 0 1 3 0 0 20 0 19 0 342513128 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695777216872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=601] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/601/stat : 601 (java) S 587 589 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342513129 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695776163192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=602] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/602/stat : 602 (java) S 587 589 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342513129 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695775110024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=603] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/603/stat : 603 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695774058768 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=604] ppid=587 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/589/task/604/stat : 604 (java) S 587 589 31294 0 -1 4202560 2083 0 0 0 23 0 0 0 20 0 19 0 342513131 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695773006648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=605] ppid=587 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/589/task/605/stat : 605 (java) S 587 589 31294 0 -1 4202560 2995 0 0 0 36 0 0 0 20 0 19 0 342513131 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695771954104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=606] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/606/stat : 606 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342513131 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695770901240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=607] ppid=587 vsize=2715132 CPUtime=0.66 cores=1,3,5,7
/proc/589/task/607/stat : 607 (java) S 587 589 31294 0 -1 4202560 102 0 0 0 31 35 0 0 20 0 19 0 342513131 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695769848904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=608] ppid=587 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/589/task/608/stat : 608 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342513163 2780295168 249698 33554432000 1073741824 1073778376 140736775464816 139695768794152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 935
/proc/meminfo: memFree=24491004/32873624 swapFree=7112/7112
[pid=589] ppid=587 vsize=2848260 CPUtime=1800.25 cores=1,3,5,7
/proc/589/stat : 589 (java) S 587 589 31294 0 -1 4202496 10909 0 1 0 179945 80 0 0 20 0 21 0 342513125 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 140736775455952 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/589/statm: 712065 249733 2266 9 0 702758 0
[pid=589/tid=591] ppid=587 vsize=2848260 CPUtime=1783.94 cores=1,3,5,7
/proc/589/task/591/stat : 591 (java) R 587 589 31294 0 -1 4202560 3024 0 1 0 178360 34 0 0 20 0 21 0 342513126 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695812545872 139695640532981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=589/tid=592] ppid=587 vsize=2848260 CPUtime=1.23 cores=1,3,5,7
/proc/589/task/592/stat : 592 (java) S 587 589 31294 0 -1 4202560 188 0 0 0 118 5 0 0 20 0 21 0 342513127 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695796996520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=593] ppid=587 vsize=2848260 CPUtime=1.34 cores=1,3,5,7
/proc/589/task/593/stat : 593 (java) S 587 589 31294 0 -1 4202560 176 0 0 0 129 5 0 0 20 0 21 0 342513127 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695795943976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=594] ppid=587 vsize=2848260 CPUtime=1.24 cores=1,3,5,7
/proc/589/task/594/stat : 594 (java) S 587 589 31294 0 -1 4202560 167 0 0 0 119 5 0 0 20 0 21 0 342513127 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695794890920 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=595] ppid=587 vsize=2848260 CPUtime=1.32 cores=1,3,5,7
/proc/589/task/595/stat : 595 (java) S 587 589 31294 0 -1 4202560 149 0 0 0 128 4 0 0 20 0 21 0 342513127 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695793838376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=596] ppid=587 vsize=2848260 CPUtime=1.31 cores=1,3,5,7
/proc/589/task/596/stat : 596 (java) S 587 589 31294 0 -1 4202560 159 0 0 0 126 5 0 0 20 0 21 0 342513127 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695792786344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=597] ppid=587 vsize=2848260 CPUtime=1.31 cores=1,3,5,7
/proc/589/task/597/stat : 597 (java) S 587 589 31294 0 -1 4202560 180 0 0 0 125 6 0 0 20 0 21 0 342513127 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695791733800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=598] ppid=587 vsize=2848260 CPUtime=1.4 cores=1,3,5,7
/proc/589/task/598/stat : 598 (java) S 587 589 31294 0 -1 4202560 186 0 0 0 134 6 0 0 20 0 21 0 342513127 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695790680744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=589/tid=599] ppid=587 vsize=2848260 CPUtime=1.23 cores=1,3,5,7
/proc/589/task/599/stat : 599 (java) S 587 589 31294 0 -1 4202560 174 0 0 0 118 5 0 0 20 0 21 0 342513127 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695789628200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=589/tid=600] ppid=587 vsize=2848260 CPUtime=0.04 cores=1,3,5,7
/proc/589/task/600/stat : 600 (java) S 587 589 31294 0 -1 4202560 108 0 0 0 1 3 0 0 20 0 21 0 342513128 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695777216872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=601] ppid=587 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/589/task/601/stat : 601 (java) S 587 589 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 342513129 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695776163192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=602] ppid=587 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/589/task/602/stat : 602 (java) S 587 589 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 342513129 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695775110024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=603] ppid=587 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/589/task/603/stat : 603 (java) S 587 589 31294 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 342513131 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695774058768 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=604] ppid=587 vsize=2848260 CPUtime=0.26 cores=1,3,5,7
/proc/589/task/604/stat : 604 (java) S 587 589 31294 0 -1 4202560 2087 0 0 0 26 0 0 0 20 0 21 0 342513131 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695773006648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=605] ppid=587 vsize=2848260 CPUtime=0.37 cores=1,3,5,7
/proc/589/task/605/stat : 605 (java) S 587 589 31294 0 -1 4202560 2996 0 0 0 37 0 0 0 20 0 21 0 342513131 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695771954104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=606] ppid=587 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/589/task/606/stat : 606 (java) S 587 589 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 342513131 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695770901240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=589/tid=607] ppid=587 vsize=2848260 CPUtime=0.66 cores=1,3,5,7
/proc/589/task/607/stat : 607 (java) S 587 589 31294 0 -1 4202560 102 0 0 0 31 35 0 0 20 0 21 0 342513131 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695769848904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=589/tid=608] ppid=587 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/589/task/608/stat : 608 (java) S 587 589 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 342513163 2916618240 249733 33554432000 1073741824 1073778376 140736775464816 139695768794152 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 2848260
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 589 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=819146
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=271806
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.66
CPU time (s): 1800.25
CPU user time (s): 1799.45
CPU system time (s): 0.8
CPU usage (%): 100.479
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.82
system time used= 1.27181
maximum resident set size= 998936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10912
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40826
involuntary context switches= 28579
runsolver used 6.53201 second user time and 14.4008 second system time
The end