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 (10134 MiB free)
memory of node 1: 16384 MiB (6459 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291557-1532245201/watcher-4291557-1532245201 -o /tmp/evaluation-result-4291557-1532245201/solver-4291557-1532245201 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532226565-30210 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1376143956 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291557-1532245201.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=32494, runsolver pid=32491
[startup+0.100253 s]*
/proc/loadavg: 1.93 1.80 1.66 3/215 32509
/proc/meminfo: memFree=16975144/32770624 swapFree=67108860/67108860
[pid=32494] ppid=32491 vsize=14082740 memory=30132 CPUtime=0.1 cores=0,2,4,6
/proc/32494/stat : 32494 (java) S 32491 32494 30179 0 -1 1077944320 6428 0 0 0 9 1 0 0 20 0 15 0 42083281 14420725760 7533 33554432000 4194304 4196468 140737411818256 140737411800800 140612391100151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
/proc/32494/statm: 3520685 7533 3139 1 0 3482761 0
[pid=32494/tid=32496] ppid=32491 vsize=14082740 memory=-8773748148830245506 CPUtime=0.08 cores=0,2,4,6
/proc/32494/task/32496/stat : 32496 (java) R 32491 32494 30179 0 -1 4202560 4514 0 0 0 8 0 0 0 20 0 15 0 42083282 14420725760 7533 33554432000 4194304 4196468 140737411818256 140612395298776 140612375180638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32497] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32497/stat : 32497 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 7533 33554432000 4194304 4196468 140737411818256 140612343720336 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32498] ppid=32491 vsize=14082740 memory=139825396176512 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32498/stat : 32498 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 7533 33554432000 4194304 4196468 140737411818256 140612342667536 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32499] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32499/stat : 32499 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 7533 33554432000 4194304 4196468 140737411818256 140612341615248 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32500] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32500/stat : 32500 (java) S 32491 32494 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 7533 33554432000 4194304 4196468 140737411818256 140612340562448 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32501] ppid=32491 vsize=14082740 memory=139825396176512 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32501/stat : 32501 (java) S 32491 32494 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42083284 14420725760 7533 33554432000 4194304 4196468 140737411818256 140611933260400 140612391111298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32502] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32502/stat : 32502 (java) S 32491 32494 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42083284 14420725760 7533 33554432000 4194304 4196468 140737411818256 140611932206368 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32503] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32503/stat : 32503 (java) S 32491 32494 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42083285 14420725760 7533 33554432000 4194304 4196468 140737411818256 140611931154032 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32504] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32504/stat : 32504 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14420725760 7533 33554432000 4194304 4196468 140737411818256 140611930102352 140612391118747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32505] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32505/stat : 32505 (java) S 32491 32494 30179 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 42083287 14420725760 7533 33554432000 4194304 4196468 140737411818256 140611929049200 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32506] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32506/stat : 32506 (java) S 32491 32494 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42083287 14420725760 7533 33554432000 4194304 4196468 140737411818256 140611860555760 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32507] ppid=32491 vsize=14082740 memory=139825396176512 CPUtime=0.01 cores=0,2,4,6
/proc/32494/task/32507/stat : 32507 (java) S 32491 32494 30179 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 15 0 42083287 14420725760 7533 33554432000 4194304 4196468 140737411818256 140611859503472 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32508] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32508/stat : 32508 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14420725760 7533 33554432000 4194304 4196468 140737411818256 140611858450912 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32509] ppid=32491 vsize=14082740 memory=139825396176512 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32509/stat : 32509 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083288 14420725760 7533 33554432000 4194304 4196468 140737411818256 140611857398704 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30132 KiB
[startup+0.210399 s]*
/proc/loadavg: 1.93 1.80 1.66 4/215 32509
/proc/meminfo: memFree=16961316/32770624 swapFree=67108860/67108860
[pid=32494] ppid=32491 vsize=14082740 memory=46480 CPUtime=0.27 cores=0,2,4,6
/proc/32494/stat : 32494 (java) S 32491 32494 30179 0 -1 1077944320 10207 0 0 0 26 1 0 0 20 0 15 0 42083281 14420725760 11620 33554432000 4194304 4196468 140737411818256 140737411800800 140612391100151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
/proc/32494/statm: 3520685 11620 3332 1 0 3482761 0
[pid=32494/tid=32496] ppid=32491 vsize=14082740 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/32494/task/32496/stat : 32496 (java) R 32491 32494 30179 0 -1 4202560 8026 0 0 0 18 0 0 0 20 0 15 0 42083282 14420725760 11620 33554432000 4194304 4196468 140737411818256 140612395324096 140612370677367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32497] ppid=32491 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32497/stat : 32497 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 11620 33554432000 4194304 4196468 140737411818256 140612343720336 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32498] ppid=32491 vsize=14082740 memory=3544809389709186720 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32498/stat : 32498 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 11620 33554432000 4194304 4196468 140737411818256 140612342667536 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32499] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32499/stat : 32499 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 11620 33554432000 4194304 4196468 140737411818256 140612341615248 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32500] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32500/stat : 32500 (java) S 32491 32494 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 11620 33554432000 4194304 4196468 140737411818256 140612340562448 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32501] ppid=32491 vsize=14082740 memory=139825396176512 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32501/stat : 32501 (java) S 32491 32494 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42083284 14420725760 11620 33554432000 4194304 4196468 140737411818256 140611933260400 140612391111298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32502] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32502/stat : 32502 (java) S 32491 32494 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42083284 14420725760 11620 33554432000 4194304 4196468 140737411818256 140611932206368 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32503] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32503/stat : 32503 (java) S 32491 32494 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42083285 14420725760 11620 33554432000 4194304 4196468 140737411818256 140611931154032 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32504] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32504/stat : 32504 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14420725760 11620 33554432000 4194304 4196468 140737411818256 140611930102352 140612391118747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32505] ppid=32491 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32494/task/32505/stat : 32505 (java) R 32491 32494 30179 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 42083287 14420725760 11620 33554432000 4194304 4196468 140737411818256 140611929049200 140612391111298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32506] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32506/stat : 32506 (java) S 32491 32494 30179 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 42083287 14420725760 11620 33554432000 4194304 4196468 140737411818256 140611860555760 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32507] ppid=32491 vsize=14082740 memory=139825396176512 CPUtime=0.05 cores=0,2,4,6
/proc/32494/task/32507/stat : 32507 (java) R 32491 32494 30179 0 -1 4202560 271 0 0 0 5 0 0 0 20 0 15 0 42083287 14420725760 11620 33554432000 4194304 4196468 140737411818256 140611859503472 140612370061398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32508] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32508/stat : 32508 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14420725760 11620 33554432000 4194304 4196468 140737411818256 140611858450912 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32509] ppid=32491 vsize=14082740 memory=139825396176512 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32509/stat : 32509 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083288 14420725760 11620 33554432000 4194304 4196468 140737411818256 140611857398704 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46480 KiB
[startup+0.310564 s]*
/proc/loadavg: 1.93 1.80 1.66 3/215 32509
/proc/meminfo: memFree=16955980/32770624 swapFree=67108860/67108860
[pid=32494] ppid=32491 vsize=14082740 memory=50100 CPUtime=0.42 cores=0,2,4,6
/proc/32494/stat : 32494 (java) S 32491 32494 30179 0 -1 1077944320 10709 0 0 0 40 2 0 0 20 0 15 0 42083281 14420725760 12525 33554432000 4194304 4196468 140737411818256 140737411800800 140612391100151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
/proc/32494/statm: 3520685 12525 3381 1 0 3482761 0
[pid=32494/tid=32496] ppid=32491 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/32494/task/32496/stat : 32496 (java) R 32491 32494 30179 0 -1 4202560 8418 0 0 0 28 1 0 0 20 0 15 0 42083282 14420725760 12590 33554432000 4194304 4196468 140737411818256 140612395321072 140612384200040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32497] ppid=32491 vsize=14082740 memory=288230604707987479 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32497/stat : 32497 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 12590 33554432000 4194304 4196468 140737411818256 140612343720336 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32498] ppid=32491 vsize=14082740 memory=3904815884922115744 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32498/stat : 32498 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 12590 33554432000 4194304 4196468 140737411818256 140612342667536 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32499] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32499/stat : 32499 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 12590 33554432000 4194304 4196468 140737411818256 140612341615248 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32500] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32500/stat : 32500 (java) S 32491 32494 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42083283 14420725760 12590 33554432000 4194304 4196468 140737411818256 140612340562448 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32501] ppid=32491 vsize=14082740 memory=139825396176512 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32501/stat : 32501 (java) S 32491 32494 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42083284 14420725760 12590 33554432000 4194304 4196468 140737411818256 140611933260400 140612391111298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32502] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32502/stat : 32502 (java) S 32491 32494 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42083284 14420725760 12590 33554432000 4194304 4196468 140737411818256 140611932206368 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32503] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32503/stat : 32503 (java) S 32491 32494 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42083285 14420725760 12590 33554432000 4194304 4196468 140737411818256 140611931154032 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32504] ppid=32491 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32504/stat : 32504 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14420725760 12590 33554432000 4194304 4196468 140737411818256 140611930102352 140612391118747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32505] ppid=32491 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32494/task/32505/stat : 32505 (java) S 32491 32494 30179 0 -1 1077944384 453 0 0 0 3 0 0 0 20 0 15 0 42083287 14420725760 12590 33554432000 4194304 4196468 140737411818256 140611929049200 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32506] ppid=32491 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32494/task/32506/stat : 32506 (java) S 32491 32494 30179 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 42083287 14420725760 12590 33554432000 4194304 4196468 140737411818256 140611860555760 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32507] ppid=32491 vsize=14082740 memory=139825396176512 CPUtime=0.07 cores=0,2,4,6
/proc/32494/task/32507/stat : 32507 (java) R 32491 32494 30179 0 -1 4202560 295 0 0 0 7 0 0 0 20 0 15 0 42083287 14420725760 12590 33554432000 4194304 4196468 140737411818256 140611859503472 140612370069220 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32508] ppid=32491 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32508/stat : 32508 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14420725760 12590 33554432000 4194304 4196468 140737411818256 140611858450912 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32509] ppid=32491 vsize=14082740 memory=139825396176512 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32509/stat : 32509 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083288 14420725760 12590 33554432000 4194304 4196468 140737411818256 140611857398704 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50100 KiB
[startup+0.700683 s]
/proc/loadavg: 1.93 1.80 1.66 3/215 32509
/proc/meminfo: memFree=16936200/32770624 swapFree=67108860/67108860
[pid=32494] ppid=32491 vsize=14084808 memory=86704 CPUtime=0.98 cores=0,2,4,6
/proc/32494/stat : 32494 (java) S 32491 32494 30179 0 -1 1077944320 17529 0 0 0 94 4 0 0 20 0 15 0 42083281 14422843392 21676 33554432000 4194304 4196468 140737411818256 140737411800800 140612391100151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
/proc/32494/statm: 3521202 21676 3498 1 0 3483273 0
[pid=32494/tid=32496] ppid=32491 vsize=14084808 memory=1724 CPUtime=0.66 cores=0,2,4,6
/proc/32494/task/32496/stat : 32496 (java) R 32491 32494 30179 0 -1 4202560 14809 0 0 0 64 2 0 0 20 0 15 0 42083282 14422843392 21676 33554432000 4194304 4196468 140737411818256 140612395336056 140612358690986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32497] ppid=32491 vsize=14084808 memory=10928 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32497/stat : 32497 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14422843392 21676 33554432000 4194304 4196468 140737411818256 140612343720336 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32498] ppid=32491 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32498/stat : 32498 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14422843392 21676 33554432000 4194304 4196468 140737411818256 140612342667536 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32499] ppid=32491 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32499/stat : 32499 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14422843392 21676 33554432000 4194304 4196468 140737411818256 140612341615248 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32500] ppid=32491 vsize=14084808 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32500/stat : 32500 (java) S 32491 32494 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42083283 14422843392 21676 33554432000 4194304 4196468 140737411818256 140612340562448 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32501] ppid=32491 vsize=14084808 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32501/stat : 32501 (java) S 32491 32494 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42083284 14422843392 21676 33554432000 4194304 4196468 140737411818256 140611933260400 140612391111298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32502] ppid=32491 vsize=14084808 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32502/stat : 32502 (java) S 32491 32494 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42083284 14422843392 21676 33554432000 4194304 4196468 140737411818256 140611932206368 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32503] ppid=32491 vsize=14084808 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32503/stat : 32503 (java) S 32491 32494 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42083285 14422843392 21676 33554432000 4194304 4196468 140737411818256 140611931154032 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32504] ppid=32491 vsize=14084808 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32504/stat : 32504 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14422843392 21676 33554432000 4194304 4196468 140737411818256 140611930102352 140612391118747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32505] ppid=32491 vsize=14084808 memory=4639098309541129069 CPUtime=0.08 cores=0,2,4,6
/proc/32494/task/32505/stat : 32505 (java) S 32491 32494 30179 0 -1 1077944384 604 0 0 0 8 0 0 0 20 0 15 0 42083287 14422843392 21676 33554432000 4194304 4196468 140737411818256 140611929049200 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32506] ppid=32491 vsize=14084808 memory=7380106142448643183 CPUtime=0.06 cores=0,2,4,6
/proc/32494/task/32506/stat : 32506 (java) S 32491 32494 30179 0 -1 1077944384 329 0 0 0 6 0 0 0 20 0 15 0 42083287 14422843392 21676 33554432000 4194304 4196468 140737411818256 140611860555760 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32507] ppid=32491 vsize=14084808 memory=7810487918915055718 CPUtime=0.15 cores=0,2,4,6
/proc/32494/task/32507/stat : 32507 (java) S 32491 32494 30179 0 -1 1077944384 405 0 0 0 15 0 0 0 20 0 15 0 42083287 14422843392 21676 33554432000 4194304 4196468 140737411818256 140611859503472 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32508] ppid=32491 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32508/stat : 32508 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14422843392 21676 33554432000 4194304 4196468 140737411818256 140611858450912 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32509] ppid=32491 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32509/stat : 32509 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083288 14422843392 21676 33554432000 4194304 4196468 140737411818256 140611857398704 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86704 KiB
[startup+1.50073 s]
/proc/loadavg: 1.93 1.80 1.66 5/215 32509
/proc/meminfo: memFree=16900544/32770624 swapFree=67108860/67108860
[pid=32494] ppid=32491 vsize=14090952 memory=176792 CPUtime=2.81 cores=0,2,4,6
/proc/32494/stat : 32494 (java) S 32491 32494 30179 0 -1 1077944320 28152 0 0 0 272 9 0 0 20 0 15 0 42083281 14429134848 44198 33554432000 4194304 4196468 140737411818256 140737411800800 140612391100151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
/proc/32494/statm: 3522738 44198 3538 1 0 3484809 0
[pid=32494/tid=32496] ppid=32491 vsize=14090952 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/32494/task/32496/stat : 32496 (java) R 32491 32494 30179 0 -1 4202560 20113 0 0 0 140 5 0 0 20 0 15 0 42083282 14429134848 44198 33554432000 4194304 4196468 140737411818256 140612395337712 140612017795186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32497] ppid=32491 vsize=14090952 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32497/stat : 32497 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14429134848 44198 33554432000 4194304 4196468 140737411818256 140612343720336 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32498] ppid=32491 vsize=14090952 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32498/stat : 32498 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14429134848 44198 33554432000 4194304 4196468 140737411818256 140612342667536 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32499] ppid=32491 vsize=14090952 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32499/stat : 32499 (java) S 32491 32494 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42083283 14429134848 44198 33554432000 4194304 4196468 140737411818256 140612341615248 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32500] ppid=32491 vsize=14090952 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32500/stat : 32500 (java) S 32491 32494 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42083283 14429134848 44198 33554432000 4194304 4196468 140737411818256 140612340562448 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32501] ppid=32491 vsize=14090952 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32501/stat : 32501 (java) S 32491 32494 30179 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 42083284 14429134848 44198 33554432000 4194304 4196468 140737411818256 140611933260400 140612391111298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
################
# More data... #
################
/proc/32494/task/32496/stat : 32496 (java) R 32491 32494 30179 0 -1 4202560 62345 0 0 0 223524 52 0 0 20 0 15 0 42083282 14429134848 317126 33554432000 4194304 4196468 140737411818256 140612395338336 140612375438963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32497] ppid=32491 vsize=14090952 memory=4126316290023845779 CPUtime=12.52 cores=0,2,4,6
/proc/32494/task/32497/stat : 32497 (java) S 32491 32494 30179 0 -1 1077944384 10520 0 0 0 1190 62 0 0 20 0 15 0 42083283 14429134848 317126 33554432000 4194304 4196468 140737411818256 140612343720336 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32498] ppid=32491 vsize=14090952 memory=916 CPUtime=12.51 cores=0,2,4,6
/proc/32494/task/32498/stat : 32498 (java) S 32491 32494 30179 0 -1 1077944384 13898 0 0 0 1186 65 0 0 20 0 15 0 42083283 14429134848 317126 33554432000 4194304 4196468 140737411818256 140612342667536 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32499] ppid=32491 vsize=14090952 memory=3844 CPUtime=12.54 cores=0,2,4,6
/proc/32494/task/32499/stat : 32499 (java) S 32491 32494 30179 0 -1 1077944384 15408 0 0 0 1192 62 0 0 20 0 15 0 42083283 14429134848 317126 33554432000 4194304 4196468 140737411818256 140612341615248 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32500] ppid=32491 vsize=14090952 memory=3360 CPUtime=12.55 cores=0,2,4,6
/proc/32494/task/32500/stat : 32500 (java) S 32491 32494 30179 0 -1 1077944384 12173 0 0 0 1191 64 0 0 20 0 15 0 42083283 14429134848 317126 33554432000 4194304 4196468 140737411818256 140612340562448 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32501] ppid=32491 vsize=14090952 memory=4100 CPUtime=10.22 cores=0,2,4,6
/proc/32494/task/32501/stat : 32501 (java) S 32491 32494 30179 0 -1 1077944384 11605 0 0 0 958 64 0 0 20 0 15 0 42083284 14429134848 317126 33554432000 4194304 4196468 140737411818256 140611933260400 140612391111298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32502] ppid=32491 vsize=14090952 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32502/stat : 32502 (java) S 32491 32494 30179 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 42083284 14429134848 317126 33554432000 4194304 4196468 140737411818256 140611932206368 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32503] ppid=32491 vsize=14090952 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32503/stat : 32503 (java) S 32491 32494 30179 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 42083285 14429134848 317126 33554432000 4194304 4196468 140737411818256 140611931154032 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32504] ppid=32491 vsize=14090952 memory=3296 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32504/stat : 32504 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14429134848 317126 33554432000 4194304 4196468 140737411818256 140611930102352 140612391118747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32505] ppid=32491 vsize=14090952 memory=1266456 CPUtime=0.84 cores=0,2,4,6
/proc/32494/task/32505/stat : 32505 (java) S 32491 32494 30179 0 -1 1077944384 2173 0 0 0 83 1 0 0 20 0 15 0 42083287 14429134848 317126 33554432000 4194304 4196468 140737411818256 140611929049200 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32506] ppid=32491 vsize=14090952 memory=1404 CPUtime=0.85 cores=0,2,4,6
/proc/32494/task/32506/stat : 32506 (java) S 32491 32494 30179 0 -1 1077944384 5294 0 0 0 84 1 0 0 20 0 15 0 42083287 14429134848 317126 33554432000 4194304 4196468 140737411818256 140611860555760 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32507] ppid=32491 vsize=14090952 memory=3132 CPUtime=0.67 cores=0,2,4,6
/proc/32494/task/32507/stat : 32507 (java) S 32491 32494 30179 0 -1 1077944384 5659 0 0 0 65 2 0 0 20 0 15 0 42083287 14429134848 317126 33554432000 4194304 4196468 140737411818256 140611859503472 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32508] ppid=32491 vsize=14090952 memory=731768 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32508/stat : 32508 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14429134848 317126 33554432000 4194304 4196468 140737411818256 140611858450912 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32509] ppid=32491 vsize=14090952 memory=6791534058613427641 CPUtime=1.51 cores=0,2,4,6
/proc/32494/task/32509/stat : 32509 (java) S 32491 32494 30179 0 -1 1077944384 1231 0 0 0 74 77 0 0 20 0 15 0 42083288 14429134848 317126 33554432000 4194304 4196468 140737411818256 140611857398704 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
Current children cumulated CPU time: 2300.06 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1268504 KiB
[startup+2322.3 s]*
/proc/loadavg: 1.40 1.35 1.47 3/215 32696
/proc/meminfo: memFree=20859528/32770624 swapFree=67108860/67108860
[pid=32494] ppid=32491 vsize=14090952 memory=1272600 CPUtime=2361.06 cores=0,2,4,6
/proc/32494/stat : 32494 (java) S 32491 32494 30179 0 -1 1077944320 143958 0 0 0 235724 382 0 0 20 0 15 0 42083281 14429134848 318150 33554432000 4194304 4196468 140737411818256 140737411800800 140612391100151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
/proc/32494/statm: 3522738 318150 3569 1 0 3484809 0
[pid=32494/tid=32496] ppid=32491 vsize=14090952 memory=6791534058613427641 CPUtime=2295.07 cores=0,2,4,6
/proc/32494/task/32496/stat : 32496 (java) R 32491 32494 30179 0 -1 4202560 63546 0 0 0 229455 52 0 0 20 0 15 0 42083282 14429134848 318150 33554432000 4194304 4196468 140737411818256 140612395338544 140612017883910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32497] ppid=32491 vsize=14090952 memory=4126316290023845779 CPUtime=12.89 cores=0,2,4,6
/proc/32494/task/32497/stat : 32497 (java) S 32491 32494 30179 0 -1 1077944384 10802 0 0 0 1225 64 0 0 20 0 15 0 42083283 14429134848 318150 33554432000 4194304 4196468 140737411818256 140612343720336 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32498] ppid=32491 vsize=14090952 memory=4126316290023845779 CPUtime=12.87 cores=0,2,4,6
/proc/32494/task/32498/stat : 32498 (java) S 32491 32494 30179 0 -1 1077944384 14111 0 0 0 1221 66 0 0 20 0 15 0 42083283 14429134848 318150 33554432000 4194304 4196468 140737411818256 140612342667536 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32499] ppid=32491 vsize=14090952 memory=2428 CPUtime=12.89 cores=0,2,4,6
/proc/32494/task/32499/stat : 32499 (java) S 32491 32494 30179 0 -1 1077944384 15514 0 0 0 1226 63 0 0 20 0 15 0 42083283 14429134848 318150 33554432000 4194304 4196468 140737411818256 140612341615248 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32500] ppid=32491 vsize=14090952 memory=1296 CPUtime=12.91 cores=0,2,4,6
/proc/32494/task/32500/stat : 32500 (java) S 32491 32494 30179 0 -1 1077944384 12413 0 0 0 1225 66 0 0 20 0 15 0 42083283 14429134848 318150 33554432000 4194304 4196468 140737411818256 140612340562448 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32501] ppid=32491 vsize=14090952 memory=1724 CPUtime=10.44 cores=0,2,4,6
/proc/32494/task/32501/stat : 32501 (java) S 32491 32494 30179 0 -1 1077944384 11787 0 0 0 979 65 0 0 20 0 15 0 42083284 14429134848 318150 33554432000 4194304 4196468 140737411818256 140611933260400 140612391111298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32502] ppid=32491 vsize=14090952 memory=10928 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32502/stat : 32502 (java) S 32491 32494 30179 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 42083284 14429134848 318150 33554432000 4194304 4196468 140737411818256 140611932206368 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32503] ppid=32491 vsize=14090952 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32503/stat : 32503 (java) S 32491 32494 30179 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 42083285 14429134848 318150 33554432000 4194304 4196468 140737411818256 140611931154032 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32504] ppid=32491 vsize=14090952 memory=796 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32504/stat : 32504 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14429134848 318150 33554432000 4194304 4196468 140737411818256 140611930102352 140612391118747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32505] ppid=32491 vsize=14090952 memory=1008 CPUtime=0.84 cores=0,2,4,6
/proc/32494/task/32505/stat : 32505 (java) S 32491 32494 30179 0 -1 1077944384 2175 0 0 0 83 1 0 0 20 0 15 0 42083287 14429134848 318150 33554432000 4194304 4196468 140737411818256 140611929049200 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32506] ppid=32491 vsize=14090952 memory=1712 CPUtime=0.85 cores=0,2,4,6
/proc/32494/task/32506/stat : 32506 (java) S 32491 32494 30179 0 -1 1077944384 5296 0 0 0 84 1 0 0 20 0 15 0 42083287 14429134848 318150 33554432000 4194304 4196468 140737411818256 140611860555760 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32507] ppid=32491 vsize=14090952 memory=5404 CPUtime=0.67 cores=0,2,4,6
/proc/32494/task/32507/stat : 32507 (java) S 32491 32494 30179 0 -1 1077944384 5661 0 0 0 65 2 0 0 20 0 15 0 42083287 14429134848 318150 33554432000 4194304 4196468 140737411818256 140611859503472 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32508] ppid=32491 vsize=14090952 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32508/stat : 32508 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14429134848 318150 33554432000 4194304 4196468 140737411818256 140611858450912 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32509] ppid=32491 vsize=14090952 memory=1432 CPUtime=1.54 cores=0,2,4,6
/proc/32494/task/32509/stat : 32509 (java) S 32491 32494 30179 0 -1 1077944384 1238 0 0 0 75 79 0 0 20 0 15 0 42083288 14429134848 318150 33554432000 4194304 4196468 140737411818256 140611857398704 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
Current children cumulated CPU time: 2361.06 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1272600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2360.6 s]
/proc/loadavg: 1.55 1.40 1.48 3/215 32697
/proc/meminfo: memFree=20853388/32770624 swapFree=67108860/67108860
[pid=32494] ppid=32491 vsize=14090952 memory=1274648 CPUtime=2400.05 cores=0,2,4,6
/proc/32494/stat : 32494 (java) S 32491 32494 30179 0 -1 1077944320 145439 0 0 0 239617 388 0 0 20 0 15 0 42083281 14429134848 318662 33554432000 4194304 4196468 140737411818256 140737411800800 140612391100151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
/proc/32494/statm: 3522738 318662 3569 1 0 3484809 0
[pid=32494/tid=32496] ppid=32491 vsize=14090952 memory=1274648 CPUtime=2332.93 cores=0,2,4,6
/proc/32494/task/32496/stat : 32496 (java) R 32491 32494 30179 0 -1 4202560 64050 0 0 0 233240 53 0 0 20 0 15 0 42083282 14429134848 318662 33554432000 4194304 4196468 140737411818256 140612395338432 140612017883962 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32497] ppid=32491 vsize=14090952 memory=1274648 CPUtime=13.13 cores=0,2,4,6
/proc/32494/task/32497/stat : 32497 (java) S 32491 32494 30179 0 -1 1077944384 10943 0 0 0 1248 65 0 0 20 0 15 0 42083283 14429134848 318662 33554432000 4194304 4196468 140737411818256 140612343720336 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32498] ppid=32491 vsize=14090952 memory=1274648 CPUtime=13.11 cores=0,2,4,6
/proc/32494/task/32498/stat : 32498 (java) S 32491 32494 30179 0 -1 1077944384 14289 0 0 0 1244 67 0 0 20 0 15 0 42083283 14429134848 318662 33554432000 4194304 4196468 140737411818256 140612342667536 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32499] ppid=32491 vsize=14090952 memory=1274648 CPUtime=13.13 cores=0,2,4,6
/proc/32494/task/32499/stat : 32499 (java) S 32491 32494 30179 0 -1 1077944384 15758 0 0 0 1249 64 0 0 20 0 15 0 42083283 14429134848 318662 33554432000 4194304 4196468 140737411818256 140612341615248 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32500] ppid=32491 vsize=14090952 memory=1274648 CPUtime=13.16 cores=0,2,4,6
/proc/32494/task/32500/stat : 32500 (java) S 32491 32494 30179 0 -1 1077944384 12634 0 0 0 1249 67 0 0 20 0 15 0 42083283 14429134848 318662 33554432000 4194304 4196468 140737411818256 140612340562448 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32501] ppid=32491 vsize=14090952 memory=1274648 CPUtime=10.58 cores=0,2,4,6
/proc/32494/task/32501/stat : 32501 (java) S 32491 32494 30179 0 -1 1077944384 11961 0 0 0 992 66 0 0 20 0 15 0 42083284 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611933260400 140612391111298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32502] ppid=32491 vsize=14090952 memory=1274648 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32502/stat : 32502 (java) S 32491 32494 30179 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 42083284 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611932206368 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32503] ppid=32491 vsize=14090952 memory=1274648 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32503/stat : 32503 (java) S 32491 32494 30179 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 42083285 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611931154032 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32504] ppid=32491 vsize=14090952 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32504/stat : 32504 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611930102352 140612391118747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32505] ppid=32491 vsize=14090952 memory=14464 CPUtime=0.84 cores=0,2,4,6
/proc/32494/task/32505/stat : 32505 (java) S 32491 32494 30179 0 -1 1077944384 2177 0 0 0 83 1 0 0 20 0 15 0 42083287 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611929049200 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32506] ppid=32491 vsize=14090952 memory=1274648 CPUtime=0.85 cores=0,2,4,6
/proc/32494/task/32506/stat : 32506 (java) S 32491 32494 30179 0 -1 1077944384 5298 0 0 0 84 1 0 0 20 0 15 0 42083287 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611860555760 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32507] ppid=32491 vsize=14090952 memory=1274648 CPUtime=0.67 cores=0,2,4,6
/proc/32494/task/32507/stat : 32507 (java) S 32491 32494 30179 0 -1 1077944384 5663 0 0 0 65 2 0 0 20 0 15 0 42083287 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611859503472 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32508] ppid=32491 vsize=14090952 memory=1274648 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32508/stat : 32508 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611858450912 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32509] ppid=32491 vsize=14090952 memory=1724 CPUtime=1.57 cores=0,2,4,6
/proc/32494/task/32509/stat : 32509 (java) S 32491 32494 30179 0 -1 1077944384 1251 0 0 0 76 81 0 0 20 0 15 0 42083288 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611857398704 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1274648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2360.62 s]
# the end of solver process 32494 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.19 s, system=3.88905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2360.6 s]
/proc/loadavg: 1.55 1.40 1.48 3/215 32697
/proc/meminfo: memFree=20853388/32770624 swapFree=67108860/67108860
[pid=32494] ppid=32491 vsize=14090952 memory=1274648 CPUtime=2400.05 cores=0,2,4,6
/proc/32494/stat : 32494 (java) S 32491 32494 30179 0 -1 1077944320 145439 0 0 0 239617 388 0 0 20 0 15 0 42083281 14429134848 318662 33554432000 4194304 4196468 140737411818256 140737411800800 140612391100151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
/proc/32494/statm: 3522738 318662 3569 1 0 3484809 0
[pid=32494/tid=32496] ppid=32491 vsize=14090952 memory=1274648 CPUtime=2332.93 cores=0,2,4,6
/proc/32494/task/32496/stat : 32496 (java) R 32491 32494 30179 0 -1 4202560 64050 0 0 0 233240 53 0 0 20 0 15 0 42083282 14429134848 318662 33554432000 4194304 4196468 140737411818256 140612395338432 140612017883962 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32497] ppid=32491 vsize=14090952 memory=1274648 CPUtime=13.13 cores=0,2,4,6
/proc/32494/task/32497/stat : 32497 (java) S 32491 32494 30179 0 -1 1077944384 10943 0 0 0 1248 65 0 0 20 0 15 0 42083283 14429134848 318662 33554432000 4194304 4196468 140737411818256 140612343720336 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32498] ppid=32491 vsize=14090952 memory=1274648 CPUtime=13.11 cores=0,2,4,6
/proc/32494/task/32498/stat : 32498 (java) S 32491 32494 30179 0 -1 1077944384 14289 0 0 0 1244 67 0 0 20 0 15 0 42083283 14429134848 318662 33554432000 4194304 4196468 140737411818256 140612342667536 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32499] ppid=32491 vsize=14090952 memory=1274648 CPUtime=13.13 cores=0,2,4,6
/proc/32494/task/32499/stat : 32499 (java) S 32491 32494 30179 0 -1 1077944384 15758 0 0 0 1249 64 0 0 20 0 15 0 42083283 14429134848 318662 33554432000 4194304 4196468 140737411818256 140612341615248 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32500] ppid=32491 vsize=14090952 memory=1274648 CPUtime=13.16 cores=0,2,4,6
/proc/32494/task/32500/stat : 32500 (java) S 32491 32494 30179 0 -1 1077944384 12634 0 0 0 1249 67 0 0 20 0 15 0 42083283 14429134848 318662 33554432000 4194304 4196468 140737411818256 140612340562448 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32501] ppid=32491 vsize=14090952 memory=1274648 CPUtime=10.58 cores=0,2,4,6
/proc/32494/task/32501/stat : 32501 (java) S 32491 32494 30179 0 -1 1077944384 11961 0 0 0 992 66 0 0 20 0 15 0 42083284 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611933260400 140612391111298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32502] ppid=32491 vsize=14090952 memory=1274648 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32502/stat : 32502 (java) S 32491 32494 30179 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 42083284 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611932206368 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32503] ppid=32491 vsize=14090952 memory=1274648 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32503/stat : 32503 (java) S 32491 32494 30179 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 42083285 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611931154032 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32504] ppid=32491 vsize=14090952 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32504/stat : 32504 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611930102352 140612391118747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32505] ppid=32491 vsize=14090952 memory=14464 CPUtime=0.84 cores=0,2,4,6
/proc/32494/task/32505/stat : 32505 (java) S 32491 32494 30179 0 -1 1077944384 2177 0 0 0 83 1 0 0 20 0 15 0 42083287 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611929049200 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32506] ppid=32491 vsize=14090952 memory=1274648 CPUtime=0.85 cores=0,2,4,6
/proc/32494/task/32506/stat : 32506 (java) S 32491 32494 30179 0 -1 1077944384 5298 0 0 0 84 1 0 0 20 0 15 0 42083287 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611860555760 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32507] ppid=32491 vsize=14090952 memory=1274648 CPUtime=0.67 cores=0,2,4,6
/proc/32494/task/32507/stat : 32507 (java) S 32491 32494 30179 0 -1 1077944384 5663 0 0 0 65 2 0 0 20 0 15 0 42083287 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611859503472 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32508] ppid=32491 vsize=14090952 memory=1274648 CPUtime=0 cores=0,2,4,6
/proc/32494/task/32508/stat : 32508 (java) S 32491 32494 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42083287 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611858450912 140612391110357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
[pid=32494/tid=32509] ppid=32491 vsize=14090952 memory=1724 CPUtime=1.57 cores=0,2,4,6
/proc/32494/task/32509/stat : 32509 (java) S 32491 32494 30179 0 -1 1077944384 1251 0 0 0 76 81 0 0 20 0 15 0 42083288 14429134848 318662 33554432000 4194304 4196468 140737411818256 140611857398704 140612391111298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28229632 140737411822676 140737411822857 140737411822857 140737411825615 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1274648 KiB
Child status: 143
Real time (s): 2360.62
CPU time (s): 2400.08
CPU user time (s): 2396.19
CPU system time (s): 3.88905
CPU usage (%): 101.672
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 1274648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.19
system time used= 3.88905
maximum resident set size= 1275200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 312640
involuntary context switches= 8310
# summary of solver processes directly reported to runsolver:
# pid: 32494
# total CPU time (s): 2400.08
# total CPU user time (s): 2396.19
# total CPU system time (s): 3.88905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0197 second user time and 21.5292 second system time
The end