| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 | ? (TO) | 2520.05 | 2520.01 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-80-07.xml |
| MD5SUM | 551365d3bcc7e6d8199baaf77d133a5e |
| 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 | 53.4289 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1428 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 24 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":24,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 76 |
| Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":52,"count":8}, {"degree":53,"count":8}, {"degree":54,"count":9}, {"degree":55,"count":9}, {"degree":56,"count":51}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":3}, {"degree":76,"count":55}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 200 |
| Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":2},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1227},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.09/0.16 c root propagations : 0 0.09/0.16 c restarts enabled, print stats at every restarts 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c This is cosoco 2.00 -- 0.09/0.16 c 0.09/0.16 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396722-1568584718.xml 0.09/0.16 c ========================================[ Problem Statistics ]=========================================== 0.09/0.16 c | 0.09/0.16 c | Parse time : 0.14 s 0.09/0.16 c | 0.09/0.16 c | Variables: 1200 0.09/0.16 c | Domain Sizes: 2..24 0.09/0.16 c | 0.09/0.16 c | Constraints: 1451 0.09/0.16 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.09/0.16 c | 0.09/0.16 c | Types: 0.09/0.16 c | Exactly K: 24 0.09/0.16 c | Extension: 200 (nb tuples: 24..24) -- (shared: 199) 0.09/0.16 c | Sum: 1227 0.09/0.16 c | 0.09/0.16 c ========================================================================================================= 0.09/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.59/0.67 c 101 1147 90131 16261 0 0 734 802 775 1.09/1.15 c 211 1711 172558 34832 0 0 84 304 271 1.69/1.70 c 332 2574 276178 56373 0 0 377 438 408 2.10/2.11 c 465 3377 350709 68496 0 0 390 455 443 2.59/2.63 c 611 5100 440622 88674 0 0 299 494 443 3.29/3.33 c 771 6213 581324 107141 0 0 147 536 494 3.89/3.98 c 947 7253 699206 126961 0 0 366 479 470 4.69/4.77 c 1140 8065 852495 149515 0 0 462 473 463 5.39/5.47 c 1352 9385 988742 167908 0 0 442 464 452 6.39/6.43 c 1585 10578 1194043 199875 0 0 421 485 472 7.10/7.11 c 1841 12042 1321351 227015 0 0 486 510 499 8.00/8.06 c 2122 13598 1512644 251535 0 0 504 536 520 9.28/9.36 c 2431 17013 1797524 289406 0 0 469 611 571 10.18/10.20 c 2770 19385 1948676 341389 0 0 73 96 84 10.88/10.93 c 3142 21114 2083600 367150 0 0 70 481 406 12.18/12.20 c 3551 23754 2316011 440440 0 0 280 523 437 13.38/13.43 c 4000 26944 2568002 505014 0 0 282 566 399 15.78/15.86 c 4493 30205 3090309 572254 0 0 621 667 650 17.38/17.42 c 5035 33716 3404264 627642 0 0 562 623 582 18.58/18.64 c 5631 37544 3675575 701398 0 0 239 668 556 20.09/20.19 c 6286 40189 3937550 731354 0 0 376 449 436 21.28/21.37 c 7006 42578 4228617 790778 0 0 596 606 601 22.58/22.62 c 7798 45855 4495176 842293 0 0 377 566 557 25.38/25.42 c 8669 50308 4993848 988602 0 0 198 329 290 28.09/28.14 c 9627 55924 5511649 1219902 0 0 114 139 122 31.78/31.82 c 10680 61450 6166828 1490894 0 0 93 107 101 35.38/35.47 c 11838 65393 6927537 1579667 0 0 100 617 603 36.88/36.91 c 13111 69080 7302728 1662732 0 0 618 636 632 39.88/39.91 c 14511 74082 7926873 1753683 0 0 457 630 614 42.68/42.78 c 16051 80202 8548160 1877623 0 0 395 634 552 48.08/48.14 c 17745 95147 9502226 2162852 0 0 222 417 347 53.48/53.60 c 19608 104824 10580118 2412819 0 0 213 579 510 58.27/58.33 c 21657 110117 11575980 2662732 0 0 579 600 594 63.27/63.39 c 23910 121280 12769981 2957673 0 0 577 626 606 72.37/72.43 c 26388 142895 14417343 3504495 0 0 246 699 412 75.77/75.84 c 29113 152627 15274828 3745144 0 0 596 846 762 81.67/81.77 c 32110 169189 16709599 3964932 0 0 564 696 667 97.47/97.53 c 35406 227858 19829799 4296194 0 0 592 813 717 105.37/105.43 c 39031 251828 21511982 4605571 0 0 712 802 773 113.17/113.26 c 43018 272899 23144988 4911307 0 0 441 831 667 122.27/122.32 c 47403 292230 25282372 5288479 0 0 791 834 817 133.09/133.17 c 52226 315463 28145861 6073475 0 0 768 860 848 150.88/150.99 c 57531 375549 31141411 7011482 0 0 323 756 546 165.78/165.88 c 63366 449813 33952719 8321950 0 0 290 381 343 180.88/180.95 c 69784 498859 37026501 9336087 0 0 269 582 427 197.88/197.95 c 76843 581644 40289939 10918121 0 0 283 378 355 221.38/221.45 c 84607 688318 44706728 13209520 0 0 253 375 350 249.78/249.88 c 93147 819321 50010406 15843048 0 0 272 374 351 287.09/287.14 c 102541 994448 57116868 19606966 0 0 271 375 351 317.38/317.43 c 112874 1134122 62808935 22356304 0 0 269 375 354 342.88/342.91 c 124240 1264088 67679812 24646215 0 0 275 374 357 402.79/402.82 c 136742 1516064 78733692 30960726 0 0 250 367 326 430.59/430.61 c 150494 1667578 84354577 33991874 0 0 257 375 357 477.59/477.68 c 165621 1872096 93131309 38785757 0 0 263 374 340 531.29/531.35 c 182260 2119641 103237218 43708560 0 0 270 373 349 587.19/587.24 c 200562 2407503 114269081 49796522 0 0 283 372 349 643.49/643.51 c 220694 2723446 125233292 55671510 0 0 275 371 347 710.10/710.18 c 242839 3105601 138574675 63380088 0 0 247 369 347 777.69/777.76 c 267198 3542886 152215449 71437351 0 0 260 368 346 867.70/867.79 c 293992 4027449 170038991 80989939 0 0 249 368 342 996.30/996.35 c 323465 4449792 193406270 94344592 0 0 251 365 333 1131.30/1131.37 c 355885 5050632 218780330 107235525 0 0 266 367 344 1252.80/1252.89 c 391547 5637767 242140114 119561832 0 0 264 367 345 1312.41/1312.40 c 430775 5924533 255548367 125356827 0 0 270 544 477 1398.51/1398.50 c 473925 6062778 277321445 129390117 0 0 453 551 547 1628.82/1628.85 c 521390 6199854 321316220 133217019 0 0 465 534 526 1707.72/1707.79 c 573601 6327979 340556012 139177018 0 0 480 557 549 1783.62/1783.63 c 631033 6426220 360149707 141621138 0 0 488 566 564 1957.22/1957.25 c 694208 6616585 407407370 149119806 0 0 496 557 555 2081.42/2081.41 c 763700 6786832 439465307 153010895 0 0 496 576 568 2189.52/2189.51 c 840141 7037184 470071526 159016733 0 0 517 576 570 2263.62/2263.64 c 924226 7183449 489688231 163075313 0 0 343 750 685 2417.83/2417.82 c 1016719 7525254 529534054 169285512 0 0 725 776 752 2520.04/2520.00 2520.04/2520.00 c *** INTERRUPTED *** 2520.04/2520.00 c restarts : 73 2520.04/2520.00 c conflicts : 1062341 (422 /sec) 2520.04/2520.00 c decisions : 7879537 (3127 /sec) 2520.04/2520.00 c propagations : 177137072 (70292 /sec) 2520.04/2520.00 c root propagations : 0 2520.04/2520.00 c filter calls : 547600442 (217301 /sec) 2520.04/2520.00 c useless filter calls : 510174598 (93 %) 2520.04/2520.00 c Memory used : 41.90 MB 2520.04/2520.00 c CPU time : 2520.01 s 2520.04/2520.00 c real time : 2520 s 2520.04/2520.00 2520.04/2520.00 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: 16374 MiB (14818 MiB free)
memory of node 1: 16384 MiB (15373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396722-1568584718/watcher-4396722-1568584718 -o /tmp/evaluation-result-4396722-1568584718/solver-4396722-1568584718 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568572744-4608 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396722-1568584718.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=6918, runsolver pid=6915
[startup+0.100152 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6919
/proc/meminfo: memFree=30909968/32770624 swapFree=66936988/67108860
[pid=6918] ppid=6915 vsize=35140 memory=11464 CPUtime=0.09 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 3067 0 0 0 9 0 0 0 20 0 1 0 434743179 35983360 2866 33554432000 4194304 6211092 140732420990704 140732420987240 5817870 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 8785 2866 849 493 0 2090 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35140 KiB
Current children cumulated memory: 11464 KiB
[startup+0.209748 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6919
/proc/meminfo: memFree=30907456/32770624 swapFree=66936988/67108860
[pid=6918] ppid=6915 vsize=37348 memory=13808 CPUtime=0.2 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 3676 0 0 0 20 0 0 0 20 0 1 0 434743179 38244352 3452 33554432000 4194304 6211092 140732420990704 140732420987240 140277912148965 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 9337 3452 894 493 0 2642 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37348 KiB
Current children cumulated memory: 13808 KiB
[startup+0.309394 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6919
/proc/meminfo: memFree=30905968/32770624 swapFree=66936988/67108860
[pid=6918] ppid=6915 vsize=38536 memory=15128 CPUtime=0.3 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 3982 0 0 0 30 0 0 0 20 0 1 0 434743179 39460864 3782 33554432000 4194304 6211092 140732420990704 140732420988456 5156460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 9634 3782 894 493 0 2939 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38536 KiB
Current children cumulated memory: 15128 KiB
[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6920
/proc/meminfo: memFree=30904232/32770624 swapFree=66936988/67108860
[pid=6918] ppid=6915 vsize=40264 memory=16712 CPUtime=0.68 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 4389 0 0 0 68 0 0 0 20 0 1 0 434743179 41230336 4178 33554432000 4194304 6211092 140732420990704 140732420988456 5158146 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10066 4178 894 493 0 3371 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 16712 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6920
/proc/meminfo: memFree=30903996/32770624 swapFree=66936988/67108860
[pid=6918] ppid=6915 vsize=40396 memory=16976 CPUtime=1.48 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 4451 0 0 0 148 0 0 0 20 0 1 0 434743179 41365504 4244 33554432000 4194304 6211092 140732420990704 140732420988664 5155341 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10099 4244 895 493 0 3404 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40396 KiB
Current children cumulated memory: 16976 KiB
[startup+3.10935 s]
/proc/loadavg: 1.84 1.98 2.03 3/199 6920
/proc/meminfo: memFree=30903256/32770624 swapFree=66936988/67108860
[pid=6918] ppid=6915 vsize=41056 memory=17796 CPUtime=3.1 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 7590 0 0 0 309 1 0 0 20 0 1 0 434743179 42041344 4449 33554432000 4194304 6211092 140732420990704 140732420988664 5250241 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10264 4449 895 493 0 3569 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 41056 KiB
Current children cumulated memory: 17796 KiB
[startup+6.30026 s]
/proc/loadavg: 1.84 1.98 2.03 3/199 6921
/proc/meminfo: memFree=30903040/32770624 swapFree=66936992/67108860
[pid=6918] ppid=6915 vsize=41188 memory=17868 CPUtime=6.29 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 10694 0 0 0 628 1 0 0 20 0 1 0 434743179 42176512 4467 33554432000 4194304 6211092 140732420990704 140732420988664 5250289 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10297 4467 895 493 0 3602 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 41188 KiB
Current children cumulated memory: 17868 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 1.98 2.03 3/200 6923
/proc/meminfo: memFree=30901276/32770624 swapFree=66936992/67108860
[pid=6918] ppid=6915 vsize=41452 memory=18040 CPUtime=12.68 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 13894 0 0 0 1267 1 0 0 20 0 1 0 434743179 42446848 4510 33554432000 4194304 6211092 140732420990704 140732420988664 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10363 4510 895 493 0 3668 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 41452 KiB
Current children cumulated memory: 18040 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.03 3/199 6923
/proc/meminfo: memFree=30902688/32770624 swapFree=66936992/67108860
[pid=6918] ppid=6915 vsize=41848 memory=18576 CPUtime=25.48 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 15827 0 0 0 2547 1 0 0 20 0 1 0 434743179 42852352 4644 33554432000 4194304 6211092 140732420990704 140732420988664 5250289 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10462 4644 895 493 0 3767 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 41848 KiB
Current children cumulated memory: 18576 KiB
[startup+51.1092 s]
/proc/loadavg: 1.93 1.99 2.03 3/199 6923
/proc/meminfo: memFree=30902368/32770624 swapFree=66936992/67108860
[pid=6918] ppid=6915 vsize=41980 memory=18628 CPUtime=51.08 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 17181 0 0 0 5107 1 0 0 20 0 1 0 434743179 42987520 4657 33554432000 4194304 6211092 140732420990704 140732420988664 5155679 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10495 4657 895 493 0 3800 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 41980 KiB
Current children cumulated memory: 18628 KiB
[startup+102.3 s]
/proc/loadavg: 1.91 1.97 2.03 3/199 6929
/proc/meminfo: memFree=30903608/32770624 swapFree=66936992/67108860
[pid=6918] ppid=6915 vsize=42508 memory=19052 CPUtime=102.27 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 18429 0 0 0 10226 1 0 0 20 0 1 0 434743179 43528192 4763 33554432000 4194304 6211092 140732420990704 140732420988104 5157452 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10627 4763 895 493 0 3932 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 19052 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 1.98 2.03 3/199 6941
/proc/meminfo: memFree=30900360/32770624 swapFree=66936992/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19412 CPUtime=162.28 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 19316 0 0 0 16226 2 0 0 20 0 1 0 434743179 43933696 4853 33554432000 4194304 6211092 140732420990704 140732420988664 5155720 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4853 895 493 0 4031 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19412 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/200 6971
/proc/meminfo: memFree=30900052/32770624 swapFree=66937000/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=222.28 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 20139 0 0 0 22226 2 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5156240 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 6977
/proc/meminfo: memFree=30900456/32770624 swapFree=66937000/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=282.28 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 20840 0 0 0 28226 2 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 6981
/proc/meminfo: memFree=30900144/32770624 swapFree=66937000/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=342.28 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 21534 0 0 0 34226 2 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 6985
/proc/meminfo: memFree=30899936/32770624 swapFree=66937000/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=402.29 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 22124 0 0 0 40227 2 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 6991
/proc/meminfo: memFree=30900484/32770624 swapFree=66937000/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=462.29 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 22968 0 0 0 46227 2 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
################
# More data... #
################
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 7236
/proc/meminfo: memFree=29902836/32770624 swapFree=66937028/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=1782.32 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 37599 0 0 0 178229 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5155341 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 7241
/proc/meminfo: memFree=29902476/32770624 swapFree=66937032/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=1842.32 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 38443 0 0 0 184229 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+1902.3 s]
/proc/loadavg: 2.06 2.02 2.04 3/200 7247
/proc/meminfo: memFree=29902296/32770624 swapFree=66937032/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=1902.32 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 38970 0 0 0 190229 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5250289 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+1962.3 s]
/proc/loadavg: 2.10 2.03 2.05 3/201 7260
/proc/meminfo: memFree=29901264/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=1962.32 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 39790 0 0 0 196229 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5155341 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2022.3 s]
/proc/loadavg: 2.15 2.06 2.05 3/201 7264
/proc/meminfo: memFree=29901820/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=2022.32 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 40293 0 0 0 202229 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5156460 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2082.3 s]
/proc/loadavg: 2.17 2.08 2.06 3/202 7270
/proc/meminfo: memFree=29901544/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=2082.32 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 41114 0 0 0 208229 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5155487 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2142.3 s]
/proc/loadavg: 2.14 2.08 2.06 3/201 7274
/proc/meminfo: memFree=29902556/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=2142.32 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 41643 0 0 0 214229 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2202.3 s]
/proc/loadavg: 2.09 2.08 2.06 3/201 7278
/proc/meminfo: memFree=29901916/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=2202.32 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 42463 0 0 0 220229 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5156928 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2262.3 s]
/proc/loadavg: 2.03 2.07 2.05 3/200 7284
/proc/meminfo: memFree=29901836/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=2262.32 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 43097 0 0 0 226229 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/199 7288
/proc/meminfo: memFree=29902096/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=2322.33 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 43820 0 0 0 232230 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5193696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2382.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/199 7292
/proc/meminfo: memFree=29902332/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=2382.33 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 44348 0 0 0 238230 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5193696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2442.3 s]
/proc/loadavg: 2.52 2.18 2.09 3/200 7298
/proc/meminfo: memFree=29901912/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=2442.33 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 45174 0 0 0 244230 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5156240 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2502.3 s]
/proc/loadavg: 2.22 2.16 2.09 3/199 7302
/proc/meminfo: memFree=29901896/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=2502.33 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 45886 0 0 0 250230 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5155348 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.16 2.15 2.09 3/199 7303
/proc/meminfo: memFree=29901648/32770624 swapFree=66937036/67108860
[pid=6918] ppid=6915 vsize=42904 memory=19560 CPUtime=2520.04 cores=0,2,4,6
/proc/6918/stat : 6918 (cosoco) R 6915 6918 4577 0 -1 4202496 46470 0 0 0 252001 3 0 0 20 0 1 0 434743179 43933696 4890 33554432000 4194304 6211092 140732420990704 140732420988664 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10489856 140732420998155 140732420998257 140732420998257 140732421001166 0
/proc/6918/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 6918 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.01 s, system=0.038 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.05
CPU user time (s): 2520.01
CPU system time (s): 0.038
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 42904
Max. memory (cumulated for all children) (KiB): 19560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.038
maximum resident set size= 19624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46521
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= 20
involuntary context switches= 741
# summary of solver processes directly reported to runsolver:
# pid: 6918
# total CPU time (s): 2520.05
# total CPU user time (s): 2520.01
# total CPU system time (s): 0.038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.1567 second user time and 16.3608 second system time
The end
Begin job on node151 at 2019-09-15 23:57:58 IDJOB=4396722 IDBENCH=128127 IDSOLVER=2848 FILE ID=node151/4396722-1568584718 RUNJOBID= node151-1568572744-4608 PBS_JOBID= 21703306 Free space on /tmp= 59304 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-07.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396722-1568584718/watcher-4396722-1568584718 -o /tmp/evaluation-result-4396722-1568584718/solver-4396722-1568584718 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568572744-4608 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396722-1568584718.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 551365d3bcc7e6d8199baaf77d133a5e RANDOM SEED=1803023390 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30916860 kB MemAvailable: 31840788 kB Buffers: 209332 kB Cached: 1013640 kB SwapCached: 69620 kB Active: 664252 kB Inactive: 635388 kB Active(anon): 12876 kB Inactive(anon): 106776 kB Active(file): 651376 kB Inactive(file): 528612 kB Unevictable: 109456 kB Mlocked: 109456 kB SwapTotal: 67108860 kB SwapFree: 66936988 kB Dirty: 2548 kB Writeback: 0 kB AnonPages: 116544 kB Mapped: 43216 kB Shmem: 34384 kB Slab: 148388 kB SReclaimable: 119548 kB SUnreclaim: 28840 kB KernelStack: 3456 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539100 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= 59208 MiB End job on node151 at 2019-09-16 00:39:58