runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4084942-1465312757/watcher-4084942-1465312757 -o /tmp/evaluation-result-4084942-1465312757/solver-4084942-1465312757 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23537 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084942-1465312757.opb
pid=23554
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.24 1.33 1.63 3/170 23557
/proc/meminfo: memFree=31026236/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/23557/stat : 23557 (java) R 23554 23557 27127 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 113211077 5767168 58 33554432000 1073741824 1073778376 140734103782480 140734103779608 249640873255 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2303 64 51 9 0 35 0
[startup+0.100059 s]
/proc/loadavg: 1.24 1.33 1.63 3/170 23557
/proc/meminfo: memFree=31026236/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/23557/stat : 23557 (java) S 23554 23557 27127 0 -1 4202496 4471 0 1 0 8 1 0 0 20 0 18 0 113211077 9787879424 5079 33554432000 1073741824 1073778376 140734103782480 140734103773616 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2389619 5080 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200215 s]
/proc/loadavg: 1.24 1.33 1.63 3/170 23557
/proc/meminfo: memFree=31026236/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/23557/stat : 23557 (java) S 23554 23557 27127 0 -1 4202496 5044 0 1 0 25 1 0 0 20 0 18 0 113211077 9787879424 6456 33554432000 1073741824 1073778376 140734103782480 140734103773616 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2389619 6456 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300223 s]
/proc/loadavg: 1.24 1.33 1.63 3/170 23557
/proc/meminfo: memFree=31026236/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/23557/stat : 23557 (java) S 23554 23557 27127 0 -1 4202496 5705 0 1 0 46 2 0 0 20 0 18 0 113211077 9787879424 8383 33554432000 1073741824 1073778376 140734103782480 140734103773616 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2389619 8383 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700245 s]
/proc/loadavg: 1.24 1.33 1.63 3/170 23557
/proc/meminfo: memFree=31026236/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=9558476 CPUtime=1.22 cores=0,2,4,6
/proc/23557/stat : 23557 (java) S 23554 23557 27127 0 -1 4202496 7233 0 1 0 117 5 0 0 20 0 18 0 113211077 9787879424 41398 33554432000 1073741824 1073778376 140734103782480 140734103773616 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2389619 41398 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9558476
[startup+1.50081 s]
/proc/loadavg: 1.38 1.36 1.64 6/213 23604
/proc/meminfo: memFree=30670748/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=9625040 CPUtime=2.62 cores=0,2,4,6
/proc/23557/stat : 23557 (java) S 23554 23557 27127 0 -1 4202496 10231 0 1 0 253 9 0 0 20 0 19 0 113211077 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 140734103773616 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2406260 46451 2276 9 0 2396937 0
[pid=23557/tid=23563] ppid=23554 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/23557/task/23563/stat : 23563 (java) R 23554 23557 27127 0 -1 4202560 2528 0 1 0 137 4 0 0 20 0 19 0 113211078 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834468895800 139834409292920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23569] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23569/stat : 23569 (java) S 23554 23557 27127 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834407627176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23570] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23570/stat : 23570 (java) S 23554 23557 27127 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834406574632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23571] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23571/stat : 23571 (java) S 23554 23557 27127 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834405521576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23557/tid=23572] ppid=23554 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23557/task/23572/stat : 23572 (java) S 23554 23557 27127 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 113211079 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834309687592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23573] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23573/stat : 23573 (java) S 23554 23557 27127 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834308635560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23574] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23574/stat : 23574 (java) S 23554 23557 27127 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834307583016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23575] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23575/stat : 23575 (java) S 23554 23557 27127 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 113211079 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834306529960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23576] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23576/stat : 23576 (java) S 23554 23557 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 113211079 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834305477416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23587] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23587/stat : 23587 (java) S 23554 23557 27127 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 113211080 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834293066088 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23588] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23588/stat : 23588 (java) S 23554 23557 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834292012408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23589] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23589/stat : 23589 (java) S 23554 23557 27127 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834290959240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23593] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23593/stat : 23593 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834289907984 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23594] ppid=23554 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/23557/task/23594/stat : 23594 (java) S 23554 23557 27127 0 -1 4202560 3651 0 0 0 56 0 0 0 20 0 19 0 113211084 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834288855864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23595] ppid=23554 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/23557/task/23595/stat : 23595 (java) S 23554 23557 27127 0 -1 4202560 2630 0 0 0 40 0 0 0 20 0 19 0 113211084 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834287803320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23596] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23596/stat : 23596 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834286750456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23597] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23597/stat : 23597 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834285698120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23603] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23603/stat : 23603 (java) S 23554 23557 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 113211161 9856040960 46451 33554432000 1073741824 1073778376 140734103782480 139834284643368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 9625040
[startup+3.1008 s]
/proc/loadavg: 1.38 1.36 1.64 3/213 23604
/proc/meminfo: memFree=30669376/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=9625040 CPUtime=4.26 cores=0,2,4,6
/proc/23557/stat : 23557 (java) S 23554 23557 27127 0 -1 4202496 10240 0 1 0 417 9 0 0 20 0 19 0 113211077 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 140734103773616 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2406260 46459 2276 9 0 2396937 0
[pid=23557/tid=23563] ppid=23554 vsize=9625040 CPUtime=3.01 cores=0,2,4,6
/proc/23557/task/23563/stat : 23563 (java) R 23554 23557 27127 0 -1 4202560 2529 0 1 0 297 4 0 0 20 0 19 0 113211078 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834468897256 139834409346624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23569] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23569/stat : 23569 (java) S 23554 23557 27127 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834407627176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23570] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23570/stat : 23570 (java) S 23554 23557 27127 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834406574632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23571] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23571/stat : 23571 (java) S 23554 23557 27127 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834405521576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23557/tid=23572] ppid=23554 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23557/task/23572/stat : 23572 (java) S 23554 23557 27127 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 113211079 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834309687592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23573] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23573/stat : 23573 (java) S 23554 23557 27127 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834308635560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23574] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23574/stat : 23574 (java) S 23554 23557 27127 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834307583016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23575] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23575/stat : 23575 (java) S 23554 23557 27127 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 113211079 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834306529960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23576] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23576/stat : 23576 (java) S 23554 23557 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 113211079 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834305477416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23587] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23587/stat : 23587 (java) S 23554 23557 27127 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 113211080 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834293066088 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23588] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23588/stat : 23588 (java) S 23554 23557 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834292012408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23589] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23589/stat : 23589 (java) S 23554 23557 27127 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834290959240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23593] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23593/stat : 23593 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834289907984 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23594] ppid=23554 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/23557/task/23594/stat : 23594 (java) S 23554 23557 27127 0 -1 4202560 3658 0 0 0 60 0 0 0 20 0 19 0 113211084 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834288855864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23595] ppid=23554 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/23557/task/23595/stat : 23595 (java) S 23554 23557 27127 0 -1 4202560 2630 0 0 0 40 0 0 0 20 0 19 0 113211084 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834287803320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23596] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23596/stat : 23596 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834286750456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23597] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23597/stat : 23597 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834285698120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23603] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23603/stat : 23603 (java) S 23554 23557 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 113211161 9856040960 46459 33554432000 1073741824 1073778376 140734103782480 139834284643368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 9625040
[startup+6.30078 s]
/proc/loadavg: 1.38 1.36 1.64 3/213 23604
/proc/meminfo: memFree=30671244/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=9625756 CPUtime=7.6 cores=0,2,4,6
/proc/23557/stat : 23557 (java) S 23554 23557 27127 0 -1 4202496 11195 0 1 0 751 9 0 0 20 0 19 0 113211077 9856774144 46666 33554432000 1073741824 1073778376 140734103782480 140734103773616 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2406260 46487 2284 9 0 2396937 0
[pid=23557/tid=23563] ppid=23554 vsize=9625040 CPUtime=6.21 cores=0,2,4,6
/proc/23557/task/23563/stat : 23563 (java) R 23554 23557 27127 0 -1 4202560 2532 0 1 0 617 4 0 0 20 0 19 0 113211078 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834468897032 139834409468025 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23569] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23569/stat : 23569 (java) S 23554 23557 27127 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834407627176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23570] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23570/stat : 23570 (java) S 23554 23557 27127 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834406574632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23571] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23571/stat : 23571 (java) S 23554 23557 27127 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834405521576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23557/tid=23572] ppid=23554 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23557/task/23572/stat : 23572 (java) S 23554 23557 27127 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 113211079 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834309687592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23573] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23573/stat : 23573 (java) S 23554 23557 27127 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834308635560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23574] ppid=23554 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23557/task/23574/stat : 23574 (java) S 23554 23557 27127 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 113211079 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834307583016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23575] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23575/stat : 23575 (java) S 23554 23557 27127 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 113211079 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834306529960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23576] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23576/stat : 23576 (java) S 23554 23557 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 113211079 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834305477416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23587] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23587/stat : 23587 (java) S 23554 23557 27127 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 113211080 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834293066088 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23588] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23588/stat : 23588 (java) S 23554 23557 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834292012408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23589] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23589/stat : 23589 (java) S 23554 23557 27127 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 46487 33554432000 1073741824 1073778376 140734103782480 139834290959240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23593] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23593/stat : 23593 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 46494 33554432000 1073741824 1073778376 140734103782480 139834289907984 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23594] ppid=23554 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/23557/task/23594/stat : 23594 (java) S 23554 23557 27127 0 -1 4202560 4431 0 0 0 72 0 0 0 20 0 19 0 113211084 9856040960 46505 33554432000 1073741824 1073778376 140734103782480 139834288855864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23595] ppid=23554 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/23557/task/23595/stat : 23595 (java) R 23554 23557 27127 0 -1 4202560 2827 0 0 0 43 0 0 0 20 0 19 0 113211084 9856040960 46505 33554432000 1073741824 1073778376 140734103782480 139834287797016 249649705647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23596] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23596/stat : 23596 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 46505 33554432000 1073741824 1073778376 140734103782480 139834286750456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23597] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23597/stat : 23597 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 46505 33554432000 1073741824 1073778376 140734103782480 139834285698120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23603] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23603/stat : 23603 (java) S 23554 23557 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 113211161 9856040960 46505 33554432000 1073741824 1073778376 140734103782480 139834284643368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 9625756
################
# More data... #
################
[pid=23557/tid=23588] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23588/stat : 23588 (java) S 23554 23557 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 437607 33554432000 1073741824 1073778376 140734103782480 139834292012408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23589] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23589/stat : 23589 (java) S 23554 23557 27127 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 437607 33554432000 1073741824 1073778376 140734103782480 139834290959240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23593] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23593/stat : 23593 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 437607 33554432000 1073741824 1073778376 140734103782480 139834289907984 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23594] ppid=23554 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/23557/task/23594/stat : 23594 (java) S 23554 23557 27127 0 -1 4202560 4431 0 0 0 73 0 0 0 20 0 19 0 113211084 9856040960 437607 33554432000 1073741824 1073778376 140734103782480 139834288855864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23595] ppid=23554 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/23557/task/23595/stat : 23595 (java) S 23554 23557 27127 0 -1 4202560 5029 0 0 0 63 1 0 0 20 0 19 0 113211084 9856040960 437607 33554432000 1073741824 1073778376 140734103782480 139834287803320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23596] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23596/stat : 23596 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 437607 33554432000 1073741824 1073778376 140734103782480 139834286750456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23597] ppid=23554 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/23557/task/23597/stat : 23597 (java) S 23554 23557 27127 0 -1 4202560 95 0 0 0 25 28 0 0 20 0 19 0 113211084 9856040960 437607 33554432000 1073741824 1073778376 140734103782480 139834285698120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23603] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23603/stat : 23603 (java) S 23554 23557 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 113211161 9856040960 437607 33554432000 1073741824 1073778376 140734103782480 139834284643368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.66
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.16 2.08 1.95 3/213 23648
/proc/meminfo: memFree=25098100/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=9625040 CPUtime=1725.88 cores=0,2,4,6
/proc/23557/stat : 23557 (java) S 23554 23557 27127 0 -1 4202496 40991 0 1 0 172440 148 0 0 20 0 19 0 113211077 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 140734103773616 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2406260 438128 2293 9 0 2396937 0
[pid=23557/tid=23563] ppid=23554 vsize=9625040 CPUtime=1721.24 cores=0,2,4,6
/proc/23557/task/23563/stat : 23563 (java) R 23554 23557 27127 0 -1 4202560 3375 0 1 0 172079 45 0 0 20 0 19 0 113211078 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834468888256 139834409485743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23569] ppid=23554 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/23557/task/23569/stat : 23569 (java) S 23554 23557 27127 0 -1 4202560 1624 0 0 0 12 7 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834407627176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23570] ppid=23554 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/23557/task/23570/stat : 23570 (java) S 23554 23557 27127 0 -1 4202560 3734 0 0 0 18 11 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834406574632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23571] ppid=23554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/23557/task/23571/stat : 23571 (java) S 23554 23557 27127 0 -1 4202560 2592 0 0 0 19 13 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834405521576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23572] ppid=23554 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/23557/task/23572/stat : 23572 (java) S 23554 23557 27127 0 -1 4202560 3253 0 0 0 22 12 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834309687592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23573] ppid=23554 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/23557/task/23573/stat : 23573 (java) S 23554 23557 27127 0 -1 4202560 2830 0 0 0 15 12 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834308635560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23557/tid=23574] ppid=23554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/23557/task/23574/stat : 23574 (java) S 23554 23557 27127 0 -1 4202560 4104 0 0 0 18 14 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834307583016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23575] ppid=23554 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/23557/task/23575/stat : 23575 (java) S 23554 23557 27127 0 -1 4202560 2340 0 0 0 16 12 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834306529960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23557/tid=23576] ppid=23554 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/23557/task/23576/stat : 23576 (java) S 23554 23557 27127 0 -1 4202560 4396 0 0 0 15 10 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834305477416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23587] ppid=23554 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/23557/task/23587/stat : 23587 (java) S 23554 23557 27127 0 -1 4202560 1925 0 0 0 46 1 0 0 20 0 19 0 113211080 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834293066088 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23588] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23588/stat : 23588 (java) S 23554 23557 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834292012408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23589] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23589/stat : 23589 (java) S 23554 23557 27127 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834290959240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23593] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23593/stat : 23593 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834289907984 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23594] ppid=23554 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/23557/task/23594/stat : 23594 (java) S 23554 23557 27127 0 -1 4202560 4431 0 0 0 73 0 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834288855864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23595] ppid=23554 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/23557/task/23595/stat : 23595 (java) S 23554 23557 27127 0 -1 4202560 5029 0 0 0 63 1 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834287803320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23596] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23596/stat : 23596 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834286750456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23597] ppid=23554 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/23557/task/23597/stat : 23597 (java) S 23554 23557 27127 0 -1 4202560 99 0 0 0 26 29 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834285698120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23603] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23603/stat : 23603 (java) S 23554 23557 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 113211161 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834284643368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.88
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 1.95 3/213 23649
/proc/meminfo: memFree=25121184/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=9625040 CPUtime=1785.89 cores=0,2,4,6
/proc/23557/stat : 23557 (java) S 23554 23557 27127 0 -1 4202496 40995 0 1 0 178440 149 0 0 20 0 19 0 113211077 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 140734103773616 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2406260 438128 2293 9 0 2396937 0
[pid=23557/tid=23563] ppid=23554 vsize=9625040 CPUtime=1781.25 cores=0,2,4,6
/proc/23557/task/23563/stat : 23563 (java) R 23554 23557 27127 0 -1 4202560 3375 0 1 0 178079 46 0 0 20 0 19 0 113211078 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834468888256 139834409347052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23569] ppid=23554 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/23557/task/23569/stat : 23569 (java) S 23554 23557 27127 0 -1 4202560 1624 0 0 0 12 7 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834407627176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23570] ppid=23554 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/23557/task/23570/stat : 23570 (java) S 23554 23557 27127 0 -1 4202560 3734 0 0 0 18 11 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834406574632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23571] ppid=23554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/23557/task/23571/stat : 23571 (java) S 23554 23557 27127 0 -1 4202560 2592 0 0 0 19 13 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834405521576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23572] ppid=23554 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/23557/task/23572/stat : 23572 (java) S 23554 23557 27127 0 -1 4202560 3253 0 0 0 22 12 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834309687592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23573] ppid=23554 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/23557/task/23573/stat : 23573 (java) S 23554 23557 27127 0 -1 4202560 2830 0 0 0 15 12 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834308635560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23557/tid=23574] ppid=23554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/23557/task/23574/stat : 23574 (java) S 23554 23557 27127 0 -1 4202560 4104 0 0 0 18 14 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834307583016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23575] ppid=23554 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/23557/task/23575/stat : 23575 (java) S 23554 23557 27127 0 -1 4202560 2340 0 0 0 16 12 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834306529960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23557/tid=23576] ppid=23554 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/23557/task/23576/stat : 23576 (java) S 23554 23557 27127 0 -1 4202560 4396 0 0 0 15 10 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834305477416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23587] ppid=23554 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/23557/task/23587/stat : 23587 (java) S 23554 23557 27127 0 -1 4202560 1925 0 0 0 46 1 0 0 20 0 19 0 113211080 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834293066088 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23588] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23588/stat : 23588 (java) S 23554 23557 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834292012408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23589] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23589/stat : 23589 (java) S 23554 23557 27127 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834290959240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23593] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23593/stat : 23593 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834289907984 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23594] ppid=23554 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/23557/task/23594/stat : 23594 (java) S 23554 23557 27127 0 -1 4202560 4431 0 0 0 73 0 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834288855864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23595] ppid=23554 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/23557/task/23595/stat : 23595 (java) S 23554 23557 27127 0 -1 4202560 5029 0 0 0 63 1 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834287803320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23596] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23596/stat : 23596 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834286750456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23597] ppid=23554 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/23557/task/23597/stat : 23597 (java) S 23554 23557 27127 0 -1 4202560 103 0 0 0 27 30 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834285698120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23603] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23603/stat : 23603 (java) S 23554 23557 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 113211161 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834284643368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.89
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.41 s]
/proc/loadavg: 2.04 2.06 1.95 3/213 23715
/proc/meminfo: memFree=26885952/32872528 swapFree=10608/190480
[pid=23557] ppid=23554 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/23557/stat : 23557 (java) S 23554 23557 27127 0 -1 4202496 40995 0 1 0 179850 150 0 0 20 0 19 0 113211077 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 140734103773616 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23557/statm: 2406260 438128 2293 9 0 2396937 0
[pid=23557/tid=23563] ppid=23554 vsize=9625040 CPUtime=1795.36 cores=0,2,4,6
/proc/23557/task/23563/stat : 23563 (java) R 23554 23557 27127 0 -1 4202560 3375 0 1 0 179489 47 0 0 20 0 19 0 113211078 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834468888256 139834409330831 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23569] ppid=23554 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/23557/task/23569/stat : 23569 (java) S 23554 23557 27127 0 -1 4202560 1624 0 0 0 12 7 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834407627176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23570] ppid=23554 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/23557/task/23570/stat : 23570 (java) S 23554 23557 27127 0 -1 4202560 3734 0 0 0 18 11 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834406574632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23571] ppid=23554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/23557/task/23571/stat : 23571 (java) S 23554 23557 27127 0 -1 4202560 2592 0 0 0 19 13 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834405521576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23572] ppid=23554 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/23557/task/23572/stat : 23572 (java) S 23554 23557 27127 0 -1 4202560 3253 0 0 0 22 12 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834309687592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23573] ppid=23554 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/23557/task/23573/stat : 23573 (java) S 23554 23557 27127 0 -1 4202560 2830 0 0 0 15 12 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834308635560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23557/tid=23574] ppid=23554 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/23557/task/23574/stat : 23574 (java) S 23554 23557 27127 0 -1 4202560 4104 0 0 0 18 14 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834307583016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23575] ppid=23554 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/23557/task/23575/stat : 23575 (java) S 23554 23557 27127 0 -1 4202560 2340 0 0 0 16 12 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834306529960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23557/tid=23576] ppid=23554 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/23557/task/23576/stat : 23576 (java) S 23554 23557 27127 0 -1 4202560 4396 0 0 0 15 10 0 0 20 0 19 0 113211079 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834305477416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23557/tid=23587] ppid=23554 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/23557/task/23587/stat : 23587 (java) S 23554 23557 27127 0 -1 4202560 1925 0 0 0 46 1 0 0 20 0 19 0 113211080 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834293066088 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23588] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23588/stat : 23588 (java) S 23554 23557 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834292012408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23589] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23589/stat : 23589 (java) S 23554 23557 27127 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 113211081 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834290959240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23593] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23593/stat : 23593 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834289907984 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23594] ppid=23554 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/23557/task/23594/stat : 23594 (java) S 23554 23557 27127 0 -1 4202560 4431 0 0 0 73 0 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834288855864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23595] ppid=23554 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/23557/task/23595/stat : 23595 (java) S 23554 23557 27127 0 -1 4202560 5029 0 0 0 63 1 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834287803320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23596] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23596/stat : 23596 (java) S 23554 23557 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834286750456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23557/tid=23597] ppid=23554 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/23557/task/23597/stat : 23597 (java) S 23554 23557 27127 0 -1 4202560 103 0 0 0 27 31 0 0 20 0 19 0 113211084 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834285698120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23557/tid=23603] ppid=23554 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23603/stat : 23603 (java) S 23554 23557 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 113211161 9856040960 438128 33554432000 1073741824 1073778376 140734103782480 139834284643368 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23557 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.47
CPU time (s): 1800.37
CPU user time (s): 1798.52
CPU system time (s): 1.84972
CPU usage (%): 100.217
Max. virtual memory (cumulated for all children) (KiB): 9625756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.84972
maximum resident set size= 1777204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41030
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39181
involuntary context switches= 3286
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.78251 second user time and 13.9739 second system time
The end