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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	OPT	4	7.72781	2.67237
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 (15258 MiB free)
  memory of node 1: 16384 MiB (14380 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400396-1568676657/watcher-4400396-1568676657 -o /tmp/evaluation-result-4400396-1568676657/solver-4400396-1568676657 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1889386482 HOME/instance-4400396-1568676657.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=5703, runsolver pid=5700
Current StackSize limit: 8192 KiB


[startup+0.10036 s]*
/proc/loadavg: 8.26 8.53 8.40 7/233 5719
/proc/meminfo: memFree=30334036/32770624 swapFree=66997368/67108860
[pid=5703] ppid=5700 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5703/stat : 5703 (xcsp3-exec) S 5700 5703 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443918768 115843072 362 33554432000 4194304 5098028 140721785810832 140721785808936 139814968156796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34435072 140721785815930 140721785816173 140721785816173 140721785819082 0
/proc/5703/statm: 28282 362 304 221 0 87 0
[pid=5705] ppid=5703 vsize=15144776 memory=30336 CPUtime=0.12 cores=0,2,4,6
/proc/5705/stat : 5705 (java) S 5703 5703 32513 0 -1 1077944320 5475 0 0 0 11 1 0 0 20 0 15 0 443918769 15508250624 7584 33554432000 4194304 4196468 140734024022400 140734024004944 140194145283831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
/proc/5705/statm: 3786194 7584 3149 1 0 3748377 0
[pid=5705/tid=5706] ppid=5703 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (java) R 5703 5703 32513 0 -1 4202560 3397 0 0 0 8 1 0 0 20 0 15 0 443918769 15508250624 7584 33554432000 4194304 4196468 140734024022400 140194149515152 140194145295766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5707] ppid=5703 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (java) S 5703 5703 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443918770 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193737661456 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5708] ppid=5703 vsize=15144776 memory=140148545889920 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (java) S 5703 5703 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443918770 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193736608912 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5709] ppid=5703 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5709/stat : 5709 (java) S 5703 5703 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443918770 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193735555856 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5710] ppid=5703 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5710/stat : 5710 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918770 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193734503312 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5711] ppid=5703 vsize=15144776 memory=140148545889920 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5711/stat : 5711 (java) S 5703 5703 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443918771 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193613936880 140194145294978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5712] ppid=5703 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5712/stat : 5712 (java) S 5703 5703 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443918772 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193612883104 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5713] ppid=5703 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5713/stat : 5713 (java) S 5703 5703 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443918772 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193611830000 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5714] ppid=5703 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5714/stat : 5714 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193610778576 140194145302427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5715] ppid=5703 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5715/stat : 5715 (java) R 5703 5703 32513 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 443918774 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193609726704 140194145294978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5716] ppid=5703 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5716/stat : 5716 (java) R 5703 5703 32513 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 443918774 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193608674160 140194131347940 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5717] ppid=5703 vsize=15144776 memory=140148545889920 CPUtime=0.02 cores=0,2,4,6
/proc/5705/task/5717/stat : 5717 (java) R 5703 5703 32513 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 443918774 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193607621104 140194123946171 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5718] ppid=5703 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5718/stat : 5718 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193606568800 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5719] ppid=5703 vsize=15144776 memory=140148545889920 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5719/stat : 5719 (java) S 5703 5703 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443918775 15508250624 7584 33554432000 4194304 4196468 140734024022400 140193605515824 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31784 KiB

[startup+0.21068 s]*
/proc/loadavg: 8.26 8.53 8.40 6/233 5719
/proc/meminfo: memFree=30320660/32770624 swapFree=66997368/67108860
[pid=5703] ppid=5700 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5703/stat : 5703 (xcsp3-exec) S 5700 5703 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443918768 115843072 362 33554432000 4194304 5098028 140721785810832 140721785808936 139814968156796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34435072 140721785815930 140721785816173 140721785816173 140721785819082 0
/proc/5703/statm: 28282 362 304 221 0 87 0
[pid=5705] ppid=5703 vsize=15144776 memory=41224 CPUtime=0.33 cores=0,2,4,6
/proc/5705/stat : 5705 (java) S 5703 5703 32513 0 -1 1077944320 9020 0 0 0 30 3 0 0 20 0 15 0 443918769 15508250624 10306 33554432000 4194304 4196468 140734024022400 140734024004944 140194145283831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
/proc/5705/statm: 3786194 10306 3241 1 0 3748377 0
[pid=5705/tid=5706] ppid=5703 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (java) R 5703 5703 32513 0 -1 4202560 6222 0 0 0 17 2 0 0 20 0 15 0 443918769 15508250624 10306 33554432000 4194304 4196468 140734024022400 140194149515744 140194145295766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5707] ppid=5703 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (java) S 5703 5703 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443918770 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193737661456 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5708] ppid=5703 vsize=15144776 memory=3978850749769524896 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (java) S 5703 5703 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443918770 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193736608912 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5709] ppid=5703 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5709/stat : 5709 (java) S 5703 5703 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443918770 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193735555856 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5710] ppid=5703 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5710/stat : 5710 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918770 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193734503312 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5711] ppid=5703 vsize=15144776 memory=140148545889920 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5711/stat : 5711 (java) S 5703 5703 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443918771 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193613936880 140194145294978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5712] ppid=5703 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5712/stat : 5712 (java) S 5703 5703 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443918772 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193612883104 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5713] ppid=5703 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5713/stat : 5713 (java) S 5703 5703 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443918772 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193611830000 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5714] ppid=5703 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5714/stat : 5714 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193610778576 140194145302427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5715] ppid=5703 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5705/task/5715/stat : 5715 (java) S 5703 5703 32513 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 443918774 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193609726704 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5716] ppid=5703 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5705/task/5716/stat : 5716 (java) S 5703 5703 32513 0 -1 1077944384 308 0 0 0 2 0 0 0 20 0 15 0 443918774 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193608674160 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5717] ppid=5703 vsize=15144776 memory=140148545889920 CPUtime=0.08 cores=0,2,4,6
/proc/5705/task/5717/stat : 5717 (java) R 5703 5703 32513 0 -1 4202560 727 0 0 0 8 0 0 0 20 0 15 0 443918774 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193607621104 140194137520958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5718] ppid=5703 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5718/stat : 5718 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193606568800 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5719] ppid=5703 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5719/stat : 5719 (java) S 5703 5703 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443918775 15508250624 10306 33554432000 4194304 4196468 140734024022400 140193605515824 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42672 KiB

[startup+0.311092 s]*
/proc/loadavg: 8.26 8.53 8.40 7/233 5719
/proc/meminfo: memFree=30314288/32770624 swapFree=66997368/67108860
[pid=5703] ppid=5700 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5703/stat : 5703 (xcsp3-exec) S 5700 5703 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443918768 115843072 362 33554432000 4194304 5098028 140721785810832 140721785808936 139814968156796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34435072 140721785815930 140721785816173 140721785816173 140721785819082 0
/proc/5703/statm: 28282 362 304 221 0 87 0
[pid=5705] ppid=5703 vsize=15149032 memory=50236 CPUtime=0.53 cores=0,2,4,6
/proc/5705/stat : 5705 (java) S 5703 5703 32513 0 -1 1077944320 10320 0 0 0 49 4 0 0 20 0 15 0 443918769 15512608768 12559 33554432000 4194304 4196468 140734024022400 140734024004944 140194145283831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
/proc/5705/statm: 3787258 12559 3366 1 0 3748377 0
[pid=5705/tid=5706] ppid=5703 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (java) R 5703 5703 32513 0 -1 4202560 7326 0 0 0 27 3 0 0 20 0 15 0 443918769 15512608768 12559 33554432000 4194304 4196468 140734024022400 140194149514944 140194129364318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5707] ppid=5703 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (java) S 5703 5703 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443918770 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193737661456 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5708] ppid=5703 vsize=15149032 memory=16106978656507047 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (java) S 5703 5703 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443918770 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193736608912 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5709] ppid=5703 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5709/stat : 5709 (java) S 5703 5703 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443918770 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193735555856 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5710] ppid=5703 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5710/stat : 5710 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918770 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193734503312 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5711] ppid=5703 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5711/stat : 5711 (java) S 5703 5703 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443918771 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193613936880 140194145294978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5712] ppid=5703 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5712/stat : 5712 (java) S 5703 5703 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443918772 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193612883104 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5713] ppid=5703 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5713/stat : 5713 (java) S 5703 5703 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443918772 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193611830000 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5714] ppid=5703 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5714/stat : 5714 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193610778576 140194145302427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5715] ppid=5703 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5705/task/5715/stat : 5715 (java) S 5703 5703 32513 0 -1 1077944384 495 0 0 0 3 0 0 0 20 0 15 0 443918774 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193609726704 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5716] ppid=5703 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5705/task/5716/stat : 5716 (java) R 5703 5703 32513 0 -1 4202560 404 0 0 0 5 0 0 0 20 0 15 0 443918774 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193608664544 140194123687855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5717] ppid=5703 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5705/task/5717/stat : 5717 (java) S 5703 5703 32513 0 -1 1077944384 813 0 0 0 12 0 0 0 20 0 15 0 443918774 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193607621104 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5718] ppid=5703 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5718/stat : 5718 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193606568800 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5719] ppid=5703 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5719/stat : 5719 (java) S 5703 5703 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443918775 15512608768 12559 33554432000 4194304 4196468 140734024022400 140193605515824 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51684 KiB

[startup+0.701344 s]
/proc/loadavg: 8.26 8.53 8.40 8/233 5719
/proc/meminfo: memFree=30292688/32770624 swapFree=66997368/67108860
[pid=5703] ppid=5700 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5703/stat : 5703 (xcsp3-exec) S 5700 5703 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443918768 115843072 362 33554432000 4194304 5098028 140721785810832 140721785808936 139814968156796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34435072 140721785815930 140721785816173 140721785816173 140721785819082 0
/proc/5703/statm: 28282 362 304 221 0 87 0
[pid=5705] ppid=5703 vsize=15151156 memory=113532 CPUtime=1.7 cores=0,2,4,6
/proc/5705/stat : 5705 (java) S 5703 5703 32513 0 -1 1077944320 13941 0 0 0 164 6 0 0 20 0 15 0 443918769 15514783744 28383 33554432000 4194304 4196468 140734024022400 140734024004944 140194145283831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
/proc/5705/statm: 3787789 28383 3444 1 0 3748889 0
[pid=5705/tid=5706] ppid=5703 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (java) R 5703 5703 32513 0 -1 4202560 7863 0 0 0 64 4 0 0 20 0 15 0 443918769 15514783744 28383 33554432000 4194304 4196468 140734024022400 140194149522208 140194145295766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5707] ppid=5703 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (java) S 5703 5703 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443918770 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193737661456 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5708] ppid=5703 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (java) S 5703 5703 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443918770 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193736608912 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5709] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5709/stat : 5709 (java) S 5703 5703 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443918770 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193735555856 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5710] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5710/stat : 5710 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918770 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193734503312 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5711] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5711/stat : 5711 (java) S 5703 5703 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443918771 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193613936880 140194145294978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5712] ppid=5703 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5712/stat : 5712 (java) S 5703 5703 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443918772 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193612883104 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5713] ppid=5703 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5713/stat : 5713 (java) S 5703 5703 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443918772 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193611830000 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5714] ppid=5703 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5714/stat : 5714 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193610778576 140194145302427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5715] ppid=5703 vsize=15151156 memory=1764 CPUtime=0.34 cores=0,2,4,6
/proc/5705/task/5715/stat : 5715 (java) R 5703 5703 32513 0 -1 4202560 1771 0 0 0 34 0 0 0 20 0 15 0 443918774 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193609706824 140194122879296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5716] ppid=5703 vsize=15151156 memory=111628 CPUtime=0.36 cores=0,2,4,6
/proc/5705/task/5716/stat : 5716 (java) R 5703 5703 32513 0 -1 4202560 1453 0 0 0 36 0 0 0 20 0 15 0 443918774 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193608660184 140194128841170 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5717] ppid=5703 vsize=15151156 memory=796 CPUtime=0.29 cores=0,2,4,6
/proc/5705/task/5717/stat : 5717 (java) R 5703 5703 32513 0 -1 4202560 1545 0 0 0 29 0 0 0 20 0 15 0 443918774 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193607621104 140194145305178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5718] ppid=5703 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5718/stat : 5718 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193606568800 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5719] ppid=5703 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5719/stat : 5719 (java) S 5703 5703 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443918775 15514783744 28383 33554432000 4194304 4196468 140734024022400 140193605515824 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 114980 KiB

[startup+1.5013 s]
/proc/loadavg: 8.26 8.53 8.40 7/233 5719
/proc/meminfo: memFree=30209288/32770624 swapFree=66997368/67108860
[pid=5703] ppid=5700 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5703/stat : 5703 (xcsp3-exec) S 5700 5703 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443918768 115843072 362 33554432000 4194304 5098028 140721785810832 140721785808936 139814968156796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34435072 140721785815930 140721785816173 140721785816173 140721785819082 0
/proc/5703/statm: 28282 362 304 221 0 87 0

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

/proc/5705/task/5707/stat : 5707 (java) S 5703 5703 32513 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 443918770 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193737661456 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5708] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (java) S 5703 5703 32513 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 443918770 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193736608912 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5709] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5709/stat : 5709 (java) S 5703 5703 32513 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 15 0 443918770 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193735555856 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5710] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5710/stat : 5710 (java) S 5703 5703 32513 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 443918770 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193734503312 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5711] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5711/stat : 5711 (java) S 5703 5703 32513 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 15 0 443918771 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193613936880 140194145294978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5712] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5712/stat : 5712 (java) S 5703 5703 32513 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 443918772 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193612883104 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5713] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5713/stat : 5713 (java) S 5703 5703 32513 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 443918772 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193611830000 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5714] ppid=5703 vsize=15151156 memory=7301012739230556772 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5714/stat : 5714 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193610778576 140194145302427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5715] ppid=5703 vsize=15151156 memory=7367994820054245709 CPUtime=1.01 cores=0,2,4,6
/proc/5705/task/5715/stat : 5715 (java) R 5703 5703 32513 0 -1 4202560 4277 0 0 0 101 0 0 0 20 0 15 0 443918774 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193609710784 140194130165520 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5716] ppid=5703 vsize=15151156 memory=5938113101137798501 CPUtime=1.03 cores=0,2,4,6
/proc/5705/task/5716/stat : 5716 (java) R 5703 5703 32513 0 -1 4202560 3968 0 0 0 103 0 0 0 20 0 15 0 443918774 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193608664992 140194124530613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5717] ppid=5703 vsize=15151156 memory=6442213876339925856 CPUtime=0.55 cores=0,2,4,6
/proc/5705/task/5717/stat : 5717 (java) S 5703 5703 32513 0 -1 1077944384 3507 0 0 0 55 0 0 0 20 0 15 0 443918774 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193607621104 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5718] ppid=5703 vsize=15151156 memory=24562917971542 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5718/stat : 5718 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193606568800 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5719] ppid=5703 vsize=15151156 memory=280296813819568 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5719/stat : 5719 (java) S 5703 5703 32513 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 443918775 15514783744 50442 33554432000 4194304 4196468 140734024022400 140193605515824 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 203216 KiB

[startup+2.67226 s]
# the end of solver process 5703 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.53338 s, system=0.194434 s

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

[startup+1.60099 s]
/proc/loadavg: 8.26 8.53 8.40 7/233 5719
/proc/meminfo: memFree=30209288/32770624 swapFree=66997368/67108860
[pid=5703] ppid=5700 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5703/stat : 5703 (xcsp3-exec) S 5700 5703 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443918768 115843072 362 33554432000 4194304 5098028 140721785810832 140721785808936 139814968156796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34435072 140721785815930 140721785816173 140721785816173 140721785819082 0
/proc/5703/statm: 28282 362 304 221 0 87 0
[pid=5705] ppid=5703 vsize=15151156 memory=214628 CPUtime=4.44 cores=0,2,4,6
/proc/5705/stat : 5705 (java) S 5703 5703 32513 0 -1 1077944320 24372 0 0 0 433 11 0 0 20 0 15 0 443918769 15514783744 53657 33554432000 4194304 4196468 140734024022400 140734024004944 140194145283831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
/proc/5705/statm: 3787789 53657 3506 1 0 3748889 0
[pid=5705/tid=5706] ppid=5703 vsize=15151156 memory=8112282956445269571 CPUtime=1.54 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (java) R 5703 5703 32513 0 -1 4202560 10129 0 0 0 148 6 0 0 20 0 15 0 443918769 15514783744 53657 33554432000 4194304 4196468 140734024022400 140194149522560 140193783715943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5707] ppid=5703 vsize=15151156 memory=9319 CPUtime=0.01 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (java) S 5703 5703 32513 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 15 0 443918770 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193737661456 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5708] ppid=5703 vsize=15151156 memory=3524891 CPUtime=0.01 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (java) S 5703 5703 32513 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 15 0 443918770 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193736608912 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5709] ppid=5703 vsize=15151156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5705/task/5709/stat : 5709 (java) S 5703 5703 32513 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 15 0 443918770 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193735555856 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5710] ppid=5703 vsize=15151156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5705/task/5710/stat : 5710 (java) S 5703 5703 32513 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 15 0 443918770 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193734503312 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5711] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5711/stat : 5711 (java) S 5703 5703 32513 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 15 0 443918771 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193613936880 140194145294978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5712] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5712/stat : 5712 (java) S 5703 5703 32513 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 443918772 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193612883168 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5713] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5713/stat : 5713 (java) S 5703 5703 32513 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 443918772 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193611830016 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5714] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5714/stat : 5714 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193610778576 140194145302427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5715] ppid=5703 vsize=15151156 memory=0 CPUtime=1.09 cores=0,2,4,6
/proc/5705/task/5715/stat : 5715 (java) S 5703 5703 32513 0 -1 1077944384 4298 0 0 0 108 1 0 0 20 0 15 0 443918774 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193609726704 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5716] ppid=5703 vsize=15151156 memory=288230377091498274 CPUtime=1.14 cores=0,2,4,6
/proc/5705/task/5716/stat : 5716 (java) R 5703 5703 32513 0 -1 4202560 4108 0 0 0 113 1 0 0 20 0 15 0 443918774 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193608674160 140194128770202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5717] ppid=5703 vsize=15151156 memory=14981061499160105 CPUtime=0.56 cores=0,2,4,6
/proc/5705/task/5717/stat : 5717 (java) S 5703 5703 32513 0 -1 1077944384 3527 0 0 0 56 0 0 0 20 0 15 0 443918774 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193607621104 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5718] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5718/stat : 5718 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193606568800 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5719] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5719/stat : 5719 (java) S 5703 5703 32513 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 443918775 15514783744 53657 33554432000 4194304 4196468 140734024022400 140193605515824 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
Current children cumulated CPU time: 4.44 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216076 KiB

[startup+2.4123 s]
/proc/loadavg: 8.26 8.53 8.40 11/233 5719
/proc/meminfo: memFree=30023308/32770624 swapFree=66997368/67108860
[pid=5703] ppid=5700 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5703/stat : 5703 (xcsp3-exec) S 5700 5703 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443918768 115843072 362 33554432000 4194304 5098028 140721785810832 140721785808936 139814968156796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34435072 140721785815930 140721785816173 140721785816173 140721785819082 0
/proc/5703/statm: 28282 362 304 221 0 87 0
[pid=5705] ppid=5703 vsize=15151156 memory=384364 CPUtime=6.78 cores=0,2,4,6
/proc/5705/stat : 5705 (java) S 5703 5703 32513 0 -1 1077944320 27483 0 0 0 660 18 0 0 20 0 15 0 443918769 15514783744 96091 33554432000 4194304 4196468 140734024022400 140734024004944 140194145283831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
/proc/5705/statm: 3787789 96091 3512 1 0 3748889 0
[pid=5705/tid=5706] ppid=5703 vsize=15151156 memory=8112282956445269571 CPUtime=2.29 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (java) R 5703 5703 32513 0 -1 4202560 10232 0 0 0 221 8 0 0 20 0 15 0 443918769 15514783744 96091 33554432000 4194304 4196468 140734024022400 140194149519776 140194131523249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5707] ppid=5703 vsize=15151156 memory=6655300316396806240 CPUtime=0.06 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (java) S 5703 5703 32513 0 -1 1077944384 116 0 0 0 5 1 0 0 20 0 15 0 443918770 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193737661456 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5708] ppid=5703 vsize=15151156 memory=31356350842106267 CPUtime=0.07 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (java) S 5703 5703 32513 0 -1 1077944384 277 0 0 0 6 1 0 0 20 0 15 0 443918770 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193736608912 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5709] ppid=5703 vsize=15151156 memory=20050 CPUtime=0.04 cores=0,2,4,6
/proc/5705/task/5709/stat : 5709 (java) S 5703 5703 32513 0 -1 1077944384 514 0 0 0 3 1 0 0 20 0 15 0 443918770 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193735555856 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5710] ppid=5703 vsize=15151156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5705/task/5710/stat : 5710 (java) S 5703 5703 32513 0 -1 1077944384 197 0 0 0 6 1 0 0 20 0 15 0 443918770 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193734503312 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5711] ppid=5703 vsize=15151156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5705/task/5711/stat : 5711 (java) S 5703 5703 32513 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 15 0 443918771 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193613936880 140194145294978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5712] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5712/stat : 5712 (java) S 5703 5703 32513 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 443918772 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193612883168 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5713] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5713/stat : 5713 (java) S 5703 5703 32513 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 443918772 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193611830016 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5714] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5714/stat : 5714 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193610778576 140194145302427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5715] ppid=5703 vsize=15151156 memory=201768 CPUtime=1.76 cores=0,2,4,6
/proc/5705/task/5715/stat : 5715 (java) R 5703 5703 32513 0 -1 4202560 5796 0 0 0 175 1 0 0 20 0 15 0 443918774 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193609719192 140194128694889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5716] ppid=5703 vsize=15151156 memory=0 CPUtime=1.8 cores=0,2,4,6
/proc/5705/task/5716/stat : 5716 (java) R 5703 5703 32513 0 -1 4202560 5016 0 0 0 179 1 0 0 20 0 15 0 443918774 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193608674160 140194126829053 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5717] ppid=5703 vsize=15151156 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/5705/task/5717/stat : 5717 (java) S 5703 5703 32513 0 -1 1077944384 3588 0 0 0 59 0 0 0 20 0 15 0 443918774 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193607621104 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5718] ppid=5703 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5718/stat : 5718 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443918774 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193606568800 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5719] ppid=5703 vsize=15151156 memory=49065706400926 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5719/stat : 5719 (java) S 5703 5703 32513 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 443918775 15514783744 96091 33554432000 4194304 4196468 140734024022400 140193605515824 140194145294978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
Current children cumulated CPU time: 6.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 385812 KiB

[startup+2.6033 s]
/proc/loadavg: 8.26 8.53 8.40 11/233 5719
/proc/meminfo: memFree=30023308/32770624 swapFree=66997368/67108860
[pid=5703] ppid=5700 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5703/stat : 5703 (xcsp3-exec) S 5700 5703 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443918768 115843072 362 33554432000 4194304 5098028 140721785810832 140721785808936 139814968156796 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34435072 140721785815930 140721785816173 140721785816173 140721785819082 0
/proc/5703/statm: 28282 362 304 221 0 87 0
[pid=5705] ppid=5703 vsize=15417412 memory=385748 CPUtime=7.5 cores=0,2,4,6
/proc/5705/stat : 5705 (java) S 5703 5703 32513 0 -1 1077944320 28103 0 0 0 732 18 0 0 20 0 19 0 443918769 15787429888 96437 33554432000 4194304 4196468 140734024022400 140734024004944 140194145283831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
/proc/5705/statm: 3854353 96437 3529 1 0 3815453 0
[pid=5705/tid=5706] ppid=5703 vsize=15417412 memory=0 CPUtime=2.3 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (java) S 5703 5703 32513 0 -1 1077944384 10322 0 0 0 222 8 0 0 20 0 19 0 443918769 15787429888 96437 33554432000 4194304 4196468 140734024022400 140194149524608 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5707] ppid=5703 vsize=15417412 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (java) S 5703 5703 32513 0 -1 1077944384 116 0 0 0 5 1 0 0 20 0 19 0 443918770 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193737661456 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5708] ppid=5703 vsize=15417412 memory=2273 CPUtime=0.07 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (java) S 5703 5703 32513 0 -1 1077944384 277 0 0 0 6 1 0 0 20 0 19 0 443918770 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193736608912 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5709] ppid=5703 vsize=15417412 memory=2244 CPUtime=0.04 cores=0,2,4,6
/proc/5705/task/5709/stat : 5709 (java) S 5703 5703 32513 0 -1 1077944384 514 0 0 0 3 1 0 0 20 0 19 0 443918770 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193735555856 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5710] ppid=5703 vsize=15417412 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5705/task/5710/stat : 5710 (java) S 5703 5703 32513 0 -1 1077944384 197 0 0 0 6 1 0 0 20 0 19 0 443918770 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193734503312 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5711] ppid=5703 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5705/task/5711/stat : 5711 (java) S 5703 5703 32513 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 19 0 443918771 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193613936880 140194145294978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5712] ppid=5703 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5712/stat : 5712 (java) S 5703 5703 32513 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 443918772 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193612883168 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5713] ppid=5703 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5713/stat : 5713 (java) S 5703 5703 32513 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 443918772 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193611830016 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5714] ppid=5703 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5714/stat : 5714 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443918774 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193610778576 140194145302427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5715] ppid=5703 vsize=15417412 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/5705/task/5715/stat : 5715 (java) R 5703 5703 32513 0 -1 4202560 5825 0 0 0 186 1 0 0 20 0 19 0 443918774 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193609717424 140194125879995 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5716] ppid=5703 vsize=15417412 memory=0 CPUtime=1.93 cores=0,2,4,6
/proc/5705/task/5716/stat : 5716 (java) R 5703 5703 32513 0 -1 1077944384 5062 0 0 0 192 1 0 0 20 0 19 0 443918774 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193608661008 140194145294037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5717] ppid=5703 vsize=15417412 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5705/task/5717/stat : 5717 (java) R 5703 5703 32513 0 -1 4202560 3753 0 0 0 66 1 0 0 20 0 19 0 443918774 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193607621104 140194123384561 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5718] ppid=5703 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5718/stat : 5718 (java) S 5703 5703 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443918774 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193606568800 140194145294037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
[pid=5705/tid=5719] ppid=5703 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5719/stat : 5719 (java) R 5703 5703 32513 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 443918775 15787429888 96437 33554432000 4194304 4196468 140734024022400 140193605515824 140194145294978 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140734024029167 140734024029338 140734024029338 140734024032207 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 387196 KiB

Child status: 0
Real time (s): 2.67237
CPU time (s): 7.72781
CPU user time (s): 7.53338
CPU system time (s): 0.194434
CPU usage (%): 289.175
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 387196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.53338
system time used= 0.194434
maximum resident set size= 386820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2312
involuntary context switches= 84


# summary of solver processes directly reported to runsolver:
#   pid: 5703
#   total CPU time (s): 7.72781
#   total CPU user time (s): 7.53338
#   total CPU system time (s): 0.194434

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038904 second user time and 0.069164 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml
MD5SUM	368e26568da76f7c30ce4b17b57b0014
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2.19767
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9757
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	30
Maximum variable degree	69
Distribution of variable degrees	[{"degree":30,"count":2},{"degree":32,"count":5},{"degree":33,"count":14},{"degree":34,"count":7},{"degree":35,"count":13},{"degree":36,"count":18},{"degree":37,"count":13},{"degree":38,"count":17},{"degree":39,"count":17},{"degree":40,"count":27},{"degree":41,"count":16},{"degree":42,"count":32},{"degree":43,"count":28},{"degree":44,"count":28},{"degree":45,"count":29},{"degree":46,"count":24},{"degree":47,"count":22},{"degree":48,"count":17},{"degree":49,"count":23},{"degree":50,"count":15},{"degree":51,"count":17},{"degree":52,"count":14},{"degree":53,"count":14},{"degree":54,"count":11},{"degree":55,"count":9},{"degree":56,"count":4},{"degree":57,"count":4},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":1},{"degree":62,"count":1},{"degree":65,"count":2},{"degree":66,"count":1},{"degree":69,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9757}]
Number of extensional constraints	0
Number of intensional constraints	9757
Distribution of constraint types	[{"type":"intension","count":9757}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400396

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
