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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT	3.5476999	1.41354
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 (14332 MiB free)
  memory of node 1: 16384 MiB (15432 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283989-1503192364/watcher-4283989-1503192364 -o /tmp/evaluation-result-4283989-1503192364/solver-4283989-1503192364 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1870800250 HOME/instance-4283989-1503192364.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=15273, runsolver pid=15270
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 2.58 1.95 1.73 2/198 15274
/proc/meminfo: memFree=30478700/32770624 swapFree=67108860/67108860
[pid=15273] ppid=15270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15273/stat : 15273 (xcsp3-exec) S 15270 15273 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429336 9740288 345 18446744073709551615 4194304 5098028 140733847578304 140733847576408 140672162620028 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 17231872 140733847585144 140733847585349 140733847585349 140733847588843 0
/proc/15273/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.209464 s]*
/proc/loadavg: 2.58 1.95 1.73 2/212 15288
/proc/meminfo: memFree=30468124/32770624 swapFree=67108860/67108860
[pid=15273] ppid=15270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15273/stat : 15273 (xcsp3-exec) S 15270 15273 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429336 9740288 345 18446744073709551615 4194304 5098028 140733847578304 140733847576408 140672162620028 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 17231872 140733847585144 140733847585349 140733847585349 140733847588843 0
/proc/15273/statm: 2378 345 289 221 0 87 0
[pid=15275] ppid=15273 vsize=13973868 memory=22928 CPUtime=0.06 cores=1,3,5,7
/proc/15275/stat : 15275 (java) S 15273 15273 28892 0 -1 1077944320 4670 0 0 0 5 1 0 0 20 0 15 0 121429346 14309240832 5732 18446744073709551615 4194304 4196468 140723728932800 140723728915344 140666985873143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
/proc/15275/statm: 3493467 5732 2571 1 0 3482964 0
[pid=15275/tid=15276] ppid=15273 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (java) R 15273 15273 28892 0 -1 4202560 2901 0 0 0 4 1 0 0 20 0 15 0 121429346 14309736448 5796 18446744073709551615 4194304 4196468 140723728932800 140666990099488 140666878963267 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15277] ppid=15273 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14309736448 5796 18446744073709551615 4194304 4196468 140723728932800 140666585738000 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15278] ppid=15273 vsize=13974352 memory=3473036327028827808 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666584685456 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15279] ppid=15273 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15279/stat : 15279 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666583632912 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15280] ppid=15273 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15280/stat : 15280 (java) S 15273 15273 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429347 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666582580368 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15281] ppid=15273 vsize=13974352 memory=140674197399168 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15281/stat : 15281 (java) S 15273 15273 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429348 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666464045040 140666985884290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15282] ppid=15273 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15282/stat : 15282 (java) S 15273 15273 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429349 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666462991264 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15283] ppid=15273 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15283/stat : 15283 (java) S 15273 15273 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429349 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666461938672 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15284] ppid=15273 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15284/stat : 15284 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429351 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666460887248 140666985891739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15285] ppid=15273 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15285/stat : 15285 (java) S 15273 15273 28892 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 121429352 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666459834864 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15286] ppid=15273 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15286/stat : 15286 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429352 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666458782320 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15287] ppid=15273 vsize=13974352 memory=140674197399168 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15287/stat : 15287 (java) S 15273 15273 28892 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 121429352 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666457729776 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15288] ppid=15273 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15288/stat : 15288 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429352 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666456677472 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15289] ppid=15273 vsize=13974352 memory=140674197399168 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15289/stat : 15289 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429357 14309736448 5862 18446744073709551615 4194304 4196468 140723728932800 140666455623984 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 24308 KiB

[startup+0.310383 s]*
/proc/loadavg: 2.58 1.95 1.73 3/213 15289
/proc/meminfo: memFree=30453176/32770624 swapFree=67108860/67108860
[pid=15273] ppid=15270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15273/stat : 15273 (xcsp3-exec) S 15270 15273 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429336 9740288 345 18446744073709551615 4194304 5098028 140733847578304 140733847576408 140672162620028 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 17231872 140733847585144 140733847585349 140733847585349 140733847588843 0
/proc/15273/statm: 2378 345 289 221 0 87 0
[pid=15275] ppid=15273 vsize=13974352 memory=37224 CPUtime=0.23 cores=1,3,5,7
/proc/15275/stat : 15275 (java) S 15273 15273 28892 0 -1 1077944320 8325 0 0 0 21 2 0 0 20 0 15 0 121429346 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140723728915344 140666985873143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
/proc/15275/statm: 3493588 9306 2973 1 0 3482964 0
[pid=15275/tid=15276] ppid=15273 vsize=13974352 memory=-7677926825137650786 CPUtime=0.15 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (java) R 15273 15273 28892 0 -1 4202560 5657 0 0 0 13 2 0 0 20 0 15 0 121429346 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666990095520 140666969953630 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15277] ppid=15273 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666585738000 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15278] ppid=15273 vsize=13974352 memory=140674197399168 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666584685456 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15279] ppid=15273 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15279/stat : 15279 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666583632912 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15280] ppid=15273 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15280/stat : 15280 (java) S 15273 15273 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429347 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666582580368 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15281] ppid=15273 vsize=13974352 memory=140674197399168 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15281/stat : 15281 (java) S 15273 15273 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429348 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666464045040 140666985884290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15282] ppid=15273 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15282/stat : 15282 (java) S 15273 15273 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429349 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666462991264 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15283] ppid=15273 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15283/stat : 15283 (java) S 15273 15273 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429349 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666461938672 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15284] ppid=15273 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15284/stat : 15284 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429351 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666460887248 140666985891739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15285] ppid=15273 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15275/task/15285/stat : 15285 (java) S 15273 15273 28892 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 15 0 121429352 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666459834864 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15286] ppid=15273 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15275/task/15286/stat : 15286 (java) S 15273 15273 28892 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 15 0 121429352 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666458782320 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15287] ppid=15273 vsize=13974352 memory=140674197399168 CPUtime=0.05 cores=1,3,5,7
/proc/15275/task/15287/stat : 15287 (java) S 15273 15273 28892 0 -1 1077944384 678 0 0 0 5 0 0 0 20 0 15 0 121429352 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666457729776 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15288] ppid=15273 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15288/stat : 15288 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429352 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666456677472 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15289] ppid=15273 vsize=13974352 memory=140674197399168 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15289/stat : 15289 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429357 14309736448 9306 18446744073709551615 4194304 4196468 140723728932800 140666455623984 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38604 KiB

[startup+0.701544 s]
/proc/loadavg: 2.58 1.95 1.73 5/213 15289
/proc/meminfo: memFree=30439292/32770624 swapFree=67108860/67108860
[pid=15273] ppid=15270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15273/stat : 15273 (xcsp3-exec) S 15270 15273 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429336 9740288 345 18446744073709551615 4194304 5098028 140733847578304 140733847576408 140672162620028 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 17231872 140733847585144 140733847585349 140733847585349 140733847588843 0
/proc/15273/statm: 2378 345 289 221 0 87 0
[pid=15275] ppid=15273 vsize=13978684 memory=73672 CPUtime=1.26 cores=1,3,5,7
/proc/15275/stat : 15275 (java) S 15273 15273 28892 0 -1 1077944320 12619 0 0 0 121 5 0 0 20 0 15 0 121429346 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140723728915344 140666985873143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
/proc/15275/statm: 3494671 18418 3156 1 0 3482964 0
[pid=15275/tid=15276] ppid=15273 vsize=13978684 memory=5795117241467496816 CPUtime=0.53 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (java) R 15273 15273 28892 0 -1 4202560 7510 0 0 0 49 4 0 0 20 0 15 0 121429346 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666990107408 140666985895069 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15277] ppid=15273 vsize=13978684 memory=6154820267226784105 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666585738000 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15278] ppid=15273 vsize=13978684 memory=4639930618066522192 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666584685456 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15279] ppid=15273 vsize=13978684 memory=-8820188211957838939 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15279/stat : 15279 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666583632912 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15280] ppid=15273 vsize=13978684 memory=-9109213556524817781 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15280/stat : 15280 (java) S 15273 15273 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429347 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666582580368 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15281] ppid=15273 vsize=13978684 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15281/stat : 15281 (java) S 15273 15273 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121429348 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666464045040 140666985884290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15282] ppid=15273 vsize=13978684 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15282/stat : 15282 (java) S 15273 15273 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429349 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666462991264 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15283] ppid=15273 vsize=13978684 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15283/stat : 15283 (java) S 15273 15273 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429349 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666461938672 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15284] ppid=15273 vsize=13978684 memory=7679937539709960979 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15284/stat : 15284 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429351 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666460887248 140666985891739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15285] ppid=15273 vsize=13978684 memory=3908 CPUtime=0.23 cores=1,3,5,7
/proc/15275/task/15285/stat : 15285 (java) R 15273 15273 28892 0 -1 4202560 1555 0 0 0 23 0 0 0 20 0 15 0 121429352 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666459821472 140666969257993 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15286] ppid=15273 vsize=13978684 memory=-7677926825137650786 CPUtime=0.19 cores=1,3,5,7
/proc/15275/task/15286/stat : 15286 (java) R 15273 15273 28892 0 -1 4202560 701 0 0 0 19 0 0 0 20 0 15 0 121429352 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666458767712 140666967417822 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15287] ppid=15273 vsize=13978684 memory=4872558044660077418 CPUtime=0.29 cores=1,3,5,7
/proc/15275/task/15287/stat : 15287 (java) S 15273 15273 28892 0 -1 1077944384 1544 0 0 0 29 0 0 0 20 0 15 0 121429352 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666457729776 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15288] ppid=15273 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15288/stat : 15288 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429352 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666456677472 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15289] ppid=15273 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15289/stat : 15289 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429357 14314172416 18418 18446744073709551615 4194304 4196468 140723728932800 140666455623984 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 75052 KiB

[startup+1.4135 s]
# the end of solver process 15273 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.47436 s, system=0.073339 s

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

[startup+0.802252 s]
/proc/loadavg: 2.58 1.95 1.73 5/213 15289
/proc/meminfo: memFree=30439292/32770624 swapFree=67108860/67108860
[pid=15273] ppid=15270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15273/stat : 15273 (xcsp3-exec) S 15270 15273 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429336 9740288 345 18446744073709551615 4194304 5098028 140733847578304 140733847576408 140672162620028 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 17231872 140733847585144 140733847585349 140733847585349 140733847588843 0
/proc/15273/statm: 2378 345 289 221 0 87 0
[pid=15275] ppid=15273 vsize=13980732 memory=82092 CPUtime=1.57 cores=1,3,5,7
/proc/15275/stat : 15275 (java) S 15273 15273 28892 0 -1 1077944320 13506 0 0 0 152 5 0 0 20 0 15 0 121429346 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140723728915344 140666985873143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
/proc/15275/statm: 3495183 20523 3165 1 0 3483476 0
[pid=15275/tid=15276] ppid=15273 vsize=13980732 memory=6082202987142081111 CPUtime=0.62 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (java) R 15273 15273 28892 0 -1 4202560 7976 0 0 0 58 4 0 0 20 0 15 0 121429346 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666990110416 140666883324393 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15277] ppid=15273 vsize=13980732 memory=6082202987141949783 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666585738000 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15278] ppid=15273 vsize=13980732 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666584685456 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15279] ppid=15273 vsize=13980732 memory=7595155189135928942 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15279/stat : 15279 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666583632912 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15280] ppid=15273 vsize=13980732 memory=7584172163509678693 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15280/stat : 15280 (java) S 15273 15273 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429347 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666582580368 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15281] ppid=15273 vsize=13980732 memory=7091028034376069225 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15281/stat : 15281 (java) S 15273 15273 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121429348 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666464045040 140666985884290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15282] ppid=15273 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15282/stat : 15282 (java) S 15273 15273 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429349 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666462991264 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15283] ppid=15273 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15283/stat : 15283 (java) S 15273 15273 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429349 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666461938672 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15284] ppid=15273 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15284/stat : 15284 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429351 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666460887248 140666985891739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15285] ppid=15273 vsize=13980732 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/15275/task/15285/stat : 15285 (java) R 15273 15273 28892 0 -1 1077944384 1591 0 0 0 30 0 0 0 20 0 15 0 121429352 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666459825696 140666985883349 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15286] ppid=15273 vsize=13980732 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/15275/task/15286/stat : 15286 (java) R 15273 15273 28892 0 -1 4202560 837 0 0 0 26 0 0 0 20 0 15 0 121429352 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666458770880 140666967391042 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15287] ppid=15273 vsize=13980732 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/15275/task/15287/stat : 15287 (java) R 15273 15273 28892 0 -1 4202560 1793 0 0 0 36 0 0 0 20 0 15 0 121429352 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666457724816 140666966221626 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15288] ppid=15273 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15288/stat : 15288 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429352 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666456677472 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15289] ppid=15273 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15289/stat : 15289 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429357 14316269568 20523 18446744073709551615 4194304 4196468 140723728932800 140666455623984 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 83472 KiB

[startup+1.20083 s]
/proc/loadavg: 2.58 1.95 1.73 6/213 15289
/proc/meminfo: memFree=30396804/32770624 swapFree=67108860/67108860
[pid=15273] ppid=15270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15273/stat : 15273 (xcsp3-exec) S 15270 15273 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429336 9740288 345 18446744073709551615 4194304 5098028 140733847578304 140733847576408 140672162620028 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 17231872 140733847585144 140733847585349 140733847585349 140733847588843 0
/proc/15273/statm: 2378 345 289 221 0 87 0
[pid=15275] ppid=15273 vsize=13980732 memory=107620 CPUtime=2.9 cores=1,3,5,7
/proc/15275/stat : 15275 (java) S 15273 15273 28892 0 -1 1077944320 20940 0 0 0 284 6 0 0 20 0 15 0 121429346 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140723728915344 140666985873143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
/proc/15275/statm: 3495183 26905 3192 1 0 3483476 0
[pid=15275/tid=15276] ppid=15273 vsize=13980732 memory=-6876662296067856511 CPUtime=1.02 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (java) R 15273 15273 28892 0 -1 4202560 8828 0 0 0 98 4 0 0 20 0 15 0 121429346 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666990112536 140666971258528 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15277] ppid=15273 vsize=13980732 memory=667680 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666585738000 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15278] ppid=15273 vsize=13980732 memory=10 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666584685456 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15279] ppid=15273 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15279/stat : 15279 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429347 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666583632912 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15280] ppid=15273 vsize=13980732 memory=2867664690165557 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15280/stat : 15280 (java) S 15273 15273 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429347 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666582580368 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15281] ppid=15273 vsize=13980732 memory=667680 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15281/stat : 15281 (java) S 15273 15273 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121429348 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666464045040 140666985884290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15282] ppid=15273 vsize=13980732 memory=667680 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15282/stat : 15282 (java) S 15273 15273 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429349 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666462991264 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15283] ppid=15273 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15283/stat : 15283 (java) S 15273 15273 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429349 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666461938672 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15284] ppid=15273 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15284/stat : 15284 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429351 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666460887248 140666985891739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15285] ppid=15273 vsize=13980732 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15275/task/15285/stat : 15285 (java) R 15273 15273 28892 0 -1 4202560 4763 0 0 0 66 0 0 0 20 0 15 0 121429352 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666459821712 140666970797430 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15286] ppid=15273 vsize=13980732 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/15275/task/15286/stat : 15286 (java) R 15273 15273 28892 0 -1 4202560 2878 0 0 0 64 0 0 0 20 0 15 0 121429352 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666458763336 140666969284015 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15287] ppid=15273 vsize=13980732 memory=6944656592455097440 CPUtime=0.54 cores=1,3,5,7
/proc/15275/task/15287/stat : 15287 (java) R 15273 15273 28892 0 -1 1077944384 3160 0 0 0 54 0 0 0 20 0 15 0 121429352 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666457729776 140666985884290 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15288] ppid=15273 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15288/stat : 15288 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429352 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666456677472 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15289] ppid=15273 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15289/stat : 15289 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429357 14316269568 26905 18446744073709551615 4194304 4196468 140723728932800 140666455623984 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 109000 KiB

[startup+1.40071 s]
/proc/loadavg: 2.58 1.95 1.73 6/213 15289
/proc/meminfo: memFree=30396804/32770624 swapFree=67108860/67108860
[pid=15273] ppid=15270 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15273/stat : 15273 (xcsp3-exec) S 15270 15273 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429336 9740288 345 18446744073709551615 4194304 5098028 140733847578304 140733847576408 140672162620028 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 17231872 140733847585144 140733847585349 140733847585349 140733847588843 0
/proc/15273/statm: 2378 345 289 221 0 87 0
[pid=15275] ppid=15273 vsize=13980732 memory=118264 CPUtime=3.53 cores=1,3,5,7
/proc/15275/stat : 15275 (java) S 15273 15273 28892 0 -1 1077944320 23455 0 0 0 347 6 0 0 20 0 13 0 121429346 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140723728915344 140666985873143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
/proc/15275/statm: 3495183 29566 3197 1 0 3483476 0
[pid=15275/tid=15276] ppid=15273 vsize=13980732 memory=0 CPUtime=1.21 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (java) S 15273 15273 28892 0 -1 1077944384 9252 0 0 0 117 4 0 0 20 0 13 0 121429346 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666990115984 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15277] ppid=15273 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 121429347 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666585738000 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15278] ppid=15273 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 121429347 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666584685456 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15279] ppid=15273 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15279/stat : 15279 (java) S 15273 15273 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 121429347 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666583632912 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15280] ppid=15273 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15280/stat : 15280 (java) S 15273 15273 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 121429347 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666582580368 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15281] ppid=15273 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15281/stat : 15281 (java) S 15273 15273 28892 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 13 0 121429348 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666464045248 140666985884290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15282] ppid=15273 vsize=13980732 memory=1170871 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15282/stat : 15282 (java) S 15273 15273 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 121429349 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666462991264 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15283] ppid=15273 vsize=13980732 memory=301741412146492852 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15283/stat : 15283 (java) S 15273 15273 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 121429349 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666461938672 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15285] ppid=15273 vsize=13980732 memory=7954319454180304494 CPUtime=0.86 cores=1,3,5,7
/proc/15275/task/15285/stat : 15285 (java) S 15273 15273 28892 0 -1 1077944384 5712 0 0 0 86 0 0 0 20 0 13 0 121429352 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666459815280 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15286] ppid=15273 vsize=13980732 memory=7444842037203330385 CPUtime=0.84 cores=1,3,5,7
/proc/15275/task/15286/stat : 15286 (java) S 15273 15273 28892 0 -1 1077944384 3866 0 0 0 84 0 0 0 20 0 13 0 121429352 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666458761824 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15287] ppid=15273 vsize=13980732 memory=7091577772841132887 CPUtime=0.57 cores=1,3,5,7
/proc/15275/task/15287/stat : 15287 (java) S 15273 15273 28892 0 -1 1077944384 3280 0 0 0 57 0 0 0 20 0 13 0 121429352 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666457729776 140666985884290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
[pid=15275/tid=15288] ppid=15273 vsize=13980732 memory=-7019007802211101846 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15288/stat : 15288 (java) S 15273 15273 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 121429352 14316269568 29566 18446744073709551615 4194304 4196468 140723728932800 140666456677472 140666985883349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8392704 140723728937393 140723728937569 140723728937569 140723728941007 0
Current children cumulated CPU time: 3.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 119644 KiB

Child status: 0
Real time (s): 1.41354
CPU time (s): 3.5477
CPU user time (s): 3.47436
CPU system time (s): 0.073339
CPU usage (%): 250.979
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 119644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.47436
system time used= 0.073339
maximum resident set size= 118576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23994
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= 1974
involuntary context switches= 14


# summary of solver processes directly reported to runsolver:
#   pid: 15273
#   total CPU time (s): 3.5477
#   total CPU user time (s): 3.47436
#   total CPU system time (s): 0.073339

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032295 second user time and 0.056516 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-24-sum.xml
MD5SUM	e3989d840e6da5d4ed83bf18c49d4f4f
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	0.131742
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":21},{"degree":5,"count":45},{"degree":6,"count":90},{"degree":7,"count":90},{"degree":8,"count":129},{"degree":9,"count":111},{"degree":10,"count":66},{"degree":11,"count":45}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4283989

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
