Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| (reference) PicatSAT 2019-09-12 | OPT | 4 | 733.332 | 733.393 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml |
| MD5SUM | 1883a0b97ed6164a2c6d9bdd2047bad0 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 227.213 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5734 |
| Number of domains | 1 |
| Minimum domain size | 450 |
| Maximum domain size | 450 |
| Distribution of domain sizes | [{"size":450,"count":450}] |
| Minimum variable degree | 13 |
| Maximum variable degree | 43 |
| Distribution of variable degrees | [{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":10},{"degree":18,"count":6},{"degree":19,"count":10},{"degree":20,"count":22},{"degree":21,"count":28},{"degree":22,"count":21},{"degree":23,"count":21},{"degree":24,"count":32},{"degree":25,"count":35},{"degree":26,"count":35},{"degree":27,"count":39},{"degree":28,"count":34},{"degree":29,"count":31},{"degree":30,"count":23},{"degree":31,"count":27},{"degree":32,"count":13},{"degree":33,"count":17},{"degree":34,"count":11},{"degree":35,"count":11},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":2},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":2},{"degree":43,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":5734}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 5734 |
| Distribution of constraint types | [{"type":"intension","count":5734}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
42.67/42.76 c xcsp_picat version 2.7b12 (9/12/2019) 42.67/42.76 o 138 42.67/42.76 o 31 42.67/42.76 o 10 733.23/733.39 o 5 733.23/733.39 o 4 733.23/733.39 s OPTIMUM FOUND 733.23/733.39 v <instantiation> 733.23/733.39 v <list> x[] </list> 733.23/733.39 v <values> 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 0 3 2 4 1 </values> 733.23/733.39 v </instantiation>
OK 4
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 (13760 MiB free)
memory of node 1: 16384 MiB (11273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407546-1569509641/watcher-4407546-1569509641 -o /tmp/evaluation-result-4407546-1569509641/solver-4407546-1569509641 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569509601-16425 --watchdog 2560 xcsp_picat HOME/instance-4407546-1569509641.xml
running on 4 cores: 0,2,4,6
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=16454, runsolver pid=16447
Current StackSize limit: 8192 KiB
[startup+0.100195 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 16456
/proc/meminfo: memFree=25588888/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2040056 memory=27132 CPUtime=0.09 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 2893 0 0 0 8 1 0 0 20 0 1 0 527232952 2089017344 6783 33554432000 4194304 5870510 140726405941120 140726405938264 5287642 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 510014 6783 886 410 0 505487 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2040056 KiB
Current children cumulated memory: 27132 KiB
[startup+0.210024 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 16456
/proc/meminfo: memFree=25531256/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2074732 memory=57172 CPUtime=0.19 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 10690 0 0 0 17 2 0 0 20 0 1 0 527232952 2124525568 14293 33554432000 4194304 5870510 140726405941120 140726405940200 5287642 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 518683 14293 886 410 0 514156 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2074732 KiB
Current children cumulated memory: 57172 KiB
[startup+0.309783 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 16456
/proc/meminfo: memFree=25528776/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2074968 memory=57924 CPUtime=0.29 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 10887 0 0 0 27 2 0 0 20 0 1 0 527232952 2124767232 14481 33554432000 4194304 5870510 140726405941120 140726405940200 5321611 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 518742 14481 890 410 0 514215 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2074968 KiB
Current children cumulated memory: 57924 KiB
[startup+0.700394 s]
/proc/loadavg: 0.00 0.01 0.05 5/199 16456
/proc/meminfo: memFree=25509180/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2078408 memory=64960 CPUtime=0.67 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 13704 0 0 0 65 2 0 0 20 0 1 0 527232952 2128289792 16240 33554432000 4194304 5870510 140726405941120 140726405940200 5349476 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 519602 16240 897 410 0 515075 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2078408 KiB
Current children cumulated memory: 64960 KiB
[startup+1.50042 s]
/proc/loadavg: 0.00 0.01 0.05 4/199 16456
/proc/meminfo: memFree=25495464/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2089636 memory=75536 CPUtime=1.48 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 16903 0 0 0 145 3 0 0 20 0 1 0 527232952 2139787264 18884 33554432000 4194304 5870510 140726405941120 140726405939272 5287642 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 522409 18884 897 410 0 517882 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2089636 KiB
Current children cumulated memory: 75536 KiB
[startup+3.1097 s]
/proc/loadavg: 0.00 0.01 0.05 4/200 16457
/proc/meminfo: memFree=25518440/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2098304 memory=76848 CPUtime=3.08 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 37034 0 1 0 302 6 0 0 20 0 1 0 527232952 2148663296 19212 33554432000 4194304 5870510 140726405941120 140726405939928 5261008 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 524576 19212 926 410 0 520049 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 76848 KiB
[startup+6.30037 s]
/proc/loadavg: 0.08 0.03 0.05 4/200 16458
/proc/meminfo: memFree=25487404/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2102728 memory=83836 CPUtime=6.27 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 53339 0 1 0 619 8 0 0 20 0 1 0 527232952 2153193472 20959 33554432000 4194304 5870510 140726405941120 140726405939832 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 525682 20959 926 410 0 521155 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2102728 KiB
Current children cumulated memory: 83836 KiB
[startup+12.7004 s]
/proc/loadavg: 0.16 0.05 0.06 2/195 16466
/proc/meminfo: memFree=25511184/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2152048 memory=135000 CPUtime=12.67 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 61707 0 1 0 1257 10 0 0 20 0 1 0 527232952 2203697152 33750 33554432000 4194304 5870510 140726405941120 140726405939560 5305048 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 538012 33750 928 410 0 533485 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 2152048 KiB
Current children cumulated memory: 135000 KiB
[startup+25.5004 s]
/proc/loadavg: 0.56 0.14 0.09 3/201 16521
/proc/meminfo: memFree=25525828/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2098304 memory=84276 CPUtime=25.47 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 85135 0 1 0 2532 15 0 0 20 0 1 0 527232952 2148663296 21069 33554432000 4194304 5870510 140726405941120 140726405939480 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 524576 21069 978 410 0 520049 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 84276 KiB
[startup+51.1098 s]
/proc/loadavg: 1.05 0.29 0.14 3/200 16521
/proc/meminfo: memFree=25501336/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2098304 memory=88656 CPUtime=51.07 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 94825 0 1 0 5092 15 0 0 20 0 1 0 527232952 2148663296 22164 33554432000 4194304 5870510 140726405941120 140726405940232 5282310 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 524576 22164 978 410 0 520049 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 88656 KiB
[startup+102.3 s]
/proc/loadavg: 1.59 0.55 0.24 3/200 16587
/proc/meminfo: memFree=24442344/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2110192 memory=99184 CPUtime=102.25 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 104478 0 1 0 10209 16 0 0 20 0 1 0 527232952 2160836608 24796 33554432000 4194304 5870510 140726405941120 140726405939608 5282519 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 527548 24796 978 410 0 523021 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 2110192 KiB
Current children cumulated memory: 99184 KiB
[startup+162.3 s]
/proc/loadavg: 1.85 0.82 0.35 3/200 16593
/proc/meminfo: memFree=24426504/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2121776 memory=114452 CPUtime=162.25 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 107602 0 1 0 16208 17 0 0 20 0 1 0 527232952 2172698624 28613 33554432000 4194304 5870510 140726405941120 140726405939688 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 530444 28613 978 410 0 525917 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2121776 KiB
Current children cumulated memory: 114452 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.03 0.45 3/200 16597
/proc/meminfo: memFree=24417536/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2128960 memory=124228 CPUtime=222.25 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 109159 0 1 0 22208 17 0 0 20 0 1 0 527232952 2180055040 31057 33554432000 4194304 5870510 140726405941120 140726405939688 5282509 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 532240 31057 978 410 0 527713 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2128960 KiB
Current children cumulated memory: 124228 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.55 3/200 16602
/proc/meminfo: memFree=24417076/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2128960 memory=124228 CPUtime=282.24 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 109179 0 1 0 28207 17 0 0 20 0 1 0 527232952 2180055040 31057 33554432000 4194304 5870510 140726405941120 140726405939688 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 532240 31057 978 410 0 527713 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2128960 KiB
Current children cumulated memory: 124228 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.35 0.64 3/199 16608
/proc/meminfo: memFree=24411536/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2147636 memory=130376 CPUtime=342.24 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 110295 0 1 0 34207 17 0 0 20 0 1 0 527232952 2199179264 32594 33554432000 4194304 5870510 140726405941120 140726405939560 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 536909 32594 978 410 0 532382 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2147636 KiB
Current children cumulated memory: 130376 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.47 0.72 3/199 16619
/proc/meminfo: memFree=24404468/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2147636 memory=136520 CPUtime=402.24 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 110505 0 1 0 40207 17 0 0 20 0 1 0 527232952 2199179264 34130 33554432000 4194304 5870510 140726405941120 140726405939560 5282574 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 536909 34130 978 410 0 532382 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2147636 KiB
Current children cumulated memory: 136520 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 1.58 0.81 3/200 16646
/proc/meminfo: memFree=24398900/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2150292 memory=140624 CPUtime=462.24 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 111672 0 1 0 46207 17 0 0 20 0 1 0 527232952 2201899008 35156 33554432000 4194304 5870510 140726405941120 140726405939608 5283116 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 537573 35156 978 410 0 533046 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 140624 KiB
[startup+522.3 s]
/proc/loadavg: 2.01 1.66 0.88 3/200 16652
/proc/meminfo: memFree=24397264/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2150292 memory=142672 CPUtime=522.23 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 111830 0 1 0 52206 17 0 0 20 0 1 0 527232952 2201899008 35668 33554432000 4194304 5870510 140726405941120 140726405939608 5282574 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 537573 35668 978 410 0 533046 0
Current children cumulated CPU time: 522.23 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 142672 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 1.72 0.95 3/200 16656
/proc/meminfo: memFree=24398636/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2150292 memory=142672 CPUtime=582.24 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 113092 0 1 0 58206 18 0 0 20 0 1 0 527232952 2201899008 35668 33554432000 4194304 5870510 140726405941120 140726405939608 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 537573 35668 978 410 0 533046 0
Current children cumulated CPU time: 582.24 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 142672 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 1.77 1.02 3/200 16660
/proc/meminfo: memFree=24398452/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2150292 memory=142672 CPUtime=642.24 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 113152 0 1 0 64206 18 0 0 20 0 1 0 527232952 2201899008 35668 33554432000 4194304 5870510 140726405941120 140726405939608 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 537573 35668 978 410 0 533046 0
Current children cumulated CPU time: 642.24 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 142672 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 1.81 1.08 3/200 16666
/proc/meminfo: memFree=24398328/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2150292 memory=143024 CPUtime=702.23 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 114533 0 1 0 70205 18 0 0 20 0 1 0 527232952 2201899008 35756 33554432000 4194304 5870510 140726405941120 140726405939608 5283126 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 537573 35756 978 410 0 533046 0
Current children cumulated CPU time: 702.23 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 143024 KiB
[startup+733.393 s]
# the end of solver process 16454 was just reported to runsolver
# cumulated CPU time of all completed processes: user=733.127 s, system=0.204992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 2.00 1.82 1.09 3/200 16666
/proc/meminfo: memFree=24390480/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2160256 memory=150552 CPUtime=716.73 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 115463 0 1 0 71655 18 0 0 20 0 1 0 527232952 2212102144 37638 33554432000 4194304 5870510 140726405941120 140726405939608 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 540064 37638 978 410 0 535537 0
Current children cumulated CPU time: 716.73 s
Current children cumulated vsize: 2160256 KiB
Current children cumulated memory: 150552 KiB
[startup+723.2 s]
/proc/loadavg: 2.00 1.82 1.10 3/200 16666
/proc/meminfo: memFree=24390636/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2160256 memory=150552 CPUtime=723.13 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 115463 0 1 0 72295 18 0 0 20 0 1 0 527232952 2212102144 37638 33554432000 4194304 5870510 140726405941120 140726405939608 5282590 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 540064 37638 978 410 0 535537 0
Current children cumulated CPU time: 723.13 s
Current children cumulated vsize: 2160256 KiB
Current children cumulated memory: 150552 KiB
[startup+729.6 s]
/proc/loadavg: 2.00 1.83 1.10 3/200 16667
/proc/meminfo: memFree=24390760/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2098304 memory=84080 CPUtime=729.53 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 123916 0 1 0 72933 20 0 0 20 0 1 0 527232952 2148663296 21020 33554432000 4194304 5870510 140726405941120 140726405939688 5271055 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 524576 21020 978 410 0 520049 0
Current children cumulated CPU time: 729.53 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 84080 KiB
[startup+731.2 s]
/proc/loadavg: 2.00 1.83 1.11 3/200 16667
/proc/meminfo: memFree=24453432/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2098304 memory=88120 CPUtime=731.13 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 124413 0 1 0 73093 20 0 0 20 0 1 0 527232952 2148663296 22030 33554432000 4194304 5870510 140726405941120 140726405939480 5272968 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 524576 22030 978 410 0 520049 0
Current children cumulated CPU time: 731.13 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 88120 KiB
[startup+732 s]*
/proc/loadavg: 2.00 1.83 1.11 3/200 16667
/proc/meminfo: memFree=24453432/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2098304 memory=88120 CPUtime=731.94 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 124413 0 1 0 73174 20 0 0 20 0 1 0 527232952 2148663296 22030 33554432000 4194304 5870510 140726405941120 140726405939480 5282680 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 524576 22030 978 410 0 520049 0
Current children cumulated CPU time: 731.94 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 88120 KiB
[startup+732.8 s]
/proc/loadavg: 2.00 1.83 1.11 3/200 16667
/proc/meminfo: memFree=24453432/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2098304 memory=88120 CPUtime=732.73 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 124413 0 1 0 73253 20 0 0 20 0 1 0 527232952 2148663296 22030 33554432000 4194304 5870510 140726405941120 140726405939480 5272880 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 524576 22030 978 410 0 520049 0
Current children cumulated CPU time: 732.73 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 88120 KiB
[startup+733.2 s]
/proc/loadavg: 2.00 1.83 1.11 3/200 16667
/proc/meminfo: memFree=24453432/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2098304 memory=88120 CPUtime=733.13 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 124413 0 1 0 73293 20 0 0 20 0 1 0 527232952 2148663296 22030 33554432000 4194304 5870510 140726405941120 140726405939480 139855372880478 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 524576 22030 978 410 0 520049 0
Current children cumulated CPU time: 733.13 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 88120 KiB
[startup+733.3 s]
/proc/loadavg: 2.00 1.83 1.11 3/200 16667
/proc/meminfo: memFree=24453432/32770624 swapFree=66960348/67108860
[pid=16454] ppid=16447 vsize=2098304 memory=88120 CPUtime=733.23 cores=0,2,4,6
/proc/16454/stat : 16454 (xcsp_picat) R 16447 16454 16394 0 -1 4202496 124413 0 1 0 73303 20 0 0 20 0 1 0 527232952 2148663296 22030 33554432000 4194304 5870510 140726405941120 140726405939480 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 25948160 140726405948447 140726405948525 140726405948525 140726405951434 0
/proc/16454/statm: 524576 22030 978 410 0 520049 0
Current children cumulated CPU time: 733.23 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 88120 KiB
Child status: 0
Real time (s): 733.393
CPU time (s): 733.332
CPU user time (s): 733.127
CPU system time (s): 0.204992
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 2160256
Max. memory (cumulated for all children) (KiB): 150552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 733.127
system time used= 0.204992
maximum resident set size= 150552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124435
page faults= 1
swaps= 0
block input operations= 3600
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 1206
# summary of solver processes directly reported to runsolver:
# pid: 16454
# total CPU time (s): 733.332
# total CPU user time (s): 733.127
# total CPU system time (s): 0.204992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.93589 second user time and 5.69363 second system time
The end
Begin job on node127 at 2019-09-26 16:53:21 IDJOB=4407546 IDBENCH=120645 IDSOLVER=2873 FILE ID=node127/4407546-1569509641 RUNJOBID= node127-1569509601-16425 PBS_JOBID= 21705788 Free space on /tmp= 35920 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-05b.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407546-1569509641/watcher-4407546-1569509641 -o /tmp/evaluation-result-4407546-1569509641/solver-4407546-1569509641 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569509601-16425 --watchdog 2560 xcsp_picat HOME/instance-4407546-1569509641.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1883a0b97ed6164a2c6d9bdd2047bad0 RANDOM SEED=883760399 node127.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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25636444 kB MemAvailable: 31781668 kB Buffers: 127300 kB Cached: 6234484 kB SwapCached: 44632 kB Active: 3070488 kB Inactive: 3342276 kB Active(anon): 19424 kB Inactive(anon): 106188 kB Active(file): 3051064 kB Inactive(file): 3236088 kB Unevictable: 107396 kB Mlocked: 107396 kB SwapTotal: 67108860 kB SwapFree: 66960348 kB Dirty: 6212 kB Writeback: 0 kB AnonPages: 114868 kB Mapped: 21648 kB Shmem: 65416 kB Slab: 315312 kB SReclaimable: 286532 kB SUnreclaim: 28780 kB KernelStack: 3280 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 535176 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= 35912 MiB End job on node127 at 2019-09-26 17:05:34