| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 | ? (TO) | 2400.08 | 2399.9 |
| Name | PseudoBoolean/PseudoBoolean-dec-spba/ Pb-BeauxArts-K67.xml |
| MD5SUM | 4516aa109e121890953f360029c48088 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 165.471 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3685 |
| Number of constraints | 3821 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":3685}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 9 |
| Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":127},{"degree":5,"count":550},{"degree":6,"count":1960},{"degree":7,"count":590},{"degree":8,"count":327},{"degree":9,"count":130}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 67 |
| Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":660},{"arity":3,"count":1914},{"arity":4,"count":594},{"arity":5,"count":330},{"arity":6,"count":132},{"arity":55,"count":134},{"arity":67,"count":55}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":3821}] |
| Optimization problem | NO |
| Type of objective |
0.41/0.46 c root propagations : 455 0.41/0.46 c restarts enabled, print stats at every restarts 0.41/0.46 c 0.41/0.46 c 0.41/0.46 c 0.41/0.46 c This is cosoco 2.00 -- 0.41/0.46 c 0.41/0.46 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408607-1569801640.xml 0.41/0.46 c ========================================[ Problem Statistics ]=========================================== 0.41/0.46 c | 0.41/0.46 c | Parse time : 0.40 s 0.41/0.46 c | 0.41/0.46 c | Variables: 3685 0.41/0.46 c | Domain Sizes: 2..2 0.41/0.46 c | 0.41/0.46 c | Constraints: 3821 0.41/0.46 c | Arity: 1..67 -- Unary: 2 -- Binary: 660 -- Ternary: 1914 0.41/0.46 c | 0.41/0.46 c | Types: 0.41/0.46 c | Sum: 3821 0.41/0.46 c | 0.41/0.46 c ========================================================================================================= 0.41/0.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.29/1.35 c 101 7730 459395 160449 455 0 668 3349 2366 2.10/2.15 c 211 20580 769411 284069 455 0 395 1199 693 2.79/2.80 c 332 26017 1097121 423696 455 0 510 881 782 3.39/3.45 c 465 33383 1374189 516396 455 0 400 852 682 4.10/4.11 c 611 39818 1687814 642708 455 0 481 867 641 4.79/4.83 c 771 44263 2041123 773441 455 0 329 525 382 6.10/6.18 c 947 52123 2737275 1034903 455 0 140 1105 772 7.00/7.10 c 1140 57741 3243185 1231516 455 0 337 386 364 8.69/8.72 c 1352 76995 3937802 1523845 455 0 295 1022 602 10.79/10.84 c 1585 84853 5104099 1935706 455 0 332 480 409 12.00/12.09 c 1841 101081 5625451 2138160 455 0 304 710 540 13.59/13.60 c 2122 112339 6367668 2432076 455 0 330 588 457 16.39/16.49 c 2431 123706 7861315 2915531 455 0 338 437 389 17.69/17.77 c 2770 132635 8511795 3148682 455 0 311 401 365 19.19/19.28 c 3142 141554 9287186 3430288 455 0 256 386 315 21.00/21.01 c 3551 150965 10169522 3727554 455 0 263 397 310 22.49/22.51 c 4000 162849 10868887 3994277 455 0 212 401 304 24.10/24.17 c 4493 175215 11655534 4292807 455 0 228 303 262 26.89/26.90 c 5035 201006 12932199 4835028 455 0 191 621 524 30.39/30.44 c 5631 222535 14641333 5363429 455 0 329 517 461 34.00/34.06 c 6286 265638 16080803 5878559 455 0 285 523 454 35.89/35.98 c 7006 285444 16950561 6238960 455 0 238 471 359 41.11/41.11 c 7798 336978 19246786 7270957 455 0 143 817 574 44.59/44.65 c 8669 378046 20868233 7960024 455 0 380 691 544 47.49/47.56 c 9627 415250 22195187 8464150 455 0 494 809 713 50.89/50.90 c 10680 456506 23900949 9119151 455 0 551 1181 662 56.79/56.82 c 11838 501484 27390333 10372577 455 0 462 683 572 66.69/66.75 c 13111 591133 32265619 12303799 455 0 428 855 643 76.18/76.27 c 14511 665845 37188096 14250406 455 0 495 767 678 81.18/81.20 c 16051 740774 39413975 15226366 455 0 580 905 798 88.67/88.74 c 17745 867267 42416970 16625159 455 0 561 959 809 95.78/95.84 c 19608 959942 45644410 18002989 455 0 347 730 627 103.08/103.19 c 21657 1050973 49294756 19553502 455 0 462 779 617 113.77/113.82 c 23910 1182038 54270505 21410810 455 0 435 892 617 123.57/123.65 c 26388 1318083 58908123 23223909 455 0 433 1244 637 134.87/135.01 c 29113 1479268 64065137 25464129 455 0 519 1194 749 149.18/149.23 c 32110 1604771 71473277 28287817 455 0 490 705 618 164.18/164.25 c 35406 1787070 78556006 31060578 455 0 495 978 713 183.88/183.94 c 39031 1977527 88368888 34633560 455 0 450 816 680 199.38/199.40 c 43018 2129823 95687982 37483834 455 0 305 736 541 213.18/213.23 c 47403 2297033 102700620 40201184 455 0 489 743 601 226.38/226.46 c 52226 2485550 108998208 42627390 455 0 393 625 555 248.99/249.04 c 57531 2758046 120106635 46885143 455 0 429 990 628 277.29/277.35 c 63366 3034699 134676742 51971316 455 0 372 831 614 302.29/302.33 c 69784 3290309 148124919 57150081 455 0 396 706 614 332.69/332.71 c 76843 3712206 161820247 63358536 455 0 534 1102 869 360.59/360.64 c 84607 4119411 173888683 68499588 455 0 325 1128 696 414.01/414.04 c 93147 4918221 196999120 78756011 455 0 431 1233 846 493.01/493.01 c 102541 5771562 235272945 93341060 455 0 538 1319 871 570.12/570.19 c 112874 6611585 273882102 108555106 455 0 618 1277 930 638.92/638.99 c 124240 7442273 307848673 122171366 455 0 565 1230 980 700.92/700.94 c 136742 8170615 338203577 134248290 455 0 652 1203 981 798.64/798.64 c 150494 9043913 388013501 154855657 455 0 579 1248 930 881.64/881.70 c 165621 10286277 426608370 171171033 455 0 709 1916 1115 961.95/961.92 c 182260 11779990 459922684 185510668 455 0 681 1742 1112 1057.26/1057.23 c 200562 13176542 504711099 203349937 455 0 790 1688 1194 1163.36/1163.33 c 220694 14340528 558051809 223474973 455 0 784 1871 1062 1265.57/1265.58 c 242839 16175261 604310572 242196258 455 0 938 1711 1329 1407.48/1407.43 c 267198 17934353 673834652 272757489 455 0 842 1541 1211 1568.21/1568.12 c 293992 20183259 751001153 301446564 455 0 963 1716 1308 1770.91/1770.80 c 323465 22619123 849095051 336959165 455 0 805 1734 1223 1928.63/1928.54 c 355885 24849599 924811111 367849962 455 0 722 1539 1274 2122.25/2122.13 c 391547 27494223 1016895141 403680000 455 0 690 1662 1236 2323.76/2323.65 c 430775 29925753 1118412520 445685421 455 0 828 1518 1198 2400.07/2399.90 2400.07/2399.90 c *** INTERRUPTED *** 2400.07/2399.90 c restarts : 64 2400.07/2399.90 c conflicts : 446053 (186 /sec) 2400.07/2399.90 c decisions : 31027055 (12928 /sec) 2400.07/2399.90 c propagations : 458826334 (191178 /sec) 2400.07/2399.90 c root propagations : 455 2400.07/2399.90 c filter calls : 1153726419 (480719 /sec) 2400.07/2399.90 c useless filter calls : 1010936932 (87 %) 2400.07/2399.90 c Memory used : 123.82 MB 2400.07/2399.90 c CPU time : 2400 s 2400.07/2399.90 c real time : 2399.9 s 2400.07/2399.90 2400.07/2399.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 (15424 MiB free)
memory of node 1: 16384 MiB (15335 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408607-1569801640/watcher-4408607-1569801640 -o /tmp/evaluation-result-4408607-1569801640/solver-4408607-1569801640 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408607-1569801640.xml
running on 4 cores: 0-3
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=29089, runsolver pid=29086
Current StackSize limit: 8192 KiB
[startup+0.100174 s]*
/proc/loadavg: 2.48 2.27 2.14 3/199 29090
/proc/meminfo: memFree=31486156/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=41324 memory=17740 CPUtime=0.1 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 4609 0 0 0 10 0 0 0 20 0 1 0 556105543 42315776 4435 33554432000 4194304 6211132 140728898941760 140728898938296 139864181480421 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 10331 4435 837 493 0 3636 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41324 KiB
Current children cumulated memory: 17740 KiB
[startup+0.210821 s]*
/proc/loadavg: 2.48 2.27 2.14 3/199 29090
/proc/meminfo: memFree=31470160/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=55552 memory=31764 CPUtime=0.21 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 8159 0 0 0 20 1 0 0 20 0 1 0 556105543 56885248 7941 33554432000 4194304 6211132 140728898941760 140728898938296 139864181202541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 13888 7941 837 493 0 7193 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55552 KiB
Current children cumulated memory: 31764 KiB
[startup+0.310632 s]*
/proc/loadavg: 2.48 2.27 2.14 3/199 29090
/proc/meminfo: memFree=31455928/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=71316 memory=47596 CPUtime=0.31 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 12100 0 0 0 30 1 0 0 20 0 1 0 556105543 73027584 11899 33554432000 4194304 6211132 140728898941760 140728898935896 139864181480421 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 17829 11899 837 493 0 11134 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71316 KiB
Current children cumulated memory: 47596 KiB
[startup+0.700394 s]
/proc/loadavg: 2.48 2.27 2.14 5/199 29090
/proc/meminfo: memFree=31435716/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=121684 memory=97664 CPUtime=0.69 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 24635 0 0 0 66 3 0 0 20 0 1 0 556105543 124604416 24416 33554432000 4194304 6211132 140728898941760 140728898939352 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30421 24416 874 493 0 23726 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121684 KiB
Current children cumulated memory: 97664 KiB
[startup+1.50034 s]
/proc/loadavg: 2.48 2.27 2.14 3/199 29090
/proc/meminfo: memFree=31403972/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=121824 memory=97928 CPUtime=1.49 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 24699 0 0 0 146 3 0 0 20 0 1 0 556105543 124747776 24482 33554432000 4194304 6211132 140728898941760 140728898939192 5250491 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30456 24482 874 493 0 23761 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 97928 KiB
[startup+3.11057 s]
/proc/loadavg: 2.44 2.26 2.14 3/199 29090
/proc/meminfo: memFree=31403224/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=121824 memory=98148 CPUtime=3.1 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 34704 0 0 0 307 3 0 0 20 0 1 0 556105543 124747776 24537 33554432000 4194304 6211132 140728898941760 140728898939720 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30456 24537 875 493 0 23761 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 98148 KiB
[startup+6.3003 s]
/proc/loadavg: 2.44 2.26 2.14 3/199 29097
/proc/meminfo: memFree=31402596/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=122088 memory=98344 CPUtime=6.29 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 45259 0 0 0 625 4 0 0 20 0 1 0 556105543 125018112 24586 33554432000 4194304 6211132 140728898941760 140728898939352 5250311 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30522 24586 875 493 0 23827 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98344 KiB
[startup+12.7003 s]
/proc/loadavg: 2.38 2.25 2.14 3/199 29097
/proc/meminfo: memFree=31402596/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=122088 memory=98348 CPUtime=12.69 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 55446 0 0 0 1265 4 0 0 20 0 1 0 556105543 125018112 24587 33554432000 4194304 6211132 140728898941760 140728898939720 5250273 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30522 24587 875 493 0 23827 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98348 KiB
[startup+25.5003 s]
/proc/loadavg: 2.32 2.25 2.14 3/199 29099
/proc/meminfo: memFree=31402488/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=122088 memory=98348 CPUtime=25.49 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 73132 0 0 0 2544 5 0 0 20 0 1 0 556105543 125018112 24587 33554432000 4194304 6211132 140728898941760 140728898939720 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30522 24587 875 493 0 23827 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98348 KiB
[startup+51.1104 s]
/proc/loadavg: 2.21 2.23 2.14 3/199 29100
/proc/meminfo: memFree=31402832/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=122220 memory=98512 CPUtime=51.1 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 84587 0 0 0 5104 6 0 0 20 0 1 0 556105543 125153280 24628 33554432000 4194304 6211132 140728898941760 140728898939352 5156497 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30555 24628 875 493 0 23860 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98512 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.19 2.13 3/200 29130
/proc/meminfo: memFree=31400832/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=122220 memory=98704 CPUtime=102.27 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 91563 0 0 0 10221 6 0 0 20 0 1 0 556105543 125153280 24676 33554432000 4194304 6211132 140728898941760 140728898939720 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30555 24676 875 493 0 23860 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98704 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.15 2.12 3/201 29136
/proc/meminfo: memFree=31400948/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=122620 memory=99204 CPUtime=162.28 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 92156 0 0 0 16222 6 0 0 20 0 1 0 556105543 125562880 24801 33554432000 4194304 6211132 140728898941760 140728898939720 5250482 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30655 24801 875 493 0 23960 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99204 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.13 2.12 3/200 29140
/proc/meminfo: memFree=31401336/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=122620 memory=99264 CPUtime=222.28 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 92613 0 0 0 22222 6 0 0 20 0 1 0 556105543 125562880 24816 33554432000 4194304 6211132 140728898941760 140728898939720 5155595 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30655 24816 875 493 0 23960 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99264 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.10 2.11 3/200 29144
/proc/meminfo: memFree=31401552/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=122620 memory=99276 CPUtime=282.29 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 92654 0 0 0 28223 6 0 0 20 0 1 0 556105543 125562880 24819 33554432000 4194304 6211132 140728898941760 140728898939720 5250316 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30655 24819 875 493 0 23960 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99276 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.08 2.11 3/201 29150
/proc/meminfo: memFree=31401008/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=123284 memory=99740 CPUtime=342.29 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 93072 0 0 0 34223 6 0 0 20 0 1 0 556105543 126242816 24935 33554432000 4194304 6211132 140728898941760 140728898939192 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30821 24935 875 493 0 24126 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 123284 KiB
Current children cumulated memory: 99740 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.07 2.10 3/199 29214
/proc/meminfo: memFree=31273052/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=123420 memory=99972 CPUtime=402.3 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 93096 0 0 0 40224 6 0 0 20 0 1 0 556105543 126382080 24993 33554432000 4194304 6211132 140728898941760 140728898939192 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30855 24993 875 493 0 24160 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 123420 KiB
Current children cumulated memory: 99972 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.09 3/199 29218
/proc/meminfo: memFree=31271636/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=123420 memory=100072 CPUtime=462.3 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 93366 0 0 0 46224 6 0 0 20 0 1 0 556105543 126382080 25018 33554432000 4194304 6211132 140728898941760 140728898939720 5390116 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 30855 25018 875 493 0 24160 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 123420 KiB
Current children cumulated memory: 100072 KiB
################
# More data... #
################
/proc/29089/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1662.4 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29334
/proc/meminfo: memFree=31263284/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126516 memory=103208 CPUtime=1722.41 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 97848 0 0 0 172234 7 0 0 20 0 1 0 556105543 129552384 25802 33554432000 4194304 6211132 140728898941760 140728898939720 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1722.41 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29340
/proc/meminfo: memFree=31262616/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126516 memory=103208 CPUtime=1782.41 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 98047 0 0 0 178234 7 0 0 20 0 1 0 556105543 129552384 25802 33554432000 4194304 6211132 140728898941760 140728898939720 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29352
/proc/meminfo: memFree=31262628/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126516 memory=103208 CPUtime=1842.42 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 98050 0 0 0 184235 7 0 0 20 0 1 0 556105543 129552384 25802 33554432000 4194304 6211132 140728898941760 140728898939720 5157594 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29356
/proc/meminfo: memFree=31262292/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126516 memory=103208 CPUtime=1902.42 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 98223 0 0 0 190235 7 0 0 20 0 1 0 556105543 129552384 25802 33554432000 4194304 6211132 140728898941760 140728898939720 5157576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 29362
/proc/meminfo: memFree=31262260/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126516 memory=103208 CPUtime=1962.43 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 98254 0 0 0 196236 7 0 0 20 0 1 0 556105543 129552384 25802 33554432000 4194304 6211132 140728898941760 140728898939720 5158008 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29366
/proc/meminfo: memFree=31262108/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126516 memory=103208 CPUtime=2022.43 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 98435 0 0 0 202236 7 0 0 20 0 1 0 556105543 129552384 25802 33554432000 4194304 6211132 140728898941760 140728898939720 5157240 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB
[startup+2082.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/200 29370
/proc/meminfo: memFree=31260644/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126652 memory=103208 CPUtime=2082.44 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 98462 0 0 0 208237 7 0 0 20 0 1 0 556105543 129691648 25802 33554432000 4194304 6211132 140728898941760 140728898939352 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31663 25802 875 493 0 24968 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 126652 KiB
Current children cumulated memory: 103208 KiB
[startup+2142.3 s]
/proc/loadavg: 2.33 2.16 2.10 3/200 29376
/proc/meminfo: memFree=31261272/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126784 memory=103300 CPUtime=2142.44 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 98681 0 0 0 214237 7 0 0 20 0 1 0 556105543 129826816 25825 33554432000 4194304 6211132 140728898941760 140728898939192 5250316 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31696 25825 875 493 0 25001 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103300 KiB
[startup+2202.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/199 29380
/proc/meminfo: memFree=31261048/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126784 memory=103300 CPUtime=2202.45 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 98696 0 0 0 220238 7 0 0 20 0 1 0 556105543 129826816 25825 33554432000 4194304 6211132 140728898941760 140728898939192 5156176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31696 25825 875 493 0 25001 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103300 KiB
[startup+2262.3 s]
/proc/loadavg: 2.66 2.27 2.14 3/199 29384
/proc/meminfo: memFree=31261008/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126784 memory=103396 CPUtime=2262.45 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 98885 0 0 0 226238 7 0 0 20 0 1 0 556105543 129826816 25849 33554432000 4194304 6211132 140728898941760 140728898939192 5156211 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31696 25849 875 493 0 25001 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB
[startup+2322.3 s]
/proc/loadavg: 2.27 2.23 2.13 3/200 29390
/proc/meminfo: memFree=31261304/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126784 memory=103396 CPUtime=2322.46 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 98886 0 0 0 232239 7 0 0 20 0 1 0 556105543 129826816 25849 33554432000 4194304 6211132 140728898941760 140728898939192 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31696 25849 875 493 0 25001 0
Current children cumulated CPU time: 2322.46 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB
[startup+2382.3 s]
/proc/loadavg: 2.10 2.19 2.13 3/199 29394
/proc/meminfo: memFree=31261512/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126784 memory=103412 CPUtime=2382.46 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 99111 0 0 0 238239 7 0 0 20 0 1 0 556105543 129826816 25853 33554432000 4194304 6211132 140728898941760 140728898939720 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31696 25853 875 493 0 25001 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.07 2.18 2.13 3/199 29396
/proc/meminfo: memFree=31261956/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126784 memory=103412 CPUtime=2400.07 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 99111 0 0 0 240000 7 0 0 20 0 1 0 556105543 129826816 25853 33554432000 4194304 6211132 140728898941760 140728898939720 5156940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31696 25853 875 493 0 25001 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 29089 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400 s, system=0.078006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.07 2.18 2.13 3/199 29396
/proc/meminfo: memFree=31261956/32770688 swapFree=67001380/67108860
[pid=29089] ppid=29086 vsize=126784 memory=103412 CPUtime=2400.07 cores=0-3
/proc/29089/stat : 29089 (cosoco) R 29086 29089 26332 0 -1 4202496 99111 0 0 0 240000 7 0 0 20 0 1 0 556105543 129826816 25853 33554432000 4194304 6211132 140728898941760 140728898939720 5156940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11464704 140728898950155 140728898950257 140728898950257 140728898953166 0
/proc/29089/statm: 31696 25853 875 493 0 25001 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103412 KiB
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.08
CPU user time (s): 2400
CPU system time (s): 0.078006
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 126784
Max. memory (cumulated for all children) (KiB): 103412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.078006
maximum resident set size= 103476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99164
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= 57
involuntary context switches= 818
# summary of solver processes directly reported to runsolver:
# pid: 29089
# total CPU time (s): 2400.08
# total CPU user time (s): 2400
# total CPU system time (s): 0.078006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.34637 second user time and 17.7221 second system time
The end
Begin job on node116 at 2019-09-30 01:59:58 IDJOB=4408607 IDBENCH=134822 IDSOLVER=2875 FILE ID=node116/4408607-1569801640 RUNJOBID= node116-1569787351-26363 PBS_JOBID= 21705835 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spba/Pb-BeauxArts-K67.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408607-1569801640/watcher-4408607-1569801640 -o /tmp/evaluation-result-4408607-1569801640/solver-4408607-1569801640 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408607-1569801640.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4516aa109e121890953f360029c48088 RANDOM SEED=1205760014 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: 31498488 kB MemAvailable: 31852684 kB Buffers: 192400 kB Cached: 482444 kB SwapCached: 3344 kB Active: 375164 kB Inactive: 306976 kB Active(anon): 25368 kB Inactive(anon): 63420 kB Active(file): 349796 kB Inactive(file): 243556 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001380 kB Dirty: 3016 kB Writeback: 0 kB AnonPages: 115464 kB Mapped: 28376 kB Shmem: 72416 kB Slab: 183772 kB SReclaimable: 153360 kB SUnreclaim: 30412 kB KernelStack: 3552 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 570328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62024 MiB End job on node116 at 2019-09-30 02:39:58