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 (4326 MiB free)
memory of node 1: 16384 MiB (15837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301529-1532881815/watcher-4301529-1532881815 -o /tmp/evaluation-result-4301529-1532881815/solver-4301529-1532881815 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301529-1532881815.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=15466, runsolver pid=15463
[startup+0.100092 s]*
/proc/loadavg: 4.22 3.08 2.49 6/215 15481
/proc/meminfo: memFree=20629112/32770624 swapFree=67108860/67108860
[pid=15466] ppid=15463 vsize=10659012 memory=30340 CPUtime=0.13 cores=1,3,5,7
/proc/15466/stat : 15466 (java) S 15463 15466 13514 0 -1 1077944320 6652 0 0 0 11 2 0 0 20 0 15 0 105744703 10914828288 7585 33554432000 4194304 4196468 140733788286656 140733788269200 140028373806839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
/proc/15466/statm: 2664753 7585 2848 1 0 2627263 0
[pid=15466/tid=15468] ppid=15463 vsize=10659012 memory=-8773748148830114176 CPUtime=0.09 cores=1,3,5,7
/proc/15466/task/15468/stat : 15468 (java) R 15463 15466 13514 0 -1 4202560 4496 0 0 0 8 1 0 0 20 0 15 0 105744703 10914828288 7585 33554432000 4194304 4196468 140733788286656 140028378028336 140028373828765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15469] ppid=15463 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15469/stat : 15469 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10914828288 7585 33554432000 4194304 4196468 140733788286656 140028299881360 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15470] ppid=15463 vsize=10659012 memory=140218588866176 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15470/stat : 15470 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10914828288 7585 33554432000 4194304 4196468 140733788286656 140028298828560 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15471] ppid=15463 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15471/stat : 15471 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10914828288 7585 33554432000 4194304 4196468 140733788286656 140028297776272 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15472] ppid=15463 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15472/stat : 15472 (java) S 15463 15466 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105744704 10914828288 7585 33554432000 4194304 4196468 140733788286656 140028296723472 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15473] ppid=15463 vsize=10659012 memory=140218588866176 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15473/stat : 15473 (java) S 15463 15466 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105744705 10914828288 7585 33554432000 4194304 4196468 140733788286656 140027409459312 140028373817986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15474] ppid=15463 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15474/stat : 15474 (java) S 15463 15466 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105744706 10914828288 7585 33554432000 4194304 4196468 140733788286656 140027408405280 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15475] ppid=15463 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15475/stat : 15475 (java) S 15463 15466 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105744706 10914828288 7585 33554432000 4194304 4196468 140733788286656 140027407352944 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15476] ppid=15463 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15476/stat : 15476 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10914828288 7585 33554432000 4194304 4196468 140733788286656 140027406301264 140028373825435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15477] ppid=15463 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15477/stat : 15477 (java) S 15463 15466 13514 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 105744708 10914828288 7585 33554432000 4194304 4196468 140733788286656 140027405249136 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15478] ppid=15463 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15478/stat : 15478 (java) S 15463 15466 13514 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 105744708 10914828288 7585 33554432000 4194304 4196468 140733788286656 140027404196336 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15479] ppid=15463 vsize=10659012 memory=140218588866176 CPUtime=0.02 cores=1,3,5,7
/proc/15466/task/15479/stat : 15479 (java) S 15463 15466 13514 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 105744708 10914828288 7585 33554432000 4194304 4196468 140733788286656 140027403144048 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15480] ppid=15463 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15480/stat : 15480 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10914828288 7585 33554432000 4194304 4196468 140733788286656 140027402091488 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15481] ppid=15463 vsize=10659012 memory=140218588866176 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15481/stat : 15481 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744709 10914828288 7585 33554432000 4194304 4196468 140733788286656 140027401038256 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30340 KiB
[startup+0.210936 s]*
/proc/loadavg: 4.22 3.08 2.49 6/215 15481
/proc/meminfo: memFree=20617280/32770624 swapFree=67108860/67108860
[pid=15466] ppid=15463 vsize=10659012 memory=41884 CPUtime=0.33 cores=1,3,5,7
/proc/15466/stat : 15466 (java) S 15463 15466 13514 0 -1 1077944320 8147 0 0 0 31 2 0 0 20 0 15 0 105744703 10914828288 10471 33554432000 4194304 4196468 140733788286656 140733788269200 140028373806839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
/proc/15466/statm: 2664753 10471 3005 1 0 2627263 0
[pid=15466/tid=15468] ppid=15463 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15466/task/15468/stat : 15468 (java) R 15463 15466 13514 0 -1 4202560 5046 0 0 0 18 2 0 0 20 0 15 0 105744703 10914828288 10471 33554432000 4194304 4196468 140733788286656 140028378043456 140028357887326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15469] ppid=15463 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15469/stat : 15469 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10914828288 10471 33554432000 4194304 4196468 140733788286656 140028299881360 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15470] ppid=15463 vsize=10659012 memory=140218589491210 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15470/stat : 15470 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10914828288 10471 33554432000 4194304 4196468 140733788286656 140028298828560 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15471] ppid=15463 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15471/stat : 15471 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10914828288 10471 33554432000 4194304 4196468 140733788286656 140028297776272 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15472] ppid=15463 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15472/stat : 15472 (java) S 15463 15466 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105744704 10914828288 10471 33554432000 4194304 4196468 140733788286656 140028296723472 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15473] ppid=15463 vsize=10659012 memory=140218588866176 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15473/stat : 15473 (java) S 15463 15466 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105744705 10914828288 10471 33554432000 4194304 4196468 140733788286656 140027409459312 140028373817986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15474] ppid=15463 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15474/stat : 15474 (java) S 15463 15466 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105744706 10914828288 10471 33554432000 4194304 4196468 140733788286656 140027408405280 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15475] ppid=15463 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15475/stat : 15475 (java) S 15463 15466 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105744706 10914828288 10471 33554432000 4194304 4196468 140733788286656 140027407352944 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15476] ppid=15463 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15476/stat : 15476 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10914828288 10471 33554432000 4194304 4196468 140733788286656 140027406301264 140028373825435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15477] ppid=15463 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15466/task/15477/stat : 15477 (java) S 15463 15466 13514 0 -1 1077944384 650 0 0 0 2 0 0 0 20 0 15 0 105744708 10914828288 10471 33554432000 4194304 4196468 140733788286656 140027405249136 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15478] ppid=15463 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15466/task/15478/stat : 15478 (java) S 15463 15466 13514 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 105744708 10914828288 10471 33554432000 4194304 4196468 140733788286656 140027404196336 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15479] ppid=15463 vsize=10659012 memory=140218588866176 CPUtime=0.07 cores=1,3,5,7
/proc/15466/task/15479/stat : 15479 (java) R 15463 15466 13514 0 -1 4202560 724 0 0 0 7 0 0 0 20 0 15 0 105744708 10914828288 10471 33554432000 4194304 4196468 140733788286656 140027403144048 140028373828186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15480] ppid=15463 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15480/stat : 15480 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10914828288 10471 33554432000 4194304 4196468 140733788286656 140027402091488 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15481] ppid=15463 vsize=10659012 memory=140218588866176 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15481/stat : 15481 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744709 10914828288 10471 33554432000 4194304 4196468 140733788286656 140027401038256 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41884 KiB
[startup+0.310946 s]*
/proc/loadavg: 4.22 3.08 2.49 6/215 15481
/proc/meminfo: memFree=20607232/32770624 swapFree=67108860/67108860
[pid=15466] ppid=15463 vsize=10659088 memory=52472 CPUtime=0.59 cores=1,3,5,7
/proc/15466/stat : 15466 (java) S 15463 15466 13514 0 -1 1077944320 9734 0 0 0 56 3 0 0 20 0 15 0 105744703 10914906112 13118 33554432000 4194304 4196468 140733788286656 140733788269200 140028373806839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
/proc/15466/statm: 2664772 13118 3068 1 0 2627263 0
[pid=15466/tid=15468] ppid=15463 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/15466/task/15468/stat : 15468 (java) R 15463 15466 13514 0 -1 4202560 5602 0 0 0 28 2 0 0 20 0 15 0 105744703 10914906112 13118 33554432000 4194304 4196468 140733788286656 140028378039088 140027963249924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15469] ppid=15463 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15469/stat : 15469 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10914906112 13118 33554432000 4194304 4196468 140733788286656 140028299881360 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15470] ppid=15463 vsize=10659088 memory=140218589485525 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15470/stat : 15470 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10914906112 13118 33554432000 4194304 4196468 140733788286656 140028298828560 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15471] ppid=15463 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15471/stat : 15471 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10914906112 13118 33554432000 4194304 4196468 140733788286656 140028297776272 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15472] ppid=15463 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15472/stat : 15472 (java) S 15463 15466 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105744704 10914906112 13118 33554432000 4194304 4196468 140733788286656 140028296723472 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15473] ppid=15463 vsize=10659088 memory=140218588866176 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15473/stat : 15473 (java) S 15463 15466 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105744705 10914906112 13118 33554432000 4194304 4196468 140733788286656 140027409459312 140028373817986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15474] ppid=15463 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15474/stat : 15474 (java) S 15463 15466 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105744706 10914906112 13118 33554432000 4194304 4196468 140733788286656 140027408405280 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15475] ppid=15463 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15475/stat : 15475 (java) S 15463 15466 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105744706 10914906112 13118 33554432000 4194304 4196468 140733788286656 140027407352944 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15476] ppid=15463 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15476/stat : 15476 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10914906112 13118 33554432000 4194304 4196468 140733788286656 140027406301264 140028373825435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15477] ppid=15463 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15466/task/15477/stat : 15477 (java) R 15463 15466 13514 0 -1 4202560 961 0 0 0 7 0 0 0 20 0 15 0 105744708 10914906112 13118 33554432000 4194304 4196468 140733788286656 140027405239520 140028354982656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15478] ppid=15463 vsize=10659088 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/15466/task/15478/stat : 15478 (java) R 15463 15466 13514 0 -1 4202560 833 0 0 0 6 0 0 0 20 0 15 0 105744708 10914906112 13118 33554432000 4194304 4196468 140733788286656 140027404177352 140028357217632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15479] ppid=15463 vsize=10659088 memory=140218588866176 CPUtime=0.13 cores=1,3,5,7
/proc/15466/task/15479/stat : 15479 (java) R 15463 15466 13514 0 -1 4202560 974 0 0 0 13 0 0 0 20 0 15 0 105744708 10914906112 13118 33554432000 4194304 4196468 140733788286656 140027403144048 140028366043966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15480] ppid=15463 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15480/stat : 15480 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10914906112 13118 33554432000 4194304 4196468 140733788286656 140027402091488 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15481] ppid=15463 vsize=10659088 memory=140218588866176 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15481/stat : 15481 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744709 10914906112 13118 33554432000 4194304 4196468 140733788286656 140027401038256 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52472 KiB
[startup+0.703174 s]
/proc/loadavg: 4.22 3.08 2.49 5/215 15481
/proc/meminfo: memFree=20584400/32770624 swapFree=67108860/67108860
[pid=15466] ppid=15463 vsize=10661136 memory=158840 CPUtime=1.83 cores=1,3,5,7
/proc/15466/stat : 15466 (java) S 15463 15466 13514 0 -1 1077944320 11878 0 0 0 178 5 0 0 20 0 15 0 105744703 10917003264 39710 33554432000 4194304 4196468 140733788286656 140733788269200 140028373806839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
/proc/15466/statm: 2665284 39710 3114 1 0 2627775 0
[pid=15466/tid=15468] ppid=15463 vsize=10661136 memory=16828 CPUtime=0.67 cores=1,3,5,7
/proc/15466/task/15468/stat : 15468 (java) R 15463 15466 13514 0 -1 4202560 6089 0 0 0 64 3 0 0 20 0 15 0 105744703 10917003264 39710 33554432000 4194304 4196468 140733788286656 140028378042240 140027966868213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15469] ppid=15463 vsize=10661136 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15469/stat : 15469 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10917003264 39710 33554432000 4194304 4196468 140733788286656 140028299881360 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15470] ppid=15463 vsize=10661136 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15470/stat : 15470 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10917003264 39710 33554432000 4194304 4196468 140733788286656 140028298828560 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15471] ppid=15463 vsize=10661136 memory=496 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15471/stat : 15471 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744704 10917003264 39710 33554432000 4194304 4196468 140733788286656 140028297776272 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15472] ppid=15463 vsize=10661136 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15472/stat : 15472 (java) S 15463 15466 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105744704 10917003264 39710 33554432000 4194304 4196468 140733788286656 140028296723472 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15473] ppid=15463 vsize=10661136 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15473/stat : 15473 (java) S 15463 15466 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105744705 10917003264 39710 33554432000 4194304 4196468 140733788286656 140027409459312 140028373817986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15474] ppid=15463 vsize=10661136 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15474/stat : 15474 (java) S 15463 15466 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105744706 10917003264 39710 33554432000 4194304 4196468 140733788286656 140027408405280 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15475] ppid=15463 vsize=10661136 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15475/stat : 15475 (java) S 15463 15466 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105744706 10917003264 39710 33554432000 4194304 4196468 140733788286656 140027407352944 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15476] ppid=15463 vsize=10661136 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15476/stat : 15476 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10917003264 39710 33554432000 4194304 4196468 140733788286656 140027406301264 140028373825435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15477] ppid=15463 vsize=10661136 memory=6081108994580573287 CPUtime=0.41 cores=1,3,5,7
/proc/15466/task/15477/stat : 15477 (java) R 15463 15466 13514 0 -1 4202560 1537 0 0 0 41 0 0 0 20 0 15 0 105744708 10917003264 39710 33554432000 4194304 4196468 140733788286656 140027405242160 140028373818774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15478] ppid=15463 vsize=10661136 memory=5788647689011156329 CPUtime=0.35 cores=1,3,5,7
/proc/15466/task/15478/stat : 15478 (java) R 15463 15466 13514 0 -1 4202560 1158 0 0 0 35 0 0 0 20 0 15 0 105744708 10917003264 39710 33554432000 4194304 4196468 140733788286656 140027404183328 140028355351095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15479] ppid=15463 vsize=10661136 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/15466/task/15479/stat : 15479 (java) R 15463 15466 13514 0 -1 1077944384 1725 0 0 0 37 0 0 0 20 0 15 0 105744708 10917003264 39710 33554432000 4194304 4196468 140733788286656 140027403138624 140028373817045 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15480] ppid=15463 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15480/stat : 15480 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10917003264 39710 33554432000 4194304 4196468 140733788286656 140027402091488 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15481] ppid=15463 vsize=10661136 memory=756 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15481/stat : 15481 (java) S 15463 15466 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105744709 10917003264 39710 33554432000 4194304 4196468 140733788286656 140027401038256 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 158840 KiB
[startup+1.5008 s]
/proc/loadavg: 4.22 3.08 2.49 9/215 15481
/proc/meminfo: memFree=20423156/32770624 swapFree=67108860/67108860
[pid=15466] ppid=15463 vsize=10661136 memory=407772 CPUtime=4.41 cores=1,3,5,7
/proc/15466/stat : 15466 (java) S 15463 15466 13514 0 -1 1077944320 17693 0 0 0 420 21 0 0 20 0 15 0 105744703 10917003264 101943 33554432000 4194304 4196468 140733788286656 140733788269200 140028373806839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
/proc/15466/statm: 2665284 101943 3149 1 0 2627775 0
[pid=15466/tid=15468] ppid=15463 vsize=10661136 memory=299116 CPUtime=1.35 cores=1,3,5,7
/proc/15466/task/15468/stat : 15468 (java) R 15463 15466 13514 0 -1 4202560 6189 0 0 0 130 5 0 0 20 0 15 0 105744703 10917003264 101943 33554432000 4194304 4196468 140733788286656 140028378043456 140027967792365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15469] ppid=15463 vsize=10661136 memory=33 CPUtime=0.11 cores=1,3,5,7
/proc/15466/task/15469/stat : 15469 (java) S 15463 15466 13514 0 -1 1077944384 124 0 0 0 8 3 0 0 20 0 15 0 105744704 10917003264 101943 33554432000 4194304 4196468 140733788286656 140028299881360 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15470] ppid=15463 vsize=10661136 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/15466/task/15470/stat : 15470 (java) S 15463 15466 13514 0 -1 1077944384 133 0 0 0 8 3 0 0 20 0 15 0 105744704 10917003264 101943 33554432000 4194304 4196468 140733788286656 140028298828560 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15471] ppid=15463 vsize=10661136 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/15466/task/15471/stat : 15471 (java) S 15463 15466 13514 0 -1 1077944384 130 0 0 0 8 3 0 0 20 0 15 0 105744704 10917003264 101943 33554432000 4194304 4196468 140733788286656 140028297776272 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15472] ppid=15463 vsize=10661136 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15466/task/15472/stat : 15472 (java) S 15463 15466 13514 0 -1 1077944384 102 0 0 0 7 3 0 0 20 0 15 0 105744704 10917003264 101943 33554432000 4194304 4196468 140733788286656 140028296723472 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15473] ppid=15463 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15473/stat : 15473 (java) S 15463 15466 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105744705 10917003264 101943 33554432000 4194304 4196468 140733788286656 140027409459312 140028373817986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
################
# More data... #
################
[startup+87.5509 s]
# the end of solver process 15466 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.897 s, system=6.09958 s
Solver just ended.
Dumping a history of the last processes samples
[startup+86.4009 s]
/proc/loadavg: 3.09 3.08 2.55 6/216 15557
/proc/meminfo: memFree=19228212/32770624 swapFree=67108860/67108860
[pid=15466] ppid=15463 vsize=10661136 memory=7868276 CPUtime=255.6 cores=1,3,5,7
/proc/15466/stat : 15466 (java) S 15463 15466 13514 0 -1 1077944320 131568 0 0 0 24955 605 0 0 20 0 15 0 105744703 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140733788269200 140028373806839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
/proc/15466/statm: 2665284 1967069 3182 1 0 2627775 0
[pid=15466/tid=15468] ppid=15463 vsize=10661136 memory=6791534058613427641 CPUtime=14.64 cores=1,3,5,7
/proc/15466/task/15468/stat : 15468 (java) S 15463 15466 13514 0 -1 1077944384 13080 0 0 0 1452 12 0 0 20 0 15 0 105744703 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028378038896 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15469] ppid=15463 vsize=10661136 memory=1240 CPUtime=54.83 cores=1,3,5,7
/proc/15466/task/15469/stat : 15469 (java) R 15463 15466 13514 0 -1 4202560 15885 0 0 0 5340 143 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028299881560 140028358506656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15470] ppid=15463 vsize=10661136 memory=1520 CPUtime=55.08 cores=1,3,5,7
/proc/15466/task/15470/stat : 15470 (java) R 15463 15466 13514 0 -1 4202560 13228 0 0 0 5358 150 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028298828368 140028366435047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15471] ppid=15463 vsize=10661136 memory=844 CPUtime=55.26 cores=1,3,5,7
/proc/15466/task/15471/stat : 15471 (java) R 15463 15466 13514 0 -1 4202560 15348 0 0 0 5385 141 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028297776080 140028366435047 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15472] ppid=15463 vsize=10661136 memory=3360 CPUtime=54.8 cores=1,3,5,7
/proc/15466/task/15472/stat : 15472 (java) R 15463 15466 13514 0 -1 4202560 19779 0 0 0 5330 150 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028296723280 140028366435047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15473] ppid=15463 vsize=10661136 memory=280436938382112 CPUtime=16.12 cores=1,3,5,7
/proc/15466/task/15473/stat : 15473 (java) S 15463 15466 13514 0 -1 1077944384 36393 0 0 0 1610 2 0 0 20 0 15 0 105744705 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027409457856 140028373817045 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15474] ppid=15463 vsize=10661136 memory=5571041044296116587 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15474/stat : 15474 (java) S 15463 15466 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105744706 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027408405344 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15475] ppid=15463 vsize=10661136 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15475/stat : 15475 (java) S 15463 15466 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105744706 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027407352960 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15476] ppid=15463 vsize=10661136 memory=280436936939728 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15476/stat : 15476 (java) S 15463 15466 13514 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027406300912 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15477] ppid=15463 vsize=10661136 memory=31356350842106267 CPUtime=2.12 cores=1,3,5,7
/proc/15466/task/15477/stat : 15477 (java) S 15463 15466 13514 0 -1 1077944384 6901 0 0 0 211 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027405249184 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15478] ppid=15463 vsize=10661136 memory=1812 CPUtime=2.09 cores=1,3,5,7
/proc/15466/task/15478/stat : 15478 (java) S 15463 15466 13514 0 -1 1077944384 5890 0 0 0 208 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027404196096 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15479] ppid=15463 vsize=10661136 memory=1020 CPUtime=0.53 cores=1,3,5,7
/proc/15466/task/15479/stat : 15479 (java) S 15463 15466 13514 0 -1 1077944384 2929 0 0 0 52 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027403144096 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15480] ppid=15463 vsize=10661136 memory=5456 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15480/stat : 15480 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027402091488 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15481] ppid=15463 vsize=10661136 memory=756 CPUtime=0.05 cores=1,3,5,7
/proc/15466/task/15481/stat : 15481 (java) S 15463 15466 13514 0 -1 1077944384 768 0 0 0 2 3 0 0 20 0 15 0 105744709 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027401038256 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
Current children cumulated CPU time: 255.6 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 7868276 KiB
[startup+87.2009 s]
/proc/loadavg: 3.09 3.08 2.55 6/216 15557
/proc/meminfo: memFree=19228088/32770624 swapFree=67108860/67108860
[pid=15466] ppid=15463 vsize=10661136 memory=7868276 CPUtime=258.71 cores=1,3,5,7
/proc/15466/stat : 15466 (java) S 15463 15466 13514 0 -1 1077944320 131672 0 0 0 25265 606 0 0 20 0 15 0 105744703 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140733788269200 140028373806839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
/proc/15466/statm: 2665284 1967069 3182 1 0 2627775 0
[pid=15466/tid=15468] ppid=15463 vsize=10661136 memory=2204 CPUtime=14.64 cores=1,3,5,7
/proc/15466/task/15468/stat : 15468 (java) S 15463 15466 13514 0 -1 1077944384 13080 0 0 0 1452 12 0 0 20 0 15 0 105744703 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028378038896 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15469] ppid=15463 vsize=10661136 memory=6791534058613427641 CPUtime=55.62 cores=1,3,5,7
/proc/15466/task/15469/stat : 15469 (java) R 15463 15466 13514 0 -1 4202560 15984 0 0 0 5419 143 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028299881480 140028358804768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15470] ppid=15463 vsize=10661136 memory=1812 CPUtime=55.85 cores=1,3,5,7
/proc/15466/task/15470/stat : 15470 (java) R 15463 15466 13514 0 -1 4202560 13231 0 0 0 5435 150 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028298828680 140028358796397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15471] ppid=15463 vsize=10661136 memory=6791534058613427641 CPUtime=56.04 cores=1,3,5,7
/proc/15466/task/15471/stat : 15471 (java) R 15463 15466 13514 0 -1 4202560 15349 0 0 0 5462 142 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028297776080 140028366909825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15472] ppid=15463 vsize=10661136 memory=5456 CPUtime=55.57 cores=1,3,5,7
/proc/15466/task/15472/stat : 15472 (java) R 15463 15466 13514 0 -1 4202560 19780 0 0 0 5407 150 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028296723280 140028358803348 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15473] ppid=15463 vsize=10661136 memory=4140 CPUtime=16.12 cores=1,3,5,7
/proc/15466/task/15473/stat : 15473 (java) S 15463 15466 13514 0 -1 1077944384 36393 0 0 0 1610 2 0 0 20 0 15 0 105744705 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027409457856 140028373817045 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15474] ppid=15463 vsize=10661136 memory=30184 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15474/stat : 15474 (java) S 15463 15466 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105744706 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027408405344 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15475] ppid=15463 vsize=10661136 memory=7868132 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15475/stat : 15475 (java) S 15463 15466 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105744706 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027407352960 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15476] ppid=15463 vsize=10661136 memory=2724 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15476/stat : 15476 (java) S 15463 15466 13514 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027406300912 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15477] ppid=15463 vsize=10661136 memory=1256 CPUtime=2.12 cores=1,3,5,7
/proc/15466/task/15477/stat : 15477 (java) S 15463 15466 13514 0 -1 1077944384 6901 0 0 0 211 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027405249184 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15478] ppid=15463 vsize=10661136 memory=10368 CPUtime=2.09 cores=1,3,5,7
/proc/15466/task/15478/stat : 15478 (java) S 15463 15466 13514 0 -1 1077944384 5890 0 0 0 208 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027404196096 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15479] ppid=15463 vsize=10661136 memory=1700 CPUtime=0.53 cores=1,3,5,7
/proc/15466/task/15479/stat : 15479 (java) S 15463 15466 13514 0 -1 1077944384 2929 0 0 0 52 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027403144096 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15480] ppid=15463 vsize=10661136 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15480/stat : 15480 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027402091488 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15481] ppid=15463 vsize=10661136 memory=1812 CPUtime=0.05 cores=1,3,5,7
/proc/15466/task/15481/stat : 15481 (java) S 15463 15466 13514 0 -1 1077944384 768 0 0 0 2 3 0 0 20 0 15 0 105744709 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027401038256 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
Current children cumulated CPU time: 258.71 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 7868276 KiB
[startup+87.4009 s]
/proc/loadavg: 3.09 3.08 2.55 6/216 15557
/proc/meminfo: memFree=19228088/32770624 swapFree=67108860/67108860
[pid=15466] ppid=15463 vsize=10661136 memory=7868276 CPUtime=259.51 cores=1,3,5,7
/proc/15466/stat : 15466 (java) S 15463 15466 13514 0 -1 1077944320 131672 0 0 0 25345 606 0 0 20 0 15 0 105744703 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140733788269200 140028373806839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
/proc/15466/statm: 2665284 1967069 3182 1 0 2627775 0
[pid=15466/tid=15468] ppid=15463 vsize=10661136 memory=2204 CPUtime=14.64 cores=1,3,5,7
/proc/15466/task/15468/stat : 15468 (java) S 15463 15466 13514 0 -1 1077944384 13080 0 0 0 1452 12 0 0 20 0 15 0 105744703 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028378038896 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15469] ppid=15463 vsize=10661136 memory=1240 CPUtime=55.82 cores=1,3,5,7
/proc/15466/task/15469/stat : 15469 (java) R 15463 15466 13514 0 -1 4202560 15984 0 0 0 5439 143 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028299881480 140028358796373 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15470] ppid=15463 vsize=10661136 memory=1520 CPUtime=56.05 cores=1,3,5,7
/proc/15466/task/15470/stat : 15470 (java) R 15463 15466 13514 0 -1 4202560 13231 0 0 0 5455 150 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028298828680 140028358506629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15471] ppid=15463 vsize=10661136 memory=844 CPUtime=56.24 cores=1,3,5,7
/proc/15466/task/15471/stat : 15471 (java) R 15463 15466 13514 0 -1 4202560 15349 0 0 0 5482 142 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028297776080 140028355416622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15472] ppid=15463 vsize=10661136 memory=3360 CPUtime=55.77 cores=1,3,5,7
/proc/15466/task/15472/stat : 15472 (java) R 15463 15466 13514 0 -1 4202560 19780 0 0 0 5427 150 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028296723280 140028358507535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15473] ppid=15463 vsize=10661136 memory=2724 CPUtime=16.12 cores=1,3,5,7
/proc/15466/task/15473/stat : 15473 (java) S 15463 15466 13514 0 -1 1077944384 36393 0 0 0 1610 2 0 0 20 0 15 0 105744705 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027409457856 140028373817045 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15474] ppid=15463 vsize=10661136 memory=1256 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15474/stat : 15474 (java) S 15463 15466 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105744706 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027408405344 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15475] ppid=15463 vsize=10661136 memory=10368 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15475/stat : 15475 (java) S 15463 15466 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105744706 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027407352960 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15476] ppid=15463 vsize=10661136 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15476/stat : 15476 (java) S 15463 15466 13514 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027406300912 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15477] ppid=15463 vsize=10661136 memory=1172 CPUtime=2.12 cores=1,3,5,7
/proc/15466/task/15477/stat : 15477 (java) S 15463 15466 13514 0 -1 1077944384 6901 0 0 0 211 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027405249184 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15478] ppid=15463 vsize=10661136 memory=1812 CPUtime=2.09 cores=1,3,5,7
/proc/15466/task/15478/stat : 15478 (java) S 15463 15466 13514 0 -1 1077944384 5890 0 0 0 208 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027404196096 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15479] ppid=15463 vsize=10661136 memory=1020 CPUtime=0.53 cores=1,3,5,7
/proc/15466/task/15479/stat : 15479 (java) S 15463 15466 13514 0 -1 1077944384 2929 0 0 0 52 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027403144096 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15480] ppid=15463 vsize=10661136 memory=5456 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15480/stat : 15480 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027402091488 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15481] ppid=15463 vsize=10661136 memory=4140 CPUtime=0.05 cores=1,3,5,7
/proc/15466/task/15481/stat : 15481 (java) S 15463 15466 13514 0 -1 1077944384 768 0 0 0 2 3 0 0 20 0 15 0 105744709 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027401038256 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
Current children cumulated CPU time: 259.51 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 7868276 KiB
[startup+87.5009 s]
/proc/loadavg: 3.09 3.08 2.55 6/216 15557
/proc/meminfo: memFree=19228088/32770624 swapFree=67108860/67108860
[pid=15466] ppid=15463 vsize=10661136 memory=7868276 CPUtime=259.91 cores=1,3,5,7
/proc/15466/stat : 15466 (java) S 15463 15466 13514 0 -1 1077944320 131672 0 0 0 25385 606 0 0 20 0 15 0 105744703 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140733788269200 140028373806839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
/proc/15466/statm: 2665284 1967069 3182 1 0 2627775 0
[pid=15466/tid=15468] ppid=15463 vsize=10661136 memory=7868260 CPUtime=14.64 cores=1,3,5,7
/proc/15466/task/15468/stat : 15468 (java) S 15463 15466 13514 0 -1 1077944384 13080 0 0 0 1452 12 0 0 20 0 15 0 105744703 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028378038896 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15469] ppid=15463 vsize=10661136 memory=7868276 CPUtime=55.92 cores=1,3,5,7
/proc/15466/task/15469/stat : 15469 (java) R 15463 15466 13514 0 -1 4202560 15984 0 0 0 5449 143 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028299881480 140028355416525 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15470] ppid=15463 vsize=10661136 memory=7868276 CPUtime=56.15 cores=1,3,5,7
/proc/15466/task/15470/stat : 15470 (java) R 15463 15466 13514 0 -1 4202560 13231 0 0 0 5465 150 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028298828680 140028358507527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15471] ppid=15463 vsize=10661136 memory=276 CPUtime=56.34 cores=1,3,5,7
/proc/15466/task/15471/stat : 15471 (java) R 15463 15466 13514 0 -1 4202560 15349 0 0 0 5492 142 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028297776080 140028358803317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15472] ppid=15463 vsize=10661136 memory=0 CPUtime=55.87 cores=1,3,5,7
/proc/15466/task/15472/stat : 15472 (java) R 15463 15466 13514 0 -1 4202560 19780 0 0 0 5437 150 0 0 20 0 15 0 105744704 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140028296723280 140028358507454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15473] ppid=15463 vsize=10661136 memory=14572 CPUtime=16.12 cores=1,3,5,7
/proc/15466/task/15473/stat : 15473 (java) S 15463 15466 13514 0 -1 1077944384 36393 0 0 0 1610 2 0 0 20 0 15 0 105744705 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027409457856 140028373817045 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15474] ppid=15463 vsize=10661136 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15474/stat : 15474 (java) S 15463 15466 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105744706 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027408405344 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15475] ppid=15463 vsize=10661136 memory=7857884 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15475/stat : 15475 (java) S 15463 15466 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105744706 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027407352960 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15476] ppid=15463 vsize=10661136 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15476/stat : 15476 (java) S 15463 15466 13514 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027406300912 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15477] ppid=15463 vsize=10661136 memory=6791534058613427641 CPUtime=2.12 cores=1,3,5,7
/proc/15466/task/15477/stat : 15477 (java) S 15463 15466 13514 0 -1 1077944384 6901 0 0 0 211 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027405249184 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15478] ppid=15463 vsize=10661136 memory=212 CPUtime=2.09 cores=1,3,5,7
/proc/15466/task/15478/stat : 15478 (java) S 15463 15466 13514 0 -1 1077944384 5890 0 0 0 208 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027404196096 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15479] ppid=15463 vsize=10661136 memory=4465 CPUtime=0.53 cores=1,3,5,7
/proc/15466/task/15479/stat : 15479 (java) S 15463 15466 13514 0 -1 1077944384 2929 0 0 0 52 1 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027403144096 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15480] ppid=15463 vsize=10661136 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/15466/task/15480/stat : 15480 (java) S 15463 15466 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105744708 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027402091488 140028373817045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
[pid=15466/tid=15481] ppid=15463 vsize=10661136 memory=7868132 CPUtime=0.05 cores=1,3,5,7
/proc/15466/task/15481/stat : 15481 (java) S 15463 15466 13514 0 -1 1077944384 768 0 0 0 2 3 0 0 20 0 15 0 105744709 10917003264 1967069 33554432000 4194304 4196468 140733788286656 140027401038256 140028373817986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11227136 140733788288118 140733788288270 140733788288270 140733788291023 0
Current children cumulated CPU time: 259.91 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 7868276 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 87.551
CPU time (s): 259.996
CPU user time (s): 253.897
CPU system time (s): 6.09958
CPU usage (%): 296.965
Max. virtual memory (cumulated for all children) (KiB): 10662992
Max. memory (cumulated for all children) (KiB): 7868276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.897
system time used= 6.09958
maximum resident set size= 7868588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5545
involuntary context switches= 2719
# summary of solver processes directly reported to runsolver:
# pid: 15466
# total CPU time (s): 259.996
# total CPU user time (s): 253.897
# total CPU system time (s): 6.09958
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.506574 second user time and 0.927689 second system time
The end