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)	OPT	394	11.8578	5.43128
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 (8029 MiB free)
  memory of node 1: 16384 MiB (8773 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306992-1534061498/watcher-4306992-1534061498 -o /tmp/evaluation-result-4306992-1534061498/solver-4306992-1534061498 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534061498-20178 --watchdog 2580 HOME/xcsp3-exec -seed 327713996 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306992-1534061498.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=20209, runsolver pid=20203

[startup+0.100168 s]*
/proc/loadavg: 0.57 0.65 0.85 4/220 20241
/proc/meminfo: memFree=17174588/32770624 swapFree=67058736/67108860
[pid=20209] ppid=20203 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20209/stat : 20209 (xcsp3-exec) S 20203 20209 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713053 115843072 363 33554432000 4194304 5098028 140727298972688 140727298970792 140407114523260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35176448 140727298974779 140727298974980 140727298974980 140727298977738 0
/proc/20209/statm: 28282 363 306 221 0 87 0
[pid=20213] ppid=20209 vsize=14082940 memory=27748 CPUtime=0.12 cores=0,2,4,6
/proc/20213/stat : 20213 (java) S 20209 20209 15060 0 -1 1077944320 5347 0 0 0 11 1 0 0 20 0 15 0 223713053 14420930560 6937 33554432000 4194304 4196468 140720719878032 140720719860576 140467543363319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
/proc/20213/statm: 3520735 6937 3008 1 0 3483012 0
[pid=20213/tid=20215] ppid=20209 vsize=14082940 memory=4351193298085250190 CPUtime=0.08 cores=0,2,4,6
/proc/20213/task/20215/stat : 20215 (java) R 20209 20209 15060 0 -1 4202560 3318 0 0 0 8 0 0 0 20 0 15 0 223713053 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467547595648 140467543375254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20216] ppid=20209 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20216/stat : 20216 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713054 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467510921744 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20218] ppid=20209 vsize=14082940 memory=140601837975168 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20218/stat : 20218 (java) S 20209 20209 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713054 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467138132624 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20221] ppid=20209 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20221/stat : 20221 (java) S 20209 20209 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713054 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467137079568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20223] ppid=20209 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20223/stat : 20223 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713054 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467136027024 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20225] ppid=20209 vsize=14082940 memory=140601837975168 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20225/stat : 20225 (java) S 20209 20209 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713055 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467017554672 140467543374466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20226] ppid=20209 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20226/stat : 20226 (java) S 20209 20209 15060 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223713056 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467016500896 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20228] ppid=20209 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20228/stat : 20228 (java) S 20209 20209 15060 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223713056 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467015447792 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20230] ppid=20209 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20230/stat : 20230 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467014396368 140467543381915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20231] ppid=20209 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20231/stat : 20231 (java) S 20209 20209 15060 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 223713058 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467013343472 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20232] ppid=20209 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20232/stat : 20232 (java) S 20209 20209 15060 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 223713058 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467012290928 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20233] ppid=20209 vsize=14082940 memory=140601837975168 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20233/stat : 20233 (java) R 20209 20209 15060 0 -1 4202560 291 0 0 0 1 0 0 0 20 0 15 0 223713058 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467011237872 140467543375254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20238] ppid=20209 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20238/stat : 20238 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467010185568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20240] ppid=20209 vsize=14082940 memory=140601837975168 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20240/stat : 20240 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713059 14420930560 6937 33554432000 4194304 4196468 140720719878032 140467009133616 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29200 KiB

[startup+0.212995 s]*
/proc/loadavg: 0.57 0.65 0.85 3/220 20241
/proc/meminfo: memFree=17150856/32770624 swapFree=67058736/67108860
[pid=20209] ppid=20203 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20209/stat : 20209 (xcsp3-exec) S 20203 20209 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713053 115843072 363 33554432000 4194304 5098028 140727298972688 140727298970792 140407114523260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35176448 140727298974779 140727298974980 140727298974980 140727298977738 0
/proc/20209/statm: 28282 363 306 221 0 87 0
[pid=20213] ppid=20209 vsize=14082940 memory=40132 CPUtime=0.33 cores=0,2,4,6
/proc/20213/stat : 20213 (java) S 20209 20209 15060 0 -1 1077944320 8022 0 0 0 31 2 0 0 20 0 15 0 223713053 14420930560 10033 33554432000 4194304 4196468 140720719878032 140720719860576 140467543363319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
/proc/20213/statm: 3520735 10033 3206 1 0 3483012 0
[pid=20213/tid=20215] ppid=20209 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/20213/task/20215/stat : 20215 (java) D 20209 20209 15060 0 -1 4202560 4989 0 0 0 18 1 0 0 20 0 15 0 223713053 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467547594240 140467543385245 0 4 0 16800975 18446744071580419588 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20216] ppid=20209 vsize=14082940 memory=12684 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20216/stat : 20216 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713054 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467510921744 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20218] ppid=20209 vsize=14082940 memory=3473882908687562400 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20218/stat : 20218 (java) S 20209 20209 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713054 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467138132624 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20221] ppid=20209 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20221/stat : 20221 (java) S 20209 20209 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713054 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467137079568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20223] ppid=20209 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20223/stat : 20223 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713054 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467136027024 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20225] ppid=20209 vsize=14082940 memory=140601837975168 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20225/stat : 20225 (java) S 20209 20209 15060 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223713055 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467017554672 140467543374466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20226] ppid=20209 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20226/stat : 20226 (java) S 20209 20209 15060 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223713056 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467016500896 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20228] ppid=20209 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20228/stat : 20228 (java) S 20209 20209 15060 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223713056 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467015447792 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20230] ppid=20209 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20230/stat : 20230 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467014396368 140467543381915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20231] ppid=20209 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20213/task/20231/stat : 20231 (java) S 20209 20209 15060 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 223713058 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467013343472 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20232] ppid=20209 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20213/task/20232/stat : 20232 (java) S 20209 20209 15060 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 15 0 223713058 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467012290928 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20233] ppid=20209 vsize=14082940 memory=140601837975168 CPUtime=0.07 cores=0,2,4,6
/proc/20213/task/20233/stat : 20233 (java) S 20209 20209 15060 0 -1 1077944384 858 0 0 0 7 0 0 0 20 0 15 0 223713058 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467011237872 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20238] ppid=20209 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20238/stat : 20238 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467010185568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20240] ppid=20209 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20240/stat : 20240 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713059 14420930560 10033 33554432000 4194304 4196468 140720719878032 140467009133616 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41584 KiB

[startup+0.319641 s]*
/proc/loadavg: 0.57 0.65 0.85 4/220 20241
/proc/meminfo: memFree=17138952/32770624 swapFree=67058736/67108860
[pid=20209] ppid=20203 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20209/stat : 20209 (xcsp3-exec) S 20203 20209 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713053 115843072 363 33554432000 4194304 5098028 140727298972688 140727298970792 140407114523260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35176448 140727298974779 140727298974980 140727298974980 140727298977738 0
/proc/20209/statm: 28282 363 306 221 0 87 0
[pid=20213] ppid=20209 vsize=14087196 memory=45684 CPUtime=0.48 cores=0,2,4,6
/proc/20213/stat : 20213 (java) S 20209 20209 15060 0 -1 1077944320 8758 0 0 0 45 3 0 0 20 0 15 0 223713053 14425288704 11421 33554432000 4194304 4196468 140720719878032 140720719860576 140467543363319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
/proc/20213/statm: 3521799 11421 3225 1 0 3483012 0
[pid=20213/tid=20215] ppid=20209 vsize=14087196 memory=7883960649037381690 CPUtime=0.27 cores=0,2,4,6
/proc/20213/task/20215/stat : 20215 (java) R 20209 20209 15060 0 -1 4202560 5564 0 0 0 25 2 0 0 20 0 15 0 223713053 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467547585232 140467527443806 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20216] ppid=20209 vsize=14087196 memory=13044 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20216/stat : 20216 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713054 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467510921744 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20218] ppid=20209 vsize=14087196 memory=4409078156900958240 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20218/stat : 20218 (java) S 20209 20209 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713054 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467138132624 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20221] ppid=20209 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20221/stat : 20221 (java) S 20209 20209 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713054 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467137079568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20223] ppid=20209 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20223/stat : 20223 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713054 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467136027024 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20225] ppid=20209 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20225/stat : 20225 (java) S 20209 20209 15060 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223713055 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467017554672 140467543374466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20226] ppid=20209 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20226/stat : 20226 (java) S 20209 20209 15060 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223713056 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467016500896 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20228] ppid=20209 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20228/stat : 20228 (java) S 20209 20209 15060 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223713056 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467015447792 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20230] ppid=20209 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20230/stat : 20230 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467014396368 140467543381915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20231] ppid=20209 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20213/task/20231/stat : 20231 (java) S 20209 20209 15060 0 -1 1077944384 439 0 0 0 4 0 0 0 20 0 15 0 223713058 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467013343472 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20232] ppid=20209 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20213/task/20232/stat : 20232 (java) S 20209 20209 15060 0 -1 1077944384 460 0 0 0 3 0 0 0 20 0 15 0 223713058 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467012290928 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20233] ppid=20209 vsize=14087196 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20213/task/20233/stat : 20233 (java) S 20209 20209 15060 0 -1 1077944384 989 0 0 0 11 0 0 0 20 0 15 0 223713058 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467011237872 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20238] ppid=20209 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20238/stat : 20238 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467010185568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20240] ppid=20209 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20240/stat : 20240 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713059 14425288704 11421 33554432000 4194304 4196468 140720719878032 140467009133616 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 47136 KiB

[startup+0.709635 s]
/proc/loadavg: 0.57 0.65 0.85 9/220 20241
/proc/meminfo: memFree=17098760/32770624 swapFree=67058736/67108860
[pid=20209] ppid=20203 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20209/stat : 20209 (xcsp3-exec) S 20203 20209 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713053 115843072 363 33554432000 4194304 5098028 140727298972688 140727298970792 140407114523260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35176448 140727298974779 140727298974980 140727298974980 140727298977738 0
/proc/20209/statm: 28282 363 306 221 0 87 0
[pid=20213] ppid=20209 vsize=14089320 memory=96540 CPUtime=1.65 cores=0,2,4,6
/proc/20213/stat : 20213 (java) S 20209 20209 15060 0 -1 1077944320 12670 0 0 0 161 4 0 0 20 0 15 0 223713053 14427463680 24135 33554432000 4194304 4196468 140720719878032 140720719860576 140467543363319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
/proc/20213/statm: 3522330 24135 3356 1 0 3483524 0
[pid=20213/tid=20215] ppid=20209 vsize=14089320 memory=1788384118017 CPUtime=0.64 cores=0,2,4,6
/proc/20213/task/20215/stat : 20215 (java) R 20209 20209 15060 0 -1 4202560 6377 0 0 0 62 2 0 0 20 0 15 0 223713053 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467547591952 140467527406949 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20216] ppid=20209 vsize=14089320 memory=524 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20216/stat : 20216 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713054 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467510921744 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20218] ppid=20209 vsize=14089320 memory=1528 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20218/stat : 20218 (java) S 20209 20209 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713054 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467138132624 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20221] ppid=20209 vsize=14089320 memory=924 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20221/stat : 20221 (java) S 20209 20209 15060 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223713054 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467137079568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20223] ppid=20209 vsize=14089320 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20223/stat : 20223 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713054 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467136027024 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20225] ppid=20209 vsize=14089320 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20225/stat : 20225 (java) S 20209 20209 15060 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223713055 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467017554672 140467543374466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20226] ppid=20209 vsize=14089320 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20226/stat : 20226 (java) S 20209 20209 15060 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223713056 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467016500896 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20228] ppid=20209 vsize=14089320 memory=812 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20228/stat : 20228 (java) S 20209 20209 15060 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223713056 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467015447792 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20230] ppid=20209 vsize=14089320 memory=1932 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20230/stat : 20230 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467014396368 140467543381915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20231] ppid=20209 vsize=14089320 memory=2076 CPUtime=0.32 cores=0,2,4,6
/proc/20213/task/20231/stat : 20231 (java) R 20209 20209 15060 0 -1 4202560 1329 0 0 0 32 0 0 0 20 0 15 0 223713058 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467013330016 140467524538014 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20232] ppid=20209 vsize=14089320 memory=1840 CPUtime=0.32 cores=0,2,4,6
/proc/20213/task/20232/stat : 20232 (java) R 20209 20209 15060 0 -1 4202560 1453 0 0 0 32 0 0 0 20 0 15 0 223713058 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467012267488 140467526860103 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20233] ppid=20209 vsize=14089320 memory=7904 CPUtime=0.33 cores=0,2,4,6
/proc/20213/task/20233/stat : 20233 (java) R 20209 20209 15060 0 -1 4202560 2202 0 0 0 33 0 0 0 20 0 15 0 223713058 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467011237872 140467535600446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20238] ppid=20209 vsize=14089320 memory=800 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20238/stat : 20238 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467010185568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20240] ppid=20209 vsize=14089320 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20240/stat : 20240 (java) S 20209 20209 15060 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223713059 14427463680 24135 33554432000 4194304 4196468 140720719878032 140467009133616 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 97992 KiB

[startup+1.50164 s]
/proc/loadavg: 0.57 0.65 0.85 8/220 20241
/proc/meminfo: memFree=16962760/32770624 swapFree=67058736/67108860
[pid=20209] ppid=20203 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20209/stat : 20209 (xcsp3-exec) S 20203 20209 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713053 115843072 363 33554432000 4194304 5098028 140727298972688 140727298970792 140407114523260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35176448 140727298974779 140727298974980 140727298974980 140727298977738 0
/proc/20209/statm: 28282 363 306 221 0 87 0

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

/proc/20209/stat : 20209 (xcsp3-exec) S 20203 20209 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713053 115843072 363 33554432000 4194304 5098028 140727298972688 140727298970792 140407114523260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35176448 140727298974779 140727298974980 140727298974980 140727298977738 0
/proc/20209/statm: 28282 363 306 221 0 87 0
[pid=20213] ppid=20209 vsize=14089320 memory=224884 CPUtime=8.36 cores=0,2,4,6
/proc/20213/stat : 20213 (java) S 20209 20209 15060 0 -1 1077944320 28771 0 0 0 826 10 0 0 20 0 15 0 223713053 14427463680 56221 33554432000 4194304 4196468 140720719878032 140720719860576 140467543363319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
/proc/20213/statm: 3522330 56221 3416 1 0 3483524 0
[pid=20213/tid=20215] ppid=20209 vsize=14089320 memory=288230604674433361 CPUtime=3.11 cores=0,2,4,6
/proc/20213/task/20215/stat : 20215 (java) R 20209 20209 15060 0 -1 4202560 8067 0 0 0 306 5 0 0 20 0 15 0 223713053 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467547602440 140467186422672 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20216] ppid=20209 vsize=14089320 memory=1179580 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20216/stat : 20216 (java) S 20209 20209 15060 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467510921744 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20218] ppid=20209 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20218/stat : 20218 (java) S 20209 20209 15060 0 -1 1077944384 624 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467138132624 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20221] ppid=20209 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20221/stat : 20221 (java) S 20209 20209 15060 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467137079568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20223] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20223/stat : 20223 (java) S 20209 20209 15060 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 223713054 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467136027024 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20225] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20225/stat : 20225 (java) S 20209 20209 15060 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 223713055 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467017554672 140467543374466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20226] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20226/stat : 20226 (java) S 20209 20209 15060 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 223713056 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467016500896 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20228] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20228/stat : 20228 (java) S 20209 20209 15060 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 223713056 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467015447792 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20230] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20230/stat : 20230 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467014396368 140467543381915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20231] ppid=20209 vsize=14089320 memory=0 CPUtime=2.25 cores=0,2,4,6
/proc/20213/task/20231/stat : 20231 (java) S 20209 20209 15060 0 -1 1077944384 7385 0 0 0 224 1 0 0 20 0 15 0 223713058 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467013343472 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20232] ppid=20209 vsize=14089320 memory=0 CPUtime=2.2 cores=0,2,4,6
/proc/20213/task/20232/stat : 20232 (java) S 20209 20209 15060 0 -1 1077944384 6351 0 0 0 220 0 0 0 20 0 15 0 223713058 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467012290928 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20233] ppid=20209 vsize=14089320 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/20213/task/20233/stat : 20233 (java) S 20209 20209 15060 0 -1 1077944384 4381 0 0 0 69 1 0 0 20 0 15 0 223713058 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467011237872 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20238] ppid=20209 vsize=14089320 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20238/stat : 20238 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467010185568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20240] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20240/stat : 20240 (java) S 20209 20209 15060 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 223713059 14427463680 56221 33554432000 4194304 4196468 140720719878032 140467009133616 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 226336 KiB

[startup+4.8007 s]
/proc/loadavg: 0.85 0.71 0.87 4/220 20241
/proc/meminfo: memFree=16801928/32770624 swapFree=67058736/67108860
[pid=20209] ppid=20203 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20209/stat : 20209 (xcsp3-exec) S 20203 20209 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713053 115843072 363 33554432000 4194304 5098028 140727298972688 140727298970792 140407114523260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35176448 140727298974779 140727298974980 140727298974980 140727298977738 0
/proc/20209/statm: 28282 363 306 221 0 87 0
[pid=20213] ppid=20209 vsize=14089320 memory=226272 CPUtime=10.74 cores=0,2,4,6
/proc/20213/stat : 20213 (java) S 20209 20209 15060 0 -1 1077944320 29219 0 0 0 1062 12 0 0 20 0 15 0 223713053 14427463680 56568 33554432000 4194304 4196468 140720719878032 140720719860576 140467543363319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
/proc/20213/statm: 3522330 56568 3419 1 0 3483524 0
[pid=20213/tid=20215] ppid=20209 vsize=14089320 memory=71 CPUtime=4.71 cores=0,2,4,6
/proc/20213/task/20215/stat : 20215 (java) R 20209 20209 15060 0 -1 4202560 8125 0 0 0 464 7 0 0 20 0 15 0 223713053 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467547599648 140467187763011 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20216] ppid=20209 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20216/stat : 20216 (java) S 20209 20209 15060 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467510921744 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20218] ppid=20209 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20218/stat : 20218 (java) S 20209 20209 15060 0 -1 1077944384 624 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467138132624 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20221] ppid=20209 vsize=14089320 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20221/stat : 20221 (java) S 20209 20209 15060 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467137079568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20223] ppid=20209 vsize=14089320 memory=205592 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20223/stat : 20223 (java) S 20209 20209 15060 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 223713054 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467136027024 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20225] ppid=20209 vsize=14089320 memory=54 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20225/stat : 20225 (java) S 20209 20209 15060 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 223713055 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467017554672 140467543374466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20226] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20226/stat : 20226 (java) S 20209 20209 15060 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 223713056 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467016500896 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20228] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20228/stat : 20228 (java) S 20209 20209 15060 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 223713056 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467015447792 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20230] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20230/stat : 20230 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467014396368 140467543381915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20231] ppid=20209 vsize=14089320 memory=0 CPUtime=2.55 cores=0,2,4,6
/proc/20213/task/20231/stat : 20231 (java) R 20209 20209 15060 0 -1 4202560 7638 0 0 0 254 1 0 0 20 0 15 0 223713058 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467013343472 140467528471297 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20232] ppid=20209 vsize=14089320 memory=0 CPUtime=2.64 cores=0,2,4,6
/proc/20213/task/20232/stat : 20232 (java) R 20209 20209 15060 0 -1 4202560 6422 0 0 0 264 0 0 0 20 0 15 0 223713058 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467012290928 140467526750224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20233] ppid=20209 vsize=14089320 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/20213/task/20233/stat : 20233 (java) S 20209 20209 15060 0 -1 1077944384 4444 0 0 0 73 1 0 0 20 0 15 0 223713058 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467011237872 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20238] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20238/stat : 20238 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467010185568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20240] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20240/stat : 20240 (java) S 20209 20209 15060 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 223713059 14427463680 56568 33554432000 4194304 4196468 140720719878032 140467009133616 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
Current children cumulated CPU time: 10.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 227724 KiB

[startup+5.20073 s]
/proc/loadavg: 0.85 0.71 0.87 5/220 20241
/proc/meminfo: memFree=16787132/32770624 swapFree=67058736/67108860
[pid=20209] ppid=20203 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20209/stat : 20209 (xcsp3-exec) S 20203 20209 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713053 115843072 363 33554432000 4194304 5098028 140727298972688 140727298970792 140407114523260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35176448 140727298974779 140727298974980 140727298974980 140727298977738 0
/proc/20209/statm: 28282 363 306 221 0 87 0
[pid=20213] ppid=20209 vsize=14089320 memory=233176 CPUtime=11.61 cores=0,2,4,6
/proc/20213/stat : 20213 (java) S 20209 20209 15060 0 -1 1077944320 32903 0 0 0 1147 14 0 0 20 0 15 0 223713053 14427463680 58294 33554432000 4194304 4196468 140720719878032 140720719860576 140467543363319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
/proc/20213/statm: 3522330 58294 3421 1 0 3483524 0
[pid=20213/tid=20215] ppid=20209 vsize=14089320 memory=288230596050944315 CPUtime=5.1 cores=0,2,4,6
/proc/20213/task/20215/stat : 20215 (java) R 20209 20209 15060 0 -1 4202560 8126 0 0 0 502 8 0 0 20 0 15 0 223713053 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467547599256 140467187119749 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20216] ppid=20209 vsize=14089320 memory=14696283776491730 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20216/stat : 20216 (java) S 20209 20209 15060 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467510921744 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20218] ppid=20209 vsize=14089320 memory=2432629212929 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20218/stat : 20218 (java) S 20209 20209 15060 0 -1 1077944384 624 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467138132624 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20221] ppid=20209 vsize=14089320 memory=2458399016705 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20221/stat : 20221 (java) S 20209 20209 15060 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467137079568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20223] ppid=20209 vsize=14089320 memory=2484168820481 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20223/stat : 20223 (java) S 20209 20209 15060 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 223713054 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467136027024 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20225] ppid=20209 vsize=14089320 memory=2514233591553 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20225/stat : 20225 (java) S 20209 20209 15060 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 223713055 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467017554672 140467543374466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20226] ppid=20209 vsize=14089320 memory=2527118493441 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20226/stat : 20226 (java) S 20209 20209 15060 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 223713056 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467016500896 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20228] ppid=20209 vsize=14089320 memory=2531413460737 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20228/stat : 20228 (java) S 20209 20209 15060 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 223713056 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467015447792 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20230] ppid=20209 vsize=14089320 memory=2540003395329 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20230/stat : 20230 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467014396368 140467543381915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20231] ppid=20209 vsize=14089320 memory=2570068166401 CPUtime=2.81 cores=0,2,4,6
/proc/20213/task/20231/stat : 20231 (java) S 20209 20209 15060 0 -1 1077944384 9775 0 0 0 279 2 0 0 20 0 15 0 223713058 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467013343472 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20232] ppid=20209 vsize=14089320 memory=2574363133697 CPUtime=2.86 cores=0,2,4,6
/proc/20213/task/20232/stat : 20232 (java) S 20209 20209 15060 0 -1 1077944384 7953 0 0 0 285 1 0 0 20 0 15 0 223713058 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467012290928 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20233] ppid=20209 vsize=14089320 memory=2587248035329 CPUtime=0.74 cores=0,2,4,6
/proc/20213/task/20233/stat : 20233 (java) S 20209 20209 15060 0 -1 1077944384 4444 0 0 0 73 1 0 0 20 0 15 0 223713058 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467011237872 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20238] ppid=20209 vsize=14089320 memory=2664557446657 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20238/stat : 20238 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467010185568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20240] ppid=20209 vsize=14089320 memory=225492 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20240/stat : 20240 (java) S 20209 20209 15060 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 223713059 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467009133616 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
Current children cumulated CPU time: 11.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 234628 KiB

[startup+5.40071 s]
/proc/loadavg: 0.85 0.71 0.87 5/220 20241
/proc/meminfo: memFree=16787132/32770624 swapFree=67058736/67108860
[pid=20209] ppid=20203 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20209/stat : 20209 (xcsp3-exec) S 20203 20209 15060 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223713053 115843072 363 33554432000 4194304 5098028 140727298972688 140727298970792 140407114523260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35176448 140727298974779 140727298974980 140727298974980 140727298977738 0
/proc/20209/statm: 28282 363 306 221 0 87 0
[pid=20213] ppid=20209 vsize=14089320 memory=233176 CPUtime=11.81 cores=0,2,4,6
/proc/20213/stat : 20213 (java) S 20209 20209 15060 0 -1 1077944320 32903 0 0 0 1167 14 0 0 20 0 15 0 223713053 14427463680 58294 33554432000 4194304 4196468 140720719878032 140720719860576 140467543363319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
/proc/20213/statm: 3522330 58294 3421 1 0 3483524 0
[pid=20213/tid=20215] ppid=20209 vsize=14089320 memory=0 CPUtime=5.3 cores=0,2,4,6
/proc/20213/task/20215/stat : 20215 (java) R 20209 20209 15060 0 -1 4202560 8126 0 0 0 522 8 0 0 20 0 15 0 223713053 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467547599256 140467186841723 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20216] ppid=20209 vsize=14089320 memory=140601727172518 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20216/stat : 20216 (java) S 20209 20209 15060 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467510921744 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20218] ppid=20209 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20218/stat : 20218 (java) S 20209 20209 15060 0 -1 1077944384 624 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467138132624 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20221] ppid=20209 vsize=14089320 memory=-9001733975035308135 CPUtime=0.01 cores=0,2,4,6
/proc/20213/task/20221/stat : 20221 (java) S 20209 20209 15060 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 223713054 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467137079568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20223] ppid=20209 vsize=14089320 memory=7088771780662946468 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20223/stat : 20223 (java) S 20209 20209 15060 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 223713054 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467136027024 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20225] ppid=20209 vsize=14089320 memory=-7385037589438827369 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20225/stat : 20225 (java) S 20209 20209 15060 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 223713055 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467017554672 140467543374466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20226] ppid=20209 vsize=14089320 memory=-7385037589438827369 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20226/stat : 20226 (java) S 20209 20209 15060 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 223713056 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467016500896 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20228] ppid=20209 vsize=14089320 memory=-6586668835053300882 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20228/stat : 20228 (java) S 20209 20209 15060 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 223713056 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467015447792 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20230] ppid=20209 vsize=14089320 memory=-6586668835053300882 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20230/stat : 20230 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467014396368 140467543381915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20231] ppid=20209 vsize=14089320 memory=7684433391216329530 CPUtime=2.81 cores=0,2,4,6
/proc/20213/task/20231/stat : 20231 (java) S 20209 20209 15060 0 -1 1077944384 9775 0 0 0 279 2 0 0 20 0 15 0 223713058 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467013343472 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20232] ppid=20209 vsize=14089320 memory=7684433391216329530 CPUtime=2.86 cores=0,2,4,6
/proc/20213/task/20232/stat : 20232 (java) S 20209 20209 15060 0 -1 1077944384 7953 0 0 0 285 1 0 0 20 0 15 0 223713058 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467012290928 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20233] ppid=20209 vsize=14089320 memory=-7533229591096564640 CPUtime=0.75 cores=0,2,4,6
/proc/20213/task/20233/stat : 20233 (java) S 20209 20209 15060 0 -1 1077944384 4444 0 0 0 74 1 0 0 20 0 15 0 223713058 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467011237872 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20238] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20238/stat : 20238 (java) S 20209 20209 15060 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223713058 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467010185568 140467543373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
[pid=20213/tid=20240] ppid=20209 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20213/task/20240/stat : 20240 (java) S 20209 20209 15060 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 223713059 14427463680 58294 33554432000 4194304 4196468 140720719878032 140467009133616 140467543374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33304576 140720719881350 140720719881521 140720719881521 140720719884239 0
Current children cumulated CPU time: 11.81 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 234628 KiB

Child status: 0
Real time (s): 5.43128
CPU time (s): 11.8578
CPU user time (s): 11.6996
CPU system time (s): 0.158164
CPU usage (%): 218.324
Max. virtual memory (cumulated for all children) (KiB): 14206168
Max. memory (cumulated for all children) (KiB): 238568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6996
system time used= 0.158164
maximum resident set size= 238936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33514
page faults= 0
swaps= 0
block input operations= 1280
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2539
involuntary context switches= 133


# summary of solver processes directly reported to runsolver:
#   pid: 20209
#   total CPU time (s): 11.8578
#   total CPU user time (s): 11.6996
#   total CPU system time (s): 0.158164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059393 second user time and 0.096968 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	11.8578
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4306992

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
