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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	OPT	3	3.1930101	1.14847
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 (15391 MiB free)
  memory of node 1: 16384 MiB (15547 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270099-1502620822/watcher-4270099-1502620822 -o /tmp/evaluation-result-4270099-1502620822/solver-4270099-1502620822 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502619962-4171 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2070563635 HOME/instance-4270099-1502620822.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=4339, runsolver pid=4336

[startup+0.100163 s]*
/proc/loadavg: 1.00 1.01 1.10 2/197 4355
/proc/meminfo: memFree=31663332/32770624 swapFree=67108860/67108860
[pid=4339] ppid=4336 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4339/stat : 4339 (xcsp3-exec) S 4336 4339 29331 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95169952 9740288 346 33554432000 4194304 5098028 140736157434304 140736157432408 140694531764860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22368256 140736157439092 140736157439296 140736157439296 140736157442027 0
/proc/4339/statm: 2378 346 289 221 0 87 0
[pid=4341] ppid=4339 vsize=13978596 memory=27780 CPUtime=0.12 cores=0,2,4,6
/proc/4341/stat : 4341 (java) S 4339 4339 29331 0 -1 1077944320 5329 0 0 0 11 1 0 0 20 0 15 0 95169953 14314082304 6945 33554432000 4194304 4196468 140725489389664 140725489372208 139763399147255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
/proc/4341/statm: 3494649 6945 2868 1 0 3482966 0
[pid=4341/tid=4342] ppid=4339 vsize=13978596 memory=4134692831991786133 CPUtime=0.09 cores=0,2,4,6
/proc/4341/task/4342/stat : 4342 (java) R 4339 4339 29331 0 -1 4202560 3325 0 0 0 8 1 0 0 20 0 15 0 95169953 14314082304 7011 33554432000 4194304 4196468 140725489389664 139763403379776 139763017455048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4343] ppid=4339 vsize=13978596 memory=-5738297875903123798 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4343/stat : 4343 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762994780688 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4344] ppid=4339 vsize=13978596 memory=140598342702720 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4344/stat : 4344 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762993728144 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4345] ppid=4339 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762992675088 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4346] ppid=4339 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762991622544 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4347] ppid=4339 vsize=13978596 memory=140598342702720 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169955 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762311449328 139763399158402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4348] ppid=4339 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4348/stat : 4348 (java) S 4339 4339 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95169956 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762310395552 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4349] ppid=4339 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4349/stat : 4349 (java) S 4339 4339 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95169956 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762309342448 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4350] ppid=4339 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4350/stat : 4350 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762308291024 139763399165851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4351] ppid=4339 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4351/stat : 4351 (java) S 4339 4339 29331 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 95169958 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762307238128 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4352] ppid=4339 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4352/stat : 4352 (java) S 4339 4339 29331 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 95169958 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762306185584 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4353] ppid=4339 vsize=13978596 memory=140598342702720 CPUtime=0.01 cores=0,2,4,6
/proc/4341/task/4353/stat : 4353 (java) S 4339 4339 29331 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 95169958 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762305132528 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4354] ppid=4339 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4354/stat : 4354 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762304080224 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4355] ppid=4339 vsize=13978596 memory=140598342702720 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4355/stat : 4355 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169958 14314082304 7011 33554432000 4194304 4196468 140725489389664 139762303028272 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29164 KiB

[startup+0.210789 s]*
/proc/loadavg: 1.00 1.01 1.10 4/197 4360
/proc/meminfo: memFree=31643416/32770624 swapFree=67108860/67108860
[pid=4339] ppid=4336 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4339/stat : 4339 (xcsp3-exec) S 4336 4339 29331 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95169952 9740288 346 33554432000 4194304 5098028 140736157434304 140736157432408 140694531764860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22368256 140736157439092 140736157439296 140736157439296 140736157442027 0
/proc/4339/statm: 2378 346 289 221 0 87 0
[pid=4341] ppid=4339 vsize=13982852 memory=40476 CPUtime=0.33 cores=0,2,4,6
/proc/4341/stat : 4341 (java) S 4339 4339 29331 0 -1 1077944320 8171 0 0 0 31 2 0 0 20 0 15 0 95169953 14318440448 10119 33554432000 4194304 4196468 140725489389664 140725489372208 139763399147255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
/proc/4341/statm: 3495713 10119 3052 1 0 3482966 0
[pid=4341/tid=4342] ppid=4339 vsize=13982852 memory=8390339637985935414 CPUtime=0.2 cores=0,2,4,6
/proc/4341/task/4342/stat : 4342 (java) R 4339 4339 29331 0 -1 4202560 5247 0 0 0 18 2 0 0 20 0 15 0 95169953 14318440448 10119 33554432000 4194304 4196468 140725489389664 139763403369280 139763399169181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4343] ppid=4339 vsize=13982852 memory=288230604707996474 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4343/stat : 4343 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762994780688 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4344] ppid=4339 vsize=13982852 memory=3760845683582852281 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4344/stat : 4344 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762993728144 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4345] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762992675088 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4346] ppid=4339 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762991622544 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4347] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169955 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762311449328 139763399158402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4348] ppid=4339 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4348/stat : 4348 (java) S 4339 4339 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95169956 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762310395552 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4349] ppid=4339 vsize=13982852 memory=140598342702720 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4349/stat : 4349 (java) S 4339 4339 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95169956 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762309342448 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4350] ppid=4339 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4350/stat : 4350 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762308291024 139763399165851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4351] ppid=4339 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4341/task/4351/stat : 4351 (java) S 4339 4339 29331 0 -1 1077944384 546 0 0 0 3 0 0 0 20 0 15 0 95169958 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762307238128 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4352] ppid=4339 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4341/task/4352/stat : 4352 (java) S 4339 4339 29331 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 15 0 95169958 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762306185584 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4353] ppid=4339 vsize=13982852 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4341/task/4353/stat : 4353 (java) S 4339 4339 29331 0 -1 1077944384 758 0 0 0 8 0 0 0 20 0 15 0 95169958 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762305132528 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4354] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4354/stat : 4354 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762304080224 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4355] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4355/stat : 4355 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169958 14318440448 10119 33554432000 4194304 4196468 140725489389664 139762303028272 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41860 KiB

[startup+0.310981 s]*
/proc/loadavg: 1.00 1.01 1.10 4/218 4385
/proc/meminfo: memFree=31624796/32770624 swapFree=67108860/67108860
[pid=4339] ppid=4336 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4339/stat : 4339 (xcsp3-exec) S 4336 4339 29331 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95169952 9740288 346 33554432000 4194304 5098028 140736157434304 140736157432408 140694531764860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22368256 140736157439092 140736157439296 140736157439296 140736157442027 0
/proc/4339/statm: 2378 346 289 221 0 87 0
[pid=4341] ppid=4339 vsize=13982852 memory=47428 CPUtime=0.51 cores=0,2,4,6
/proc/4341/stat : 4341 (java) S 4339 4339 29331 0 -1 1077944320 9033 0 0 0 48 3 0 0 20 0 15 0 95169953 14318440448 11857 33554432000 4194304 4196468 140725489389664 140725489372208 139763399147255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
/proc/4341/statm: 3495713 11857 3103 1 0 3482966 0
[pid=4341/tid=4342] ppid=4339 vsize=13982852 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/4341/task/4342/stat : 4342 (java) R 4339 4339 29331 0 -1 4202560 5898 0 0 0 27 2 0 0 20 0 15 0 95169953 14318440448 11857 33554432000 4194304 4196468 140725489389664 139763403384640 139763017454224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4343] ppid=4339 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4343/stat : 4343 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762994780688 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4344] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4344/stat : 4344 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762993728144 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4345] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762992675088 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4346] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762991622544 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4347] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169955 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762311449328 139763399158402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4348] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4348/stat : 4348 (java) S 4339 4339 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95169956 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762310395552 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4349] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4349/stat : 4349 (java) S 4339 4339 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95169956 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762309342448 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4350] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4350/stat : 4350 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762308291024 139763399165851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4351] ppid=4339 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4341/task/4351/stat : 4351 (java) R 4339 4339 29331 0 -1 4202560 555 0 0 0 3 0 0 0 20 0 15 0 95169958 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762307237312 139763384751986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4352] ppid=4339 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4341/task/4352/stat : 4352 (java) R 4339 4339 29331 0 -1 1077944384 389 0 0 0 3 0 0 0 20 0 15 0 95169958 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762306185584 139763399158402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4353] ppid=4339 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4341/task/4353/stat : 4353 (java) R 4339 4339 29331 0 -1 4202560 893 0 0 0 13 0 0 0 20 0 15 0 95169958 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762305128896 139763380557405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4354] ppid=4339 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4354/stat : 4354 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762304080224 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4355] ppid=4339 vsize=13982852 memory=140598342702720 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4355/stat : 4355 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169958 14318440448 11857 33554432000 4194304 4196468 140725489389664 139762303028272 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48812 KiB

[startup+0.700757 s]
/proc/loadavg: 1.00 1.01 1.10 7/218 4385
/proc/meminfo: memFree=31579836/32770624 swapFree=67108860/67108860
[pid=4339] ppid=4336 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4339/stat : 4339 (xcsp3-exec) S 4336 4339 29331 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95169952 9740288 346 33554432000 4194304 5098028 140736157434304 140736157432408 140694531764860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22368256 140736157439092 140736157439296 140736157439296 140736157442027 0
/proc/4339/statm: 2378 346 289 221 0 87 0
[pid=4341] ppid=4339 vsize=13984976 memory=92168 CPUtime=1.81 cores=0,2,4,6
/proc/4341/stat : 4341 (java) S 4339 4339 29331 0 -1 1077944320 12619 0 0 0 176 5 0 0 20 0 15 0 95169953 14320615424 23042 33554432000 4194304 4196468 140725489389664 140725489372208 139763399147255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
/proc/4341/statm: 3496244 23042 3199 1 0 3483478 0
[pid=4341/tid=4342] ppid=4339 vsize=13984976 memory=8320808402720208437 CPUtime=0.67 cores=0,2,4,6
/proc/4341/task/4342/stat : 4342 (java) R 4339 4339 29331 0 -1 4202560 6520 0 0 0 63 4 0 0 20 0 15 0 95169953 14320615424 23042 33554432000 4194304 4196468 140725489389664 139763403384880 139763385216766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4343] ppid=4339 vsize=13984976 memory=5859573821426782288 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4343/stat : 4343 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762994780688 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4344] ppid=4339 vsize=13984976 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4344/stat : 4344 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762993728144 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4345] ppid=4339 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762992675088 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4346] ppid=4339 vsize=13984976 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762991622544 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4347] ppid=4339 vsize=13984976 memory=5664 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (java) S 4339 4339 29331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95169955 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762311449328 139763399158402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4348] ppid=4339 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4348/stat : 4348 (java) S 4339 4339 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95169956 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762310395552 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4349] ppid=4339 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4349/stat : 4349 (java) S 4339 4339 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95169956 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762309342448 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4350] ppid=4339 vsize=13984976 memory=10928 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4350/stat : 4350 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762308291024 139763399165851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4351] ppid=4339 vsize=13984976 memory=7662705889289527641 CPUtime=0.37 cores=0,2,4,6
/proc/4341/task/4351/stat : 4351 (java) R 4339 4339 29331 0 -1 4202560 1507 0 0 0 37 0 0 0 20 0 15 0 95169958 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762307226448 139763382633197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4352] ppid=4339 vsize=13984976 memory=7597685182856913236 CPUtime=0.37 cores=0,2,4,6
/proc/4341/task/4352/stat : 4352 (java) R 4339 4339 29331 0 -1 4202560 1268 0 0 0 37 0 0 0 20 0 15 0 95169958 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762306164480 139763384312830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4353] ppid=4339 vsize=13984976 memory=5787220445994897765 CPUtime=0.37 cores=0,2,4,6
/proc/4341/task/4353/stat : 4353 (java) S 4339 4339 29331 0 -1 1077944384 2017 0 0 0 37 0 0 0 20 0 15 0 95169958 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762305132528 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4354] ppid=4339 vsize=13984976 memory=-7028383565733675155 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4354/stat : 4354 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762304080224 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4355] ppid=4339 vsize=13984976 memory=6525858347538544147 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4355/stat : 4355 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 23042 33554432000 4194304 4196468 140725489389664 139762303028272 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 93552 KiB

[startup+1.14841 s]
# the end of solver process 4339 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.11334 s, system=0.079671 s

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

[startup+0.801905 s]
/proc/loadavg: 1.00 1.01 1.10 7/218 4385
/proc/meminfo: memFree=31579836/32770624 swapFree=67108860/67108860
[pid=4339] ppid=4336 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4339/stat : 4339 (xcsp3-exec) S 4336 4339 29331 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95169952 9740288 346 33554432000 4194304 5098028 140736157434304 140736157432408 140694531764860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22368256 140736157439092 140736157439296 140736157439296 140736157442027 0
/proc/4339/statm: 2378 346 289 221 0 87 0
[pid=4341] ppid=4339 vsize=13984976 memory=105904 CPUtime=2.17 cores=0,2,4,6
/proc/4341/stat : 4341 (java) S 4339 4339 29331 0 -1 1077944320 12976 0 0 0 211 6 0 0 20 0 15 0 95169953 14320615424 26476 33554432000 4194304 4196468 140725489389664 140725489372208 139763399147255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
/proc/4341/statm: 3496244 26476 3204 1 0 3483478 0
[pid=4341/tid=4342] ppid=4339 vsize=13984976 memory=32388 CPUtime=0.77 cores=0,2,4,6
/proc/4341/task/4342/stat : 4342 (java) R 4339 4339 29331 0 -1 4202560 6526 0 0 0 73 4 0 0 20 0 15 0 95169953 14320615424 26476 33554432000 4194304 4196468 140725489389664 139763403382528 139763021034216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4343] ppid=4339 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4343/stat : 4343 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762994780688 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4344] ppid=4339 vsize=13984976 memory=27492 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4344/stat : 4344 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762993728144 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4345] ppid=4339 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762992675088 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4346] ppid=4339 vsize=13984976 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762991622544 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4347] ppid=4339 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (java) S 4339 4339 29331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95169955 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762311449328 139763399158402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4348] ppid=4339 vsize=13984976 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4348/stat : 4348 (java) S 4339 4339 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95169956 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762310395552 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4349] ppid=4339 vsize=13984976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4349/stat : 4349 (java) S 4339 4339 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95169956 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762309342448 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4350] ppid=4339 vsize=13984976 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4350/stat : 4350 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762308291024 139763399165851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4351] ppid=4339 vsize=13984976 memory=1200 CPUtime=0.47 cores=0,2,4,6
/proc/4341/task/4351/stat : 4351 (java) R 4339 4339 29331 0 -1 4202560 1532 0 0 0 47 0 0 0 20 0 15 0 95169958 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762307238128 139763380669732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4352] ppid=4339 vsize=13984976 memory=6947177708142486848 CPUtime=0.47 cores=0,2,4,6
/proc/4341/task/4352/stat : 4352 (java) R 4339 4339 29331 0 -1 4202560 1375 0 0 0 47 0 0 0 20 0 15 0 95169958 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762306168912 139763376742316 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4353] ppid=4339 vsize=13984976 memory=8025788826946004308 CPUtime=0.43 cores=0,2,4,6
/proc/4341/task/4353/stat : 4353 (java) S 4339 4339 29331 0 -1 1077944384 2236 0 0 0 43 0 0 0 20 0 15 0 95169958 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762305132528 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4354] ppid=4339 vsize=13984976 memory=7523071198212214892 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4354/stat : 4354 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762304080224 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4355] ppid=4339 vsize=13984976 memory=-8412654363917126771 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4355/stat : 4355 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 26476 33554432000 4194304 4196468 140725489389664 139762303028272 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
Current children cumulated CPU time: 2.17 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 107288 KiB

[startup+1.00186 s]*
/proc/loadavg: 1.32 1.08 1.13 7/218 4385
/proc/meminfo: memFree=31461868/32770624 swapFree=67108860/67108860
[pid=4339] ppid=4336 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4339/stat : 4339 (xcsp3-exec) S 4336 4339 29331 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95169952 9740288 346 33554432000 4194304 5098028 140736157434304 140736157432408 140694531764860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22368256 140736157439092 140736157439296 140736157439296 140736157442027 0
/proc/4339/statm: 2378 346 289 221 0 87 0
[pid=4341] ppid=4339 vsize=13984976 memory=117784 CPUtime=2.8 cores=0,2,4,6
/proc/4341/stat : 4341 (java) S 4339 4339 29331 0 -1 1077944320 13357 0 0 0 274 6 0 0 20 0 15 0 95169953 14320615424 29446 33554432000 4194304 4196468 140725489389664 140725489372208 139763399147255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
/proc/4341/statm: 3496244 29446 3218 1 0 3483478 0
[pid=4341/tid=4342] ppid=4339 vsize=13984976 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/4341/task/4342/stat : 4342 (java) R 4339 4339 29331 0 -1 4202560 6646 0 0 0 94 4 0 0 20 0 15 0 95169953 14320615424 29446 33554432000 4194304 4196468 140725489389664 139763403385392 139763022778099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4343] ppid=4339 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4343/stat : 4343 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762994780688 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4344] ppid=4339 vsize=13984976 memory=140598342702720 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4344/stat : 4344 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762993728144 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4345] ppid=4339 vsize=13984976 memory=281196475252064 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762992675088 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4346] ppid=4339 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762991622544 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4347] ppid=4339 vsize=13984976 memory=2319529815091771062 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (java) S 4339 4339 29331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95169955 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762311449328 139763399158402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4348] ppid=4339 vsize=13984976 memory=2320532704480276787 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4348/stat : 4348 (java) S 4339 4339 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95169956 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762310395552 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4349] ppid=4339 vsize=13984976 memory=7013346343823632999 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4349/stat : 4349 (java) S 4339 4339 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95169956 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762309342448 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4350] ppid=4339 vsize=13984976 memory=7595156224457794156 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4350/stat : 4350 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762308291024 139763399165851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4351] ppid=4339 vsize=13984976 memory=7883960649037381690 CPUtime=0.64 cores=0,2,4,6
/proc/4341/task/4351/stat : 4351 (java) R 4339 4339 29331 0 -1 4202560 1654 0 0 0 64 0 0 0 20 0 15 0 95169958 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762307225760 139763376742033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4352] ppid=4339 vsize=13984976 memory=9340 CPUtime=0.66 cores=0,2,4,6
/proc/4341/task/4352/stat : 4352 (java) R 4339 4339 29331 0 -1 4202560 1436 0 0 0 66 0 0 0 20 0 15 0 95169958 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762306164960 139763383052984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4353] ppid=4339 vsize=13984976 memory=3472616381172954701 CPUtime=0.49 cores=0,2,4,6
/proc/4341/task/4353/stat : 4353 (java) R 4339 4339 29331 0 -1 1077944384 2338 0 0 0 49 0 0 0 20 0 15 0 95169958 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762305132528 139763399158402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4354] ppid=4339 vsize=13984976 memory=281196475278592 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4354/stat : 4354 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762304080224 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4355] ppid=4339 vsize=13984976 memory=281196475283056 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4355/stat : 4355 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 29446 33554432000 4194304 4196468 140725489389664 139762303028272 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 119168 KiB

[startup+1.11136 s]
/proc/loadavg: 1.32 1.08 1.13 7/218 4385
/proc/meminfo: memFree=31461868/32770624 swapFree=67108860/67108860
[pid=4339] ppid=4336 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4339/stat : 4339 (xcsp3-exec) S 4336 4339 29331 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95169952 9740288 346 33554432000 4194304 5098028 140736157434304 140736157432408 140694531764860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22368256 140736157439092 140736157439296 140736157439296 140736157442027 0
/proc/4339/statm: 2378 346 289 221 0 87 0
[pid=4341] ppid=4339 vsize=13984976 memory=126240 CPUtime=3.13 cores=0,2,4,6
/proc/4341/stat : 4341 (java) S 4339 4339 29331 0 -1 1077944320 19000 0 0 0 306 7 0 0 20 0 15 0 95169953 14320615424 31560 33554432000 4194304 4196468 140725489389664 140725489372208 139763399147255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
/proc/4341/statm: 3496244 31560 3222 1 0 3483478 0
[pid=4341/tid=4342] ppid=4339 vsize=13984976 memory=281196475130816 CPUtime=1.07 cores=0,2,4,6
/proc/4341/task/4342/stat : 4342 (java) R 4339 4339 29331 0 -1 4202560 7380 0 0 0 103 4 0 0 20 0 15 0 95169953 14320615424 31560 33554432000 4194304 4196468 140725489389664 139763403385408 139763399169181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4343] ppid=4339 vsize=13984976 memory=8049867166153220215 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4343/stat : 4343 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762994780688 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4344] ppid=4339 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4344/stat : 4344 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762993728144 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4345] ppid=4339 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4345/stat : 4345 (java) S 4339 4339 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762992675088 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4346] ppid=4339 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4346/stat : 4346 (java) S 4339 4339 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95169954 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762991622544 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4347] ppid=4339 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4347/stat : 4347 (java) S 4339 4339 29331 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 95169955 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762311449328 139763399158402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4348] ppid=4339 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4348/stat : 4348 (java) S 4339 4339 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95169956 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762310395552 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4349] ppid=4339 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4349/stat : 4349 (java) S 4339 4339 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95169956 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762309342448 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4350] ppid=4339 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4350/stat : 4350 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762308291024 139763399165851 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4351] ppid=4339 vsize=13984976 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/4341/task/4351/stat : 4351 (java) R 4339 4339 29331 0 -1 4202560 4410 0 0 0 73 0 0 0 20 0 15 0 95169958 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762307222744 139763384273105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4352] ppid=4339 vsize=13984976 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/4341/task/4352/stat : 4352 (java) R 4339 4339 29331 0 -1 4202560 3139 0 0 0 76 0 0 0 20 0 15 0 95169958 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762306171832 139763378990822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4353] ppid=4339 vsize=13984976 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/4341/task/4353/stat : 4353 (java) S 4339 4339 29331 0 -1 1077944384 2752 0 0 0 52 0 0 0 20 0 15 0 95169958 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762305132528 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4354] ppid=4339 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4354/stat : 4354 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762304080224 139763399157461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
[pid=4341/tid=4355] ppid=4339 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4341/task/4355/stat : 4355 (java) S 4339 4339 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95169958 14320615424 31560 33554432000 4194304 4196468 140725489389664 139762303028272 139763399158402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11157504 140725489394845 140725489395020 140725489395020 140725489397711 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 127624 KiB

Child status: 0
Real time (s): 1.14847
CPU time (s): 3.19301
CPU user time (s): 3.11334
CPU system time (s): 0.079671
CPU usage (%): 278.024
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 127624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.11334
system time used= 0.079671
maximum resident set size= 131120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20153
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= 1730
involuntary context switches= 75


# summary of solver processes directly reported to runsolver:
#   pid: 4339
#   total CPU time (s): 3.19301
#   total CPU user time (s): 3.11334
#   total CPU system time (s): 0.079671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028159 second user time and 0.060986 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml
MD5SUM	a2156ca8d664195666e0b5da895e2590
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	2.92958
Satisfiable
(Un)Satisfiability was proved
Number of variables	662
Number of constraints	4181
Number of domains	1
Minimum domain size	662
Maximum domain size	662
Distribution of domain sizes	[{"size":662,"count":662}]
Minimum variable degree	2
Maximum variable degree	24
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":7,"count":6},{"degree":8,"count":4},{"degree":9,"count":32},{"degree":10,"count":59},{"degree":11,"count":48},{"degree":12,"count":58},{"degree":13,"count":88},{"degree":14,"count":129},{"degree":15,"count":115},{"degree":16,"count":41},{"degree":17,"count":31},{"degree":18,"count":16},{"degree":19,"count":14},{"degree":20,"count":4},{"degree":21,"count":6},{"degree":22,"count":4},{"degree":23,"count":4},{"degree":24,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4181}]
Number of extensional constraints	0
Number of intensional constraints	4181
Distribution of constraint types	[{"type":"intension","count":4181}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4270099

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
