2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-24	SAT	3.15721	1.34861
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 (13142 MiB free)
  memory of node 1: 16384 MiB (12480 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405757-1569400159/watcher-4405757-1569400159 -o /var/tmp/evaluation-result-4405757-1569400159/solver-4405757-1569400159 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569396625-26122 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 674984274 HOME/instance-4405757-1569400159.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27358, runsolver pid=27355
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.93 1.90 1.74 4/229 27374
/proc/meminfo: memFree=26220644/32770624 swapFree=67002128/67108860
[pid=27358] ppid=27355 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27358/stat : 27358 (xcsp3-exec) S 27355 27358 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264465 115843072 364 33554432000 4194304 5098028 140726714620512 140726714618616 140576604914300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31010816 140726714622807 140726714623065 140726714623065 140726714625990 0
/proc/27358/statm: 28282 364 305 221 0 87 0
[pid=27360] ppid=27358 vsize=15144776 memory=29064 CPUtime=0.12 cores=1,3,5,7
/proc/27360/stat : 27360 (java) S 27358 27358 26090 0 -1 1077944320 5680 0 0 0 12 0 0 0 20 0 15 0 516264465 15508250624 7266 33554432000 4194304 4196468 140736976249984 140736976232528 140676958486263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
/proc/27360/statm: 3786194 7266 3163 1 0 3748377 0
[pid=27360/tid=27361] ppid=27358 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (java) R 27358 27358 26090 0 -1 4202560 3565 0 0 0 9 0 0 0 20 0 15 0 516264465 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676962716640 140676958508189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27362] ppid=27358 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676894723216 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27363] ppid=27358 vsize=15144776 memory=140467319486080 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676893670416 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27364] ppid=27358 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27364/stat : 27364 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676892617616 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27365] ppid=27358 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27365/stat : 27365 (java) S 27358 27358 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264466 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676891564816 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27366] ppid=27358 vsize=15144776 memory=140467319486080 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27366/stat : 27366 (java) S 27358 27358 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264467 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676494330224 140676958497410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27367] ppid=27358 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27367/stat : 27367 (java) S 27358 27358 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264468 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676493276192 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27368] ppid=27358 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27368/stat : 27368 (java) S 27358 27358 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264468 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676492223344 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27369] ppid=27358 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27369/stat : 27369 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264470 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676491171664 140676958504859 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27370] ppid=27358 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27370/stat : 27370 (java) S 27358 27358 26090 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 516264470 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676490120048 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27371] ppid=27358 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27371/stat : 27371 (java) S 27358 27358 26090 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 516264470 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676489067248 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27372] ppid=27358 vsize=15144776 memory=140467319486080 CPUtime=0.02 cores=1,3,5,7
/proc/27360/task/27372/stat : 27372 (java) R 27358 27358 26090 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 516264470 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676488014448 140676958498198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27373] ppid=27358 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27373/stat : 27373 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264471 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676285065952 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27374] ppid=27358 vsize=15144776 memory=140467319486080 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27374/stat : 27374 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264471 15508250624 7266 33554432000 4194304 4196468 140736976249984 140676284013232 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30520 KiB

[startup+0.210765 s]*
/proc/loadavg: 1.93 1.90 1.74 4/229 27374
/proc/meminfo: memFree=26207280/32770624 swapFree=67002128/67108860
[pid=27358] ppid=27355 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27358/stat : 27358 (xcsp3-exec) S 27355 27358 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264465 115843072 364 33554432000 4194304 5098028 140726714620512 140726714618616 140576604914300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31010816 140726714622807 140726714623065 140726714623065 140726714625990 0
/proc/27358/statm: 28282 364 305 221 0 87 0
[pid=27360] ppid=27358 vsize=15144776 memory=40868 CPUtime=0.35 cores=1,3,5,7
/proc/27360/stat : 27360 (java) S 27358 27358 26090 0 -1 1077944320 9463 0 0 0 33 2 0 0 20 0 15 0 516264465 15508250624 10217 33554432000 4194304 4196468 140736976249984 140736976232528 140676958486263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
/proc/27360/statm: 3786194 10217 3302 1 0 3748377 0
[pid=27360/tid=27361] ppid=27358 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (java) R 27358 27358 26090 0 -1 4202560 6603 0 0 0 18 1 0 0 20 0 15 0 516264465 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676962719968 140676958508189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27362] ppid=27358 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676894723216 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27363] ppid=27358 vsize=15144776 memory=140467323319689 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676893670416 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27364] ppid=27358 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27364/stat : 27364 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676892617616 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27365] ppid=27358 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27365/stat : 27365 (java) S 27358 27358 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264466 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676891564816 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27366] ppid=27358 vsize=15144776 memory=140467319486080 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27366/stat : 27366 (java) S 27358 27358 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516264467 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676494330224 140676958497410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27367] ppid=27358 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27367/stat : 27367 (java) S 27358 27358 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264468 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676493276192 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27368] ppid=27358 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27368/stat : 27368 (java) S 27358 27358 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264468 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676492223344 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27369] ppid=27358 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27369/stat : 27369 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264470 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676491171664 140676958504859 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27370] ppid=27358 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27360/task/27370/stat : 27370 (java) S 27358 27358 26090 0 -1 1077944384 630 0 0 0 3 0 0 0 20 0 15 0 516264470 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676490120048 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27371] ppid=27358 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27360/task/27371/stat : 27371 (java) S 27358 27358 26090 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 15 0 516264470 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676489067248 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27372] ppid=27358 vsize=15144776 memory=140467319486080 CPUtime=0.08 cores=1,3,5,7
/proc/27360/task/27372/stat : 27372 (java) S 27358 27358 26090 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 15 0 516264470 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676488014448 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27373] ppid=27358 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27373/stat : 27373 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264471 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676285065952 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27374] ppid=27358 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27374/stat : 27374 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264471 15508250624 10217 33554432000 4194304 4196468 140736976249984 140676284013232 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42324 KiB

[startup+0.310511 s]*
/proc/loadavg: 1.93 1.90 1.74 3/229 27374
/proc/meminfo: memFree=26200372/32770624 swapFree=67002128/67108860
[pid=27358] ppid=27355 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27358/stat : 27358 (xcsp3-exec) S 27355 27358 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264465 115843072 364 33554432000 4194304 5098028 140726714620512 140726714618616 140576604914300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31010816 140726714622807 140726714623065 140726714623065 140726714625990 0
/proc/27358/statm: 28282 364 305 221 0 87 0
[pid=27360] ppid=27358 vsize=15149032 memory=49848 CPUtime=0.52 cores=1,3,5,7
/proc/27360/stat : 27360 (java) S 27358 27358 26090 0 -1 1077944320 10790 0 0 0 49 3 0 0 20 0 15 0 516264465 15512608768 12462 33554432000 4194304 4196468 140736976249984 140736976232528 140676958486263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
/proc/27360/statm: 3787258 12462 3336 1 0 3748377 0
[pid=27360/tid=27361] ppid=27358 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (java) R 27358 27358 26090 0 -1 4202560 7811 0 0 0 28 2 0 0 20 0 15 0 516264465 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676962720048 140676942566750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27362] ppid=27358 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676894723216 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27363] ppid=27358 vsize=15149032 memory=3844132 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676893670416 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27364] ppid=27358 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27364/stat : 27364 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676892617616 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27365] ppid=27358 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27365/stat : 27365 (java) S 27358 27358 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264466 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676891564816 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27366] ppid=27358 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27366/stat : 27366 (java) S 27358 27358 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516264467 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676494330224 140676958497410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27367] ppid=27358 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27367/stat : 27367 (java) S 27358 27358 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264468 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676493276192 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27368] ppid=27358 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27368/stat : 27368 (java) S 27358 27358 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264468 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676492223344 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27369] ppid=27358 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27369/stat : 27369 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264470 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676491171664 140676958504859 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27370] ppid=27358 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27360/task/27370/stat : 27370 (java) S 27358 27358 26090 0 -1 1077944384 638 0 0 0 5 0 0 0 20 0 15 0 516264470 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676490120048 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27371] ppid=27358 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27360/task/27371/stat : 27371 (java) S 27358 27358 26090 0 -1 1077944384 169 0 0 0 3 0 0 0 20 0 15 0 516264470 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676489067248 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27372] ppid=27358 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27360/task/27372/stat : 27372 (java) S 27358 27358 26090 0 -1 1077944384 867 0 0 0 13 0 0 0 20 0 15 0 516264470 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676488014448 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27373] ppid=27358 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27373/stat : 27373 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264471 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676285065952 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27374] ppid=27358 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27374/stat : 27374 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264471 15512608768 12462 33554432000 4194304 4196468 140736976249984 140676284013232 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51304 KiB

[startup+0.700842 s]
/proc/loadavg: 1.93 1.90 1.74 6/229 27374
/proc/meminfo: memFree=26181764/32770624 swapFree=67002128/67108860
[pid=27358] ppid=27355 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27358/stat : 27358 (xcsp3-exec) S 27355 27358 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264465 115843072 364 33554432000 4194304 5098028 140726714620512 140726714618616 140576604914300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31010816 140726714622807 140726714623065 140726714623065 140726714625990 0
/proc/27358/statm: 28282 364 305 221 0 87 0
[pid=27360] ppid=27358 vsize=15151156 memory=80940 CPUtime=1.64 cores=1,3,5,7
/proc/27360/stat : 27360 (java) S 27358 27358 26090 0 -1 1077944320 14987 0 0 0 159 5 0 0 20 0 15 0 516264465 15514783744 20235 33554432000 4194304 4196468 140736976249984 140736976232528 140676958486263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
/proc/27360/statm: 3787789 20235 3453 1 0 3748889 0
[pid=27360/tid=27361] ppid=27358 vsize=15151156 memory=36124 CPUtime=0.68 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (java) R 27358 27358 26090 0 -1 4202560 9018 0 0 0 65 3 0 0 20 0 15 0 516264465 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676962708128 140676573729351 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27362] ppid=27358 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676894723216 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27363] ppid=27358 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676893670416 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27364] ppid=27358 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27364/stat : 27364 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676892617616 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27365] ppid=27358 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27365/stat : 27365 (java) S 27358 27358 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676891564816 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27366] ppid=27358 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27366/stat : 27366 (java) S 27358 27358 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516264467 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676494330224 140676958497410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27367] ppid=27358 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27367/stat : 27367 (java) S 27358 27358 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264468 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676493276192 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27368] ppid=27358 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27368/stat : 27368 (java) S 27358 27358 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264468 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676492223344 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27369] ppid=27358 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27369/stat : 27369 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264470 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676491171664 140676958504859 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27370] ppid=27358 vsize=15151156 memory=2676 CPUtime=0.33 cores=1,3,5,7
/proc/27360/task/27370/stat : 27370 (java) R 27358 27358 26090 0 -1 4202560 1882 0 0 0 33 0 0 0 20 0 15 0 516264470 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676490106368 140676936503272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27371] ppid=27358 vsize=15151156 memory=1764 CPUtime=0.33 cores=1,3,5,7
/proc/27360/task/27371/stat : 27371 (java) R 27358 27358 26090 0 -1 4202560 1414 0 0 0 33 0 0 0 20 0 15 0 516264470 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676489049112 140676940030891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27372] ppid=27358 vsize=15151156 memory=111632 CPUtime=0.27 cores=1,3,5,7
/proc/27360/task/27372/stat : 27372 (java) S 27358 27358 26090 0 -1 1077944384 1363 0 0 0 27 0 0 0 20 0 15 0 516264470 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676488014448 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27373] ppid=27358 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27373/stat : 27373 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264471 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676285065952 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27374] ppid=27358 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27374/stat : 27374 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264471 15514783744 20235 33554432000 4194304 4196468 140736976249984 140676284013232 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 82396 KiB

[startup+1.34856 s]
# the end of solver process 27358 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.09166 s, system=0.065551 s

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

[startup+0.801026 s]
/proc/loadavg: 1.93 1.90 1.74 6/229 27374
/proc/meminfo: memFree=26181764/32770624 swapFree=67002128/67108860
[pid=27358] ppid=27355 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27358/stat : 27358 (xcsp3-exec) S 27355 27358 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264465 115843072 364 33554432000 4194304 5098028 140726714620512 140726714618616 140576604914300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31010816 140726714622807 140726714623065 140726714623065 140726714625990 0
/proc/27358/statm: 28282 364 305 221 0 87 0
[pid=27360] ppid=27358 vsize=15151156 memory=88324 CPUtime=1.91 cores=1,3,5,7
/proc/27360/stat : 27360 (java) S 27358 27358 26090 0 -1 1077944320 15259 0 0 0 186 5 0 0 20 0 15 0 516264465 15514783744 22081 33554432000 4194304 4196468 140736976249984 140736976232528 140676958486263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
/proc/27360/statm: 3787789 22081 3455 1 0 3748889 0
[pid=27360/tid=27361] ppid=27358 vsize=15151156 memory=280934348056000 CPUtime=0.78 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (java) R 27358 27358 26090 0 -1 4202560 9025 0 0 0 75 3 0 0 20 0 15 0 516264465 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676962708128 140676573959654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27362] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676894723216 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27363] ppid=27358 vsize=15151156 memory=288230583199596876 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676893670416 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27364] ppid=27358 vsize=15151156 memory=3470735 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27364/stat : 27364 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676892617616 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27365] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27365/stat : 27365 (java) S 27358 27358 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676891564816 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27366] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27366/stat : 27366 (java) S 27358 27358 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516264467 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676494330224 140676958497410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27367] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27367/stat : 27367 (java) S 27358 27358 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264468 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676493276192 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27368] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27368/stat : 27368 (java) S 27358 27358 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264468 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676492223344 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27369] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27369/stat : 27369 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264470 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676491171664 140676958504859 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27370] ppid=27358 vsize=15151156 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/27360/task/27370/stat : 27370 (java) R 27358 27358 26090 0 -1 4202560 1924 0 0 0 39 0 0 0 20 0 15 0 516264470 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676490120048 140676940031514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27371] ppid=27358 vsize=15151156 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/27360/task/27371/stat : 27371 (java) R 27358 27358 26090 0 -1 4202560 1625 0 0 0 43 0 0 0 20 0 15 0 516264470 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676489049112 140676940029595 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27372] ppid=27358 vsize=15151156 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/27360/task/27372/stat : 27372 (java) R 27358 27358 26090 0 -1 4202560 1375 0 0 0 28 0 0 0 20 0 15 0 516264470 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676488014448 140676958507610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27373] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27373/stat : 27373 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264471 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676285065952 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27374] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27374/stat : 27374 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264471 15514783744 22081 33554432000 4194304 4196468 140736976249984 140676284013232 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89780 KiB

[startup+1.20078 s]
/proc/loadavg: 1.93 1.90 1.74 5/229 27374
/proc/meminfo: memFree=26147764/32770624 swapFree=67002128/67108860
[pid=27358] ppid=27355 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27358/stat : 27358 (xcsp3-exec) S 27355 27358 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264465 115843072 364 33554432000 4194304 5098028 140726714620512 140726714618616 140576604914300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31010816 140726714622807 140726714623065 140726714623065 140726714625990 0
/proc/27358/statm: 28282 364 305 221 0 87 0
[pid=27360] ppid=27358 vsize=15151156 memory=129832 CPUtime=2.81 cores=1,3,5,7
/proc/27360/stat : 27360 (java) S 27358 27358 26090 0 -1 1077944320 18346 0 0 0 276 5 0 0 20 0 15 0 516264465 15514783744 32458 33554432000 4194304 4196468 140736976249984 140736976232528 140676958486263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
/proc/27360/statm: 3787789 32458 3458 1 0 3748889 0
[pid=27360/tid=27361] ppid=27358 vsize=15151156 memory=1804 CPUtime=1.18 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (java) R 27358 27358 26090 0 -1 4202560 9382 0 0 0 114 4 0 0 20 0 15 0 516264465 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676962723432 140676574432391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27362] ppid=27358 vsize=15151156 memory=916 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676894723216 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27363] ppid=27358 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676893670416 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27364] ppid=27358 vsize=15151156 memory=2856 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27364/stat : 27364 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676892617616 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27365] ppid=27358 vsize=15151156 memory=2616 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27365/stat : 27365 (java) S 27358 27358 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676891564816 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27366] ppid=27358 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27366/stat : 27366 (java) S 27358 27358 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516264467 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676494330224 140676958497410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27367] ppid=27358 vsize=15151156 memory=2804 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27367/stat : 27367 (java) S 27358 27358 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264468 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676493276192 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27368] ppid=27358 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27368/stat : 27368 (java) S 27358 27358 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264468 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676492223344 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27369] ppid=27358 vsize=15151156 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27369/stat : 27369 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264470 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676491171664 140676958504859 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27370] ppid=27358 vsize=15151156 memory=2244 CPUtime=0.65 cores=1,3,5,7
/proc/27360/task/27370/stat : 27370 (java) S 27358 27358 26090 0 -1 1077944384 3494 0 0 0 65 0 0 0 20 0 15 0 516264470 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676490120048 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27371] ppid=27358 vsize=15151156 memory=6656426216303648864 CPUtime=0.65 cores=1,3,5,7
/proc/27360/task/27371/stat : 27371 (java) S 27358 27358 26090 0 -1 1077944384 2473 0 0 0 65 0 0 0 20 0 15 0 516264470 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676489067248 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27372] ppid=27358 vsize=15151156 memory=100896 CPUtime=0.31 cores=1,3,5,7
/proc/27360/task/27372/stat : 27372 (java) S 27358 27358 26090 0 -1 1077944384 1682 0 0 0 31 0 0 0 20 0 15 0 516264470 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676488014448 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27373] ppid=27358 vsize=15151156 memory=280934348055216 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27373/stat : 27373 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264471 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676285065952 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27374] ppid=27358 vsize=15151156 memory=288230377057943841 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27374/stat : 27374 (java) S 27358 27358 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516264471 15514783744 32458 33554432000 4194304 4196468 140736976249984 140676284013232 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 131288 KiB

[startup+1.30147 s]
/proc/loadavg: 1.93 1.90 1.74 5/229 27374
/proc/meminfo: memFree=26147764/32770624 swapFree=67002128/67108860
[pid=27358] ppid=27355 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27358/stat : 27358 (xcsp3-exec) S 27355 27358 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264465 115843072 364 33554432000 4194304 5098028 140726714620512 140726714618616 140576604914300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31010816 140726714622807 140726714623065 140726714623065 140726714625990 0
/proc/27358/statm: 28282 364 305 221 0 87 0
[pid=27360] ppid=27358 vsize=15151156 memory=129964 CPUtime=3.03 cores=1,3,5,7
/proc/27360/stat : 27360 (java) S 27358 27358 26090 0 -1 1077944320 19571 0 0 0 298 5 0 0 20 0 15 0 516264465 15514783744 32491 33554432000 4194304 4196468 140736976249984 140736976232528 140676958486263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
/proc/27360/statm: 3787789 32491 3459 1 0 3748889 0
[pid=27360/tid=27361] ppid=27358 vsize=15151156 memory=1456 CPUtime=1.28 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (java) R 27358 27358 26090 0 -1 4202560 9439 0 0 0 124 4 0 0 20 0 15 0 516264465 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676962721264 140676574464664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27362] ppid=27358 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676894723216 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27363] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676893670416 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27364] ppid=27358 vsize=15151156 memory=8708 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27364/stat : 27364 (java) S 27358 27358 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676892617616 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27365] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27365/stat : 27365 (java) S 27358 27358 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264466 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676891564816 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27366] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27366/stat : 27366 (java) S 27358 27358 26090 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 516264467 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676494330224 140676958497410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27367] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27367/stat : 27367 (java) S 27358 27358 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264468 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676493276192 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27368] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27368/stat : 27368 (java) S 27358 27358 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264468 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676492223344 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27369] ppid=27358 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27369/stat : 27369 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264470 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676491171664 140676958504859 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27370] ppid=27358 vsize=15151156 memory=3906094662064958828 CPUtime=0.71 cores=1,3,5,7
/proc/27360/task/27370/stat : 27370 (java) R 27358 27358 26090 0 -1 4202560 3800 0 0 0 71 0 0 0 20 0 15 0 516264470 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676490106272 140676943407338 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27371] ppid=27358 vsize=15151156 memory=7380388691200595044 CPUtime=0.7 cores=1,3,5,7
/proc/27360/task/27371/stat : 27371 (java) R 27358 27358 26090 0 -1 4202560 3053 0 0 0 70 0 0 0 20 0 15 0 516264470 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676489067248 140676943166637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27372] ppid=27358 vsize=15151156 memory=8173021143387956544 CPUtime=0.32 cores=1,3,5,7
/proc/27360/task/27372/stat : 27372 (java) S 27358 27358 26090 0 -1 1077944384 1934 0 0 0 32 0 0 0 20 0 15 0 516264470 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676488014448 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27373] ppid=27358 vsize=15151156 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27373/stat : 27373 (java) S 27358 27358 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264471 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676285065952 140676958496469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
[pid=27360/tid=27374] ppid=27358 vsize=15151156 memory=36124 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27374/stat : 27374 (java) S 27358 27358 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516264471 15514783744 32491 33554432000 4194304 4196468 140736976249984 140676284013232 140676958497410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140736976253915 140736976254090 140736976254090 140736976256975 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 131420 KiB

Child status: 0
Real time (s): 1.34861
CPU time (s): 3.15721
CPU user time (s): 3.09166
CPU system time (s): 0.065551
CPU usage (%): 234.108
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 131420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.09166
system time used= 0.065551
maximum resident set size= 132436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20861
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= 1522
involuntary context switches= 17


# summary of solver processes directly reported to runsolver:
#   pid: 27358
#   total CPU time (s): 3.15721
#   total CPU user time (s): 3.09166
#   total CPU system time (s): 0.065551

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038272 second user time and 0.051582 second system time

The end
Name	MagicSequence/MagicSequence-card-s1/ MagicSequence-1000-ca.xml
MD5SUM	d2780e3631970b53a6f91cd037f7d107
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	3.15721
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	3
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective
Trace number 4405757

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
