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 (7574 MiB free)
memory of node 1: 16384 MiB (9992 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290846-1532239156/watcher-4290846-1532239156 -o /tmp/evaluation-result-4290846-1532239156/solver-4290846-1532239156 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532226532-30581 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 1469088874 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290846-1532239156.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=32556, runsolver pid=32553
[startup+0.102964 s]*
/proc/loadavg: 1.37 1.36 1.38 3/215 32571
/proc/meminfo: memFree=17968820/32770624 swapFree=67108860/67108860
[pid=32556] ppid=32553 vsize=14082740 memory=31508 CPUtime=0.12 cores=0,2,4,6
/proc/32556/stat : 32556 (java) S 32553 32556 30550 0 -1 1077944320 6801 0 0 0 11 1 0 0 20 0 15 0 41478743 14420725760 7877 33554432000 4194304 4196468 140731982247440 140731982229984 139671276732151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
/proc/32556/statm: 3520685 7877 3141 1 0 3482761 0
[pid=32556/tid=32558] ppid=32553 vsize=14082740 memory=-8701690554791925118 CPUtime=0.09 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (java) R 32553 32556 30550 0 -1 4202560 4859 0 0 0 8 1 0 0 20 0 15 0 41478743 14420725760 7877 33554432000 4194304 4196468 140731982247440 139671280955056 139671260812638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32559] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 7877 33554432000 4194304 4196468 140731982247440 139671206820496 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32560] ppid=32553 vsize=14082740 memory=139621912229504 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32560/stat : 32560 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 7877 33554432000 4194304 4196468 140731982247440 139671205767696 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32561] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32561/stat : 32561 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 7877 33554432000 4194304 4196468 140731982247440 139671204714896 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32562] ppid=32553 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32562/stat : 32562 (java) S 32553 32556 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 7877 33554432000 4194304 4196468 140731982247440 139671203662096 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32563] ppid=32553 vsize=14082740 memory=139621912229504 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32563/stat : 32563 (java) S 32553 32556 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41478745 14420725760 7877 33554432000 4194304 4196468 140731982247440 139670750460784 139671276743298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32564] ppid=32553 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32564/stat : 32564 (java) S 32553 32556 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41478746 14420725760 7877 33554432000 4194304 4196468 140731982247440 139670749406752 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32565] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32565/stat : 32565 (java) S 32553 32556 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41478746 14420725760 7877 33554432000 4194304 4196468 140731982247440 139670748353904 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32566] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32566/stat : 32566 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478748 14420725760 7877 33554432000 4194304 4196468 140731982247440 139670747302224 139671276750747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32567] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32567/stat : 32567 (java) S 32553 32556 30550 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 41478748 14420725760 7877 33554432000 4194304 4196468 140731982247440 139670746249584 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32568] ppid=32553 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32568/stat : 32568 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478748 14420725760 7877 33554432000 4194304 4196468 140731982247440 139670745196784 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32569] ppid=32553 vsize=14082740 memory=139621912229504 CPUtime=0.01 cores=0,2,4,6
/proc/32556/task/32569/stat : 32569 (java) S 32553 32556 30550 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 41478748 14420725760 7877 33554432000 4194304 4196468 140731982247440 139670744143984 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32570] ppid=32553 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32570/stat : 32570 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478749 14420725760 7877 33554432000 4194304 4196468 140731982247440 139670743091424 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32571] ppid=32553 vsize=14082740 memory=139621912229504 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32571/stat : 32571 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478749 14420725760 7877 33554432000 4194304 4196468 140731982247440 139670742039728 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31508 KiB
[startup+0.213042 s]*
/proc/loadavg: 1.37 1.36 1.38 6/215 32571
/proc/meminfo: memFree=17953916/32770624 swapFree=67108860/67108860
[pid=32556] ppid=32553 vsize=14082740 memory=47544 CPUtime=0.3 cores=0,2,4,6
/proc/32556/stat : 32556 (java) S 32553 32556 30550 0 -1 1077944320 10432 0 0 0 28 2 0 0 20 0 15 0 41478743 14420725760 11886 33554432000 4194304 4196468 140731982247440 140731982229984 139671276732151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
/proc/32556/statm: 3520685 11886 3408 1 0 3482761 0
[pid=32556/tid=32558] ppid=32553 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (java) R 32553 32556 30550 0 -1 4202560 8153 0 0 0 19 1 0 0 20 0 15 0 41478743 14420725760 11886 33554432000 4194304 4196468 140731982247440 139671280958480 139671260775781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32559] ppid=32553 vsize=14082740 memory=342 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 11886 33554432000 4194304 4196468 140731982247440 139671206820496 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32560] ppid=32553 vsize=14082740 memory=139621912453214 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32560/stat : 32560 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 11886 33554432000 4194304 4196468 140731982247440 139671205767696 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32561] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32561/stat : 32561 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 11886 33554432000 4194304 4196468 140731982247440 139671204714896 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32562] ppid=32553 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32562/stat : 32562 (java) S 32553 32556 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 11886 33554432000 4194304 4196468 140731982247440 139671203662096 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32563] ppid=32553 vsize=14082740 memory=139621912229504 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32563/stat : 32563 (java) S 32553 32556 30550 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41478745 14420725760 11886 33554432000 4194304 4196468 140731982247440 139670750460784 139671276743298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32564] ppid=32553 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32564/stat : 32564 (java) S 32553 32556 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41478746 14420725760 11886 33554432000 4194304 4196468 140731982247440 139670749406752 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32565] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32565/stat : 32565 (java) S 32553 32556 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41478746 14420725760 11886 33554432000 4194304 4196468 140731982247440 139670748353904 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32566] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32566/stat : 32566 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478748 14420725760 11886 33554432000 4194304 4196468 140731982247440 139670747302224 139671276750747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32567] ppid=32553 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32556/task/32567/stat : 32567 (java) S 32553 32556 30550 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 41478748 14420725760 11886 33554432000 4194304 4196468 140731982247440 139670746249584 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32568] ppid=32553 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32556/task/32568/stat : 32568 (java) S 32553 32556 30550 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 41478748 14420725760 11886 33554432000 4194304 4196468 140731982247440 139670745196784 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32569] ppid=32553 vsize=14082740 memory=139621912229504 CPUtime=0.05 cores=0,2,4,6
/proc/32556/task/32569/stat : 32569 (java) R 32553 32556 30550 0 -1 4202560 284 0 0 0 5 0 0 0 20 0 15 0 41478748 14420725760 11886 33554432000 4194304 4196468 140731982247440 139670744140160 139671255365730 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32570] ppid=32553 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32570/stat : 32570 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478749 14420725760 11886 33554432000 4194304 4196468 140731982247440 139670743091424 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32571] ppid=32553 vsize=14082740 memory=139621912229504 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32571/stat : 32571 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478749 14420725760 11886 33554432000 4194304 4196468 140731982247440 139670742039728 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47544 KiB
[startup+0.311269 s]*
/proc/loadavg: 1.37 1.36 1.38 3/215 32571
/proc/meminfo: memFree=17951340/32770624 swapFree=67108860/67108860
[pid=32556] ppid=32553 vsize=14082740 memory=50892 CPUtime=0.43 cores=0,2,4,6
/proc/32556/stat : 32556 (java) S 32553 32556 30550 0 -1 1077944320 10787 0 0 0 41 2 0 0 20 0 15 0 41478743 14420725760 12723 33554432000 4194304 4196468 140731982247440 140731982229984 139671276732151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
/proc/32556/statm: 3520685 12723 3411 1 0 3482761 0
[pid=32556/tid=32558] ppid=32553 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (java) R 32553 32556 30550 0 -1 4202560 8487 0 0 0 28 2 0 0 20 0 15 0 41478743 14420725760 12723 33554432000 4194304 4196468 140731982247440 139671280944008 139671259918578 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32559] ppid=32553 vsize=14082740 memory=288230600413020183 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 12723 33554432000 4194304 4196468 140731982247440 139671206820496 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32560] ppid=32553 vsize=14082740 memory=139621912448398 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32560/stat : 32560 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 12723 33554432000 4194304 4196468 140731982247440 139671205767696 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32561] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32561/stat : 32561 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 12723 33554432000 4194304 4196468 140731982247440 139671204714896 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32562] ppid=32553 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32562/stat : 32562 (java) S 32553 32556 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41478744 14420725760 12723 33554432000 4194304 4196468 140731982247440 139671203662096 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32563] ppid=32553 vsize=14082740 memory=139621912229504 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32563/stat : 32563 (java) S 32553 32556 30550 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41478745 14420725760 12723 33554432000 4194304 4196468 140731982247440 139670750460784 139671276743298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32564] ppid=32553 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32564/stat : 32564 (java) S 32553 32556 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41478746 14420725760 12723 33554432000 4194304 4196468 140731982247440 139670749406752 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32565] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32565/stat : 32565 (java) S 32553 32556 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41478746 14420725760 12723 33554432000 4194304 4196468 140731982247440 139670748353904 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32566] ppid=32553 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32566/stat : 32566 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478748 14420725760 12723 33554432000 4194304 4196468 140731982247440 139670747302224 139671276750747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32567] ppid=32553 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32556/task/32567/stat : 32567 (java) S 32553 32556 30550 0 -1 1077944384 417 0 0 0 3 0 0 0 20 0 15 0 41478748 14420725760 12723 33554432000 4194304 4196468 140731982247440 139670746249584 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32568] ppid=32553 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32556/task/32568/stat : 32568 (java) S 32553 32556 30550 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 15 0 41478748 14420725760 12723 33554432000 4194304 4196468 140731982247440 139670745196784 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32569] ppid=32553 vsize=14082740 memory=139621912229504 CPUtime=0.07 cores=0,2,4,6
/proc/32556/task/32569/stat : 32569 (java) S 32553 32556 30550 0 -1 1077944384 293 0 0 0 7 0 0 0 20 0 15 0 41478748 14420725760 12723 33554432000 4194304 4196468 140731982247440 139670744143984 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32570] ppid=32553 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32570/stat : 32570 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478749 14420725760 12723 33554432000 4194304 4196468 140731982247440 139670743091424 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32571] ppid=32553 vsize=14082740 memory=139621912229504 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32571/stat : 32571 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478749 14420725760 12723 33554432000 4194304 4196468 140731982247440 139670742039728 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50892 KiB
[startup+0.700661 s]
/proc/loadavg: 1.37 1.36 1.38 3/215 32571
/proc/meminfo: memFree=17927280/32770624 swapFree=67108860/67108860
[pid=32556] ppid=32553 vsize=14084808 memory=88716 CPUtime=0.98 cores=0,2,4,6
/proc/32556/stat : 32556 (java) S 32553 32556 30550 0 -1 1077944320 17572 0 0 0 93 5 0 0 20 0 15 0 41478743 14422843392 22179 33554432000 4194304 4196468 140731982247440 140731982229984 139671276732151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
/proc/32556/statm: 3521202 22179 3497 1 0 3483273 0
[pid=32556/tid=32558] ppid=32553 vsize=14084808 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (java) R 32553 32556 30550 0 -1 4202560 14885 0 0 0 63 4 0 0 20 0 15 0 41478743 14422843392 22179 33554432000 4194304 4196468 140731982247440 139671280947648 139671260812668 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32559] ppid=32553 vsize=14084808 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14422843392 22179 33554432000 4194304 4196468 140731982247440 139671206820496 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32560] ppid=32553 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32560/stat : 32560 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14422843392 22179 33554432000 4194304 4196468 140731982247440 139671205767696 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32561] ppid=32553 vsize=14084808 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32561/stat : 32561 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478744 14422843392 22179 33554432000 4194304 4196468 140731982247440 139671204714896 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32562] ppid=32553 vsize=14084808 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32562/stat : 32562 (java) S 32553 32556 30550 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41478744 14422843392 22179 33554432000 4194304 4196468 140731982247440 139671203662096 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32563] ppid=32553 vsize=14084808 memory=9916 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32563/stat : 32563 (java) S 32553 32556 30550 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41478745 14422843392 22179 33554432000 4194304 4196468 140731982247440 139670750460784 139671276743298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32564] ppid=32553 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32564/stat : 32564 (java) S 32553 32556 30550 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41478746 14422843392 22179 33554432000 4194304 4196468 140731982247440 139670749406752 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32565] ppid=32553 vsize=14084808 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32565/stat : 32565 (java) S 32553 32556 30550 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41478746 14422843392 22179 33554432000 4194304 4196468 140731982247440 139670748353904 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32566] ppid=32553 vsize=14084808 memory=4639098309541127013 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32566/stat : 32566 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478748 14422843392 22179 33554432000 4194304 4196468 140731982247440 139670747302224 139671276750747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32567] ppid=32553 vsize=14084808 memory=7810176774304459348 CPUtime=0.09 cores=0,2,4,6
/proc/32556/task/32567/stat : 32567 (java) S 32553 32556 30550 0 -1 1077944384 564 0 0 0 9 0 0 0 20 0 15 0 41478748 14422843392 22179 33554432000 4194304 4196468 140731982247440 139670746249584 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32568] ppid=32553 vsize=14084808 memory=6154282490091891024 CPUtime=0.05 cores=0,2,4,6
/proc/32556/task/32568/stat : 32568 (java) S 32553 32556 30550 0 -1 1077944384 365 0 0 0 5 0 0 0 20 0 15 0 41478748 14422843392 22179 33554432000 4194304 4196468 140731982247440 139670745196784 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32569] ppid=32553 vsize=14084808 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/32556/task/32569/stat : 32569 (java) R 32553 32556 30550 0 -1 1077944384 377 0 0 0 14 0 0 0 20 0 15 0 41478748 14422843392 22179 33554432000 4194304 4196468 140731982247440 139670744143984 139671276743298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32570] ppid=32553 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32570/stat : 32570 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478749 14422843392 22179 33554432000 4194304 4196468 140731982247440 139670743091424 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32571] ppid=32553 vsize=14084808 memory=33 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32571/stat : 32571 (java) S 32553 32556 30550 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41478749 14422843392 22179 33554432000 4194304 4196468 140731982247440 139670742039728 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88716 KiB
[startup+1.50107 s]
/proc/loadavg: 1.42 1.37 1.39 5/215 32571
/proc/meminfo: memFree=17753264/32770624 swapFree=67108860/67108860
[pid=32556] ppid=32553 vsize=14086856 memory=274312 CPUtime=3.56 cores=0,2,4,6
/proc/32556/stat : 32556 (java) S 32553 32556 30550 0 -1 1077944320 25724 0 0 0 342 14 0 0 20 0 15 0 41478743 14424940544 68578 33554432000 4194304 4196468 140731982247440 140731982229984 139671276732151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
/proc/32556/statm: 3521714 68578 3568 1 0 3483785 0
[pid=32556/tid=32558] ppid=32553 vsize=14086856 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (java) R 32553 32556 30550 0 -1 4202560 16272 0 0 0 133 7 0 0 20 0 15 0 41478743 14424940544 68578 33554432000 4194304 4196468 140731982247440 139671280967560 139671262427143 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32559] ppid=32553 vsize=14086856 memory=-3704326594973231466 CPUtime=0.02 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (java) S 32553 32556 30550 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 41478744 14424940544 68578 33554432000 4194304 4196468 140731982247440 139671206820496 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32560] ppid=32553 vsize=14086856 memory=-7595718148000617580 CPUtime=0.05 cores=0,2,4,6
/proc/32556/task/32560/stat : 32560 (java) S 32553 32556 30550 0 -1 1077944384 341 0 0 0 4 1 0 0 20 0 15 0 41478744 14424940544 68578 33554432000 4194304 4196468 140731982247440 139671205767696 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32561] ppid=32553 vsize=14086856 memory=8128038100524242582 CPUtime=0.03 cores=0,2,4,6
/proc/32556/task/32561/stat : 32561 (java) S 32553 32556 30550 0 -1 1077944384 75 0 0 0 3 0 0 0 20 0 15 0 41478744 14424940544 68578 33554432000 4194304 4196468 140731982247440 139671204714896 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32562] ppid=32553 vsize=14086856 memory=8259761640030508194 CPUtime=0.05 cores=0,2,4,6
/proc/32556/task/32562/stat : 32562 (java) S 32553 32556 30550 0 -1 1077944384 403 0 0 0 4 1 0 0 20 0 15 0 41478744 14424940544 68578 33554432000 4194304 4196468 140731982247440 139671203662096 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32563] ppid=32553 vsize=14086856 memory=-7595718316223324558 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32563/stat : 32563 (java) S 32553 32556 30550 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 41478745 14424940544 68578 33554432000 4194304 4196468 140731982247440 139670750460784 139671276743298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
################
# More data... #
################
/proc/32556/task/32558/stat : 32558 (java) R 32553 32556 30550 0 -1 4202560 88942 0 0 0 223733 79 0 0 20 0 15 0 41478743 14429134848 542587 33554432000 4194304 4196468 140731982247440 139671280970112 139670888212189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32559] ppid=32553 vsize=14090952 memory=920 CPUtime=13.55 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (java) S 32553 32556 30550 0 -1 1077944384 31608 0 0 0 1305 50 0 0 20 0 15 0 41478744 14429134848 542587 33554432000 4194304 4196468 140731982247440 139671206820496 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32560] ppid=32553 vsize=14090952 memory=3848 CPUtime=13.55 cores=0,2,4,6
/proc/32556/task/32560/stat : 32560 (java) S 32553 32556 30550 0 -1 1077944384 28744 0 0 0 1306 49 0 0 20 0 15 0 41478744 14429134848 542587 33554432000 4194304 4196468 140731982247440 139671205767696 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32561] ppid=32553 vsize=14090952 memory=2900 CPUtime=13.58 cores=0,2,4,6
/proc/32556/task/32561/stat : 32561 (java) S 32553 32556 30550 0 -1 1077944384 29333 0 0 0 1307 51 0 0 20 0 15 0 41478744 14429134848 542587 33554432000 4194304 4196468 140731982247440 139671204714896 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32562] ppid=32553 vsize=14090952 memory=2588 CPUtime=13.6 cores=0,2,4,6
/proc/32556/task/32562/stat : 32562 (java) S 32553 32556 30550 0 -1 1077944384 24367 0 0 0 1310 50 0 0 20 0 15 0 41478744 14429134848 542587 33554432000 4194304 4196468 140731982247440 139671203662096 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32563] ppid=32553 vsize=14090952 memory=4108 CPUtime=6.76 cores=0,2,4,6
/proc/32556/task/32563/stat : 32563 (java) S 32553 32556 30550 0 -1 1077944384 42951 0 0 0 608 68 0 0 20 0 15 0 41478745 14429134848 542587 33554432000 4194304 4196468 140731982247440 139670750460784 139671276743298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32564] ppid=32553 vsize=14090952 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32564/stat : 32564 (java) S 32553 32556 30550 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 41478746 14429134848 542587 33554432000 4194304 4196468 140731982247440 139670749406816 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32565] ppid=32553 vsize=14090952 memory=3192 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32565/stat : 32565 (java) S 32553 32556 30550 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 41478746 14429134848 542587 33554432000 4194304 4196468 140731982247440 139670748353920 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32566] ppid=32553 vsize=14090952 memory=2172912 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32566/stat : 32566 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478748 14429134848 542587 33554432000 4194304 4196468 140731982247440 139670747302224 139671276750747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32567] ppid=32553 vsize=14090952 memory=1404 CPUtime=3.28 cores=0,2,4,6
/proc/32556/task/32567/stat : 32567 (java) S 32553 32556 30550 0 -1 1077944384 11886 0 0 0 327 1 0 0 20 0 15 0 41478748 14429134848 542587 33554432000 4194304 4196468 140731982247440 139670746249584 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32568] ppid=32553 vsize=14090952 memory=3208 CPUtime=3.06 cores=0,2,4,6
/proc/32556/task/32568/stat : 32568 (java) S 32553 32556 30550 0 -1 1077944384 7347 0 0 0 304 2 0 0 20 0 15 0 41478748 14429134848 542587 33554432000 4194304 4196468 140731982247440 139670745196784 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32569] ppid=32553 vsize=14090952 memory=1302484 CPUtime=1.03 cores=0,2,4,6
/proc/32556/task/32569/stat : 32569 (java) S 32553 32556 30550 0 -1 1077944384 6136 0 0 0 100 3 0 0 20 0 15 0 41478748 14429134848 542587 33554432000 4194304 4196468 140731982247440 139670744143984 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32570] ppid=32553 vsize=14090952 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32570/stat : 32570 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478749 14429134848 542587 33554432000 4194304 4196468 140731982247440 139670743091424 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32571] ppid=32553 vsize=14090952 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/32556/task/32571/stat : 32571 (java) S 32553 32556 30550 0 -1 1077944384 1764 0 0 0 62 79 0 0 20 0 15 0 41478749 14429134848 542587 33554432000 4194304 4196468 140731982247440 139670742039728 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
Current children cumulated CPU time: 2308.02 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2170348 KiB
[startup+2322.3 s]*
/proc/loadavg: 1.24 1.33 1.35 3/215 32738
/proc/meminfo: memFree=15050776/32770624 swapFree=67108860/67108860
[pid=32556] ppid=32553 vsize=14090952 memory=2125716 CPUtime=2369.09 cores=0,2,4,6
/proc/32556/stat : 32556 (java) S 32553 32556 30550 0 -1 1077944320 277981 0 0 0 236524 385 0 0 20 0 15 0 41478743 14429134848 531429 33554432000 4194304 4196468 140731982247440 140731982229984 139671276732151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
/proc/32556/statm: 3522738 531429 3606 1 0 3484809 0
[pid=32556/tid=32558] ppid=32553 vsize=14090952 memory=6791534058613427641 CPUtime=2297.4 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (java) R 32553 32556 30550 0 -1 4202560 90439 0 0 0 229660 80 0 0 20 0 15 0 41478743 14429134848 531429 33554432000 4194304 4196468 140731982247440 139671280970048 139670881853206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32559] ppid=32553 vsize=14090952 memory=4616 CPUtime=13.93 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (java) S 32553 32556 30550 0 -1 1077944384 31967 0 0 0 1342 51 0 0 20 0 15 0 41478744 14429134848 531429 33554432000 4194304 4196468 140731982247440 139671206820496 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32560] ppid=32553 vsize=14090952 memory=1428 CPUtime=13.94 cores=0,2,4,6
/proc/32556/task/32560/stat : 32560 (java) S 32553 32556 30550 0 -1 1077944384 28927 0 0 0 1343 51 0 0 20 0 15 0 41478744 14429134848 531429 33554432000 4194304 4196468 140731982247440 139671205767696 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32561] ppid=32553 vsize=14090952 memory=15876 CPUtime=13.96 cores=0,2,4,6
/proc/32556/task/32561/stat : 32561 (java) S 32553 32556 30550 0 -1 1077944384 29612 0 0 0 1344 52 0 0 20 0 15 0 41478744 14429134848 531429 33554432000 4194304 4196468 140731982247440 139671204714896 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32562] ppid=32553 vsize=14090952 memory=16436 CPUtime=13.98 cores=0,2,4,6
/proc/32556/task/32562/stat : 32562 (java) S 32553 32556 30550 0 -1 1077944384 24932 0 0 0 1347 51 0 0 20 0 15 0 41478744 14429134848 531429 33554432000 4194304 4196468 140731982247440 139671203662096 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32563] ppid=32553 vsize=14090952 memory=8900 CPUtime=6.97 cores=0,2,4,6
/proc/32556/task/32563/stat : 32563 (java) S 32553 32556 30550 0 -1 1077944384 43482 0 0 0 628 69 0 0 20 0 15 0 41478745 14429134848 531429 33554432000 4194304 4196468 140731982247440 139670750460784 139671276743298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32564] ppid=32553 vsize=14090952 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32564/stat : 32564 (java) S 32553 32556 30550 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 41478746 14429134848 531429 33554432000 4194304 4196468 140731982247440 139670749406816 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32565] ppid=32553 vsize=14090952 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32565/stat : 32565 (java) S 32553 32556 30550 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 41478746 14429134848 531429 33554432000 4194304 4196468 140731982247440 139670748353920 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32566] ppid=32553 vsize=14090952 memory=636 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32566/stat : 32566 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478748 14429134848 531429 33554432000 4194304 4196468 140731982247440 139670747302224 139671276750747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32567] ppid=32553 vsize=14090952 memory=1008 CPUtime=3.28 cores=0,2,4,6
/proc/32556/task/32567/stat : 32567 (java) S 32553 32556 30550 0 -1 1077944384 11892 0 0 0 327 1 0 0 20 0 15 0 41478748 14429134848 531429 33554432000 4194304 4196468 140731982247440 139670746249584 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32568] ppid=32553 vsize=14090952 memory=9916 CPUtime=3.06 cores=0,2,4,6
/proc/32556/task/32568/stat : 32568 (java) S 32553 32556 30550 0 -1 1077944384 7354 0 0 0 304 2 0 0 20 0 15 0 41478748 14429134848 531429 33554432000 4194304 4196468 140731982247440 139670745196784 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32569] ppid=32553 vsize=14090952 memory=1228 CPUtime=1.03 cores=0,2,4,6
/proc/32556/task/32569/stat : 32569 (java) S 32553 32556 30550 0 -1 1077944384 6142 0 0 0 100 3 0 0 20 0 15 0 41478748 14429134848 531429 33554432000 4194304 4196468 140731982247440 139670744143984 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32570] ppid=32553 vsize=14090952 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32570/stat : 32570 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478749 14429134848 531429 33554432000 4194304 4196468 140731982247440 139670743091424 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32571] ppid=32553 vsize=14090952 memory=1200 CPUtime=1.44 cores=0,2,4,6
/proc/32556/task/32571/stat : 32571 (java) S 32553 32556 30550 0 -1 1077944384 1801 0 0 0 63 81 0 0 20 0 15 0 41478749 14429134848 531429 33554432000 4194304 4196468 140731982247440 139670742039728 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
Current children cumulated CPU time: 2369.09 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2125716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2352.8 s]
/proc/loadavg: 1.30 1.33 1.35 3/215 32739
/proc/meminfo: memFree=15065112/32770624 swapFree=67108860/67108860
[pid=32556] ppid=32553 vsize=14090952 memory=2105196 CPUtime=2400.09 cores=0,2,4,6
/proc/32556/stat : 32556 (java) S 32553 32556 30550 0 -1 1077944320 280121 0 0 0 239619 390 0 0 20 0 15 0 41478743 14429134848 526299 33554432000 4194304 4196468 140731982247440 140731982229984 139671276732151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
/proc/32556/statm: 3522738 526299 3606 1 0 3484809 0
[pid=32556/tid=32558] ppid=32553 vsize=14090952 memory=960 CPUtime=2327.54 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (java) R 32553 32556 30550 0 -1 4202560 91210 0 0 0 232673 81 0 0 20 0 15 0 41478743 14429134848 526299 33554432000 4194304 4196468 140731982247440 139671280970448 139670888042861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32559] ppid=32553 vsize=14090952 memory=2107760 CPUtime=14.11 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (java) S 32553 32556 30550 0 -1 1077944384 32256 0 0 0 1359 52 0 0 20 0 15 0 41478744 14429134848 526299 33554432000 4194304 4196468 140731982247440 139671206820496 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32560] ppid=32553 vsize=14090952 memory=2110324 CPUtime=14.12 cores=0,2,4,6
/proc/32556/task/32560/stat : 32560 (java) S 32553 32556 30550 0 -1 1077944384 29165 0 0 0 1360 52 0 0 20 0 15 0 41478744 14429134848 526299 33554432000 4194304 4196468 140731982247440 139671205767696 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32561] ppid=32553 vsize=14090952 memory=2106736 CPUtime=14.14 cores=0,2,4,6
/proc/32556/task/32561/stat : 32561 (java) S 32553 32556 30550 0 -1 1077944384 29956 0 0 0 1361 53 0 0 20 0 15 0 41478744 14429134848 526299 33554432000 4194304 4196468 140731982247440 139671204714896 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32562] ppid=32553 vsize=14090952 memory=2105708 CPUtime=14.18 cores=0,2,4,6
/proc/32556/task/32562/stat : 32562 (java) S 32553 32556 30550 0 -1 1077944384 25045 0 0 0 1366 52 0 0 20 0 15 0 41478744 14429134848 526299 33554432000 4194304 4196468 140731982247440 139671203662096 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32563] ppid=32553 vsize=14090952 memory=2105196 CPUtime=7.07 cores=0,2,4,6
/proc/32556/task/32563/stat : 32563 (java) S 32553 32556 30550 0 -1 1077944384 43831 0 0 0 637 70 0 0 20 0 15 0 41478745 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670750460784 139671276743298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32564] ppid=32553 vsize=14090952 memory=2109300 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32564/stat : 32564 (java) S 32553 32556 30550 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 41478746 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670749406816 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32565] ppid=32553 vsize=14090952 memory=7810761705615681382 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32565/stat : 32565 (java) S 32553 32556 30550 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 41478746 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670748353920 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32566] ppid=32553 vsize=14090952 memory=2109812 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32566/stat : 32566 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478748 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670747302224 139671276750747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32567] ppid=32553 vsize=14090952 memory=4128 CPUtime=3.28 cores=0,2,4,6
/proc/32556/task/32567/stat : 32567 (java) S 32553 32556 30550 0 -1 1077944384 11896 0 0 0 327 1 0 0 20 0 15 0 41478748 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670746249584 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32568] ppid=32553 vsize=14090952 memory=636 CPUtime=3.06 cores=0,2,4,6
/proc/32556/task/32568/stat : 32568 (java) S 32553 32556 30550 0 -1 1077944384 7358 0 0 0 304 2 0 0 20 0 15 0 41478748 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670745196784 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32569] ppid=32553 vsize=14090952 memory=960 CPUtime=1.03 cores=0,2,4,6
/proc/32556/task/32569/stat : 32569 (java) S 32553 32556 30550 0 -1 1077944384 6146 0 0 0 100 3 0 0 20 0 15 0 41478748 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670744143984 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32570] ppid=32553 vsize=14090952 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32570/stat : 32570 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478749 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670743091424 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32571] ppid=32553 vsize=14090952 memory=10412 CPUtime=1.46 cores=0,2,4,6
/proc/32556/task/32571/stat : 32571 (java) S 32553 32556 30550 0 -1 1077944384 1825 0 0 0 63 83 0 0 20 0 15 0 41478749 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670742039728 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2105196 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2352.82 s]
# the end of solver process 32556 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.2 s, system=3.91053 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2352.8 s]
/proc/loadavg: 1.30 1.33 1.35 3/215 32739
/proc/meminfo: memFree=15065112/32770624 swapFree=67108860/67108860
[pid=32556] ppid=32553 vsize=14090952 memory=2105196 CPUtime=2400.09 cores=0,2,4,6
/proc/32556/stat : 32556 (java) S 32553 32556 30550 0 -1 1077944320 280121 0 0 0 239619 390 0 0 20 0 15 0 41478743 14429134848 526299 33554432000 4194304 4196468 140731982247440 140731982229984 139671276732151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
/proc/32556/statm: 3522738 526299 3606 1 0 3484809 0
[pid=32556/tid=32558] ppid=32553 vsize=14090952 memory=960 CPUtime=2327.54 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (java) R 32553 32556 30550 0 -1 4202560 91210 0 0 0 232673 81 0 0 20 0 15 0 41478743 14429134848 526299 33554432000 4194304 4196468 140731982247440 139671280970448 139670888042861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32559] ppid=32553 vsize=14090952 memory=2107760 CPUtime=14.11 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (java) S 32553 32556 30550 0 -1 1077944384 32256 0 0 0 1359 52 0 0 20 0 15 0 41478744 14429134848 526299 33554432000 4194304 4196468 140731982247440 139671206820496 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32560] ppid=32553 vsize=14090952 memory=2110324 CPUtime=14.12 cores=0,2,4,6
/proc/32556/task/32560/stat : 32560 (java) S 32553 32556 30550 0 -1 1077944384 29165 0 0 0 1360 52 0 0 20 0 15 0 41478744 14429134848 526299 33554432000 4194304 4196468 140731982247440 139671205767696 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32561] ppid=32553 vsize=14090952 memory=2106736 CPUtime=14.14 cores=0,2,4,6
/proc/32556/task/32561/stat : 32561 (java) S 32553 32556 30550 0 -1 1077944384 29956 0 0 0 1361 53 0 0 20 0 15 0 41478744 14429134848 526299 33554432000 4194304 4196468 140731982247440 139671204714896 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32562] ppid=32553 vsize=14090952 memory=2105708 CPUtime=14.18 cores=0,2,4,6
/proc/32556/task/32562/stat : 32562 (java) S 32553 32556 30550 0 -1 1077944384 25045 0 0 0 1366 52 0 0 20 0 15 0 41478744 14429134848 526299 33554432000 4194304 4196468 140731982247440 139671203662096 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32563] ppid=32553 vsize=14090952 memory=2105196 CPUtime=7.07 cores=0,2,4,6
/proc/32556/task/32563/stat : 32563 (java) S 32553 32556 30550 0 -1 1077944384 43831 0 0 0 637 70 0 0 20 0 15 0 41478745 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670750460784 139671276743298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32564] ppid=32553 vsize=14090952 memory=2109300 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32564/stat : 32564 (java) S 32553 32556 30550 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 41478746 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670749406816 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32565] ppid=32553 vsize=14090952 memory=7810761705615681382 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32565/stat : 32565 (java) S 32553 32556 30550 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 41478746 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670748353920 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32566] ppid=32553 vsize=14090952 memory=2109812 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32566/stat : 32566 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478748 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670747302224 139671276750747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32567] ppid=32553 vsize=14090952 memory=4128 CPUtime=3.28 cores=0,2,4,6
/proc/32556/task/32567/stat : 32567 (java) S 32553 32556 30550 0 -1 1077944384 11896 0 0 0 327 1 0 0 20 0 15 0 41478748 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670746249584 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32568] ppid=32553 vsize=14090952 memory=636 CPUtime=3.06 cores=0,2,4,6
/proc/32556/task/32568/stat : 32568 (java) S 32553 32556 30550 0 -1 1077944384 7358 0 0 0 304 2 0 0 20 0 15 0 41478748 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670745196784 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32569] ppid=32553 vsize=14090952 memory=960 CPUtime=1.03 cores=0,2,4,6
/proc/32556/task/32569/stat : 32569 (java) S 32553 32556 30550 0 -1 1077944384 6146 0 0 0 100 3 0 0 20 0 15 0 41478748 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670744143984 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32570] ppid=32553 vsize=14090952 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32570/stat : 32570 (java) S 32553 32556 30550 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41478749 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670743091424 139671276742357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
[pid=32556/tid=32571] ppid=32553 vsize=14090952 memory=10412 CPUtime=1.46 cores=0,2,4,6
/proc/32556/task/32571/stat : 32571 (java) S 32553 32556 30550 0 -1 1077944384 1825 0 0 0 63 83 0 0 20 0 15 0 41478749 14429134848 526299 33554432000 4194304 4196468 140731982247440 139670742039728 139671276743298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24068096 140731982255184 140731982255369 140731982255369 140731982258127 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2105196 KiB
Child status: 143
Real time (s): 2352.82
CPU time (s): 2400.12
CPU user time (s): 2396.2
CPU system time (s): 3.91053
CPU usage (%): 102.01
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 3490156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.2
system time used= 3.91052
maximum resident set size= 3494252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 233463
involuntary context switches= 9082
# summary of solver processes directly reported to runsolver:
# pid: 32556
# total CPU time (s): 2400.12
# total CPU user time (s): 2396.2
# total CPU system time (s): 3.91053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8969 second user time and 21.9549 second system time
The end