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 4.0.5 seq (2017-08-09)	SAT	2.61097	1.1361001
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 (14067 MiB free)
  memory of node 1: 16384 MiB (15598 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269767-1502742683/watcher-4269767-1502742683 -o /tmp/evaluation-result-4269767-1502742683/solver-4269767-1502742683 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 707456424 HOME/instance-4269767-1502742683.xml 

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

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

solver pid=28114, runsolver pid=28111

[startup+0.100111 s]*
/proc/loadavg: 2.48 2.00 1.84 2/196 28115
/proc/meminfo: memFree=30375896/32770624 swapFree=67108860/67108860
[pid=28114] ppid=28111 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/28114/stat : 28114 (runsolver) D 28111 28114 11586 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 62608984 34791424 114 18446744073709551615 4194304 4346622 140724204164064 140724204160696 140181621895895 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 17354752 140724204167223 140724204167716 140724204167716 140724204171210 0
/proc/28114/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.20893 s]*
/proc/loadavg: 2.48 2.00 1.84 3/210 28129
/proc/meminfo: memFree=30360016/32770624 swapFree=67108860/67108860
[pid=28114] ppid=28111 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28114/stat : 28114 (xcsp3-exec) S 28111 28114 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62608984 9740288 345 18446744073709551615 4194304 5098028 140731189021280 140731189019384 140452348822140 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 21307392 140731189027193 140731189027397 140731189027397 140731189030891 0
/proc/28114/statm: 2378 345 289 221 0 87 0
[pid=28116] ppid=28114 vsize=13907304 memory=22144 CPUtime=0.05 cores=1,3,5,7
/proc/28116/stat : 28116 (java) S 28114 28114 11586 0 -1 1077944320 4925 0 0 0 5 0 0 0 20 0 14 0 62608996 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 140730461403760 139813743259383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
/proc/28116/statm: 3476826 5536 2568 1 0 3466323 0
[pid=28116/tid=28117] ppid=28114 vsize=13907304 memory=-6658963941285269859 CPUtime=0.04 cores=1,3,5,7
/proc/28116/task/28117/stat : 28117 (java) D 28114 28114 11586 0 -1 4202560 3107 0 0 0 4 0 0 0 20 0 14 0 62608996 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813747496864 139813743281405 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28118] ppid=28114 vsize=13907304 memory=4211973907829636490 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28118/stat : 28118 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 62608997 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813677693584 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28119] ppid=28114 vsize=13907304 memory=140181624845952 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28119/stat : 28119 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 62608997 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813676640784 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28120] ppid=28114 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28120/stat : 28120 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62608997 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813675587984 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28121] ppid=28114 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28121/stat : 28121 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62608997 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813674535184 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28122] ppid=28114 vsize=13907304 memory=140181624845952 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28122/stat : 28122 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 62608998 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813221526384 139813743270530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28123] ppid=28114 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28123/stat : 28123 (java) S 28114 28114 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 62608999 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813220472352 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28124] ppid=28114 vsize=13907304 memory=140181624845952 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28124/stat : 28124 (java) S 28114 28114 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 62608999 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813219419504 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28125] ppid=28114 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28125/stat : 28125 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 62609001 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813218367824 139813743277979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28126] ppid=28114 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28126/stat : 28126 (java) S 28114 28114 11586 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 14 0 62609001 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813217315184 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28127] ppid=28114 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28127/stat : 28127 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62609001 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813216262384 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28128] ppid=28114 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28128/stat : 28128 (java) S 28114 28114 11586 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 62609001 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813215209584 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28129] ppid=28114 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28129/stat : 28129 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 62609001 14241079296 5536 18446744073709551615 4194304 4196468 140730461421216 139813214157024 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23524 KiB

[startup+0.309829 s]*
/proc/loadavg: 2.48 2.00 1.84 4/211 28130
/proc/meminfo: memFree=30348644/32770624 swapFree=67108860/67108860
[pid=28114] ppid=28111 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28114/stat : 28114 (xcsp3-exec) S 28111 28114 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62608984 9740288 345 18446744073709551615 4194304 5098028 140731189021280 140731189019384 140452348822140 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 21307392 140731189027193 140731189027397 140731189027397 140731189030891 0
/proc/28114/statm: 2378 345 289 221 0 87 0
[pid=28116] ppid=28114 vsize=13975376 memory=35228 CPUtime=0.23 cores=1,3,5,7
/proc/28116/stat : 28116 (java) S 28114 28114 11586 0 -1 1077944320 8719 0 0 0 21 2 0 0 20 0 15 0 62608996 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 140730461403760 139813743259383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
/proc/28116/statm: 3493844 8807 2979 1 0 3483220 0
[pid=28116/tid=28117] ppid=28114 vsize=13975376 memory=288363917221298210 CPUtime=0.14 cores=1,3,5,7
/proc/28116/task/28117/stat : 28117 (java) R 28114 28114 11586 0 -1 4202560 5961 0 0 0 12 2 0 0 20 0 15 0 62608996 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813747481760 139813735939101 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28118] ppid=28114 vsize=13975376 memory=301 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28118/stat : 28118 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608997 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813677693584 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28119] ppid=28114 vsize=13975376 memory=140181625460102 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28119/stat : 28119 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608997 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813676640784 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28120] ppid=28114 vsize=13975376 memory=-6804530833007812508 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28120/stat : 28120 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62608997 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813675587984 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28121] ppid=28114 vsize=13975376 memory=8097827316026060847 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28121/stat : 28121 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62608997 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813674535184 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28122] ppid=28114 vsize=13975376 memory=7311575213149607411 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28122/stat : 28122 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608998 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813221526384 139813743270530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28123] ppid=28114 vsize=13975376 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28123/stat : 28123 (java) S 28114 28114 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62608999 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813220472352 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28124] ppid=28114 vsize=13975376 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28124/stat : 28124 (java) S 28114 28114 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62608999 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813219419504 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28125] ppid=28114 vsize=13975376 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28125/stat : 28125 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609001 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813218367824 139813743277979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28126] ppid=28114 vsize=13975376 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28116/task/28126/stat : 28126 (java) S 28114 28114 11586 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 62609001 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813217315184 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28127] ppid=28114 vsize=13975376 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28116/task/28127/stat : 28127 (java) S 28114 28114 11586 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 62609001 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813216262384 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28128] ppid=28114 vsize=13975376 memory=140181624845952 CPUtime=0.05 cores=1,3,5,7
/proc/28116/task/28128/stat : 28128 (java) S 28114 28114 11586 0 -1 1077944384 696 0 0 0 5 0 0 0 20 0 15 0 62609001 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813215209584 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28129] ppid=28114 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28129/stat : 28129 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609001 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813214157024 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28130] ppid=28114 vsize=13975376 memory=140181624845952 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28130/stat : 28130 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609007 14310785024 8807 18446744073709551615 4194304 4196468 140730461421216 139813213105328 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 36608 KiB

[startup+0.70618 s]
/proc/loadavg: 2.44 2.00 1.84 6/211 28130
/proc/meminfo: memFree=30323704/32770624 swapFree=67108860/67108860
[pid=28114] ppid=28111 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28114/stat : 28114 (xcsp3-exec) S 28111 28114 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62608984 9740288 345 18446744073709551615 4194304 5098028 140731189021280 140731189019384 140452348822140 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 21307392 140731189027193 140731189027397 140731189027397 140731189030891 0
/proc/28114/statm: 2378 345 289 221 0 87 0
[pid=28116] ppid=28114 vsize=13978684 memory=74064 CPUtime=1.23 cores=1,3,5,7
/proc/28116/stat : 28116 (java) S 28114 28114 11586 0 -1 1077944320 13186 0 0 0 119 4 0 0 20 0 15 0 62608996 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 140730461403760 139813743259383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
/proc/28116/statm: 3494671 18516 3163 1 0 3482964 0
[pid=28116/tid=28117] ppid=28114 vsize=13978684 memory=808 CPUtime=0.52 cores=1,3,5,7
/proc/28116/task/28117/stat : 28117 (java) R 28114 28114 11586 0 -1 4202560 7960 0 0 0 49 3 0 0 20 0 15 0 62608996 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813747497728 139813727339870 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28118] ppid=28114 vsize=13978684 memory=97 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28118/stat : 28118 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608997 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813677693584 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28119] ppid=28114 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28119/stat : 28119 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608997 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813676640784 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28120] ppid=28114 vsize=13978684 memory=5864601930850527079 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28120/stat : 28120 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62608997 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813675587984 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28121] ppid=28114 vsize=13978684 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28121/stat : 28121 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62608997 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813674535184 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28122] ppid=28114 vsize=13978684 memory=4638778428397932880 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28122/stat : 28122 (java) S 28114 28114 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62608998 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813221526384 139813743270530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28123] ppid=28114 vsize=13978684 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28123/stat : 28123 (java) S 28114 28114 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62608999 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813220472352 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28124] ppid=28114 vsize=13978684 memory=8370611207638964880 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28124/stat : 28124 (java) S 28114 28114 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62608999 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813219419504 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28125] ppid=28114 vsize=13978684 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28125/stat : 28125 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609001 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813218367824 139813743277979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28126] ppid=28114 vsize=13978684 memory=-7522837415797432223 CPUtime=0.17 cores=1,3,5,7
/proc/28116/task/28126/stat : 28126 (java) R 28114 28114 11586 0 -1 4202560 865 0 0 0 17 0 0 0 20 0 15 0 62609001 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813217301368 139813722952424 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28127] ppid=28114 vsize=13978684 memory=4137292528961491315 CPUtime=0.23 cores=1,3,5,7
/proc/28116/task/28127/stat : 28127 (java) R 28114 28114 11586 0 -1 4202560 1513 0 0 0 23 0 0 0 20 0 15 0 62609001 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813216251120 139813726646171 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28128] ppid=28114 vsize=13978684 memory=8187704045996132563 CPUtime=0.29 cores=1,3,5,7
/proc/28116/task/28128/stat : 28128 (java) S 28114 28114 11586 0 -1 1077944384 1539 0 0 0 29 0 0 0 20 0 15 0 62609001 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813215209584 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28129] ppid=28114 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28129/stat : 28129 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609001 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813214157024 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28130] ppid=28114 vsize=13978684 memory=44 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28130/stat : 28130 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609007 14314172416 18516 18446744073709551615 4194304 4196468 140730461421216 139813213105328 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 75444 KiB

[startup+1.13603 s]
# the end of solver process 28114 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.5537 s, system=0.057271 s

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

[startup+0.803166 s]
/proc/loadavg: 2.44 2.00 1.84 6/211 28130
/proc/meminfo: memFree=30323704/32770624 swapFree=67108860/67108860
[pid=28114] ppid=28111 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28114/stat : 28114 (xcsp3-exec) S 28111 28114 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62608984 9740288 345 18446744073709551615 4194304 5098028 140731189021280 140731189019384 140452348822140 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 21307392 140731189027193 140731189027397 140731189027397 140731189030891 0
/proc/28114/statm: 2378 345 289 221 0 87 0
[pid=28116] ppid=28114 vsize=13980732 memory=79980 CPUtime=1.54 cores=1,3,5,7
/proc/28116/stat : 28116 (java) S 28114 28114 11586 0 -1 1077944320 14059 0 0 0 150 4 0 0 20 0 15 0 62608996 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 140730461403760 139813743259383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
/proc/28116/statm: 3495183 19995 3167 1 0 3483476 0
[pid=28116/tid=28117] ppid=28114 vsize=13980732 memory=-6520478321162704286 CPUtime=0.62 cores=1,3,5,7
/proc/28116/task/28117/stat : 28117 (java) R 28114 28114 11586 0 -1 4202560 8430 0 0 0 59 3 0 0 20 0 15 0 62608996 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813747496992 139813353144158 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28118] ppid=28114 vsize=13980732 memory=-7521736447810188379 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28118/stat : 28118 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813677693584 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28119] ppid=28114 vsize=13980732 memory=-8918990855134196790 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28119/stat : 28119 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813676640784 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28120] ppid=28114 vsize=13980732 memory=1399101730491701635 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28120/stat : 28120 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813675587984 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28121] ppid=28114 vsize=13980732 memory=-9001733975035308135 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28121/stat : 28121 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813674535184 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28122] ppid=28114 vsize=13980732 memory=-7606742951091920751 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28122/stat : 28122 (java) S 28114 28114 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62608998 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813221526384 139813743270530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28123] ppid=28114 vsize=13980732 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28123/stat : 28123 (java) S 28114 28114 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62608999 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813220472352 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28124] ppid=28114 vsize=13980732 memory=-6935123839545469842 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28124/stat : 28124 (java) S 28114 28114 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62608999 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813219419504 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28125] ppid=28114 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28125/stat : 28125 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609001 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813218367824 139813743277979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28126] ppid=28114 vsize=13980732 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/28116/task/28126/stat : 28126 (java) R 28114 28114 11586 0 -1 4202560 975 0 0 0 24 0 0 0 20 0 15 0 62609001 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813217315184 139813728183726 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28127] ppid=28114 vsize=13980732 memory=4120 CPUtime=0.3 cores=1,3,5,7
/proc/28116/task/28127/stat : 28127 (java) R 28114 28114 11586 0 -1 4202560 1562 0 0 0 30 0 0 0 20 0 15 0 62609001 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813216262384 139813722697668 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28128] ppid=28114 vsize=13980732 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/28116/task/28128/stat : 28128 (java) R 28114 28114 11586 0 -1 1077944384 1783 0 0 0 36 0 0 0 20 0 15 0 62609001 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813215203472 139813743269589 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28129] ppid=28114 vsize=13980732 memory=140181491829881 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28129/stat : 28129 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609001 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813214157024 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28130] ppid=28114 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28130/stat : 28130 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609007 14316269568 19995 18446744073709551615 4194304 4196468 140730461421216 139813213105328 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 81360 KiB

[startup+1.00068 s]*
/proc/loadavg: 2.44 2.00 1.84 6/211 28130
/proc/meminfo: memFree=30280088/32770624 swapFree=67108860/67108860
[pid=28114] ppid=28111 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28114/stat : 28114 (xcsp3-exec) S 28111 28114 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62608984 9740288 345 18446744073709551615 4194304 5098028 140731189021280 140731189019384 140452348822140 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 21307392 140731189027193 140731189027397 140731189027397 140731189030891 0
/proc/28114/statm: 2378 345 289 221 0 87 0
[pid=28116] ppid=28114 vsize=13980732 memory=89836 CPUtime=2.24 cores=1,3,5,7
/proc/28116/stat : 28116 (java) S 28114 28114 11586 0 -1 1077944320 14998 0 0 0 219 5 0 0 20 0 15 0 62608996 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 140730461403760 139813743259383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
/proc/28116/statm: 3495183 22459 3186 1 0 3483476 0
[pid=28116/tid=28117] ppid=28114 vsize=13980732 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/28116/task/28117/stat : 28117 (java) R 28114 28114 11586 0 -1 4202560 8532 0 0 0 79 3 0 0 20 0 15 0 62608996 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813747498704 139813353912289 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28118] ppid=28114 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28118/stat : 28118 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813677693584 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28119] ppid=28114 vsize=13980732 memory=140181624845952 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28119/stat : 28119 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813676640784 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28120] ppid=28114 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28120/stat : 28120 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813675587984 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28121] ppid=28114 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28121/stat : 28121 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813674535184 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28122] ppid=28114 vsize=13980732 memory=140181624845952 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28122/stat : 28122 (java) S 28114 28114 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62608998 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813221526384 139813743270530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28123] ppid=28114 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28123/stat : 28123 (java) S 28114 28114 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62608999 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813220472352 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28124] ppid=28114 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28124/stat : 28124 (java) S 28114 28114 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62608999 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813219419504 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28125] ppid=28114 vsize=13980732 memory=27992919332356134 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28125/stat : 28125 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609001 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813218367824 139813743277979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28126] ppid=28114 vsize=13980732 memory=302022878516478280 CPUtime=0.45 cores=1,3,5,7
/proc/28116/task/28126/stat : 28126 (java) R 28114 28114 11586 0 -1 4202560 1411 0 0 0 45 0 0 0 20 0 15 0 62609001 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813217306016 139813726790992 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28127] ppid=28114 vsize=13980732 memory=513670 CPUtime=0.5 cores=1,3,5,7
/proc/28116/task/28127/stat : 28127 (java) R 28114 28114 11586 0 -1 4202560 1809 0 0 0 50 0 0 0 20 0 15 0 62609001 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813216251984 139813724803601 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28128] ppid=28114 vsize=13980732 memory=8099280145458155864 CPUtime=0.43 cores=1,3,5,7
/proc/28116/task/28128/stat : 28128 (java) R 28114 28114 11586 0 -1 1077944384 1937 0 0 0 43 0 0 0 20 0 15 0 62609001 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813215209584 139813743270530 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28129] ppid=28114 vsize=13980732 memory=5859866381850142571 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28129/stat : 28129 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609001 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813214157024 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28130] ppid=28114 vsize=13980732 memory=7451313775378514024 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28130/stat : 28130 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609007 14316269568 22459 18446744073709551615 4194304 4196468 140730461421216 139813213105328 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 91216 KiB

[startup+1.11024 s]
/proc/loadavg: 2.44 2.00 1.84 6/211 28130
/proc/meminfo: memFree=30280088/32770624 swapFree=67108860/67108860
[pid=28114] ppid=28111 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28114/stat : 28114 (xcsp3-exec) S 28111 28114 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62608984 9740288 345 18446744073709551615 4194304 5098028 140731189021280 140731189019384 140452348822140 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 21307392 140731189027193 140731189027397 140731189027397 140731189030891 0
/proc/28114/statm: 2378 345 289 221 0 87 0
[pid=28116] ppid=28114 vsize=13980732 memory=90860 CPUtime=2.56 cores=1,3,5,7
/proc/28116/stat : 28116 (java) S 28114 28114 11586 0 -1 1077944320 15249 0 0 0 251 5 0 0 20 0 15 0 62608996 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 140730461403760 139813743259383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
/proc/28116/statm: 3495183 22715 3186 1 0 3483476 0
[pid=28116/tid=28117] ppid=28114 vsize=13980732 memory=56 CPUtime=0.92 cores=1,3,5,7
/proc/28116/task/28117/stat : 28117 (java) R 28114 28114 11586 0 -1 4202560 8538 0 0 0 89 3 0 0 20 0 15 0 62608996 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813747498704 139813354187159 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28118] ppid=28114 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28118/stat : 28118 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813677693584 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28119] ppid=28114 vsize=13980732 memory=6225197772952654435 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28119/stat : 28119 (java) S 28114 28114 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813676640784 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28120] ppid=28114 vsize=13980732 memory=280362982953824 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28120/stat : 28120 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813675587984 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28121] ppid=28114 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28121/stat : 28121 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62608997 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813674535184 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28122] ppid=28114 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28122/stat : 28122 (java) S 28114 28114 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62608998 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813221526384 139813743270530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28123] ppid=28114 vsize=13980732 memory=7166609050302482952 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28123/stat : 28123 (java) S 28114 28114 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62608999 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813220472352 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28124] ppid=28114 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28124/stat : 28124 (java) S 28114 28114 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62608999 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813219419504 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28125] ppid=28114 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28125/stat : 28125 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609001 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813218367824 139813743277979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28126] ppid=28114 vsize=13980732 memory=6943526294502006880 CPUtime=0.55 cores=1,3,5,7
/proc/28116/task/28126/stat : 28126 (java) R 28114 28114 11586 0 -1 4202560 1595 0 0 0 55 0 0 0 20 0 15 0 62609001 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813217306016 139813728940037 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28127] ppid=28114 vsize=13980732 memory=280362983133120 CPUtime=0.6 cores=1,3,5,7
/proc/28116/task/28127/stat : 28127 (java) R 28114 28114 11586 0 -1 4202560 1837 0 0 0 60 0 0 0 20 0 15 0 62609001 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813216254336 139813727646670 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28128] ppid=28114 vsize=13980732 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/28116/task/28128/stat : 28128 (java) S 28114 28114 11586 0 -1 1077944384 1970 0 0 0 45 0 0 0 20 0 15 0 62609001 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813215209584 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28129] ppid=28114 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28129/stat : 28129 (java) S 28114 28114 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62609001 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813214157024 139813743269589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
[pid=28116/tid=28130] ppid=28114 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28116/task/28130/stat : 28130 (java) S 28114 28114 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62609007 14316269568 22715 18446744073709551615 4194304 4196468 140730461421216 139813213105328 139813743270530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730461426097 140730461426273 140730461426273 140730461429711 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 92240 KiB

Child status: 0
Real time (s): 1.1361
CPU time (s): 2.61097
CPU user time (s): 2.5537
CPU system time (s): 0.057271
CPU usage (%): 229.819
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 92240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.5537
system time used= 0.057271
maximum resident set size= 93596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15792
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= 1758
involuntary context switches= 4


# summary of solver processes directly reported to runsolver:
#   pid: 28114
#   total CPU time (s): 2.61097
#   total CPU user time (s): 2.5537
#   total CPU system time (s): 0.057271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031164 second user time and 0.053365 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-13-sum.xml
MD5SUM	9d400fd9505b31c2b1343f5ecc4e80ca
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.217912
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":6},{"degree":5,"count":27},{"degree":6,"count":93},{"degree":7,"count":138},{"degree":8,"count":138},{"degree":9,"count":105},{"degree":10,"count":57},{"degree":11,"count":33}]
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 4269767

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
