2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	SAT (TO)	40	1977.67	252.14
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 (10291 MiB free)
  memory of node 1: 16384 MiB (12486 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281388-1503182968/watcher-4281388-1503182968 -o /tmp/evaluation-result-4281388-1503182968/solver-4281388-1503182968 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503170305-27035 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1168833778 HOME/instance-4281388-1503182968.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=28129, runsolver pid=28126

[startup+0.100109 s]*
/proc/loadavg: 7.73 8.17 7.79 2/199 28150
/proc/meminfo: memFree=23308236/32770624 swapFree=67108860/67108860
[pid=28129] ppid=28126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28129/stat : 28129 (xcsp3-exec) S 28126 28129 27008 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151377747 9740288 346 33554432000 4194304 5098028 140732109291184 140732109289288 139638068036220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16887808 140732109296746 140732109296956 140732109296956 140732109299691 0
/proc/28129/statm: 2378 346 289 221 0 87 0
[pid=28131] ppid=28129 vsize=25999808 memory=27132 CPUtime=0.12 cores=0-7
/proc/28131/stat : 28131 (java) S 28129 28129 27008 0 -1 1077944320 5643 0 0 0 10 2 0 0 20 0 20 0 151377747 26623803392 6783 33554432000 4194304 4196468 140732076184928 140732076167472 139815766335223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
/proc/28131/statm: 6499952 6783 2881 1 0 6488269 0
[pid=28131/tid=28132] ppid=28129 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28131/task/28132/stat : 28132 (java) R 28129 28129 27008 0 -1 4202560 3663 0 0 0 8 1 0 0 20 0 20 0 151377747 26623803392 6783 33554432000 4194304 4196468 140732076184928 139815770568496 139815750378853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28133] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28133/stat : 28133 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26623803392 6783 33554432000 4194304 4196468 140732076184928 139815688915728 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28134] ppid=28129 vsize=25999808 memory=140175039854208 CPUtime=0 cores=0-7
/proc/28131/task/28134/stat : 28134 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26623803392 6783 33554432000 4194304 4196468 140732076184928 139815687863184 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28135] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28135/stat : 28135 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26623803392 6783 33554432000 4194304 4196468 140732076184928 139815686810640 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28136] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28136/stat : 28136 (java) S 28129 28129 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151377748 26623803392 6783 33554432000 4194304 4196468 140732076184928 139815685758096 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28137] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28137/stat : 28137 (java) S 28129 28129 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151377748 26623803392 6783 33554432000 4194304 4196468 140732076184928 139815684704528 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28138] ppid=28129 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28131/task/28138/stat : 28138 (java) S 28129 28129 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151377748 26623803392 6783 33554432000 4194304 4196468 140732076184928 139815683651984 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28139] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28139/stat : 28139 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26623803392 6783 33554432000 4194304 4196468 140732076184928 139815682599440 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28140] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28140/stat : 28140 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26623803392 6783 33554432000 4194304 4196468 140732076184928 139815317166736 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28141] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28141/stat : 28141 (java) S 28129 28129 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151377749 26623803392 6783 33554432000 4194304 4196468 140732076184928 139814083471856 139815766346370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28142] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28142/stat : 28142 (java) S 28129 28129 27008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151377750 26623803392 6783 33554432000 4194304 4196468 140732076184928 139814082418080 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28143] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28143/stat : 28143 (java) S 28129 28129 27008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151377750 26623803392 6783 33554432000 4194304 4196468 140732076184928 139814081365488 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28144] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28144/stat : 28144 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377752 26623803392 6783 33554432000 4194304 4196468 140732076184928 139814080314064 139815766353819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28145] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28145/stat : 28145 (java) S 28129 28129 27008 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 151377752 26623803392 6783 33554432000 4194304 4196468 140732076184928 139814079260656 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28146] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28146/stat : 28146 (java) S 28129 28129 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151377752 26623803392 6783 33554432000 4194304 4196468 140732076184928 139814078208112 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28147] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28147/stat : 28147 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377752 26623803392 6783 33554432000 4194304 4196468 140732076184928 139814077155568 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28148] ppid=28129 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/28131/task/28148/stat : 28148 (java) S 28129 28129 27008 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 151377752 26623803392 6783 33554432000 4194304 4196468 140732076184928 139814076103024 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28149] ppid=28129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28149/stat : 28149 (java) S 28129 28129 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151377753 26623803392 6783 33554432000 4194304 4196468 140732076184928 139814075050720 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28150] ppid=28129 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28131/task/28150/stat : 28150 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377753 26623803392 6783 33554432000 4194304 4196468 140732076184928 139814073998256 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28516 KiB

[startup+0.21005 s]*
/proc/loadavg: 7.73 8.17 7.79 3/199 28150
/proc/meminfo: memFree=23297212/32770624 swapFree=67108860/67108860
[pid=28129] ppid=28126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28129/stat : 28129 (xcsp3-exec) S 28126 28129 27008 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151377747 9740288 346 33554432000 4194304 5098028 140732109291184 140732109289288 139638068036220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16887808 140732109296746 140732109296956 140732109296956 140732109299691 0
/proc/28129/statm: 2378 346 289 221 0 87 0
[pid=28131] ppid=28129 vsize=26004064 memory=39012 CPUtime=0.33 cores=0-7
/proc/28131/stat : 28131 (java) S 28129 28129 27008 0 -1 1077944320 8312 0 0 0 30 3 0 0 20 0 20 0 151377747 26628161536 9753 33554432000 4194304 4196468 140732076184928 140732076167472 139815766335223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
/proc/28131/statm: 6501016 9753 3042 1 0 6488269 0
[pid=28131/tid=28132] ppid=28129 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28131/task/28132/stat : 28132 (java) R 28129 28129 27008 0 -1 4202560 5439 0 0 0 18 2 0 0 20 0 20 0 151377747 26628161536 9753 33554432000 4194304 4196468 140732076184928 139815770556216 139815750415710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28133] ppid=28129 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/28131/task/28133/stat : 28133 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 9753 33554432000 4194304 4196468 140732076184928 139815688915728 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28134] ppid=28129 vsize=26004064 memory=4049217321417897632 CPUtime=0 cores=0-7
/proc/28131/task/28134/stat : 28134 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 9753 33554432000 4194304 4196468 140732076184928 139815687863184 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28135] ppid=28129 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28131/task/28135/stat : 28135 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 9753 33554432000 4194304 4196468 140732076184928 139815686810640 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28136] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28136/stat : 28136 (java) S 28129 28129 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 9753 33554432000 4194304 4196468 140732076184928 139815685758096 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28137] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28137/stat : 28137 (java) S 28129 28129 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 9753 33554432000 4194304 4196468 140732076184928 139815684704528 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28138] ppid=28129 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28131/task/28138/stat : 28138 (java) S 28129 28129 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 9753 33554432000 4194304 4196468 140732076184928 139815683651984 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28139] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28139/stat : 28139 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 9753 33554432000 4194304 4196468 140732076184928 139815682599440 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28140] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28140/stat : 28140 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 9753 33554432000 4194304 4196468 140732076184928 139815317166736 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28141] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28141/stat : 28141 (java) S 28129 28129 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151377749 26628161536 9753 33554432000 4194304 4196468 140732076184928 139814083471856 139815766346370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28142] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28142/stat : 28142 (java) S 28129 28129 27008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151377750 26628161536 9753 33554432000 4194304 4196468 140732076184928 139814082418080 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28143] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28143/stat : 28143 (java) S 28129 28129 27008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151377750 26628161536 9753 33554432000 4194304 4196468 140732076184928 139814081365488 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28144] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28144/stat : 28144 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377752 26628161536 9753 33554432000 4194304 4196468 140732076184928 139814080314064 139815766353819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28145] ppid=28129 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28131/task/28145/stat : 28145 (java) S 28129 28129 27008 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 20 0 151377752 26628161536 9753 33554432000 4194304 4196468 140732076184928 139814079260656 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28146] ppid=28129 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28131/task/28146/stat : 28146 (java) S 28129 28129 27008 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 151377752 26628161536 9753 33554432000 4194304 4196468 140732076184928 139814078208112 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28147] ppid=28129 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/28131/task/28147/stat : 28147 (java) S 28129 28129 27008 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 20 0 151377752 26628161536 9753 33554432000 4194304 4196468 140732076184928 139814077155568 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28148] ppid=28129 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/28131/task/28148/stat : 28148 (java) R 28129 28129 27008 0 -1 4202560 729 0 0 0 7 0 0 0 20 0 20 0 151377752 26628161536 9753 33554432000 4194304 4196468 140732076184928 139814076103024 139815766356570 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28149] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28149/stat : 28149 (java) S 28129 28129 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151377753 26628161536 9753 33554432000 4194304 4196468 140732076184928 139814075050720 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28150] ppid=28129 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28131/task/28150/stat : 28150 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377753 26628161536 9753 33554432000 4194304 4196468 140732076184928 139814073998256 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40396 KiB

[startup+0.309429 s]*
/proc/loadavg: 7.19 8.05 7.75 3/199 28150
/proc/meminfo: memFree=23293184/32770624 swapFree=67108860/67108860
[pid=28129] ppid=28126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28129/stat : 28129 (xcsp3-exec) S 28126 28129 27008 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151377747 9740288 346 33554432000 4194304 5098028 140732109291184 140732109289288 139638068036220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16887808 140732109296746 140732109296956 140732109296956 140732109299691 0
/proc/28129/statm: 2378 346 289 221 0 87 0
[pid=28131] ppid=28129 vsize=26004064 memory=43884 CPUtime=0.49 cores=0-7
/proc/28131/stat : 28131 (java) S 28129 28129 27008 0 -1 1077944320 9169 0 0 0 45 4 0 0 20 0 20 0 151377747 26628161536 10971 33554432000 4194304 4196468 140732076184928 140732076167472 139815766335223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
/proc/28131/statm: 6501016 10971 3114 1 0 6488269 0
[pid=28131/tid=28132] ppid=28129 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28131/task/28132/stat : 28132 (java) R 28129 28129 27008 0 -1 4202560 6097 0 0 0 27 2 0 0 20 0 20 0 151377747 26628161536 10971 33554432000 4194304 4196468 140732076184928 139815770573120 139815766347158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28133] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28133/stat : 28133 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 10971 33554432000 4194304 4196468 140732076184928 139815688915728 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28134] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28134/stat : 28134 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 10971 33554432000 4194304 4196468 140732076184928 139815687863184 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28135] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28135/stat : 28135 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 10971 33554432000 4194304 4196468 140732076184928 139815686810640 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28136] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28136/stat : 28136 (java) S 28129 28129 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 10971 33554432000 4194304 4196468 140732076184928 139815685758096 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28137] ppid=28129 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/28131/task/28137/stat : 28137 (java) S 28129 28129 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 10971 33554432000 4194304 4196468 140732076184928 139815684704528 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28138] ppid=28129 vsize=26004064 memory=140174914843567 CPUtime=0 cores=0-7
/proc/28131/task/28138/stat : 28138 (java) S 28129 28129 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 10971 33554432000 4194304 4196468 140732076184928 139815683651984 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28139] ppid=28129 vsize=26004064 memory=140174914845872 CPUtime=0 cores=0-7
/proc/28131/task/28139/stat : 28139 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 10971 33554432000 4194304 4196468 140732076184928 139815682599440 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28140] ppid=28129 vsize=26004064 memory=140174914848176 CPUtime=0 cores=0-7
/proc/28131/task/28140/stat : 28140 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628161536 10971 33554432000 4194304 4196468 140732076184928 139815317166736 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28141] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28141/stat : 28141 (java) S 28129 28129 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151377749 26628161536 10971 33554432000 4194304 4196468 140732076184928 139814083471856 139815766346370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28142] ppid=28129 vsize=26004064 memory=280349829703312 CPUtime=0 cores=0-7
/proc/28131/task/28142/stat : 28142 (java) S 28129 28129 27008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151377750 26628161536 10971 33554432000 4194304 4196468 140732076184928 139814082418080 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28143] ppid=28129 vsize=26004064 memory=280349829710224 CPUtime=0 cores=0-7
/proc/28131/task/28143/stat : 28143 (java) S 28129 28129 27008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151377750 26628161536 10971 33554432000 4194304 4196468 140732076184928 139814081365488 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28144] ppid=28129 vsize=26004064 memory=280349829651504 CPUtime=0 cores=0-7
/proc/28131/task/28144/stat : 28144 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377752 26628161536 10971 33554432000 4194304 4196468 140732076184928 139814080314064 139815766353819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28145] ppid=28129 vsize=26004064 memory=280349829724048 CPUtime=0.01 cores=0-7
/proc/28131/task/28145/stat : 28145 (java) S 28129 28129 27008 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 20 0 151377752 26628161536 10971 33554432000 4194304 4196468 140732076184928 139814079260656 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28146] ppid=28129 vsize=26004064 memory=280349829730960 CPUtime=0.02 cores=0-7
/proc/28131/task/28146/stat : 28146 (java) S 28129 28129 27008 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 20 0 151377752 26628161536 10971 33554432000 4194304 4196468 140732076184928 139814078208112 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28147] ppid=28129 vsize=26004064 memory=280349829728656 CPUtime=0.02 cores=0-7
/proc/28131/task/28147/stat : 28147 (java) S 28129 28129 27008 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 20 0 151377752 26628161536 10971 33554432000 4194304 4196468 140732076184928 139814077155568 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28148] ppid=28129 vsize=26004064 memory=280349829744816 CPUtime=0.12 cores=0-7
/proc/28131/task/28148/stat : 28148 (java) R 28129 28129 27008 0 -1 4202560 856 0 0 0 12 0 0 0 20 0 20 0 151377752 26628161536 10971 33554432000 4194304 4196468 140732076184928 139814076100816 139815758572350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28149] ppid=28129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28149/stat : 28149 (java) S 28129 28129 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151377753 26628161536 10971 33554432000 4194304 4196468 140732076184928 139814075050720 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28150] ppid=28129 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28131/task/28150/stat : 28150 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377753 26628161536 10971 33554432000 4194304 4196468 140732076184928 139814073998256 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45268 KiB

[startup+0.700894 s]
/proc/loadavg: 7.19 8.05 7.75 3/199 28150
/proc/meminfo: memFree=23262908/32770624 swapFree=67108860/67108860
[pid=28129] ppid=28126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28129/stat : 28129 (xcsp3-exec) S 28126 28129 27008 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151377747 9740288 346 33554432000 4194304 5098028 140732109291184 140732109289288 139638068036220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16887808 140732109296746 140732109296956 140732109296956 140732109299691 0
/proc/28129/statm: 2378 346 289 221 0 87 0
[pid=28131] ppid=28129 vsize=26004140 memory=132308 CPUtime=1.86 cores=0-7
/proc/28131/stat : 28131 (java) S 28129 28129 27008 0 -1 1077944320 13857 0 0 0 180 6 0 0 20 0 20 0 151377747 26628239360 33077 33554432000 4194304 4196468 140732076184928 140732076167472 139815766335223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
/proc/28131/statm: 6501035 33077 3199 1 0 6488269 0
[pid=28131/tid=28132] ppid=28129 vsize=26004140 memory=280349830102704 CPUtime=0.68 cores=0-7
/proc/28131/task/28132/stat : 28132 (java) R 28129 28129 27008 0 -1 4202560 6417 0 0 0 64 4 0 0 20 0 20 0 151377747 26628239360 33077 33554432000 4194304 4196468 140732076184928 139815770570464 139815365505080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28133] ppid=28129 vsize=26004140 memory=140174915052400 CPUtime=0 cores=0-7
/proc/28131/task/28133/stat : 28133 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628239360 33077 33554432000 4194304 4196468 140732076184928 139815688915728 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28134] ppid=28129 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28134/stat : 28134 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628239360 33077 33554432000 4194304 4196468 140732076184928 139815687863184 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28135] ppid=28129 vsize=26004140 memory=1716 CPUtime=0 cores=0-7
/proc/28131/task/28135/stat : 28135 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151377748 26628239360 33077 33554432000 4194304 4196468 140732076184928 139815686810640 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0

################
# More data... #
################

/proc/meminfo: memFree=16816476/32770624 swapFree=67108860/67108860
[pid=28129] ppid=28126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28129/stat : 28129 (xcsp3-exec) S 28126 28129 27008 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151377747 9740288 346 33554432000 4194304 5098028 140732109291184 140732109289288 139638068036220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16887808 140732109296746 140732109296956 140732109296956 140732109299691 0
/proc/28129/statm: 2378 346 289 221 0 87 0
[pid=28131] ppid=28129 vsize=26538700 memory=6510924 CPUtime=1739.89 cores=0-7
/proc/28131/stat : 28131 (java) S 28129 28129 27008 0 -1 1077944320 182280 0 0 0 173424 565 0 0 20 0 28 0 151377747 27175628800 1627731 33554432000 4194304 4196468 140732076184928 140732076167472 139815766335223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
/proc/28131/statm: 6634675 1627731 3298 1 0 6621909 0
[pid=28131/tid=28132] ppid=28129 vsize=26538700 memory=6510924 CPUtime=4.23 cores=0-7
/proc/28131/task/28132/stat : 28132 (java) S 28129 28129 27008 0 -1 1077944384 8558 0 0 0 406 17 0 0 20 0 28 0 151377747 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139815770576000 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28133] ppid=28129 vsize=26538700 memory=1384 CPUtime=1.06 cores=0-7
/proc/28131/task/28133/stat : 28133 (java) S 28129 28129 27008 0 -1 1077944384 1979 0 0 0 81 25 0 0 20 0 28 0 151377748 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139815688915728 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28134] ppid=28129 vsize=26538700 memory=6510924 CPUtime=1.03 cores=0-7
/proc/28131/task/28134/stat : 28134 (java) S 28129 28129 27008 0 -1 1077944384 2001 0 0 0 79 24 0 0 20 0 28 0 151377748 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139815687863184 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28135] ppid=28129 vsize=26538700 memory=6510924 CPUtime=1.06 cores=0-7
/proc/28131/task/28135/stat : 28135 (java) S 28129 28129 27008 0 -1 1077944384 1120 0 0 0 81 25 0 0 20 0 28 0 151377748 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139815686810640 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28136] ppid=28129 vsize=26538700 memory=6510924 CPUtime=0.95 cores=0-7
/proc/28131/task/28136/stat : 28136 (java) S 28129 28129 27008 0 -1 1077944384 1189 0 0 0 73 22 0 0 20 0 28 0 151377748 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139815685758096 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28137] ppid=28129 vsize=26538700 memory=6510924 CPUtime=1.06 cores=0-7
/proc/28131/task/28137/stat : 28137 (java) S 28129 28129 27008 0 -1 1077944384 1573 0 0 0 80 26 0 0 20 0 28 0 151377748 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139815684704528 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28138] ppid=28129 vsize=26538700 memory=6510924 CPUtime=0.99 cores=0-7
/proc/28131/task/28138/stat : 28138 (java) S 28129 28129 27008 0 -1 1077944384 2218 0 0 0 76 23 0 0 20 0 28 0 151377748 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139815683651984 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28139] ppid=28129 vsize=26538700 memory=1384 CPUtime=1.06 cores=0-7
/proc/28131/task/28139/stat : 28139 (java) S 28129 28129 27008 0 -1 1077944384 2346 0 0 0 79 27 0 0 20 0 28 0 151377748 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139815682599440 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28140] ppid=28129 vsize=26538700 memory=280349831330000 CPUtime=1.06 cores=0-7
/proc/28131/task/28140/stat : 28140 (java) S 28129 28129 27008 0 -1 1077944384 1959 0 0 0 79 27 0 0 20 0 28 0 151377748 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139815317166736 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28141] ppid=28129 vsize=26538700 memory=1384 CPUtime=0.29 cores=0-7
/proc/28131/task/28141/stat : 28141 (java) S 28129 28129 27008 0 -1 1077944384 9481 0 0 0 27 2 0 0 20 0 28 0 151377749 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814083471856 139815766346370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28142] ppid=28129 vsize=26538700 memory=6510924 CPUtime=0 cores=0-7
/proc/28131/task/28142/stat : 28142 (java) S 28129 28129 27008 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 151377750 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814082418144 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28143] ppid=28129 vsize=26538700 memory=1580 CPUtime=0 cores=0-7
/proc/28131/task/28143/stat : 28143 (java) S 28129 28129 27008 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 151377750 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814081365504 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28144] ppid=28129 vsize=26538700 memory=928 CPUtime=0 cores=0-7
/proc/28131/task/28144/stat : 28144 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151377752 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814080314064 139815766353819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28145] ppid=28129 vsize=26538700 memory=1384 CPUtime=3.8 cores=0-7
/proc/28131/task/28145/stat : 28145 (java) S 28129 28129 27008 0 -1 1077944384 17127 0 0 0 377 3 0 0 20 0 28 0 151377752 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814079260656 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28146] ppid=28129 vsize=26538700 memory=1384 CPUtime=3.57 cores=0-7
/proc/28131/task/28146/stat : 28146 (java) S 28129 28129 27008 0 -1 1077944384 13093 0 0 0 353 4 0 0 20 0 28 0 151377752 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814078208112 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28147] ppid=28129 vsize=26538700 memory=164 CPUtime=3.65 cores=0-7
/proc/28131/task/28147/stat : 28147 (java) S 28129 28129 27008 0 -1 1077944384 12622 0 0 0 363 2 0 0 20 0 28 0 151377752 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814077155568 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28148] ppid=28129 vsize=26538700 memory=7522532377569158000 CPUtime=0.91 cores=0-7
/proc/28131/task/28148/stat : 28148 (java) S 28129 28129 27008 0 -1 1077944384 11760 0 0 0 88 3 0 0 20 0 28 0 151377752 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814076103024 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28149] ppid=28129 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/28131/task/28149/stat : 28149 (java) S 28129 28129 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151377753 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814075050720 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28150] ppid=28129 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/28131/task/28150/stat : 28150 (java) S 28129 28129 27008 0 -1 1077944384 2930 0 0 0 0 9 0 0 20 0 28 0 151377753 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814073998256 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28255] ppid=28129 vsize=26538700 memory=2396 CPUtime=98.04 cores=0-7
/proc/28131/task/28255/stat : 28255 (java) R 28129 28129 27008 0 -1 4202560 910 0 0 0 9804 0 0 0 20 0 28 0 151390165 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139813990497520 139815370920719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28256] ppid=28129 vsize=26538700 memory=1728 CPUtime=97.92 cores=0-7
/proc/28131/task/28256/stat : 28256 (java) R 28129 28129 27008 0 -1 4202560 899 0 0 0 9791 1 0 0 20 0 28 0 151390165 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139813996814768 139815370371490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28257] ppid=28129 vsize=26538700 memory=4140 CPUtime=97.84 cores=0-7
/proc/28131/task/28257/stat : 28257 (java) R 28129 28129 27008 0 -1 4202560 6699 0 0 0 9775 9 0 0 20 0 28 0 151390165 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139813993656360 139815371389492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28258] ppid=28129 vsize=26538700 memory=42288 CPUtime=98.07 cores=0-7
/proc/28131/task/28258/stat : 28258 (java) R 28129 28129 27008 0 -1 4202560 7739 0 0 0 9762 45 0 0 20 0 28 0 151390165 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139813995761832 139815366384295 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28259] ppid=28129 vsize=26538700 memory=164 CPUtime=97.9 cores=0-7
/proc/28131/task/28259/stat : 28259 (java) R 28129 28129 27008 0 -1 4202560 5040 0 0 0 9775 15 0 0 20 0 28 0 151390165 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139813994709288 139815364744560 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28260] ppid=28129 vsize=26538700 memory=7511227181983884553 CPUtime=97.83 cores=0-7
/proc/28131/task/28260/stat : 28260 (java) R 28129 28129 27008 0 -1 4202560 637 0 0 0 9783 0 0 0 20 0 28 0 151390165 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139814072447400 139815370558448 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28261] ppid=28129 vsize=26538700 memory=1716 CPUtime=96.72 cores=0-7
/proc/28131/task/28261/stat : 28261 (java) R 28129 28129 27008 0 -1 4202560 8379 0 0 0 9654 18 0 0 20 0 28 0 151390165 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139813992604200 139815369305934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28262] ppid=28129 vsize=26538700 memory=10636 CPUtime=98.08 cores=0-7
/proc/28131/task/28262/stat : 28262 (java) R 28129 28129 27008 0 -1 4202560 3994 0 0 0 9794 14 0 0 20 0 28 0 151390165 27175628800 1627731 33554432000 4194304 4196468 140732076184928 139813991551656 139815364348256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
Current children cumulated CPU time: 1739.89 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 6512308 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.22 8.27 7.92 9/207 28262
/proc/meminfo: memFree=16772996/32770624 swapFree=67108860/67108860
[pid=28129] ppid=28126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28129/stat : 28129 (xcsp3-exec) S 28126 28129 27008 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151377747 9740288 346 33554432000 4194304 5098028 140732109291184 140732109289288 139638068036220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16887808 140732109296746 140732109296956 140732109296956 140732109299691 0
/proc/28129/statm: 2378 346 289 221 0 87 0
[pid=28131] ppid=28129 vsize=26538700 memory=6553884 CPUtime=1976.85 cores=0-7
/proc/28131/stat : 28131 (java) S 28129 28129 27008 0 -1 1077944320 194578 0 0 0 197094 591 0 0 20 0 28 0 151377747 27175628800 1638471 33554432000 4194304 4196468 140732076184928 140732076167472 139815766335223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
/proc/28131/statm: 6634675 1638471 3298 1 0 6621909 0
[pid=28131/tid=28132] ppid=28129 vsize=26538700 memory=6791534058613427641 CPUtime=4.23 cores=0-7
/proc/28131/task/28132/stat : 28132 (java) S 28129 28129 27008 0 -1 1077944384 8558 0 0 0 406 17 0 0 20 0 28 0 151377747 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139815770576000 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28133] ppid=28129 vsize=26538700 memory=2196 CPUtime=1.06 cores=0-7
/proc/28131/task/28133/stat : 28133 (java) S 28129 28129 27008 0 -1 1077944384 2101 0 0 0 81 25 0 0 20 0 28 0 151377748 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139815688915728 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28134] ppid=28129 vsize=26538700 memory=7540 CPUtime=1.03 cores=0-7
/proc/28131/task/28134/stat : 28134 (java) S 28129 28129 27008 0 -1 1077944384 2015 0 0 0 79 24 0 0 20 0 28 0 151377748 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139815687863184 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28135] ppid=28129 vsize=26538700 memory=840 CPUtime=1.07 cores=0-7
/proc/28131/task/28135/stat : 28135 (java) S 28129 28129 27008 0 -1 1077944384 1152 0 0 0 82 25 0 0 20 0 28 0 151377748 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139815686810640 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28136] ppid=28129 vsize=26538700 memory=6791534058613427641 CPUtime=0.97 cores=0-7
/proc/28131/task/28136/stat : 28136 (java) S 28129 28129 27008 0 -1 1077944384 1288 0 0 0 74 23 0 0 20 0 28 0 151377748 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139815685758096 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28137] ppid=28129 vsize=26538700 memory=5776 CPUtime=1.07 cores=0-7
/proc/28131/task/28137/stat : 28137 (java) S 28129 28129 27008 0 -1 1077944384 1673 0 0 0 80 27 0 0 20 0 28 0 151377748 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139815684704528 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28138] ppid=28129 vsize=26538700 memory=4616 CPUtime=1 cores=0-7
/proc/28131/task/28138/stat : 28138 (java) S 28129 28129 27008 0 -1 1077944384 2307 0 0 0 77 23 0 0 20 0 28 0 151377748 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139815683651984 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28139] ppid=28129 vsize=26538700 memory=792 CPUtime=1.07 cores=0-7
/proc/28131/task/28139/stat : 28139 (java) S 28129 28129 27008 0 -1 1077944384 2815 0 0 0 80 27 0 0 20 0 28 0 151377748 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139815682599440 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28140] ppid=28129 vsize=26538700 memory=1424 CPUtime=1.07 cores=0-7
/proc/28131/task/28140/stat : 28140 (java) S 28129 28129 27008 0 -1 1077944384 1988 0 0 0 79 28 0 0 20 0 28 0 151377748 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139815317166736 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28141] ppid=28129 vsize=26538700 memory=1936 CPUtime=0.29 cores=0-7
/proc/28131/task/28141/stat : 28141 (java) S 28129 28129 27008 0 -1 1077944384 9873 0 0 0 27 2 0 0 20 0 28 0 151377749 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814083471856 139815766346370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28142] ppid=28129 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/28131/task/28142/stat : 28142 (java) S 28129 28129 27008 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 151377750 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814082418144 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28143] ppid=28129 vsize=26538700 memory=1716 CPUtime=0 cores=0-7
/proc/28131/task/28143/stat : 28143 (java) S 28129 28129 27008 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 151377750 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814081365504 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28144] ppid=28129 vsize=26538700 memory=10636 CPUtime=0 cores=0-7
/proc/28131/task/28144/stat : 28144 (java) S 28129 28129 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151377752 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814080314064 139815766353819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28145] ppid=28129 vsize=26538700 memory=1384 CPUtime=3.83 cores=0-7
/proc/28131/task/28145/stat : 28145 (java) S 28129 28129 27008 0 -1 1077944384 18601 0 0 0 379 4 0 0 20 0 28 0 151377752 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814079260656 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28146] ppid=28129 vsize=26538700 memory=792 CPUtime=3.57 cores=0-7
/proc/28131/task/28146/stat : 28146 (java) S 28129 28129 27008 0 -1 1077944384 13101 0 0 0 353 4 0 0 20 0 28 0 151377752 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814078208112 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28147] ppid=28129 vsize=26538700 memory=1424 CPUtime=3.65 cores=0-7
/proc/28131/task/28147/stat : 28147 (java) S 28129 28129 27008 0 -1 1077944384 12630 0 0 0 363 2 0 0 20 0 28 0 151377752 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814077155568 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28148] ppid=28129 vsize=26538700 memory=1936 CPUtime=0.91 cores=0-7
/proc/28131/task/28148/stat : 28148 (java) S 28129 28129 27008 0 -1 1077944384 11778 0 0 0 88 3 0 0 20 0 28 0 151377752 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814076103024 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28149] ppid=28129 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/28131/task/28149/stat : 28149 (java) S 28129 28129 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151377753 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814075050720 139815766345429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28150] ppid=28129 vsize=26538700 memory=1716 CPUtime=0.11 cores=0-7
/proc/28131/task/28150/stat : 28150 (java) S 28129 28129 27008 0 -1 1077944384 3081 0 0 0 0 11 0 0 20 0 28 0 151377753 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814073998256 139815766346370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28255] ppid=28129 vsize=26538700 memory=10636 CPUtime=127.72 cores=0-7
/proc/28131/task/28255/stat : 28255 (java) R 28129 28129 27008 0 -1 4202560 1198 0 0 0 12772 0 0 0 20 0 28 0 151390165 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139813990494136 139815370922035 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28256] ppid=28129 vsize=26538700 memory=1200 CPUtime=127.6 cores=0-7
/proc/28131/task/28256/stat : 28256 (java) R 28129 28129 27008 0 -1 4202560 1186 0 0 0 12759 1 0 0 20 0 28 0 151390165 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139813996811320 139815363369278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28257] ppid=28129 vsize=26538700 memory=15876 CPUtime=127.54 cores=0-7
/proc/28131/task/28257/stat : 28257 (java) R 28129 28129 27008 0 -1 4202560 8601 0 0 0 12741 13 0 0 20 0 28 0 151390165 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139813993651640 139815364744400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28258] ppid=28129 vsize=26538700 memory=4044 CPUtime=127.74 cores=0-7
/proc/28131/task/28258/stat : 28258 (java) R 28129 28129 27008 0 -1 4202560 10234 0 0 0 12719 55 0 0 20 0 28 0 151390165 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139813995756880 139815364744249 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28259] ppid=28129 vsize=26538700 memory=16444 CPUtime=127.42 cores=0-7
/proc/28131/task/28259/stat : 28259 (java) R 28129 28129 27008 0 -1 4202560 5650 0 0 0 12727 15 0 0 20 0 28 0 151390165 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139813994705336 139815370821140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28260] ppid=28129 vsize=26538700 memory=24380 CPUtime=127.2 cores=0-7
/proc/28131/task/28260/stat : 28260 (java) R 28129 28129 27008 0 -1 4202560 803 0 0 0 12720 0 0 0 20 0 28 0 151390165 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139814072442936 139815370920724 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28261] ppid=28129 vsize=26538700 memory=1796 CPUtime=126.27 cores=0-7
/proc/28131/task/28261/stat : 28261 (java) R 28129 28129 27008 0 -1 4202560 11123 0 0 0 12604 23 0 0 20 0 28 0 151390165 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139813992599688 139815364348325 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
[pid=28131/tid=28262] ppid=28129 vsize=26538700 memory=636 CPUtime=127.76 cores=0-7
/proc/28131/task/28262/stat : 28262 (java) R 28129 28129 27008 0 -1 4202560 4795 0 0 0 12760 16 0 0 20 0 28 0 151390165 27175628800 1638471 33554432000 4194304 4196468 140732076184928 139813991547288 139815368049872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38457344 140732076188824 140732076189000 140732076189000 140732076191695 0
Current children cumulated CPU time: 1976.85 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 6555268 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.038 s]
# the end of solver process 28129 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001944 s

[startup+252.14 s]
# the end of solver process 28131 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1971.72 s, system=5.95313 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+252.13 s]*
/proc/loadavg: 8.22 8.27 7.92 2/180 28264
/proc/meminfo: memFree=22815808/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001944 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.14
CPU time (s): 1977.67
CPU user time (s): 1971.72
CPU system time (s): 5.95313
CPU usage (%): 784.353
Max. virtual memory (cumulated for all children) (KiB): 26550100
Max. memory (cumulated for all children) (KiB): 6555356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1971.72
system time used= 5.95313
maximum resident set size= 6554448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13229
involuntary context switches= 20822


# summary of solver processes directly reported to runsolver:
#   pid: 28129,28131
#   total CPU time (s): 1977.67
#   total CPU user time (s): 1971.72
#   total CPU system time (s): 5.95313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.12621 second user time and 2.96268 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	245.19501
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4281388

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
