| 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.10/0.16 c root propagations : 0 0.10/0.16 c restarts enabled, print stats at every restarts 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c This is cosoco 2.00 -- 0.10/0.16 c 0.10/0.16 c command line: cosoco -lc -model -restarts -stick HOME/instance-4407982-1569800247.xml 0.10/0.16 c ========================================[ Problem Statistics ]=========================================== 0.10/0.16 c | 0.10/0.16 c | Parse time : 0.15 s 0.10/0.16 c | 0.10/0.16 c | Variables: 1200 0.10/0.16 c | Domain Sizes: 2..24 0.10/0.16 c | 0.10/0.16 c | Constraints: 1451 0.10/0.16 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.16 c | 0.10/0.16 c | Types: 0.10/0.16 c | Exactly K: 24 0.10/0.16 c | Extension: 200 (nb tuples: 24..24) -- (shared: 199) 0.10/0.16 c | Sum: 1227 0.10/0.16 c | 0.10/0.16 c ========================================================================================================= 0.10/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.60/0.68 c 101 1147 90131 16261 0 0 734 802 775 1.10/1.16 c 211 1711 172558 34832 0 0 84 304 271 1.69/1.72 c 332 2574 276178 56373 0 0 377 438 408 2.09/2.13 c 465 3377 350709 68496 0 0 390 455 443 2.59/2.66 c 611 5100 440622 88674 0 0 299 494 443 3.29/3.36 c 771 6213 581324 107141 0 0 147 536 494 3.99/4.01 c 947 7253 699206 126961 0 0 366 479 470 4.78/4.80 c 1140 8065 852495 149515 0 0 462 473 463 5.48/5.50 c 1352 9385 988742 167908 0 0 442 464 452 6.38/6.45 c 1585 10578 1194043 199875 0 0 421 485 472 7.09/7.12 c 1841 12042 1321351 227015 0 0 486 510 499 8.00/8.07 c 2122 13598 1512644 251535 0 0 504 536 520 9.29/9.36 c 2431 17013 1797524 289406 0 0 469 611 571 10.10/10.19 c 2770 19385 1948676 341389 0 0 73 96 84 10.89/10.92 c 3142 21114 2083600 367150 0 0 70 481 406 12.10/12.19 c 3551 23754 2316011 440440 0 0 280 523 437 13.39/13.43 c 4000 26944 2568002 505014 0 0 282 566 399 15.79/15.86 c 4493 30205 3090309 572254 0 0 621 667 650 17.39/17.42 c 5035 33716 3404264 627642 0 0 562 623 582 18.59/18.63 c 5631 37544 3675575 701398 0 0 239 668 556 20.10/20.19 c 6286 40189 3937550 731354 0 0 376 449 436 21.29/21.36 c 7006 42578 4228617 790778 0 0 596 606 601 22.59/22.60 c 7798 45855 4495176 842293 0 0 377 566 557 25.29/25.38 c 8669 50308 4993848 988602 0 0 198 329 290 28.00/28.08 c 9627 55924 5511649 1219902 0 0 114 139 122 31.69/31.71 c 10680 61450 6166828 1490894 0 0 93 107 101 35.29/35.36 c 11838 65393 6927537 1579667 0 0 100 617 603 36.69/36.79 c 13111 69080 7302728 1662732 0 0 618 636 632 39.69/39.78 c 14511 74082 7926873 1753683 0 0 457 630 614 42.59/42.64 c 16051 80202 8548160 1877623 0 0 395 634 552 47.89/47.96 c 17745 95147 9502226 2162852 0 0 222 417 347 53.29/53.37 c 19608 104824 10580118 2412819 0 0 213 579 510 58.00/58.08 c 21657 110117 11575980 2662732 0 0 579 600 594 63.10/63.12 c 23910 121280 12769981 2957673 0 0 577 626 606 72.00/72.10 c 26388 142895 14417343 3504495 0 0 246 699 412 75.39/75.48 c 29113 152627 15274828 3745144 0 0 596 846 762 81.39/81.41 c 32110 169189 16709599 3964932 0 0 564 696 667 97.10/97.16 c 35406 227858 19829799 4296194 0 0 592 813 717 105.00/105.01 c 39031 251828 21511982 4605571 0 0 712 802 773 112.79/112.80 c 43018 272899 23144988 4911307 0 0 441 831 667 121.79/121.83 c 47403 292230 25282372 5288479 0 0 791 834 817 132.59/132.68 c 52226 315463 28145861 6073475 0 0 768 860 848 150.49/150.50 c 57531 375549 31141411 7011482 0 0 323 756 546 165.29/165.38 c 63366 449813 33952719 8321950 0 0 290 381 343 180.39/180.41 c 69784 498859 37026501 9336087 0 0 269 582 427 197.29/197.32 c 76843 581644 40289939 10918121 0 0 283 378 355 220.59/220.63 c 84607 688318 44706728 13209520 0 0 253 375 350 248.89/248.92 c 93147 819321 50010406 15843048 0 0 272 374 351 285.89/285.94 c 102541 994448 57116868 19606966 0 0 271 375 351 316.10/316.12 c 112874 1134122 62808935 22356304 0 0 269 375 354 341.39/341.42 c 124240 1264088 67679812 24646215 0 0 275 374 357 400.79/400.84 c 136742 1516064 78733692 30960726 0 0 250 367 326 428.29/428.30 c 150494 1667578 84354577 33991874 0 0 257 375 357 475.19/475.28 c 165621 1872096 93131309 38785757 0 0 263 374 340 528.70/528.79 c 182260 2119641 103237218 43708560 0 0 270 373 349 584.30/584.30 c 200562 2407503 114269081 49796522 0 0 283 372 349 640.30/640.38 c 220694 2723446 125233292 55671510 0 0 275 371 347 706.50/706.59 c 242839 3105601 138574675 63380088 0 0 247 369 347 773.90/773.94 c 267198 3542886 152215449 71437351 0 0 260 368 346 863.70/863.75 c 293992 4027449 170038991 80989939 0 0 249 368 342 992.11/992.13 c 323465 4449792 193406270 94344592 0 0 251 365 333 1126.71/1126.73 c 355885 5050632 218780330 107235525 0 0 266 367 344 1247.71/1247.75 c 391547 5637767 242140114 119561832 0 0 264 367 345 1306.81/1306.84 c 430775 5924533 255548367 125356827 0 0 270 544 477 1392.91/1392.94 c 473925 6062778 277321445 129390117 0 0 453 551 547 1623.22/1623.24 c 521390 6199854 321316220 133217019 0 0 465 534 526 1701.72/1701.78 c 573601 6327979 340556012 139177018 0 0 480 557 549 1777.92/1777.97 c 631033 6426220 360149707 141621138 0 0 488 566 564 1952.13/1952.18 c 694208 6616585 407407370 149119806 0 0 496 557 555 2076.82/2076.88 c 763700 6786832 439465307 153010895 0 0 496 576 568 2185.14/2185.12 c 840141 7037184 470071526 159016733 0 0 517 576 570 2259.23/2259.21 c 924226 7183449 489688231 163075313 0 0 343 750 685 2413.53/2413.57 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 : 1064887 (423 /sec) 2520.04/2520.00 c decisions : 7896506 (3133 /sec) 2520.04/2520.00 c propagations : 177608153 (70478 /sec) 2520.04/2520.00 c root propagations : 0 2520.04/2520.00 c filter calls : 548418779 (217623 /sec) 2520.04/2520.00 c useless filter calls : 510876356 (93 %) 2520.04/2520.00 c Memory used : 41.90 MB 2520.04/2520.00 c CPU time : 2520.04 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 (14687 MiB free)
memory of node 1: 16384 MiB (13086 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407982-1569800247/watcher-4407982-1569800247 -o /tmp/evaluation-result-4407982-1569800247/solver-4407982-1569800247 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569787351-1201 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407982-1569800247.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
solver pid=3758, runsolver pid=3755
Current StackSize limit: 8192 KiB
[startup+0.100147 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 3759
/proc/meminfo: memFree=28433996/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=35140 memory=11468 CPUtime=0.1 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 3066 0 0 0 10 0 0 0 20 0 1 0 556295914 35983360 2867 33554432000 4194304 6211132 140734851959920 140734851956456 140529429208037 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 8785 2867 849 493 0 2090 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35140 KiB
Current children cumulated memory: 11468 KiB
[startup+0.209704 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 3759
/proc/meminfo: memFree=28431112/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=37348 memory=13812 CPUtime=0.2 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 3676 0 0 0 20 0 0 0 20 0 1 0 556295914 38244352 3453 33554432000 4194304 6211132 140734851959920 140734851956456 140529429208037 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 9337 3453 894 493 0 2642 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37348 KiB
Current children cumulated memory: 13812 KiB
[startup+0.309361 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 3759
/proc/meminfo: memFree=28429872/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=38536 memory=15132 CPUtime=0.3 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 3971 0 0 0 30 0 0 0 20 0 1 0 556295914 39460864 3783 33554432000 4194304 6211132 140734851959920 140734851956456 140529429208037 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 9634 3783 894 493 0 2939 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38536 KiB
Current children cumulated memory: 15132 KiB
[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3759
/proc/meminfo: memFree=28428260/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=40264 memory=16716 CPUtime=0.69 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 4390 0 0 0 69 0 0 0 20 0 1 0 556295914 41230336 4179 33554432000 4194304 6211132 140734851959920 140734851957512 5155535 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10066 4179 894 493 0 3371 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 16716 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3759
/proc/meminfo: memFree=28428188/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=40396 memory=16980 CPUtime=1.49 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 4452 0 0 0 149 0 0 0 20 0 1 0 556295914 41365504 4245 33554432000 4194304 6211132 140734851959920 140734851957880 5038788 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10099 4245 895 493 0 3404 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40396 KiB
Current children cumulated memory: 16980 KiB
[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3759
/proc/meminfo: memFree=28427572/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=41056 memory=17800 CPUtime=3.09 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 7589 0 0 0 309 0 0 0 20 0 1 0 556295914 42041344 4450 33554432000 4194304 6211132 140734851959920 140734851957880 5250499 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10264 4450 895 493 0 3569 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41056 KiB
Current children cumulated memory: 17800 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3760
/proc/meminfo: memFree=28426696/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=41188 memory=17860 CPUtime=6.28 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 8031 0 0 0 628 0 0 0 20 0 1 0 556295914 42176512 4465 33554432000 4194304 6211132 140734851959920 140734851957880 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10297 4465 895 493 0 3602 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41188 KiB
Current children cumulated memory: 17860 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3760
/proc/meminfo: memFree=28426616/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=41452 memory=18008 CPUtime=12.69 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 8530 0 0 0 1268 1 0 0 20 0 1 0 556295914 42446848 4502 33554432000 4194304 6211132 140734851959920 140734851957880 5250283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10363 4502 895 493 0 3668 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 41452 KiB
Current children cumulated memory: 18008 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3760
/proc/meminfo: memFree=28426368/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=41848 memory=18576 CPUtime=25.49 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 9496 0 0 0 2548 1 0 0 20 0 1 0 556295914 42852352 4644 33554432000 4194304 6211132 140734851959920 140734851957880 5250256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10462 4644 895 493 0 3767 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 41848 KiB
Current children cumulated memory: 18576 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3762
/proc/meminfo: memFree=28426096/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=41980 memory=18620 CPUtime=51.1 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 10330 0 0 0 5109 1 0 0 20 0 1 0 556295914 42987520 4655 33554432000 4194304 6211132 140734851959920 140734851957880 5155687 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10495 4655 895 493 0 3800 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 41980 KiB
Current children cumulated memory: 18620 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3766
/proc/meminfo: memFree=28425592/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42508 memory=19164 CPUtime=102.29 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 11075 0 0 0 10228 1 0 0 20 0 1 0 556295914 43528192 4791 33554432000 4194304 6211132 140734851959920 140734851957320 5155385 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10627 4791 895 493 0 3932 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 19164 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3770
/proc/meminfo: memFree=28424556/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19388 CPUtime=162.29 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 11457 0 0 0 16228 1 0 0 20 0 1 0 556295914 43933696 4847 33554432000 4194304 6211132 140734851959920 140734851957880 5156665 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10726 4847 895 493 0 4031 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19388 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 3783
/proc/meminfo: memFree=28423808/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=222.29 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 11778 0 0 0 22228 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5158208 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3787
/proc/meminfo: memFree=28423612/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=282.29 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 12032 0 0 0 28228 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5250330 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 3791
/proc/meminfo: memFree=28423912/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=342.29 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 12285 0 0 0 34228 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5156497 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 3797
/proc/meminfo: memFree=28423492/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=402.29 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 12539 0 0 0 40228 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5155373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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.04 2.03 2.05 3/199 3801
/proc/meminfo: memFree=28424444/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=462.29 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 12812 0 0 0 46228 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5156497 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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/3758/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.05 2.03 2.05 3/199 4071
/proc/meminfo: memFree=28424500/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=1782.32 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 18269 0 0 0 178231 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5250499 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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.05 2.04 2.05 3/200 4077
/proc/meminfo: memFree=28424440/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=1842.32 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 18441 0 0 0 184231 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5155571 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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.02 2.03 2.05 3/199 4081
/proc/meminfo: memFree=28424548/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=1902.32 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 18616 0 0 0 190231 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5250499 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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.01 2.03 2.05 3/199 4085
/proc/meminfo: memFree=28424884/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=1962.32 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 18936 0 0 0 196231 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5193740 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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.00 2.02 2.05 3/201 4099
/proc/meminfo: memFree=28424000/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=2022.32 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 19105 0 0 0 202231 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5250273 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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.00 2.02 2.05 3/200 4103
/proc/meminfo: memFree=28424340/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=2082.33 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 19426 0 0 0 208232 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5250256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 4107
/proc/meminfo: memFree=28423744/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=2142.33 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 19599 0 0 0 214232 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5155373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 4113
/proc/meminfo: memFree=28423928/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=2202.33 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 19919 0 0 0 220232 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5155377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 4117
/proc/meminfo: memFree=28424048/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=2262.33 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 20248 0 0 0 226232 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5155700 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/statm: 10726 4890 895 493 0 4031 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19560 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4121
/proc/meminfo: memFree=28423932/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=2322.33 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 20411 0 0 0 232232 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5136338 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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.00 2.01 2.05 3/200 4127
/proc/meminfo: memFree=28423480/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=2382.33 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 20577 0 0 0 238232 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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.00 2.01 2.05 3/199 4131
/proc/meminfo: memFree=28424072/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=2442.33 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 20899 0 0 0 244232 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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.00 2.01 2.05 3/199 4135
/proc/meminfo: memFree=28424320/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=2502.33 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 21170 0 0 0 250232 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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.00 2.01 2.05 3/199 4138
/proc/meminfo: memFree=28424320/32770624 swapFree=66956692/67108860
[pid=3758] ppid=3755 vsize=42904 memory=19560 CPUtime=2520.04 cores=0,2,4,6
/proc/3758/stat : 3758 (cosoco) R 3755 3758 1161 0 -1 4202496 21365 0 0 0 252003 1 0 0 20 0 1 0 556295914 43933696 4890 33554432000 4194304 6211132 140734851959920 140734851957880 5156912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18128896 140734851961867 140734851961969 140734851961969 140734851964878 0
/proc/3758/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 3758 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.04 s, system=0.016 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.04
CPU system time (s): 0.016
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.04
system time used= 0.016
maximum resident set size= 19624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21416
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= 702
# summary of solver processes directly reported to runsolver:
# pid: 3758
# total CPU time (s): 2520.05
# total CPU user time (s): 2520.04
# total CPU system time (s): 0.016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58703 second user time and 18.9906 second system time
The end
Begin job on node151 at 2019-09-30 01:36:45 IDJOB=4407982 IDBENCH=128127 IDSOLVER=2874 FILE ID=node151/4407982-1569800247 RUNJOBID= node151-1569787351-1201 PBS_JOBID= 21705814 Free space on /tmp= 62028 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-4407982-1569800247/watcher-4407982-1569800247 -o /tmp/evaluation-result-4407982-1569800247/solver-4407982-1569800247 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569787351-1201 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407982-1569800247.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 551365d3bcc7e6d8199baaf77d133a5e RANDOM SEED=1500266636 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: 28440724 kB MemAvailable: 31824144 kB Buffers: 170664 kB Cached: 3548532 kB SwapCached: 50572 kB Active: 1880120 kB Inactive: 1897160 kB Active(anon): 26252 kB Inactive(anon): 111440 kB Active(file): 1853868 kB Inactive(file): 1785720 kB Unevictable: 108504 kB Mlocked: 108504 kB SwapTotal: 67108860 kB SwapFree: 66956692 kB Dirty: 2820 kB Writeback: 0 kB AnonPages: 195044 kB Mapped: 28444 kB Shmem: 70732 kB Slab: 148224 kB SReclaimable: 119332 kB SUnreclaim: 28892 kB KernelStack: 3760 kB PageTables: 5616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 571512 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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= 62024 MiB End job on node151 at 2019-09-30 02:18:46