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 (13224 MiB free)
memory of node 1: 16384 MiB (10052 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307742-1534260543/watcher-4307742-1534260543 -o /tmp/evaluation-result-4307742-1534260543/solver-4307742-1534260543 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534258055-12151 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 757483690 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307742-1534260543.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12675, runsolver pid=12672
Current StackSize limit: 8192 KiB
[startup+0.100163 s]*
/proc/loadavg: 1.55 1.47 1.32 3/215 12690
/proc/meminfo: memFree=23817448/32770624 swapFree=67108524/67108860
[pid=12675] ppid=12672 vsize=14082736 memory=30568 CPUtime=0.12 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12672 12675 12120 0 -1 1077944320 6545 0 0 0 11 1 0 0 20 0 15 0 243617545 14420721664 7642 33554432000 4194304 4196468 140731638555808 140731638538352 140612737531639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
/proc/12675/statm: 3520684 7642 3159 1 0 3482761 0
[pid=12675/tid=12677] ppid=12672 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/12675/task/12677/stat : 12677 (java) R 12672 12675 12120 0 -1 4202560 4599 0 0 0 9 0 0 0 20 0 15 0 243617546 14420721664 7642 33554432000 4194304 4196468 140731638555808 140612741771392 140612720718448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12678] ppid=12672 vsize=14082736 memory=5793855363353680313 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 7642 33554432000 4194304 4196468 140731638555808 140612667620112 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12679] ppid=12672 vsize=14082736 memory=140112343787136 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 7642 33554432000 4194304 4196468 140731638555808 140612332075920 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12680] ppid=12672 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 7642 33554432000 4194304 4196468 140731638555808 140612331023376 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12681] ppid=12672 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 7642 33554432000 4194304 4196468 140731638555808 140612329970832 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12682] ppid=12672 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617548 14420721664 7642 33554432000 4194304 4196468 140731638555808 140611852134384 140612737542786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12683] ppid=12672 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12672 12675 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617548 14420721664 7642 33554432000 4194304 4196468 140731638555808 140611851080608 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12684] ppid=12672 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12672 12675 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617549 14420721664 7642 33554432000 4194304 4196468 140731638555808 140611850028016 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12685] ppid=12672 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 7642 33554432000 4194304 4196468 140731638555808 140611848976592 140612737550235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12686] ppid=12672 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12672 12675 12120 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 7642 33554432000 4194304 4196468 140731638555808 140611847924208 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12687] ppid=12672 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 7642 33554432000 4194304 4196468 140731638555808 140611846871664 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12688] ppid=12672 vsize=14082736 memory=140112343787136 CPUtime=0.01 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12672 12675 12120 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 243617551 14420721664 7642 33554432000 4194304 4196468 140731638555808 140611845819120 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12689] ppid=12672 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 7642 33554432000 4194304 4196468 140731638555808 140611844766816 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12690] ppid=12672 vsize=14082736 memory=140112343787136 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 7642 33554432000 4194304 4196468 140731638555808 140611843713328 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30568 KiB
[startup+0.210563 s]*
/proc/loadavg: 1.55 1.47 1.32 6/215 12690
/proc/meminfo: memFree=23801896/32770624 swapFree=67108524/67108860
[pid=12675] ppid=12672 vsize=14082736 memory=46840 CPUtime=0.31 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12672 12675 12120 0 -1 1077944320 10386 0 0 0 29 2 0 0 20 0 15 0 243617545 14420721664 11710 33554432000 4194304 4196468 140731638555808 140731638538352 140612737531639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
/proc/12675/statm: 3520684 11710 3358 1 0 3482761 0
[pid=12675/tid=12677] ppid=12672 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/12675/task/12677/stat : 12677 (java) R 12672 12675 12120 0 -1 4202560 8070 0 0 0 19 1 0 0 20 0 15 0 243617546 14420721664 11710 33554432000 4194304 4196468 140731638555808 140612741758704 140612721612126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12678] ppid=12672 vsize=14082736 memory=4211973838548577674 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 11710 33554432000 4194304 4196468 140731638555808 140612667620112 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12679] ppid=12672 vsize=14082736 memory=140112343787136 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 11710 33554432000 4194304 4196468 140731638555808 140612332075920 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12680] ppid=12672 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 11710 33554432000 4194304 4196468 140731638555808 140612331023376 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12681] ppid=12672 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 11710 33554432000 4194304 4196468 140731638555808 140612329970832 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12682] ppid=12672 vsize=14082736 memory=140112343787136 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12672 12675 12120 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 243617548 14420721664 11710 33554432000 4194304 4196468 140731638555808 140611852134384 140612737542786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12683] ppid=12672 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12672 12675 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617548 14420721664 11710 33554432000 4194304 4196468 140731638555808 140611851080608 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12684] ppid=12672 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12672 12675 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617549 14420721664 11710 33554432000 4194304 4196468 140731638555808 140611850028016 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12685] ppid=12672 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 11710 33554432000 4194304 4196468 140731638555808 140611848976592 140612737550235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12686] ppid=12672 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) R 12672 12675 12120 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 15 0 243617551 14420721664 11710 33554432000 4194304 4196468 140731638555808 140611847924208 140612737542786 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12687] ppid=12672 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) R 12672 12675 12120 0 -1 4202560 107 0 0 0 1 0 0 0 20 0 15 0 243617551 14420721664 11710 33554432000 4194304 4196468 140731638555808 140611846871664 140612717382104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12688] ppid=12672 vsize=14082736 memory=140112343787136 CPUtime=0.05 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) R 12672 12675 12120 0 -1 4202560 322 0 0 0 5 0 0 0 20 0 15 0 243617551 14420721664 11710 33554432000 4194304 4196468 140731638555808 140611845819120 140612715554568 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12689] ppid=12672 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 11710 33554432000 4194304 4196468 140731638555808 140611844766816 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12690] ppid=12672 vsize=14082736 memory=140112343787136 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 11710 33554432000 4194304 4196468 140731638555808 140611843713328 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46840 KiB
[startup+0.310445 s]*
/proc/loadavg: 1.55 1.47 1.32 3/215 12690
/proc/meminfo: memFree=23798328/32770624 swapFree=67108524/67108860
[pid=12675] ppid=12672 vsize=14082736 memory=50628 CPUtime=0.44 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12672 12675 12120 0 -1 1077944320 10795 0 0 0 42 2 0 0 20 0 15 0 243617545 14420721664 12657 33554432000 4194304 4196468 140731638555808 140731638538352 140612737531639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
/proc/12675/statm: 3520684 12657 3366 1 0 3482761 0
[pid=12675/tid=12677] ppid=12672 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/12675/task/12677/stat : 12677 (java) R 12672 12675 12120 0 -1 4202560 8437 0 0 0 28 2 0 0 20 0 15 0 243617546 14420721664 12657 33554432000 4194304 4196468 140731638555808 140612741743152 140612719096592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12678] ppid=12672 vsize=14082736 memory=4211973838548577674 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 12657 33554432000 4194304 4196468 140731638555808 140612667620112 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12679] ppid=12672 vsize=14082736 memory=140112343789501 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 12657 33554432000 4194304 4196468 140731638555808 140612332075920 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12680] ppid=12672 vsize=14082736 memory=140112235190593 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 12657 33554432000 4194304 4196468 140731638555808 140612331023376 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12681] ppid=12672 vsize=14082736 memory=140112235187663 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617547 14420721664 12657 33554432000 4194304 4196468 140731638555808 140612329970832 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12682] ppid=12672 vsize=14082736 memory=140112343799282 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12672 12675 12120 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 243617548 14420721664 12657 33554432000 4194304 4196468 140731638555808 140611852134384 140612737542786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12683] ppid=12672 vsize=14082736 memory=140112235196847 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12672 12675 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617548 14420721664 12657 33554432000 4194304 4196468 140731638555808 140611851080608 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12684] ppid=12672 vsize=14082736 memory=280224470384528 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12672 12675 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617549 14420721664 12657 33554432000 4194304 4196468 140731638555808 140611850028016 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12685] ppid=12672 vsize=14082736 memory=280224470382224 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 12657 33554432000 4194304 4196468 140731638555808 140611848976592 140612737550235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12686] ppid=12672 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12672 12675 12120 0 -1 1077944384 518 0 0 0 3 0 0 0 20 0 15 0 243617551 14420721664 12657 33554432000 4194304 4196468 140731638555808 140611847924208 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12687] ppid=12672 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12672 12675 12120 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 243617551 14420721664 12657 33554432000 4194304 4196468 140731638555808 140611846871664 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12688] ppid=12672 vsize=14082736 memory=140112343787136 CPUtime=0.08 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12672 12675 12120 0 -1 1077944384 343 0 0 0 8 0 0 0 20 0 15 0 243617551 14420721664 12657 33554432000 4194304 4196468 140731638555808 140611845819120 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12689] ppid=12672 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 12657 33554432000 4194304 4196468 140731638555808 140611844766816 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12690] ppid=12672 vsize=14082736 memory=140112343787136 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617551 14420721664 12657 33554432000 4194304 4196468 140731638555808 140611843713328 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50628 KiB
[startup+0.700673 s]
/proc/loadavg: 1.55 1.47 1.32 3/215 12690
/proc/meminfo: memFree=23774648/32770624 swapFree=67108524/67108860
[pid=12675] ppid=12672 vsize=14084804 memory=89000 CPUtime=0.99 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12672 12675 12120 0 -1 1077944320 17643 0 0 0 95 4 0 0 20 0 15 0 243617545 14422839296 22250 33554432000 4194304 4196468 140731638555808 140731638538352 140612737531639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
/proc/12675/statm: 3521201 22250 3502 1 0 3483273 0
[pid=12675/tid=12677] ppid=12672 vsize=14084804 memory=1120 CPUtime=0.67 cores=0,2,4,6
/proc/12675/task/12677/stat : 12677 (java) R 12672 12675 12120 0 -1 4202560 14880 0 0 0 64 3 0 0 20 0 15 0 243617546 14422839296 22250 33554432000 4194304 4196468 140731638555808 140612741746544 140612721612126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12678] ppid=12672 vsize=14084804 memory=6064 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617547 14422839296 22250 33554432000 4194304 4196468 140731638555808 140612667620112 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12679] ppid=12672 vsize=14084804 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617547 14422839296 22250 33554432000 4194304 4196468 140731638555808 140612332075920 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12680] ppid=12672 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617547 14422839296 22250 33554432000 4194304 4196468 140731638555808 140612331023376 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12681] ppid=12672 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617547 14422839296 22250 33554432000 4194304 4196468 140731638555808 140612329970832 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12682] ppid=12672 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12672 12675 12120 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 243617548 14422839296 22250 33554432000 4194304 4196468 140731638555808 140611852134384 140612737542786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12683] ppid=12672 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12672 12675 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617548 14422839296 22250 33554432000 4194304 4196468 140731638555808 140611851080608 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12684] ppid=12672 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12672 12675 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617549 14422839296 22250 33554432000 4194304 4196468 140731638555808 140611850028016 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12685] ppid=12672 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14422839296 22250 33554432000 4194304 4196468 140731638555808 140611848976592 140612737550235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12686] ppid=12672 vsize=14084804 memory=216 CPUtime=0.08 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12672 12675 12120 0 -1 1077944384 678 0 0 0 8 0 0 0 20 0 15 0 243617551 14422839296 22250 33554432000 4194304 4196468 140731638555808 140611847924208 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12687] ppid=12672 vsize=14084804 memory=7 CPUtime=0.06 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12672 12675 12120 0 -1 1077944384 260 0 0 0 6 0 0 0 20 0 15 0 243617551 14422839296 22250 33554432000 4194304 4196468 140731638555808 140611846871664 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12688] ppid=12672 vsize=14084804 memory=690 CPUtime=0.15 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12672 12675 12120 0 -1 1077944384 442 0 0 0 15 0 0 0 20 0 15 0 243617551 14422839296 22250 33554432000 4194304 4196468 140731638555808 140611845819120 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12689] ppid=12672 vsize=14084804 memory=280224470568432 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14422839296 22250 33554432000 4194304 4196468 140731638555808 140611844766816 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12690] ppid=12672 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617551 14422839296 22250 33554432000 4194304 4196468 140731638555808 140611843713328 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89000 KiB
[startup+1.50157 s]
/proc/loadavg: 1.55 1.47 1.32 5/215 12690
/proc/meminfo: memFree=23741580/32770624 swapFree=67108524/67108860
[pid=12675] ppid=12672 vsize=14088900 memory=155136 CPUtime=2.9 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12672 12675 12120 0 -1 1077944320 24181 0 0 0 283 7 0 0 20 0 15 0 243617545 14427033600 38784 33554432000 4194304 4196468 140731638555808 140731638538352 140612737531639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
/proc/12675/statm: 3522225 38784 3542 1 0 3484297 0
[pid=12675/tid=12677] ppid=12672 vsize=14088900 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/12675/task/12677/stat : 12677 (java) R 12672 12675 12120 0 -1 4202560 18534 0 0 0 142 5 0 0 20 0 15 0 243617546 14427033600 38784 33554432000 4194304 4196468 140731638555808 140612741769424 140612352543149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12678] ppid=12672 vsize=14088900 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617547 14427033600 38784 33554432000 4194304 4196468 140731638555808 140612667620112 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12679] ppid=12672 vsize=14088900 memory=-6223234201447393634 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617547 14427033600 38784 33554432000 4194304 4196468 140731638555808 140612332075920 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12680] ppid=12672 vsize=14088900 memory=-7161677072249606702 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12672 12675 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617547 14427033600 38784 33554432000 4194304 4196468 140731638555808 140612331023376 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12681] ppid=12672 vsize=14088900 memory=4947094903557233536 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12672 12675 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617547 14427033600 38784 33554432000 4194304 4196468 140731638555808 140612329970832 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12682] ppid=12672 vsize=14088900 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12672 12675 12120 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 243617548 14427033600 38784 33554432000 4194304 4196468 140731638555808 140611852134384 140612737542786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
################
# More data... #
################
/proc/12675/task/12677/stat : 12677 (java) R 12672 12675 12120 0 -1 4202560 29155 0 0 0 243604 13 0 0 20 0 15 0 243617546 14427033600 54592 33554432000 4194304 4196468 140731638555808 140612741769808 140612352478184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12678] ppid=12672 vsize=14088900 memory=218368 CPUtime=2.16 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12672 12675 12120 0 -1 1077944384 3709 0 0 0 198 18 0 0 20 0 15 0 243617547 14427033600 54592 33554432000 4194304 4196468 140731638555808 140612667620112 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12679] ppid=12672 vsize=14088900 memory=218368 CPUtime=2.16 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12672 12675 12120 0 -1 1077944384 2368 0 0 0 198 18 0 0 20 0 15 0 243617547 14427033600 54592 33554432000 4194304 4196468 140731638555808 140612332075920 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12680] ppid=12672 vsize=14088900 memory=218368 CPUtime=2.18 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12672 12675 12120 0 -1 1077944384 1347 0 0 0 199 19 0 0 20 0 15 0 243617547 14427033600 54592 33554432000 4194304 4196468 140731638555808 140612331023376 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12681] ppid=12672 vsize=14088900 memory=218368 CPUtime=2.17 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12672 12675 12120 0 -1 1077944384 1261 0 0 0 198 19 0 0 20 0 15 0 243617547 14427033600 54592 33554432000 4194304 4196468 140731638555808 140612329970832 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12682] ppid=12672 vsize=14088900 memory=218368 CPUtime=2.43 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12672 12675 12120 0 -1 1077944384 4105 0 0 0 227 16 0 0 20 0 15 0 243617548 14427033600 54592 33554432000 4194304 4196468 140731638555808 140611852134384 140612737542786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12683] ppid=12672 vsize=14088900 memory=218368 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12672 12675 12120 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 243617548 14427033600 54592 33554432000 4194304 4196468 140731638555808 140611851080672 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12684] ppid=12672 vsize=14088900 memory=218368 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12672 12675 12120 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 243617549 14427033600 54592 33554432000 4194304 4196468 140731638555808 140611850028032 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12685] ppid=12672 vsize=14088900 memory=218368 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14427033600 54592 33554432000 4194304 4196468 140731638555808 140611848976592 140612737550235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12686] ppid=12672 vsize=14088900 memory=218368 CPUtime=0.69 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12672 12675 12120 0 -1 1077944384 3583 0 0 0 68 1 0 0 20 0 15 0 243617551 14427033600 54592 33554432000 4194304 4196468 140731638555808 140611847924208 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12687] ppid=12672 vsize=14088900 memory=3712 CPUtime=0.6 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12672 12675 12120 0 -1 1077944384 2128 0 0 0 59 1 0 0 20 0 15 0 243617551 14427033600 54592 33554432000 4194304 4196468 140731638555808 140611846871664 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12688] ppid=12672 vsize=14088900 memory=218368 CPUtime=0.51 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12672 12675 12120 0 -1 1077944384 4354 0 0 0 49 2 0 0 20 0 15 0 243617551 14427033600 54592 33554432000 4194304 4196468 140731638555808 140611845819120 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12689] ppid=12672 vsize=14088900 memory=218368 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14427033600 54592 33554432000 4194304 4196468 140731638555808 140611844766816 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12690] ppid=12672 vsize=14088900 memory=218368 CPUtime=0.7 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12672 12675 12120 0 -1 1077944384 1143 0 0 0 29 41 0 0 20 0 15 0 243617551 14427033600 54592 33554432000 4194304 4196468 140731638555808 140611843713328 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
Current children cumulated CPU time: 2449.84 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 218368 KiB
[startup+2502.3 s]
/proc/loadavg: 1.39 1.38 1.34 3/196 13155
/proc/meminfo: memFree=24640440/32770624 swapFree=67108524/67108860
[pid=12675] ppid=12672 vsize=14088900 memory=220416 CPUtime=2510.02 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12672 12675 12120 0 -1 1077944320 54920 0 0 0 250890 112 0 0 20 0 15 0 243617545 14427033600 55104 33554432000 4194304 4196468 140731638555808 140731638538352 140612737531639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
/proc/12675/statm: 3522225 55104 3573 1 0 3484297 0
[pid=12675/tid=12677] ppid=12672 vsize=14088900 memory=220416 CPUtime=2496.04 cores=0,2,4,6
/proc/12675/task/12677/stat : 12677 (java) R 12672 12675 12120 0 -1 4202560 29371 0 0 0 249590 14 0 0 20 0 15 0 243617546 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612741769856 140612352968071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12678] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.22 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12672 12675 12120 0 -1 1077944384 3760 0 0 0 204 18 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612667620112 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12679] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.22 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12672 12675 12120 0 -1 1077944384 2371 0 0 0 204 18 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612332075920 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12680] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.23 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12672 12675 12120 0 -1 1077944384 1352 0 0 0 204 19 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612331023376 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12681] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.23 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12672 12675 12120 0 -1 1077944384 1275 0 0 0 204 19 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612329970832 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12682] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.48 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12672 12675 12120 0 -1 1077944384 4145 0 0 0 232 16 0 0 20 0 15 0 243617548 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611852134384 140612737542786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12683] ppid=12672 vsize=14088900 memory=220416 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12672 12675 12120 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 243617548 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611851080672 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12684] ppid=12672 vsize=14088900 memory=220416 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12672 12675 12120 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 243617549 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611850028032 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12685] ppid=12672 vsize=14088900 memory=220416 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611848976592 140612737550235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12686] ppid=12672 vsize=14088900 memory=220416 CPUtime=0.69 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12672 12675 12120 0 -1 1077944384 3583 0 0 0 68 1 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611847924208 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12687] ppid=12672 vsize=14088900 memory=66212 CPUtime=0.6 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12672 12675 12120 0 -1 1077944384 2128 0 0 0 59 1 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611846871664 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12688] ppid=12672 vsize=14088900 memory=1064 CPUtime=0.51 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12672 12675 12120 0 -1 1077944384 4354 0 0 0 49 2 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611845819120 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12689] ppid=12672 vsize=14088900 memory=220416 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611844766816 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12690] ppid=12672 vsize=14088900 memory=3712 CPUtime=0.72 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12672 12675 12120 0 -1 1077944384 1156 0 0 0 30 42 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611843713328 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
Current children cumulated CPU time: 2510.02 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 220416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.3 s]
/proc/loadavg: 1.48 1.40 1.35 3/216 13179
/proc/meminfo: memFree=24399552/32770624 swapFree=67108524/67108860
[pid=12675] ppid=12672 vsize=14088900 memory=220416 CPUtime=2520.05 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12672 12675 12120 0 -1 1077944320 54938 0 0 0 251893 112 0 0 20 0 15 0 243617545 14427033600 55104 33554432000 4194304 4196468 140731638555808 140731638538352 140612737531639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
/proc/12675/statm: 3522225 55104 3573 1 0 3484297 0
[pid=12675/tid=12677] ppid=12672 vsize=14088900 memory=3980 CPUtime=2506.02 cores=0,2,4,6
/proc/12675/task/12677/stat : 12677 (java) R 12672 12675 12120 0 -1 4202560 29389 0 0 0 250588 14 0 0 20 0 15 0 243617546 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612741769856 140612352478321 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12678] ppid=12672 vsize=14088900 memory=752 CPUtime=2.23 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12672 12675 12120 0 -1 1077944384 3760 0 0 0 204 19 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612667620112 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12679] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.23 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12672 12675 12120 0 -1 1077944384 2371 0 0 0 205 18 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612332075920 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12680] ppid=12672 vsize=14088900 memory=223 CPUtime=2.24 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12672 12675 12120 0 -1 1077944384 1352 0 0 0 205 19 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612331023376 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12681] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.24 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12672 12675 12120 0 -1 1077944384 1275 0 0 0 205 19 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612329970832 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12682] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.49 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12672 12675 12120 0 -1 1077944384 4145 0 0 0 233 16 0 0 20 0 15 0 243617548 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611852134384 140612737542786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12683] ppid=12672 vsize=14088900 memory=220416 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12672 12675 12120 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 243617548 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611851080672 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12684] ppid=12672 vsize=14088900 memory=220416 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12672 12675 12120 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 243617549 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611850028032 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12685] ppid=12672 vsize=14088900 memory=56 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611848976592 140612737550235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12686] ppid=12672 vsize=14088900 memory=220416 CPUtime=0.69 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12672 12675 12120 0 -1 1077944384 3583 0 0 0 68 1 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611847924208 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12687] ppid=12672 vsize=14088900 memory=220416 CPUtime=0.6 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12672 12675 12120 0 -1 1077944384 2128 0 0 0 59 1 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611846871664 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12688] ppid=12672 vsize=14088900 memory=220416 CPUtime=0.51 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12672 12675 12120 0 -1 1077944384 4354 0 0 0 49 2 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611845819120 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12689] ppid=12672 vsize=14088900 memory=220416 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611844766816 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12690] ppid=12672 vsize=14088900 memory=220416 CPUtime=0.73 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12672 12675 12120 0 -1 1077944384 1156 0 0 0 30 43 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611843713328 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 220416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.31 s]
# the end of solver process 12675 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.95 s, system=1.12838 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.3 s]
/proc/loadavg: 1.48 1.40 1.35 3/216 13179
/proc/meminfo: memFree=24399552/32770624 swapFree=67108524/67108860
[pid=12675] ppid=12672 vsize=14088900 memory=220416 CPUtime=2520.05 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12672 12675 12120 0 -1 1077944320 54938 0 0 0 251893 112 0 0 20 0 15 0 243617545 14427033600 55104 33554432000 4194304 4196468 140731638555808 140731638538352 140612737531639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
/proc/12675/statm: 3522225 55104 3573 1 0 3484297 0
[pid=12675/tid=12677] ppid=12672 vsize=14088900 memory=3980 CPUtime=2506.02 cores=0,2,4,6
/proc/12675/task/12677/stat : 12677 (java) R 12672 12675 12120 0 -1 4202560 29389 0 0 0 250588 14 0 0 20 0 15 0 243617546 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612741769856 140612352478321 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12678] ppid=12672 vsize=14088900 memory=752 CPUtime=2.23 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12672 12675 12120 0 -1 1077944384 3760 0 0 0 204 19 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612667620112 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12679] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.23 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12672 12675 12120 0 -1 1077944384 2371 0 0 0 205 18 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612332075920 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12680] ppid=12672 vsize=14088900 memory=223 CPUtime=2.24 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12672 12675 12120 0 -1 1077944384 1352 0 0 0 205 19 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612331023376 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12681] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.24 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12672 12675 12120 0 -1 1077944384 1275 0 0 0 205 19 0 0 20 0 15 0 243617547 14427033600 55104 33554432000 4194304 4196468 140731638555808 140612329970832 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12682] ppid=12672 vsize=14088900 memory=220416 CPUtime=2.49 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12672 12675 12120 0 -1 1077944384 4145 0 0 0 233 16 0 0 20 0 15 0 243617548 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611852134384 140612737542786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12683] ppid=12672 vsize=14088900 memory=220416 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12672 12675 12120 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 243617548 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611851080672 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12684] ppid=12672 vsize=14088900 memory=220416 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12672 12675 12120 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 243617549 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611850028032 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12685] ppid=12672 vsize=14088900 memory=56 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611848976592 140612737550235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12686] ppid=12672 vsize=14088900 memory=220416 CPUtime=0.69 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12672 12675 12120 0 -1 1077944384 3583 0 0 0 68 1 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611847924208 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12687] ppid=12672 vsize=14088900 memory=220416 CPUtime=0.6 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12672 12675 12120 0 -1 1077944384 2128 0 0 0 59 1 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611846871664 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12688] ppid=12672 vsize=14088900 memory=220416 CPUtime=0.51 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12672 12675 12120 0 -1 1077944384 4354 0 0 0 49 2 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611845819120 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12689] ppid=12672 vsize=14088900 memory=220416 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12672 12675 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611844766816 140612737541845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
[pid=12675/tid=12690] ppid=12672 vsize=14088900 memory=220416 CPUtime=0.73 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12672 12675 12120 0 -1 1077944384 1156 0 0 0 30 43 0 0 20 0 15 0 243617551 14427033600 55104 33554432000 4194304 4196468 140731638555808 140611843713328 140612737542786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 26275840 140731638559825 140731638560009 140731638560009 140731638562767 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 220416 KiB
Child status: 143
Real time (s): 2512.31
CPU time (s): 2520.07
CPU user time (s): 2518.95
CPU system time (s): 1.12838
CPU usage (%): 100.309
Max. virtual memory (cumulated for all children) (KiB): 14088932
Max. memory (cumulated for all children) (KiB): 229992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.95
system time used= 1.12838
maximum resident set size= 231512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55149
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123401
involuntary context switches= 6106
# summary of solver processes directly reported to runsolver:
# pid: 12675
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.95
# total CPU system time (s): 1.12838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3587 second user time and 22.7115 second system time
The end