2018 XCSP3 competition: sequential solvers tracks competition: execution trace

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306998-1534105310/watcher-4306998-1534105310 -o /tmp/evaluation-result-4306998-1534105310/solver-4306998-1534105310 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580 HOME/xcsp3-exec -seed 1920551423 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306998-1534105310.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=5465, runsolver pid=5462

[startup+0.100149 s]*
/proc/loadavg: 1.95 1.97 1.98 3/217 5481
/proc/meminfo: memFree=16129772/32770624 swapFree=67108796/67108860
[pid=5465] ppid=5462 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5465/stat : 5465 (xcsp3-exec) S 5462 5465 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228094136 115843072 363 33554432000 4194304 5098028 140735139672672 140735139670776 140384830907004 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18972672 140735139677242 140735139677444 140735139677444 140735139680202 0
/proc/5465/statm: 28282 363 305 221 0 87 0
[pid=5467] ppid=5465 vsize=14082940 memory=28768 CPUtime=0.12 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5465 5465 4413 0 -1 1077944320 5544 0 0 0 11 1 0 0 20 0 15 0 228094136 14420930560 7192 33554432000 4194304 4196468 140733931299664 140733931282208 140482299428599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
/proc/5467/statm: 3520735 7192 3024 1 0 3483012 0
[pid=5467/tid=5468] ppid=5465 vsize=14082940 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/5467/task/5468/stat : 5468 (java) R 5465 5465 4413 0 -1 4202560 3566 0 0 0 9 0 0 0 20 0 15 0 228094137 14420930560 7192 33554432000 4194304 4196468 140733931299664 140482303661872 140482299440534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5469] ppid=5465 vsize=14082940 memory=3472468673987396816 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14420930560 7192 33554432000 4194304 4196468 140733931299664 140482214497040 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5470] ppid=5465 vsize=14082940 memory=140545092245120 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14420930560 7192 33554432000 4194304 4196468 140733931299664 140482213444496 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5471] ppid=5465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14420930560 7192 33554432000 4194304 4196468 140733931299664 140482212391952 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5472] ppid=5465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5465 5465 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228094138 14420930560 7192 33554432000 4194304 4196468 140733931299664 140482211339408 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5473] ppid=5465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5465 5465 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228094139 14420930560 7192 33554432000 4194304 4196468 140733931299664 140481480308720 140482299439746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5474] ppid=5465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5465 5465 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228094139 14420930560 7192 33554432000 4194304 4196468 140733931299664 140481479254944 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5475] ppid=5465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5465 5465 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228094140 14420930560 7192 33554432000 4194304 4196468 140733931299664 140481478202352 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5476] ppid=5465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14420930560 7192 33554432000 4194304 4196468 140733931299664 140481477150928 140482299447195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5477] ppid=5465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5465 5465 4413 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 228094142 14420930560 7192 33554432000 4194304 4196468 140733931299664 140481476098544 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5478] ppid=5465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14420930560 7192 33554432000 4194304 4196468 140733931299664 140481475046000 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5479] ppid=5465 vsize=14082940 memory=140545092245120 CPUtime=0.01 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5465 5465 4413 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 228094142 14420930560 7192 33554432000 4194304 4196468 140733931299664 140481473993456 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5480] ppid=5465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14420930560 7192 33554432000 4194304 4196468 140733931299664 140481472941152 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5481] ppid=5465 vsize=14082940 memory=140545092245120 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094142 14420930560 7192 33554432000 4194304 4196468 140733931299664 140481471887664 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30220 KiB

[startup+0.210639 s]*
/proc/loadavg: 1.95 1.97 1.98 4/217 5481
/proc/meminfo: memFree=16117732/32770624 swapFree=67108796/67108860
[pid=5465] ppid=5462 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5465/stat : 5465 (xcsp3-exec) S 5462 5465 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228094136 115843072 363 33554432000 4194304 5098028 140735139672672 140735139670776 140384830907004 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18972672 140735139677242 140735139677444 140735139677444 140735139680202 0
/proc/5465/statm: 28282 363 305 221 0 87 0
[pid=5467] ppid=5465 vsize=14082940 memory=40704 CPUtime=0.34 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5465 5465 4413 0 -1 1077944320 8305 0 0 0 32 2 0 0 20 0 15 0 228094136 14420930560 10176 33554432000 4194304 4196468 140733931299664 140733931282208 140482299428599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
/proc/5467/statm: 3520735 10176 3150 1 0 3483012 0
[pid=5467/tid=5468] ppid=5465 vsize=14082940 memory=4788064525053108374 CPUtime=0.19 cores=1,3,5,7
/proc/5467/task/5468/stat : 5468 (java) R 5465 5465 4413 0 -1 4202560 5455 0 0 0 18 1 0 0 20 0 15 0 228094137 14420930560 10176 33554432000 4194304 4196468 140733931299664 140482303663136 140482299450525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5469] ppid=5465 vsize=14082940 memory=3472468673987396816 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14420930560 10176 33554432000 4194304 4196468 140733931299664 140482214497040 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5470] ppid=5465 vsize=14082940 memory=140545092245120 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14420930560 10176 33554432000 4194304 4196468 140733931299664 140482213444496 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5471] ppid=5465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14420930560 10176 33554432000 4194304 4196468 140733931299664 140482212391952 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5472] ppid=5465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5465 5465 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228094138 14420930560 10176 33554432000 4194304 4196468 140733931299664 140482211339408 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5473] ppid=5465 vsize=14082940 memory=140545092245120 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5465 5465 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 228094139 14420930560 10176 33554432000 4194304 4196468 140733931299664 140481480308720 140482299439746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5474] ppid=5465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5465 5465 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228094139 14420930560 10176 33554432000 4194304 4196468 140733931299664 140481479254944 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5475] ppid=5465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5465 5465 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228094140 14420930560 10176 33554432000 4194304 4196468 140733931299664 140481478202352 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5476] ppid=5465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14420930560 10176 33554432000 4194304 4196468 140733931299664 140481477150928 140482299447195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5477] ppid=5465 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5465 5465 4413 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 228094142 14420930560 10240 33554432000 4194304 4196468 140733931299664 140481476098544 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5478] ppid=5465 vsize=14082940 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5465 5465 4413 0 -1 1077944384 324 0 0 0 3 0 0 0 20 0 15 0 228094142 14420930560 10240 33554432000 4194304 4196468 140733931299664 140481475046000 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5479] ppid=5465 vsize=14082940 memory=140545092245120 CPUtime=0.07 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5465 5465 4413 0 -1 1077944384 787 0 0 0 7 0 0 0 20 0 15 0 228094142 14420930560 10240 33554432000 4194304 4196468 140733931299664 140481473993456 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5480] ppid=5465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14420930560 10240 33554432000 4194304 4196468 140733931299664 140481472941152 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5481] ppid=5465 vsize=14082940 memory=140545092245120 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094142 14420930560 10240 33554432000 4194304 4196468 140733931299664 140481471887664 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42156 KiB

[startup+0.310476 s]*
/proc/loadavg: 1.95 1.97 1.98 4/217 5481
/proc/meminfo: memFree=16111404/32770624 swapFree=67108796/67108860
[pid=5465] ppid=5462 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5465/stat : 5465 (xcsp3-exec) S 5462 5465 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228094136 115843072 363 33554432000 4194304 5098028 140735139672672 140735139670776 140384830907004 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18972672 140735139677242 140735139677444 140735139677444 140735139680202 0
/proc/5465/statm: 28282 363 305 221 0 87 0
[pid=5467] ppid=5465 vsize=14087196 memory=48272 CPUtime=0.52 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5465 5465 4413 0 -1 1077944320 9230 0 0 0 49 3 0 0 20 0 15 0 228094136 14425288704 12068 33554432000 4194304 4196468 140733931299664 140733931282208 140482299428599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
/proc/5467/statm: 3521799 12068 3275 1 0 3483012 0
[pid=5467/tid=5468] ppid=5465 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/5467/task/5468/stat : 5468 (java) R 5465 5465 4413 0 -1 4202560 6173 0 0 0 27 2 0 0 20 0 15 0 228094137 14425288704 12068 33554432000 4194304 4196468 140733931299664 140482303659712 140482283509086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5469] ppid=5465 vsize=14087196 memory=3472468673987396816 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14425288704 12068 33554432000 4194304 4196468 140733931299664 140482214497040 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5470] ppid=5465 vsize=14087196 memory=140545092245120 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14425288704 12068 33554432000 4194304 4196468 140733931299664 140482213444496 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5471] ppid=5465 vsize=14087196 memory=5 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14425288704 12068 33554432000 4194304 4196468 140733931299664 140482212391952 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5472] ppid=5465 vsize=14087196 memory=140544953165855 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5465 5465 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228094138 14425288704 12068 33554432000 4194304 4196468 140733931299664 140482211339408 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5473] ppid=5465 vsize=14087196 memory=281089906292480 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5465 5465 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 228094139 14425288704 12068 33554432000 4194304 4196468 140733931299664 140481480308720 140482299439746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5474] ppid=5465 vsize=14087196 memory=140544953142799 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5465 5465 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228094139 14425288704 12068 33554432000 4194304 4196468 140733931299664 140481479254944 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5475] ppid=5465 vsize=14087196 memory=281090045397088 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5465 5465 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228094140 14425288704 12068 33554432000 4194304 4196468 140733931299664 140481478202352 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5476] ppid=5465 vsize=14087196 memory=140544953147407 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14425288704 12068 33554432000 4194304 4196468 140733931299664 140481477150928 140482299447195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5477] ppid=5465 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5465 5465 4413 0 -1 1077944384 580 0 0 0 4 0 0 0 20 0 15 0 228094142 14425288704 12068 33554432000 4194304 4196468 140733931299664 140481476098544 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5478] ppid=5465 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5465 5465 4413 0 -1 1077944384 336 0 0 0 4 0 0 0 20 0 15 0 228094142 14425288704 12068 33554432000 4194304 4196468 140733931299664 140481475046000 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5479] ppid=5465 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5465 5465 4413 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 15 0 228094142 14425288704 12133 33554432000 4194304 4196468 140733931299664 140481473993456 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5480] ppid=5465 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14425288704 12133 33554432000 4194304 4196468 140733931299664 140481472941152 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5481] ppid=5465 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094142 14425288704 12133 33554432000 4194304 4196468 140733931299664 140481471887664 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49724 KiB

[startup+0.711475 s]
/proc/loadavg: 1.95 1.97 1.98 6/217 5481
/proc/meminfo: memFree=16087384/32770624 swapFree=67108796/67108860
[pid=5465] ppid=5462 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5465/stat : 5465 (xcsp3-exec) S 5462 5465 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228094136 115843072 363 33554432000 4194304 5098028 140735139672672 140735139670776 140384830907004 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18972672 140735139677242 140735139677444 140735139677444 140735139680202 0
/proc/5465/statm: 28282 363 305 221 0 87 0
[pid=5467] ppid=5465 vsize=14089320 memory=104276 CPUtime=1.78 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5465 5465 4413 0 -1 1077944320 12473 0 0 0 173 5 0 0 20 0 15 0 228094136 14427463680 26069 33554432000 4194304 4196468 140733931299664 140733931282208 140482299428599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
/proc/5467/statm: 3522330 26069 3352 1 0 3483524 0
[pid=5467/tid=5468] ppid=5465 vsize=14089320 memory=6154820267226784105 CPUtime=0.68 cores=1,3,5,7
/proc/5467/task/5468/stat : 5468 (java) R 5465 5465 4413 0 -1 4202560 6743 0 0 0 65 3 0 0 20 0 15 0 228094137 14427463680 26069 33554432000 4194304 4196468 140733931299664 140482303662960 140482279626180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5469] ppid=5465 vsize=14089320 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14427463680 26069 33554432000 4194304 4196468 140733931299664 140482214497040 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5470] ppid=5465 vsize=14089320 memory=7228928657758113873 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14427463680 26069 33554432000 4194304 4196468 140733931299664 140482213444496 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5471] ppid=5465 vsize=14089320 memory=7747766295893256779 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094138 14427463680 26069 33554432000 4194304 4196468 140733931299664 140482212391952 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5472] ppid=5465 vsize=14089320 memory=3054156605267021953 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5465 5465 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228094138 14427463680 26069 33554432000 4194304 4196468 140733931299664 140482211339408 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5473] ppid=5465 vsize=14089320 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5465 5465 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 228094139 14427463680 26069 33554432000 4194304 4196468 140733931299664 140481480308720 140482299439746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5474] ppid=5465 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5465 5465 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228094139 14427463680 26069 33554432000 4194304 4196468 140733931299664 140481479254944 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5475] ppid=5465 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5465 5465 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228094140 14427463680 26069 33554432000 4194304 4196468 140733931299664 140481478202352 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5476] ppid=5465 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14427463680 26069 33554432000 4194304 4196468 140733931299664 140481477150928 140482299447195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5477] ppid=5465 vsize=14089320 memory=61992 CPUtime=0.35 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) R 5465 5465 4413 0 -1 4202560 1325 0 0 0 35 0 0 0 20 0 15 0 228094142 14427463680 26069 33554432000 4194304 4196468 140733931299664 140481476091472 140482279596704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5478] ppid=5465 vsize=14089320 memory=2056 CPUtime=0.37 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) R 5465 5465 4413 0 -1 4202560 1154 0 0 0 37 0 0 0 20 0 15 0 228094142 14427463680 26069 33554432000 4194304 4196468 140733931299664 140481475028112 140482278615410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5479] ppid=5465 vsize=14089320 memory=932 CPUtime=0.34 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) R 5465 5465 4413 0 -1 4202560 1942 0 0 0 34 0 0 0 20 0 15 0 228094142 14427463680 26069 33554432000 4194304 4196468 140733931299664 140481473988032 140482278231720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5480] ppid=5465 vsize=14089320 memory=7380063209972523600 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14427463680 26069 33554432000 4194304 4196468 140733931299664 140481472941152 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5481] ppid=5465 vsize=14089320 memory=8025788831307884116 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5465 5465 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228094142 14427463680 26069 33554432000 4194304 4196468 140733931299664 140481471887664 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 105728 KiB

[startup+1.50084 s]
/proc/loadavg: 1.95 1.97 1.98 5/217 5481
/proc/meminfo: memFree=16003064/32770624 swapFree=67108796/67108860
[pid=5465] ppid=5462 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5465/stat : 5465 (xcsp3-exec) S 5462 5465 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228094136 115843072 363 33554432000 4194304 5098028 140735139672672 140735139670776 140384830907004 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18972672 140735139677242 140735139677444 140735139677444 140735139680202 0
/proc/5465/statm: 28282 363 305 221 0 87 0

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

[pid=5467/tid=5473] ppid=5465 vsize=14091368 memory=697064 CPUtime=2.02 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5465 5465 4413 0 -1 1077944384 7311 0 0 0 198 4 0 0 20 0 15 0 228094139 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481480308720 140482299439746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5474] ppid=5465 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5465 5465 4413 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 228094139 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481479255008 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5475] ppid=5465 vsize=14091368 memory=697064 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5465 5465 4413 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 228094140 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481478202368 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5476] ppid=5465 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481477150928 140482299447195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5477] ppid=5465 vsize=14091368 memory=1452 CPUtime=5.11 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5465 5465 4413 0 -1 1077944384 29932 0 0 0 507 4 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481476098544 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5478] ppid=5465 vsize=14091368 memory=1452 CPUtime=5.32 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5465 5465 4413 0 -1 1077944384 34690 0 0 0 529 3 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481475046000 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5479] ppid=5465 vsize=14091368 memory=3632 CPUtime=0.88 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5465 5465 4413 0 -1 1077944384 12671 0 0 0 86 2 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481473993456 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5480] ppid=5465 vsize=14091368 memory=697064 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481472941152 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5481] ppid=5465 vsize=14091368 memory=1452 CPUtime=1.1 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5465 5465 4413 0 -1 1077944384 1487 0 0 0 43 67 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481471887664 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
Current children cumulated CPU time: 2396.09 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 698516 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/217 5654
/proc/meminfo: memFree=16361492/32770624 swapFree=67108796/67108860
[pid=5465] ppid=5462 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5465/stat : 5465 (xcsp3-exec) S 5462 5465 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228094136 115843072 363 33554432000 4194304 5098028 140735139672672 140735139670776 140384830907004 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18972672 140735139677242 140735139677444 140735139677444 140735139680202 0
/proc/5465/statm: 28282 363 305 221 0 87 0
[pid=5467] ppid=5465 vsize=14091368 memory=697064 CPUtime=2456.11 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5465 5465 4413 0 -1 1077944320 116610 0 0 0 245516 95 0 0 20 0 15 0 228094136 14429560832 174266 33554432000 4194304 4196468 140733931299664 140733931282208 140482299428599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
/proc/5467/statm: 3522842 174266 3448 1 0 3484036 0
[pid=5467/tid=5468] ppid=5465 vsize=14091368 memory=1452 CPUtime=2439.78 cores=1,3,5,7
/proc/5467/task/5468/stat : 5468 (java) R 5465 5465 4413 0 -1 4202560 22962 0 0 0 243970 8 0 0 20 0 15 0 228094137 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482303664944 140481896808521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5469] ppid=5465 vsize=14091368 memory=697064 CPUtime=0.45 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) S 5465 5465 4413 0 -1 1077944384 1198 0 0 0 41 4 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482214497040 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5470] ppid=5465 vsize=14091368 memory=697064 CPUtime=0.45 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5465 5465 4413 0 -1 1077944384 992 0 0 0 42 3 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482213444496 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5471] ppid=5465 vsize=14091368 memory=697064 CPUtime=0.45 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5465 5465 4413 0 -1 1077944384 764 0 0 0 42 3 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482212391952 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5472] ppid=5465 vsize=14091368 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5465 5465 4413 0 -1 1077944384 3153 0 0 0 41 5 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482211339408 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5473] ppid=5465 vsize=14091368 memory=697064 CPUtime=2.02 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5465 5465 4413 0 -1 1077944384 7316 0 0 0 198 4 0 0 20 0 15 0 228094139 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481480308720 140482299439746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5474] ppid=5465 vsize=14091368 memory=697064 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5465 5465 4413 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 228094139 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481479255008 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5475] ppid=5465 vsize=14091368 memory=1904 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5465 5465 4413 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 228094140 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481478202368 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5476] ppid=5465 vsize=14091368 memory=697064 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481477150928 140482299447195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5477] ppid=5465 vsize=14091368 memory=1452 CPUtime=5.11 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5465 5465 4413 0 -1 1077944384 29934 0 0 0 507 4 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481476098544 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5478] ppid=5465 vsize=14091368 memory=697064 CPUtime=5.32 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5465 5465 4413 0 -1 1077944384 34694 0 0 0 529 3 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481475046000 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5479] ppid=5465 vsize=14091368 memory=1452 CPUtime=0.88 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5465 5465 4413 0 -1 1077944384 12673 0 0 0 86 2 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481473993456 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5480] ppid=5465 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481472941152 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5481] ppid=5465 vsize=14091368 memory=697064 CPUtime=1.12 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5465 5465 4413 0 -1 1077944384 1511 0 0 0 44 68 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481471887664 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
Current children cumulated CPU time: 2456.11 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 698516 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/217 5655
/proc/meminfo: memFree=16361916/32770624 swapFree=67108796/67108860
[pid=5465] ppid=5462 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5465/stat : 5465 (xcsp3-exec) S 5462 5465 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228094136 115843072 363 33554432000 4194304 5098028 140735139672672 140735139670776 140384830907004 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18972672 140735139677242 140735139677444 140735139677444 140735139680202 0
/proc/5465/statm: 28282 363 305 221 0 87 0
[pid=5467] ppid=5465 vsize=14091368 memory=697064 CPUtime=2516.14 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5465 5465 4413 0 -1 1077944320 116686 0 0 0 251518 96 0 0 20 0 15 0 228094136 14429560832 174266 33554432000 4194304 4196468 140733931299664 140733931282208 140482299428599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
/proc/5467/statm: 3522842 174266 3448 1 0 3484036 0
[pid=5467/tid=5468] ppid=5465 vsize=14091368 memory=697064 CPUtime=2499.78 cores=1,3,5,7
/proc/5467/task/5468/stat : 5468 (java) R 5465 5465 4413 0 -1 4202560 23034 0 0 0 249970 8 0 0 20 0 15 0 228094137 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482303664944 140481896808448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5469] ppid=5465 vsize=14091368 memory=697064 CPUtime=0.45 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) S 5465 5465 4413 0 -1 1077944384 1198 0 0 0 41 4 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482214497040 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5470] ppid=5465 vsize=14091368 memory=697064 CPUtime=0.45 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5465 5465 4413 0 -1 1077944384 992 0 0 0 42 3 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482213444496 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5471] ppid=5465 vsize=14091368 memory=697064 CPUtime=0.45 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5465 5465 4413 0 -1 1077944384 764 0 0 0 42 3 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482212391952 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5472] ppid=5465 vsize=14091368 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5465 5465 4413 0 -1 1077944384 3153 0 0 0 41 5 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482211339408 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5473] ppid=5465 vsize=14091368 memory=697064 CPUtime=2.02 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5465 5465 4413 0 -1 1077944384 7316 0 0 0 198 4 0 0 20 0 15 0 228094139 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481480308720 140482299439746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5474] ppid=5465 vsize=14091368 memory=697064 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5465 5465 4413 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 228094139 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481479255008 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5475] ppid=5465 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5465 5465 4413 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 228094140 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481478202368 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5476] ppid=5465 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481477150928 140482299447195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5477] ppid=5465 vsize=14091368 memory=697064 CPUtime=5.11 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5465 5465 4413 0 -1 1077944384 29934 0 0 0 507 4 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481476098544 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5478] ppid=5465 vsize=14091368 memory=3632 CPUtime=5.32 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5465 5465 4413 0 -1 1077944384 34694 0 0 0 529 3 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481475046000 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5479] ppid=5465 vsize=14091368 memory=62056 CPUtime=0.88 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5465 5465 4413 0 -1 1077944384 12673 0 0 0 86 2 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481473993456 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5480] ppid=5465 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481472941152 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5481] ppid=5465 vsize=14091368 memory=697064 CPUtime=1.14 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5465 5465 4413 0 -1 1077944384 1515 0 0 0 45 69 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481471887664 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
Current children cumulated CPU time: 2516.14 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 698516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/217 5655
/proc/meminfo: memFree=16361916/32770624 swapFree=67108796/67108860
[pid=5465] ppid=5462 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5465/stat : 5465 (xcsp3-exec) S 5462 5465 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228094136 115843072 363 33554432000 4194304 5098028 140735139672672 140735139670776 140384830907004 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18972672 140735139677242 140735139677444 140735139677444 140735139680202 0
/proc/5465/statm: 28282 363 305 221 0 87 0
[pid=5467] ppid=5465 vsize=14091368 memory=697064 CPUtime=2520.04 cores=1,3,5,7
/proc/5467/stat : 5467 (java) S 5465 5465 4413 0 -1 1077944320 116686 0 0 0 251908 96 0 0 20 0 15 0 228094136 14429560832 174266 33554432000 4194304 4196468 140733931299664 140733931282208 140482299428599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
/proc/5467/statm: 3522842 174266 3448 1 0 3484036 0
[pid=5467/tid=5468] ppid=5465 vsize=14091368 memory=13846387007688923 CPUtime=2503.68 cores=1,3,5,7
/proc/5467/task/5468/stat : 5468 (java) R 5465 5465 4413 0 -1 4202560 23034 0 0 0 250360 8 0 0 20 0 15 0 228094137 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482303664944 140481896808683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5469] ppid=5465 vsize=14091368 memory=13846387007688923 CPUtime=0.45 cores=1,3,5,7
/proc/5467/task/5469/stat : 5469 (java) S 5465 5465 4413 0 -1 1077944384 1198 0 0 0 41 4 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482214497040 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5470] ppid=5465 vsize=14091368 memory=496 CPUtime=0.45 cores=1,3,5,7
/proc/5467/task/5470/stat : 5470 (java) S 5465 5465 4413 0 -1 1077944384 992 0 0 0 42 3 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482213444496 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5471] ppid=5465 vsize=14091368 memory=1600 CPUtime=0.45 cores=1,3,5,7
/proc/5467/task/5471/stat : 5471 (java) S 5465 5465 4413 0 -1 1077944384 764 0 0 0 42 3 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482212391952 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5472] ppid=5465 vsize=14091368 memory=932 CPUtime=0.46 cores=1,3,5,7
/proc/5467/task/5472/stat : 5472 (java) S 5465 5465 4413 0 -1 1077944384 3153 0 0 0 41 5 0 0 20 0 15 0 228094138 14429560832 174266 33554432000 4194304 4196468 140733931299664 140482211339408 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5473] ppid=5465 vsize=14091368 memory=3804 CPUtime=2.02 cores=1,3,5,7
/proc/5467/task/5473/stat : 5473 (java) S 5465 5465 4413 0 -1 1077944384 7316 0 0 0 198 4 0 0 20 0 15 0 228094139 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481480308720 140482299439746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5474] ppid=5465 vsize=14091368 memory=3164 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5474/stat : 5474 (java) S 5465 5465 4413 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 228094139 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481479255008 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5475] ppid=5465 vsize=14091368 memory=1244 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5475/stat : 5475 (java) S 5465 5465 4413 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 228094140 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481478202368 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5476] ppid=5465 vsize=14091368 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5476/stat : 5476 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481477150928 140482299447195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5477] ppid=5465 vsize=14091368 memory=1776 CPUtime=5.11 cores=1,3,5,7
/proc/5467/task/5477/stat : 5477 (java) S 5465 5465 4413 0 -1 1077944384 29934 0 0 0 507 4 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481476098544 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5478] ppid=5465 vsize=14091368 memory=5648 CPUtime=5.32 cores=1,3,5,7
/proc/5467/task/5478/stat : 5478 (java) S 5465 5465 4413 0 -1 1077944384 34694 0 0 0 529 3 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481475046000 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5479] ppid=5465 vsize=14091368 memory=8112282956445269571 CPUtime=0.88 cores=1,3,5,7
/proc/5467/task/5479/stat : 5479 (java) S 5465 5465 4413 0 -1 1077944384 12673 0 0 0 86 2 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481473993456 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5480] ppid=5465 vsize=14091368 memory=293292 CPUtime=0 cores=1,3,5,7
/proc/5467/task/5480/stat : 5480 (java) S 5465 5465 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481472941152 140482299438805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
[pid=5467/tid=5481] ppid=5465 vsize=14091368 memory=4104 CPUtime=1.15 cores=1,3,5,7
/proc/5467/task/5481/stat : 5481 (java) S 5465 5465 4413 0 -1 1077944384 1515 0 0 0 46 69 0 0 20 0 15 0 228094142 14429560832 174266 33554432000 4194304 4196468 140733931299664 140481471887664 140482299439746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140733931308166 140733931308337 140733931308337 140733931311055 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 698516 KiB

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

[startup+2506.21 s]
# the end of solver process 5465 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.1 s, system=0.972237 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.21
CPU time (s): 2520.07
CPU user time (s): 2519.1
CPU system time (s): 0.972237
CPU usage (%): 100.553
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 698516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.1
system time used= 0.972237
maximum resident set size= 697656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57900
involuntary context switches= 715


# summary of solver processes directly reported to runsolver:
#   pid: 5465
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2519.1
#   total CPU system time (s): 0.972237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0459 second user time and 24.0457 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml
MD5SUM	2788969af340f57bdb68eae00f77e52f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	5246
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":2},{"size":36,"count":408},{"size":42,"count":306},{"size":44,"count":188}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":10},{"degree":4,"count":22},{"degree":5,"count":38},{"degree":6,"count":81},{"degree":7,"count":93},{"degree":8,"count":105},{"degree":9,"count":86},{"degree":10,"count":68},{"degree":11,"count":42},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":10},{"degree":17,"count":3},{"degree":18,"count":32},{"degree":19,"count":53},{"degree":20,"count":77},{"degree":21,"count":81},{"degree":22,"count":42},{"degree":23,"count":14},{"degree":24,"count":9},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5246}]
Number of extensional constraints	0
Number of intensional constraints	5246
Distribution of constraint types	[{"type":"intension","count":5246}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4306998

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
