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	46	24.8167	18.5528
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 (6135 MiB free)
  memory of node 1: 16384 MiB (9359 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306996-1534059775/watcher-4306996-1534059775 -o /tmp/evaluation-result-4306996-1534059775/solver-4306996-1534059775 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534039196-6272 --watchdog 2580 HOME/xcsp3-exec -seed 1500727326 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306996-1534059775.xml 

running on 4 cores: 1,3,5,7

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=9191, runsolver pid=9188

[startup+0.108734 s]*
/proc/loadavg: 2.08 2.03 1.98 4/218 9207
/proc/meminfo: memFree=15849208/32770624 swapFree=67108504/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223540692 115843072 363 33554432000 4194304 5098028 140728169040640 140728169038744 139625421587068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140728169043002 140728169043204 140728169043204 140728169045962 0
/proc/9191/statm: 28282 363 306 221 0 87 0
[pid=9193] ppid=9191 vsize=14082940 memory=29260 CPUtime=0.13 cores=1,3,5,7
/proc/9193/stat : 9193 (java) S 9191 9191 4813 0 -1 1077944320 5708 0 0 0 13 0 0 0 20 0 15 0 223540692 14420930560 7315 33554432000 4194304 4196468 140720919228176 140720919210720 140550868541175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
/proc/9193/statm: 3520735 7315 3021 1 0 3483012 0
[pid=9193/tid=9194] ppid=9191 vsize=14082940 memory=8187445851049923419 CPUtime=0.09 cores=1,3,5,7
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 4813 0 -1 4202560 3634 0 0 0 9 0 0 0 20 0 15 0 223540693 14420930560 7315 33554432000 4194304 4196468 140720919228176 140550872772176 140550868553110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9195] ppid=9191 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14420930560 7315 33554432000 4194304 4196468 140720919228176 140550798629904 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9196] ppid=9191 vsize=14082940 memory=140364257699456 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14420930560 7315 33554432000 4194304 4196468 140720919228176 140550797577360 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9197] ppid=9191 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14420930560 7315 33554432000 4194304 4196468 140720919228176 140550796524304 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9198] ppid=9191 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223540694 14420930560 7315 33554432000 4194304 4196468 140720919228176 140550795471760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9199] ppid=9191 vsize=14082940 memory=140364257699456 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223540695 14420930560 7315 33554432000 4194304 4196468 140720919228176 140550342297840 140550868552322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9200] ppid=9191 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223540695 14420930560 7315 33554432000 4194304 4196468 140720919228176 140550341244064 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9201] ppid=9191 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223540696 14420930560 7315 33554432000 4194304 4196468 140720919228176 140550340190960 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9202] ppid=9191 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14420930560 7315 33554432000 4194304 4196468 140720919228176 140550339139536 140550868559771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9203] ppid=9191 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9203/stat : 9203 (java) R 9191 9191 4813 0 -1 4202560 321 0 0 0 0 0 0 0 20 0 15 0 223540698 14420930560 7315 33554432000 4194304 4196468 140720919228176 140550338079312 140550853959120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9204] ppid=9191 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9204/stat : 9204 (java) R 9191 9191 4813 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 223540698 14420930560 7381 33554432000 4194304 4196468 140720919228176 140550337035216 140550868551381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9205] ppid=9191 vsize=14082940 memory=140364257699456 CPUtime=0.02 cores=1,3,5,7
/proc/9193/task/9205/stat : 9205 (java) R 9191 9191 4813 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 15 0 223540698 14420930560 7381 33554432000 4194304 4196468 140720919228176 140550335982064 140550868553110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9206] ppid=9191 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14420930560 7381 33554432000 4194304 4196468 140720919228176 140550334929760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9207] ppid=9191 vsize=14082940 memory=140364257699456 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540698 14420930560 7381 33554432000 4194304 4196468 140720919228176 140550333876784 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30712 KiB

[startup+0.210487 s]*
/proc/loadavg: 2.08 2.03 1.98 5/218 9207
/proc/meminfo: memFree=15839036/32770624 swapFree=67108504/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223540692 115843072 363 33554432000 4194304 5098028 140728169040640 140728169038744 139625421587068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140728169043002 140728169043204 140728169043204 140728169045962 0
/proc/9191/statm: 28282 363 306 221 0 87 0
[pid=9193] ppid=9191 vsize=14082940 memory=40644 CPUtime=0.34 cores=1,3,5,7
/proc/9193/stat : 9193 (java) S 9191 9191 4813 0 -1 1077944320 8188 0 0 0 33 1 0 0 20 0 15 0 223540692 14420930560 10161 33554432000 4194304 4196468 140720919228176 140720919210720 140550868541175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
/proc/9193/statm: 3520735 10161 3204 1 0 3483012 0
[pid=9193/tid=9194] ppid=9191 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 4813 0 -1 4202560 5447 0 0 0 19 1 0 0 20 0 15 0 223540693 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550872776160 140550868563101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9195] ppid=9191 vsize=14082940 memory=11619 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550798629904 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9196] ppid=9191 vsize=14082940 memory=3473034930479179424 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550797577360 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9197] ppid=9191 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550796524304 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9198] ppid=9191 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223540694 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550795471760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9199] ppid=9191 vsize=14082940 memory=140364257699456 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223540695 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550342297840 140550868552322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9200] ppid=9191 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223540695 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550341244064 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9201] ppid=9191 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223540696 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550340190960 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9202] ppid=9191 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550339139536 140550868559771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9203] ppid=9191 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 4813 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 15 0 223540698 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550338087664 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9204] ppid=9191 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 4813 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 15 0 223540698 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550337035120 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9205] ppid=9191 vsize=14082940 memory=140364257699456 CPUtime=0.08 cores=1,3,5,7
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 4813 0 -1 1077944384 756 0 0 0 8 0 0 0 20 0 15 0 223540698 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550335982064 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9206] ppid=9191 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550334929760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9207] ppid=9191 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540698 14420930560 10225 33554432000 4194304 4196468 140720919228176 140550333876784 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42096 KiB

[startup+0.310598 s]*
/proc/loadavg: 2.08 2.03 1.98 3/218 9207
/proc/meminfo: memFree=15832336/32770624 swapFree=67108504/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223540692 115843072 363 33554432000 4194304 5098028 140728169040640 140728169038744 139625421587068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140728169043002 140728169043204 140728169043204 140728169045962 0
/proc/9191/statm: 28282 363 306 221 0 87 0
[pid=9193] ppid=9191 vsize=14087196 memory=47436 CPUtime=0.51 cores=1,3,5,7
/proc/9193/stat : 9193 (java) S 9191 9191 4813 0 -1 1077944320 9080 0 0 0 49 2 0 0 20 0 15 0 223540692 14425288704 11859 33554432000 4194304 4196468 140720919228176 140720919210720 140550868541175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
/proc/9193/statm: 3521799 11859 3237 1 0 3483012 0
[pid=9193/tid=9194] ppid=9191 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 4813 0 -1 4202560 6157 0 0 0 28 1 0 0 20 0 15 0 223540693 14425288704 11859 33554432000 4194304 4196468 140720919228176 140550872772288 140550868563101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9195] ppid=9191 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14425288704 11859 33554432000 4194304 4196468 140720919228176 140550798629904 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9196] ppid=9191 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14425288704 11859 33554432000 4194304 4196468 140720919228176 140550797577360 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9197] ppid=9191 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14425288704 11859 33554432000 4194304 4196468 140720919228176 140550796524304 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9198] ppid=9191 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223540694 14425288704 11859 33554432000 4194304 4196468 140720919228176 140550795471760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9199] ppid=9191 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223540695 14425288704 11859 33554432000 4194304 4196468 140720919228176 140550342297840 140550868552322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9200] ppid=9191 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223540695 14425288704 11859 33554432000 4194304 4196468 140720919228176 140550341244064 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9201] ppid=9191 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223540696 14425288704 11924 33554432000 4194304 4196468 140720919228176 140550340190960 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9202] ppid=9191 vsize=14087196 memory=-8412660965215072671 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14425288704 11924 33554432000 4194304 4196468 140720919228176 140550339139536 140550868559771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9203] ppid=9191 vsize=14087196 memory=-7384621950708166502 CPUtime=0.04 cores=1,3,5,7
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 4813 0 -1 1077944384 474 0 0 0 4 0 0 0 20 0 15 0 223540698 14425288704 11924 33554432000 4194304 4196468 140720919228176 140550338087664 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9204] ppid=9191 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 4813 0 -1 1077944384 240 0 0 0 3 0 0 0 20 0 15 0 223540698 14425288704 11924 33554432000 4194304 4196468 140720919228176 140550337035120 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9205] ppid=9191 vsize=14087196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 4813 0 -1 1077944384 922 0 0 0 13 0 0 0 20 0 15 0 223540698 14425288704 11924 33554432000 4194304 4196468 140720919228176 140550335982064 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9206] ppid=9191 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14425288704 11924 33554432000 4194304 4196468 140720919228176 140550334929760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9207] ppid=9191 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540698 14425288704 11924 33554432000 4194304 4196468 140720919228176 140550333876784 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48888 KiB

[startup+0.706864 s]
/proc/loadavg: 2.08 2.03 1.98 6/218 9207
/proc/meminfo: memFree=15808144/32770624 swapFree=67108504/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223540692 115843072 363 33554432000 4194304 5098028 140728169040640 140728169038744 139625421587068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140728169043002 140728169043204 140728169043204 140728169045962 0
/proc/9191/statm: 28282 363 306 221 0 87 0
[pid=9193] ppid=9191 vsize=14089320 memory=98700 CPUtime=1.77 cores=1,3,5,7
/proc/9193/stat : 9193 (java) S 9191 9191 4813 0 -1 1077944320 12762 0 0 0 174 3 0 0 20 0 15 0 223540692 14427463680 24675 33554432000 4194304 4196468 140720919228176 140720919210720 140550868541175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
/proc/9193/statm: 3522330 24675 3352 1 0 3483524 0
[pid=9193/tid=9194] ppid=9191 vsize=14089320 memory=3472328296227679313 CPUtime=0.67 cores=1,3,5,7
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 4813 0 -1 4202560 6979 0 0 0 65 2 0 0 20 0 15 0 223540693 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550872760496 140550833880328 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9195] ppid=9191 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550798629904 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9196] ppid=9191 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550797577360 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9197] ppid=9191 vsize=14089320 memory=60652 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540694 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550796524304 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9198] ppid=9191 vsize=14089320 memory=1116 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223540694 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550795471760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9199] ppid=9191 vsize=14089320 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223540695 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550342297840 140550868552322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9200] ppid=9191 vsize=14089320 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223540695 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550341244064 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9201] ppid=9191 vsize=14089320 memory=748 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223540696 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550340190960 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9202] ppid=9191 vsize=14089320 memory=1820 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550339139536 140550868559771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9203] ppid=9191 vsize=14089320 memory=4552 CPUtime=0.36 cores=1,3,5,7
/proc/9193/task/9203/stat : 9203 (java) R 9191 9191 4813 0 -1 4202560 1463 0 0 0 36 0 0 0 20 0 15 0 223540698 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550338074688 140550852040145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9204] ppid=9191 vsize=14089320 memory=3732 CPUtime=0.35 cores=1,3,5,7
/proc/9193/task/9204/stat : 9204 (java) R 9191 9191 4813 0 -1 4202560 1065 0 0 0 35 0 0 0 20 0 15 0 223540698 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550337025232 140550852116478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9205] ppid=9191 vsize=14089320 memory=1228 CPUtime=0.35 cores=1,3,5,7
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 4813 0 -1 1077944384 1948 0 0 0 35 0 0 0 20 0 15 0 223540698 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550335982064 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9206] ppid=9191 vsize=14089320 memory=10624 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550334929760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9207] ppid=9191 vsize=14089320 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223540698 14427463680 24675 33554432000 4194304 4196468 140720919228176 140550333876784 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 100152 KiB

[startup+1.5014 s]
/proc/loadavg: 2.08 2.03 1.98 6/218 9207
/proc/meminfo: memFree=15722516/32770624 swapFree=67108504/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223540692 115843072 363 33554432000 4194304 5098028 140728169040640 140728169038744 139625421587068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140728169043002 140728169043204 140728169043204 140728169045962 0
/proc/9191/statm: 28282 363 306 221 0 87 0

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

/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223540692 115843072 363 33554432000 4194304 5098028 140728169040640 140728169038744 139625421587068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140728169043002 140728169043204 140728169043204 140728169045962 0
/proc/9191/statm: 28282 363 306 221 0 87 0
[pid=9193] ppid=9191 vsize=14091368 memory=224336 CPUtime=23.84 cores=1,3,5,7
/proc/9193/stat : 9193 (java) S 9191 9191 4813 0 -1 1077944320 36376 0 0 0 2373 11 0 0 20 0 15 0 223540692 14429560832 56084 33554432000 4194304 4196468 140720919228176 140720919210720 140550868541175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
/proc/9193/statm: 3522842 56084 3420 1 0 3484036 0
[pid=9193/tid=9194] ppid=9191 vsize=14091368 memory=2144 CPUtime=17.27 cores=1,3,5,7
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 4813 0 -1 4202560 9812 0 0 0 1723 4 0 0 20 0 15 0 223540693 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550872779368 140550473065826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9195] ppid=9191 vsize=14091368 memory=1752 CPUtime=0.01 cores=1,3,5,7
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 4813 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550798629904 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9196] ppid=9191 vsize=14091368 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 4813 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550797577360 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9197] ppid=9191 vsize=14091368 memory=60652 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 4813 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550796524304 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9198] ppid=9191 vsize=14091368 memory=1116 CPUtime=0.01 cores=1,3,5,7
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 4813 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550795471760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9199] ppid=9191 vsize=14091368 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 4813 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 223540695 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550342297840 140550868552322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9200] ppid=9191 vsize=14091368 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 4813 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 223540695 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550341244064 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9201] ppid=9191 vsize=14091368 memory=748 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 4813 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 223540696 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550340190960 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9202] ppid=9191 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550339139536 140550868559771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9203] ppid=9191 vsize=14091368 memory=224320 CPUtime=2.71 cores=1,3,5,7
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 4813 0 -1 1077944384 9568 0 0 0 270 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550338087664 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9204] ppid=9191 vsize=14091368 memory=301881776292058728 CPUtime=3.02 cores=1,3,5,7
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 4813 0 -1 1077944384 8660 0 0 0 301 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550337035120 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9205] ppid=9191 vsize=14091368 memory=15118127193519272 CPUtime=0.73 cores=1,3,5,7
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 4813 0 -1 1077944384 5699 0 0 0 72 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550335982064 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9206] ppid=9191 vsize=14091368 memory=280728189662568 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550334929760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9207] ppid=9191 vsize=14091368 memory=280728189662664 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 4813 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550333876784 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
Current children cumulated CPU time: 23.84 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 225788 KiB

[startup+18.0006 s]*
/proc/loadavg: 2.46 2.11 2.00 3/218 9285
/proc/meminfo: memFree=15977312/32770624 swapFree=67108504/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223540692 115843072 363 33554432000 4194304 5098028 140728169040640 140728169038744 139625421587068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140728169043002 140728169043204 140728169043204 140728169045962 0
/proc/9191/statm: 28282 363 306 221 0 87 0
[pid=9193] ppid=9191 vsize=14091368 memory=224336 CPUtime=24.25 cores=1,3,5,7
/proc/9193/stat : 9193 (java) S 9191 9191 4813 0 -1 1077944320 36377 0 0 0 2414 11 0 0 20 0 15 0 223540692 14429560832 56084 33554432000 4194304 4196468 140720919228176 140720919210720 140550868541175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
/proc/9193/statm: 3522842 56084 3420 1 0 3484036 0
[pid=9193/tid=9194] ppid=9191 vsize=14091368 memory=590024538083426421 CPUtime=17.68 cores=1,3,5,7
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 4813 0 -1 4202560 9813 0 0 0 1764 4 0 0 20 0 15 0 223540693 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550872779368 140550480492967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9195] ppid=9191 vsize=14091368 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 4813 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550798629904 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9196] ppid=9191 vsize=14091368 memory=16244027263035032 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 4813 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550797577360 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9197] ppid=9191 vsize=14091368 memory=2106266 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 4813 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550796524304 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9198] ppid=9191 vsize=14091368 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 4813 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550795471760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9199] ppid=9191 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 4813 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 223540695 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550342297840 140550868552322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9200] ppid=9191 vsize=14091368 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 4813 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 223540695 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550341244064 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9201] ppid=9191 vsize=14091368 memory=140364257699456 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 4813 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 223540696 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550340190960 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9202] ppid=9191 vsize=14091368 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550339139536 140550868559771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9203] ppid=9191 vsize=14091368 memory=0 CPUtime=2.71 cores=1,3,5,7
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 4813 0 -1 1077944384 9568 0 0 0 270 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550338087664 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9204] ppid=9191 vsize=14091368 memory=115838975 CPUtime=3.02 cores=1,3,5,7
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 4813 0 -1 1077944384 8660 0 0 0 301 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550337035120 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9205] ppid=9191 vsize=14091368 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 4813 0 -1 1077944384 5699 0 0 0 72 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550335982064 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9206] ppid=9191 vsize=14091368 memory=140364095204083 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550334929760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9207] ppid=9191 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 4813 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550333876784 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
Current children cumulated CPU time: 24.25 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 225788 KiB

[startup+18.4007 s]
/proc/loadavg: 2.46 2.11 2.00 3/218 9285
/proc/meminfo: memFree=15977312/32770624 swapFree=67108504/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223540692 115843072 363 33554432000 4194304 5098028 140728169040640 140728169038744 139625421587068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140728169043002 140728169043204 140728169043204 140728169045962 0
/proc/9191/statm: 28282 363 306 221 0 87 0
[pid=9193] ppid=9191 vsize=14091368 memory=224336 CPUtime=24.64 cores=1,3,5,7
/proc/9193/stat : 9193 (java) S 9191 9191 4813 0 -1 1077944320 36386 0 0 0 2453 11 0 0 20 0 15 0 223540692 14429560832 56084 33554432000 4194304 4196468 140720919228176 140720919210720 140550868541175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
/proc/9193/statm: 3522842 56084 3420 1 0 3484036 0
[pid=9193/tid=9194] ppid=9191 vsize=14091368 memory=224308 CPUtime=18.07 cores=1,3,5,7
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 4813 0 -1 4202560 9822 0 0 0 1803 4 0 0 20 0 15 0 223540693 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550872779368 140550480439474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9195] ppid=9191 vsize=14091368 memory=4552 CPUtime=0.01 cores=1,3,5,7
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 4813 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550798629904 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9196] ppid=9191 vsize=14091368 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 4813 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550797577360 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9197] ppid=9191 vsize=14091368 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 4813 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550796524304 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9198] ppid=9191 vsize=14091368 memory=10624 CPUtime=0.01 cores=1,3,5,7
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 4813 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550795471760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9199] ppid=9191 vsize=14091368 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 4813 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 223540695 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550342297840 140550868552322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9200] ppid=9191 vsize=14091368 memory=2624 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 4813 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 223540695 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550341244064 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9201] ppid=9191 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 4813 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 223540696 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550340190960 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9202] ppid=9191 vsize=14091368 memory=224320 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550339139536 140550868559771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9203] ppid=9191 vsize=14091368 memory=1408 CPUtime=2.71 cores=1,3,5,7
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 4813 0 -1 1077944384 9568 0 0 0 270 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550338087664 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9204] ppid=9191 vsize=14091368 memory=2512 CPUtime=3.02 cores=1,3,5,7
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 4813 0 -1 1077944384 8660 0 0 0 301 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550337035120 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9205] ppid=9191 vsize=14091368 memory=1452 CPUtime=0.73 cores=1,3,5,7
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 4813 0 -1 1077944384 5699 0 0 0 72 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550335982064 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9206] ppid=9191 vsize=14091368 memory=190920 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550334929760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9207] ppid=9191 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 4813 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550333876784 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
Current children cumulated CPU time: 24.64 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 225788 KiB

[startup+18.5007 s]
/proc/loadavg: 2.46 2.11 2.00 3/218 9285
/proc/meminfo: memFree=15977312/32770624 swapFree=67108504/67108860
[pid=9191] ppid=9188 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9191/stat : 9191 (xcsp3-exec) S 9188 9191 4813 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223540692 115843072 363 33554432000 4194304 5098028 140728169040640 140728169038744 139625421587068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30310400 140728169043002 140728169043204 140728169043204 140728169045962 0
/proc/9191/statm: 28282 363 306 221 0 87 0
[pid=9193] ppid=9191 vsize=14091368 memory=224336 CPUtime=24.74 cores=1,3,5,7
/proc/9193/stat : 9193 (java) S 9191 9191 4813 0 -1 1077944320 36386 0 0 0 2463 11 0 0 20 0 15 0 223540692 14429560832 56084 33554432000 4194304 4196468 140720919228176 140720919210720 140550868541175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
/proc/9193/statm: 3522842 56084 3420 1 0 3484036 0
[pid=9193/tid=9194] ppid=9191 vsize=14091368 memory=224336 CPUtime=18.17 cores=1,3,5,7
/proc/9193/task/9194/stat : 9194 (java) R 9191 9191 4813 0 -1 4202560 9822 0 0 0 1813 4 0 0 20 0 15 0 223540693 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550872779368 140550480491758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9195] ppid=9191 vsize=14091368 memory=224336 CPUtime=0.01 cores=1,3,5,7
/proc/9193/task/9195/stat : 9195 (java) S 9191 9191 4813 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550798629904 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9196] ppid=9191 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9196/stat : 9196 (java) S 9191 9191 4813 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550797577360 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9197] ppid=9191 vsize=14091368 memory=224320 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9197/stat : 9197 (java) S 9191 9191 4813 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550796524304 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9198] ppid=9191 vsize=14091368 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9193/task/9198/stat : 9198 (java) S 9191 9191 4813 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 15 0 223540694 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550795471760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9199] ppid=9191 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9199/stat : 9199 (java) S 9191 9191 4813 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 223540695 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550342297840 140550868552322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9200] ppid=9191 vsize=14091368 memory=7662427721656396132 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9200/stat : 9200 (java) S 9191 9191 4813 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 223540695 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550341244064 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9201] ppid=9191 vsize=14091368 memory=224308 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9201/stat : 9201 (java) S 9191 9191 4813 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 223540696 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550340190960 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9202] ppid=9191 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9202/stat : 9202 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550339139536 140550868559771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9203] ppid=9191 vsize=14091368 memory=224252 CPUtime=2.71 cores=1,3,5,7
/proc/9193/task/9203/stat : 9203 (java) S 9191 9191 4813 0 -1 1077944384 9568 0 0 0 270 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550338087664 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9204] ppid=9191 vsize=14091368 memory=6656426216303648864 CPUtime=3.02 cores=1,3,5,7
/proc/9193/task/9204/stat : 9204 (java) S 9191 9191 4813 0 -1 1077944384 8660 0 0 0 301 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550337035120 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9205] ppid=9191 vsize=14091368 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/9193/task/9205/stat : 9205 (java) S 9191 9191 4813 0 -1 1077944384 5699 0 0 0 72 1 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550335982064 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9206] ppid=9191 vsize=14091368 memory=1007 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9206/stat : 9206 (java) S 9191 9191 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550334929760 140550868551381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
[pid=9193/tid=9207] ppid=9191 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9193/task/9207/stat : 9207 (java) S 9191 9191 4813 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 223540698 14429560832 56084 33554432000 4194304 4196468 140720919228176 140550333876784 140550868552322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 7606272 140720919233670 140720919233841 140720919233841 140720919236559 0
Current children cumulated CPU time: 24.74 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 225788 KiB

Child status: 0
Real time (s): 18.5528
CPU time (s): 24.8167
CPU user time (s): 24.6965
CPU system time (s): 0.12023
CPU usage (%): 133.763
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 237516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6965
system time used= 0.12023
maximum resident set size= 236064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38939
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2743
involuntary context switches= 35


# summary of solver processes directly reported to runsolver:
#   pid: 9191
#   total CPU time (s): 24.8167
#   total CPU user time (s): 24.6965
#   total CPU system time (s): 0.12023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.138219 second user time and 0.214799 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml
MD5SUM	78811932529a67bdc61c23a432ac663c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	46
Best CPU time to get the best result obtained on this benchmark	2.11183
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3968
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree	3
Maximum variable degree	64
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	280
Distribution of constraint arities	[{"arity":2,"count":3967},{"arity":280,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	3967
Distribution of constraint types	[{"type":"intension","count":3967},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4306996

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
