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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	SAT (TO)	22	19975.4	2520.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 (14050 MiB free)
  memory of node 1: 16384 MiB (14107 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394648-1568447976/watcher-4394648-1568447976 -o /tmp/evaluation-result-4394648-1568447976/solver-4394648-1568447976 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568446392-28873 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1464368926 HOME/instance-4394648-1568447976.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=29122, runsolver pid=29119
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 6.61 7.34 7.06 2/211 29143
/proc/meminfo: memFree=28819604/32770624 swapFree=66998528/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 28846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421066471 115843072 363 33554432000 4194304 5098028 140731590508032 140731590506136 140407223771772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140731590513525 140731590513769 140731590513769 140731590516682 0
/proc/29122/statm: 28282 363 304 221 0 87 0
[pid=29124] ppid=29122 vsize=28227388 memory=27708 CPUtime=0.12 cores=0-7
/proc/29124/stat : 29124 (java) S 29122 29122 28846 0 -1 1077944320 5902 0 0 0 11 1 0 0 20 0 20 0 421066471 28904845312 6927 33554432000 4194304 4196468 140736374232448 140736374214992 140372715261687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
/proc/29124/statm: 7056847 6927 3119 1 0 7019032 0
[pid=29124/tid=29125] ppid=29122 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/29124/task/29125/stat : 29125 (java) R 29122 29122 28846 0 -1 4202560 3750 0 0 0 8 0 0 0 20 0 20 0 421066472 28904845312 6927 33554432000 4194304 4196468 140736374232448 140372719494480 140372715273622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29126] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 6927 33554432000 4194304 4196468 140736374232448 140372266781328 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29127] ppid=29122 vsize=28227388 memory=140257369305733 CPUtime=0 cores=0-7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 6927 33554432000 4194304 4196468 140736374232448 140372265728528 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29128] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 6927 33554432000 4194304 4196468 140736374232448 140372264675728 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29129] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 6927 33554432000 4194304 4196468 140736374232448 140372263622928 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29130] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 6927 33554432000 4194304 4196468 140736374232448 140372262571152 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29131] ppid=29122 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 6927 33554432000 4194304 4196468 140736374232448 140372261518352 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29132] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 6927 33554432000 4194304 4196468 140736374232448 140372260465552 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29133] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 6927 33554432000 4194304 4196468 140736374232448 140372259412752 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29134] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066474 28904845312 6927 33554432000 4194304 4196468 140736374232448 140371179477360 140372715272834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29135] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29135/stat : 29135 (java) S 29122 29122 28846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421066475 28904845312 6927 33554432000 4194304 4196468 140736374232448 140371178423328 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29136] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29136/stat : 29136 (java) S 29122 29122 28846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421066475 28904845312 6927 33554432000 4194304 4196468 140736374232448 140371177370480 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29137] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066477 28904845312 6927 33554432000 4194304 4196468 140736374232448 140371176318800 140372715280283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29138] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29138/stat : 29138 (java) R 29122 29122 28846 0 -1 4202560 298 0 0 0 0 0 0 0 20 0 20 0 421066477 28904845312 6927 33554432000 4194304 4196468 140736374232448 140371175267184 140372715272834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29139] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29139/stat : 29139 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066477 28904845312 6927 33554432000 4194304 4196468 140736374232448 140371174214384 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29140] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29140/stat : 29140 (java) S 29122 29122 28846 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 421066477 28904845312 6927 33554432000 4194304 4196468 140736374232448 140371173161584 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29141] ppid=29122 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/29124/task/29141/stat : 29141 (java) R 29122 29122 28846 0 -1 4202560 418 0 0 0 2 0 0 0 20 0 20 0 421066477 28904845312 6927 33554432000 4194304 4196468 140736374232448 140371172108784 140372715283034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29142] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29142/stat : 29142 (java) S 29122 29122 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421066477 28904845312 6927 33554432000 4194304 4196468 140736374232448 140371171056224 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29143] ppid=29122 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29124/task/29143/stat : 29143 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066478 28904845312 6927 33554432000 4194304 4196468 140736374232448 140371170003504 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 29160 KiB

[startup+0.210533 s]*
/proc/loadavg: 6.61 7.34 7.06 3/211 29143
/proc/meminfo: memFree=28805704/32770624 swapFree=66998528/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 28846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421066471 115843072 363 33554432000 4194304 5098028 140731590508032 140731590506136 140407223771772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140731590513525 140731590513769 140731590513769 140731590516682 0
/proc/29122/statm: 28282 363 304 221 0 87 0
[pid=29124] ppid=29122 vsize=28227388 memory=39756 CPUtime=0.34 cores=0-7
/proc/29124/stat : 29124 (java) S 29122 29122 28846 0 -1 1077944320 9702 0 0 0 31 3 0 0 20 0 20 0 421066471 28904845312 9939 33554432000 4194304 4196468 140736374232448 140736374214992 140372715261687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
/proc/29124/statm: 7056847 9939 3308 1 0 7019032 0
[pid=29124/tid=29125] ppid=29122 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/29124/task/29125/stat : 29125 (java) R 29122 29122 28846 0 -1 4202560 6685 0 0 0 18 2 0 0 20 0 20 0 421066472 28904845312 9939 33554432000 4194304 4196468 140736374232448 140372719501360 140372699342174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29126] ppid=29122 vsize=28227388 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 9939 33554432000 4194304 4196468 140736374232448 140372266781328 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29127] ppid=29122 vsize=28227388 memory=4122680173642446496 CPUtime=0 cores=0-7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 9939 33554432000 4194304 4196468 140736374232448 140372265728528 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29128] ppid=29122 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 9939 33554432000 4194304 4196468 140736374232448 140372264675728 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29129] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 9939 33554432000 4194304 4196468 140736374232448 140372263622928 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29130] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 9939 33554432000 4194304 4196468 140736374232448 140372262571152 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29131] ppid=29122 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 9939 33554432000 4194304 4196468 140736374232448 140372261518352 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29132] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 9939 33554432000 4194304 4196468 140736374232448 140372260465552 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29133] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28904845312 9939 33554432000 4194304 4196468 140736374232448 140372259412752 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29134] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 28846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421066474 28904845312 9939 33554432000 4194304 4196468 140736374232448 140371179477360 140372715272834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29135] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29135/stat : 29135 (java) S 29122 29122 28846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421066475 28904845312 9939 33554432000 4194304 4196468 140736374232448 140371178423328 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29136] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29136/stat : 29136 (java) S 29122 29122 28846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421066475 28904845312 9939 33554432000 4194304 4196468 140736374232448 140371177370480 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29137] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066477 28904845312 9939 33554432000 4194304 4196468 140736374232448 140371176318800 140372715280283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29138] ppid=29122 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 28846 0 -1 1077944384 530 0 0 0 2 0 0 0 20 0 20 0 421066477 28904845312 9939 33554432000 4194304 4196468 140736374232448 140371175267184 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29139] ppid=29122 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/29124/task/29139/stat : 29139 (java) S 29122 29122 28846 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 421066477 28904845312 9939 33554432000 4194304 4196468 140736374232448 140371174214384 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29140] ppid=29122 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/29124/task/29140/stat : 29140 (java) S 29122 29122 28846 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 421066477 28904845312 9939 33554432000 4194304 4196468 140736374232448 140371173161584 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29141] ppid=29122 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/29124/task/29141/stat : 29141 (java) S 29122 29122 28846 0 -1 1077944384 918 0 0 0 7 0 0 0 20 0 20 0 421066477 28904845312 9939 33554432000 4194304 4196468 140736374232448 140371172108784 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29142] ppid=29122 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29142/stat : 29142 (java) S 29122 29122 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421066477 28904845312 9939 33554432000 4194304 4196468 140736374232448 140371171056224 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29143] ppid=29122 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29124/task/29143/stat : 29143 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066478 28904845312 9939 33554432000 4194304 4196468 140736374232448 140371170003504 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41208 KiB

[startup+0.314871 s]*
/proc/loadavg: 6.61 7.34 7.06 3/211 29143
/proc/meminfo: memFree=28798568/32770624 swapFree=66998528/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 28846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421066471 115843072 363 33554432000 4194304 5098028 140731590508032 140731590506136 140407223771772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140731590513525 140731590513769 140731590513769 140731590516682 0
/proc/29122/statm: 28282 363 304 221 0 87 0
[pid=29124] ppid=29122 vsize=28231644 memory=49184 CPUtime=0.53 cores=0-7
/proc/29124/stat : 29124 (java) S 29122 29122 28846 0 -1 1077944320 11160 0 0 0 49 4 0 0 20 0 20 0 421066471 28909203456 12296 33554432000 4194304 4196468 140736374232448 140736374214992 140372715261687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
/proc/29124/statm: 7057911 12296 3364 1 0 7019032 0
[pid=29124/tid=29125] ppid=29122 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/29124/task/29125/stat : 29125 (java) R 29122 29122 28846 0 -1 4202560 7819 0 0 0 28 2 0 0 20 0 20 0 421066472 28909203456 12296 33554432000 4194304 4196468 140736374232448 140372719492800 140372699342174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29126] ppid=29122 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066473 28909203456 12296 33554432000 4194304 4196468 140736374232448 140372266781328 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29127] ppid=29122 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421066473 28909203456 12296 33554432000 4194304 4196468 140736374232448 140372265728528 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29128] ppid=29122 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28909203456 12296 33554432000 4194304 4196468 140736374232448 140372264675728 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29129] ppid=29122 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28909203456 12296 33554432000 4194304 4196468 140736374232448 140372263622928 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29130] ppid=29122 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066473 28909203456 12296 33554432000 4194304 4196468 140736374232448 140372262571152 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29131] ppid=29122 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28909203456 12296 33554432000 4194304 4196468 140736374232448 140372261518352 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29132] ppid=29122 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066473 28909203456 12296 33554432000 4194304 4196468 140736374232448 140372260465552 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29133] ppid=29122 vsize=28231644 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28909203456 12296 33554432000 4194304 4196468 140736374232448 140372259412752 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29134] ppid=29122 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 28846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421066474 28909203456 12296 33554432000 4194304 4196468 140736374232448 140371179477360 140372715272834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29135] ppid=29122 vsize=28231644 memory=280514514853248 CPUtime=0 cores=0-7
/proc/29124/task/29135/stat : 29135 (java) S 29122 29122 28846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421066475 28909203456 12296 33554432000 4194304 4196468 140736374232448 140371178423328 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29136] ppid=29122 vsize=28231644 memory=280514514857856 CPUtime=0 cores=0-7
/proc/29124/task/29136/stat : 29136 (java) S 29122 29122 28846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421066475 28909203456 12296 33554432000 4194304 4196468 140736374232448 140371177370480 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29137] ppid=29122 vsize=28231644 memory=280514514862464 CPUtime=0 cores=0-7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066477 28909203456 12296 33554432000 4194304 4196468 140736374232448 140371176318800 140372715280283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29138] ppid=29122 vsize=28231644 memory=280514514867072 CPUtime=0.03 cores=0-7
/proc/29124/task/29138/stat : 29138 (java) R 29122 29122 28846 0 -1 4202560 613 0 0 0 3 0 0 0 20 0 20 0 421066477 28909203456 12296 33554432000 4194304 4196468 140736374232448 140371175267184 140372698469720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29139] ppid=29122 vsize=28231644 memory=280514514871680 CPUtime=0.02 cores=0-7
/proc/29124/task/29139/stat : 29139 (java) S 29122 29122 28846 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 20 0 421066477 28909203456 12296 33554432000 4194304 4196468 140736374232448 140371174214384 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29140] ppid=29122 vsize=28231644 memory=280514514876288 CPUtime=0.02 cores=0-7
/proc/29124/task/29140/stat : 29140 (java) S 29122 29122 28846 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 20 0 421066477 28909203456 12296 33554432000 4194304 4196468 140736374232448 140371173161584 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29141] ppid=29122 vsize=28231644 memory=280514514880896 CPUtime=0.12 cores=0-7
/proc/29124/task/29141/stat : 29141 (java) S 29122 29122 28846 0 -1 1077944384 1095 0 0 0 12 0 0 0 20 0 20 0 421066477 28909203456 12328 33554432000 4194304 4196468 140736374232448 140371172108784 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29142] ppid=29122 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29142/stat : 29142 (java) S 29122 29122 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421066477 28909203456 12328 33554432000 4194304 4196468 140736374232448 140371171056224 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29143] ppid=29122 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/29124/task/29143/stat : 29143 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066478 28909203456 12328 33554432000 4194304 4196468 140736374232448 140371170003504 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 50636 KiB

[startup+0.70096 s]
/proc/loadavg: 6.61 7.34 7.06 4/211 29143
/proc/meminfo: memFree=28775424/32770624 swapFree=66998528/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 28846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421066471 115843072 363 33554432000 4194304 5098028 140731590508032 140731590506136 140407223771772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140731590513525 140731590513769 140731590513769 140731590516682 0
/proc/29122/statm: 28282 363 304 221 0 87 0
[pid=29124] ppid=29122 vsize=28233768 memory=103004 CPUtime=1.96 cores=0-7
/proc/29124/stat : 29124 (java) S 29122 29122 28846 0 -1 1077944320 16979 0 0 0 190 6 0 0 20 0 20 0 421066471 28911378432 25751 33554432000 4194304 4196468 140736374232448 140736374214992 140372715261687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
/proc/29124/statm: 7058442 25751 3447 1 0 7019544 0
[pid=29124/tid=29125] ppid=29122 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/29124/task/29125/stat : 29125 (java) R 29122 29122 28846 0 -1 4202560 9267 0 0 0 64 3 0 0 20 0 20 0 421066472 28911378432 25816 33554432000 4194304 4196468 140736374232448 140372719489464 140372700693189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29126] ppid=29122 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 28846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421066473 28911378432 25816 33554432000 4194304 4196468 140736374232448 140372266781328 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29127] ppid=29122 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421066473 28911378432 25816 33554432000 4194304 4196468 140736374232448 140372265728528 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29128] ppid=29122 vsize=28233768 memory=1204 CPUtime=0 cores=0-7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421066473 28911378432 25816 33554432000 4194304 4196468 140736374232448 140372264675728 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0

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

/proc/meminfo: memFree=22794476/32770624 swapFree=66998528/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 28846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421066471 115843072 363 33554432000 4194304 5098028 140731590508032 140731590506136 140407223771772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140731590513525 140731590513769 140731590513769 140731590516682 0
/proc/29122/statm: 28282 363 304 221 0 87 0
[pid=29124] ppid=29122 vsize=28768328 memory=6043344 CPUtime=19833.4 cores=0-7
/proc/29124/stat : 29124 (java) S 29122 29122 28846 0 -1 1077944320 796441 0 0 0 1982120 1224 0 0 20 0 28 0 421066471 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140736374214992 140372715261687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
/proc/29124/statm: 7192082 1510836 3564 1 0 7153184 0
[pid=29124/tid=29125] ppid=29122 vsize=28768328 memory=6043344 CPUtime=3.05 cores=0-7
/proc/29124/task/29125/stat : 29125 (java) S 29122 29122 28846 0 -1 1077944384 13292 0 0 0 296 9 0 0 20 0 28 0 421066472 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140372719502464 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29126] ppid=29122 vsize=28768328 memory=6043344 CPUtime=6.75 cores=0-7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 28846 0 -1 1077944384 17677 0 0 0 635 40 0 0 20 0 28 0 421066473 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140372266781328 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29127] ppid=29122 vsize=28768328 memory=6043344 CPUtime=6.81 cores=0-7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 28846 0 -1 1077944384 16239 0 0 0 646 35 0 0 20 0 28 0 421066473 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140372265728528 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29128] ppid=29122 vsize=28768328 memory=6043344 CPUtime=6.72 cores=0-7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 28846 0 -1 1077944384 16059 0 0 0 632 40 0 0 20 0 28 0 421066473 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140372264675728 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29129] ppid=29122 vsize=28768328 memory=1452 CPUtime=6.74 cores=0-7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 28846 0 -1 1077944384 17778 0 0 0 636 38 0 0 20 0 28 0 421066473 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140372263622928 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29130] ppid=29122 vsize=28768328 memory=1452 CPUtime=6.73 cores=0-7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 28846 0 -1 1077944384 19746 0 0 0 628 45 0 0 20 0 28 0 421066473 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140372262571152 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29131] ppid=29122 vsize=28768328 memory=3624 CPUtime=6.77 cores=0-7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 28846 0 -1 1077944384 15097 0 0 0 636 41 0 0 20 0 28 0 421066473 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140372261518352 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29132] ppid=29122 vsize=28768328 memory=1452 CPUtime=6.8 cores=0-7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 28846 0 -1 1077944384 15524 0 0 0 639 41 0 0 20 0 28 0 421066473 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140372260465552 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29133] ppid=29122 vsize=28768328 memory=6043344 CPUtime=6.73 cores=0-7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 28846 0 -1 1077944384 15500 0 0 0 635 38 0 0 20 0 28 0 421066473 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140372259412752 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29134] ppid=29122 vsize=28768328 memory=6043344 CPUtime=6.16 cores=0-7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 28846 0 -1 1077944384 30507 0 0 0 577 39 0 0 20 0 28 0 421066474 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371179477360 140372715272834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29135] ppid=29122 vsize=28768328 memory=3624 CPUtime=0 cores=0-7
/proc/29124/task/29135/stat : 29135 (java) S 29122 29122 28846 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 421066475 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371178423392 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29136] ppid=29122 vsize=28768328 memory=3852 CPUtime=0 cores=0-7
/proc/29124/task/29136/stat : 29136 (java) S 29122 29122 28846 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 421066475 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371177370496 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29137] ppid=29122 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421066477 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371176318800 140372715280283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29138] ppid=29122 vsize=28768328 memory=6791534058613427641 CPUtime=7.35 cores=0-7
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 28846 0 -1 1077944384 64346 0 0 0 725 10 0 0 20 0 28 0 421066477 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371175267184 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29139] ppid=29122 vsize=28768328 memory=1204 CPUtime=7.66 cores=0-7
/proc/29124/task/29139/stat : 29139 (java) S 29122 29122 28846 0 -1 1077944384 75249 0 0 0 752 14 0 0 20 0 28 0 421066477 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371174214384 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29140] ppid=29122 vsize=28768328 memory=1452 CPUtime=6.83 cores=0-7
/proc/29124/task/29140/stat : 29140 (java) S 29122 29122 28846 0 -1 1077944384 65373 0 0 0 672 11 0 0 20 0 28 0 421066477 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371173161584 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29141] ppid=29122 vsize=28768328 memory=1452 CPUtime=1.52 cores=0-7
/proc/29124/task/29141/stat : 29141 (java) S 29122 29122 28846 0 -1 1077944384 54036 0 0 0 143 9 0 0 20 0 28 0 421066477 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371172108784 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29142] ppid=29122 vsize=28768328 memory=766 CPUtime=0 cores=0-7
/proc/29124/task/29142/stat : 29142 (java) S 29122 29122 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421066477 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371171056224 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29143] ppid=29122 vsize=28768328 memory=683 CPUtime=1.03 cores=0-7
/proc/29124/task/29143/stat : 29143 (java) S 29122 29122 28846 0 -1 1077944384 7056 0 0 0 37 66 0 0 20 0 28 0 421066478 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371170003504 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29225] ppid=29122 vsize=28768328 memory=6043344 CPUtime=2179.55 cores=0-7
/proc/29124/task/29225/stat : 29225 (java) R 29122 29122 28846 0 -1 4202560 12881 0 0 0 217941 14 0 0 20 0 28 0 421097641 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371154483784 140372363840681 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29226] ppid=29122 vsize=28768328 memory=3624 CPUtime=2172.89 cores=0-7
/proc/29124/task/29226/stat : 29226 (java) R 29122 29122 28846 0 -1 4202560 7116 0 0 0 217283 6 0 0 20 0 28 0 421097641 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371156589976 140372366168650 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29227] ppid=29122 vsize=28768328 memory=824 CPUtime=2175.96 cores=0-7
/proc/29124/task/29227/stat : 29227 (java) R 29122 29122 28846 0 -1 4202560 135730 0 0 0 217358 238 0 0 20 0 28 0 421097641 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371151327168 140372352980156 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29228] ppid=29122 vsize=28768328 memory=1448 CPUtime=2169.11 cores=0-7
/proc/29124/task/29228/stat : 29228 (java) R 29122 29122 28846 0 -1 4202560 72782 0 0 0 216727 184 0 0 20 0 28 0 421097641 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371157643560 140372364541565 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29229] ppid=29122 vsize=28768328 memory=1764 CPUtime=2176.12 cores=0-7
/proc/29124/task/29229/stat : 29229 (java) R 29122 29122 28846 0 -1 4202560 9246 0 0 0 217600 12 0 0 20 0 28 0 421097641 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371152379928 140372363796263 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29230] ppid=29122 vsize=28768328 memory=111632 CPUtime=2179.98 cores=0-7
/proc/29124/task/29230/stat : 29230 (java) R 29122 29122 28846 0 -1 4202560 8893 0 0 0 217983 15 0 0 20 0 28 0 421097641 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371155538152 140372364724617 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29231] ppid=29122 vsize=28768328 memory=41736 CPUtime=2182.29 cores=0-7
/proc/29124/task/29231/stat : 29231 (java) R 29122 29122 28846 0 -1 4202560 6887 0 0 0 218214 15 0 0 20 0 28 0 421097641 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371158695704 140372363839920 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29232] ppid=29122 vsize=28768328 memory=988 CPUtime=2177.57 cores=0-7
/proc/29124/task/29232/stat : 29232 (java) R 29122 29122 28846 0 -1 4202560 10642 0 0 0 217745 12 0 0 20 0 28 0 421097641 29458767872 1510836 33554432000 4194304 4196468 140736374232448 140371153434976 140372366167948 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
Current children cumulated CPU time: 19833.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 6044796 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.13 8.28 8.19 9/220 29401
/proc/meminfo: memFree=22792468/32770624 swapFree=66998528/67108860
[pid=29122] ppid=29119 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29122/stat : 29122 (xcsp3-exec) S 29119 29122 28846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421066471 115843072 363 33554432000 4194304 5098028 140731590508032 140731590506136 140407223771772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140731590513525 140731590513769 140731590513769 140731590516682 0
/proc/29122/statm: 28282 363 304 221 0 87 0
[pid=29124] ppid=29122 vsize=28768328 memory=6045400 CPUtime=19974.7 cores=0-7
/proc/29124/stat : 29124 (java) S 29122 29122 28846 0 -1 1077944320 801175 0 0 0 1996244 1226 0 0 20 0 28 0 421066471 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140736374214992 140372715261687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
/proc/29124/statm: 7192082 1511350 3564 1 0 7153184 0
[pid=29124/tid=29125] ppid=29122 vsize=28768328 memory=8317482817917895235 CPUtime=3.05 cores=0-7
/proc/29124/task/29125/stat : 29125 (java) S 29122 29122 28846 0 -1 1077944384 13292 0 0 0 296 9 0 0 20 0 28 0 421066472 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140372719502464 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29126] ppid=29122 vsize=28768328 memory=14068 CPUtime=6.78 cores=0-7
/proc/29124/task/29126/stat : 29126 (java) S 29122 29122 28846 0 -1 1077944384 18035 0 0 0 638 40 0 0 20 0 28 0 421066473 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140372266781328 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29127] ppid=29122 vsize=28768328 memory=524 CPUtime=6.84 cores=0-7
/proc/29124/task/29127/stat : 29127 (java) S 29122 29122 28846 0 -1 1077944384 16567 0 0 0 649 35 0 0 20 0 28 0 421066473 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140372265728528 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29128] ppid=29122 vsize=28768328 memory=1568 CPUtime=6.75 cores=0-7
/proc/29124/task/29128/stat : 29128 (java) S 29122 29122 28846 0 -1 1077944384 16324 0 0 0 635 40 0 0 20 0 28 0 421066473 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140372264675728 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29129] ppid=29122 vsize=28768328 memory=1452 CPUtime=6.77 cores=0-7
/proc/29124/task/29129/stat : 29129 (java) S 29122 29122 28846 0 -1 1077944384 18373 0 0 0 639 38 0 0 20 0 28 0 421066473 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140372263622928 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29130] ppid=29122 vsize=28768328 memory=1452 CPUtime=6.76 cores=0-7
/proc/29124/task/29130/stat : 29130 (java) S 29122 29122 28846 0 -1 1077944384 19913 0 0 0 631 45 0 0 20 0 28 0 421066473 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140372262571152 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29131] ppid=29122 vsize=28768328 memory=6045400 CPUtime=6.8 cores=0-7
/proc/29124/task/29131/stat : 29131 (java) S 29122 29122 28846 0 -1 1077944384 15288 0 0 0 639 41 0 0 20 0 28 0 421066473 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140372261518352 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29132] ppid=29122 vsize=28768328 memory=6791534058613427641 CPUtime=6.83 cores=0-7
/proc/29124/task/29132/stat : 29132 (java) S 29122 29122 28846 0 -1 1077944384 15600 0 0 0 642 41 0 0 20 0 28 0 421066473 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140372260465552 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29133] ppid=29122 vsize=28768328 memory=1808 CPUtime=6.76 cores=0-7
/proc/29124/task/29133/stat : 29133 (java) S 29122 29122 28846 0 -1 1077944384 15592 0 0 0 637 39 0 0 20 0 28 0 421066473 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140372259412752 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29134] ppid=29122 vsize=28768328 memory=920 CPUtime=6.16 cores=0-7
/proc/29124/task/29134/stat : 29134 (java) S 29122 29122 28846 0 -1 1077944384 30810 0 0 0 577 39 0 0 20 0 28 0 421066474 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371179477360 140372715272834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29135] ppid=29122 vsize=28768328 memory=4244 CPUtime=0 cores=0-7
/proc/29124/task/29135/stat : 29135 (java) S 29122 29122 28846 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 421066475 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371178423392 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29136] ppid=29122 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/29124/task/29136/stat : 29136 (java) S 29122 29122 28846 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 421066475 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371177370496 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29137] ppid=29122 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/29124/task/29137/stat : 29137 (java) S 29122 29122 28846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421066477 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371176318800 140372715280283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29138] ppid=29122 vsize=28768328 memory=7100839861465685612 CPUtime=7.35 cores=0-7
/proc/29124/task/29138/stat : 29138 (java) S 29122 29122 28846 0 -1 1077944384 64348 0 0 0 725 10 0 0 20 0 28 0 421066477 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371175267184 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29139] ppid=29122 vsize=28768328 memory=-7175204567652784766 CPUtime=7.66 cores=0-7
/proc/29124/task/29139/stat : 29139 (java) S 29122 29122 28846 0 -1 1077944384 75251 0 0 0 752 14 0 0 20 0 28 0 421066477 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371174214384 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29140] ppid=29122 vsize=28768328 memory=3054156605268465310 CPUtime=6.83 cores=0-7
/proc/29124/task/29140/stat : 29140 (java) S 29122 29122 28846 0 -1 1077944384 65375 0 0 0 672 11 0 0 20 0 28 0 421066477 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371173161584 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29141] ppid=29122 vsize=28768328 memory=-8341965534556230502 CPUtime=1.52 cores=0-7
/proc/29124/task/29141/stat : 29141 (java) S 29122 29122 28846 0 -1 1077944384 54038 0 0 0 143 9 0 0 20 0 28 0 421066477 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371172108784 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29142] ppid=29122 vsize=28768328 memory=4715433313220523562 CPUtime=0 cores=0-7
/proc/29124/task/29142/stat : 29142 (java) S 29122 29122 28846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421066477 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371171056224 140372715271893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29143] ppid=29122 vsize=28768328 memory=-8253362762722141311 CPUtime=1.04 cores=0-7
/proc/29124/task/29143/stat : 29143 (java) S 29122 29122 28846 0 -1 1077944384 7081 0 0 0 38 66 0 0 20 0 28 0 421066478 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371170003504 140372715272834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29225] ppid=29122 vsize=28768328 memory=780 CPUtime=2197.23 cores=0-7
/proc/29124/task/29225/stat : 29225 (java) R 29122 29122 28846 0 -1 4202560 12981 0 0 0 219709 14 0 0 20 0 28 0 421097641 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371154483880 140372363839964 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29226] ppid=29122 vsize=28768328 memory=620 CPUtime=2190.57 cores=0-7
/proc/29124/task/29226/stat : 29226 (java) R 29122 29122 28846 0 -1 4202560 7171 0 0 0 219051 6 0 0 20 0 28 0 421097641 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371156590312 140372363840369 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29227] ppid=29122 vsize=28768328 memory=1712 CPUtime=2193.26 cores=0-7
/proc/29124/task/29227/stat : 29227 (java) R 29122 29122 28846 0 -1 4202560 136548 0 0 0 219088 238 0 0 20 0 28 0 421097641 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371151330064 140372360108240 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29228] ppid=29122 vsize=28768328 memory=928 CPUtime=2186.78 cores=0-7
/proc/29124/task/29228/stat : 29228 (java) R 29122 29122 28846 0 -1 4202560 73761 0 0 0 218493 185 0 0 20 0 28 0 421097641 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371157643416 140372366100448 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29229] ppid=29122 vsize=28768328 memory=3704 CPUtime=2193.79 cores=0-7
/proc/29124/task/29229/stat : 29229 (java) R 29122 29122 28846 0 -1 4202560 9364 0 0 0 219367 12 0 0 20 0 28 0 421097641 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371152380184 140372362789968 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29230] ppid=29122 vsize=28768328 memory=1976 CPUtime=2197.65 cores=0-7
/proc/29124/task/29230/stat : 29230 (java) R 29122 29122 28846 0 -1 4202560 8940 0 0 0 219750 15 0 0 20 0 28 0 421097641 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371155538000 140372364724701 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29231] ppid=29122 vsize=28768328 memory=2580 CPUtime=2199.97 cores=0-7
/proc/29124/task/29231/stat : 29231 (java) R 29122 29122 28846 0 -1 4202560 6981 0 0 0 219982 15 0 0 20 0 28 0 421097641 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371158695704 140372362790555 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
[pid=29124/tid=29232] ppid=29122 vsize=28768328 memory=824 CPUtime=2195.25 cores=0-7
/proc/29124/task/29232/stat : 29232 (java) R 29122 29122 28846 0 -1 4202560 10757 0 0 0 219513 12 0 0 20 0 28 0 421097641 29458767872 1511350 33554432000 4194304 4196468 140736374232448 140371153432216 140372363840072 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18997248 140736374240234 140736374240406 140736374240406 140736374243279 0
Current children cumulated CPU time: 19974.7 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 6046852 KiB

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

[startup+2520.04 s]
# the end of solver process 29122 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000796 s, system=0.001593 s

[startup+2520.14 s]
# the end of solver process 29124 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19963 s, system=12.3177 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+2520.13 s]*
/proc/loadavg: 8.13 8.28 8.19 2/193 29403
/proc/meminfo: memFree=28671092/32770624 swapFree=66998528/67108860
Current cumulated CPU time of completed processes: 0.002389 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): 2520.14
CPU time (s): 19975.4
CPU user time (s): 19963
CPU system time (s): 12.3177
CPU usage (%): 792.63
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 6046852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19963
system time used= 12.3177
maximum resident set size= 6045752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 803068
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74508
involuntary context switches= 237381


# summary of solver processes directly reported to runsolver:
#   pid: 29122,29124
#   total CPU time (s): 19975.4
#   total CPU user time (s): 19963
#   total CPU system time (s): 12.3177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7956 second user time and 28.5737 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml
MD5SUM	edb7fc8f5d274005fc89ddd50225e87c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3757
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}]
Minimum variable degree	2
Maximum variable degree	23
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3757}]
Number of extensional constraints	0
Number of intensional constraints	3757
Distribution of constraint types	[{"type":"intension","count":3757}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4394648

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
