runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4456 MiB free)
memory of node 1: 16384 MiB (9809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294010-1532416021/watcher-4294010-1532416021 -o /tmp/evaluation-result-4294010-1532416021/solver-4294010-1532416021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532413601-12741 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=396381828 -superng HOME/instance-4294010-1532416021.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13448, runsolver pid=13445
[startup+0.100059 s]*
/proc/loadavg: 1.38 1.54 1.98 3/209 13505
/proc/meminfo: memFree=14602360/32770624 swapFree=67108860/67108860
[pid=13448] ppid=13445 vsize=9972712 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/13448/stat : 13448 (java) S 13445 13448 12709 0 -1 1077944320 4303 13027 0 0 1 0 5 2 20 0 6 0 59165319 10212057088 4648 33554432000 4194304 4196468 140734959738736 140734959721280 140542192434935 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
/proc/13448/statm: 2493178 4648 1932 1 0 2481616 0
[pid=13448/tid=13501] ppid=13445 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/13448/task/13501/stat : 13501 (java) R 13445 13448 12709 0 -1 4202560 2113 13027 0 0 1 0 5 2 20 0 6 0 59165328 10212057088 4648 33554432000 4194304 4196468 140734959738736 140542164271696 140542192456861 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13502] ppid=13445 vsize=9972712 memory=5793854933580601785 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13502/stat : 13502 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 6 0 59165329 10212057088 4648 33554432000 4194304 4196468 140734959738736 140542196677776 140542192445141 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13503] ppid=13445 vsize=9972712 memory=139682570708608 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13503/stat : 13503 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 6 0 59165329 10212057088 4648 33554432000 4194304 4196468 140734959738736 140542084951056 140542192445141 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13504] ppid=13445 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13504/stat : 13504 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 6 0 59165329 10212057088 4648 33554432000 4194304 4196468 140734959738736 140542083898256 140542192445141 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13505] ppid=13445 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13505/stat : 13505 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 6 0 59165329 10212057088 4648 33554432000 4194304 4196468 140734959738736 140542082845456 140542192445141 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.210112 s]*
/proc/loadavg: 1.43 1.55 1.98 3/218 13514
/proc/meminfo: memFree=14578360/32770624 swapFree=67108860/67108860
[pid=13448] ppid=13445 vsize=10818936 memory=47292 CPUtime=0.26 cores=1,3,5,7
/proc/13448/stat : 13448 (java) S 13445 13448 12709 0 -1 1077944320 9168 13027 0 0 17 2 5 2 20 0 15 0 59165319 11078590464 11757 33554432000 4194304 4196468 140734959738736 140734959721280 140542192434935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
/proc/13448/statm: 2704734 11823 2972 1 0 2667157 0
[pid=13448/tid=13501] ppid=13445 vsize=10818936 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/13448/task/13501/stat : 13501 (java) R 13445 13448 12709 0 -1 4202560 5851 13027 0 0 10 1 5 2 20 0 15 0 59165328 11078590464 11876 33554432000 4194304 4196468 140734959738736 140542164259744 140542185114653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13502] ppid=13445 vsize=10818936 memory=4211973408775499146 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13502/stat : 13502 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165329 11078590464 11876 33554432000 4194304 4196468 140734959738736 140542196677776 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13503] ppid=13445 vsize=10818936 memory=139682570708608 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13503/stat : 13503 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165329 11078590464 11876 33554432000 4194304 4196468 140734959738736 140542084951056 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13504] ppid=13445 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13504/stat : 13504 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165329 11078590464 11876 33554432000 4194304 4196468 140734959738736 140542083898256 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13505] ppid=13445 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13505/stat : 13505 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165329 11078590464 11876 33554432000 4194304 4196468 140734959738736 140542082845456 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13506] ppid=13445 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13506/stat : 13506 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165330 11078590464 11876 33554432000 4194304 4196468 140734959738736 140541650999664 140542192446082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13507] ppid=13445 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13507/stat : 13507 (java) S 13445 13448 12709 0 -1 1077944384 33 13027 0 0 0 0 5 2 20 0 15 0 59165331 11078590464 11876 33554432000 4194304 4196468 140734959738736 140541649945632 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13508] ppid=13445 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13508/stat : 13508 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165331 11078590464 11876 33554432000 4194304 4196468 140734959738736 140541530465136 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13509] ppid=13445 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13509/stat : 13509 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165333 11078590464 11876 33554432000 4194304 4196468 140734959738736 140540926486352 140542192453531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13510] ppid=13445 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13448/task/13510/stat : 13510 (java) S 13445 13448 12709 0 -1 1077944384 491 13027 0 0 1 0 5 2 20 0 15 0 59165334 11078557696 11876 33554432000 4194304 4196468 140734959738736 140541616388976 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13511] ppid=13445 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13448/task/13511/stat : 13511 (java) S 13445 13448 12709 0 -1 1077944384 89 13027 0 0 1 0 5 2 20 0 15 0 59165334 11078557696 11876 33554432000 4194304 4196468 140734959738736 140541615336176 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13512] ppid=13445 vsize=10818904 memory=139682570708608 CPUtime=0.1 cores=1,3,5,7
/proc/13448/task/13512/stat : 13512 (java) S 13445 13448 12709 0 -1 1077944384 575 13027 0 0 3 0 5 2 20 0 15 0 59165334 11078557696 11876 33554432000 4194304 4196468 140734959738736 140541614283376 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13513] ppid=13445 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13513/stat : 13513 (java) S 13445 13448 12709 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 59165334 11078557696 11876 33554432000 4194304 4196468 140734959738736 140540456725216 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13514] ppid=13445 vsize=10818904 memory=139682570708608 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13514/stat : 13514 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165334 11078557696 11876 33554432000 4194304 4196468 140734959738736 140541613230768 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 47292 KiB
[startup+0.310454 s]*
/proc/loadavg: 1.43 1.55 1.98 3/218 13514
/proc/meminfo: memFree=14564976/32770624 swapFree=67108860/67108860
[pid=13448] ppid=13445 vsize=10819352 memory=55380 CPUtime=0.39 cores=1,3,5,7
/proc/13448/stat : 13448 (java) S 13445 13448 12709 0 -1 1077944320 10460 13027 0 0 29 3 5 2 20 0 15 0 59165319 11079016448 13845 33554432000 4194304 4196468 140734959738736 140734959721280 140542192434935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
/proc/13448/statm: 2704838 13845 3091 1 0 2667149 0
[pid=13448/tid=13501] ppid=13445 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/13448/task/13501/stat : 13501 (java) R 13445 13448 12709 0 -1 4202560 7051 13027 0 0 19 2 5 2 20 0 15 0 59165328 11079016448 13845 33554432000 4194304 4196468 140734959738736 140542164246944 140542175621744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13502] ppid=13445 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13502/stat : 13502 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165329 11079016448 13845 33554432000 4194304 4196468 140734959738736 140542196677776 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13503] ppid=13445 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13503/stat : 13503 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165329 11079016448 13845 33554432000 4194304 4196468 140734959738736 140542084951056 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13504] ppid=13445 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13504/stat : 13504 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165329 11079016448 13845 33554432000 4194304 4196468 140734959738736 140542083898256 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13505] ppid=13445 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13505/stat : 13505 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165329 11079016448 13845 33554432000 4194304 4196468 140734959738736 140542082845456 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13506] ppid=13445 vsize=10819352 memory=139682570708607 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13506/stat : 13506 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165330 11079016448 13845 33554432000 4194304 4196468 140734959738736 140541650999664 140542192446082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13507] ppid=13445 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13507/stat : 13507 (java) S 13445 13448 12709 0 -1 1077944384 33 13027 0 0 0 0 5 2 20 0 15 0 59165331 11079016448 13845 33554432000 4194304 4196468 140734959738736 140541649945632 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13508] ppid=13445 vsize=10819352 memory=139682570708608 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13508/stat : 13508 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165331 11079016448 13845 33554432000 4194304 4196468 140734959738736 140541530465136 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13509] ppid=13445 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13509/stat : 13509 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165333 11079016448 13845 33554432000 4194304 4196468 140734959738736 140540926486352 140542192453531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13510] ppid=13445 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13448/task/13510/stat : 13510 (java) S 13445 13448 12709 0 -1 1077944384 491 13027 0 0 2 0 5 2 20 0 15 0 59165334 11079016448 13845 33554432000 4194304 4196468 140734959738736 140541616388976 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13511] ppid=13445 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13448/task/13511/stat : 13511 (java) S 13445 13448 12709 0 -1 1077944384 90 13027 0 0 1 0 5 2 20 0 15 0 59165334 11079016448 13845 33554432000 4194304 4196468 140734959738736 140541615336176 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13512] ppid=13445 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13448/task/13512/stat : 13512 (java) S 13445 13448 12709 0 -1 1077944384 594 13027 0 0 5 0 5 2 20 0 15 0 59165334 11079016448 13845 33554432000 4194304 4196468 140734959738736 140541614283376 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13513] ppid=13445 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13513/stat : 13513 (java) S 13445 13448 12709 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 59165334 11079016448 13845 33554432000 4194304 4196468 140734959738736 140540456725216 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13514] ppid=13445 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13514/stat : 13514 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165334 11079016448 13845 33554432000 4194304 4196468 140734959738736 140541613230768 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55380 KiB
[startup+0.700761 s]
/proc/loadavg: 1.43 1.55 1.98 3/218 13514
/proc/meminfo: memFree=14555236/32770624 swapFree=67108860/67108860
[pid=13448] ppid=13445 vsize=10819352 memory=88584 CPUtime=0.99 cores=1,3,5,7
/proc/13448/stat : 13448 (java) S 13445 13448 12709 0 -1 1077944320 16757 13027 0 0 88 4 5 2 20 0 15 0 59165319 11079016448 22146 33554432000 4194304 4196468 140734959738736 140734959721280 140542192434935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
/proc/13448/statm: 2704838 22146 3238 1 0 2667149 0
[pid=13448/tid=13501] ppid=13445 vsize=10819352 memory=18652 CPUtime=0.66 cores=1,3,5,7
/proc/13448/task/13501/stat : 13501 (java) R 13445 13448 12709 0 -1 4202560 12241 13027 0 0 56 3 5 2 20 0 15 0 59165328 11079016448 22146 33554432000 4194304 4196468 140734959738736 140542164255760 140542173999905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13502] ppid=13445 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13502/stat : 13502 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165329 11079016448 22146 33554432000 4194304 4196468 140734959738736 140542196677776 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13503] ppid=13445 vsize=10819352 memory=288230587427469581 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13503/stat : 13503 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165329 11079016448 22146 33554432000 4194304 4196468 140734959738736 140542084951056 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13504] ppid=13445 vsize=10819352 memory=15816694631256675 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13504/stat : 13504 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165329 11079016448 22146 33554432000 4194304 4196468 140734959738736 140542083898256 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13505] ppid=13445 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13505/stat : 13505 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165329 11079016448 22146 33554432000 4194304 4196468 140734959738736 140542082845456 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13506] ppid=13445 vsize=10819352 memory=139682470208000 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13506/stat : 13506 (java) S 13445 13448 12709 0 -1 1077944384 5 13027 0 0 0 0 5 2 20 0 15 0 59165330 11079016448 22146 33554432000 4194304 4196468 140734959738736 140541650999664 140542192446082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13507] ppid=13445 vsize=10819352 memory=139685221368853 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13507/stat : 13507 (java) S 13445 13448 12709 0 -1 1077944384 33 13027 0 0 0 0 5 2 20 0 15 0 59165331 11079016448 22146 33554432000 4194304 4196468 140734959738736 140541649945632 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13508] ppid=13445 vsize=10819352 memory=952 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13508/stat : 13508 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165331 11079016448 22146 33554432000 4194304 4196468 140734959738736 140541530465136 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13509] ppid=13445 vsize=10819352 memory=7305218370954682711 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13509/stat : 13509 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165333 11079016448 22146 33554432000 4194304 4196468 140734959738736 140540926486352 140542192453531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13510] ppid=13445 vsize=10819352 memory=7452169109558027630 CPUtime=0.17 cores=1,3,5,7
/proc/13448/task/13510/stat : 13510 (java) S 13445 13448 12709 0 -1 1077944384 1080 13027 0 0 10 0 5 2 20 0 15 0 59165334 11079016448 22146 33554432000 4194304 4196468 140734959738736 140541616388976 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13511] ppid=13445 vsize=10819352 memory=6935653654008516688 CPUtime=0.14 cores=1,3,5,7
/proc/13448/task/13511/stat : 13511 (java) S 13445 13448 12709 0 -1 1077944384 515 13027 0 0 7 0 5 2 20 0 15 0 59165334 11079016448 22146 33554432000 4194304 4196468 140734959738736 140541615336176 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13512] ppid=13445 vsize=10819352 memory=5450909908396308010 CPUtime=0.2 cores=1,3,5,7
/proc/13448/task/13512/stat : 13512 (java) S 13445 13448 12709 0 -1 1077944384 683 13027 0 0 13 0 5 2 20 0 15 0 59165334 11079016448 22146 33554432000 4194304 4196468 140734959738736 140541614283376 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13513] ppid=13445 vsize=10819352 memory=1404238533774450294 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13513/stat : 13513 (java) S 13445 13448 12709 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 59165334 11079016448 22146 33554432000 4194304 4196468 140734959738736 140540456725216 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13514] ppid=13445 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13514/stat : 13514 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165334 11079016448 22146 33554432000 4194304 4196468 140734959738736 140541613230768 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88584 KiB
[startup+1.5007 s]
/proc/loadavg: 1.43 1.55 1.98 3/218 13514
/proc/meminfo: memFree=14509524/32770624 swapFree=67108860/67108860
[pid=13448] ppid=13445 vsize=10830156 memory=241312 CPUtime=2.98 cores=1,3,5,7
/proc/13448/stat : 13448 (java) S 13445 13448 12709 0 -1 1077944320 22557 13027 0 0 282 9 5 2 20 0 15 0 59165319 11090079744 60328 33554432000 4194304 4196468 140734959738736 140734959721280 140542192434935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
/proc/13448/statm: 2707539 60328 3472 1 0 2669197 0
[pid=13448/tid=13501] ppid=13445 vsize=10830156 memory=186604 CPUtime=1.44 cores=1,3,5,7
/proc/13448/task/13501/stat : 13501 (java) R 13445 13448 12709 0 -1 4202560 15219 13027 0 0 131 6 5 2 20 0 15 0 59165328 11090079744 60328 33554432000 4194304 4196468 140734959738736 140542164268400 140542175627669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13502] ppid=13445 vsize=10830156 memory=-3117775541953847911 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13502/stat : 13502 (java) S 13445 13448 12709 0 -1 1077944384 5 13027 0 0 0 0 5 2 20 0 15 0 59165329 11090079744 60328 33554432000 4194304 4196468 140734959738736 140542196677776 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13503] ppid=13445 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13503/stat : 13503 (java) S 13445 13448 12709 0 -1 1077944384 252 13027 0 0 0 0 5 2 20 0 15 0 59165329 11090079744 60328 33554432000 4194304 4196468 140734959738736 140542084951056 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13504] ppid=13445 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13504/stat : 13504 (java) S 13445 13448 12709 0 -1 1077944384 86 13027 0 0 0 0 5 2 20 0 15 0 59165329 11090079744 60328 33554432000 4194304 4196468 140734959738736 140542083898256 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13505] ppid=13445 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13505/stat : 13505 (java) S 13445 13448 12709 0 -1 1077944384 18 13027 0 0 0 0 5 2 20 0 15 0 59165329 11090079744 60328 33554432000 4194304 4196468 140734959738736 140542082845456 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13506] ppid=13445 vsize=10830156 memory=197690298264289 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13506/stat : 13506 (java) S 13445 13448 12709 0 -1 1077944384 95 13027 0 0 0 0 5 2 20 0 15 0 59165330 11090079744 60328 33554432000 4194304 4196468 140734959738736 140541650999664 140542192446082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13507] ppid=13445 vsize=10830156 memory=301776566104676540 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13507/stat : 13507 (java) S 13445 13448 12709 0 -1 1077944384 33 13027 0 0 0 0 5 2 20 0 15 0 59165331 11090079744 60328 33554432000 4194304 4196468 140734959738736 140541649945632 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13508] ppid=13445 vsize=10830156 memory=4638778424102965584 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13508/stat : 13508 (java) S 13445 13448 12709 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 59165331 11090079744 60328 33554432000 4194304 4196468 140734959738736 140541530465136 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13509] ppid=13445 vsize=10830156 memory=6935649255776346176 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13509/stat : 13509 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165333 11090079744 60328 33554432000 4194304 4196468 140734959738736 140540926486352 140542192453531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13510] ppid=13445 vsize=10830156 memory=279364939809008 CPUtime=0.63 cores=1,3,5,7
/proc/13448/task/13510/stat : 13510 (java) S 13445 13448 12709 0 -1 1077944384 2044 13027 0 0 56 0 5 2 20 0 15 0 59165334 11090079744 60328 33554432000 4194304 4196468 140734959738736 140541616388976 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13511] ppid=13445 vsize=10830156 memory=6935649255759570240 CPUtime=0.6 cores=1,3,5,7
/proc/13448/task/13511/stat : 13511 (java) R 13445 13448 12709 0 -1 4202560 1276 13027 0 0 53 0 5 2 20 0 15 0 59165334 11090079744 60328 33554432000 4194304 4196468 140734959738736 140541615325440 140542169666529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13512] ppid=13445 vsize=10830156 memory=-6868091168098510434 CPUtime=0.44 cores=1,3,5,7
/proc/13448/task/13512/stat : 13512 (java) S 13445 13448 12709 0 -1 1077944384 1332 13027 0 0 37 0 5 2 20 0 15 0 59165334 11090079744 60328 33554432000 4194304 4196468 140734959738736 140541614283376 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13513] ppid=13445 vsize=10830156 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13513/stat : 13513 (java) S 13445 13448 12709 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 59165334 11090079744 60328 33554432000 4194304 4196468 140734959738736 140540456725216 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13514] ppid=13445 vsize=10830156 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13514/stat : 13514 (java) S 13445 13448 12709 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 59165334 11090079744 60328 33554432000 4194304 4196468 140734959738736 140541613230768 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/13448/task/13501/stat : 13501 (java) R 13445 13448 12709 0 -1 4202560 173862 13027 0 0 235843 80 5 2 20 0 15 0 59165328 11178180608 587612 33554432000 4194304 4196468 140734959738736 140542164105744 140541762943852 0 4 0 16800975 0 0 0 -1 7 0 0 57 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13502] ppid=13445 vsize=10916192 memory=2350944 CPUtime=12.97 cores=1,3,5,7
/proc/13448/task/13502/stat : 13502 (java) S 13445 13448 12709 0 -1 1077944384 35696 13027 0 0 1256 34 5 2 20 0 15 0 59165329 11178180608 587612 33554432000 4194304 4196468 140734959738736 140542196677776 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13503] ppid=13445 vsize=10916192 memory=2350944 CPUtime=12.94 cores=1,3,5,7
/proc/13448/task/13503/stat : 13503 (java) S 13445 13448 12709 0 -1 1077944384 38748 13027 0 0 1252 35 5 2 20 0 15 0 59165329 11178180608 587612 33554432000 4194304 4196468 140734959738736 140542084951056 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13504] ppid=13445 vsize=10916192 memory=2350952 CPUtime=12.93 cores=1,3,5,7
/proc/13448/task/13504/stat : 13504 (java) S 13445 13448 12709 0 -1 1077944384 47302 13027 0 0 1249 37 5 2 20 0 15 0 59165329 11178180608 587612 33554432000 4194304 4196468 140734959738736 140542083898256 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13505] ppid=13445 vsize=10916192 memory=2350960 CPUtime=12.95 cores=1,3,5,7
/proc/13448/task/13505/stat : 13505 (java) S 13445 13448 12709 0 -1 1077944384 38398 13027 0 0 1254 34 5 2 20 0 15 0 59165329 11178180608 587612 33554432000 4194304 4196468 140734959738736 140542082845456 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13506] ppid=13445 vsize=10916192 memory=2350448 CPUtime=7.99 cores=1,3,5,7
/proc/13448/task/13506/stat : 13506 (java) S 13445 13448 12709 0 -1 1077944384 29074 13027 0 0 760 32 5 2 20 0 15 0 59165330 11178180608 587612 33554432000 4194304 4196468 140734959738736 140541650999664 140542192446082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13507] ppid=13445 vsize=10916192 memory=2350448 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13507/stat : 13507 (java) S 13445 13448 12709 0 -1 1077944384 41 13027 0 0 0 0 5 2 20 0 15 0 59165331 11178180608 587612 33554432000 4194304 4196468 140734959738736 140541649945696 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13508] ppid=13445 vsize=10916192 memory=2350952 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13508/stat : 13508 (java) S 13445 13448 12709 0 -1 1077944384 7 13027 0 0 0 0 5 2 20 0 15 0 59165331 11178180608 587612 33554432000 4194304 4196468 140734959738736 140541530465152 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13509] ppid=13445 vsize=10916192 memory=2353464 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13509/stat : 13509 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165333 11178180608 587612 33554432000 4194304 4196468 140734959738736 140540926486352 140542192453531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13510] ppid=13445 vsize=10916192 memory=1284 CPUtime=6.72 cores=1,3,5,7
/proc/13448/task/13510/stat : 13510 (java) S 13445 13448 12709 0 -1 1077944384 79268 13027 0 0 657 8 5 2 20 0 15 0 59165334 11178180608 587612 33554432000 4194304 4196468 140734959738736 140541616388976 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13511] ppid=13445 vsize=10916192 memory=279364941471744 CPUtime=6.49 cores=1,3,5,7
/proc/13448/task/13511/stat : 13511 (java) S 13445 13448 12709 0 -1 1077944384 74311 13027 0 0 634 8 5 2 20 0 15 0 59165334 11178180608 587612 33554432000 4194304 4196468 140734959738736 140541615336176 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13512] ppid=13445 vsize=10916192 memory=2350448 CPUtime=2.25 cores=1,3,5,7
/proc/13448/task/13512/stat : 13512 (java) S 13445 13448 12709 0 -1 1077944384 48529 13027 0 0 212 6 5 2 20 0 15 0 59165334 11178180608 587612 33554432000 4194304 4196468 140734959738736 140541614283376 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13513] ppid=13445 vsize=10916192 memory=4616 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13513/stat : 13513 (java) S 13445 13448 12709 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 59165334 11178180608 587612 33554432000 4194304 4196468 140734959738736 140540456725216 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13514] ppid=13445 vsize=10916192 memory=2350448 CPUtime=1.58 cores=1,3,5,7
/proc/13448/task/13514/stat : 13514 (java) S 13445 13448 12709 0 -1 1077944384 3002 13027 0 0 66 85 5 2 20 0 15 0 59165334 11178180608 587612 33554432000 4194304 4196468 140734959738736 140541613230768 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 58 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
Current children cumulated CPU time: 2435.59 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2350448 KiB
[startup+2442.3 s]
/proc/loadavg: 1.13 1.40 1.89 3/219 13974
/proc/meminfo: memFree=13599796/32770624 swapFree=67108860/67108860
[pid=13448] ppid=13445 vsize=10916192 memory=2346896 CPUtime=2496.67 cores=1,3,5,7
/proc/13448/stat : 13448 (java) S 13445 13448 12709 0 -1 1077944320 575026 13027 0 0 249323 337 5 2 20 0 15 0 59165319 11178180608 586724 33554432000 4194304 4196468 140734959738736 140734959721280 140542192434935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
/proc/13448/statm: 2729048 586724 3537 1 0 2690701 0
[pid=13448/tid=13501] ppid=13445 vsize=10916192 memory=2346896 CPUtime=2418.69 cores=1,3,5,7
/proc/13448/task/13501/stat : 13501 (java) R 13445 13448 12709 0 -1 4202560 175526 13027 0 0 241781 81 5 2 20 0 15 0 59165328 11178180608 586724 33554432000 4194304 4196468 140734959738736 140542161728160 140541758197831 0 4 0 16800975 0 0 0 -1 3 0 0 57 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13502] ppid=13445 vsize=10916192 memory=2347924 CPUtime=13.31 cores=1,3,5,7
/proc/13448/task/13502/stat : 13502 (java) S 13445 13448 12709 0 -1 1077944384 36418 13027 0 0 1290 34 5 2 20 0 15 0 59165329 11178180608 586724 33554432000 4194304 4196468 140734959738736 140542196677776 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13503] ppid=13445 vsize=10916192 memory=2346896 CPUtime=13.29 cores=1,3,5,7
/proc/13448/task/13503/stat : 13503 (java) S 13445 13448 12709 0 -1 1077944384 39195 13027 0 0 1287 35 5 2 20 0 15 0 59165329 11178180608 586724 33554432000 4194304 4196468 140734959738736 140542084951056 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13504] ppid=13445 vsize=10916192 memory=2346896 CPUtime=13.29 cores=1,3,5,7
/proc/13448/task/13504/stat : 13504 (java) S 13445 13448 12709 0 -1 1077944384 47632 13027 0 0 1285 37 5 2 20 0 15 0 59165329 11178180608 586724 33554432000 4194304 4196468 140734959738736 140542083898256 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13505] ppid=13445 vsize=10916192 memory=2346896 CPUtime=13.31 cores=1,3,5,7
/proc/13448/task/13505/stat : 13505 (java) S 13445 13448 12709 0 -1 1077944384 38888 13027 0 0 1290 34 5 2 20 0 15 0 59165329 11178180608 586724 33554432000 4194304 4196468 140734959738736 140542082845456 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13506] ppid=13445 vsize=10916192 memory=2346896 CPUtime=8.2 cores=1,3,5,7
/proc/13448/task/13506/stat : 13506 (java) S 13445 13448 12709 0 -1 1077944384 29442 13027 0 0 780 33 5 2 20 0 15 0 59165330 11178180608 586724 33554432000 4194304 4196468 140734959738736 140541650999664 140542192446082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13507] ppid=13445 vsize=10916192 memory=2346896 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13507/stat : 13507 (java) S 13445 13448 12709 0 -1 1077944384 41 13027 0 0 0 0 5 2 20 0 15 0 59165331 11178180608 586724 33554432000 4194304 4196468 140734959738736 140541649945696 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13508] ppid=13445 vsize=10916192 memory=2346896 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13508/stat : 13508 (java) S 13445 13448 12709 0 -1 1077944384 7 13027 0 0 0 0 5 2 20 0 15 0 59165331 11178180608 586724 33554432000 4194304 4196468 140734959738736 140541530465152 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13509] ppid=13445 vsize=10916192 memory=2346896 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13509/stat : 13509 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165333 11178180608 586724 33554432000 4194304 4196468 140734959738736 140540926486352 140542192453531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13510] ppid=13445 vsize=10916192 memory=2350452 CPUtime=6.73 cores=1,3,5,7
/proc/13448/task/13510/stat : 13510 (java) S 13445 13448 12709 0 -1 1077944384 79606 13027 0 0 658 8 5 2 20 0 15 0 59165334 11178180608 586724 33554432000 4194304 4196468 140734959738736 140541616388976 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13511] ppid=13445 vsize=10916192 memory=2349960 CPUtime=6.49 cores=1,3,5,7
/proc/13448/task/13511/stat : 13511 (java) S 13445 13448 12709 0 -1 1077944384 74316 13027 0 0 634 8 5 2 20 0 15 0 59165334 11178180608 586724 33554432000 4194304 4196468 140734959738736 140541615336176 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13512] ppid=13445 vsize=10916192 memory=2346896 CPUtime=2.25 cores=1,3,5,7
/proc/13448/task/13512/stat : 13512 (java) S 13445 13448 12709 0 -1 1077944384 48720 13027 0 0 212 6 5 2 20 0 15 0 59165334 11178180608 586724 33554432000 4194304 4196468 140734959738736 140541614283376 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13513] ppid=13445 vsize=10916192 memory=2346896 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13513/stat : 13513 (java) S 13445 13448 12709 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 59165334 11178180608 586724 33554432000 4194304 4196468 140734959738736 140540456725216 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13514] ppid=13445 vsize=10916192 memory=2346896 CPUtime=1.61 cores=1,3,5,7
/proc/13448/task/13514/stat : 13514 (java) S 13445 13448 12709 0 -1 1077944384 3042 13027 0 0 67 87 5 2 20 0 15 0 59165334 11178180608 586724 33554432000 4194304 4196468 140734959738736 140541613230768 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 58 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
Current children cumulated CPU time: 2496.67 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2346896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.3 s]
/proc/loadavg: 1.30 1.42 1.88 3/218 13974
/proc/meminfo: memFree=13600304/32770624 swapFree=67108860/67108860
[pid=13448] ppid=13445 vsize=10916192 memory=2345380 CPUtime=2520.08 cores=1,3,5,7
/proc/13448/stat : 13448 (java) S 13445 13448 12709 0 -1 1077944320 576762 13027 0 0 251663 338 5 2 20 0 15 0 59165319 11178180608 586345 33554432000 4194304 4196468 140734959738736 140734959721280 140542192434935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
/proc/13448/statm: 2729048 586345 3537 1 0 2690701 0
[pid=13448/tid=13501] ppid=13445 vsize=10916192 memory=2345888 CPUtime=2441.46 cores=1,3,5,7
/proc/13448/task/13501/stat : 13501 (java) R 13445 13448 12709 0 -1 4202560 176231 13027 0 0 244058 81 5 2 20 0 15 0 59165328 11178180608 586345 33554432000 4194304 4196468 140734959738736 140542164150240 140541762941889 0 4 0 16800975 0 0 0 -1 1 0 0 57 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13502] ppid=13445 vsize=10916192 memory=2346400 CPUtime=13.45 cores=1,3,5,7
/proc/13448/task/13502/stat : 13502 (java) S 13445 13448 12709 0 -1 1077944384 36905 13027 0 0 1303 35 5 2 20 0 15 0 59165329 11178180608 586345 33554432000 4194304 4196468 140734959738736 140542196677776 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13503] ppid=13445 vsize=10916192 memory=2345888 CPUtime=13.43 cores=1,3,5,7
/proc/13448/task/13503/stat : 13503 (java) S 13445 13448 12709 0 -1 1077944384 39245 13027 0 0 1301 35 5 2 20 0 15 0 59165329 11178180608 586345 33554432000 4194304 4196468 140734959738736 140542084951056 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13504] ppid=13445 vsize=10916192 memory=2345380 CPUtime=13.44 cores=1,3,5,7
/proc/13448/task/13504/stat : 13504 (java) S 13445 13448 12709 0 -1 1077944384 47696 13027 0 0 1299 38 5 2 20 0 15 0 59165329 11178180608 586345 33554432000 4194304 4196468 140734959738736 140542083898256 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13505] ppid=13445 vsize=10916192 memory=2346908 CPUtime=13.45 cores=1,3,5,7
/proc/13448/task/13505/stat : 13505 (java) S 13445 13448 12709 0 -1 1077944384 39101 13027 0 0 1304 34 5 2 20 0 15 0 59165329 11178180608 586345 33554432000 4194304 4196468 140734959738736 140542082845456 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13506] ppid=13445 vsize=10916192 memory=18684 CPUtime=8.29 cores=1,3,5,7
/proc/13448/task/13506/stat : 13506 (java) S 13445 13448 12709 0 -1 1077944384 29636 13027 0 0 788 34 5 2 20 0 15 0 59165330 11178180608 586345 33554432000 4194304 4196468 140734959738736 140541650999664 140542192446082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13507] ppid=13445 vsize=10916192 memory=2346400 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13507/stat : 13507 (java) S 13445 13448 12709 0 -1 1077944384 41 13027 0 0 0 0 5 2 20 0 15 0 59165331 11178180608 586345 33554432000 4194304 4196468 140734959738736 140541649945696 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13508] ppid=13445 vsize=10916192 memory=5524 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13508/stat : 13508 (java) S 13445 13448 12709 0 -1 1077944384 7 13027 0 0 0 0 5 2 20 0 15 0 59165331 11178180608 586345 33554432000 4194304 4196468 140734959738736 140541530465152 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13509] ppid=13445 vsize=10916192 memory=2346912 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13509/stat : 13509 (java) S 13445 13448 12709 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 59165333 11178180608 586345 33554432000 4194304 4196468 140734959738736 140540926486352 140542192453531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13510] ppid=13445 vsize=10916192 memory=6656426216303648864 CPUtime=6.73 cores=1,3,5,7
/proc/13448/task/13510/stat : 13510 (java) S 13445 13448 12709 0 -1 1077944384 79608 13027 0 0 658 8 5 2 20 0 15 0 59165334 11178180608 586345 33554432000 4194304 4196468 140734959738736 140541616388976 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13511] ppid=13445 vsize=10916192 memory=1444 CPUtime=6.49 cores=1,3,5,7
/proc/13448/task/13511/stat : 13511 (java) S 13445 13448 12709 0 -1 1077944384 74318 13027 0 0 634 8 5 2 20 0 15 0 59165334 11178180608 586345 33554432000 4194304 4196468 140734959738736 140541615336176 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13512] ppid=13445 vsize=10916192 memory=3828 CPUtime=2.25 cores=1,3,5,7
/proc/13448/task/13512/stat : 13512 (java) S 13445 13448 12709 0 -1 1077944384 48722 13027 0 0 212 6 5 2 20 0 15 0 59165334 11178180608 586345 33554432000 4194304 4196468 140734959738736 140541614283376 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13513] ppid=13445 vsize=10916192 memory=2448 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13513/stat : 13513 (java) S 13445 13448 12709 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 59165334 11178180608 586345 33554432000 4194304 4196468 140734959738736 140540456725216 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13514] ppid=13445 vsize=10916192 memory=2346912 CPUtime=1.63 cores=1,3,5,7
/proc/13448/task/13514/stat : 13514 (java) S 13445 13448 12709 0 -1 1077944384 3059 13027 0 0 68 88 5 2 20 0 15 0 59165334 11178180608 586345 33554432000 4194304 4196468 140734959738736 140541613230768 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 58 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2345380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.49 s]
# the end of solver process 13448 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.87 s, system=3.43105 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.41 s]
/proc/loadavg: 1.30 1.42 1.88 3/218 13974
/proc/meminfo: memFree=13600304/32770624 swapFree=67108860/67108860
[pid=13448] ppid=13445 vsize=11112808 memory=2349476 CPUtime=2520.2 cores=1,3,5,7
/proc/13448/stat : 13448 (java) S 13445 13448 12709 0 -1 1077944320 576913 13027 0 0 251674 339 5 2 20 0 17 0 59165319 11379515392 587369 33554432000 4194304 4196468 140734959738736 140734959721280 140542192434935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
/proc/13448/statm: 2778202 587369 3537 1 0 2739855 0
[pid=13448/tid=13501] ppid=13445 vsize=11112808 memory=288230596050944315 CPUtime=2441.56 cores=1,3,5,7
/proc/13448/task/13501/stat : 13501 (java) R 13445 13448 12709 0 -1 4202560 176233 13027 0 0 244068 81 5 2 20 0 17 0 59165328 11379515392 587369 33554432000 4194304 4196468 140734959738736 140542164206784 140541762940800 0 4 0 16800975 0 0 0 -1 1 0 0 57 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13502] ppid=13445 vsize=11112808 memory=14134441857518180 CPUtime=13.45 cores=1,3,5,7
/proc/13448/task/13502/stat : 13502 (java) S 13445 13448 12709 0 -1 1077944384 36905 13027 0 0 1303 35 5 2 20 0 17 0 59165329 11379515392 587369 33554432000 4194304 4196468 140734959738736 140542196677776 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13503] ppid=13445 vsize=11112808 memory=8384 CPUtime=13.43 cores=1,3,5,7
/proc/13448/task/13503/stat : 13503 (java) S 13445 13448 12709 0 -1 1077944384 39245 13027 0 0 1301 35 5 2 20 0 17 0 59165329 11379515392 587369 33554432000 4194304 4196468 140734959738736 140542084951056 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13504] ppid=13445 vsize=11112808 memory=2346912 CPUtime=13.44 cores=1,3,5,7
/proc/13448/task/13504/stat : 13504 (java) S 13445 13448 12709 0 -1 1077944384 47696 13027 0 0 1299 38 5 2 20 0 17 0 59165329 11379515392 587369 33554432000 4194304 4196468 140734959738736 140542083898256 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13505] ppid=13445 vsize=11112808 memory=836 CPUtime=13.45 cores=1,3,5,7
/proc/13448/task/13505/stat : 13505 (java) S 13445 13448 12709 0 -1 1077944384 39106 13027 0 0 1304 34 5 2 20 0 17 0 59165329 11379515392 587369 33554432000 4194304 4196468 140734959738736 140542082845456 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13506] ppid=13445 vsize=11112808 memory=4112 CPUtime=8.29 cores=1,3,5,7
/proc/13448/task/13506/stat : 13506 (java) S 13445 13448 12709 0 -1 1077944384 29636 13027 0 0 788 34 5 2 20 0 17 0 59165330 11379515392 587369 33554432000 4194304 4196468 140734959738736 140541650999664 140542192446082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13507] ppid=13445 vsize=11112808 memory=1796 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13507/stat : 13507 (java) S 13445 13448 12709 0 -1 1077944384 41 13027 0 0 0 0 5 2 20 0 17 0 59165331 11379515392 587369 33554432000 4194304 4196468 140734959738736 140541649945696 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13508] ppid=13445 vsize=11112808 memory=912 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13508/stat : 13508 (java) S 13445 13448 12709 0 -1 1077944384 7 13027 0 0 0 0 5 2 20 0 17 0 59165331 11379515392 587369 33554432000 4194304 4196468 140734959738736 140541530465152 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13509] ppid=13445 vsize=11112808 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13509/stat : 13509 (java) S 13445 13448 12709 0 -1 1077944384 66 13027 0 0 0 0 5 2 20 0 17 0 59165333 11379515392 587369 33554432000 4194304 4196468 140734959738736 140540926486352 140542192453531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13510] ppid=13445 vsize=11112808 memory=2924 CPUtime=6.73 cores=1,3,5,7
/proc/13448/task/13510/stat : 13510 (java) S 13445 13448 12709 0 -1 1077944384 79608 13027 0 0 658 8 5 2 20 0 17 0 59165334 11379515392 587369 33554432000 4194304 4196468 140734959738736 140541616388976 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13511] ppid=13445 vsize=11112808 memory=2660 CPUtime=6.49 cores=1,3,5,7
/proc/13448/task/13511/stat : 13511 (java) S 13445 13448 12709 0 -1 1077944384 74318 13027 0 0 634 8 5 2 20 0 17 0 59165334 11379515392 587369 33554432000 4194304 4196468 140734959738736 140541615336176 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13512] ppid=13445 vsize=11112808 memory=1408 CPUtime=2.25 cores=1,3,5,7
/proc/13448/task/13512/stat : 13512 (java) S 13445 13448 12709 0 -1 1077944384 48722 13027 0 0 212 6 5 2 20 0 17 0 59165334 11379515392 587369 33554432000 4194304 4196468 140734959738736 140541614283376 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13513] ppid=13445 vsize=11112808 memory=3200 CPUtime=0.07 cores=1,3,5,7
/proc/13448/task/13513/stat : 13513 (java) S 13445 13448 12709 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 17 0 59165334 11379515392 587369 33554432000 4194304 4196468 140734959738736 140540456725216 140542192445141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
[pid=13448/tid=13514] ppid=13445 vsize=11112808 memory=2346912 CPUtime=1.63 cores=1,3,5,7
/proc/13448/task/13514/stat : 13514 (java) S 13445 13448 12709 0 -1 1077944384 3059 13027 0 0 68 88 5 2 20 0 17 0 59165334 11379515392 587369 33554432000 4194304 4196468 140734959738736 140541613230768 140542192446082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 58 0 0 6293624 6294260 13815808 140734959741100 140734959744348 140734959744348 140734959747023 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 2349476 KiB
Child status: 143
Real time (s): 2465.49
CPU time (s): 2520.31
CPU user time (s): 2516.87
CPU system time (s): 3.43105
CPU usage (%): 102.223
Max. virtual memory (cumulated for all children) (KiB): 11112808
Max. memory (cumulated for all children) (KiB): 2917576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.87
system time used= 3.43105
maximum resident set size= 2919624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 590842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 165058
involuntary context switches= 7376
# summary of solver processes directly reported to runsolver:
# pid: 13448
# total CPU time (s): 2520.31
# total CPU user time (s): 2516.87
# total CPU system time (s): 3.43105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7328 second user time and 19.9337 second system time
The end