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.17068	1.2832201
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 (14322 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-4283988-1503192361/watcher-4283988-1503192361 -o /tmp/evaluation-result-4283988-1503192361/solver-4283988-1503192361 -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 317699589 HOME/instance-4283988-1503192361.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=15197, runsolver pid=15194

[startup+0.100063 s]*
/proc/loadavg: 2.62 1.95 1.73 2/200 15200
/proc/meminfo: memFree=30466064/32770624 swapFree=67108860/67108860
[pid=15197] ppid=15194 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15197/stat : 15197 (xcsp3-exec) S 15194 15197 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121429056 9740288 345 18446744073709551615 4194304 5098028 140726497479328 140726497477432 140349117801084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 25702400 140726497485177 140726497485381 140726497485381 140726497488875 0
/proc/15197/statm: 2378 345 289 221 0 87 0
[pid=15199] ppid=15197 vsize=13358712 memory=14368 CPUtime=0 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15197 28892 0 -1 1077944320 3348 0 0 0 0 0 0 0 20 0 6 0 121429065 13679321088 3592 18446744073709551615 4194304 4196468 140736869868576 140736869851120 140306493378295 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
/proc/15199/statm: 3339678 3592 1903 1 0 3329175 0
[pid=15199/tid=15200] ppid=15197 vsize=13358712 memory=-8023549066454273880 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15197 28892 0 -1 4202560 2132 0 0 0 0 0 0 0 20 0 6 0 121429066 13679321088 3592 18446744073709551615 4194304 4196468 140736869868576 140306497614416 140306479071717 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15201] ppid=15197 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15201/stat : 15201 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121429066 13679321088 3592 18446744073709551615 4194304 4196468 140736869868576 140306450344208 140306493388501 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15202] ppid=15197 vsize=13358712 memory=140345591973504 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121429066 13679321088 3592 18446744073709551615 4194304 4196468 140736869868576 140306449291664 140306493388501 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15203] ppid=15197 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15197 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121429066 13679321088 3592 18446744073709551615 4194304 4196468 140736869868576 140306091797008 140306493388501 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15204] ppid=15197 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121429066 13679321088 3592 18446744073709551615 4194304 4196468 140736869868576 140306090744464 140306493388501 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15748 KiB

[startup+0.21019 s]*
/proc/loadavg: 2.62 1.95 1.73 3/213 15213
/proc/meminfo: memFree=30456660/32770624 swapFree=67108860/67108860
[pid=15197] ppid=15194 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15197/stat : 15197 (xcsp3-exec) S 15194 15197 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121429056 9740288 345 18446744073709551615 4194304 5098028 140726497479328 140726497477432 140349117801084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 25702400 140726497485177 140726497485381 140726497485381 140726497488875 0
/proc/15197/statm: 2378 345 289 221 0 87 0
[pid=15199] ppid=15197 vsize=13974352 memory=27164 CPUtime=0.08 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15197 28892 0 -1 1077944320 5214 0 0 0 7 1 0 0 20 0 15 0 121429065 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140736869851120 140306493378295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
/proc/15199/statm: 3493588 6791 2725 1 0 3482964 0
[pid=15199/tid=15200] ppid=15197 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15197 28892 0 -1 4202560 3358 0 0 0 6 0 0 0 20 0 15 0 121429066 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140306497603984 140306486056309 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15201] ppid=15197 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15201/stat : 15201 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140306450344208 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15202] ppid=15197 vsize=13974352 memory=3473035998423402144 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140306449291664 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15203] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15197 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429066 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140306091797008 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15204] ppid=15197 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140306090744464 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15205] ppid=15197 vsize=13974352 memory=140345591973504 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15197 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429068 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140305971902960 140306493389442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15206] ppid=15197 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15197 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429068 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140305970849184 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15207] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15197 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429068 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140305969796592 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15208] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140305968745168 140306493396891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15209] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) S 15197 15197 28892 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 121429071 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140305967691760 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15210] ppid=15197 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140305966639216 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15211] ppid=15197 vsize=13974352 memory=140345591973504 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) S 15197 15197 28892 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 15 0 121429071 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140305965586672 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15212] ppid=15197 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140305964534368 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15213] ppid=15197 vsize=13974352 memory=140345591973504 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429076 14309736448 6791 18446744073709551615 4194304 4196468 140736869868576 140305963481904 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28544 KiB

[startup+0.310316 s]*
/proc/loadavg: 2.62 1.95 1.73 3/213 15213
/proc/meminfo: memFree=30441124/32770624 swapFree=67108860/67108860
[pid=15197] ppid=15194 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15197/stat : 15197 (xcsp3-exec) S 15194 15197 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121429056 9740288 345 18446744073709551615 4194304 5098028 140726497479328 140726497477432 140349117801084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 25702400 140726497485177 140726497485381 140726497485381 140726497488875 0
/proc/15197/statm: 2378 345 289 221 0 87 0
[pid=15199] ppid=15197 vsize=13974352 memory=36900 CPUtime=0.26 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15197 28892 0 -1 1077944320 8839 0 0 0 24 2 0 0 20 0 15 0 121429065 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140736869851120 140306493378295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
/proc/15199/statm: 3493588 9225 2987 1 0 3482964 0
[pid=15199/tid=15200] ppid=15197 vsize=13974352 memory=-7677926825137650786 CPUtime=0.17 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15197 28892 0 -1 4202560 6128 0 0 0 15 2 0 0 20 0 15 0 121429066 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140306497611792 140306493390230 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15201] ppid=15197 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15201/stat : 15201 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140306450344208 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15202] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140306449291664 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15203] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15197 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429066 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140306091797008 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15204] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140306090744464 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15205] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15197 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429068 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140305971902960 140306493389442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15206] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15197 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429068 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140305970849184 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15207] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15197 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429068 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140305969796592 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15208] ppid=15197 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140305968745168 140306493396891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15209] ppid=15197 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) R 15197 15197 28892 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 121429071 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140305967691760 140306493389442 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15210] ppid=15197 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) S 15197 15197 28892 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 121429071 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140305966639216 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15211] ppid=15197 vsize=13974352 memory=140345591973504 CPUtime=0.05 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) R 15197 15197 28892 0 -1 4202560 714 0 0 0 5 0 0 0 20 0 15 0 121429071 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140305965586672 140306493390230 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15212] ppid=15197 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140305964534368 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15213] ppid=15197 vsize=13974352 memory=140345591973504 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429076 14309736448 9225 18446744073709551615 4194304 4196468 140736869868576 140305963481904 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38280 KiB

[startup+0.709809 s]
/proc/loadavg: 2.62 1.95 1.73 5/213 15213
/proc/meminfo: memFree=30433524/32770624 swapFree=67108860/67108860
[pid=15197] ppid=15194 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15197/stat : 15197 (xcsp3-exec) S 15194 15197 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121429056 9740288 345 18446744073709551615 4194304 5098028 140726497479328 140726497477432 140349117801084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 25702400 140726497485177 140726497485381 140726497485381 140726497488875 0
/proc/15197/statm: 2378 345 289 221 0 87 0
[pid=15199] ppid=15197 vsize=13980732 memory=74596 CPUtime=1.32 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15197 28892 0 -1 1077944320 13704 0 0 0 127 5 0 0 20 0 15 0 121429065 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140736869851120 140306493378295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
/proc/15199/statm: 3495183 18649 3166 1 0 3483476 0
[pid=15199/tid=15200] ppid=15197 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15197 28892 0 -1 4202560 8417 0 0 0 52 3 0 0 20 0 15 0 121429066 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140306497615720 140306129491421 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15201] ppid=15197 vsize=13980732 memory=110 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15201/stat : 15201 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140306450344208 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15202] ppid=15197 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140306449291664 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15203] ppid=15197 vsize=13980732 memory=206 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15197 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140306091797008 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15204] ppid=15197 vsize=13980732 memory=399 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140306090744464 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15205] ppid=15197 vsize=13980732 memory=7 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15197 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121429068 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140305971902960 140306493389442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15206] ppid=15197 vsize=13980732 memory=1 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15197 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429068 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140305970849184 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15207] ppid=15197 vsize=13980732 memory=140345438516465 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15197 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429068 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140305969796592 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15208] ppid=15197 vsize=13980732 memory=280690877351072 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140305968745168 140306493396891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15209] ppid=15197 vsize=13980732 memory=140345438512234 CPUtime=0.25 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) S 15197 15197 28892 0 -1 1077944384 1563 0 0 0 25 0 0 0 20 0 15 0 121429071 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140305967691760 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15210] ppid=15197 vsize=13980732 memory=280687790034009 CPUtime=0.18 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) S 15197 15197 28892 0 -1 1077944384 709 0 0 0 18 0 0 0 20 0 15 0 121429071 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140305966639216 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15211] ppid=15197 vsize=13980732 memory=6944656592455097440 CPUtime=0.3 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) R 15197 15197 28892 0 -1 4202560 1708 0 0 0 30 0 0 0 20 0 15 0 121429071 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140305965586672 140306477458782 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15212] ppid=15197 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140305964534368 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15213] ppid=15197 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429076 14316269568 18649 18446744073709551615 4194304 4196468 140736869868576 140305963481904 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 75976 KiB

[startup+1.28317 s]
# the end of solver process 15197 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.08585 s, system=0.084826 s

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

[startup+0.801848 s]
/proc/loadavg: 2.62 1.95 1.73 5/213 15213
/proc/meminfo: memFree=30433524/32770624 swapFree=67108860/67108860
[pid=15197] ppid=15194 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15197/stat : 15197 (xcsp3-exec) S 15194 15197 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121429056 9740288 345 18446744073709551615 4194304 5098028 140726497479328 140726497477432 140349117801084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 25702400 140726497485177 140726497485381 140726497485381 140726497488875 0
/proc/15197/statm: 2378 345 289 221 0 87 0
[pid=15199] ppid=15197 vsize=13980732 memory=84228 CPUtime=1.62 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15197 28892 0 -1 1077944320 14047 0 0 0 157 5 0 0 20 0 15 0 121429065 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140736869851120 140306493378295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
/proc/15199/statm: 3495183 21057 3169 1 0 3483476 0
[pid=15199/tid=15200] ppid=15197 vsize=13980732 memory=2241 CPUtime=0.64 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15197 28892 0 -1 4202560 8433 0 0 0 61 3 0 0 20 0 15 0 121429066 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140306497611048 140306475840928 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15201] ppid=15197 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15201/stat : 15201 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140306450344208 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15202] ppid=15197 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140306449291664 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15203] ppid=15197 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15197 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140306091797008 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15204] ppid=15197 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140306090744464 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15205] ppid=15197 vsize=13980732 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15197 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121429068 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140305971902960 140306493389442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15206] ppid=15197 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15197 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429068 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140305970849184 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15207] ppid=15197 vsize=13980732 memory=7307210966322687442 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15197 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429068 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140305969796592 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15208] ppid=15197 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140305968745168 140306493396891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15209] ppid=15197 vsize=13980732 memory=6944652177228980320 CPUtime=0.32 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) R 15197 15197 28892 0 -1 4202560 1600 0 0 0 32 0 0 0 20 0 15 0 121429071 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140305967683088 140306476839239 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15210] ppid=15197 vsize=13980732 memory=6943526294502006880 CPUtime=0.25 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) R 15197 15197 28892 0 -1 4202560 736 0 0 0 25 0 0 0 20 0 15 0 121429071 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140305966626064 140306470973041 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15211] ppid=15197 vsize=13980732 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) S 15197 15197 28892 0 -1 1077944384 1971 0 0 0 37 0 0 0 20 0 15 0 121429071 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140305965586672 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15212] ppid=15197 vsize=13980732 memory=3473155141856866357 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140305964534368 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15213] ppid=15197 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429076 14316269568 21057 18446744073709551615 4194304 4196468 140736869868576 140305963481904 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 85608 KiB

[startup+1.20085 s]
/proc/loadavg: 2.62 1.95 1.73 5/213 15213
/proc/meminfo: memFree=30388856/32770624 swapFree=67108860/67108860
[pid=15197] ppid=15194 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15197/stat : 15197 (xcsp3-exec) S 15194 15197 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121429056 9740288 345 18446744073709551615 4194304 5098028 140726497479328 140726497477432 140349117801084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 25702400 140726497485177 140726497485381 140726497485381 140726497488875 0
/proc/15197/statm: 2378 345 289 221 0 87 0
[pid=15199] ppid=15197 vsize=13980732 memory=116516 CPUtime=2.94 cores=1,3,5,7
/proc/15199/stat : 15199 (java) S 15197 15197 28892 0 -1 1077944320 24200 0 0 0 287 7 0 0 20 0 15 0 121429065 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140736869851120 140306493378295 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
/proc/15199/statm: 3495183 29129 3186 1 0 3483476 0
[pid=15199/tid=15200] ppid=15197 vsize=13980732 memory=7739276948478390120 CPUtime=1.04 cores=1,3,5,7
/proc/15199/task/15200/stat : 15200 (java) R 15197 15197 28892 0 -1 4202560 9032 0 0 0 100 4 0 0 20 0 15 0 121429066 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140306497616744 140306135272451 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15201] ppid=15197 vsize=13980732 memory=6445329926754231394 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15201/stat : 15201 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140306450344208 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15202] ppid=15197 vsize=13980732 memory=7234587930426299752 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15202/stat : 15202 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140306449291664 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15203] ppid=15197 vsize=13980732 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15203/stat : 15203 (java) S 15197 15197 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140306091797008 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15204] ppid=15197 vsize=13980732 memory=4427207343990470186 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15204/stat : 15204 (java) S 15197 15197 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429066 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140306090744464 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15205] ppid=15197 vsize=13980732 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15205/stat : 15205 (java) S 15197 15197 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121429068 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140305971902960 140306493389442 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15206] ppid=15197 vsize=13980732 memory=5865727822183879268 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15206/stat : 15206 (java) S 15197 15197 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429068 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140305970849184 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15207] ppid=15197 vsize=13980732 memory=7230638415855315543 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15207/stat : 15207 (java) S 15197 15197 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429068 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140305969796592 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15208] ppid=15197 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15208/stat : 15208 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140305968745168 140306493396891 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15209] ppid=15197 vsize=13980732 memory=7447092784698779225 CPUtime=0.7 cores=1,3,5,7
/proc/15199/task/15209/stat : 15209 (java) R 15197 15197 28892 0 -1 4202560 5108 0 0 0 70 0 0 0 20 0 15 0 121429071 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140305967677224 140306476878701 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15210] ppid=15197 vsize=13980732 memory=7091577772841133913 CPUtime=0.62 cores=1,3,5,7
/proc/15199/task/15210/stat : 15210 (java) R 15197 15197 28892 0 -1 4202560 5463 0 0 0 62 0 0 0 20 0 15 0 121429071 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140305966624264 140306478497441 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15211] ppid=15197 vsize=13980732 memory=12579 CPUtime=0.54 cores=1,3,5,7
/proc/15199/task/15211/stat : 15211 (java) S 15197 15197 28892 0 -1 1077944384 3290 0 0 0 53 1 0 0 20 0 15 0 121429071 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140305965586672 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15212] ppid=15197 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15212/stat : 15212 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429071 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140305964534368 140306493388501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
[pid=15199/tid=15213] ppid=15197 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15199/task/15213/stat : 15213 (java) S 15197 15197 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429076 14316269568 29129 18446744073709551615 4194304 4196468 140736869868576 140305963481904 140306493389442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140736869872049 140736869872225 140736869872225 140736869875663 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 117896 KiB

Child status: 0
Real time (s): 1.28322
CPU time (s): 3.17068
CPU user time (s): 3.08585
CPU system time (s): 0.084826
CPU usage (%): 247.087
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 117896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.08585
system time used= 0.084826
maximum resident set size= 120260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26506
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= 1914
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 15197
#   total CPU time (s): 3.17068
#   total CPU user time (s): 3.08585
#   total CPU system time (s): 0.084826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027197 second user time and 0.060438 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-23-sum.xml
MD5SUM	0997a7a078e28dc29749c8fbf3dd0f9a
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.484846
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	4
Maximum variable degree	11
Distribution of variable degrees	[{"degree":4,"count":12},{"degree":5,"count":81},{"degree":6,"count":72},{"degree":7,"count":105},{"degree":8,"count":111},{"degree":9,"count":84},{"degree":10,"count":75},{"degree":11,"count":60}]
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 4283988

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
