Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PicatSAT 2018-08-02 | OPT | 18292585 | 2048.72 | 2048.73 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-test01-0150_c18.xml |
| MD5SUM | deef1e755c9079fc369bbf159731f616 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 18292585 |
| Best CPU time to get the best result obtained on this benchmark | 2058.63 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2328 |
| Number of constraints | 1459 |
| Number of domains | 42 |
| Minimum domain size | 2 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 677 |
| Distribution of variable degrees | [{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}] |
| Number of extensional constraints | 676 |
| Number of intensional constraints | 783 |
| Distribution of constraint types | [{"type":"extension","count":676},{"type":"intension","count":783}] |
| Optimization problem | YES |
| Type of objective | min SUM |
2048.69/2048.72 c xcsp_picat version 2.4#6 (8/1/2018) 2048.69/2048.72 o 18394166 2048.69/2048.72 o 18319808 2048.69/2048.72 o 18299539 2048.69/2048.72 o 18292796 2048.69/2048.72 o 18292681 2048.69/2048.72 o 18292623 2048.69/2048.72 o 18292594 2048.69/2048.72 o 18292587 2048.69/2048.72 o 18292585 2048.69/2048.72 s OPTIMUM FOUND 2048.69/2048.72 v <instantiation> 2048.69/2048.72 v <list> v1[] k f[] d[] p[] v2[] </list> 2048.69/2048.72 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 2620 2720 2552 2308 2488 2644 2140 2420 2700 2620 2500 2604 2140 2616 2124 2220 2596 2660 2132 2660 2700 2700 2376 2696 2268 2184 2596 2180 2660 2644 2144 2632 2660 2660 2720 2532 2180 2180 2528 2184 2580 2588 2660 2224 2184 2220 2476 2188 2656 2436 2688 2416 2700 2604 2296 2680 2700 2180 2336 2172 2548 2620 2688 2388 2660 2592 2228 2660 2164 2268 2660 2700 2700 2648 2700 2180 2428 2312 2700 2184 2404 2620 2188 2272 2476 2564 2180 2540 2640 2456 2660 2572 2660 2604 2496 2572 2636 2140 2468 2364 2220 2660 2604 2708 2436 2660 2420 2348 2624 2644 2700 2248 2556 2696 2140 2600 2388 2620 2656 2228 2144 2532 2648 2660 2208 2680 2220 2656 2664 2620 2644 2180 2540 2660 2148 2668 2160 2700 2620 2460 2120 2224 2380 2660 2180 2512 2660 2428 2604 2660 80 80 68 232 80 80 124 220 588 24 536 124 64 540 32 284 300 600 208 108 168 164 372 108 180 164 124 352 128 108 268 192 200 152 132 116 172 464 64 16 420 168 52 464 456 208 80 392 44 80 40 288 464 560 556 40 84 288 80 184 296 212 240 56 124 240 280 240 40 104 120 264 520 364 224 480 480 80 32 16 40 392 352 80 436 440 40 24 472 80 108 280 368 316 112 228 44 136 112 156 56 56 96 16 56 40 184 52 236 388 560 560 32 560 560 288 560 264 500 560 348 44 44 44 56 576 312 572 100 48 76 384 48 480 40 384 440 40 100 104 416 124 408 24 100 64 24 480 520 272 48 136 96 12 328 128 348 520 112 12 160 80 168 80 80 516 364 312 388 296 80 428 40 76 56 36 540 324 228 216 80 196 284 196 288 196 324 136 168 92 76 124 260 76 88 48 392 352 460 420 464 292 516 416 36 460 476 416 68 412 44 376 56 72 24 216 64 452 88 424 40 184 32 424 28 128 40 120 312 56 96 16 56 464 332 16 224 24 104 496 384 40 556 168 476 516 352 428 552 500 448 408 48 404 68 16 512 56 324 20 36 128 12 56 164 192 12 8 40 536 492 60 580 300 580 76 540 600 156 168 92 124 384 440 520 360 348 520 480 528 240 376 40 468 464 356 92 140 52 120 132 36 472 524 460 64 40 480 436 476 108 32 400 56 332 116 84 80 40 404 408 208 76 348 104 8 500 40 436 40 436 424 476 180 396 44 476 396 436 408 516 516 456 420 496 468 48 184 352 144 400 440 292 112 172 268 184 500 8 472 80 8 460 480 28 108 32 512 52 272 188 120 208 224 272 516 460 12 260 212 52 28 236 244 104 60 244 244 428 224 560 40 376 96 292 56 136 424 392 364 16 172 364 292 88 492 500 80 80 272 80 224 232 76 560 100 96 520 296 444 440 364 312 156 288 284 312 324 324 324 192 248 100 152 120 24 56 112 408 112 36 80 400 40 252 440 260 120 200 268 240 280 72 520 48 104 540 436 428 68 280 432 108 412 44 396 224 16 128 512 232 240 496 456 296 16 264 200 48 392 120 392 36 432 516 520 388 76 80 52 40 244 300 504 16 488 272 312 248 456 420 248 144 232 288 228 356 512 560 80 552 420 64 480 256 256 152 200 56 48 48 24 60 160 40 376 432 476 364 388 348 44 188 388 184 128 40 56 256 40 424 384 96 456 444 480 84 72 120 104 20 252 16 20 432 460 416 20 204 164 312 248 440 40 272 120 8 540 136 72 192 32 384 444 224 60 36 168 172 136 88 128 168 272 24 24 328 224 560 508 20 480 40 248 120 260 192 224 256 184 488 400 424 448 100 452 480 168 464 424 152 560 248 588 208 264 296 276 200 300 240 296 168 464 24 436 36 480 552 40 416 452 180 24 348 408 396 104 164 288 48 220 276 256 232 80 80 108 316 516 28 44 8 88 500 20 480 476 20 204 284 192 16 24 120 120 64 512 512 80 580 108 204 480 56 0 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 </values> 2048.69/2048.72 v </instantiation>
OK 18292585
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 (2049 MiB free)
memory of node 1: 16384 MiB (2296 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303534-1534009016/watcher-4303534-1534009016 -o /tmp/evaluation-result-4303534-1534009016/solver-4303534-1534009016 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5740 --watchdog 2580 xcsp_picat HOME/instance-4303534-1534009016.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7627, runsolver pid=7624
[startup+0.100605 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=4432120/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2025744 memory=20580 CPUtime=0.1 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 1751 0 0 0 10 0 0 0 20 0 1 0 218464778 2074361856 5145 33554432000 4194304 5849708 140727424459120 140727424458424 4475326 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 506436 5145 626 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 20580 KiB
[startup+0.209685 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=4425804/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2025744 memory=26724 CPUtime=0.21 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 1754 0 0 0 21 0 0 0 20 0 1 0 218464778 2074361856 6681 33554432000 4194304 5849708 140727424459120 140727424458424 139723327351808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 506436 6681 626 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 26724 KiB
[startup+0.309517 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=4419660/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2025744 memory=32868 CPUtime=0.31 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 1757 0 0 0 31 0 0 0 20 0 1 0 218464778 2074361856 8217 33554432000 4194304 5849708 140727424459120 140727424458424 139723327351808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 506436 8217 626 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32868 KiB
[startup+0.700306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=4407372/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2025744 memory=55396 CPUtime=0.68 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 1768 0 0 0 68 0 0 0 20 0 1 0 218464778 2074361856 13849 33554432000 4194304 5849708 140727424459120 140727424458424 4488915 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 506436 13849 626 405 0 503381 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 55396 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=4378588/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2025744 memory=104696 CPUtime=1.49 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 1792 0 0 0 148 1 0 0 20 0 1 0 218464778 2074361856 26174 33554432000 4194304 5849708 140727424459120 140727424458424 4494039 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 506436 26174 628 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 104696 KiB
[startup+3.10949 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=4257596/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2025744 memory=200952 CPUtime=3.1 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 1967 0 0 0 306 4 0 0 20 0 1 0 218464778 2074361856 50238 33554432000 4194304 5849708 140727424459120 140727424458424 4488932 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 506436 50238 628 405 0 503381 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 200952 KiB
[startup+6.30025 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=4079220/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2025744 memory=391416 CPUtime=6.28 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 2211 0 0 0 620 8 0 0 20 0 1 0 218464778 2074361856 97854 33554432000 4194304 5849708 140727424459120 140727424458424 4548541 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 506436 97854 628 405 0 503381 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 391416 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=3459500/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2025744 memory=1094204 CPUtime=12.69 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 3833 0 0 0 1247 22 0 0 20 0 1 0 218464778 2074361856 273551 33554432000 4194304 5849708 140727424459120 140727424458424 4514460 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 506436 273551 659 405 0 503381 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 1094204 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=2868376/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2058928 memory=1582372 CPUtime=25.49 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 5300 0 0 0 2519 30 0 0 20 0 1 0 218464778 2108342272 395593 33554432000 4194304 5849708 140727424459120 140727424458216 5472460 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 514732 395593 723 405 0 511677 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2058928 KiB
Current children cumulated memory: 1582372 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=2732228/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2194016 memory=1717564 CPUtime=51.09 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 12242 0 0 0 5071 38 0 0 20 0 1 0 218464778 2246672384 429391 33554432000 4194304 5849708 140727424459120 140727424457608 5319753 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 548504 429391 749 405 0 545449 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2194016 KiB
Current children cumulated memory: 1717564 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7629
/proc/meminfo: memFree=2643964/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2149140 memory=1672716 CPUtime=102.27 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 36561 0 0 0 10174 53 0 0 20 0 1 0 218464778 2200719360 418179 33554432000 4194304 5849708 140727424459120 140727424458120 139723327373191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 537285 418179 755 405 0 534230 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2149140 KiB
Current children cumulated memory: 1672716 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7630
/proc/meminfo: memFree=2582664/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2144956 memory=1668532 CPUtime=162.28 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 61188 0 0 0 16147 81 0 0 20 0 1 0 218464778 2196434944 417133 33554432000 4194304 5849708 140727424459120 140727424457768 5319753 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 536239 417133 755 405 0 533184 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2144956 KiB
Current children cumulated memory: 1668532 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7639
/proc/meminfo: memFree=2688576/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2102448 memory=1626060 CPUtime=222.29 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 72606 0 0 0 22115 114 0 0 20 0 1 0 218464778 2152906752 406515 33554432000 4194304 5849708 140727424459120 140727424458360 5471840 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 525612 406515 764 405 0 522557 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2102448 KiB
Current children cumulated memory: 1626060 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7701
/proc/meminfo: memFree=2463592/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2124316 memory=1647928 CPUtime=282.28 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 80237 0 0 0 28093 135 0 0 20 0 1 0 218464778 2175299584 411982 33554432000 4194304 5849708 140727424459120 140727424458120 4217869 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 531079 411982 764 405 0 528024 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2124316 KiB
Current children cumulated memory: 1647928 KiB
[startup+342.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 7702
/proc/meminfo: memFree=1902788/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2187060 memory=1710672 CPUtime=342.28 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 84986 0 0 0 34073 155 0 0 20 0 1 0 218464778 2239549440 427668 33554432000 4194304 5849708 140727424459120 140727424458120 139723327373191 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 546765 427668 764 405 0 543710 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2187060 KiB
Current children cumulated memory: 1710672 KiB
[startup+402.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 7703
/proc/meminfo: memFree=1893772/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2193960 memory=1717504 CPUtime=402.29 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 93706 0 0 0 40048 181 0 0 20 0 1 0 218464778 2246615040 429376 33554432000 4194304 5849708 140727424459120 140727424457608 5319730 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 548490 429376 764 405 0 545435 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2193960 KiB
Current children cumulated memory: 1717504 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 7704
/proc/meminfo: memFree=1892392/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2193992 memory=1718208 CPUtime=462.28 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 97462 0 0 0 46028 200 0 0 20 0 1 0 218464778 2246647808 429552 33554432000 4194304 5849708 140727424459120 140727424457608 5319753 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 548498 429552 764 405 0 545443 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2193992 KiB
Current children cumulated memory: 1718208 KiB
################
# More data... #
################
Current children cumulated memory: 1718160 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7764
/proc/meminfo: memFree=2029548/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2112368 memory=1636652 CPUtime=1722.29 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 180287 0 0 0 171562 667 0 0 20 0 1 0 218464778 2163064832 409163 33554432000 4194304 5849708 140727424459120 140727424458280 139723327373191 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 528092 409163 764 405 0 525037 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 2112368 KiB
Current children cumulated memory: 1636652 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7765
/proc/meminfo: memFree=1960532/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2187224 memory=1711508 CPUtime=1782.28 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 184057 0 0 0 177547 681 0 0 20 0 1 0 218464778 2239717376 427877 33554432000 4194304 5849708 140727424459120 140727424458120 5437687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 546806 427877 764 405 0 543751 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 2187224 KiB
Current children cumulated memory: 1711508 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7766
/proc/meminfo: memFree=1954704/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2193936 memory=1718152 CPUtime=1842.28 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 186740 0 0 0 183520 708 0 0 20 0 1 0 218464778 2246590464 429538 33554432000 4194304 5849708 140727424459120 140727424457608 5319749 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 548484 429538 764 405 0 545429 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 2193936 KiB
Current children cumulated memory: 1718152 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7767
/proc/meminfo: memFree=2045832/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2102448 memory=1626732 CPUtime=1902.28 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 194663 0 0 0 189500 728 0 0 20 0 1 0 218464778 2152906752 406683 33554432000 4194304 5849708 140727424459120 140727424458360 5406160 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 525612 406683 764 405 0 522557 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 2102448 KiB
Current children cumulated memory: 1626732 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7768
/proc/meminfo: memFree=2035656/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2112332 memory=1636616 CPUtime=1962.28 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 198036 0 0 0 195478 750 0 0 20 0 1 0 218464778 2163027968 409154 33554432000 4194304 5849708 140727424459120 140727424458120 139723327373191 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 528083 409154 764 405 0 525028 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 2112332 KiB
Current children cumulated memory: 1636616 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7777
/proc/meminfo: memFree=1923096/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2220032 memory=1744208 CPUtime=2022.29 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 201599 0 0 0 201467 762 0 0 20 0 1 0 218464778 2273312768 436052 33554432000 4194304 5849708 140727424459120 140727424457608 5307126 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 555008 436052 764 405 0 551953 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 2220032 KiB
Current children cumulated memory: 1744208 KiB
[startup+2048.73 s]
# the end of solver process 7627 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2040.9 s, system=7.82004 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2022.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7777
/proc/meminfo: memFree=1923096/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2220032 memory=1744208 CPUtime=2022.39 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 201599 0 0 0 201477 762 0 0 20 0 1 0 218464778 2273312768 436052 33554432000 4194304 5849708 140727424459120 140727424457608 4211654 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 555008 436052 764 405 0 551953 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 2220032 KiB
Current children cumulated memory: 1744208 KiB
[startup+2035.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7777
/proc/meminfo: memFree=2029272/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2112968 memory=1637252 CPUtime=2035.19 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 202650 0 0 0 202751 768 0 0 20 0 1 0 218464778 2163679232 409313 33554432000 4194304 5849708 140727424459120 140727424458120 5359131 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 528242 409313 764 405 0 525187 0
Current children cumulated CPU time: 2035.19 s
Current children cumulated vsize: 2112968 KiB
Current children cumulated memory: 1637252 KiB
[startup+2041.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7777
/proc/meminfo: memFree=2029272/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2112968 memory=1637252 CPUtime=2041.59 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 202650 0 0 0 203385 774 0 0 20 0 1 0 218464778 2163679232 409313 33554432000 4194304 5849708 140727424459120 140727424458120 5360928 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 528242 409313 764 405 0 525187 0
Current children cumulated CPU time: 2041.59 s
Current children cumulated vsize: 2112968 KiB
Current children cumulated memory: 1637252 KiB
[startup+2044.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7777
/proc/meminfo: memFree=2030016/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2112292 memory=1636576 CPUtime=2044.79 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 202650 0 0 0 203701 778 0 0 20 0 1 0 218464778 2162987008 409144 33554432000 4194304 5849708 140727424459120 140727424458120 139723327373191 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 528073 409144 764 405 0 525018 0
Current children cumulated CPU time: 2044.79 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636576 KiB
[startup+2046.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7777
/proc/meminfo: memFree=2030068/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2112292 memory=1636576 CPUtime=2046.38 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 202650 0 0 0 203859 779 0 0 20 0 1 0 218464778 2162987008 409144 33554432000 4194304 5849708 140727424459120 140727424458120 139723327373191 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 528073 409144 764 405 0 525018 0
Current children cumulated CPU time: 2046.38 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636576 KiB
[startup+2048 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 7777
/proc/meminfo: memFree=2030068/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2112292 memory=1636576 CPUtime=2047.99 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 202651 0 0 0 204019 780 0 0 20 0 1 0 218464778 2162987008 409144 33554432000 4194304 5849708 140727424459120 140727424457608 4208575 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 528073 409144 764 405 0 525018 0
Current children cumulated CPU time: 2047.99 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636576 KiB
[startup+2048.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7777
/proc/meminfo: memFree=2030068/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2112292 memory=1636576 CPUtime=2048.38 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 202651 0 0 0 204058 780 0 0 20 0 1 0 218464778 2162987008 409144 33554432000 4194304 5849708 140727424459120 140727424458120 139723327373191 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 528073 409144 764 405 0 525018 0
Current children cumulated CPU time: 2048.38 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636576 KiB
[startup+2048.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7777
/proc/meminfo: memFree=2030068/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2112292 memory=1636576 CPUtime=2048.58 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 202651 0 0 0 204078 780 0 0 20 0 1 0 218464778 2162987008 409144 33554432000 4194304 5849708 140727424459120 140727424458120 139723327373191 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 528073 409144 764 405 0 525018 0
Current children cumulated CPU time: 2048.58 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636576 KiB
[startup+2048.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7777
/proc/meminfo: memFree=2030068/32770624 swapFree=67108860/67108860
[pid=7627] ppid=7624 vsize=2112292 memory=1636580 CPUtime=2048.69 cores=0,2,4,6
/proc/7627/stat : 7627 (xcsp_picat) R 7624 7627 5709 0 -1 4202496 202912 0 0 0 204088 781 0 0 20 0 1 0 218464778 2162987008 409145 33554432000 4194304 5849708 140727424459120 140727424458120 4539901 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 27004928 140727424464054 140727424464132 140727424464132 140727424466890 0
/proc/7627/statm: 528073 409145 765 405 0 525018 0
Current children cumulated CPU time: 2048.69 s
Current children cumulated vsize: 2112292 KiB
Current children cumulated memory: 1636580 KiB
Child status: 0
Real time (s): 2048.73
CPU time (s): 2048.72
CPU user time (s): 2040.9
CPU system time (s): 7.82004
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 2220068
Max. memory (cumulated for all children) (KiB): 1744224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2040.9
system time used= 7.82004
maximum resident set size= 1744224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203488
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= 5
involuntary context switches= 3051
# summary of solver processes directly reported to runsolver:
# pid: 7627
# total CPU time (s): 2048.72
# total CPU user time (s): 2040.9
# total CPU system time (s): 7.82004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.49414 second user time and 13.8154 second system time
The end
Begin job on node107 at 2018-08-11 19:36:56 IDJOB=4303534 IDBENCH=141259 IDSOLVER=2778 FILE ID=node107/4303534-1534009016 RUNJOBID= node107-1533993611-5740 PBS_JOBID= 21036955 Free space on /tmp= 39288 MiB SOLVER NAME= PicatSAT 2018-08-02 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303534-1534009016/watcher-4303534-1534009016 -o /tmp/evaluation-result-4303534-1534009016/solver-4303534-1534009016 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5740 --watchdog 2580 xcsp_picat HOME/instance-4303534-1534009016.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= deef1e755c9079fc369bbf159731f616 RANDOM SEED=535149955 node107.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.40 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.40 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.40 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.40 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: 4450604 kB MemAvailable: 31501800 kB Buffers: 279456 kB Cached: 26668448 kB SwapCached: 0 kB Active: 9408312 kB Inactive: 17997804 kB Active(anon): 407332 kB Inactive(anon): 103592 kB Active(file): 9000980 kB Inactive(file): 17894212 kB Unevictable: 6976 kB Mlocked: 6976 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 48316 kB Writeback: 24 kB AnonPages: 455284 kB Mapped: 62980 kB Shmem: 49804 kB Slab: 612852 kB SReclaimable: 584464 kB SUnreclaim: 28388 kB KernelStack: 3152 kB PageTables: 6144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2772304 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 309248 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 39196 MiB End job on node107 at 2018-08-11 20:11:05