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 (8657 MiB free)
memory of node 1: 16384 MiB (14662 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258324-1502643198/watcher-4258324-1502643198 -o /tmp/evaluation-result-4258324-1502643198/solver-4258324-1502643198 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502642118-13948 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258324-1502643198.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=14224, runsolver pid=14220
[startup+0.100128 s]*
/proc/loadavg: 3.43 2.79 2.30 4/216 14239
/proc/meminfo: memFree=23861264/32770624 swapFree=67108860/67108860
[pid=14224] ppid=14220 vsize=10555400 memory=29652 CPUtime=0.13 cores=1,3,5,7
/proc/14224/stat : 14224 (java) S 14220 14224 4973 0 -1 1077944320 6544 0 0 0 11 2 0 0 20 0 15 0 97400771 10808729600 7413 33554432000 4194304 4196468 140725056369616 140725056352160 140204856569591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
/proc/14224/statm: 2638850 7413 2790 1 0 2627263 0
[pid=14224/tid=14226] ppid=14220 vsize=10555400 memory=-8125511277465604221 CPUtime=0.09 cores=1,3,5,7
/proc/14224/task/14226/stat : 14226 (java) R 14220 14224 4973 0 -1 4202560 4381 0 0 0 8 1 0 0 20 0 15 0 97400771 10808729600 7413 33554432000 4194304 4196468 140725056369616 140204860757936 140204856581526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14227] ppid=14220 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14227/stat : 14227 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400772 10808729600 7413 33554432000 4194304 4196468 140725056369616 140204782644368 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14228] ppid=14220 vsize=10555400 memory=139735771096704 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14228/stat : 14228 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400772 10808729600 7413 33554432000 4194304 4196468 140725056369616 140204781591568 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14229] ppid=14220 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14229/stat : 14229 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400772 10808729600 7413 33554432000 4194304 4196468 140725056369616 140204780538768 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14230] ppid=14220 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14230/stat : 14230 (java) S 14220 14224 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97400772 10808729600 7413 33554432000 4194304 4196468 140725056369616 140204779485968 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14231] ppid=14220 vsize=10555400 memory=139735771096704 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14231/stat : 14231 (java) S 14220 14224 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97400773 10808729600 7413 33554432000 4194304 4196468 140725056369616 140203892087152 140204856580738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14232] ppid=14220 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14232/stat : 14232 (java) S 14220 14224 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97400774 10808729600 7413 33554432000 4194304 4196468 140725056369616 140203891033120 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14233] ppid=14220 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14233/stat : 14233 (java) S 14220 14224 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97400774 10808729600 7413 33554432000 4194304 4196468 140725056369616 140203889980272 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14234] ppid=14220 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14234/stat : 14234 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400776 10808729600 7413 33554432000 4194304 4196468 140725056369616 140203888928592 140204856588187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14235] ppid=14220 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14235/stat : 14235 (java) S 14220 14224 4973 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 97400776 10808729600 7413 33554432000 4194304 4196468 140725056369616 140203887876976 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14236] ppid=14220 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14236/stat : 14236 (java) S 14220 14224 4973 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 97400776 10808729600 7413 33554432000 4194304 4196468 140725056369616 140203886824176 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14237] ppid=14220 vsize=10555400 memory=139735771096704 CPUtime=0.02 cores=1,3,5,7
/proc/14224/task/14237/stat : 14237 (java) R 14220 14224 4973 0 -1 4202560 379 0 0 0 2 0 0 0 20 0 15 0 97400776 10808729600 7413 33554432000 4194304 4196468 140725056369616 140203885771376 140204835102843 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14238] ppid=14220 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14238/stat : 14238 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400777 10808729600 7413 33554432000 4194304 4196468 140725056369616 140203884718816 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14239] ppid=14220 vsize=10555400 memory=139735771096704 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14239/stat : 14239 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400777 10808729600 7413 33554432000 4194304 4196468 140725056369616 140203883666096 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29652 KiB
[startup+0.216734 s]*
/proc/loadavg: 3.43 2.79 2.30 7/216 14239
/proc/meminfo: memFree=23851416/32770624 swapFree=67108860/67108860
[pid=14224] ppid=14220 vsize=10555400 memory=44144 CPUtime=0.35 cores=1,3,5,7
/proc/14224/stat : 14224 (java) S 14220 14224 4973 0 -1 1077944320 8194 0 0 0 33 2 0 0 20 0 15 0 97400771 10808729600 11036 33554432000 4194304 4196468 140725056369616 140725056352160 140204856569591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
/proc/14224/statm: 2638850 11036 3010 1 0 2627263 0
[pid=14224/tid=14226] ppid=14220 vsize=10555400 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/14224/task/14226/stat : 14226 (java) R 14220 14224 4973 0 -1 4202560 5042 0 0 0 19 2 0 0 20 0 15 0 97400771 10808729600 11102 33554432000 4194304 4196468 140725056369616 140204860793008 140204841938684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14227] ppid=14220 vsize=10555400 memory=365 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14227/stat : 14227 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400772 10808729600 11102 33554432000 4194304 4196468 140725056369616 140204782644368 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14228] ppid=14220 vsize=10555400 memory=139735771110909 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14228/stat : 14228 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400772 10808729600 11102 33554432000 4194304 4196468 140725056369616 140204781591568 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14229] ppid=14220 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14229/stat : 14229 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400772 10808729600 11102 33554432000 4194304 4196468 140725056369616 140204780538768 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14230] ppid=14220 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14230/stat : 14230 (java) S 14220 14224 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97400772 10808729600 11102 33554432000 4194304 4196468 140725056369616 140204779485968 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14231] ppid=14220 vsize=10555400 memory=139735771096704 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14231/stat : 14231 (java) S 14220 14224 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97400773 10808729600 11102 33554432000 4194304 4196468 140725056369616 140203892087152 140204856580738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14232] ppid=14220 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14232/stat : 14232 (java) S 14220 14224 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97400774 10808729600 11102 33554432000 4194304 4196468 140725056369616 140203891033120 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14233] ppid=14220 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14233/stat : 14233 (java) S 14220 14224 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97400774 10808729600 11134 33554432000 4194304 4196468 140725056369616 140203889980272 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14234] ppid=14220 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14234/stat : 14234 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400776 10808729600 11134 33554432000 4194304 4196468 140725056369616 140203888928592 140204856588187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14235] ppid=14220 vsize=10555400 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14224/task/14235/stat : 14235 (java) R 14220 14224 4973 0 -1 4202560 601 0 0 0 3 0 0 0 20 0 15 0 97400776 10808729600 11134 33554432000 4194304 4196468 140725056369616 140203887867088 140204840958448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14236] ppid=14220 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14224/task/14236/stat : 14236 (java) R 14220 14224 4973 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 97400776 10808729600 11134 33554432000 4194304 4196468 140725056369616 140203886810272 140204841448576 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14237] ppid=14220 vsize=10555400 memory=139735771096704 CPUtime=0.08 cores=1,3,5,7
/proc/14224/task/14237/stat : 14237 (java) R 14220 14224 4973 0 -1 4202560 883 0 0 0 8 0 0 0 20 0 15 0 97400776 10808729600 11134 33554432000 4194304 4196468 140725056369616 140203885767256 140204835488353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14238] ppid=14220 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14238/stat : 14238 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400777 10808729600 11134 33554432000 4194304 4196468 140725056369616 140203884718816 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14239] ppid=14220 vsize=10555400 memory=139735771096704 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14239/stat : 14239 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400777 10808729600 11134 33554432000 4194304 4196468 140725056369616 140203883666096 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 44144 KiB
[startup+0.310769 s]*
/proc/loadavg: 3.43 2.79 2.30 4/216 14239
/proc/meminfo: memFree=23836840/32770624 swapFree=67108860/67108860
[pid=14224] ppid=14220 vsize=10555476 memory=56064 CPUtime=0.63 cores=1,3,5,7
/proc/14224/stat : 14224 (java) S 14220 14224 4973 0 -1 1077944320 10027 0 0 0 60 3 0 0 20 0 15 0 97400771 10808807424 14016 33554432000 4194304 4196468 140725056369616 140725056352160 140204856569591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
/proc/14224/statm: 2638869 14016 3055 1 0 2627263 0
[pid=14224/tid=14226] ppid=14220 vsize=10555476 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/14224/task/14226/stat : 14226 (java) R 14220 14224 4973 0 -1 4202560 5499 0 0 0 28 2 0 0 20 0 15 0 97400771 10808807424 14016 33554432000 4194304 4196468 140725056369616 140204860803712 140204840613221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14227] ppid=14220 vsize=10555476 memory=304556153373982743 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14227/stat : 14227 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400772 10808807424 14016 33554432000 4194304 4196468 140725056369616 140204782644368 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14228] ppid=14220 vsize=10555476 memory=139735771110601 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14228/stat : 14228 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400772 10808807424 14016 33554432000 4194304 4196468 140725056369616 140204781591568 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14229] ppid=14220 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14229/stat : 14229 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400772 10808807424 14016 33554432000 4194304 4196468 140725056369616 140204780538768 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14230] ppid=14220 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14230/stat : 14230 (java) S 14220 14224 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97400772 10808807424 14016 33554432000 4194304 4196468 140725056369616 140204779485968 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14231] ppid=14220 vsize=10555476 memory=139735771096704 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14231/stat : 14231 (java) S 14220 14224 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97400773 10808807424 14016 33554432000 4194304 4196468 140725056369616 140203892087152 140204856580738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14232] ppid=14220 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14232/stat : 14232 (java) S 14220 14224 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 14016 33554432000 4194304 4196468 140725056369616 140203891033120 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14233] ppid=14220 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14233/stat : 14233 (java) S 14220 14224 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 14016 33554432000 4194304 4196468 140725056369616 140203889980272 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14234] ppid=14220 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14234/stat : 14234 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400776 10808807424 14016 33554432000 4194304 4196468 140725056369616 140203888928592 140204856588187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14235] ppid=14220 vsize=10555476 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/14224/task/14235/stat : 14235 (java) S 14220 14224 4973 0 -1 1077944384 1391 0 0 0 11 0 0 0 20 0 15 0 97400776 10808807424 14016 33554432000 4194304 4196468 140725056369616 140203887876976 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14236] ppid=14220 vsize=10555476 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/14224/task/14236/stat : 14236 (java) S 14220 14224 4973 0 -1 1077944384 536 0 0 0 6 0 0 0 20 0 15 0 97400776 10808807424 14016 33554432000 4194304 4196468 140725056369616 140203886824176 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14237] ppid=14220 vsize=10555476 memory=139735771096704 CPUtime=0.13 cores=1,3,5,7
/proc/14224/task/14237/stat : 14237 (java) S 14220 14224 4973 0 -1 1077944384 1234 0 0 0 13 0 0 0 20 0 15 0 97400776 10808807424 14016 33554432000 4194304 4196468 140725056369616 140203885771376 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14238] ppid=14220 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14238/stat : 14238 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400777 10808807424 14016 33554432000 4194304 4196468 140725056369616 140203884718816 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14239] ppid=14220 vsize=10555476 memory=139735771096704 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14239/stat : 14239 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400777 10808807424 14016 33554432000 4194304 4196468 140725056369616 140203883666096 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 56064 KiB
[startup+0.702734 s]
/proc/loadavg: 3.43 2.79 2.30 5/216 14239
/proc/meminfo: memFree=23816860/32770624 swapFree=67108860/67108860
[pid=14224] ppid=14220 vsize=10555476 memory=188988 CPUtime=1.88 cores=1,3,5,7
/proc/14224/stat : 14224 (java) S 14220 14224 4973 0 -1 1077944320 12820 0 0 0 182 6 0 0 20 0 15 0 97400771 10808807424 47247 33554432000 4194304 4196468 140725056369616 140725056352160 140204856569591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
/proc/14224/statm: 2638869 47247 3113 1 0 2627263 0
[pid=14224/tid=14226] ppid=14220 vsize=10555476 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/14224/task/14226/stat : 14226 (java) R 14220 14224 4973 0 -1 4202560 5903 0 0 0 63 4 0 0 20 0 15 0 97400771 10808807424 47247 33554432000 4194304 4196468 140725056369616 140204860805056 140204840909328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14227] ppid=14220 vsize=10555476 memory=792 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14227/stat : 14227 (java) S 14220 14224 4973 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 97400772 10808807424 47247 33554432000 4194304 4196468 140725056369616 140204782644368 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14228] ppid=14220 vsize=10555476 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14228/stat : 14228 (java) S 14220 14224 4973 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 97400772 10808807424 47247 33554432000 4194304 4196468 140725056369616 140204781591568 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14229] ppid=14220 vsize=10555476 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14229/stat : 14229 (java) S 14220 14224 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97400772 10808807424 47247 33554432000 4194304 4196468 140725056369616 140204780538768 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14230] ppid=14220 vsize=10555476 memory=5716 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14230/stat : 14230 (java) S 14220 14224 4973 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 97400772 10808807424 47247 33554432000 4194304 4196468 140725056369616 140204779485968 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14231] ppid=14220 vsize=10555476 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14231/stat : 14231 (java) S 14220 14224 4973 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 97400773 10808807424 47247 33554432000 4194304 4196468 140725056369616 140203892087152 140204856580738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14232] ppid=14220 vsize=10555476 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14232/stat : 14232 (java) S 14220 14224 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 47247 33554432000 4194304 4196468 140725056369616 140203891033120 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14233] ppid=14220 vsize=10555476 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14233/stat : 14233 (java) S 14220 14224 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 47247 33554432000 4194304 4196468 140725056369616 140203889980272 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14234] ppid=14220 vsize=10555476 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14234/stat : 14234 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400776 10808807424 47247 33554432000 4194304 4196468 140725056369616 140203888928592 140204856588187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14235] ppid=14220 vsize=10555476 memory=4639098309541127021 CPUtime=0.43 cores=1,3,5,7
/proc/14224/task/14235/stat : 14235 (java) R 14220 14224 4973 0 -1 4202560 1610 0 0 0 43 0 0 0 20 0 15 0 97400776 10808807424 47247 33554432000 4194304 4196468 140725056369616 140203887856208 140204839980406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14236] ppid=14220 vsize=10555476 memory=7597685182856913236 CPUtime=0.38 cores=1,3,5,7
/proc/14224/task/14236/stat : 14236 (java) R 14220 14224 4973 0 -1 4202560 1563 0 0 0 38 0 0 0 20 0 15 0 97400776 10808807424 47247 33554432000 4194304 4196468 140725056369616 140203886805192 140204838100095 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14237] ppid=14220 vsize=10555476 memory=7236547281622689387 CPUtime=0.34 cores=1,3,5,7
/proc/14224/task/14237/stat : 14237 (java) S 14220 14224 4973 0 -1 1077944384 2257 0 0 0 34 0 0 0 20 0 15 0 97400776 10808807424 47247 33554432000 4194304 4196468 140725056369616 140203885771376 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14238] ppid=14220 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14238/stat : 14238 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400777 10808807424 47247 33554432000 4194304 4196468 140725056369616 140203884718816 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14239] ppid=14220 vsize=10555476 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14239/stat : 14239 (java) S 14220 14224 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97400777 10808807424 47247 33554432000 4194304 4196468 140725056369616 140203883666096 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 188988 KiB
[startup+1.50175 s]
/proc/loadavg: 3.43 2.79 2.30 5/216 14239
/proc/meminfo: memFree=23659056/32770624 swapFree=67108860/67108860
[pid=14224] ppid=14220 vsize=10555476 memory=367276 CPUtime=4.32 cores=1,3,5,7
/proc/14224/stat : 14224 (java) S 14220 14224 4973 0 -1 1077944320 15544 0 0 0 421 11 0 0 20 0 15 0 97400771 10808807424 91819 33554432000 4194304 4196468 140725056369616 140725056352160 140204856569591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
/proc/14224/statm: 2638869 91819 3131 1 0 2627263 0
[pid=14224/tid=14226] ppid=14220 vsize=10555476 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/14224/task/14226/stat : 14226 (java) S 14220 14224 4973 0 -1 1077944384 5996 0 0 0 136 5 0 0 20 0 15 0 97400771 10808807424 91819 33554432000 4194304 4196468 140725056369616 140204860804736 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14227] ppid=14220 vsize=10555476 memory=-8754540793456063680 CPUtime=0.03 cores=1,3,5,7
/proc/14224/task/14227/stat : 14227 (java) R 14220 14224 4973 0 -1 4202560 109 0 0 0 3 0 0 0 20 0 15 0 97400772 10808807424 91819 33554432000 4194304 4196468 140725056369616 140204782644368 140204838195536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14228] ppid=14220 vsize=10555476 memory=-2843874019102283166 CPUtime=0.03 cores=1,3,5,7
/proc/14224/task/14228/stat : 14228 (java) R 14220 14224 4973 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 15 0 97400772 10808807424 91819 33554432000 4194304 4196468 140725056369616 140204781591568 140204841597483 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14229] ppid=14220 vsize=10555476 memory=5450919713671312938 CPUtime=0.05 cores=1,3,5,7
/proc/14224/task/14229/stat : 14229 (java) R 14220 14224 4973 0 -1 4202560 105 0 0 0 4 1 0 0 20 0 15 0 97400772 10808807424 91819 33554432000 4194304 4196468 140725056369616 140204780538768 140204838195359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14230] ppid=14220 vsize=10555476 memory=-7096649868621430206 CPUtime=0.04 cores=1,3,5,7
/proc/14224/task/14230/stat : 14230 (java) R 14220 14224 4973 0 -1 4202560 94 0 0 0 3 1 0 0 20 0 15 0 97400772 10808807424 91819 33554432000 4194304 4196468 140725056369616 140204779486168 140204841597010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14231] ppid=14220 vsize=10555476 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14231/stat : 14231 (java) S 14220 14224 4973 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 97400773 10808807424 91819 33554432000 4194304 4196468 140725056369616 140203892085664 140204856579797 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
################
# More data... #
################
[startup+111.541 s]
# the end of solver process 14224 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.756 s, system=5.21725 s
Solver just ended.
Dumping a history of the last processes samples
[startup+110.401 s]
/proc/loadavg: 2.66 2.73 2.33 10/215 14326
/proc/meminfo: memFree=15067380/32770624 swapFree=67108860/67108860
[pid=14224] ppid=14220 vsize=10555476 memory=8206184 CPUtime=255.65 cores=1,3,5,7
/proc/14224/stat : 14224 (java) S 14220 14224 4973 0 -1 1077944320 255129 0 0 0 25048 517 0 0 20 0 15 0 97400771 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140725056352160 140204856569591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
/proc/14224/statm: 2638869 2051546 3159 1 0 2627263 0
[pid=14224/tid=14226] ppid=14220 vsize=10555476 memory=1292 CPUtime=53.16 cores=1,3,5,7
/proc/14224/task/14226/stat : 14226 (java) S 14220 14224 4973 0 -1 1077944384 14705 0 0 0 5294 22 0 0 20 0 15 0 97400771 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140204860803216 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14227] ppid=14220 vsize=10555476 memory=2428 CPUtime=47.48 cores=1,3,5,7
/proc/14224/task/14227/stat : 14227 (java) R 14220 14224 4973 0 -1 4202560 41090 0 0 0 4628 120 0 0 20 0 15 0 97400772 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140204782643952 140204849197799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14228] ppid=14220 vsize=10555476 memory=6791534058613427641 CPUtime=47.6 cores=1,3,5,7
/proc/14224/task/14228/stat : 14228 (java) R 14220 14224 4973 0 -1 4202560 77848 0 0 0 4640 120 0 0 20 0 15 0 97400772 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140204781591464 140204849197799 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14229] ppid=14220 vsize=10555476 memory=792 CPUtime=47.47 cores=1,3,5,7
/proc/14224/task/14229/stat : 14229 (java) R 14220 14224 4973 0 -1 4202560 43746 0 0 0 4621 126 0 0 20 0 15 0 97400772 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140204780538968 140204838166228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14230] ppid=14220 vsize=10555476 memory=9992 CPUtime=47.44 cores=1,3,5,7
/proc/14224/task/14230/stat : 14230 (java) R 14220 14224 4973 0 -1 4202560 35975 0 0 0 4624 120 0 0 20 0 15 0 97400772 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140204779485552 140204849197799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14231] ppid=14220 vsize=10555476 memory=1224 CPUtime=9.21 cores=1,3,5,7
/proc/14224/task/14231/stat : 14231 (java) S 14220 14224 4973 0 -1 1077944384 29365 0 0 0 919 2 0 0 20 0 15 0 97400773 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140203892085472 140204856579797 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14232] ppid=14220 vsize=10555476 memory=640 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14232/stat : 14232 (java) S 14220 14224 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140203891033184 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14233] ppid=14220 vsize=10555476 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14233/stat : 14233 (java) S 14220 14224 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140203889980272 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14234] ppid=14220 vsize=10555476 memory=960 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14234/stat : 14234 (java) S 14220 14224 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97400776 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140203888928240 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14235] ppid=14220 vsize=10555476 memory=1236 CPUtime=1.34 cores=1,3,5,7
/proc/14224/task/14235/stat : 14235 (java) S 14220 14224 4973 0 -1 1077944384 3728 0 0 0 134 0 0 0 20 0 15 0 97400776 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140203887876736 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14236] ppid=14220 vsize=10555476 memory=2344 CPUtime=1.33 cores=1,3,5,7
/proc/14224/task/14236/stat : 14236 (java) S 14220 14224 4973 0 -1 1077944384 3637 0 0 0 133 0 0 0 20 0 15 0 97400776 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140203886824224 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14237] ppid=14220 vsize=10555476 memory=932 CPUtime=0.46 cores=1,3,5,7
/proc/14224/task/14237/stat : 14237 (java) S 14220 14224 4973 0 -1 1077944384 3481 0 0 0 45 1 0 0 20 0 15 0 97400776 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140203885771424 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14238] ppid=14220 vsize=10555476 memory=8206184 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14238/stat : 14238 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400777 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140203884718816 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14239] ppid=14220 vsize=10555476 memory=8552 CPUtime=0.07 cores=1,3,5,7
/proc/14224/task/14239/stat : 14239 (java) S 14220 14224 4973 0 -1 1077944384 189 0 0 0 2 5 0 0 20 0 15 0 97400777 10808807424 2051546 33554432000 4194304 4196468 140725056369616 140203883666096 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
Current children cumulated CPU time: 255.65 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8206184 KiB
[startup+111.201 s]
/proc/loadavg: 2.66 2.73 2.33 9/215 14326
/proc/meminfo: memFree=15064340/32770624 swapFree=67108860/67108860
[pid=14224] ppid=14220 vsize=10555476 memory=8206208 CPUtime=258.74 cores=1,3,5,7
/proc/14224/stat : 14224 (java) S 14220 14224 4973 0 -1 1077944320 255185 0 0 0 25357 517 0 0 20 0 15 0 97400771 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140725056352160 140204856569591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
/proc/14224/statm: 2638869 2051552 3159 1 0 2627263 0
[pid=14224/tid=14226] ppid=14220 vsize=10555476 memory=6791534058613427641 CPUtime=53.16 cores=1,3,5,7
/proc/14224/task/14226/stat : 14226 (java) S 14220 14224 4973 0 -1 1077944384 14705 0 0 0 5294 22 0 0 20 0 15 0 97400771 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204860803216 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14227] ppid=14220 vsize=10555476 memory=4052 CPUtime=48.25 cores=1,3,5,7
/proc/14224/task/14227/stat : 14227 (java) R 14220 14224 4973 0 -1 4202560 41090 0 0 0 4705 120 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204782644264 140204849197799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14228] ppid=14220 vsize=10555476 memory=16804 CPUtime=48.35 cores=1,3,5,7
/proc/14224/task/14228/stat : 14228 (java) R 14220 14224 4973 0 -1 4202560 77848 0 0 0 4715 120 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204781591464 140204849197799 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14229] ppid=14220 vsize=10555476 memory=18472 CPUtime=48.26 cores=1,3,5,7
/proc/14224/task/14229/stat : 14229 (java) R 14220 14224 4973 0 -1 4202560 43802 0 0 0 4700 126 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204780538968 140204841520168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14230] ppid=14220 vsize=10555476 memory=1580 CPUtime=48.21 cores=1,3,5,7
/proc/14224/task/14230/stat : 14230 (java) R 14220 14224 4973 0 -1 4202560 35975 0 0 0 4700 121 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204779485552 140204849197799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14231] ppid=14220 vsize=10555476 memory=2244 CPUtime=9.21 cores=1,3,5,7
/proc/14224/task/14231/stat : 14231 (java) S 14220 14224 4973 0 -1 1077944384 29365 0 0 0 919 2 0 0 20 0 15 0 97400773 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203892085472 140204856579797 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14232] ppid=14220 vsize=10555476 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14232/stat : 14232 (java) S 14220 14224 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203891033184 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14233] ppid=14220 vsize=10555476 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14233/stat : 14233 (java) S 14220 14224 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203889980272 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14234] ppid=14220 vsize=10555476 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14234/stat : 14234 (java) S 14220 14224 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203888928240 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14235] ppid=14220 vsize=10555476 memory=1728 CPUtime=1.34 cores=1,3,5,7
/proc/14224/task/14235/stat : 14235 (java) S 14220 14224 4973 0 -1 1077944384 3728 0 0 0 134 0 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203887876736 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14236] ppid=14220 vsize=10555476 memory=792 CPUtime=1.33 cores=1,3,5,7
/proc/14224/task/14236/stat : 14236 (java) S 14220 14224 4973 0 -1 1077944384 3637 0 0 0 133 0 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203886824224 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14237] ppid=14220 vsize=10555476 memory=9992 CPUtime=0.46 cores=1,3,5,7
/proc/14224/task/14237/stat : 14237 (java) S 14220 14224 4973 0 -1 1077944384 3481 0 0 0 45 1 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203885771424 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14238] ppid=14220 vsize=10555476 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14238/stat : 14238 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400777 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203884718816 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14239] ppid=14220 vsize=10555476 memory=5716 CPUtime=0.07 cores=1,3,5,7
/proc/14224/task/14239/stat : 14239 (java) S 14220 14224 4973 0 -1 1077944384 189 0 0 0 2 5 0 0 20 0 15 0 97400777 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203883666096 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
Current children cumulated CPU time: 258.74 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8206208 KiB
[startup+111.401 s]
/proc/loadavg: 2.66 2.73 2.33 9/215 14326
/proc/meminfo: memFree=15064340/32770624 swapFree=67108860/67108860
[pid=14224] ppid=14220 vsize=10555476 memory=8206208 CPUtime=259.52 cores=1,3,5,7
/proc/14224/stat : 14224 (java) S 14220 14224 4973 0 -1 1077944320 255185 0 0 0 25435 517 0 0 20 0 15 0 97400771 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140725056352160 140204856569591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
/proc/14224/statm: 2638869 2051552 3159 1 0 2627263 0
[pid=14224/tid=14226] ppid=14220 vsize=10555476 memory=4612 CPUtime=53.16 cores=1,3,5,7
/proc/14224/task/14226/stat : 14226 (java) S 14220 14224 4973 0 -1 1077944384 14705 0 0 0 5294 22 0 0 20 0 15 0 97400771 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204860803216 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14227] ppid=14220 vsize=10555476 memory=1008 CPUtime=48.45 cores=1,3,5,7
/proc/14224/task/14227/stat : 14227 (java) R 14220 14224 4973 0 -1 4202560 41090 0 0 0 4725 120 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204782644264 140204849197799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14228] ppid=14220 vsize=10555476 memory=1944 CPUtime=48.55 cores=1,3,5,7
/proc/14224/task/14228/stat : 14228 (java) R 14220 14224 4973 0 -1 4202560 77848 0 0 0 4734 121 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204781591464 140204849197799 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14229] ppid=14220 vsize=10555476 memory=1200 CPUtime=48.46 cores=1,3,5,7
/proc/14224/task/14229/stat : 14229 (java) R 14220 14224 4973 0 -1 4202560 43802 0 0 0 4720 126 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204780538968 140204841520196 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14230] ppid=14220 vsize=10555476 memory=1424 CPUtime=48.41 cores=1,3,5,7
/proc/14224/task/14230/stat : 14230 (java) R 14220 14224 4973 0 -1 4202560 35975 0 0 0 4720 121 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204779485552 140204849197799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14231] ppid=14220 vsize=10555476 memory=8552 CPUtime=9.21 cores=1,3,5,7
/proc/14224/task/14231/stat : 14231 (java) S 14220 14224 4973 0 -1 1077944384 29365 0 0 0 919 2 0 0 20 0 15 0 97400773 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203892085472 140204856579797 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14232] ppid=14220 vsize=10555476 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14232/stat : 14232 (java) S 14220 14224 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203891033184 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14233] ppid=14220 vsize=10555476 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14233/stat : 14233 (java) S 14220 14224 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203889980272 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14234] ppid=14220 vsize=10555476 memory=16804 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14234/stat : 14234 (java) S 14220 14224 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203888928240 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14235] ppid=14220 vsize=10555476 memory=18472 CPUtime=1.34 cores=1,3,5,7
/proc/14224/task/14235/stat : 14235 (java) S 14220 14224 4973 0 -1 1077944384 3728 0 0 0 134 0 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203887876736 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14236] ppid=14220 vsize=10555476 memory=640 CPUtime=1.33 cores=1,3,5,7
/proc/14224/task/14236/stat : 14236 (java) S 14220 14224 4973 0 -1 1077944384 3637 0 0 0 133 0 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203886824224 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14237] ppid=14220 vsize=10555476 memory=1796 CPUtime=0.46 cores=1,3,5,7
/proc/14224/task/14237/stat : 14237 (java) S 14220 14224 4973 0 -1 1077944384 3481 0 0 0 45 1 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203885771424 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14238] ppid=14220 vsize=10555476 memory=3004 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14238/stat : 14238 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400777 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203884718816 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14239] ppid=14220 vsize=10555476 memory=8200040 CPUtime=0.07 cores=1,3,5,7
/proc/14224/task/14239/stat : 14239 (java) S 14220 14224 4973 0 -1 1077944384 189 0 0 0 2 5 0 0 20 0 15 0 97400777 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203883666096 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
Current children cumulated CPU time: 259.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8206208 KiB
[startup+111.501 s]
/proc/loadavg: 2.66 2.73 2.33 9/215 14326
/proc/meminfo: memFree=15064340/32770624 swapFree=67108860/67108860
[pid=14224] ppid=14220 vsize=10555476 memory=8206208 CPUtime=259.91 cores=1,3,5,7
/proc/14224/stat : 14224 (java) S 14220 14224 4973 0 -1 1077944320 255185 0 0 0 25473 518 0 0 20 0 15 0 97400771 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140725056352160 140204856569591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
/proc/14224/statm: 2638869 2051552 3159 1 0 2627263 0
[pid=14224/tid=14226] ppid=14220 vsize=10555476 memory=7633196 CPUtime=53.16 cores=1,3,5,7
/proc/14224/task/14226/stat : 14226 (java) S 14220 14224 4973 0 -1 1077944384 14705 0 0 0 5294 22 0 0 20 0 15 0 97400771 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204860803216 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14227] ppid=14220 vsize=10555476 memory=7502804 CPUtime=48.54 cores=1,3,5,7
/proc/14224/task/14227/stat : 14227 (java) R 14220 14224 4973 0 -1 4202560 41090 0 0 0 4734 120 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204782643952 140204849197799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14228] ppid=14220 vsize=10555476 memory=7759172 CPUtime=48.65 cores=1,3,5,7
/proc/14224/task/14228/stat : 14228 (java) R 14220 14224 4973 0 -1 4202560 77848 0 0 0 4744 121 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204781591464 140204849197799 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14229] ppid=14220 vsize=10555476 memory=8206208 CPUtime=48.56 cores=1,3,5,7
/proc/14224/task/14229/stat : 14229 (java) R 14220 14224 4973 0 -1 4202560 43802 0 0 0 4730 126 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204780538968 140204841520196 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14230] ppid=14220 vsize=10555476 memory=279471241963680 CPUtime=48.5 cores=1,3,5,7
/proc/14224/task/14230/stat : 14230 (java) R 14220 14224 4973 0 -1 4202560 35975 0 0 0 4729 121 0 0 20 0 15 0 97400772 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140204779485552 140204849197799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14231] ppid=14220 vsize=10555476 memory=7386056 CPUtime=9.21 cores=1,3,5,7
/proc/14224/task/14231/stat : 14231 (java) S 14220 14224 4973 0 -1 1077944384 29365 0 0 0 919 2 0 0 20 0 15 0 97400773 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203892085472 140204856579797 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14232] ppid=14220 vsize=10555476 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14232/stat : 14232 (java) S 14220 14224 4973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203891033184 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14233] ppid=14220 vsize=10555476 memory=8197992 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14233/stat : 14233 (java) S 14220 14224 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97400774 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203889980272 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14234] ppid=14220 vsize=10555476 memory=7759172 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14234/stat : 14234 (java) S 14220 14224 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203888928240 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14235] ppid=14220 vsize=10555476 memory=4872558044660077418 CPUtime=1.34 cores=1,3,5,7
/proc/14224/task/14235/stat : 14235 (java) S 14220 14224 4973 0 -1 1077944384 3728 0 0 0 134 0 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203887876736 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14236] ppid=14220 vsize=10555476 memory=916 CPUtime=1.33 cores=1,3,5,7
/proc/14224/task/14236/stat : 14236 (java) S 14220 14224 4973 0 -1 1077944384 3637 0 0 0 133 0 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203886824224 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14237] ppid=14220 vsize=10555476 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/14224/task/14237/stat : 14237 (java) S 14220 14224 4973 0 -1 1077944384 3481 0 0 0 45 1 0 0 20 0 15 0 97400776 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203885771424 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14238] ppid=14220 vsize=10555476 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/14224/task/14238/stat : 14238 (java) S 14220 14224 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97400777 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203884718816 140204856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
[pid=14224/tid=14239] ppid=14220 vsize=10555476 memory=4144 CPUtime=0.07 cores=1,3,5,7
/proc/14224/task/14239/stat : 14239 (java) S 14220 14224 4973 0 -1 1077944384 189 0 0 0 2 5 0 0 20 0 15 0 97400777 10808807424 2051552 33554432000 4194304 4196468 140725056369616 140203883666096 140204856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31211520 140725056373899 140725056374052 140725056374052 140725056376783 0
Current children cumulated CPU time: 259.91 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8206208 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 111.541
CPU time (s): 259.974
CPU user time (s): 254.756
CPU system time (s): 5.21725
CPU usage (%): 233.074
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8206208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.756
system time used= 5.21725
maximum resident set size= 8206528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255189
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6625
involuntary context switches= 2661
# summary of solver processes directly reported to runsolver:
# pid: 14224
# total CPU time (s): 259.974
# total CPU user time (s): 254.756
# total CPU system time (s): 5.21725
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.850589 second user time and 0.949318 second system time
The end