Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.02 | 2399.8 |
Name | PropStress/PropStress-m1-s1/ PropStress-0200.xml |
MD5SUM | 0d3e60901fc96036944749fe1efc55c4 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 72.3833 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 402 |
Number of constraints | 20501 |
Number of domains | 1 |
Minimum domain size | 40001 |
Maximum domain size | 40001 |
Distribution of domain sizes | [{"size":40001,"count":402}] |
Minimum variable degree | 2 |
Maximum variable degree | 201 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":199},{"degree":200,"count":199},{"degree":201,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":20501}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 20501 |
Distribution of constraint types | [{"type":"intension","count":20501}] |
Optimization problem | NO |
Type of objective |
2400.01/2399.80 c 2400.01/2399.80 c This is cosoco 2.00 -- 2400.01/2399.80 c 2400.01/2399.80 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408567-1569794697.xml 2400.01/2399.80 c ========================================[ Problem Statistics ]=========================================== 2400.01/2399.80 c | 2400.01/2399.80 c | Parse time : 11.40 s 2400.01/2399.80 c | 2400.01/2399.80 c | Variables: 402 2400.01/2399.80 c | Domain Sizes: 40001..40001 2400.01/2399.80 c | 2400.01/2399.80 c | Constraints: 20501 2400.01/2399.80 c | Arity: 2..2 -- Binary: 20501 2400.01/2399.80 c | 2400.01/2399.80 c | Types: 2400.01/2399.80 c | (X -Y <= k): 20501 2400.01/2399.80 c | 2400.01/2399.80 c ========================================================================================================= 2400.01/2399.80 2400.01/2399.80 c *** INTERRUPTED *** 2400.01/2399.80 c restarts : 0 2400.01/2399.80 c conflicts : 0 (0 /sec) 2400.01/2399.80 c decisions : 0 (0 /sec) 2400.01/2399.80 c propagations : 6667141 (2778 /sec) 2400.01/2399.80 c root propagations : 0 2400.01/2399.80 c filter calls : 10872136 (4531 /sec) 2400.01/2399.80 c useless filter calls : 4226283 (38 %) 2400.01/2399.80 c Memory used : 458.10 MB 2400.01/2399.80 c CPU time : 2399.7 s 2400.01/2399.80 c real time : 2399.8 s 2400.01/2399.80 2400.01/2399.80 s UNKNOWN
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: 16375 MiB (15424 MiB free) memory of node 1: 16384 MiB (15335 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408567-1569794697/watcher-4408567-1569794697 -o /tmp/evaluation-result-4408567-1569794697/solver-4408567-1569794697 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408567-1569794697.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27680, runsolver pid=27677 Current StackSize limit: 8192 KiB [startup+0.100172 s]* /proc/loadavg: 2.00 2.01 2.03 3/200 27681 /proc/meminfo: memFree=31369404/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=156392 memory=132608 CPUtime=0.1 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 33371 0 0 0 6 4 0 0 20 0 1 0 555411273 160145408 33152 33554432000 4194304 6211132 140729246581984 140729246578520 139822932749285 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 39098 33152 821 493 0 32403 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 156392 KiB Current children cumulated memory: 132608 KiB [startup+0.210893 s]* /proc/loadavg: 2.00 2.01 2.03 3/200 27681 /proc/meminfo: memFree=31366428/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=159380 memory=135732 CPUtime=0.21 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 34121 0 0 0 17 4 0 0 20 0 1 0 555411273 163205120 33933 33554432000 4194304 6211132 140729246581984 140729246578520 139822932749285 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 39845 33933 822 493 0 33150 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 159380 KiB Current children cumulated memory: 135732 KiB [startup+0.310297 s]* /proc/loadavg: 2.00 2.01 2.03 3/200 27681 /proc/meminfo: memFree=31363824/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=162112 memory=138332 CPUtime=0.31 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 34805 0 0 0 27 4 0 0 20 0 1 0 555411273 166002688 34583 33554432000 4194304 6211132 140729246581984 140729246578520 139822932749285 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 40528 34583 822 493 0 33833 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 162112 KiB Current children cumulated memory: 138332 KiB [startup+0.700301 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27681 /proc/meminfo: memFree=31361592/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=168032 memory=144028 CPUtime=0.69 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 36360 0 0 0 65 4 0 0 20 0 1 0 555411273 172064768 36007 33554432000 4194304 6211132 140729246581984 140729246578520 139822932749285 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 42008 36007 822 493 0 35313 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 168032 KiB Current children cumulated memory: 144028 KiB [startup+1.50031 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27681 /proc/meminfo: memFree=31349564/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=190208 memory=166204 CPUtime=1.48 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 41892 0 0 0 143 5 0 0 20 0 1 0 555411273 194772992 41485 33554432000 4194304 6211132 140729246581984 140729246574872 139822932749285 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 47552 41485 822 493 0 40857 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 190208 KiB Current children cumulated memory: 166204 KiB [startup+3.1107 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27681 /proc/meminfo: memFree=31294444/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=234600 memory=210408 CPUtime=3.1 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 53175 0 0 0 303 7 0 0 20 0 1 0 555411273 240230400 52602 33554432000 4194304 6211132 140729246581984 140729246574872 139822932749285 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 58650 52602 822 493 0 51955 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 234600 KiB Current children cumulated memory: 210408 KiB [startup+6.30029 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27681 /proc/meminfo: memFree=31211072/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=322912 memory=298644 CPUtime=6.29 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 75533 0 0 0 617 12 0 0 20 0 1 0 555411273 330661888 74661 33554432000 4194304 6211132 140729246581984 140729246573208 139822936235580 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 80728 74661 822 493 0 74033 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 322912 KiB Current children cumulated memory: 298644 KiB [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27682 /proc/meminfo: memFree=31055824/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445576 CPUtime=12.69 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 156412 0 0 0 1246 23 0 0 20 0 1 0 555411273 480350208 111394 33554432000 4194304 6211132 140729246581984 140729246576504 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111394 859 493 0 110578 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445576 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27682 /proc/meminfo: memFree=31055328/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445576 CPUtime=25.49 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 191166 0 0 0 2523 26 0 0 20 0 1 0 555411273 480350208 111394 33554432000 4194304 6211132 140729246581984 140729246580248 5392375 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111394 859 493 0 110578 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445576 KiB [startup+51.1108 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27684 /proc/meminfo: memFree=31054076/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445576 CPUtime=51.11 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 209417 0 0 0 5084 27 0 0 20 0 1 0 555411273 480350208 111394 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111394 859 493 0 110578 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445576 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27688 /proc/meminfo: memFree=31054020/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445576 CPUtime=102.29 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 227292 0 0 0 10201 28 0 0 20 0 1 0 555411273 480350208 111394 33554432000 4194304 6211132 140729246581984 140729246580248 5392375 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111394 859 493 0 110578 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445576 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27692 /proc/meminfo: memFree=31054016/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445576 CPUtime=162.3 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 244242 0 0 0 16201 29 0 0 20 0 1 0 555411273 480350208 111394 33554432000 4194304 6211132 140729246581984 140729246580248 5393104 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111394 859 493 0 110578 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445576 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27698 /proc/meminfo: memFree=31053596/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=222.3 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 244626 0 0 0 22201 29 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 222.3 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27703 /proc/meminfo: memFree=31053332/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=282.31 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 258651 0 0 0 28201 30 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27707 /proc/meminfo: memFree=31054064/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=342.31 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 259814 0 0 0 34201 30 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 342.31 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27722 /proc/meminfo: memFree=31056024/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=402.32 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 259957 0 0 0 40202 30 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27727 /proc/meminfo: memFree=31055028/32770688 swapFree=67001368/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=462.33 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 260704 0 0 0 46202 31 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB ################ # More data... # ################ /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 1602.44 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.09 3/199 27837 /proc/meminfo: memFree=31054168/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=1662.44 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 268663 0 0 0 166212 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 1662.44 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.08 3/199 27841 /proc/meminfo: memFree=31054176/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=1722.45 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 269206 0 0 0 172213 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 1722.45 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.07 3/199 27845 /proc/meminfo: memFree=31054260/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=1782.45 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 269341 0 0 0 178213 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 1782.45 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.07 3/199 27851 /proc/meminfo: memFree=31054668/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=1842.46 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 269871 0 0 0 184214 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 1842.46 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.06 3/199 27855 /proc/meminfo: memFree=31054908/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=1902.47 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 270022 0 0 0 190215 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 1902.47 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.06 3/199 27859 /proc/meminfo: memFree=31054440/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=1962.47 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 270529 0 0 0 196215 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193765 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 1962.47 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27865 /proc/meminfo: memFree=31054068/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=2022.47 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 270679 0 0 0 202215 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5393072 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 2022.47 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27869 /proc/meminfo: memFree=31053968/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=2082.48 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 271182 0 0 0 208216 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 2082.48 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 27873 /proc/meminfo: memFree=31054380/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=2142.49 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 271321 0 0 0 214217 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5393072 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 2142.49 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 27888 /proc/meminfo: memFree=31054908/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=2202.49 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 271834 0 0 0 220217 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5393104 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 2202.49 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 27892 /proc/meminfo: memFree=31054440/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=2262.5 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 271972 0 0 0 226218 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5172264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 2262.5 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+2322.3 s] /proc/loadavg: 1.94 2.00 2.04 3/201 28088 /proc/meminfo: memFree=31061008/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=2322.5 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 272461 0 0 0 232218 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 2322.5 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB [startup+2382.3 s] /proc/loadavg: 1.98 2.00 2.04 3/201 28094 /proc/meminfo: memFree=31060048/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=2382.51 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 272608 0 0 0 238219 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 2382.51 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.8 s] /proc/loadavg: 1.98 2.00 2.04 3/201 28094 /proc/meminfo: memFree=31059932/32770688 swapFree=67001380/67108860 [pid=27680] ppid=27677 vsize=469092 memory=445600 CPUtime=2400.01 cores=4-7 /proc/27680/stat : 27680 (cosoco) R 27677 27680 26332 0 -1 4202496 272608 0 0 0 239969 32 0 0 20 0 1 0 555411273 480350208 111400 33554432000 4194304 6211132 140729246581984 140729246580248 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20705280 140729246585867 140729246585969 140729246585969 140729246588878 0 /proc/27680/statm: 117273 111400 859 493 0 110578 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 469092 KiB Current children cumulated memory: 445600 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.8 s] # the end of solver process 27680 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.7 s, system=0.329031 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2399.8 CPU time (s): 2400.02 CPU user time (s): 2399.7 CPU system time (s): 0.329031 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 469464 Max. memory (cumulated for all children) (KiB): 445600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.7 system time used= 0.329031 maximum resident set size= 445664 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272660 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= 18 involuntary context switches= 617 # summary of solver processes directly reported to runsolver: # pid: 27680 # total CPU time (s): 2400.02 # total CPU user time (s): 2399.7 # total CPU system time (s): 0.329031 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.60994 second user time and 20.7999 second system time The end
Begin job on node116 at 2019-09-30 00:04:15 IDJOB=4408567 IDBENCH=126845 IDSOLVER=2875 FILE ID=node116/4408567-1569794697 RUNJOBID= node116-1569787351-26364 PBS_JOBID= 21705835 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0200.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408567-1569794697/watcher-4408567-1569794697 -o /tmp/evaluation-result-4408567-1569794697/solver-4408567-1569794697 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408567-1569794697.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d3e60901fc96036944749fe1efc55c4 RANDOM SEED=1626070831 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 31498784 kB MemAvailable: 31849220 kB Buffers: 190056 kB Cached: 480648 kB SwapCached: 3260 kB Active: 378628 kB Inactive: 304212 kB Active(anon): 29844 kB Inactive(anon): 63324 kB Active(file): 348784 kB Inactive(file): 240888 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001368 kB Dirty: 3464 kB Writeback: 0 kB AnonPages: 119352 kB Mapped: 28108 kB Shmem: 72416 kB Slab: 183676 kB SReclaimable: 153200 kB SUnreclaim: 30476 kB KernelStack: 3488 kB PageTables: 5392 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 574712 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62024 MiB End job on node116 at 2019-09-30 00:44:15