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 (15404 MiB free)
memory of node 1: 16384 MiB (7455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263462-1502638031/watcher-4263462-1502638031 -o /tmp/evaluation-result-4263462-1502638031/solver-4263462-1502638031 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502623904-24884 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263462-1502638031.xml
running on 4 cores: 0,2,4,6
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=27552, runsolver pid=27549
[startup+0.100083 s]*
/proc/loadavg: 8.07 7.22 5.94 6/196 27553
/proc/meminfo: memFree=23408296/32770624 swapFree=67108860/67108860
[pid=27552] ppid=27549 vsize=9934352 memory=10476 CPUtime=0 cores=0,2,4,6
/proc/27552/stat : 27552 (java) S 27549 27552 11586 0 -1 1077944320 2462 0 0 0 0 0 0 0 20 0 6 0 52143758 10172776448 2619 18446744073709551615 4194304 4196468 140737216251952 140737216234496 140058343395063 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
/proc/27552/statm: 2483588 2619 1200 1 0 2473558 0
[pid=27552/tid=27554] ppid=27549 vsize=9934352 memory=-6441666358776271198 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27554/stat : 27554 (java) R 27549 27552 11586 0 -1 4202560 1181 0 0 0 0 0 0 0 20 0 6 0 52143768 10172776448 2684 18446744073709551615 4194304 4196468 140737216251952 140058347636056 140058327098896 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27555] ppid=27549 vsize=9934352 memory=5767615463303453065 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27555/stat : 27555 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 52143769 10172776448 2684 18446744073709551615 4194304 4196468 140737216251952 140058284432528 140058343405269 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27556] ppid=27549 vsize=9934352 memory=140176895469184 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27556/stat : 27556 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 52143769 10172776448 2684 18446744073709551615 4194304 4196468 140737216251952 140058283379728 140058343405269 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27557] ppid=27549 vsize=9934352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27557/stat : 27557 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 52143769 10172776448 2684 18446744073709551615 4194304 4196468 140737216251952 140058282326928 140058343405269 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27558] ppid=27549 vsize=9934352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27558/stat : 27558 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 52143769 10172776448 2684 18446744073709551615 4194304 4196468 140737216251952 140058281274128 140058343405269 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9934352 KiB
Current children cumulated memory: 10476 KiB
[startup+0.210157 s]*
/proc/loadavg: 8.07 7.22 5.94 6/210 27567
/proc/meminfo: memFree=23393472/32770624 swapFree=67108860/67108860
[pid=27552] ppid=27549 vsize=10551156 memory=27000 CPUtime=0.09 cores=0,2,4,6
/proc/27552/stat : 27552 (java) S 27549 27552 11586 0 -1 1077944320 5200 0 0 0 8 1 0 0 20 0 15 0 52143758 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140737216234496 140058343395063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
/proc/27552/statm: 2637789 6750 2769 1 0 2627261 0
[pid=27552/tid=27554] ppid=27549 vsize=10551156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27552/task/27554/stat : 27554 (java) R 27549 27552 11586 0 -1 4202560 3170 0 0 0 6 1 0 0 20 0 15 0 52143768 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140058347630032 140058336073077 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27555] ppid=27549 vsize=10551156 memory=732370315232922597 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27555/stat : 27555 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52143769 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140058284432528 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27556] ppid=27549 vsize=10551156 memory=140176895469184 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27556/stat : 27556 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52143769 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140058283379728 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27557] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27557/stat : 27557 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52143769 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140058282326928 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27558] ppid=27549 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27558/stat : 27558 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52143769 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140058281274128 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27559] ppid=27549 vsize=10551156 memory=140176895469184 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27559/stat : 27559 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52143770 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140057839937904 140058343406210 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27560] ppid=27549 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27560/stat : 27560 (java) S 27549 27552 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52143771 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140057838883872 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27561] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27561/stat : 27561 (java) S 27549 27552 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52143771 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140057837831024 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27562] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27562/stat : 27562 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52143773 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140057836779344 140058343413659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27563] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27563/stat : 27563 (java) S 27549 27552 11586 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 52143774 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140057835727728 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27564] ppid=27549 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27564/stat : 27564 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52143774 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140057834674928 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27565] ppid=27549 vsize=10551156 memory=140176895469184 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27565/stat : 27565 (java) R 27549 27552 11586 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 15 0 52143774 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140057833622128 140058343408945 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27566] ppid=27549 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27566/stat : 27566 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52143774 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140057832569568 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27567] ppid=27549 vsize=10551156 memory=140176895469184 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27567/stat : 27567 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52143777 10804383744 6750 18446744073709551615 4194304 4196468 140737216251952 140057831516848 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27000 KiB
[startup+0.31062 s]*
/proc/loadavg: 8.07 7.22 5.94 6/210 27567
/proc/meminfo: memFree=23383004/32770624 swapFree=67108860/67108860
[pid=27552] ppid=27549 vsize=10551156 memory=36508 CPUtime=0.24 cores=0,2,4,6
/proc/27552/stat : 27552 (java) S 27549 27552 11586 0 -1 1077944320 8419 0 0 0 21 3 0 0 20 0 15 0 52143758 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140737216234496 140058343395063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
/proc/27552/statm: 2637789 9127 2864 1 0 2627261 0
[pid=27552/tid=27554] ppid=27549 vsize=10551156 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/27552/task/27554/stat : 27554 (java) R 27549 27552 11586 0 -1 4202560 6093 0 0 0 15 2 0 0 20 0 15 0 52143768 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140058347629424 140058327475550 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27555] ppid=27549 vsize=10551156 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27555/stat : 27555 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52143769 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140058284432528 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27556] ppid=27549 vsize=10551156 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27556/stat : 27556 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52143769 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140058283379728 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27557] ppid=27549 vsize=10551156 memory=140176895476177 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27557/stat : 27557 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52143769 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140058282326928 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27558] ppid=27549 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27558/stat : 27558 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52143769 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140058281274128 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27559] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27559/stat : 27559 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52143770 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140057839937904 140058343406210 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27560] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27560/stat : 27560 (java) S 27549 27552 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52143771 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140057838883872 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27561] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27561/stat : 27561 (java) S 27549 27552 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52143771 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140057837831024 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27562] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27562/stat : 27562 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52143773 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140057836779344 140058343413659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27563] ppid=27549 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27552/task/27563/stat : 27563 (java) S 27549 27552 11586 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 15 0 52143774 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140057835727728 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27564] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27564/stat : 27564 (java) S 27549 27552 11586 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 52143774 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140057834674928 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27565] ppid=27549 vsize=10551156 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27552/task/27565/stat : 27565 (java) S 27549 27552 11586 0 -1 1077944384 392 0 0 0 4 0 0 0 20 0 15 0 52143774 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140057833622128 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27566] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27566/stat : 27566 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52143774 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140057832569568 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27567] ppid=27549 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27567/stat : 27567 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52143777 10804383744 9127 18446744073709551615 4194304 4196468 140737216251952 140057831516848 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36508 KiB
[startup+0.700734 s]
/proc/loadavg: 8.07 7.22 5.94 9/210 27567
/proc/meminfo: memFree=23369744/32770624 swapFree=67108860/67108860
[pid=27552] ppid=27549 vsize=10617796 memory=68072 CPUtime=1.29 cores=0,2,4,6
/proc/27552/stat : 27552 (java) S 27549 27552 11586 0 -1 1077944320 13202 0 0 0 124 5 0 0 20 0 16 0 52143758 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140737216234496 140058343395063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
/proc/27552/statm: 2654449 17018 3057 1 0 2643902 0
[pid=27552/tid=27554] ppid=27549 vsize=10617796 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/27552/task/27554/stat : 27554 (java) R 27549 27552 11586 0 -1 4202560 7841 0 0 0 51 4 0 0 20 0 16 0 52143768 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140058347631352 140057963531547 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27555] ppid=27549 vsize=10617796 memory=-7452431979323206951 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27555/stat : 27555 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 52143769 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140058284432528 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27556] ppid=27549 vsize=10617796 memory=33 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27556/stat : 27556 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 52143769 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140058283379728 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27557] ppid=27549 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27557/stat : 27557 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 52143769 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140058282326928 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27558] ppid=27549 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27558/stat : 27558 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 52143769 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140058281274128 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27559] ppid=27549 vsize=10617796 memory=3472464074166692570 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27559/stat : 27559 (java) S 27549 27552 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 52143770 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140057839937904 140058343406210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27560] ppid=27549 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27560/stat : 27560 (java) S 27549 27552 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 52143771 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140057838883872 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27561] ppid=27549 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27561/stat : 27561 (java) S 27549 27552 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 52143771 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140057837831024 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27562] ppid=27549 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27562/stat : 27562 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 52143773 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140057836779344 140058343413659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27563] ppid=27549 vsize=10617796 memory=4120 CPUtime=0.26 cores=0,2,4,6
/proc/27552/task/27563/stat : 27563 (java) R 27549 27552 11586 0 -1 4202560 1323 0 0 0 26 0 0 0 20 0 16 0 52143774 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140057835718768 140058320619216 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27564] ppid=27549 vsize=10617796 memory=2241 CPUtime=0.24 cores=0,2,4,6
/proc/27552/task/27564/stat : 27564 (java) R 27549 27552 11586 0 -1 4202560 1308 0 0 0 24 0 0 0 20 0 16 0 52143774 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140057834666880 140058326891847 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27565] ppid=27549 vsize=10617796 memory=2244 CPUtime=0.2 cores=0,2,4,6
/proc/27552/task/27565/stat : 27565 (java) S 27549 27552 11586 0 -1 1077944384 1337 0 0 0 20 0 0 0 20 0 16 0 52143774 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140057833622128 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27566] ppid=27549 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27566/stat : 27566 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 52143774 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140057832569568 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27567] ppid=27549 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27567/stat : 27567 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 52143777 10872623104 17018 18446744073709551615 4194304 4196468 140737216251952 140057831516848 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 68072 KiB
[startup+1.27518 s]
# the end of solver process 27552 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.09649 s, system=0.06202 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800893 s]
/proc/loadavg: 8.07 7.22 5.94 9/210 27567
/proc/meminfo: memFree=23369744/32770624 swapFree=67108860/67108860
[pid=27552] ppid=27549 vsize=10617796 memory=68948 CPUtime=1.59 cores=0,2,4,6
/proc/27552/stat : 27552 (java) S 27549 27552 11586 0 -1 1077944320 13376 0 0 0 154 5 0 0 20 0 16 0 52143758 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140737216234496 140058343395063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
/proc/27552/statm: 2654449 17237 3065 1 0 2643902 0
[pid=27552/tid=27554] ppid=27549 vsize=10617796 memory=280353587626016 CPUtime=0.65 cores=0,2,4,6
/proc/27552/task/27554/stat : 27554 (java) R 27549 27552 11586 0 -1 4202560 7841 0 0 0 61 4 0 0 20 0 16 0 52143768 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140058347631352 140057963736232 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27555] ppid=27549 vsize=10617796 memory=16132 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27555/stat : 27555 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 52143769 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140058284432528 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27556] ppid=27549 vsize=10617796 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27556/stat : 27556 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 52143769 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140058283379728 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27557] ppid=27549 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27557/stat : 27557 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 52143769 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140058282326928 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27558] ppid=27549 vsize=10617796 memory=8387335992086997369 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27558/stat : 27558 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 52143769 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140058281274128 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27559] ppid=27549 vsize=10617796 memory=3060 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27559/stat : 27559 (java) S 27549 27552 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 52143770 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140057839937904 140058343406210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27560] ppid=27549 vsize=10617796 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27560/stat : 27560 (java) S 27549 27552 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 52143771 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140057838883872 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27561] ppid=27549 vsize=10617796 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27561/stat : 27561 (java) S 27549 27552 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 52143771 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140057837831024 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27562] ppid=27549 vsize=10617796 memory=3076 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27562/stat : 27562 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 52143773 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140057836779344 140058343413659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27563] ppid=27549 vsize=10617796 memory=8379120 CPUtime=0.36 cores=0,2,4,6
/proc/27552/task/27563/stat : 27563 (java) R 27549 27552 11586 0 -1 4202560 1360 0 0 0 36 0 0 0 20 0 16 0 52143774 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140057835720752 140058324917609 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27564] ppid=27549 vsize=10617796 memory=1156 CPUtime=0.34 cores=0,2,4,6
/proc/27552/task/27564/stat : 27564 (java) R 27549 27552 11586 0 -1 4202560 1444 0 0 0 34 0 0 0 20 0 16 0 52143774 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140057834666880 140058324918295 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27565] ppid=27549 vsize=10617796 memory=2368 CPUtime=0.2 cores=0,2,4,6
/proc/27552/task/27565/stat : 27565 (java) S 27549 27552 11586 0 -1 1077944384 1338 0 0 0 20 0 0 0 20 0 16 0 52143774 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140057833622128 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27566] ppid=27549 vsize=10617796 memory=54408 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27566/stat : 27566 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 52143774 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140057832569568 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27567] ppid=27549 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27567/stat : 27567 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 52143777 10872623104 17237 18446744073709551615 4194304 4196468 140737216251952 140057831516848 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 68948 KiB
[startup+1.20075 s]
/proc/loadavg: 8.07 7.22 5.94 6/211 27568
/proc/meminfo: memFree=23350336/32770624 swapFree=67108860/67108860
[pid=27552] ppid=27549 vsize=10750924 memory=73680 CPUtime=2.13 cores=0,2,4,6
/proc/27552/stat : 27552 (java) S 27549 27552 11586 0 -1 1077944320 13769 0 0 0 208 5 0 0 20 0 16 0 52143758 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140737216234496 140058343395063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
/proc/27552/statm: 2687731 18420 3076 1 0 2677184 0
[pid=27552/tid=27554] ppid=27549 vsize=10750924 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/27552/task/27554/stat : 27554 (java) S 27549 27552 11586 0 -1 1077944384 8076 0 0 0 88 4 0 0 20 0 16 0 52143768 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140058347635744 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27555] ppid=27549 vsize=10750924 memory=3410 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27555/stat : 27555 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 52143769 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140058284432528 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27556] ppid=27549 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27556/stat : 27556 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 52143769 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140058283379728 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27557] ppid=27549 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27557/stat : 27557 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 52143769 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140058282326928 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27558] ppid=27549 vsize=10750924 memory=11631115 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27558/stat : 27558 (java) S 27549 27552 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 52143769 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140058281274128 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27559] ppid=27549 vsize=10750924 memory=1575331 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27559/stat : 27559 (java) S 27549 27552 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 52143770 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140057839937904 140058343406210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27560] ppid=27549 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27560/stat : 27560 (java) S 27549 27552 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 52143771 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140057838883872 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27561] ppid=27549 vsize=10750924 memory=280353588204240 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27561/stat : 27561 (java) S 27549 27552 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 52143771 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140057837831024 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27562] ppid=27549 vsize=10750924 memory=3762257443627991072 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27562/stat : 27562 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 52143773 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140057836779344 140058343413659 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27563] ppid=27549 vsize=10750924 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/27552/task/27563/stat : 27563 (java) S 27549 27552 11586 0 -1 1077944384 1371 0 0 0 44 0 0 0 20 0 16 0 52143774 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140057835727728 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27564] ppid=27549 vsize=10750924 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/27552/task/27564/stat : 27564 (java) S 27549 27552 11586 0 -1 1077944384 1510 0 0 0 52 0 0 0 20 0 16 0 52143774 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140057834674928 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27565] ppid=27549 vsize=10750924 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/27552/task/27565/stat : 27565 (java) S 27549 27552 11586 0 -1 1077944384 1372 0 0 0 22 0 0 0 20 0 16 0 52143774 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140057833622128 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27566] ppid=27549 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27566/stat : 27566 (java) S 27549 27552 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 52143774 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140057832569568 140058343405269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
[pid=27552/tid=27567] ppid=27549 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27552/task/27567/stat : 27567 (java) S 27549 27552 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 52143777 11008946176 18420 18446744073709551615 4194304 4196468 140737216251952 140057831516848 140058343406210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25534464 140737216254352 140737216254505 140737216254505 140737216257999 0
Current children cumulated CPU time: 2.13 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 73680 KiB
Child status: 0
Real time (s): 1.27522
CPU time (s): 2.15851
CPU user time (s): 2.09649
CPU system time (s): 0.06202
CPU usage (%): 169.266
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 73680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.09649
system time used= 0.06202
maximum resident set size= 76136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13800
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= 1426
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 27552
# total CPU time (s): 2.15851
# total CPU user time (s): 2.09649
# total CPU system time (s): 0.06202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028446 second user time and 0.058855 second system time
The end