| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | ? (TO) | 2520.09 | 2519.91 |
| 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 |
2520.08/2519.90 c 2520.08/2519.90 c This is cosoco 2.00 -- 2520.08/2519.90 c 2520.08/2519.90 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389885-1568311177.xml 2520.08/2519.90 c enable optimization 2520.08/2519.90 c ========================================[ Problem Statistics ]=========================================== 2520.08/2519.90 c | 2520.08/2519.90 c | Parse time : 1.04 s 2520.08/2519.90 c | 2520.08/2519.90 c | Variables: 2200 2520.08/2519.90 c | Domain Sizes: 10594..10594 2520.08/2519.90 c | 2520.08/2519.90 c | Constraints: 201201 2520.08/2519.90 c | Arity: 1..200 -- Unary: 200 -- Binary: 201000 2520.08/2519.90 c | 2520.08/2519.90 c | Types: 2520.08/2519.90 c | (X -Y <= k): 1800 2520.08/2519.90 c | Disjunctive: 199000 2520.08/2519.90 c | Intension: 200 2520.08/2519.90 c | Max constant: 1 2520.08/2519.90 c | Unary: 200 2520.08/2519.90 c | 2520.08/2519.90 c | Objective: Minimize Max constant 2520.08/2519.90 2520.08/2519.90 c ========================================================================================================= 2520.08/2519.90 2520.08/2519.90 c *** INTERRUPTED *** 2520.08/2519.90 c call to solver : 0 2520.08/2519.90 c 2520.08/2519.90 c restarts : 6 2520.08/2519.90 c conflicts : 771 (0 /sec) 2520.08/2519.90 c decisions : 8489 (3 /sec) 2520.08/2519.90 c propagations : 113770330 (45187 /sec) 2520.08/2519.90 c root propagations : 991220 2520.08/2519.90 c filter calls : 238043440 (94545 /sec) 2520.08/2519.90 c useless filter calls : 236289630 (99 %) 2520.08/2519.90 c Memory used : 2080.68 MB 2520.08/2519.90 c Best bound time (wc) : -1.56831e+09 s 2520.08/2519.90 c CPU time : 2517.77 s 2520.08/2519.90 c real time : 2519.9 s 2520.08/2519.90 2520.08/2519.90 c No Bound found! 2520.08/2519.90 2520.08/2519.90 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 (10383 MiB free)
memory of node 1: 16384 MiB (13589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389885-1568311177/watcher-4389885-1568311177 -o /tmp/evaluation-result-4389885-1568311177/solver-4389885-1568311177 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389885-1568311177.xml
running on 4 cores: 4-7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6468, runsolver pid=6465
[startup+0.100167 s]*
/proc/loadavg: 0.78 1.04 1.29 2/197 6469
/proc/meminfo: memFree=24414124/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=175364 memory=151500 CPUtime=0.1 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 38023 0 0 0 5 5 0 0 20 0 1 0 407059386 179572736 37809 33554432000 4194304 6210612 140726013889536 140726013886072 5230741 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 43841 37809 752 493 0 37146 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 175364 KiB
Current children cumulated memory: 151500 KiB
[startup+0.210727 s]*
/proc/loadavg: 0.95 1.07 1.30 2/194 6477
/proc/meminfo: memFree=24313348/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=270656 memory=246724 CPUtime=0.21 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 61878 0 0 0 11 10 0 0 20 0 1 0 407059386 277151744 61681 33554432000 4194304 6210612 140726013889536 140726013886072 140028208283102 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 67664 61681 825 493 0 60969 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 270656 KiB
Current children cumulated memory: 246724 KiB
[startup+0.311476 s]*
/proc/loadavg: 0.95 1.07 1.30 2/194 6477
/proc/meminfo: memFree=24290712/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=285924 memory=262148 CPUtime=0.32 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 65756 0 0 0 22 10 0 0 20 0 1 0 407059386 292786176 65537 33554432000 4194304 6210612 140726013889536 140726013886072 140028208334752 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 71481 65537 826 493 0 64786 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 285924 KiB
Current children cumulated memory: 262148 KiB
[startup+0.700272 s]
/proc/loadavg: 0.95 1.07 1.30 2/194 6477
/proc/meminfo: memFree=24279180/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=306508 memory=282868 CPUtime=0.69 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 70879 0 0 0 59 10 0 0 20 0 1 0 407059386 313864192 70717 33554432000 4194304 6210612 140726013889536 140726013886072 140028208747500 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 76627 70717 826 493 0 69932 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 306508 KiB
Current children cumulated memory: 282868 KiB
[startup+1.50039 s]
/proc/loadavg: 0.95 1.07 1.30 5/212 6498
/proc/meminfo: memFree=23766112/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=1914104 memory=1890668 CPUtime=1.49 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 472794 0 0 0 87 62 0 0 20 0 1 0 407059386 1960042496 472601 33554432000 4194304 6210612 140726013889536 140726013885128 140028208334752 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 478559 472601 837 493 0 471864 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1914104 KiB
Current children cumulated memory: 1890668 KiB
[startup+3.11058 s]
/proc/loadavg: 0.95 1.07 1.30 3/199 6530
/proc/meminfo: memFree=22359256/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2116860 memory=2092928 CPUtime=3.1 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 525614 0 0 0 241 69 0 0 20 0 1 0 407059386 2167664640 523232 33554432000 4194304 6210612 140726013889536 140726013887800 5046496 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 529215 523232 878 493 0 522520 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2116860 KiB
Current children cumulated memory: 2092928 KiB
[startup+6.30028 s]
/proc/loadavg: 0.88 1.06 1.29 3/199 6530
/proc/meminfo: memFree=22358840/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2116860 memory=2092928 CPUtime=6.29 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 529079 0 0 0 560 69 0 0 20 0 1 0 407059386 2167664640 523232 33554432000 4194304 6210612 140726013889536 140726013887800 5046496 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 529215 523232 878 493 0 522520 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2116860 KiB
Current children cumulated memory: 2092928 KiB
[startup+12.7003 s]
/proc/loadavg: 0.97 1.07 1.29 3/199 6530
/proc/meminfo: memFree=22358564/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2116860 memory=2092932 CPUtime=12.69 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 780453 0 0 0 1185 84 0 0 20 0 1 0 407059386 2167664640 523233 33554432000 4194304 6210612 140726013889536 140726013887800 5167995 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 529215 523233 879 493 0 522520 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2116860 KiB
Current children cumulated memory: 2092932 KiB
[startup+25.5003 s]
/proc/loadavg: 1.13 1.10 1.30 3/200 6532
/proc/meminfo: memFree=22358036/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2117040 memory=2093012 CPUtime=25.49 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 1001625 0 0 0 2452 97 0 0 20 0 1 0 407059386 2167848960 523253 33554432000 4194304 6210612 140726013889536 140726013886920 5008459 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 529260 523253 879 493 0 522565 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2117040 KiB
Current children cumulated memory: 2093012 KiB
[startup+51.1107 s]
/proc/loadavg: 1.47 1.19 1.32 3/199 6533
/proc/meminfo: memFree=22358404/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2117592 memory=2093616 CPUtime=51.1 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 1241284 0 0 0 5002 108 0 0 20 0 1 0 407059386 2168414208 523404 33554432000 4194304 6210612 140726013889536 140726013886792 5167202 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 529398 523404 879 493 0 522703 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2117592 KiB
Current children cumulated memory: 2093616 KiB
[startup+102.3 s]
/proc/loadavg: 1.77 1.31 1.36 3/200 6544
/proc/meminfo: memFree=22355440/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2118608 memory=2094624 CPUtime=102.29 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 1496501 0 0 0 10109 120 0 0 20 0 1 0 407059386 2169454592 523656 33554432000 4194304 6210612 140726013889536 140726013886840 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 529652 523656 879 493 0 522957 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2118608 KiB
Current children cumulated memory: 2094624 KiB
[startup+162.3 s]
/proc/loadavg: 1.92 1.44 1.40 3/201 6573
/proc/meminfo: memFree=22353868/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2120860 memory=2096480 CPUtime=162.29 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 1688480 0 0 0 16101 128 0 0 20 0 1 0 407059386 2171760640 524120 33554432000 4194304 6210612 140726013889536 140726013887432 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 530215 524120 879 493 0 523520 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2120860 KiB
Current children cumulated memory: 2096480 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.54 1.44 3/201 6577
/proc/meminfo: memFree=22348748/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2125672 memory=2101308 CPUtime=222.3 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 1870474 0 0 0 22093 137 0 0 20 0 1 0 407059386 2176688128 525327 33554432000 4194304 6210612 140726013889536 140726013886792 5167992 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 531418 525327 879 493 0 524723 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2125672 KiB
Current children cumulated memory: 2101308 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.47 3/201 6581
/proc/meminfo: memFree=22347636/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2125804 memory=2101532 CPUtime=282.3 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 2080015 0 0 0 28082 148 0 0 20 0 1 0 407059386 2176823296 525383 33554432000 4194304 6210612 140726013889536 140726013886792 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 531451 525383 879 493 0 524756 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101532 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.51 3/201 6587
/proc/meminfo: memFree=22348144/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2125804 memory=2101532 CPUtime=342.3 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 2282413 0 0 0 34071 159 0 0 20 0 1 0 407059386 2176823296 525383 33554432000 4194304 6210612 140726013889536 140726013886792 5167139 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 531451 525383 879 493 0 524756 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101532 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.53 3/200 6591
/proc/meminfo: memFree=22348360/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2125804 memory=2101532 CPUtime=402.31 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 2474663 0 0 0 40062 169 0 0 20 0 1 0 407059386 2176823296 525383 33554432000 4194304 6210612 140726013889536 140726013886792 5167520 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 531451 525383 879 493 0 524756 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101532 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.56 3/199 6595
/proc/meminfo: memFree=22347844/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2125804 memory=2101548 CPUtime=462.32 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 2651933 0 0 0 46052 180 0 0 20 0 1 0 407059386 2176823296 525387 33554432000 4194304 6210612 140726013889536 140726013886792 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 531451 525387 879 493 0 524756 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2125804 KiB
Current children cumulated memory: 2101548 KiB
################
# More data... #
################
/proc/6468/statm: 532584 526500 879 493 0 525889 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 2130336 KiB
Current children cumulated memory: 2106000 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/199 6722
/proc/meminfo: memFree=22343108/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130336 memory=2106084 CPUtime=1842.42 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3648965 0 0 0 184013 229 0 0 20 0 1 0 407059386 2181464064 526521 33554432000 4194304 6210612 140726013889536 140726013886792 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532584 526521 879 493 0 525889 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 2130336 KiB
Current children cumulated memory: 2106084 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/200 6734
/proc/meminfo: memFree=22342600/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130468 memory=2106116 CPUtime=1902.42 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3650959 0 0 0 190013 229 0 0 20 0 1 0 407059386 2181599232 526529 33554432000 4194304 6210612 140726013889536 140726013886792 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532617 526529 879 493 0 525922 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106116 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/200 6740
/proc/meminfo: memFree=22343512/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130468 memory=2106116 CPUtime=1962.42 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3652333 0 0 0 196013 229 0 0 20 0 1 0 407059386 2181599232 526529 33554432000 4194304 6210612 140726013889536 140726013886792 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532617 526529 879 493 0 525922 0
Current children cumulated CPU time: 1962.42 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106116 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/200 6744
/proc/meminfo: memFree=22342880/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130468 memory=2106116 CPUtime=2022.43 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3653922 0 0 0 202014 229 0 0 20 0 1 0 407059386 2181599232 526529 33554432000 4194304 6210612 140726013889536 140726013886792 5167136 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532617 526529 879 493 0 525922 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106116 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/200 6748
/proc/meminfo: memFree=22343080/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130468 memory=2106116 CPUtime=2082.44 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3655347 0 0 0 208014 230 0 0 20 0 1 0 407059386 2181599232 526529 33554432000 4194304 6210612 140726013889536 140726013886792 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532617 526529 879 493 0 525922 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106116 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 6754
/proc/meminfo: memFree=22342804/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130468 memory=2106116 CPUtime=2142.45 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3656663 0 0 0 214015 230 0 0 20 0 1 0 407059386 2181599232 526529 33554432000 4194304 6210612 140726013889536 140726013886792 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532617 526529 879 493 0 525922 0
Current children cumulated CPU time: 2142.45 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106116 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 6758
/proc/meminfo: memFree=22343140/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130468 memory=2106116 CPUtime=2202.45 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3657950 0 0 0 220015 230 0 0 20 0 1 0 407059386 2181599232 526529 33554432000 4194304 6210612 140726013889536 140726013886792 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532617 526529 879 493 0 525922 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106116 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 6762
/proc/meminfo: memFree=22342868/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130468 memory=2106248 CPUtime=2262.45 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3659293 0 0 0 226015 230 0 0 20 0 1 0 407059386 2181599232 526562 33554432000 4194304 6210612 140726013889536 140726013886792 5167179 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532617 526562 879 493 0 525922 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 2130468 KiB
Current children cumulated memory: 2106248 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 6768
/proc/meminfo: memFree=22342724/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130616 memory=2106332 CPUtime=2322.46 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3661309 0 0 0 232015 231 0 0 20 0 1 0 407059386 2181750784 526583 33554432000 4194304 6210612 140726013889536 140726013887032 5185856 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532654 526583 879 493 0 525959 0
Current children cumulated CPU time: 2322.46 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106332 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 6772
/proc/meminfo: memFree=22342912/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130616 memory=2106332 CPUtime=2382.47 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3662752 0 0 0 238016 231 0 0 20 0 1 0 407059386 2181750784 526583 33554432000 4194304 6210612 140726013889536 140726013887032 5167536 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532654 526583 879 493 0 525959 0
Current children cumulated CPU time: 2382.47 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106332 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 6776
/proc/meminfo: memFree=22343044/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130616 memory=2106332 CPUtime=2442.47 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3664132 0 0 0 244016 231 0 0 20 0 1 0 407059386 2181750784 526583 33554432000 4194304 6210612 140726013889536 140726013887032 5167555 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532654 526583 879 493 0 525959 0
Current children cumulated CPU time: 2442.47 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106332 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/200 6790
/proc/meminfo: memFree=22342872/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130616 memory=2106332 CPUtime=2502.48 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3665559 0 0 0 250017 231 0 0 20 0 1 0 407059386 2181750784 526583 33554432000 4194304 6210612 140726013889536 140726013887032 5192912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532654 526583 879 493 0 525959 0
Current children cumulated CPU time: 2502.48 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.03 2.02 1.96 3/200 6791
/proc/meminfo: memFree=22342968/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130616 memory=2106332 CPUtime=2520.08 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3666026 0 0 0 251777 231 0 0 20 0 1 0 407059386 2181750784 526583 33554432000 4194304 6210612 140726013889536 140726013887032 5192917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532654 526583 879 493 0 525959 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 6468 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.77 s, system=2.32019 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.03 2.02 1.96 3/200 6791
/proc/meminfo: memFree=22342968/32770688 swapFree=66960452/67108860
[pid=6468] ppid=6465 vsize=2130616 memory=2106332 CPUtime=2520.08 cores=4-7
/proc/6468/stat : 6468 (cosoco) R 6465 6468 6407 0 -1 4202496 3666026 0 0 0 251777 231 0 0 20 0 1 0 407059386 2181750784 526583 33554432000 4194304 6210612 140726013889536 140726013887032 5192917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 40734720 140726013891595 140726013891697 140726013891697 140726013894606 0
/proc/6468/statm: 532654 526583 879 493 0 525959 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 2130616 KiB
Current children cumulated memory: 2106332 KiB
Child status: 1
Real time (s): 2519.91
CPU time (s): 2520.09
CPU user time (s): 2517.77
CPU system time (s): 2.32019
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 2130616
Max. memory (cumulated for all children) (KiB): 2106332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.77
system time used= 2.3202
maximum resident set size= 2106408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3666076
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= 51
involuntary context switches= 850
# summary of solver processes directly reported to runsolver:
# pid: 6468
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.77
# total CPU system time (s): 2.32019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.147 second user time and 19.6741 second system time
The end
Begin job on node116 at 2019-09-12 19:58:56 IDJOB=4389885 IDBENCH=115615 IDSOLVER=2829 FILE ID=node116/4389885-1568311177 RUNJOBID= node116-1568311136-6439 PBS_JOBID= 21701125 Free space on /tmp= 56884 MiB SOLVER NAME= cosoco 2 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-4389885-1568311177/watcher-4389885-1568311177 -o /tmp/evaluation-result-4389885-1568311177/solver-4389885-1568311177 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389885-1568311177.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4dc4d699091ca89690279c2093d69f52 RANDOM SEED=1578096515 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: 24548412 kB MemAvailable: 31812524 kB Buffers: 114176 kB Cached: 7371288 kB SwapCached: 46344 kB Active: 1181496 kB Inactive: 6353692 kB Active(anon): 13500 kB Inactive(anon): 76828 kB Active(file): 1167996 kB Inactive(file): 6276864 kB Unevictable: 110124 kB Mlocked: 110124 kB SwapTotal: 67108860 kB SwapFree: 66960452 kB Dirty: 5148 kB Writeback: 0 kB AnonPages: 113992 kB Mapped: 41296 kB Shmem: 31836 kB Slab: 276528 kB SReclaimable: 247712 kB SUnreclaim: 28816 kB KernelStack: 3280 kB PageTables: 5988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 503600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 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: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 56880 MiB End job on node116 at 2019-09-12 20:40:56