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 (13250 MiB free)
memory of node 1: 16384 MiB (15373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263794-1502641207/watcher-4263794-1502641207 -o /tmp/evaluation-result-4263794-1502641207/solver-4263794-1502641207 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8033 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263794-1502641207.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24051, runsolver pid=24048
[startup+0.100133 s]*
/proc/loadavg: 2.01 2.08 2.36 3/203 24057
/proc/meminfo: memFree=29302636/32770624 swapFree=67108860/67108860
[pid=24051] ppid=24048 vsize=10018544 memory=19320 CPUtime=0.01 cores=1,3,5,7
/proc/24051/stat : 24051 (java) S 24048 24051 7968 0 -1 1077944320 3630 0 0 0 1 0 0 0 20 0 7 0 18003347 10258989056 4830 18446744073709551615 4194304 4196468 140734738919728 140734738902272 140175157432055 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
/proc/24051/statm: 2504636 4830 2005 1 0 2494133 0
[pid=24051/tid=24053] ppid=24048 vsize=10018544 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/24051/task/24053/stat : 24053 (java) R 24048 24051 7968 0 -1 4202560 2324 0 0 0 1 0 0 0 20 0 7 0 18003356 10258989056 4830 18446744073709551615 4194304 4196468 140734738919728 140175161674512 140175122799824 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24054] ppid=24048 vsize=10018544 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24054/stat : 24054 (java) S 24048 24051 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 18003357 10258989056 4830 18446744073709551615 4194304 4196468 140734738919728 140175118330640 140175157442261 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24055] ppid=24048 vsize=10018544 memory=139945195263616 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24055/stat : 24055 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 18003357 10258989056 4830 18446744073709551615 4194304 4196468 140734738919728 140175117278096 140175157442261 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24056] ppid=24048 vsize=10018544 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24056/stat : 24056 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 18003357 10258989056 4830 18446744073709551615 4194304 4196468 140734738919728 140174766824464 140175157442261 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24057] ppid=24048 vsize=10018544 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24057/stat : 24057 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 18003357 10258989056 4830 18446744073709551615 4194304 4196468 140734738919728 140174765771920 140175157442261 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24058] ppid=24048 vsize=10018544 memory=139945195263616 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24058/stat : 24058 (java) S 24048 24051 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 18003358 10258989056 4830 18446744073709551615 4194304 4196468 140734738919728 140174721497072 140175157443202 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 10018544 KiB
Current children cumulated memory: 19320 KiB
[startup+0.210118 s]*
/proc/loadavg: 2.01 2.08 2.36 2/211 24065
/proc/meminfo: memFree=29296256/32770624 swapFree=67108860/67108860
[pid=24051] ppid=24048 vsize=10484492 memory=24640 CPUtime=0.06 cores=1,3,5,7
/proc/24051/stat : 24051 (java) S 24048 24051 7968 0 -1 1077944320 4612 0 0 0 5 1 0 0 20 0 14 0 18003347 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140734738902272 140175157432055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
/proc/24051/statm: 2621123 6160 2569 1 0 2610620 0
[pid=24051/tid=24053] ppid=24048 vsize=10484492 memory=8318255677412212789 CPUtime=0.04 cores=1,3,5,7
/proc/24051/task/24053/stat : 24053 (java) D 24048 24051 7968 0 -1 4202560 2718 0 0 0 4 0 0 0 20 0 14 0 18003356 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140175161669536 140175157454077 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24054] ppid=24048 vsize=10484492 memory=326 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24054/stat : 24054 (java) S 24048 24051 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18003357 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140175118330640 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24055] ppid=24048 vsize=10484492 memory=139945195284567 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24055/stat : 24055 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18003357 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140175117278096 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24056] ppid=24048 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24056/stat : 24056 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18003357 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140174766824464 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24057] ppid=24048 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24057/stat : 24057 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18003357 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140174765771920 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24058] ppid=24048 vsize=10484492 memory=139945195263616 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24058/stat : 24058 (java) S 24048 24051 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18003358 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140174721497072 140175157443202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24059] ppid=24048 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24059/stat : 24059 (java) S 24048 24051 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 18003359 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140174720443296 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24060] ppid=24048 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24060/stat : 24060 (java) S 24048 24051 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 18003359 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140174719390704 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24061] ppid=24048 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24061/stat : 24061 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18003361 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140174718339280 140175157450651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24062] ppid=24048 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24062/stat : 24062 (java) S 24048 24051 7968 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 18003361 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140174717286896 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24063] ppid=24048 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24063/stat : 24063 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18003361 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140174716234352 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24064] ppid=24048 vsize=10484492 memory=139945195263616 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24064/stat : 24064 (java) S 24048 24051 7968 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 18003361 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140174715181808 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24065] ppid=24048 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24065/stat : 24065 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18003361 10736119808 6160 18446744073709551615 4194304 4196468 140734738919728 140174391503968 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 24640 KiB
[startup+0.310003 s]*
/proc/loadavg: 2.01 2.08 2.36 3/212 24066
/proc/meminfo: memFree=29287860/32770624 swapFree=67108860/67108860
[pid=24051] ppid=24048 vsize=10551156 memory=32332 CPUtime=0.17 cores=1,3,5,7
/proc/24051/stat : 24051 (java) S 24048 24051 7968 0 -1 1077944320 7907 0 0 0 14 3 0 0 20 0 15 0 18003347 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140734738902272 140175157432055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
/proc/24051/statm: 2637789 8083 2794 1 0 2627261 0
[pid=24051/tid=24053] ppid=24048 vsize=10551156 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/24051/task/24053/stat : 24053 (java) R 24048 24051 7968 0 -1 4202560 5668 0 0 0 10 2 0 0 20 0 15 0 18003356 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140175161664208 140175141512542 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24054] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24054/stat : 24054 (java) S 24048 24051 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18003357 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140175118330640 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24055] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24055/stat : 24055 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18003357 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140175117278096 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24056] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24056/stat : 24056 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18003357 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174766824464 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24057] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24057/stat : 24057 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18003357 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174765771920 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24058] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24058/stat : 24058 (java) S 24048 24051 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18003358 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174721497072 140175157443202 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24059] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24059/stat : 24059 (java) S 24048 24051 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18003359 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174720443296 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24060] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24060/stat : 24060 (java) S 24048 24051 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18003359 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174719390704 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24061] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24061/stat : 24061 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18003361 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174718339280 140175157450651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24062] ppid=24048 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24051/task/24062/stat : 24062 (java) S 24048 24051 7968 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 15 0 18003361 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174717286896 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24063] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24063/stat : 24063 (java) S 24048 24051 7968 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 18003361 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174716234352 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24064] ppid=24048 vsize=10551156 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24051/task/24064/stat : 24064 (java) S 24048 24051 7968 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 18003361 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174715181808 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24065] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24065/stat : 24065 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18003361 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174391503968 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24066] ppid=24048 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24066/stat : 24066 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18003372 10804383744 8083 18446744073709551615 4194304 4196468 140734738919728 140174390450480 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 32332 KiB
[startup+0.701603 s]
/proc/loadavg: 2.01 2.08 2.36 4/212 24066
/proc/meminfo: memFree=29274920/32770624 swapFree=67108860/67108860
[pid=24051] ppid=24048 vsize=10617796 memory=60480 CPUtime=1.09 cores=1,3,5,7
/proc/24051/stat : 24051 (java) S 24048 24051 7968 0 -1 1077944320 12327 0 0 0 105 4 0 0 20 0 16 0 18003347 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140734738902272 140175157432055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
/proc/24051/statm: 2654449 15120 3053 1 0 2643902 0
[pid=24051/tid=24053] ppid=24048 vsize=10617796 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/24051/task/24053/stat : 24053 (java) R 24048 24051 7968 0 -1 4202560 7831 0 0 0 47 3 0 0 20 0 16 0 18003356 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140175161668752 140174800562455 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24054] ppid=24048 vsize=10617796 memory=279890134363236 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24054/stat : 24054 (java) S 24048 24051 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 18003357 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140175118330640 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24055] ppid=24048 vsize=10617796 memory=5787240232874758224 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24055/stat : 24055 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140175117278096 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24056] ppid=24048 vsize=10617796 memory=7300728970739542608 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24056/stat : 24056 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174766824464 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24057] ppid=24048 vsize=10617796 memory=8319106358720016950 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24057/stat : 24057 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174765771920 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24058] ppid=24048 vsize=10617796 memory=5787776854041706603 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24058/stat : 24058 (java) S 24048 24051 7968 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 18003358 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174721497072 140175157443202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24059] ppid=24048 vsize=10617796 memory=6440526044186890340 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24059/stat : 24059 (java) S 24048 24051 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18003359 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174720443296 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24060] ppid=24048 vsize=10617796 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24060/stat : 24060 (java) S 24048 24051 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 18003359 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174719390704 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24061] ppid=24048 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24061/stat : 24061 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18003361 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174718339280 140175157450651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24062] ppid=24048 vsize=10617796 memory=4124 CPUtime=0.17 cores=1,3,5,7
/proc/24051/task/24062/stat : 24062 (java) R 24048 24051 7968 0 -1 4202560 1007 0 0 0 17 0 0 0 20 0 16 0 18003361 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174717273464 140175138976649 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24063] ppid=24048 vsize=10617796 memory=6463925781705 CPUtime=0.16 cores=1,3,5,7
/proc/24051/task/24063/stat : 24063 (java) R 24048 24051 7968 0 -1 4202560 847 0 0 0 16 0 0 0 20 0 16 0 18003361 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174716224272 140175140843071 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24064] ppid=24048 vsize=10617796 memory=288230613214036277 CPUtime=0.24 cores=1,3,5,7
/proc/24051/task/24064/stat : 24064 (java) R 24048 24051 7968 0 -1 4202560 1249 0 0 0 24 0 0 0 20 0 16 0 18003361 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174715181808 140175157453402 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24065] ppid=24048 vsize=10617796 memory=15816711811106768 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24065/stat : 24065 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18003361 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174391503968 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24066] ppid=24048 vsize=10617796 memory=1163 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24066/stat : 24066 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003372 10872623104 15120 18446744073709551615 4194304 4196468 140734738919728 140174390450480 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 60480 KiB
[startup+1.18404 s]
# the end of solver process 24051 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.85349 s, system=0.059327 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801601 s]
/proc/loadavg: 2.01 2.08 2.36 4/212 24066
/proc/meminfo: memFree=29274920/32770624 swapFree=67108860/67108860
[pid=24051] ppid=24048 vsize=10617796 memory=64240 CPUtime=1.41 cores=1,3,5,7
/proc/24051/stat : 24051 (java) S 24048 24051 7968 0 -1 1077944320 13310 0 0 0 136 5 0 0 20 0 16 0 18003347 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140734738902272 140175157432055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
/proc/24051/statm: 2654449 16060 3058 1 0 2643902 0
[pid=24051/tid=24053] ppid=24048 vsize=10617796 memory=-7595718148000617580 CPUtime=0.6 cores=1,3,5,7
/proc/24051/task/24053/stat : 24053 (java) R 24048 24051 7968 0 -1 4202560 7831 0 0 0 57 3 0 0 20 0 16 0 18003356 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140175161668496 140174800631168 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24054] ppid=24048 vsize=10617796 memory=-7595761213668167008 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24054/stat : 24054 (java) S 24048 24051 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 18003357 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140175118330640 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24055] ppid=24048 vsize=10617796 memory=-3833726747341067623 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24055/stat : 24055 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140175117278096 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24056] ppid=24048 vsize=10617796 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24056/stat : 24056 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174766824464 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24057] ppid=24048 vsize=10617796 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24057/stat : 24057 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174765771920 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24058] ppid=24048 vsize=10617796 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24058/stat : 24058 (java) S 24048 24051 7968 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 18003358 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174721497072 140175157443202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24059] ppid=24048 vsize=10617796 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24059/stat : 24059 (java) S 24048 24051 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18003359 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174720443296 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24060] ppid=24048 vsize=10617796 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24060/stat : 24060 (java) S 24048 24051 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 18003359 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174719390704 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24061] ppid=24048 vsize=10617796 memory=-3535359994705172831 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24061/stat : 24061 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18003361 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174718339280 140175157450651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24062] ppid=24048 vsize=10617796 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/24051/task/24062/stat : 24062 (java) R 24048 24051 7968 0 -1 4202560 1496 0 0 0 27 0 0 0 20 0 16 0 18003361 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174717272920 140175138976617 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24063] ppid=24048 vsize=10617796 memory=2372 CPUtime=0.25 cores=1,3,5,7
/proc/24051/task/24063/stat : 24063 (java) R 24048 24051 7968 0 -1 4202560 1339 0 0 0 25 0 0 0 20 0 16 0 18003361 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174716224272 140175150528891 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24064] ppid=24048 vsize=10617796 memory=288230608902303034 CPUtime=0.25 cores=1,3,5,7
/proc/24051/task/24064/stat : 24064 (java) S 24048 24051 7968 0 -1 1077944384 1251 0 0 0 25 0 0 0 20 0 16 0 18003361 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174715181808 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24065] ppid=24048 vsize=10617796 memory=288293264019425286 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24065/stat : 24065 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18003361 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174391503968 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24066] ppid=24048 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24066/stat : 24066 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003372 10872623104 16060 18446744073709551615 4194304 4196468 140734738919728 140174390450480 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 64240 KiB
[startup+1.00071 s]*
/proc/loadavg: 2.01 2.08 2.36 3/213 24069
/proc/meminfo: memFree=29253468/32770624 swapFree=67108860/67108860
[pid=24051] ppid=24048 vsize=10750924 memory=69012 CPUtime=1.8 cores=1,3,5,7
/proc/24051/stat : 24051 (java) S 24048 24051 7968 0 -1 1077944320 13697 0 0 0 175 5 0 0 20 0 16 0 18003347 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140734738902272 140175157432055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
/proc/24051/statm: 2687731 17253 3065 1 0 2677184 0
[pid=24051/tid=24053] ppid=24048 vsize=10750924 memory=-8774313645642428999 CPUtime=0.77 cores=1,3,5,7
/proc/24051/task/24053/stat : 24053 (java) S 24048 24051 7968 0 -1 1077944384 8065 0 0 0 74 3 0 0 20 0 16 0 18003356 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140175161672736 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24054] ppid=24048 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24054/stat : 24054 (java) S 24048 24051 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 18003357 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140175118330640 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24055] ppid=24048 vsize=10750924 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24055/stat : 24055 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140175117278096 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24056] ppid=24048 vsize=10750924 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24056/stat : 24056 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174766824464 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24057] ppid=24048 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24057/stat : 24057 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174765771920 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24058] ppid=24048 vsize=10750924 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24058/stat : 24058 (java) S 24048 24051 7968 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 18003358 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174721497072 140175157443202 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24059] ppid=24048 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24059/stat : 24059 (java) S 24048 24051 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18003359 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174720443296 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24060] ppid=24048 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24060/stat : 24060 (java) S 24048 24051 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 18003359 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174719390704 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24061] ppid=24048 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24061/stat : 24061 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18003361 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174718339280 140175157450651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24062] ppid=24048 vsize=10750924 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/24051/task/24062/stat : 24062 (java) S 24048 24051 7968 0 -1 1077944384 1518 0 0 0 36 0 0 0 20 0 16 0 18003361 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174717286896 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24063] ppid=24048 vsize=10750924 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/24051/task/24063/stat : 24063 (java) R 24048 24051 7968 0 -1 4202560 1403 0 0 0 37 0 0 0 20 0 16 0 18003361 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174716233536 140175137125151 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24064] ppid=24048 vsize=10750924 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/24051/task/24064/stat : 24064 (java) S 24048 24051 7968 0 -1 1077944384 1272 0 0 0 26 0 0 0 20 0 16 0 18003361 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174715181808 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24065] ppid=24048 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24065/stat : 24065 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18003361 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174391503968 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24066] ppid=24048 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24066/stat : 24066 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003372 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174390450480 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24068] ppid=24048 vsize=10750924 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24068/stat : 24068 (java) S 24048 24051 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 18003445 11008946176 17253 18446744073709551615 4194304 4196468 140734738919728 140174388343952 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 69012 KiB
[startup+1.10992 s]
/proc/loadavg: 2.01 2.08 2.36 3/213 24069
/proc/meminfo: memFree=29253468/32770624 swapFree=67108860/67108860
[pid=24051] ppid=24048 vsize=10750924 memory=69852 CPUtime=1.89 cores=1,3,5,7
/proc/24051/stat : 24051 (java) S 24048 24051 7968 0 -1 1077944320 13866 0 0 0 184 5 0 0 20 0 16 0 18003347 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140734738902272 140175157432055 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
/proc/24051/statm: 2687731 17463 3065 1 0 2677184 0
[pid=24051/tid=24053] ppid=24048 vsize=10750924 memory=64376 CPUtime=0.77 cores=1,3,5,7
/proc/24051/task/24053/stat : 24053 (java) S 24048 24051 7968 0 -1 1077944384 8065 0 0 0 74 3 0 0 20 0 16 0 18003356 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140175161672736 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24054] ppid=24048 vsize=10750924 memory=6463925781705 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24054/stat : 24054 (java) S 24048 24051 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 18003357 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140175118330640 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24055] ppid=24048 vsize=10750924 memory=5794560802800095589 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24055/stat : 24055 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140175117278096 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24056] ppid=24048 vsize=10750924 memory=7302698191687082859 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24056/stat : 24056 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174766824464 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24057] ppid=24048 vsize=10750924 memory=60480 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24057/stat : 24057 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003357 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174765771920 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24058] ppid=24048 vsize=10750924 memory=279890134024320 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24058/stat : 24058 (java) S 24048 24051 7968 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 18003358 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174721497072 140175157443202 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24059] ppid=24048 vsize=10750924 memory=243228292987881 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24059/stat : 24059 (java) S 24048 24051 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18003359 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174720443296 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24060] ppid=24048 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24060/stat : 24060 (java) S 24048 24051 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 18003359 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174719390704 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24061] ppid=24048 vsize=10750924 memory=139945067033115 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24061/stat : 24061 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18003361 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174718339280 140175157450651 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24062] ppid=24048 vsize=10750924 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/24051/task/24062/stat : 24062 (java) S 24048 24051 7968 0 -1 1077944384 1518 0 0 0 36 0 0 0 20 0 16 0 18003361 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174717286896 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24063] ppid=24048 vsize=10750924 memory=279890134047008 CPUtime=0.47 cores=1,3,5,7
/proc/24051/task/24063/stat : 24063 (java) S 24048 24051 7968 0 -1 1077944384 1572 0 0 0 47 0 0 0 20 0 16 0 18003361 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174716234352 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24064] ppid=24048 vsize=10750924 memory=139945067033160 CPUtime=0.26 cores=1,3,5,7
/proc/24051/task/24064/stat : 24064 (java) S 24048 24051 7968 0 -1 1077944384 1272 0 0 0 26 0 0 0 20 0 16 0 18003361 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174715181808 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24065] ppid=24048 vsize=10750924 memory=2 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24065/stat : 24065 (java) S 24048 24051 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18003361 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174391503968 140175157442261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24066] ppid=24048 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24066/stat : 24066 (java) S 24048 24051 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18003372 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174390450480 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
[pid=24051/tid=24068] ppid=24048 vsize=10750924 memory=139947214380889 CPUtime=0 cores=1,3,5,7
/proc/24051/task/24068/stat : 24068 (java) S 24048 24051 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 18003445 11008946176 17463 18446744073709551615 4194304 4196468 140734738919728 140174388343952 140175157443202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140734738923921 140734738924074 140734738924074 140734738927567 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 69852 KiB
Child status: 0
Real time (s): 1.18409
CPU time (s): 1.91281
CPU user time (s): 1.85349
CPU system time (s): 0.059327
CPU usage (%): 161.543
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 69852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.85349
system time used= 0.059327
maximum resident set size= 72340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13875
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1566
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 24051
# total CPU time (s): 1.91281
# total CPU user time (s): 1.85349
# total CPU system time (s): 0.059327
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028394 second user time and 0.056998 second system time
The end