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 (10127 MiB free)
memory of node 1: 16384 MiB (15782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302219-1532888438/watcher-4302219-1532888438 -o /tmp/evaluation-result-4302219-1532888438/solver-4302219-1532888438 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532883454-10061 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302219-1532888438.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
Current StackSize limit: 8192 KiB
solver pid=15262, runsolver pid=15259
[startup+0.100173 s]*
/proc/loadavg: 2.04 2.67 2.65 4/217 15277
/proc/meminfo: memFree=26514604/32770624 swapFree=67028796/67108860
[pid=15262] ppid=15259 vsize=10659012 memory=31520 CPUtime=0.12 cores=1,3,5,7
/proc/15262/stat : 15262 (java) S 15259 15262 10029 0 -1 1077944320 6434 0 0 0 11 1 0 0 20 0 15 0 106406934 10914828288 7880 33554432000 4194304 4196468 140720808557376 140720808539920 140318257217271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
/proc/15262/statm: 2664753 7880 2840 1 0 2627263 0
[pid=15262/tid=15264] ppid=15259 vsize=10659012 memory=-8701690554792186750 CPUtime=0.08 cores=1,3,5,7
/proc/15262/task/15264/stat : 15264 (java) R 15259 15262 10029 0 -1 4202560 4274 0 0 0 8 0 0 0 20 0 15 0 106406935 10914828288 7880 33554432000 4194304 4196468 140720808557376 140318261421936 140318257229206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15265] ppid=15259 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15265/stat : 15265 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914828288 7880 33554432000 4194304 4196468 140720808557376 140318193908112 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15266] ppid=15259 vsize=10659012 memory=139751873668736 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15266/stat : 15266 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317862783248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15267] ppid=15259 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15267/stat : 15267 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317861730960 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15268] ppid=15259 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15268/stat : 15268 (java) S 15259 15262 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106406935 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317860678160 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15269] ppid=15259 vsize=10659012 memory=139751873668736 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15269/stat : 15269 (java) S 15259 15262 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106406937 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317494639216 140318257228418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15270] ppid=15259 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15270/stat : 15270 (java) S 15259 15262 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106406937 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317493585184 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15271] ppid=15259 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15271/stat : 15271 (java) S 15259 15262 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106406938 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317492532848 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15272] ppid=15259 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15272/stat : 15272 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106406940 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317491481168 140318257235867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15273] ppid=15259 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15273/stat : 15273 (java) S 15259 15262 10029 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 106406940 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317490428016 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15274] ppid=15259 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15274/stat : 15274 (java) S 15259 15262 10029 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 106406940 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317489375216 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15275] ppid=15259 vsize=10659012 memory=139751873668736 CPUtime=0.02 cores=1,3,5,7
/proc/15262/task/15275/stat : 15275 (java) R 15259 15262 10029 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 106406940 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317488322928 140318236351744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15276] ppid=15259 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15276/stat : 15276 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106406940 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317487270368 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15277] ppid=15259 vsize=10659012 memory=139751873668736 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15277/stat : 15277 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406940 10914828288 7880 33554432000 4194304 4196468 140720808557376 140317486218160 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31520 KiB
[startup+0.212322 s]*
/proc/loadavg: 2.04 2.67 2.65 4/217 15277
/proc/meminfo: memFree=26501560/32770624 swapFree=67028796/67108860
[pid=15262] ppid=15259 vsize=10659012 memory=42532 CPUtime=0.33 cores=1,3,5,7
/proc/15262/stat : 15262 (java) S 15259 15262 10029 0 -1 1077944320 7675 0 0 0 32 1 0 0 20 0 15 0 106406934 10914828288 10633 33554432000 4194304 4196468 140720808557376 140720808539920 140318257217271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
/proc/15262/statm: 2664753 10633 3007 1 0 2627263 0
[pid=15262/tid=15264] ppid=15259 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15262/task/15264/stat : 15264 (java) R 15259 15262 10029 0 -1 4202560 4630 0 0 0 19 1 0 0 20 0 15 0 106406935 10914828288 10633 33554432000 4194304 4196468 140720808557376 140318261448448 140318241297758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15265] ppid=15259 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15265/stat : 15265 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914828288 10633 33554432000 4194304 4196468 140720808557376 140318193908112 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15266] ppid=15259 vsize=10659012 memory=288370128025380480 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15266/stat : 15266 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317862783248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15267] ppid=15259 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15267/stat : 15267 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317861730960 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15268] ppid=15259 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15268/stat : 15268 (java) S 15259 15262 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106406935 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317860678160 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15269] ppid=15259 vsize=10659012 memory=139751873668736 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15269/stat : 15269 (java) S 15259 15262 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106406937 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317494639216 140318257228418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15270] ppid=15259 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15270/stat : 15270 (java) S 15259 15262 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106406937 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317493585184 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15271] ppid=15259 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15271/stat : 15271 (java) S 15259 15262 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106406938 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317492532848 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15272] ppid=15259 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15272/stat : 15272 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106406940 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317491481168 140318257235867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15273] ppid=15259 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15262/task/15273/stat : 15273 (java) S 15259 15262 10029 0 -1 1077944384 667 0 0 0 2 0 0 0 20 0 15 0 106406940 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317490428016 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15274] ppid=15259 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15262/task/15274/stat : 15274 (java) S 15259 15262 10029 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 15 0 106406940 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317489375216 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15275] ppid=15259 vsize=10659012 memory=139751873668736 CPUtime=0.07 cores=1,3,5,7
/proc/15262/task/15275/stat : 15275 (java) R 15259 15262 10029 0 -1 4202560 673 0 0 0 7 0 0 0 20 0 15 0 106406940 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317488322928 140318257238618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15276] ppid=15259 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15276/stat : 15276 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106406940 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317487270368 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15277] ppid=15259 vsize=10659012 memory=139751873668736 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15277/stat : 15277 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406940 10914828288 10633 33554432000 4194304 4196468 140720808557376 140317486218160 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42532 KiB
[startup+0.311344 s]*
/proc/loadavg: 2.04 2.67 2.65 7/217 15277
/proc/meminfo: memFree=26496660/32770624 swapFree=67028796/67108860
[pid=15262] ppid=15259 vsize=10659088 memory=47192 CPUtime=0.52 cores=1,3,5,7
/proc/15262/stat : 15262 (java) S 15259 15262 10029 0 -1 1077944320 8512 0 0 0 50 2 0 0 20 0 15 0 106406934 10914906112 11798 33554432000 4194304 4196468 140720808557376 140720808539920 140318257217271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
/proc/15262/statm: 2664772 11798 3036 1 0 2627263 0
[pid=15262/tid=15264] ppid=15259 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/15262/task/15264/stat : 15264 (java) R 15259 15262 10029 0 -1 4202560 5276 0 0 0 28 1 0 0 20 0 15 0 106406935 10914906112 11798 33554432000 4194304 4196468 140720808557376 140318261454224 140317873541120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15265] ppid=15259 vsize=10659088 memory=4294976237 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15265/stat : 15265 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914906112 11798 33554432000 4194304 4196468 140720808557376 140318193908112 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15266] ppid=15259 vsize=10659088 memory=288370128025380480 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15266/stat : 15266 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317862783248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15267] ppid=15259 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15267/stat : 15267 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317861730960 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15268] ppid=15259 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15268/stat : 15268 (java) S 15259 15262 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106406935 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317860678160 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15269] ppid=15259 vsize=10659088 memory=139751873668736 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15269/stat : 15269 (java) S 15259 15262 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106406937 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317494639216 140318257228418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15270] ppid=15259 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15270/stat : 15270 (java) S 15259 15262 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106406937 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317493585184 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15271] ppid=15259 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15271/stat : 15271 (java) S 15259 15262 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106406938 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317492532848 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15272] ppid=15259 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15272/stat : 15272 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106406940 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317491481168 140318257235867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15273] ppid=15259 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15262/task/15273/stat : 15273 (java) R 15259 15262 10029 0 -1 4202560 739 0 0 0 4 0 0 0 20 0 15 0 106406940 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317490414560 140318238745085 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15274] ppid=15259 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/15262/task/15274/stat : 15274 (java) R 15259 15262 10029 0 -1 4202560 386 0 0 0 4 0 0 0 20 0 15 0 106406940 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317489364480 140318257238618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15275] ppid=15259 vsize=10659088 memory=139751873668736 CPUtime=0.12 cores=1,3,5,7
/proc/15262/task/15275/stat : 15275 (java) R 15259 15262 10029 0 -1 4202560 753 0 0 0 12 0 0 0 20 0 15 0 106406940 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317488318192 140318236935297 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15276] ppid=15259 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15276/stat : 15276 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106406940 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317487270368 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15277] ppid=15259 vsize=10659088 memory=139751873668736 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15277/stat : 15277 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406940 10914906112 11798 33554432000 4194304 4196468 140720808557376 140317486218160 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47192 KiB
[startup+0.700778 s]
/proc/loadavg: 2.04 2.67 2.65 6/217 15277
/proc/meminfo: memFree=26472308/32770624 swapFree=67028796/67108860
[pid=15262] ppid=15259 vsize=10659088 memory=149232 CPUtime=1.65 cores=1,3,5,7
/proc/15262/stat : 15262 (java) S 15259 15262 10029 0 -1 1077944320 13078 0 0 0 160 5 0 0 20 0 15 0 106406934 10914906112 37308 33554432000 4194304 4196468 140720808557376 140720808539920 140318257217271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
/proc/15262/statm: 2664772 37308 3111 1 0 2627263 0
[pid=15262/tid=15264] ppid=15259 vsize=10659088 memory=205331581914884 CPUtime=0.67 cores=1,3,5,7
/proc/15262/task/15264/stat : 15264 (java) R 15259 15262 10029 0 -1 4202560 5589 0 0 0 64 3 0 0 20 0 15 0 106406935 10914906112 37308 33554432000 4194304 4196468 140720808557376 140318261445984 140318239675584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15265] ppid=15259 vsize=10659088 memory=617063 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15265/stat : 15265 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914906112 37308 33554432000 4194304 4196468 140720808557376 140318193908112 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15266] ppid=15259 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15266/stat : 15266 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317862783248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15267] ppid=15259 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15267/stat : 15267 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406935 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317861730960 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15268] ppid=15259 vsize=10659088 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15268/stat : 15268 (java) S 15259 15262 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106406935 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317860678160 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15269] ppid=15259 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15269/stat : 15269 (java) S 15259 15262 10029 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106406937 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317494639216 140318257228418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15270] ppid=15259 vsize=10659088 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15270/stat : 15270 (java) S 15259 15262 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106406937 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317493585184 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15271] ppid=15259 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15271/stat : 15271 (java) S 15259 15262 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106406938 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317492532848 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15272] ppid=15259 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15272/stat : 15272 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106406940 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317491481168 140318257235867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15273] ppid=15259 vsize=10659088 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/15262/task/15273/stat : 15273 (java) R 15259 15262 10029 0 -1 4202560 1836 0 0 0 30 0 0 0 20 0 15 0 106406940 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317490409032 140318238744044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15274] ppid=15259 vsize=10659088 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/15262/task/15274/stat : 15274 (java) R 15259 15262 10029 0 -1 4202560 2838 0 0 0 32 0 0 0 20 0 15 0 106406940 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317489357048 140318240714051 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15275] ppid=15259 vsize=10659088 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/15262/task/15275/stat : 15275 (java) S 15259 15262 10029 0 -1 1077944384 1445 0 0 0 32 0 0 0 20 0 15 0 106406940 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317488322928 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15276] ppid=15259 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15276/stat : 15276 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106406940 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317487270368 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15277] ppid=15259 vsize=10659088 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15277/stat : 15277 (java) S 15259 15262 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106406940 10914906112 37308 33554432000 4194304 4196468 140720808557376 140317486218160 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 149232 KiB
[startup+1.5008 s]
/proc/loadavg: 2.04 2.67 2.65 5/218 15278
/proc/meminfo: memFree=26322508/32770624 swapFree=67028796/67108860
[pid=15262] ppid=15259 vsize=10727700 memory=226120 CPUtime=3.92 cores=1,3,5,7
/proc/15262/stat : 15262 (java) S 15259 15262 10029 0 -1 1077944320 19803 0 0 0 384 8 0 0 20 0 16 0 106406934 10985164800 56530 33554432000 4194304 4196468 140720808557376 140720808539920 140318257217271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
/proc/15262/statm: 2681925 56530 3136 1 0 2644416 0
[pid=15262/tid=15264] ppid=15259 vsize=10727700 memory=9169 CPUtime=1.44 cores=1,3,5,7
/proc/15262/task/15264/stat : 15264 (java) R 15259 15262 10029 0 -1 4202560 5683 0 0 0 140 4 0 0 20 0 16 0 106406935 10985164800 56530 33554432000 4194304 4196468 140720808557376 140318261453608 140317878461533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15265] ppid=15259 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15265/stat : 15265 (java) S 15259 15262 10029 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 106406935 10985164800 56530 33554432000 4194304 4196468 140720808557376 140318193908112 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15266] ppid=15259 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15266/stat : 15266 (java) S 15259 15262 10029 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 106406935 10985164800 56530 33554432000 4194304 4196468 140720808557376 140317862783248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15267] ppid=15259 vsize=10727700 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15262/task/15267/stat : 15267 (java) S 15259 15262 10029 0 -1 1077944384 19 0 0 0 2 0 0 0 20 0 16 0 106406935 10985164800 56530 33554432000 4194304 4196468 140720808557376 140317861730960 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15268] ppid=15259 vsize=10727700 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15262/task/15268/stat : 15268 (java) S 15259 15262 10029 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 106406935 10985164800 56530 33554432000 4194304 4196468 140720808557376 140317860678160 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15269] ppid=15259 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15269/stat : 15269 (java) S 15259 15262 10029 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 106406937 10985164800 56530 33554432000 4194304 4196468 140720808557376 140317494639216 140318257228418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
################
# More data... #
################
/proc/15262/task/15267/stat : 15267 (java) S 15259 15262 10029 0 -1 1077944384 391 0 0 0 5 1 0 0 20 0 16 0 106406935 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317861730960 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15268] ppid=15259 vsize=10727700 memory=273660 CPUtime=0.05 cores=1,3,5,7
/proc/15262/task/15268/stat : 15268 (java) S 15259 15262 10029 0 -1 1077944384 144 0 0 0 4 1 0 0 20 0 16 0 106406935 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317860678160 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15269] ppid=15259 vsize=10727700 memory=273660 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15269/stat : 15269 (java) S 15259 15262 10029 0 -1 1077944384 1201 0 0 0 0 0 0 0 20 0 16 0 106406937 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317494639216 140318257228418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15270] ppid=15259 vsize=10727700 memory=273660 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15270/stat : 15270 (java) S 15259 15262 10029 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 106406937 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317493585248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15271] ppid=15259 vsize=10727700 memory=273660 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15271/stat : 15271 (java) S 15259 15262 10029 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 106406938 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317492532864 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15272] ppid=15259 vsize=10727700 memory=273660 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15272/stat : 15272 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317491481168 140318257235867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15273] ppid=15259 vsize=10727700 memory=273660 CPUtime=1.28 cores=1,3,5,7
/proc/15262/task/15273/stat : 15273 (java) S 15259 15262 10029 0 -1 1077944384 7327 0 0 0 128 0 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317490428016 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15274] ppid=15259 vsize=10727700 memory=279503453894704 CPUtime=1.74 cores=1,3,5,7
/proc/15262/task/15274/stat : 15274 (java) S 15259 15262 10029 0 -1 1077944384 11547 0 0 0 172 2 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317489375216 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15275] ppid=15259 vsize=10727700 memory=273660 CPUtime=0.51 cores=1,3,5,7
/proc/15262/task/15275/stat : 15275 (java) S 15259 15262 10029 0 -1 1077944384 3777 0 0 0 50 1 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317488322928 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15276] ppid=15259 vsize=10727700 memory=273660 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15276/stat : 15276 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317487270368 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15277] ppid=15259 vsize=10727700 memory=16110 CPUtime=0.08 cores=1,3,5,7
/proc/15262/task/15277/stat : 15277 (java) S 15259 15262 10029 0 -1 1077944384 1332 0 0 0 4 4 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317486218160 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15278] ppid=15259 vsize=10727700 memory=4 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15278/stat : 15278 (java) S 15259 15262 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106407026 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317483066544 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
Current children cumulated CPU time: 166.08 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 273660 KiB
[startup+222.301 s]
/proc/loadavg: 1.94 2.28 2.50 3/218 15362
/proc/meminfo: memFree=26261608/32770624 swapFree=67028796/67108860
[pid=15262] ppid=15259 vsize=10727700 memory=273660 CPUtime=226.12 cores=1,3,5,7
/proc/15262/stat : 15262 (java) S 15259 15262 10029 0 -1 1077944320 37111 0 0 0 22592 20 0 0 20 0 16 0 106406934 10985164800 68415 33554432000 4194304 4196468 140720808557376 140720808539920 140318257217271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
/proc/15262/statm: 2681925 68415 3164 1 0 2644416 0
[pid=15262/tid=15264] ppid=15259 vsize=10727700 memory=1828 CPUtime=222.21 cores=1,3,5,7
/proc/15262/task/15264/stat : 15264 (java) R 15259 15262 10029 0 -1 4202560 8690 0 0 0 22216 5 0 0 20 0 16 0 106406935 10985164800 68415 33554432000 4194304 4196468 140720808557376 140318261454296 140317878108124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15265] ppid=15259 vsize=10727700 memory=273660 CPUtime=0.04 cores=1,3,5,7
/proc/15262/task/15265/stat : 15265 (java) S 15259 15262 10029 0 -1 1077944384 889 0 0 0 3 1 0 0 20 0 16 0 106406935 10985164800 68415 33554432000 4194304 4196468 140720808557376 140318193908112 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15266] ppid=15259 vsize=10727700 memory=273660 CPUtime=0.05 cores=1,3,5,7
/proc/15262/task/15266/stat : 15266 (java) S 15259 15262 10029 0 -1 1077944384 197 0 0 0 4 1 0 0 20 0 16 0 106406935 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317862783248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15267] ppid=15259 vsize=10727700 memory=273660 CPUtime=0.06 cores=1,3,5,7
/proc/15262/task/15267/stat : 15267 (java) S 15259 15262 10029 0 -1 1077944384 391 0 0 0 5 1 0 0 20 0 16 0 106406935 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317861730960 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15268] ppid=15259 vsize=10727700 memory=273660 CPUtime=0.05 cores=1,3,5,7
/proc/15262/task/15268/stat : 15268 (java) S 15259 15262 10029 0 -1 1077944384 144 0 0 0 4 1 0 0 20 0 16 0 106406935 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317860678160 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15269] ppid=15259 vsize=10727700 memory=273660 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15269/stat : 15269 (java) S 15259 15262 10029 0 -1 1077944384 1201 0 0 0 0 0 0 0 20 0 16 0 106406937 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317494639216 140318257228418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15270] ppid=15259 vsize=10727700 memory=273660 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15270/stat : 15270 (java) S 15259 15262 10029 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 106406937 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317493585248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15271] ppid=15259 vsize=10727700 memory=273660 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15271/stat : 15271 (java) S 15259 15262 10029 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 106406938 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317492532864 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15272] ppid=15259 vsize=10727700 memory=273660 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15272/stat : 15272 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317491481168 140318257235867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15273] ppid=15259 vsize=10727700 memory=273660 CPUtime=1.28 cores=1,3,5,7
/proc/15262/task/15273/stat : 15273 (java) S 15259 15262 10029 0 -1 1077944384 7327 0 0 0 128 0 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317490428016 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15274] ppid=15259 vsize=10727700 memory=273660 CPUtime=1.74 cores=1,3,5,7
/proc/15262/task/15274/stat : 15274 (java) S 15259 15262 10029 0 -1 1077944384 11547 0 0 0 172 2 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317489375216 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15275] ppid=15259 vsize=10727700 memory=273660 CPUtime=0.51 cores=1,3,5,7
/proc/15262/task/15275/stat : 15275 (java) S 15259 15262 10029 0 -1 1077944384 3972 0 0 0 50 1 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317488322928 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15276] ppid=15259 vsize=10727700 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15276/stat : 15276 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317487270368 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15277] ppid=15259 vsize=10727700 memory=27044 CPUtime=0.11 cores=1,3,5,7
/proc/15262/task/15277/stat : 15277 (java) S 15259 15262 10029 0 -1 1077944384 1336 0 0 0 5 6 0 0 20 0 16 0 106406940 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317486218160 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15278] ppid=15259 vsize=10727700 memory=776 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15278/stat : 15278 (java) S 15259 15262 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106407026 10985164800 68415 33554432000 4194304 4196468 140720808557376 140317483066544 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
Current children cumulated CPU time: 226.12 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 273660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.201 s]
/proc/loadavg: 1.96 2.26 2.49 3/218 15363
/proc/meminfo: memFree=26260864/32770624 swapFree=67028796/67108860
[pid=15262] ppid=15259 vsize=10727700 memory=273680 CPUtime=252.04 cores=1,3,5,7
/proc/15262/stat : 15262 (java) S 15259 15262 10029 0 -1 1077944320 37516 0 0 0 25183 21 0 0 20 0 16 0 106406934 10985164800 68420 33554432000 4194304 4196468 140720808557376 140720808539920 140318257217271 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
/proc/15262/statm: 2681925 68420 3164 1 0 2644416 0
[pid=15262/tid=15264] ppid=15259 vsize=10727700 memory=3604 CPUtime=248.11 cores=1,3,5,7
/proc/15262/task/15264/stat : 15264 (java) R 15259 15262 10029 0 -1 4202560 8937 0 0 0 24806 5 0 0 20 0 16 0 106406935 10985164800 68420 33554432000 4194304 4196468 140720808557376 140318261453184 140317878159512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15265] ppid=15259 vsize=10727700 memory=13772 CPUtime=0.04 cores=1,3,5,7
/proc/15262/task/15265/stat : 15265 (java) S 15259 15262 10029 0 -1 1077944384 889 0 0 0 3 1 0 0 20 0 16 0 106406935 10985164800 68420 33554432000 4194304 4196468 140720808557376 140318193908112 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15266] ppid=15259 vsize=10727700 memory=15128 CPUtime=0.05 cores=1,3,5,7
/proc/15262/task/15266/stat : 15266 (java) S 15259 15262 10029 0 -1 1077944384 197 0 0 0 4 1 0 0 20 0 16 0 106406935 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317862783248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15267] ppid=15259 vsize=10727700 memory=640 CPUtime=0.06 cores=1,3,5,7
/proc/15262/task/15267/stat : 15267 (java) S 15259 15262 10029 0 -1 1077944384 391 0 0 0 5 1 0 0 20 0 16 0 106406935 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317861730960 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15268] ppid=15259 vsize=10727700 memory=1760 CPUtime=0.05 cores=1,3,5,7
/proc/15262/task/15268/stat : 15268 (java) S 15259 15262 10029 0 -1 1077944384 144 0 0 0 4 1 0 0 20 0 16 0 106406935 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317860678160 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15269] ppid=15259 vsize=10727700 memory=960 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15269/stat : 15269 (java) S 15259 15262 10029 0 -1 1077944384 1246 0 0 0 0 0 0 0 20 0 16 0 106406937 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317494639216 140318257228418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15270] ppid=15259 vsize=10727700 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15270/stat : 15270 (java) S 15259 15262 10029 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 106406937 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317493585248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15271] ppid=15259 vsize=10727700 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15271/stat : 15271 (java) S 15259 15262 10029 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 106406938 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317492532864 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15272] ppid=15259 vsize=10727700 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15272/stat : 15272 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106406940 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317491481168 140318257235867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15273] ppid=15259 vsize=10727700 memory=3700 CPUtime=1.28 cores=1,3,5,7
/proc/15262/task/15273/stat : 15273 (java) S 15259 15262 10029 0 -1 1077944384 7329 0 0 0 128 0 0 0 20 0 16 0 106406940 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317490428016 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15274] ppid=15259 vsize=10727700 memory=844 CPUtime=1.74 cores=1,3,5,7
/proc/15262/task/15274/stat : 15274 (java) S 15259 15262 10029 0 -1 1077944384 11649 0 0 0 172 2 0 0 20 0 16 0 106406940 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317489375216 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15275] ppid=15259 vsize=10727700 memory=1460 CPUtime=0.51 cores=1,3,5,7
/proc/15262/task/15275/stat : 15275 (java) S 15259 15262 10029 0 -1 1077944384 3974 0 0 0 50 1 0 0 20 0 16 0 106406940 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317488322928 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15276] ppid=15259 vsize=10727700 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15276/stat : 15276 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106406940 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317487270368 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15277] ppid=15259 vsize=10727700 memory=288230574492221466 CPUtime=0.13 cores=1,3,5,7
/proc/15262/task/15277/stat : 15277 (java) S 15259 15262 10029 0 -1 1077944384 1343 0 0 0 6 7 0 0 20 0 16 0 106406940 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317486218160 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15278] ppid=15259 vsize=10727700 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15278/stat : 15278 (java) S 15259 15262 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106407026 10985164800 68420 33554432000 4194304 4196468 140720808557376 140317483066544 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 273680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+248.427 s]
# the end of solver process 15262 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.87 s, system=0.222109 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+248.401 s]
/proc/loadavg: 1.96 2.26 2.49 3/218 15363
/proc/meminfo: memFree=26260864/32770624 swapFree=67028796/67108860
[pid=15262] ppid=15259 vsize=10927392 memory=273916 CPUtime=252.07 cores=1,3,5,7
/proc/15262/stat : 15262 (java) S 15259 15262 10029 0 -1 1077944320 38401 0 0 0 25186 21 0 0 20 0 17 0 106406934 11189649408 68479 33554432000 4194304 4196468 140720808557376 140720808539920 140318257217271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
/proc/15262/statm: 2731848 68479 3166 1 0 2694339 0
[pid=15262/tid=15264] ppid=15259 vsize=10927392 memory=3604 CPUtime=248.13 cores=1,3,5,7
/proc/15262/task/15264/stat : 15264 (java) S 15259 15262 10029 0 -1 1077944384 9099 0 0 0 24808 5 0 0 20 0 17 0 106406935 11189649408 68479 33554432000 4194304 4196468 140720808557376 140318261460144 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15265] ppid=15259 vsize=10927392 memory=13772 CPUtime=0.04 cores=1,3,5,7
/proc/15262/task/15265/stat : 15265 (java) S 15259 15262 10029 0 -1 1077944384 889 0 0 0 3 1 0 0 20 0 17 0 106406935 11189649408 68479 33554432000 4194304 4196468 140720808557376 140318193908112 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15266] ppid=15259 vsize=10927392 memory=15128 CPUtime=0.05 cores=1,3,5,7
/proc/15262/task/15266/stat : 15266 (java) S 15259 15262 10029 0 -1 1077944384 197 0 0 0 4 1 0 0 20 0 17 0 106406935 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317862783248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15267] ppid=15259 vsize=10927392 memory=4872558044660077418 CPUtime=0.06 cores=1,3,5,7
/proc/15262/task/15267/stat : 15267 (java) S 15259 15262 10029 0 -1 1077944384 391 0 0 0 5 1 0 0 20 0 17 0 106406935 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317861730960 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15268] ppid=15259 vsize=10927392 memory=1508 CPUtime=0.05 cores=1,3,5,7
/proc/15262/task/15268/stat : 15268 (java) S 15259 15262 10029 0 -1 1077944384 144 0 0 0 4 1 0 0 20 0 17 0 106406935 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317860678160 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15269] ppid=15259 vsize=10927392 memory=3328 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15269/stat : 15269 (java) S 15259 15262 10029 0 -1 1077944384 1246 0 0 0 0 0 0 0 20 0 17 0 106406937 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317494639216 140318257228418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15270] ppid=15259 vsize=10927392 memory=3008 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15270/stat : 15270 (java) S 15259 15262 10029 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 106406937 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317493585248 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15271] ppid=15259 vsize=10927392 memory=2764 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15271/stat : 15271 (java) S 15259 15262 10029 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 106406938 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317492532864 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15272] ppid=15259 vsize=10927392 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15272/stat : 15272 (java) S 15259 15262 10029 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 17 0 106406940 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317491481168 140318257235867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15273] ppid=15259 vsize=10927392 memory=273680 CPUtime=1.28 cores=1,3,5,7
/proc/15262/task/15273/stat : 15273 (java) S 15259 15262 10029 0 -1 1077944384 7432 0 0 0 128 0 0 0 20 0 17 0 106406940 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317490428016 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15274] ppid=15259 vsize=10927392 memory=273680 CPUtime=1.74 cores=1,3,5,7
/proc/15262/task/15274/stat : 15274 (java) S 15259 15262 10029 0 -1 1077944384 11689 0 0 0 172 2 0 0 20 0 17 0 106406940 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317489375216 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15275] ppid=15259 vsize=10927392 memory=6791534058613427641 CPUtime=0.51 cores=1,3,5,7
/proc/15262/task/15275/stat : 15275 (java) S 15259 15262 10029 0 -1 1077944384 4106 0 0 0 50 1 0 0 20 0 17 0 106406940 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317488322928 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15276] ppid=15259 vsize=10927392 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/15262/task/15276/stat : 15276 (java) S 15259 15262 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106406940 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317487270368 140318257227477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
[pid=15262/tid=15277] ppid=15259 vsize=10927392 memory=6768 CPUtime=0.13 cores=1,3,5,7
/proc/15262/task/15277/stat : 15277 (java) S 15259 15262 10029 0 -1 1077944384 1343 0 0 0 6 7 0 0 20 0 17 0 106406940 11189649408 68479 33554432000 4194304 4196468 140720808557376 140317486218160 140318257228418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25600000 140720808563830 140720808563982 140720808563982 140720808566735 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 273916 KiB
Child status: 143
Real time (s): 248.427
CPU time (s): 252.092
CPU user time (s): 251.87
CPU system time (s): 0.222109
CPU usage (%): 101.475
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 273916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.87
system time used= 0.222109
maximum resident set size= 274696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7788
involuntary context switches= 84
# summary of solver processes directly reported to runsolver:
# pid: 15262
# total CPU time (s): 252.092
# total CPU user time (s): 251.87
# total CPU system time (s): 0.222109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.86469 second user time and 2.03646 second system time
The end