2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
cosoco 1.12	? (TO)	2519.89	2520.04

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298820-1532768742/watcher-4298820-1532768742 -o /tmp/evaluation-result-4298820-1532768742/solver-4298820-1532768742 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532741135-24675 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298820-1532768742.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=28477, runsolver pid=28474

[startup+0.101054 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 28478
/proc/meminfo: memFree=28164816/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=42828 memory=18768 CPUtime=0.09 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 4902 0 0 0 9 0 0 0 20 0 1 0 94437356 43855872 4692 33554432000 4194304 6142532 140724922322816 140724922317976 140584096914405 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 10707 4692 737 476 0 4029 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42828 KiB
Current children cumulated memory: 18768 KiB

[startup+0.20961 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 28478
/proc/meminfo: memFree=28162088/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=44412 memory=20616 CPUtime=0.2 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 5341 0 0 0 20 0 0 0 20 0 1 0 94437356 45477888 5154 33554432000 4194304 6142532 140724922322816 140724922319464 5404658 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 11103 5154 786 476 0 4425 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44412 KiB
Current children cumulated memory: 20616 KiB

[startup+0.309089 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 28478
/proc/meminfo: memFree=28161716/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=44808 memory=20880 CPUtime=0.3 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 5424 0 0 0 30 0 0 0 20 0 1 0 94437356 45883392 5220 33554432000 4194304 6142532 140724922322816 140724922319464 140584096923504 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 11202 5220 786 476 0 4524 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44808 KiB
Current children cumulated memory: 20880 KiB

[startup+0.700305 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 28478
/proc/meminfo: memFree=28130152/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=103136 memory=79488 CPUtime=0.68 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 20066 0 0 0 66 2 0 0 20 0 1 0 94437356 105611264 19872 33554432000 4194304 6142532 140724922322816 140724922319464 5472562 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 25784 19872 823 476 0 19106 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103136 KiB
Current children cumulated memory: 79488 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 28478
/proc/meminfo: memFree=28078748/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=176252 memory=152604 CPUtime=1.48 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 38351 0 0 0 143 5 0 0 20 0 1 0 94437356 180482048 38151 33554432000 4194304 6142532 140724922322816 140724922319464 5404034 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 44063 38151 823 476 0 37385 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 176252 KiB
Current children cumulated memory: 152604 KiB

[startup+3.11005 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 28478
/proc/meminfo: memFree=28024628/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=180684 memory=157212 CPUtime=3.09 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 44046 0 0 0 304 5 0 0 20 0 1 0 94437356 185020416 39303 33554432000 4194304 6142532 140724922322816 140724922320120 5347460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 45171 39303 861 476 0 38493 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 180684 KiB
Current children cumulated memory: 157212 KiB

[startup+6.3003 s]
/proc/loadavg: 2.08 2.05 2.05 3/188 28478
/proc/meminfo: memFree=27909608/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=318948 memory=291656 CPUtime=6.28 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 87926 0 0 0 614 14 0 0 20 0 1 0 94437356 326602752 72914 33554432000 4194304 6142532 140724922322816 140724922319848 5138182 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 79737 72914 861 476 0 73059 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 318948 KiB
Current children cumulated memory: 291656 KiB

[startup+12.7004 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 28478
/proc/meminfo: memFree=26706420/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=1600856 memory=1472796 CPUtime=12.67 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 424290 0 0 0 1218 49 0 0 20 0 1 0 94437356 1639276544 368199 33554432000 4194304 6142532 140724922322816 140724922320216 5170340 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 400214 368199 863 476 0 393536 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 1600856 KiB
Current children cumulated memory: 1472796 KiB

[startup+25.5004 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 28478
/proc/meminfo: memFree=26546956/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=1778572 memory=1631696 CPUtime=25.47 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 519998 0 0 0 2489 58 0 0 20 0 1 0 94437356 1821257728 407924 33554432000 4194304 6142532 140724922322816 140724922320216 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 444643 407924 863 476 0 437965 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 1778572 KiB
Current children cumulated memory: 1631696 KiB

[startup+51.1094 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 28478
/proc/meminfo: memFree=26546596/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=1778572 memory=1632052 CPUtime=51.08 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 570258 0 0 0 5047 61 0 0 20 0 1 0 94437356 1821257728 408013 33554432000 4194304 6142532 140724922322816 140724922320216 5169104 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 444643 408013 863 476 0 437965 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 1778572 KiB
Current children cumulated memory: 1632052 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 28479
/proc/meminfo: memFree=26016768/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2373960 memory=2160484 CPUtime=102.24 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 936535 0 0 0 10133 91 0 0 20 0 1 0 94437356 2430935040 540121 33554432000 4194304 6142532 140724922322816 140724922320216 5170340 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 593490 540121 863 476 0 586812 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 2373960 KiB
Current children cumulated memory: 2160484 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 28480
/proc/meminfo: memFree=26017144/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2373960 memory=2160536 CPUtime=162.23 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1001740 0 0 0 16127 96 0 0 20 0 1 0 94437356 2430935040 540134 33554432000 4194304 6142532 140724922322816 140724922320216 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 593490 540134 863 476 0 586812 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 2373960 KiB
Current children cumulated memory: 2160536 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28481
/proc/meminfo: memFree=26017068/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2373960 memory=2160536 CPUtime=222.24 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1036274 0 0 0 22125 99 0 0 20 0 1 0 94437356 2430935040 540134 33554432000 4194304 6142532 140724922322816 140724922320216 5138256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 593490 540134 863 476 0 586812 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2373960 KiB
Current children cumulated memory: 2160536 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 28490
/proc/meminfo: memFree=26016440/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2373960 memory=2160536 CPUtime=282.24 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1075094 0 0 0 28122 102 0 0 20 0 1 0 94437356 2430935040 540134 33554432000 4194304 6142532 140724922322816 140724922320216 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 593490 540134 863 476 0 586812 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2373960 KiB
Current children cumulated memory: 2160536 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28491
/proc/meminfo: memFree=26015632/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2373960 memory=2162068 CPUtime=342.23 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1159783 0 0 0 34116 107 0 0 20 0 1 0 94437356 2430935040 540517 33554432000 4194304 6142532 140724922322816 140724922320216 5140152 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 593490 540517 863 476 0 586812 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2373960 KiB
Current children cumulated memory: 2162068 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28492
/proc/meminfo: memFree=26013540/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2373960 memory=2163932 CPUtime=402.23 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1228824 0 0 0 40110 113 0 0 20 0 1 0 94437356 2430935040 540983 33554432000 4194304 6142532 140724922322816 140724922320216 5215819 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 593490 540983 863 476 0 586812 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2373960 KiB
Current children cumulated memory: 2163932 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28493
/proc/meminfo: memFree=26011452/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2373960 memory=2166660 CPUtime=462.23 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1284380 0 0 0 46106 117 0 0 20 0 1 0 94437356 2430935040 541665 33554432000 4194304 6142532 140724922322816 140724922320216 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 593490 541665 863 476 0 586812 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2373960 KiB
Current children cumulated memory: 2166660 KiB


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

/proc/28477/statm: 595171 581622 863 476 0 588493 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 2380684 KiB
Current children cumulated memory: 2326488 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28532
/proc/meminfo: memFree=25850756/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2380684 memory=2326492 CPUtime=1782.16 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1698191 0 0 0 178067 149 0 0 20 0 1 0 94437356 2437820416 581623 33554432000 4194304 6142532 140724922322816 140724922320216 5138259 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 595171 581623 863 476 0 588493 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 2380684 KiB
Current children cumulated memory: 2326492 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28533
/proc/meminfo: memFree=25850640/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2380684 memory=2326492 CPUtime=1842.16 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1705373 0 0 0 184067 149 0 0 20 0 1 0 94437356 2437820416 581623 33554432000 4194304 6142532 140724922322816 140724922320216 5137669 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 595171 581623 863 476 0 588493 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 2380684 KiB
Current children cumulated memory: 2326492 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28534
/proc/meminfo: memFree=25850544/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2380684 memory=2326752 CPUtime=1902.16 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1719264 0 0 0 190065 151 0 0 20 0 1 0 94437356 2437820416 581688 33554432000 4194304 6142532 140724922322816 140724922320216 5138259 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 595171 581688 863 476 0 588493 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 2380684 KiB
Current children cumulated memory: 2326752 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28596
/proc/meminfo: memFree=25753680/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2390988 memory=2335152 CPUtime=1962.16 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1725723 0 0 0 196064 152 0 0 20 0 1 0 94437356 2448371712 583788 33554432000 4194304 6142532 140724922322816 140724922319848 5138256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 597747 583788 863 476 0 591069 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 2390988 KiB
Current children cumulated memory: 2335152 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28597
/proc/meminfo: memFree=25751660/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2390988 memory=2335240 CPUtime=2022.15 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1742650 0 0 0 202062 153 0 0 20 0 1 0 94437356 2448371712 583810 33554432000 4194304 6142532 140724922322816 140724922320216 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 597747 583810 863 476 0 591069 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 2390988 KiB
Current children cumulated memory: 2335240 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28605
/proc/meminfo: memFree=25750280/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2390988 memory=2335424 CPUtime=2082.15 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1751178 0 0 0 208061 154 0 0 20 0 1 0 94437356 2448371712 583856 33554432000 4194304 6142532 140724922322816 140724922320216 5138432 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 597747 583856 863 476 0 591069 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 2390988 KiB
Current children cumulated memory: 2335424 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28606
/proc/meminfo: memFree=25749512/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2392844 memory=2336936 CPUtime=2142.15 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1754952 0 0 0 214061 154 0 0 20 0 1 0 94437356 2450272256 584234 33554432000 4194304 6142532 140724922322816 140724922319848 4990723 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 598211 584234 863 476 0 591533 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 2392844 KiB
Current children cumulated memory: 2336936 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28607
/proc/meminfo: memFree=25749624/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2393232 memory=2337244 CPUtime=2202.15 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1771407 0 0 0 220059 156 0 0 20 0 1 0 94437356 2450669568 584311 33554432000 4194304 6142532 140724922322816 140724922320216 5138432 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 598308 584311 863 476 0 591630 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 2393232 KiB
Current children cumulated memory: 2337244 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 28608
/proc/meminfo: memFree=25749544/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2393232 memory=2337244 CPUtime=2262.14 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1774236 0 0 0 226058 156 0 0 20 0 1 0 94437356 2450669568 584311 33554432000 4194304 6142532 140724922322816 140724922320216 5137605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 598308 584311 863 476 0 591630 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 2393232 KiB
Current children cumulated memory: 2337244 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 28609
/proc/meminfo: memFree=25749160/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2393232 memory=2337244 CPUtime=2322.14 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1781009 0 0 0 232058 156 0 0 20 0 1 0 94437356 2450669568 584311 33554432000 4194304 6142532 140724922322816 140724922320216 5215594 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 598308 584311 863 476 0 591630 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 2393232 KiB
Current children cumulated memory: 2337244 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28610
/proc/meminfo: memFree=25749236/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2393232 memory=2337244 CPUtime=2382.14 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1789401 0 0 0 238056 158 0 0 20 0 1 0 94437356 2450669568 584311 33554432000 4194304 6142532 140724922322816 140724922320216 5347440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 598308 584311 863 476 0 591630 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 2393232 KiB
Current children cumulated memory: 2337244 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28611
/proc/meminfo: memFree=25748464/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2393232 memory=2337244 CPUtime=2442.14 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1794382 0 0 0 244056 158 0 0 20 0 1 0 94437356 2450669568 584311 33554432000 4194304 6142532 140724922322816 140724922320216 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 598308 584311 863 476 0 591630 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 2393232 KiB
Current children cumulated memory: 2337244 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28612
/proc/meminfo: memFree=25748204/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2393232 memory=2337244 CPUtime=2502.14 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1798438 0 0 0 250055 159 0 0 20 0 1 0 94437356 2450669568 584311 33554432000 4194304 6142532 140724922322816 140724922320216 5170052 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 598308 584311 863 476 0 591630 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 2393232 KiB
Current children cumulated memory: 2337244 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28612
/proc/meminfo: memFree=25748404/32770624 swapFree=67108860/67108860
[pid=28477] ppid=28474 vsize=2393232 memory=2337244 CPUtime=2519.85 cores=0,2,4,6
/proc/28477/stat : 28477 (cosoco) R 28474 28477 24644 0 -1 4202496 1799132 0 0 0 251826 159 0 0 20 0 1 0 94437356 2450669568 584311 33554432000 4194304 6142532 140724922322816 140724922320216 5140152 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 31031296 140724922328198 140724922328328 140724922328328 140724922331086 0
/proc/28477/statm: 598308 584311 863 476 0 591630 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 2393232 KiB
Current children cumulated memory: 2337244 KiB

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

[startup+2520.04 s]
# the end of solver process 28477 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.26 s, system=1.62493 s

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

Child status: 1
Real time (s): 2520.04
CPU time (s): 2519.89
CPU user time (s): 2518.26
CPU system time (s): 1.62493
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 2393232
Max. memory (cumulated for all children) (KiB): 2337244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.26
system time used= 1.62493
maximum resident set size= 2337312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1799183
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= 100
involuntary context switches= 3169


# summary of solver processes directly reported to runsolver:
#   pid: 28477
#   total CPU time (s): 2519.89
#   total CPU user time (s): 2518.26
#   total CPU system time (s): 1.62493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9007 second user time and 17.5657 second system time

The end

Begin job on node136 at 2018-07-28 11:05:42
IDJOB=4298820
IDBENCH=141238
IDSOLVER=2761
FILE ID=node136/4298820-1532768742
RUNJOBID= node136-1532741135-24675
PBS_JOBID= 21022451
Free space on /tmp= 55796 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin18_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298820-1532768742/watcher-4298820-1532768742 -o /tmp/evaluation-result-4298820-1532768742/solver-4298820-1532768742 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532741135-24675 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4298820-1532768742.xml

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

MD5SUM BENCH= f09386fa05f6191f12fed212ce37b406
RANDOM SEED=750576245

node136.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.50
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.50
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.50
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.50
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:        28179204 kB
MemAvailable:   31960384 kB
Buffers:          184940 kB
Cached:          3856972 kB
SwapCached:            0 kB
Active:          1719084 kB
Inactive:        2376896 kB
Active(anon):       5552 kB
Inactive(anon):    76472 kB
Active(file):    1713532 kB
Inactive(file):  2300424 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:        147036 kB
Mapped:            34852 kB
Shmem:             25228 kB
Slab:             194008 kB
SReclaimable:     166116 kB
SUnreclaim:        27892 kB
KernelStack:        3376 kB
PageTables:         4864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55792 MiB
End job on node136 at 2018-07-28 11:47:42

Name	PseudoBoolean-dec/ Pb-robin18_c18.xml
MD5SUM	f09386fa05f6191f12fed212ce37b406
Bench Category	CSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	23409
Number of constraints	1386
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":23409}]
Minimum variable degree	10
Maximum variable degree	10
Distribution of variable degrees	[{"degree":10,"count":23409}]
Minimum constraint arity	153
Maximum constraint arity	289
Distribution of constraint arities	[{"arity":153,"count":1224},{"arity":289,"count":162}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":1386}]
Optimization problem	NO
Type of objective

Trace number 4298820

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data