2019 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 2.0	? (TO)		2519.96	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 (14823 MiB free)
  memory of node 1: 16384 MiB (15382 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397165-1568572784/watcher-4397165-1568572784 -o /tmp/evaluation-result-4397165-1568572784/solver-4397165-1568572784 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568572744-4609 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397165-1568572784.xml 

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

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


[startup+0.100293 s]*
/proc/loadavg: 0.00 0.01 0.05 2/196 4639
/proc/meminfo: memFree=30865572/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=105488 memory=81536 CPUtime=0.05 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 20579 0 0 0 3 2 0 0 20 0 1 0 433549804 108019712 20384 33554432000 4194304 6211092 140737375157488 140737375153976 5231237 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 26413 20384 752 493 0 19718 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 105488 KiB
Current children cumulated memory: 81536 KiB

[startup+0.209743 s]*
/proc/loadavg: 0.00 0.01 0.05 2/193 4647
/proc/meminfo: memFree=30721676/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=243136 memory=219268 CPUtime=0.16 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 55037 0 0 0 10 6 0 0 20 0 1 0 433549804 248971264 54817 33554432000 4194304 6211092 140737375157488 140737375153976 139772867091429 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 60784 54817 825 493 0 54089 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 243136 KiB
Current children cumulated memory: 219268 KiB

[startup+0.309576 s]*
/proc/loadavg: 0.00 0.01 0.05 2/193 4647
/proc/meminfo: memFree=30674152/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=284596 memory=260716 CPUtime=0.25 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 65403 0 0 0 18 7 0 0 20 0 1 0 433549804 291426304 65179 33554432000 4194304 6211092 140737375157488 140737375153976 139772867091429 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 71149 65179 827 493 0 64454 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 284596 KiB
Current children cumulated memory: 260716 KiB

[startup+0.700292 s]
/proc/loadavg: 0.00 0.01 0.05 2/193 4647
/proc/meminfo: memFree=30661876/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=307836 memory=284192 CPUtime=0.64 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 71217 0 0 0 55 9 0 0 20 0 1 0 433549804 315224064 71048 33554432000 4194304 6211092 140737375157488 140737375152008 139772867091429 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 76959 71048 827 493 0 70264 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 307836 KiB
Current children cumulated memory: 284192 KiB

[startup+1.50034 s]
/proc/loadavg: 0.00 0.01 0.05 2/193 4647
/proc/meminfo: memFree=30060104/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2107012 memory=2082864 CPUtime=1.44 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 520875 0 0 0 83 61 0 0 20 0 1 0 433549804 2157580288 520650 33554432000 4194304 6211092 140737375157488 140737375152008 5047501 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 526753 520650 839 493 0 520058 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 2107012 KiB
Current children cumulated memory: 2082864 KiB

[startup+3.10939 s]
/proc/loadavg: 0.00 0.01 0.05 3/198 4700
/proc/meminfo: memFree=28836852/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2116860 memory=2092932 CPUtime=3.05 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 525958 0 0 0 244 61 0 0 20 0 1 0 433549804 2167664640 523233 33554432000 4194304 6211092 140737375157488 140737375155752 5046864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 529215 523233 879 493 0 522520 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2116860 KiB
Current children cumulated memory: 2092932 KiB

[startup+6.30027 s]
/proc/loadavg: 0.16 0.05 0.06 3/198 4764
/proc/meminfo: memFree=28837240/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2116860 memory=2092932 CPUtime=6.24 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 532229 0 0 0 562 62 0 0 20 0 1 0 433549804 2167664640 523233 33554432000 4194304 6211092 140737375157488 140737375155752 5046873 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 529215 523233 879 493 0 522520 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2116860 KiB
Current children cumulated memory: 2092932 KiB

[startup+12.7003 s]
/proc/loadavg: 0.15 0.05 0.06 3/198 4764
/proc/meminfo: memFree=28837760/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2116860 memory=2092940 CPUtime=12.64 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 776493 0 0 0 1190 74 0 0 20 0 1 0 433549804 2167664640 523235 33554432000 4194304 6211092 140737375157488 140737375155752 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 529215 523235 881 493 0 522520 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2116860 KiB
Current children cumulated memory: 2092940 KiB

[startup+25.5003 s]
/proc/loadavg: 0.56 0.14 0.09 3/199 4767
/proc/meminfo: memFree=28837700/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2117040 memory=2093132 CPUtime=25.44 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 1076541 0 0 0 2456 88 0 0 20 0 1 0 433549804 2167848960 523283 33554432000 4194304 6211092 140737375157488 140737375154872 5167529 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 529260 523283 881 493 0 522565 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 2117040 KiB
Current children cumulated memory: 2093132 KiB

[startup+51.1096 s]
/proc/loadavg: 1.05 0.29 0.14 3/199 4768
/proc/meminfo: memFree=28835780/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2117996 memory=2093880 CPUtime=51.05 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 1350348 0 0 0 5005 100 0 0 20 0 1 0 433549804 2168827904 523470 33554432000 4194304 6211092 140737375157488 140737375155384 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 529499 523470 881 493 0 522804 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 2117996 KiB
Current children cumulated memory: 2093880 KiB

[startup+102.3 s]
/proc/loadavg: 1.59 0.55 0.24 3/201 4781
/proc/meminfo: memFree=28833976/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2119324 memory=2095116 CPUtime=102.22 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 1645525 0 0 0 10108 114 0 0 20 0 1 0 433549804 2170187776 523779 33554432000 4194304 6211092 140737375157488 140737375154792 5168336 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 529831 523779 881 493 0 523136 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 2119324 KiB
Current children cumulated memory: 2095116 KiB

[startup+162.3 s]
/proc/loadavg: 1.85 0.82 0.35 3/201 4787
/proc/meminfo: memFree=28832100/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2121124 memory=2096928 CPUtime=162.22 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 1845898 0 0 0 16099 123 0 0 20 0 1 0 433549804 2172030976 524232 33554432000 4194304 6211092 140737375157488 140737375154792 5167574 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 530281 524232 881 493 0 523586 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 2121124 KiB
Current children cumulated memory: 2096928 KiB

[startup+222.3 s]
/proc/loadavg: 1.95 1.03 0.45 3/201 4791
/proc/meminfo: memFree=28827636/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2125804 memory=2101540 CPUtime=222.22 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 2070979 0 0 0 22087 135 0 0 20 0 1 0 433549804 2176823296 525385 33554432000 4194304 6211092 140737375157488 140737375154744 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 531451 525385 881 493 0 524756 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101540 KiB

[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.55 3/201 4795
/proc/meminfo: memFree=28828096/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2125804 memory=2101540 CPUtime=282.22 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 2315579 0 0 0 28076 146 0 0 20 0 1 0 433549804 2176823296 525385 33554432000 4194304 6211092 140737375157488 140737375154744 5167570 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 531451 525385 881 493 0 524756 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101540 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 1.35 0.64 3/201 4801
/proc/meminfo: memFree=28826812/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2125804 memory=2101540 CPUtime=342.23 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 2527427 0 0 0 34069 154 0 0 20 0 1 0 433549804 2176823296 525385 33554432000 4194304 6211092 140737375157488 140737375154744 5186224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 531451 525385 881 493 0 524756 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101540 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.47 0.72 3/199 4805
/proc/meminfo: memFree=28827008/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2125804 memory=2101540 CPUtime=402.22 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 2706206 0 0 0 40059 163 0 0 20 0 1 0 433549804 2176823296 525385 33554432000 4194304 6211092 140737375157488 140737375154744 5168219 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 531451 525385 881 493 0 524756 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101540 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.80 3/199 4809
/proc/meminfo: memFree=28825804/32770624 swapFree=66936868/67108860
[pid=4632] ppid=4629 vsize=2126596 memory=2102300 CPUtime=462.22 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 2864734 0 0 0 46053 169 0 0 20 0 1 0 433549804 2177634304 525575 33554432000 4194304 6211092 140737375157488 140737375154744 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 531649 525575 881 493 0 524954 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2126596 KiB
Current children cumulated memory: 2102300 KiB


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

/proc/4632/statm: 532617 526531 881 493 0 525922 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106124 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/199 4954
/proc/meminfo: memFree=28822068/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130468 memory=2106124 CPUtime=1782.23 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4030478 0 0 0 177996 227 0 0 20 0 1 0 433549804 2181599232 526531 33554432000 4194304 6211092 140737375157488 140737375154744 5167556 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532617 526531 881 493 0 525922 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106124 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/199 4958
/proc/meminfo: memFree=28822264/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130468 memory=2106124 CPUtime=1842.23 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4031807 0 0 0 183996 227 0 0 20 0 1 0 433549804 2181599232 526531 33554432000 4194304 6211092 140737375157488 140737375154744 5167901 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532617 526531 881 493 0 525922 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106124 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/200 4970
/proc/meminfo: memFree=28822544/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130468 memory=2106124 CPUtime=1902.22 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4033283 0 0 0 189995 227 0 0 20 0 1 0 433549804 2181599232 526531 33554432000 4194304 6211092 140737375157488 140737375154744 5167529 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532617 526531 881 493 0 525922 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106124 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/200 4976
/proc/meminfo: memFree=28821984/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130468 memory=2106124 CPUtime=1962.22 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4034680 0 0 0 195995 227 0 0 20 0 1 0 433549804 2181599232 526531 33554432000 4194304 6211092 140737375157488 140737375154744 5167928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532617 526531 881 493 0 525922 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106124 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/200 4980
/proc/meminfo: memFree=28821756/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130616 memory=2106340 CPUtime=2022.22 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4036814 0 0 0 201995 227 0 0 20 0 1 0 433549804 2181750784 526585 33554432000 4194304 6211092 140737375157488 140737375154984 5168219 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532654 526585 881 493 0 525959 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106340 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/200 4984
/proc/meminfo: memFree=28821988/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130616 memory=2106340 CPUtime=2082.22 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4038162 0 0 0 207995 227 0 0 20 0 1 0 433549804 2181750784 526585 33554432000 4194304 6211092 140737375157488 140737375154984 5389960 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532654 526585 881 493 0 525959 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106340 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/200 4990
/proc/meminfo: memFree=28821504/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130616 memory=2106340 CPUtime=2142.23 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4039646 0 0 0 213995 228 0 0 20 0 1 0 433549804 2181750784 526585 33554432000 4194304 6211092 140737375157488 140737375154984 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532654 526585 881 493 0 525959 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106340 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/199 4994
/proc/meminfo: memFree=28821256/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130616 memory=2106340 CPUtime=2202.23 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4041027 0 0 0 219995 228 0 0 20 0 1 0 433549804 2181750784 526585 33554432000 4194304 6211092 140737375157488 140737375154984 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532654 526585 881 493 0 525959 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106340 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/199 4998
/proc/meminfo: memFree=28821788/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130616 memory=2106340 CPUtime=2262.23 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4042421 0 0 0 225995 228 0 0 20 0 1 0 433549804 2181750784 526585 33554432000 4194304 6211092 140737375157488 140737375154984 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532654 526585 881 493 0 525959 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106340 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/199 5004
/proc/meminfo: memFree=28821668/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130616 memory=2106340 CPUtime=2322.23 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4043867 0 0 0 231995 228 0 0 20 0 1 0 433549804 2181750784 526585 33554432000 4194304 6211092 140737375157488 140737375154984 5167504 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532654 526585 881 493 0 525959 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106340 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/199 5008
/proc/meminfo: memFree=28821624/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130616 memory=2106460 CPUtime=2382.23 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4045887 0 0 0 237995 228 0 0 20 0 1 0 433549804 2181750784 526615 33554432000 4194304 6211092 140737375157488 140737375154984 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532654 526615 881 493 0 525959 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106460 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/199 5012
/proc/meminfo: memFree=28821688/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130616 memory=2106460 CPUtime=2442.23 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4047422 0 0 0 243995 228 0 0 20 0 1 0 433549804 2181750784 526615 33554432000 4194304 6211092 140737375157488 140737375154984 5168360 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532654 526615 881 493 0 525959 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106460 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/200 5026
/proc/meminfo: memFree=28821620/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130616 memory=2106460 CPUtime=2502.23 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4048833 0 0 0 249995 228 0 0 20 0 1 0 433549804 2181750784 526615 33554432000 4194304 6211092 140737375157488 140737375154984 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532654 526615 881 493 0 525959 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106460 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 1.99 1.87 3/200 5026
/proc/meminfo: memFree=28821280/32770624 swapFree=66936892/67108860
[pid=4632] ppid=4629 vsize=2130616 memory=2106460 CPUtime=2519.95 cores=1,3,5,7
/proc/4632/stat : 4632 (cosoco) R 4629 4632 4577 0 -1 4202496 4049267 0 0 0 251766 229 0 0 20 0 1 0 433549804 2181750784 526615 33554432000 4194304 6211092 140737375157488 140737375154984 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14303232 140737375159307 140737375159409 140737375159409 140737375162318 0
/proc/4632/statm: 532654 526615 881 493 0 525959 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106460 KiB

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

[startup+2520.02 s]
# the end of solver process 4632 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.67 s, system=2.29803 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.96
CPU user time (s): 2517.67
CPU system time (s): 2.29803
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 2130616
Max. memory (cumulated for all children) (KiB): 2106460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.66
system time used= 2.29803
maximum resident set size= 2106528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4049314
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= 118
involuntary context switches= 825


# summary of solver processes directly reported to runsolver:
#   pid: 4632
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2517.67
#   total CPU system time (s): 2.29803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.91477 second user time and 16.7999 second system time

The end

Begin job on node151 at 2019-09-15 20:39:04
IDJOB=4397165
IDBENCH=115615
IDSOLVER=2848
FILE ID=node151/4397165-1568572784
RUNJOBID= node151-1568572744-4609
PBS_JOBID= 21703306
Free space on /tmp= 59308 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-200-10-1.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397165-1568572784/watcher-4397165-1568572784 -o /tmp/evaluation-result-4397165-1568572784/solver-4397165-1568572784 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568572744-4609 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4397165-1568572784.xml

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

MD5SUM BENCH= 4dc4d699091ca89690279c2093d69f52
RANDOM SEED=1868918536

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30934008 kB
MemAvailable:   31845596 kB
Buffers:          204884 kB
Cached:          1006276 kB
SwapCached:        69736 kB
Active:           635336 kB
Inactive:         649344 kB
Active(anon):       9008 kB
Inactive(anon):   107232 kB
Active(file):     626328 kB
Inactive(file):   542112 kB
Unevictable:      109828 kB
Mlocked:          109828 kB
SwapTotal:      67108860 kB
SwapFree:       66936868 kB
Dirty:              3104 kB
Writeback:             0 kB
AnonPages:        113600 kB
Mapped:            39560 kB
Shmem:             34264 kB
Slab:             146380 kB
SReclaimable:     117964 kB
SUnreclaim:        28416 kB
KernelStack:        3264 kB
PageTables:         5792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     509924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59304 MiB
End job on node151 at 2019-09-15 21:21:05

Name	Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-1.xml
MD5SUM	4dc4d699091ca89690279c2093d69f52
Bench Category	COP (optimization 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	2200
Number of constraints	2210
Number of domains	1
Minimum domain size	10594
Maximum domain size	10594
Distribution of domain sizes	[{"size":10594,"count":2200}]
Minimum variable degree	2
Maximum variable degree	3
Distribution of variable degrees	[{"degree":2,"count":200},{"degree":3,"count":2000}]
Minimum constraint arity	1
Maximum constraint arity	200
Distribution of constraint arities	[{"arity":1,"count":200},{"arity":2,"count":2000},{"arity":200,"count":10}]
Number of extensional constraints	0
Number of intensional constraints	2200
Distribution of constraint types	[{"type":"intension","count":2200},{"type":"noOverlap","count":10}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4397165

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data