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 (10870 MiB free)
memory of node 1: 16384 MiB (13279 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301259-1532877249/watcher-4301259-1532877249 -o /tmp/evaluation-result-4301259-1532877249/solver-4301259-1532877249 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22036 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301259-1532877249.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=22162, runsolver pid=22159
Current StackSize limit: 8192 KiB
[startup+0.105186 s]*
/proc/loadavg: 2.06 1.76 1.85 4/216 22177
/proc/meminfo: memFree=24710800/32770624 swapFree=67108860/67108860
[pid=22162] ppid=22159 vsize=10659012 memory=30540 CPUtime=0.13 cores=1,3,5,7
/proc/22162/stat : 22162 (java) S 22159 22162 22004 0 -1 1077944320 6720 0 0 0 11 2 0 0 20 0 15 0 105288083 10914828288 7635 33554432000 4194304 4196468 140725616210448 140725616192992 139651871174391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
/proc/22162/statm: 2664753 7635 2845 1 0 2627263 0
[pid=22162/tid=22164] ppid=22159 vsize=10659012 memory=-8773748148830376318 CPUtime=0.09 cores=1,3,5,7
/proc/22162/task/22164/stat : 22164 (java) R 22159 22162 22004 0 -1 4202560 4565 0 0 0 8 1 0 0 20 0 15 0 105288083 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651875395520 139651871196317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22165] ppid=22159 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22165/stat : 22165 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651807865744 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22166] ppid=22159 vsize=10659012 memory=140561223075456 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22166/stat : 22166 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651806812944 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22167] ppid=22159 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22167/stat : 22167 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651805760656 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22168] ppid=22159 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22168/stat : 22168 (java) S 22159 22162 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651804707856 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22169] ppid=22159 vsize=10659012 memory=140561223075456 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22169/stat : 22169 (java) S 22159 22162 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105288085 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651363653744 139651871185538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22170] ppid=22159 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22170/stat : 22170 (java) S 22159 22162 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105288086 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651362599712 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22171] ppid=22159 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22171/stat : 22171 (java) S 22159 22162 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105288086 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651361547376 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22172] ppid=22159 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22172/stat : 22172 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105288088 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651360495696 139651871192987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22173] ppid=22159 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22173/stat : 22173 (java) R 22159 22162 22004 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 105288088 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651359443568 139651871185538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22174] ppid=22159 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22174/stat : 22174 (java) R 22159 22162 22004 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 105288088 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651358390768 139651871185538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22175] ppid=22159 vsize=10659012 memory=140561223075456 CPUtime=0.02 cores=1,3,5,7
/proc/22162/task/22175/stat : 22175 (java) R 22159 22162 22004 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 15 0 105288088 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651357338480 139651871195738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22176] ppid=22159 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22176/stat : 22176 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105288089 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651356285920 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22177] ppid=22159 vsize=10659012 memory=140561223075456 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22177/stat : 22177 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288089 10914828288 7635 33554432000 4194304 4196468 140725616210448 139651355232688 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30540 KiB
[startup+0.210585 s]*
/proc/loadavg: 2.06 1.76 1.85 5/216 22177
/proc/meminfo: memFree=24702364/32770624 swapFree=67108860/67108860
[pid=22162] ppid=22159 vsize=10659012 memory=41764 CPUtime=0.33 cores=1,3,5,7
/proc/22162/stat : 22162 (java) S 22159 22162 22004 0 -1 1077944320 8044 0 0 0 30 3 0 0 20 0 15 0 105288083 10914828288 10441 33554432000 4194304 4196468 140725616210448 140725616192992 139651871174391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
/proc/22162/statm: 2664753 10441 2996 1 0 2627263 0
[pid=22162/tid=22164] ppid=22159 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/22162/task/22164/stat : 22164 (java) R 22159 22162 22004 0 -1 4202560 5008 0 0 0 18 2 0 0 20 0 15 0 105288083 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651875410672 139651855254878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22165] ppid=22159 vsize=10659012 memory=364 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22165/stat : 22165 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651807865744 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22166] ppid=22159 vsize=10659012 memory=288370937374787200 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22166/stat : 22166 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651806812944 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22167] ppid=22159 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22167/stat : 22167 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651805760656 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22168] ppid=22159 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22168/stat : 22168 (java) S 22159 22162 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651804707856 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22169] ppid=22159 vsize=10659012 memory=140561223075456 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22169/stat : 22169 (java) S 22159 22162 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105288085 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651363653744 139651871185538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22170] ppid=22159 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22170/stat : 22170 (java) S 22159 22162 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105288086 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651362599712 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22171] ppid=22159 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22171/stat : 22171 (java) S 22159 22162 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105288086 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651361547376 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22172] ppid=22159 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22172/stat : 22172 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105288088 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651360495696 139651871192987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22173] ppid=22159 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22162/task/22173/stat : 22173 (java) S 22159 22162 22004 0 -1 1077944384 642 0 0 0 2 0 0 0 20 0 15 0 105288088 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651359443568 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22174] ppid=22159 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22162/task/22174/stat : 22174 (java) S 22159 22162 22004 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 105288088 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651358390768 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22175] ppid=22159 vsize=10659012 memory=140561223075456 CPUtime=0.07 cores=1,3,5,7
/proc/22162/task/22175/stat : 22175 (java) R 22159 22162 22004 0 -1 4202560 677 0 0 0 7 0 0 0 20 0 15 0 105288088 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651357338480 139651855254908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22176] ppid=22159 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22176/stat : 22176 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105288089 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651356285920 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22177] ppid=22159 vsize=10659012 memory=140561223075456 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22177/stat : 22177 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288089 10914828288 10441 33554432000 4194304 4196468 140725616210448 139651355232688 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41764 KiB
[startup+0.310529 s]*
/proc/loadavg: 2.06 1.76 1.85 5/216 22177
/proc/meminfo: memFree=24689772/32770624 swapFree=67108860/67108860
[pid=22162] ppid=22159 vsize=10659012 memory=53020 CPUtime=0.59 cores=1,3,5,7
/proc/22162/stat : 22162 (java) S 22159 22162 22004 0 -1 1077944320 9980 0 0 0 56 3 0 0 20 0 15 0 105288083 10914828288 13255 33554432000 4194304 4196468 140725616210448 140725616192992 139651871174391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
/proc/22162/statm: 2664753 13255 3040 1 0 2627263 0
[pid=22162/tid=22164] ppid=22159 vsize=10659012 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/22162/task/22164/stat : 22164 (java) R 22159 22162 22004 0 -1 4202560 5568 0 0 0 28 2 0 0 20 0 15 0 105288083 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651875386672 139651855254878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22165] ppid=22159 vsize=10659012 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22165/stat : 22165 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651807865744 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22166] ppid=22159 vsize=10659012 memory=288370937374787200 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22166/stat : 22166 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651806812944 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22167] ppid=22159 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22167/stat : 22167 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651805760656 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22168] ppid=22159 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22168/stat : 22168 (java) S 22159 22162 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105288084 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651804707856 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22169] ppid=22159 vsize=10659012 memory=140561223075456 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22169/stat : 22169 (java) S 22159 22162 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105288085 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651363653744 139651871185538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22170] ppid=22159 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22170/stat : 22170 (java) S 22159 22162 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105288086 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651362599712 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22171] ppid=22159 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22171/stat : 22171 (java) S 22159 22162 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105288086 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651361547376 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22172] ppid=22159 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22172/stat : 22172 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105288088 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651360495696 139651871192987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22173] ppid=22159 vsize=10659012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22162/task/22173/stat : 22173 (java) R 22159 22162 22004 0 -1 4202560 1083 0 0 0 8 0 0 0 20 0 15 0 105288088 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651359424584 139651856340030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22174] ppid=22159 vsize=10659012 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/22162/task/22174/stat : 22174 (java) R 22159 22162 22004 0 -1 4202560 931 0 0 0 6 0 0 0 20 0 15 0 105288088 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651358371096 139651851027952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22175] ppid=22159 vsize=10659012 memory=140561223075456 CPUtime=0.12 cores=1,3,5,7
/proc/22162/task/22175/stat : 22175 (java) R 22159 22162 22004 0 -1 1077944384 1035 0 0 0 12 0 0 0 20 0 15 0 105288088 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651357338480 139651871185538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22176] ppid=22159 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22176/stat : 22176 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105288089 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651356285920 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22177] ppid=22159 vsize=10659012 memory=140561223075456 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22177/stat : 22177 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288089 10914828288 13255 33554432000 4194304 4196468 140725616210448 139651355232688 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 53020 KiB
[startup+0.710103 s]
/proc/loadavg: 2.06 1.76 1.85 6/216 22177
/proc/meminfo: memFree=24662476/32770624 swapFree=67108860/67108860
[pid=22162] ppid=22159 vsize=10659088 memory=110568 CPUtime=1.97 cores=1,3,5,7
/proc/22162/stat : 22162 (java) S 22159 22162 22004 0 -1 1077944320 14134 0 0 0 191 6 0 0 20 0 15 0 105288083 10914906112 27642 33554432000 4194304 4196468 140725616210448 140725616192992 139651871174391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
/proc/22162/statm: 2664772 27642 3100 1 0 2627263 0
[pid=22162/tid=22164] ppid=22159 vsize=10659088 memory=1840 CPUtime=0.68 cores=1,3,5,7
/proc/22162/task/22164/stat : 22164 (java) R 22159 22162 22004 0 -1 4202560 5975 0 0 0 65 3 0 0 20 0 15 0 105288083 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651875410720 139651855218021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22165] ppid=22159 vsize=10659088 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22165/stat : 22165 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651807865744 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22166] ppid=22159 vsize=10659088 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22166/stat : 22166 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651806812944 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22167] ppid=22159 vsize=10659088 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22167/stat : 22167 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288084 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651805760656 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22168] ppid=22159 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22168/stat : 22168 (java) S 22159 22162 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105288084 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651804707856 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22169] ppid=22159 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22169/stat : 22169 (java) S 22159 22162 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105288085 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651363653744 139651871185538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22170] ppid=22159 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22170/stat : 22170 (java) S 22159 22162 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105288086 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651362599712 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22171] ppid=22159 vsize=10659088 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22171/stat : 22171 (java) S 22159 22162 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105288086 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651361547376 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22172] ppid=22159 vsize=10659088 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22172/stat : 22172 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105288088 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651360495696 139651871192987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22173] ppid=22159 vsize=10659088 memory=7163631965283378496 CPUtime=0.46 cores=1,3,5,7
/proc/22162/task/22173/stat : 22173 (java) R 22159 22162 22004 0 -1 4202560 2474 0 0 0 46 0 0 0 20 0 15 0 105288088 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651359429592 139651871188264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22174] ppid=22159 vsize=10659088 memory=7667213801450137426 CPUtime=0.44 cores=1,3,5,7
/proc/22162/task/22174/stat : 22174 (java) R 22159 22162 22004 0 -1 4202560 2174 0 0 0 44 0 0 0 20 0 15 0 105288088 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651358378320 139651852718591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22175] ppid=22159 vsize=10659088 memory=7440061282865139792 CPUtime=0.35 cores=1,3,5,7
/proc/22162/task/22175/stat : 22175 (java) R 22159 22162 22004 0 -1 4202560 2142 0 0 0 34 1 0 0 20 0 15 0 105288088 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651357335072 139651856869309 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22176] ppid=22159 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22176/stat : 22176 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105288089 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651356285920 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22177] ppid=22159 vsize=10659088 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22177/stat : 22177 (java) S 22159 22162 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105288089 10914906112 27642 33554432000 4194304 4196468 140725616210448 139651355232688 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 110568 KiB
[startup+1.50088 s]
/proc/loadavg: 2.06 1.76 1.85 6/216 22177
/proc/meminfo: memFree=24468116/32770624 swapFree=67108860/67108860
[pid=22162] ppid=22159 vsize=10661136 memory=367048 CPUtime=4.53 cores=1,3,5,7
/proc/22162/stat : 22162 (java) S 22159 22162 22004 0 -1 1077944320 17115 0 0 0 440 13 0 0 20 0 15 0 105288083 10917003264 91762 33554432000 4194304 4196468 140725616210448 140725616192992 139651871174391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
/proc/22162/statm: 2665284 91762 3139 1 0 2627775 0
[pid=22162/tid=22164] ppid=22159 vsize=10661136 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/22162/task/22164/stat : 22164 (java) R 22159 22162 22004 0 -1 4202560 6199 0 0 0 134 7 0 0 20 0 15 0 105288083 10917003264 91762 33554432000 4194304 4196468 140725616210448 139651875411120 139651853125073 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22165] ppid=22159 vsize=10661136 memory=-8253362762724047225 CPUtime=0.02 cores=1,3,5,7
/proc/22162/task/22165/stat : 22165 (java) S 22159 22162 22004 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 15 0 105288084 10917003264 91762 33554432000 4194304 4196468 140725616210448 139651807865744 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22166] ppid=22159 vsize=10661136 memory=-8609294068986781045 CPUtime=0.04 cores=1,3,5,7
/proc/22162/task/22166/stat : 22166 (java) S 22159 22162 22004 0 -1 1077944384 27 0 0 0 3 1 0 0 20 0 15 0 105288084 10917003264 91762 33554432000 4194304 4196468 140725616210448 139651806812944 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22167] ppid=22159 vsize=10661136 memory=-6517102902069810590 CPUtime=0.02 cores=1,3,5,7
/proc/22162/task/22167/stat : 22167 (java) S 22159 22162 22004 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 15 0 105288084 10917003264 91762 33554432000 4194304 4196468 140725616210448 139651805760656 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22168] ppid=22159 vsize=10661136 memory=4134692831991786133 CPUtime=0.04 cores=1,3,5,7
/proc/22162/task/22168/stat : 22168 (java) S 22159 22162 22004 0 -1 1077944384 36 0 0 0 3 1 0 0 20 0 15 0 105288084 10917003264 91762 33554432000 4194304 4196468 140725616210448 139651804707856 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22169] ppid=22159 vsize=10661136 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22169/stat : 22169 (java) S 22159 22162 22004 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 105288085 10917003264 91762 33554432000 4194304 4196468 140725616210448 139651363653744 139651871185538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
################
# More data... #
################
/proc/22162/task/22166/stat : 22166 (java) S 22159 22162 22004 0 -1 1077944384 566 0 0 0 21 6 0 0 20 0 16 0 105288084 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651806812944 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22167] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.25 cores=1,3,5,7
/proc/22162/task/22167/stat : 22167 (java) S 22159 22162 22004 0 -1 1077944384 299 0 0 0 20 5 0 0 20 0 16 0 105288084 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651805760656 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22168] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.3 cores=1,3,5,7
/proc/22162/task/22168/stat : 22168 (java) S 22159 22162 22004 0 -1 1077944384 491 0 0 0 23 7 0 0 20 0 16 0 105288084 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651804707856 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22169] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.01 cores=1,3,5,7
/proc/22162/task/22169/stat : 22169 (java) S 22159 22162 22004 0 -1 1077944384 1256 0 0 0 1 0 0 0 20 0 16 0 105288085 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651363653744 139651871185538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22170] ppid=22159 vsize=10727700 memory=836896 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22170/stat : 22170 (java) S 22159 22162 22004 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 105288086 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651362599776 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22171] ppid=22159 vsize=10727700 memory=836896 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22171/stat : 22171 (java) S 22159 22162 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105288086 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651361547392 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22172] ppid=22159 vsize=10727700 memory=836896 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22172/stat : 22172 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105288088 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651360495696 139651871192987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22173] ppid=22159 vsize=10727700 memory=836896 CPUtime=3.94 cores=1,3,5,7
/proc/22162/task/22173/stat : 22173 (java) S 22159 22162 22004 0 -1 1077944384 13731 0 0 0 392 2 0 0 20 0 16 0 105288088 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651359443568 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22174] ppid=22159 vsize=10727700 memory=836896 CPUtime=3.87 cores=1,3,5,7
/proc/22162/task/22174/stat : 22174 (java) S 22159 22162 22004 0 -1 1077944384 12373 0 0 0 385 2 0 0 20 0 16 0 105288088 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651358390768 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22175] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.86 cores=1,3,5,7
/proc/22162/task/22175/stat : 22175 (java) S 22159 22162 22004 0 -1 1077944384 6999 0 0 0 84 2 0 0 20 0 16 0 105288088 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651357338480 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22176] ppid=22159 vsize=10727700 memory=836896 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22176/stat : 22176 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105288089 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651356285920 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22177] ppid=22159 vsize=10727700 memory=4612 CPUtime=0.1 cores=1,3,5,7
/proc/22162/task/22177/stat : 22177 (java) S 22159 22162 22004 0 -1 1077944384 638 0 0 0 4 6 0 0 20 0 16 0 105288089 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651355232688 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22236] ppid=22159 vsize=10727700 memory=8508 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22236/stat : 22236 (java) S 22159 22162 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105288462 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651352081072 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
Current children cumulated CPU time: 231.85 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 836896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+242.501 s]
/proc/loadavg: 2.01 1.92 1.90 4/217 22260
/proc/meminfo: memFree=26668980/32770624 swapFree=67108860/67108860
[pid=22162] ppid=22159 vsize=10727700 memory=836896 CPUtime=252.06 cores=1,3,5,7
/proc/22162/stat : 22162 (java) S 22159 22162 22004 0 -1 1077944320 51348 0 0 0 25156 50 0 0 20 0 16 0 105288083 10985164800 209224 33554432000 4194304 4196468 140725616210448 140725616192992 139651871174391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
/proc/22162/statm: 2681925 209224 3175 1 0 2644416 0
[pid=22162/tid=22164] ppid=22159 vsize=10727700 memory=836896 CPUtime=242.1 cores=1,3,5,7
/proc/22162/task/22164/stat : 22164 (java) R 22159 22162 22004 0 -1 4202560 13169 0 0 0 24198 12 0 0 20 0 16 0 105288083 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651875410112 139651491106853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22165] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.3 cores=1,3,5,7
/proc/22162/task/22165/stat : 22165 (java) S 22159 22162 22004 0 -1 1077944384 443 0 0 0 24 6 0 0 20 0 16 0 105288084 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651807865744 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22166] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.27 cores=1,3,5,7
/proc/22162/task/22166/stat : 22166 (java) S 22159 22162 22004 0 -1 1077944384 566 0 0 0 21 6 0 0 20 0 16 0 105288084 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651806812944 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22167] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.25 cores=1,3,5,7
/proc/22162/task/22167/stat : 22167 (java) S 22159 22162 22004 0 -1 1077944384 299 0 0 0 20 5 0 0 20 0 16 0 105288084 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651805760656 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22168] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.3 cores=1,3,5,7
/proc/22162/task/22168/stat : 22168 (java) S 22159 22162 22004 0 -1 1077944384 491 0 0 0 23 7 0 0 20 0 16 0 105288084 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651804707856 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22169] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.01 cores=1,3,5,7
/proc/22162/task/22169/stat : 22169 (java) S 22159 22162 22004 0 -1 1077944384 1256 0 0 0 1 0 0 0 20 0 16 0 105288085 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651363653744 139651871185538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22170] ppid=22159 vsize=10727700 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22170/stat : 22170 (java) S 22159 22162 22004 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 105288086 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651362599776 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22171] ppid=22159 vsize=10727700 memory=836896 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22171/stat : 22171 (java) S 22159 22162 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105288086 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651361547392 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22172] ppid=22159 vsize=10727700 memory=836896 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22172/stat : 22172 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105288088 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651360495696 139651871192987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22173] ppid=22159 vsize=10727700 memory=836896 CPUtime=3.94 cores=1,3,5,7
/proc/22162/task/22173/stat : 22173 (java) S 22159 22162 22004 0 -1 1077944384 13731 0 0 0 392 2 0 0 20 0 16 0 105288088 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651359443568 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22174] ppid=22159 vsize=10727700 memory=836896 CPUtime=3.87 cores=1,3,5,7
/proc/22162/task/22174/stat : 22174 (java) S 22159 22162 22004 0 -1 1077944384 12373 0 0 0 385 2 0 0 20 0 16 0 105288088 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651358390768 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22175] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.86 cores=1,3,5,7
/proc/22162/task/22175/stat : 22175 (java) S 22159 22162 22004 0 -1 1077944384 6999 0 0 0 84 2 0 0 20 0 16 0 105288088 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651357338480 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22176] ppid=22159 vsize=10727700 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22176/stat : 22176 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105288089 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651356285920 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22177] ppid=22159 vsize=10727700 memory=836896 CPUtime=0.1 cores=1,3,5,7
/proc/22162/task/22177/stat : 22177 (java) S 22159 22162 22004 0 -1 1077944384 638 0 0 0 4 6 0 0 20 0 16 0 105288089 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651355232688 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22236] ppid=22159 vsize=10727700 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22236/stat : 22236 (java) S 22159 22162 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105288462 10985164800 209224 33554432000 4194304 4196468 140725616210448 139651352081072 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 836896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+242.761 s]
# the end of solver process 22162 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.648 s, system=0.519141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+242.605 s]
/proc/loadavg: 2.01 1.92 1.90 4/217 22260
/proc/meminfo: memFree=26668980/32770624 swapFree=67108860/67108860
[pid=22162] ppid=22159 vsize=10927392 memory=837236 CPUtime=252.1 cores=1,3,5,7
/proc/22162/stat : 22162 (java) S 22159 22162 22004 0 -1 1077944320 52623 0 0 0 25159 51 0 0 20 0 17 0 105288083 11189649408 209309 33554432000 4194304 4196468 140725616210448 140725616192992 139651871174391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
/proc/22162/statm: 2731848 209309 3178 1 0 2694339 0
[pid=22162/tid=22164] ppid=22159 vsize=10927392 memory=792 CPUtime=242.12 cores=1,3,5,7
/proc/22162/task/22164/stat : 22164 (java) S 22159 22162 22004 0 -1 1077944384 13277 0 0 0 24200 12 0 0 20 0 17 0 105288083 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651875417264 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22165] ppid=22159 vsize=10927392 memory=1228 CPUtime=0.3 cores=1,3,5,7
/proc/22162/task/22165/stat : 22165 (java) S 22159 22162 22004 0 -1 1077944384 443 0 0 0 24 6 0 0 20 0 17 0 105288084 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651807865744 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22166] ppid=22159 vsize=10927392 memory=1944 CPUtime=0.27 cores=1,3,5,7
/proc/22162/task/22166/stat : 22166 (java) S 22159 22162 22004 0 -1 1077944384 566 0 0 0 21 6 0 0 20 0 17 0 105288084 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651806812944 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22167] ppid=22159 vsize=10927392 memory=836896 CPUtime=0.25 cores=1,3,5,7
/proc/22162/task/22167/stat : 22167 (java) S 22159 22162 22004 0 -1 1077944384 299 0 0 0 20 5 0 0 20 0 17 0 105288084 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651805760656 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22168] ppid=22159 vsize=10927392 memory=3168 CPUtime=0.3 cores=1,3,5,7
/proc/22162/task/22168/stat : 22168 (java) S 22159 22162 22004 0 -1 1077944384 491 0 0 0 23 7 0 0 20 0 17 0 105288084 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651804707856 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22169] ppid=22159 vsize=10927392 memory=845764 CPUtime=0.01 cores=1,3,5,7
/proc/22162/task/22169/stat : 22169 (java) S 22159 22162 22004 0 -1 1077944384 1256 0 0 0 1 0 0 0 20 0 17 0 105288085 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651363653744 139651871185538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22170] ppid=22159 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22170/stat : 22170 (java) S 22159 22162 22004 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 17 0 105288086 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651362599776 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22171] ppid=22159 vsize=10927392 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22171/stat : 22171 (java) S 22159 22162 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105288086 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651361547392 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22172] ppid=22159 vsize=10927392 memory=928 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22172/stat : 22172 (java) S 22159 22162 22004 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 17 0 105288088 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651360495696 139651871192987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22173] ppid=22159 vsize=10927392 memory=1572 CPUtime=3.94 cores=1,3,5,7
/proc/22162/task/22173/stat : 22173 (java) S 22159 22162 22004 0 -1 1077944384 13812 0 0 0 392 2 0 0 20 0 17 0 105288088 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651359443568 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22174] ppid=22159 vsize=10927392 memory=836896 CPUtime=3.87 cores=1,3,5,7
/proc/22162/task/22174/stat : 22174 (java) S 22159 22162 22004 0 -1 1077944384 12739 0 0 0 385 2 0 0 20 0 17 0 105288088 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651358390768 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22175] ppid=22159 vsize=10927392 memory=4124 CPUtime=0.86 cores=1,3,5,7
/proc/22162/task/22175/stat : 22175 (java) S 22159 22162 22004 0 -1 1077944384 7092 0 0 0 84 2 0 0 20 0 17 0 105288088 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651357338480 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22176] ppid=22159 vsize=10927392 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22176/stat : 22176 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105288089 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651356285920 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22177] ppid=22159 vsize=10927392 memory=8148 CPUtime=0.1 cores=1,3,5,7
/proc/22162/task/22177/stat : 22177 (java) S 22159 22162 22004 0 -1 1077944384 638 0 0 0 4 6 0 0 20 0 17 0 105288089 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651355232688 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 837236 KiB
[startup+242.701 s]
/proc/loadavg: 2.01 1.92 1.90 4/217 22260
/proc/meminfo: memFree=26668980/32770624 swapFree=67108860/67108860
[pid=22162] ppid=22159 vsize=10927392 memory=837236 CPUtime=252.1 cores=1,3,5,7
/proc/22162/stat : 22162 (java) S 22159 22162 22004 0 -1 1077944320 52623 0 0 0 25159 51 0 0 20 0 17 0 105288083 11189649408 209309 33554432000 4194304 4196468 140725616210448 140725616192992 139651871174391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
/proc/22162/statm: 2731848 209309 3178 1 0 2694339 0
[pid=22162/tid=22164] ppid=22159 vsize=10927392 memory=836896 CPUtime=242.12 cores=1,3,5,7
/proc/22162/task/22164/stat : 22164 (java) S 22159 22162 22004 0 -1 1077944384 13277 0 0 0 24200 12 0 0 20 0 17 0 105288083 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651875417264 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22165] ppid=22159 vsize=10927392 memory=4028 CPUtime=0.3 cores=1,3,5,7
/proc/22162/task/22165/stat : 22165 (java) S 22159 22162 22004 0 -1 1077944384 443 0 0 0 24 6 0 0 20 0 17 0 105288084 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651807865744 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22166] ppid=22159 vsize=10927392 memory=836896 CPUtime=0.27 cores=1,3,5,7
/proc/22162/task/22166/stat : 22166 (java) S 22159 22162 22004 0 -1 1077944384 566 0 0 0 21 6 0 0 20 0 17 0 105288084 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651806812944 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22167] ppid=22159 vsize=10927392 memory=836896 CPUtime=0.25 cores=1,3,5,7
/proc/22162/task/22167/stat : 22167 (java) S 22159 22162 22004 0 -1 1077944384 299 0 0 0 20 5 0 0 20 0 17 0 105288084 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651805760656 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22168] ppid=22159 vsize=10927392 memory=836896 CPUtime=0.3 cores=1,3,5,7
/proc/22162/task/22168/stat : 22168 (java) S 22159 22162 22004 0 -1 1077944384 491 0 0 0 23 7 0 0 20 0 17 0 105288084 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651804707856 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22169] ppid=22159 vsize=10927392 memory=836896 CPUtime=0.01 cores=1,3,5,7
/proc/22162/task/22169/stat : 22169 (java) S 22159 22162 22004 0 -1 1077944384 1256 0 0 0 1 0 0 0 20 0 17 0 105288085 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651363653744 139651871185538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22170] ppid=22159 vsize=10927392 memory=836896 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22170/stat : 22170 (java) S 22159 22162 22004 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 17 0 105288086 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651362599776 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22171] ppid=22159 vsize=10927392 memory=836896 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22171/stat : 22171 (java) S 22159 22162 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105288086 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651361547392 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22172] ppid=22159 vsize=10927392 memory=836896 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22172/stat : 22172 (java) S 22159 22162 22004 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 17 0 105288088 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651360495696 139651871192987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22173] ppid=22159 vsize=10927392 memory=836896 CPUtime=3.94 cores=1,3,5,7
/proc/22162/task/22173/stat : 22173 (java) S 22159 22162 22004 0 -1 1077944384 13812 0 0 0 392 2 0 0 20 0 17 0 105288088 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651359443568 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22174] ppid=22159 vsize=10927392 memory=836896 CPUtime=3.87 cores=1,3,5,7
/proc/22162/task/22174/stat : 22174 (java) S 22159 22162 22004 0 -1 1077944384 12739 0 0 0 385 2 0 0 20 0 17 0 105288088 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651358390768 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22175] ppid=22159 vsize=10927392 memory=836896 CPUtime=0.86 cores=1,3,5,7
/proc/22162/task/22175/stat : 22175 (java) S 22159 22162 22004 0 -1 1077944384 7092 0 0 0 84 2 0 0 20 0 17 0 105288088 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651357338480 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22176] ppid=22159 vsize=10927392 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/22162/task/22176/stat : 22176 (java) S 22159 22162 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105288089 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651356285920 139651871184597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
[pid=22162/tid=22177] ppid=22159 vsize=10927392 memory=836896 CPUtime=0.1 cores=1,3,5,7
/proc/22162/task/22177/stat : 22177 (java) S 22159 22162 22004 0 -1 1077944384 638 0 0 0 4 6 0 0 20 0 17 0 105288089 11189649408 209309 33554432000 4194304 4196468 140725616210448 139651355232688 139651871185538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 32718848 140725616215158 140725616215310 140725616215310 140725616218063 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 837236 KiB
Child status: 143
Real time (s): 242.761
CPU time (s): 252.167
CPU user time (s): 251.648
CPU system time (s): 0.519141
CPU usage (%): 103.874
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 850668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.648
system time used= 0.519141
maximum resident set size= 850712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7670
involuntary context switches= 135
# summary of solver processes directly reported to runsolver:
# pid: 22162
# total CPU time (s): 252.167
# total CPU user time (s): 251.648
# total CPU system time (s): 0.519141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53884 second user time and 2.32499 second system time
The end