2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	22	2520.11	2508.61
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 (5537 MiB free)
  memory of node 1: 16384 MiB (9325 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307013-1534060243/watcher-4307013-1534060243 -o /tmp/evaluation-result-4307013-1534060243/solver-4307013-1534060243 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580 HOME/xcsp3-exec -seed 1074319394 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307013-1534060243.xml 

running on 4 cores: 0,2,4,6

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

solver pid=29154, runsolver pid=29151

[startup+0.100126 s]*
/proc/loadavg: 2.49 2.13 2.00 3/217 29170
/proc/meminfo: memFree=15205912/32770624 swapFree=67108792/67108860
[pid=29154] ppid=29151 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223587543 115843072 364 33554432000 4194304 5098028 140736555657216 140736555655320 139747880395388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12029952 140736555664442 140736555664644 140736555664644 140736555667402 0
/proc/29154/statm: 28282 364 306 221 0 87 0
[pid=29156] ppid=29154 vsize=14082940 memory=27464 CPUtime=0.08 cores=0,2,4,6
/proc/29156/stat : 29156 (java) S 29154 29154 24759 0 -1 1077944320 5200 0 0 0 8 0 0 0 20 0 15 0 223587543 14420930560 6866 33554432000 4194304 4196468 140735379625872 140735379608416 139964127080183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
/proc/29156/statm: 3520735 6866 2906 1 0 3483012 0
[pid=29156/tid=29157] ppid=29154 vsize=14082940 memory=8514701219880730790 CPUtime=0.06 cores=0,2,4,6
/proc/29156/task/29157/stat : 29157 (java) R 29154 29154 24759 0 -1 4202560 3360 0 0 0 6 0 0 0 20 0 15 0 223587543 14420930560 6866 33554432000 4194304 4196468 140735379625872 139964131305872 139964111123813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29158] ppid=29154 vsize=14082940 memory=3472468669949904080 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29158/stat : 29158 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14420930560 6866 33554432000 4194304 4196468 140735379625872 139964064680592 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29159] ppid=29154 vsize=14082940 memory=140541054752384 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29159/stat : 29159 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14420930560 6866 33554432000 4194304 4196468 140735379625872 139964063627792 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29160] ppid=29154 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29160/stat : 29160 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14420930560 6866 33554432000 4194304 4196468 140735379625872 139964062574992 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29161] ppid=29154 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29161/stat : 29161 (java) S 29154 29154 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223587544 14420930560 6866 33554432000 4194304 4196468 140735379625872 139964061522192 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29162] ppid=29154 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29162/stat : 29162 (java) S 29154 29154 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223587546 14420930560 6866 33554432000 4194304 4196468 140735379625872 139963106536304 139964127091330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29163] ppid=29154 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29163/stat : 29163 (java) S 29154 29154 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223587546 14420930560 6866 33554432000 4194304 4196468 140735379625872 139963105482272 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29164] ppid=29154 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29164/stat : 29164 (java) S 29154 29154 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223587546 14420930560 6866 33554432000 4194304 4196468 140735379625872 139963104429424 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29165] ppid=29154 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29165/stat : 29165 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14420930560 6866 33554432000 4194304 4196468 140735379625872 139963103377744 139964127098779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29166] ppid=29154 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29166/stat : 29166 (java) S 29154 29154 24759 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 223587549 14420930560 6866 33554432000 4194304 4196468 140735379625872 139963102325104 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29167] ppid=29154 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29167/stat : 29167 (java) R 29154 29154 24759 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 223587549 14420930560 6866 33554432000 4194304 4196468 140735379625872 139963101272304 139964127101530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29168] ppid=29154 vsize=14082940 memory=140541054752384 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29168/stat : 29168 (java) S 29154 29154 24759 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 223587549 14420930560 6866 33554432000 4194304 4196468 140735379625872 139963100219504 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29169] ppid=29154 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29169/stat : 29169 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14420930560 6866 33554432000 4194304 4196468 140735379625872 139963099166944 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29170] ppid=29154 vsize=14082940 memory=140541054752384 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29170/stat : 29170 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587552 14420930560 6866 33554432000 4194304 4196468 140735379625872 139963098115248 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 28920 KiB

[startup+0.210495 s]*
/proc/loadavg: 2.49 2.13 2.00 3/217 29170
/proc/meminfo: memFree=15192284/32770624 swapFree=67108792/67108860
[pid=29154] ppid=29151 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223587543 115843072 364 33554432000 4194304 5098028 140736555657216 140736555655320 139747880395388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12029952 140736555664442 140736555664644 140736555664644 140736555667402 0
/proc/29154/statm: 28282 364 306 221 0 87 0
[pid=29156] ppid=29154 vsize=14082940 memory=40928 CPUtime=0.3 cores=0,2,4,6
/proc/29156/stat : 29156 (java) S 29154 29154 24759 0 -1 1077944320 8214 0 0 0 28 2 0 0 20 0 15 0 223587543 14420930560 10232 33554432000 4194304 4196468 140735379625872 140735379608416 139964127080183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
/proc/29156/statm: 3520735 10232 3196 1 0 3483012 0
[pid=29156/tid=29157] ppid=29154 vsize=14082940 memory=5852833025768652961 CPUtime=0.17 cores=0,2,4,6
/proc/29156/task/29157/stat : 29157 (java) R 29154 29154 24759 0 -1 4202560 5322 0 0 0 16 1 0 0 20 0 15 0 223587543 14420930560 10232 33554432000 4194304 4196468 140735379625872 139964131317056 139964127092118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29158] ppid=29154 vsize=14082940 memory=3472468669949904080 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29158/stat : 29158 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14420930560 10232 33554432000 4194304 4196468 140735379625872 139964064680592 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29159] ppid=29154 vsize=14082940 memory=140541054752384 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29159/stat : 29159 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14420930560 10232 33554432000 4194304 4196468 140735379625872 139964063627792 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29160] ppid=29154 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29160/stat : 29160 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14420930560 10232 33554432000 4194304 4196468 140735379625872 139964062574992 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29161] ppid=29154 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29161/stat : 29161 (java) S 29154 29154 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223587544 14420930560 10232 33554432000 4194304 4196468 140735379625872 139964061522192 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29162] ppid=29154 vsize=14082940 memory=140541054752384 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29162/stat : 29162 (java) S 29154 29154 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223587546 14420930560 10232 33554432000 4194304 4196468 140735379625872 139963106536304 139964127091330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29163] ppid=29154 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29163/stat : 29163 (java) S 29154 29154 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223587546 14420930560 10232 33554432000 4194304 4196468 140735379625872 139963105482272 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29164] ppid=29154 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29164/stat : 29164 (java) S 29154 29154 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223587546 14420930560 10232 33554432000 4194304 4196468 140735379625872 139963104429424 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29165] ppid=29154 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29165/stat : 29165 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14420930560 10232 33554432000 4194304 4196468 140735379625872 139963103377744 139964127098779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29166] ppid=29154 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29156/task/29166/stat : 29166 (java) S 29154 29154 24759 0 -1 1077944384 566 0 0 0 2 0 0 0 20 0 15 0 223587549 14420930560 10232 33554432000 4194304 4196468 140735379625872 139963102325104 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29167] ppid=29154 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29156/task/29167/stat : 29167 (java) R 29154 29154 24759 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 15 0 223587549 14420930560 10232 33554432000 4194304 4196468 140735379625872 139963101272304 139964127091330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29168] ppid=29154 vsize=14082940 memory=140541054752384 CPUtime=0.06 cores=0,2,4,6
/proc/29156/task/29168/stat : 29168 (java) R 29154 29154 24759 0 -1 4202560 808 0 0 0 6 0 0 0 20 0 15 0 223587549 14420930560 10232 33554432000 4194304 4196468 140735379625872 139963100219504 139964127092118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29169] ppid=29154 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29169/stat : 29169 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14420930560 10232 33554432000 4194304 4196468 140735379625872 139963099166944 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29170] ppid=29154 vsize=14082940 memory=140541054752384 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29170/stat : 29170 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587552 14420930560 10232 33554432000 4194304 4196468 140735379625872 139963098115248 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42384 KiB

[startup+0.310512 s]*
/proc/loadavg: 2.49 2.13 2.00 4/217 29170
/proc/meminfo: memFree=15185844/32770624 swapFree=67108792/67108860
[pid=29154] ppid=29151 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223587543 115843072 364 33554432000 4194304 5098028 140736555657216 140736555655320 139747880395388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12029952 140736555664442 140736555664644 140736555664644 140736555667402 0
/proc/29154/statm: 28282 364 306 221 0 87 0
[pid=29156] ppid=29154 vsize=14087196 memory=46648 CPUtime=0.48 cores=0,2,4,6
/proc/29156/stat : 29156 (java) S 29154 29154 24759 0 -1 1077944320 8864 0 0 0 45 3 0 0 20 0 15 0 223587543 14425288704 11662 33554432000 4194304 4196468 140735379625872 140735379608416 139964127080183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
/proc/29156/statm: 3521799 11662 3217 1 0 3483012 0
[pid=29156/tid=29157] ppid=29154 vsize=14087196 memory=8514701219881125278 CPUtime=0.27 cores=0,2,4,6
/proc/29156/task/29157/stat : 29157 (java) R 29154 29154 24759 0 -1 4202560 5889 0 0 0 25 2 0 0 20 0 15 0 223587543 14425288704 11662 33554432000 4194304 4196468 140735379625872 139964131312560 139964127101530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29158] ppid=29154 vsize=14087196 memory=3472468669949904080 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29158/stat : 29158 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14425288704 11662 33554432000 4194304 4196468 140735379625872 139964064680592 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29159] ppid=29154 vsize=14087196 memory=140541054752384 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29159/stat : 29159 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14425288704 11662 33554432000 4194304 4196468 140735379625872 139964063627792 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29160] ppid=29154 vsize=14087196 memory=17 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29160/stat : 29160 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14425288704 11662 33554432000 4194304 4196468 140735379625872 139964062574992 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29161] ppid=29154 vsize=14087196 memory=140540926634015 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29161/stat : 29161 (java) S 29154 29154 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223587544 14425288704 11662 33554432000 4194304 4196468 140735379625872 139964061522192 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29162] ppid=29154 vsize=14087196 memory=281081853228800 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29162/stat : 29162 (java) S 29154 29154 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223587546 14425288704 11662 33554432000 4194304 4196468 140735379625872 139963106536304 139964127091330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29163] ppid=29154 vsize=14087196 memory=140540926610959 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29163/stat : 29163 (java) S 29154 29154 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223587546 14425288704 11662 33554432000 4194304 4196468 140735379625872 139963105482272 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29164] ppid=29154 vsize=14087196 memory=281081981372512 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29164/stat : 29164 (java) S 29154 29154 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223587546 14425288704 11662 33554432000 4194304 4196468 140735379625872 139963104429424 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29165] ppid=29154 vsize=14087196 memory=140540926615567 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29165/stat : 29165 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14425288704 11662 33554432000 4194304 4196468 140735379625872 139963103377744 139964127098779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29166] ppid=29154 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/29156/task/29166/stat : 29166 (java) S 29154 29154 24759 0 -1 1077944384 581 0 0 0 4 0 0 0 20 0 15 0 223587549 14425288704 11662 33554432000 4194304 4196468 140735379625872 139963102325104 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29167] ppid=29154 vsize=14087196 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29156/task/29167/stat : 29167 (java) S 29154 29154 24759 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 223587549 14425288704 11662 33554432000 4194304 4196468 140735379625872 139963101272304 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29168] ppid=29154 vsize=14087196 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/29156/task/29168/stat : 29168 (java) R 29154 29154 24759 0 -1 1077944384 877 0 0 0 11 0 0 0 20 0 15 0 223587549 14425288704 11662 33554432000 4194304 4196468 140735379625872 139963100219504 139964127091330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29169] ppid=29154 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29169/stat : 29169 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14425288704 11662 33554432000 4194304 4196468 140735379625872 139963099166944 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29170] ppid=29154 vsize=14087196 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29170/stat : 29170 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587552 14425288704 11662 33554432000 4194304 4196468 140735379625872 139963098115248 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48104 KiB

[startup+0.700914 s]
/proc/loadavg: 2.49 2.13 2.00 6/217 29170
/proc/meminfo: memFree=15163484/32770624 swapFree=67108792/67108860
[pid=29154] ppid=29151 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223587543 115843072 364 33554432000 4194304 5098028 140736555657216 140736555655320 139747880395388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12029952 140736555664442 140736555664644 140736555664644 140736555667402 0
/proc/29154/statm: 28282 364 306 221 0 87 0
[pid=29156] ppid=29154 vsize=14089320 memory=97248 CPUtime=1.67 cores=0,2,4,6
/proc/29156/stat : 29156 (java) S 29154 29154 24759 0 -1 1077944320 12884 0 0 0 162 5 0 0 20 0 15 0 223587543 14427463680 24312 33554432000 4194304 4196468 140735379625872 140735379608416 139964127080183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
/proc/29156/statm: 3522330 24312 3355 1 0 3483524 0
[pid=29156/tid=29157] ppid=29154 vsize=14089320 memory=7372786582024121444 CPUtime=0.64 cores=0,2,4,6
/proc/29156/task/29157/stat : 29157 (java) R 29154 29154 24759 0 -1 4202560 6848 0 0 0 61 3 0 0 20 0 15 0 223587543 14427463680 24312 33554432000 4194304 4196468 140735379625872 139964131306448 139964119758197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29158] ppid=29154 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29158/stat : 29158 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14427463680 24312 33554432000 4194304 4196468 140735379625872 139964064680592 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29159] ppid=29154 vsize=14089320 memory=5859271421084521832 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29159/stat : 29159 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14427463680 24312 33554432000 4194304 4196468 140735379625872 139964063627792 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29160] ppid=29154 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29160/stat : 29160 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587544 14427463680 24312 33554432000 4194304 4196468 140735379625872 139964062574992 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29161] ppid=29154 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29161/stat : 29161 (java) S 29154 29154 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223587544 14427463680 24312 33554432000 4194304 4196468 140735379625872 139964061522192 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29162] ppid=29154 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29162/stat : 29162 (java) S 29154 29154 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223587546 14427463680 24312 33554432000 4194304 4196468 140735379625872 139963106536304 139964127091330 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29163] ppid=29154 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29163/stat : 29163 (java) S 29154 29154 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223587546 14427463680 24312 33554432000 4194304 4196468 140735379625872 139963105482272 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29164] ppid=29154 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29164/stat : 29164 (java) S 29154 29154 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223587546 14427463680 24312 33554432000 4194304 4196468 140735379625872 139963104429424 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29165] ppid=29154 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29165/stat : 29165 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14427463680 24312 33554432000 4194304 4196468 140735379625872 139963103377744 139964127098779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29166] ppid=29154 vsize=14089320 memory=60816 CPUtime=0.31 cores=0,2,4,6
/proc/29156/task/29166/stat : 29166 (java) S 29154 29154 24759 0 -1 1077944384 1449 0 0 0 31 0 0 0 20 0 15 0 223587549 14427463680 24312 33554432000 4194304 4196468 140735379625872 139963102325104 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29167] ppid=29154 vsize=14089320 memory=1220 CPUtime=0.34 cores=0,2,4,6
/proc/29156/task/29167/stat : 29167 (java) S 29154 29154 24759 0 -1 1077944384 1354 0 0 0 34 0 0 0 20 0 15 0 223587549 14427463680 24312 33554432000 4194304 4196468 140735379625872 139963101272304 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29168] ppid=29154 vsize=14089320 memory=2380 CPUtime=0.35 cores=0,2,4,6
/proc/29156/task/29168/stat : 29168 (java) R 29154 29154 24759 0 -1 4202560 1924 0 0 0 34 1 0 0 20 0 15 0 223587549 14427463680 24312 33554432000 4194304 4196468 140735379625872 139963100217296 139964106215762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29169] ppid=29154 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29169/stat : 29169 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14427463680 24312 33554432000 4194304 4196468 140735379625872 139963099166944 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29170] ppid=29154 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29170/stat : 29170 (java) S 29154 29154 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223587552 14427463680 24312 33554432000 4194304 4196468 140735379625872 139963098115248 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 98704 KiB

[startup+1.50081 s]
/proc/loadavg: 2.49 2.13 2.00 5/217 29170
/proc/meminfo: memFree=15080392/32770624 swapFree=67108792/67108860
[pid=29154] ppid=29151 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223587543 115843072 364 33554432000 4194304 5098028 140736555657216 140736555655320 139747880395388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12029952 140736555664442 140736555664644 140736555664644 140736555667402 0
/proc/29154/statm: 28282 364 306 221 0 87 0

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

/proc/29156/task/29164/stat : 29164 (java) S 29154 29154 24759 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 223587546 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963104429440 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29165] ppid=29154 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29165/stat : 29165 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963103377744 139964127098779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29166] ppid=29154 vsize=14091368 memory=511144 CPUtime=4.38 cores=0,2,4,6
/proc/29156/task/29166/stat : 29166 (java) S 29154 29154 24759 0 -1 1077944384 32447 0 0 0 434 4 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963102325104 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29167] ppid=29154 vsize=14091368 memory=1456 CPUtime=4.92 cores=0,2,4,6
/proc/29156/task/29167/stat : 29167 (java) S 29154 29154 24759 0 -1 1077944384 30686 0 0 0 489 3 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963101272304 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29168] ppid=29154 vsize=14091368 memory=1456 CPUtime=0.89 cores=0,2,4,6
/proc/29156/task/29168/stat : 29168 (java) S 29154 29154 24759 0 -1 1077944384 14093 0 0 0 87 2 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963100219504 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29169] ppid=29154 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29169/stat : 29169 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963099166944 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29170] ppid=29154 vsize=14091368 memory=511144 CPUtime=0.76 cores=0,2,4,6
/proc/29156/task/29170/stat : 29170 (java) S 29154 29154 24759 0 -1 1077944384 1452 0 0 0 38 38 0 0 20 0 15 0 223587552 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963098115248 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
Current children cumulated CPU time: 2393.77 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 512600 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 2/196 29316
/proc/meminfo: memFree=15380548/32770624 swapFree=67108792/67108860
[pid=29154] ppid=29151 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223587543 115843072 364 33554432000 4194304 5098028 140736555657216 140736555655320 139747880395388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12029952 140736555664442 140736555664644 140736555664644 140736555667402 0
/proc/29154/statm: 28282 364 306 221 0 87 0
[pid=29156] ppid=29154 vsize=14091368 memory=511144 CPUtime=2453.78 cores=0,2,4,6
/proc/29156/stat : 29156 (java) S 29154 29154 24759 0 -1 1077944320 113574 0 0 0 245316 62 0 0 20 0 15 0 223587543 14429560832 127786 33554432000 4194304 4196468 140735379625872 140735379608416 139964127080183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
/proc/29156/statm: 3522842 127786 3442 1 0 3484036 0
[pid=29156/tid=29157] ppid=29154 vsize=14091368 memory=511144 CPUtime=2440.91 cores=0,2,4,6
/proc/29156/task/29157/stat : 29157 (java) R 29154 29154 24759 0 -1 4202560 24346 0 0 0 244084 7 0 0 20 0 15 0 223587543 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964131316672 139963748224547 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29158] ppid=29154 vsize=14091368 memory=511144 CPUtime=0.23 cores=0,2,4,6
/proc/29156/task/29158/stat : 29158 (java) S 29154 29154 24759 0 -1 1077944384 568 0 0 0 22 1 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964064680592 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29159] ppid=29154 vsize=14091368 memory=1456 CPUtime=0.24 cores=0,2,4,6
/proc/29156/task/29159/stat : 29159 (java) S 29154 29154 24759 0 -1 1077944384 1888 0 0 0 23 1 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964063627792 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29160] ppid=29154 vsize=14091368 memory=511144 CPUtime=0.24 cores=0,2,4,6
/proc/29156/task/29160/stat : 29160 (java) S 29154 29154 24759 0 -1 1077944384 1980 0 0 0 22 2 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964062574992 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29161] ppid=29154 vsize=14091368 memory=511144 CPUtime=0.24 cores=0,2,4,6
/proc/29156/task/29161/stat : 29161 (java) S 29154 29154 24759 0 -1 1077944384 1319 0 0 0 22 2 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964061522192 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29162] ppid=29154 vsize=14091368 memory=1168 CPUtime=0.84 cores=0,2,4,6
/proc/29156/task/29162/stat : 29162 (java) S 29154 29154 24759 0 -1 1077944384 3336 0 0 0 81 3 0 0 20 0 15 0 223587546 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963106536304 139964127091330 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29163] ppid=29154 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29163/stat : 29163 (java) S 29154 29154 24759 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 223587546 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963105482336 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29164] ppid=29154 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29164/stat : 29164 (java) S 29154 29154 24759 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 223587546 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963104429440 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29165] ppid=29154 vsize=14091368 memory=511144 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29165/stat : 29165 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963103377744 139964127098779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29166] ppid=29154 vsize=14091368 memory=511144 CPUtime=4.38 cores=0,2,4,6
/proc/29156/task/29166/stat : 29166 (java) S 29154 29154 24759 0 -1 1077944384 32449 0 0 0 434 4 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963102325104 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29167] ppid=29154 vsize=14091368 memory=1456 CPUtime=4.92 cores=0,2,4,6
/proc/29156/task/29167/stat : 29167 (java) S 29154 29154 24759 0 -1 1077944384 30688 0 0 0 489 3 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963101272304 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29168] ppid=29154 vsize=14091368 memory=1456 CPUtime=0.89 cores=0,2,4,6
/proc/29156/task/29168/stat : 29168 (java) S 29154 29154 24759 0 -1 1077944384 14096 0 0 0 87 2 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963100219504 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29169] ppid=29154 vsize=14091368 memory=511144 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29169/stat : 29169 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963099166944 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29170] ppid=29154 vsize=14091368 memory=511144 CPUtime=0.78 cores=0,2,4,6
/proc/29156/task/29170/stat : 29170 (java) S 29154 29154 24759 0 -1 1077944384 1476 0 0 0 39 39 0 0 20 0 15 0 223587552 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963098115248 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
Current children cumulated CPU time: 2453.78 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 512600 KiB

[startup+2502.3 s]
/proc/loadavg: 1.37 1.84 1.98 2/196 29317
/proc/meminfo: memFree=15381448/32770624 swapFree=67108792/67108860
[pid=29154] ppid=29151 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223587543 115843072 364 33554432000 4194304 5098028 140736555657216 140736555655320 139747880395388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12029952 140736555664442 140736555664644 140736555664644 140736555667402 0
/proc/29154/statm: 28282 364 306 221 0 87 0
[pid=29156] ppid=29154 vsize=14091368 memory=511144 CPUtime=2513.78 cores=0,2,4,6
/proc/29156/stat : 29156 (java) S 29154 29154 24759 0 -1 1077944320 113757 0 0 0 251316 62 0 0 20 0 15 0 223587543 14429560832 127786 33554432000 4194304 4196468 140735379625872 140735379608416 139964127080183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
/proc/29156/statm: 3522842 127786 3442 1 0 3484036 0
[pid=29156/tid=29157] ppid=29154 vsize=14091368 memory=511144 CPUtime=2500.9 cores=0,2,4,6
/proc/29156/task/29157/stat : 29157 (java) R 29154 29154 24759 0 -1 4202560 24494 0 0 0 250083 7 0 0 20 0 15 0 223587543 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964131316672 139963749348216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29158] ppid=29154 vsize=14091368 memory=1456 CPUtime=0.23 cores=0,2,4,6
/proc/29156/task/29158/stat : 29158 (java) S 29154 29154 24759 0 -1 1077944384 568 0 0 0 22 1 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964064680592 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29159] ppid=29154 vsize=14091368 memory=511144 CPUtime=0.24 cores=0,2,4,6
/proc/29156/task/29159/stat : 29159 (java) S 29154 29154 24759 0 -1 1077944384 1888 0 0 0 23 1 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964063627792 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29160] ppid=29154 vsize=14091368 memory=1456 CPUtime=0.24 cores=0,2,4,6
/proc/29156/task/29160/stat : 29160 (java) S 29154 29154 24759 0 -1 1077944384 1980 0 0 0 22 2 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964062574992 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29161] ppid=29154 vsize=14091368 memory=1456 CPUtime=0.24 cores=0,2,4,6
/proc/29156/task/29161/stat : 29161 (java) S 29154 29154 24759 0 -1 1077944384 1319 0 0 0 22 2 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964061522192 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29162] ppid=29154 vsize=14091368 memory=1456 CPUtime=0.84 cores=0,2,4,6
/proc/29156/task/29162/stat : 29162 (java) S 29154 29154 24759 0 -1 1077944384 3342 0 0 0 81 3 0 0 20 0 15 0 223587546 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963106536304 139964127091330 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29163] ppid=29154 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29163/stat : 29163 (java) S 29154 29154 24759 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 223587546 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963105482336 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29164] ppid=29154 vsize=14091368 memory=511144 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29164/stat : 29164 (java) S 29154 29154 24759 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 223587546 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963104429440 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29165] ppid=29154 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29165/stat : 29165 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963103377744 139964127098779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29166] ppid=29154 vsize=14091368 memory=1456 CPUtime=4.38 cores=0,2,4,6
/proc/29156/task/29166/stat : 29166 (java) S 29154 29154 24759 0 -1 1077944384 32451 0 0 0 434 4 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963102325104 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29167] ppid=29154 vsize=14091368 memory=8564 CPUtime=4.92 cores=0,2,4,6
/proc/29156/task/29167/stat : 29167 (java) S 29154 29154 24759 0 -1 1077944384 30690 0 0 0 489 3 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963101272304 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29168] ppid=29154 vsize=14091368 memory=1800 CPUtime=0.89 cores=0,2,4,6
/proc/29156/task/29168/stat : 29168 (java) S 29154 29154 24759 0 -1 1077944384 14099 0 0 0 87 2 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963100219504 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29169] ppid=29154 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29169/stat : 29169 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963099166944 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29170] ppid=29154 vsize=14091368 memory=1456 CPUtime=0.79 cores=0,2,4,6
/proc/29156/task/29170/stat : 29170 (java) S 29154 29154 24759 0 -1 1077944384 1498 0 0 0 40 39 0 0 20 0 15 0 223587552 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963098115248 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
Current children cumulated CPU time: 2513.78 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 512600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508.6 s]
/proc/loadavg: 1.31 1.81 1.97 2/196 29317
/proc/meminfo: memFree=15381448/32770624 swapFree=67108792/67108860
[pid=29154] ppid=29151 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (xcsp3-exec) S 29151 29154 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223587543 115843072 364 33554432000 4194304 5098028 140736555657216 140736555655320 139747880395388 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12029952 140736555664442 140736555664644 140736555664644 140736555667402 0
/proc/29154/statm: 28282 364 306 221 0 87 0
[pid=29156] ppid=29154 vsize=14091368 memory=511144 CPUtime=2520.09 cores=0,2,4,6
/proc/29156/stat : 29156 (java) S 29154 29154 24759 0 -1 1077944320 113757 0 0 0 251946 63 0 0 20 0 15 0 223587543 14429560832 127786 33554432000 4194304 4196468 140735379625872 140735379608416 139964127080183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
/proc/29156/statm: 3522842 127786 3442 1 0 3484036 0
[pid=29156/tid=29157] ppid=29154 vsize=14091368 memory=2192 CPUtime=2507.19 cores=0,2,4,6
/proc/29156/task/29157/stat : 29157 (java) R 29154 29154 24759 0 -1 4202560 24494 0 0 0 250712 7 0 0 20 0 15 0 223587543 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964131316672 139963749348308 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29158] ppid=29154 vsize=14091368 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/29156/task/29158/stat : 29158 (java) S 29154 29154 24759 0 -1 1077944384 568 0 0 0 22 1 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964064680592 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29159] ppid=29154 vsize=14091368 memory=288230596050944315 CPUtime=0.24 cores=0,2,4,6
/proc/29156/task/29159/stat : 29159 (java) S 29154 29154 24759 0 -1 1077944384 1888 0 0 0 23 1 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964063627792 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29160] ppid=29154 vsize=14091368 memory=14133342345892558 CPUtime=0.24 cores=0,2,4,6
/proc/29156/task/29160/stat : 29160 (java) S 29154 29154 24759 0 -1 1077944384 1980 0 0 0 22 2 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964062574992 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29161] ppid=29154 vsize=14091368 memory=288230574492221466 CPUtime=0.24 cores=0,2,4,6
/proc/29156/task/29161/stat : 29161 (java) S 29154 29154 24759 0 -1 1077944384 1319 0 0 0 22 2 0 0 20 0 15 0 223587544 14429560832 127786 33554432000 4194304 4196468 140735379625872 139964061522192 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29162] ppid=29154 vsize=14091368 memory=303430244793319739 CPUtime=0.84 cores=0,2,4,6
/proc/29156/task/29162/stat : 29162 (java) S 29154 29154 24759 0 -1 1077944384 3342 0 0 0 81 3 0 0 20 0 15 0 223587546 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963106536304 139964127091330 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29163] ppid=29154 vsize=14091368 memory=14133342345892558 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29163/stat : 29163 (java) S 29154 29154 24759 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 223587546 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963105482336 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29164] ppid=29154 vsize=14091368 memory=3888 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29164/stat : 29164 (java) S 29154 29154 24759 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 223587546 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963104429440 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29165] ppid=29154 vsize=14091368 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29165/stat : 29165 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963103377744 139964127098779 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29166] ppid=29154 vsize=14091368 memory=1800 CPUtime=4.38 cores=0,2,4,6
/proc/29156/task/29166/stat : 29166 (java) S 29154 29154 24759 0 -1 1077944384 32451 0 0 0 434 4 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963102325104 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29167] ppid=29154 vsize=14091368 memory=1264 CPUtime=4.92 cores=0,2,4,6
/proc/29156/task/29167/stat : 29167 (java) S 29154 29154 24759 0 -1 1077944384 30690 0 0 0 489 3 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963101272304 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29168] ppid=29154 vsize=14091368 memory=89 CPUtime=0.89 cores=0,2,4,6
/proc/29156/task/29168/stat : 29168 (java) S 29154 29154 24759 0 -1 1077944384 14099 0 0 0 87 2 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963100219504 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29169] ppid=29154 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29156/task/29169/stat : 29169 (java) S 29154 29154 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223587549 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963099166944 139964127090389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
[pid=29156/tid=29170] ppid=29154 vsize=14091368 memory=511144 CPUtime=0.79 cores=0,2,4,6
/proc/29156/task/29170/stat : 29170 (java) S 29154 29154 24759 0 -1 1077944384 1498 0 0 0 40 39 0 0 20 0 15 0 223587552 14429560832 127786 33554432000 4194304 4196468 140735379625872 139963098115248 139964127091330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 26042368 140735379629190 140735379629361 140735379629361 140735379632079 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 512600 KiB

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

[startup+2508.61 s]
# the end of solver process 29154 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001105 s, system=0.001105 s

[startup+2508.61 s]
# the end of solver process 29156 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.47 s, system=0.637107 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

Child status: 143
Real time (s): 2508.61
CPU time (s): 2520.11
CPU user time (s): 2519.47
CPU system time (s): 0.637107
CPU usage (%): 100.458
Max. virtual memory (cumulated for all children) (KiB): 14206432
Max. memory (cumulated for all children) (KiB): 512600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.47
system time used= 0.637107
maximum resident set size= 511556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114774
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58009
involuntary context switches= 2635


# summary of solver processes directly reported to runsolver:
#   pid: 29154,29156
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2519.47
#   total CPU system time (s): 0.637107

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8394 second user time and 21.6362 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
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2520.14
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 4307013

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
