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

Solver Name	Answer	objective function	CPU time	Wall clock time
cosoco-sat 1.12	? (TO)		2519.8899	2520.02

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 (14276 MiB free)
  memory of node 1: 16384 MiB (14673 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265762-1502568172/watcher-4265762-1502568172 -o /tmp/evaluation-result-4265762-1502568172/solver-4265762-1502568172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24252 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265762-1502568172.xml 

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

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=24653, runsolver pid=24650

[startup+0.100111 s]*
/proc/loadavg: 1.17 0.36 0.15 3/190 24654
/proc/meminfo: memFree=29635788/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=36552 memory=12908 CPUtime=0.1 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 3455 0 0 0 10 0 0 0 20 0 1 0 89905429 37429248 3227 33554432000 4194304 5972588 140735562903152 140735562899800 140646915283941 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 9138 3227 805 435 0 2501 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36552 KiB
Current children cumulated memory: 12908 KiB

[startup+0.209721 s]*
/proc/loadavg: 1.17 0.36 0.15 5/190 24654
/proc/meminfo: memFree=29631696/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=40900 memory=17272 CPUtime=0.2 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 4524 0 0 0 20 0 0 0 20 0 1 0 89905429 41881600 4318 33554432000 4194304 5972588 140735562903152 140735562899800 140646924629254 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 10225 4318 805 435 0 3588 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40900 KiB
Current children cumulated memory: 17272 KiB

[startup+0.309421 s]*
/proc/loadavg: 1.17 0.36 0.15 3/190 24654
/proc/meminfo: memFree=29627976/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=44540 memory=21064 CPUtime=0.31 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 5441 0 0 0 30 1 0 0 20 0 1 0 89905429 45608960 5266 33554432000 4194304 5972588 140735562903152 140735562899800 140646924632448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 11135 5266 805 435 0 4498 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44540 KiB
Current children cumulated memory: 21064 KiB

[startup+0.700259 s]
/proc/loadavg: 1.24 0.38 0.16 3/190 24654
/proc/meminfo: memFree=29620168/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=59168 memory=35596 CPUtime=0.69 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 9108 0 0 0 68 1 0 0 20 0 1 0 89905429 60588032 8899 33554432000 4194304 5972588 140735562903152 140735562896120 140646906019296 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 14792 8899 805 435 0 8155 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59168 KiB
Current children cumulated memory: 35596 KiB

[startup+1.50028 s]
/proc/loadavg: 1.24 0.38 0.16 3/190 24654
/proc/meminfo: memFree=29601456/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=89932 memory=66360 CPUtime=1.48 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 16785 0 0 0 146 2 0 0 20 0 1 0 89905429 92090368 16590 33554432000 4194304 5972588 140735562903152 140735562897352 5187280 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 22483 16590 806 435 0 15846 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89932 KiB
Current children cumulated memory: 66360 KiB

[startup+3.10955 s]
/proc/loadavg: 1.24 0.38 0.16 3/190 24654
/proc/meminfo: memFree=29508500/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=166368 memory=140364 CPUtime=3.1 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 38179 0 0 0 305 5 0 0 20 0 1 0 89905429 170360832 35091 33554432000 4194304 5972588 140735562903152 140735562897352 4965744 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 41592 35091 851 435 0 34955 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 166368 KiB
Current children cumulated memory: 140364 KiB

[startup+6.30022 s]
/proc/loadavg: 1.30 0.41 0.17 3/189 24654
/proc/meminfo: memFree=29493048/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=184188 memory=158016 CPUtime=6.29 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 43558 0 0 0 623 6 0 0 20 0 1 0 89905429 188608512 39504 33554432000 4194304 5972588 140735562903152 140735562900008 4962376 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 46047 39504 851 435 0 39410 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 184188 KiB
Current children cumulated memory: 158016 KiB

[startup+12.7002 s]
/proc/loadavg: 1.36 0.44 0.18 3/189 24654
/proc/meminfo: memFree=29460528/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=217848 memory=191876 CPUtime=12.68 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 53221 0 0 0 1261 7 0 0 20 0 1 0 89905429 223076352 47969 33554432000 4194304 5972588 140735562903152 140735562900008 5099668 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 54462 47969 851 435 0 47825 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 217848 KiB
Current children cumulated memory: 191876 KiB

[startup+25.5002 s]
/proc/loadavg: 1.45 0.49 0.20 3/189 24654
/proc/meminfo: memFree=29390432/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=285300 memory=259328 CPUtime=25.48 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 72546 0 0 0 2538 10 0 0 20 0 1 0 89905429 292147200 64832 33554432000 4194304 5972588 140735562903152 140735562900008 4962387 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 71325 64832 851 435 0 64688 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 285300 KiB
Current children cumulated memory: 259328 KiB

[startup+51.1096 s]
/proc/loadavg: 1.67 0.63 0.26 3/189 24654
/proc/meminfo: memFree=29251856/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=422052 memory=395836 CPUtime=51.09 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 109832 0 0 0 5093 16 0 0 20 0 1 0 89905429 432181248 98959 33554432000 4194304 5972588 140735562903152 140735562900008 4965753 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 105513 98959 852 435 0 98876 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 422052 KiB
Current children cumulated memory: 395836 KiB

[startup+102.3 s]
/proc/loadavg: 1.86 0.84 0.35 3/190 24663
/proc/meminfo: memFree=28979812/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=693312 memory=667216 CPUtime=102.26 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 183714 0 0 0 10198 28 0 0 20 0 1 0 89905429 709951488 166804 33554432000 4194304 5972588 140735562903152 140735562900008 4965744 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 173328 166804 852 435 0 166691 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 693312 KiB
Current children cumulated memory: 667216 KiB

[startup+162.3 s]
/proc/loadavg: 1.95 1.05 0.45 3/190 24664
/proc/meminfo: memFree=28658624/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=1014336 memory=988272 CPUtime=162.24 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 266406 0 0 0 16184 40 0 0 20 0 1 0 89905429 1038680064 247068 33554432000 4194304 5972588 140735562903152 140735562900008 140646915283941 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 253584 247068 852 435 0 246947 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 1014336 KiB
Current children cumulated memory: 988272 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 1.23 0.55 3/190 24665
/proc/meminfo: memFree=28336260/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=1333644 memory=1307592 CPUtime=222.23 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 347007 0 0 0 22169 54 0 0 20 0 1 0 89905429 1365651456 326898 33554432000 4194304 5972588 140735562903152 140735562900008 140646915283941 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 333411 326898 852 435 0 326774 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 1333644 KiB
Current children cumulated memory: 1307592 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.37 0.64 3/188 24666
/proc/meminfo: memFree=28011956/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=1655064 memory=1629008 CPUtime=282.22 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 427906 0 0 0 28156 66 0 0 20 0 1 0 89905429 1694785536 407252 33554432000 4194304 5972588 140735562903152 140735562900008 4962376 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 413766 407252 852 435 0 407129 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 1655064 KiB
Current children cumulated memory: 1629008 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/188 24667
/proc/meminfo: memFree=27689392/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=1976352 memory=1950364 CPUtime=342.21 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 509351 0 0 0 34143 78 0 0 20 0 1 0 89905429 2023784448 487591 33554432000 4194304 5972588 140735562903152 140735562900008 140646915283941 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 494088 487591 852 435 0 487451 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 1976352 KiB
Current children cumulated memory: 1950364 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.58 0.81 3/187 24669
/proc/meminfo: memFree=27570460/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2088024 memory=2062064 CPUtime=402.2 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 927286 0 0 0 40115 105 0 0 20 0 1 0 89905429 2138136576 515516 33554432000 4194304 5972588 140735562903152 140735562900008 5053061 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 522006 515516 855 435 0 515369 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 2088024 KiB
Current children cumulated memory: 2062064 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.65 0.88 3/187 24670
/proc/meminfo: memFree=27567328/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2088024 memory=2062092 CPUtime=462.2 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 927533 0 0 0 46115 105 0 0 20 0 1 0 89905429 2138136576 515523 33554432000 4194304 5972588 140735562903152 140735562900008 5099674 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 522006 515523 855 435 0 515369 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2088024 KiB
Current children cumulated memory: 2062092 KiB


################
# More data... #
################

/proc/24653/statm: 523230 516753 855 435 0 516593 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 2092920 KiB
Current children cumulated memory: 2067012 KiB

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.74 3/187 24733
/proc/meminfo: memFree=27552340/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2093452 memory=2067460 CPUtime=1782.17 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1081963 0 0 0 178102 115 0 0 20 0 1 0 89905429 2143694848 516865 33554432000 4194304 5972588 140735562903152 140735562900072 5071499 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 523363 516865 855 435 0 516726 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 2093452 KiB
Current children cumulated memory: 2067460 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.01 1.76 3/187 24734
/proc/meminfo: memFree=27551936/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2093848 memory=2067956 CPUtime=1842.17 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1082314 0 0 0 184102 115 0 0 20 0 1 0 89905429 2144100352 516989 33554432000 4194304 5972588 140735562903152 140735562900072 5071505 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 523462 516989 855 435 0 516825 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 2093848 KiB
Current children cumulated memory: 2067956 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/188 24743
/proc/meminfo: memFree=27549596/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2095048 memory=2069000 CPUtime=1902.17 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1082865 0 0 0 190102 115 0 0 20 0 1 0 89905429 2145329152 517250 33554432000 4194304 5972588 140735562903152 140735562899912 5070711 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 523762 517250 855 435 0 517125 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 2095048 KiB
Current children cumulated memory: 2069000 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/188 24744
/proc/meminfo: memFree=27549728/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2095456 memory=2069520 CPUtime=1962.18 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1083409 0 0 0 196102 116 0 0 20 0 1 0 89905429 2145746944 517380 33554432000 4194304 5972588 140735562903152 140735562899912 5099674 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 523864 517380 855 435 0 517227 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 2095456 KiB
Current children cumulated memory: 2069520 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/188 24745
/proc/meminfo: memFree=27549728/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2095988 memory=2069928 CPUtime=2022.18 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1083794 0 0 0 202102 116 0 0 20 0 1 0 89905429 2146291712 517482 33554432000 4194304 5972588 140735562903152 140735562900072 5071501 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 523997 517482 855 435 0 517360 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 2095988 KiB
Current children cumulated memory: 2069928 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/188 24746
/proc/meminfo: memFree=27548912/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2096652 memory=2070668 CPUtime=2082.17 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1084251 0 0 0 208101 116 0 0 20 0 1 0 89905429 2146971648 517667 33554432000 4194304 5972588 140735562903152 140735562900072 5071517 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 524163 517667 855 435 0 517526 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 2096652 KiB
Current children cumulated memory: 2070668 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 1.83 3/188 24747
/proc/meminfo: memFree=27547796/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2097984 memory=2072112 CPUtime=2142.17 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1084790 0 0 0 214101 116 0 0 20 0 1 0 89905429 2148335616 518028 33554432000 4194304 5972588 140735562903152 140735562899928 4965753 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 524496 518028 855 435 0 517859 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2097984 KiB
Current children cumulated memory: 2072112 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 1.84 3/187 24749
/proc/meminfo: memFree=27547264/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2098528 memory=2072576 CPUtime=2202.17 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1085340 0 0 0 220101 116 0 0 20 0 1 0 89905429 2148892672 518144 33554432000 4194304 5972588 140735562903152 140735562899912 5053061 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 524632 518144 855 435 0 517995 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 2098528 KiB
Current children cumulated memory: 2072576 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 1.85 3/187 24750
/proc/meminfo: memFree=27546676/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2099208 memory=2073236 CPUtime=2262.17 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1085827 0 0 0 226101 116 0 0 20 0 1 0 89905429 2149588992 518309 33554432000 4194304 5972588 140735562903152 140735562900072 5070711 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 524802 518309 855 435 0 518165 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 2099208 KiB
Current children cumulated memory: 2073236 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 24751
/proc/meminfo: memFree=27546020/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2099880 memory=2073936 CPUtime=2322.16 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1086183 0 0 0 232100 116 0 0 20 0 1 0 89905429 2150277120 518484 33554432000 4194304 5972588 140735562903152 140735562900072 5099674 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 524970 518484 855 435 0 518333 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 2099880 KiB
Current children cumulated memory: 2073936 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 24753
/proc/meminfo: memFree=27545208/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2100684 memory=2074624 CPUtime=2382.16 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1086619 0 0 0 238100 116 0 0 20 0 1 0 89905429 2151100416 518656 33554432000 4194304 5972588 140735562903152 140735562900072 5071501 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 525171 518656 855 435 0 518534 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 2100684 KiB
Current children cumulated memory: 2074624 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/187 24754
/proc/meminfo: memFree=27544204/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2102200 memory=2076232 CPUtime=2442.16 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1087295 0 0 0 244100 116 0 0 20 0 1 0 89905429 2152652800 519058 33554432000 4194304 5972588 140735562903152 140735562899912 5099674 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 525550 519058 855 435 0 518913 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 2102200 KiB
Current children cumulated memory: 2076232 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/188 24824
/proc/meminfo: memFree=27705968/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2102884 memory=2076880 CPUtime=2502.16 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1087806 0 0 0 250100 116 0 0 20 0 1 0 89905429 2153353216 519220 33554432000 4194304 5972588 140735562903152 140735562900072 4909657 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 525721 519220 855 435 0 519084 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 2102884 KiB
Current children cumulated memory: 2076880 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.88 3/188 24824
/proc/meminfo: memFree=27705976/32770624 swapFree=67108860/67108860
[pid=24653] ppid=24650 vsize=2103160 memory=2077028 CPUtime=2519.87 cores=0,2,4,6
/proc/24653/stat : 24653 (cosoco) R 24650 24653 24168 0 -1 4202496 1087943 0 0 0 251870 117 0 0 20 0 1 0 89905429 2153635840 519257 33554432000 4194304 5972588 140735562903152 140735562900072 5099664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 39964672 140735562904762 140735562904862 140735562904862 140735562907598 0
/proc/24653/statm: 525790 519257 855 435 0 519153 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 2103160 KiB
Current children cumulated memory: 2077028 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.02 s]
# the end of solver process 24653 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.71 s, system=1.17897 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.89
CPU user time (s): 2518.71
CPU system time (s): 1.17897
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 2103160
Max. memory (cumulated for all children) (KiB): 2077028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.71
system time used= 1.17897
maximum resident set size= 2077248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1087987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129
involuntary context switches= 2072


# summary of solver processes directly reported to runsolver:
#   pid: 24653
#   total CPU time (s): 2519.89
#   total CPU user time (s): 2518.71
#   total CPU system time (s): 1.17897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.05554 second user time and 19.1187 second system time

The end

Begin job on node103 at 2017-08-12 21:48:34
IDJOB=4265762
IDBENCH=122958
IDSOLVER=2655
FILE ID=node103/4265762-1502568172
RUNJOBID= node103-1502567255-24252
PBS_JOBID= 20628288
Free space on /tmp= 61792 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-29-350-100.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265762-1502568172/watcher-4265762-1502568172 -o /tmp/evaluation-result-4265762-1502568172/solver-4265762-1502568172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24252 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265762-1502568172.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 72f71fee1b32173246d8dbfb23a24b8c
RANDOM SEED=171679953

node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29645312 kB
MemAvailable:   31792416 kB
Buffers:          119580 kB
Cached:          2323464 kB
SwapCached:            0 kB
Active:           703104 kB
Inactive:        2000580 kB
Active(anon):     263308 kB
Inactive(anon):    25124 kB
Active(file):     439796 kB
Inactive(file):  1975456 kB
Unevictable:        6432 kB
Mlocked:            6432 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2416 kB
Writeback:             0 kB
AnonPages:        270948 kB
Mapped:            44212 kB
Shmem:             25228 kB
Slab:             120300 kB
SReclaimable:      95372 kB
SUnreclaim:        24928 kB
KernelStack:        3600 kB
PageTables:         5468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     558828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61788 MiB
End job on node103 at 2017-08-12 22:30:34

Name	Opd/Opd-sum-large/ Opd-29-350-100.xml
MD5SUM	72f71fee1b32173246d8dbfb23a24b8c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	80
Best CPU time to get the best result obtained on this benchmark	2520.0701
Satisfiable
(Un)Satisfiability was proved
Number of variables	10151
Number of constraints	436
Number of domains	2
Minimum domain size	2
Maximum domain size	324
Distribution of domain sizes	[{"size":2,"count":10150},{"size":324,"count":1}]
Minimum variable degree	30
Maximum variable degree	407
Distribution of variable degrees	[{"degree":30,"count":10150},{"degree":407,"count":1}]
Minimum constraint arity	350
Maximum constraint arity	10150
Distribution of constraint arities	[{"arity":350,"count":29},{"arity":701,"count":406},{"arity":10150,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"lex","count":1},{"type":"sum","count":435}]
Optimization problem	YES
Type of objective	min VAR

Trace number 4265762

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data