Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | SAT | 10.4065 | 1.51694 |
Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-15-036.xml |
MD5SUM | 5e5c63d89f6605b36f0577fcc9be8ecb |
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 | 1.60869 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 105 |
Number of domains | 15 |
Minimum domain size | 22 |
Maximum domain size | 36 |
Distribution of domain sizes | [{"size":22,"count":2},{"size":23,"count":2},{"size":24,"count":2},{"size":25,"count":2},{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2}] |
Minimum variable degree | 14 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":14,"count":30}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":105}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 105 |
Distribution of constraint types | [{"type":"intension","count":105}] |
Optimization problem | NO |
Type of objective |
0.20/0.23 c root propagations : 0 0.20/0.23 c restarts enabled, print stats at every restarts 0.20/0.23 c 0.20/0.23 c 0.20/0.23 c root propagations : 0 0.20/0.23 c restarts enabled, print stats at every restarts 0.20/0.23 c 0.20/0.23 c 0.20/0.23 c 0.20/0.23 c This is cosoco 2.00 -- 0.20/0.23 c 0.20/0.23 c command line: cosoco -model -nbcores=8 HOME/instance-4409183-1569841458.xml 0.20/0.23 c ========================================[ Problem Statistics ]=========================================== 0.20/0.23 c | 0.20/0.23 c | Parse time : 0.22 s 0.20/0.23 c | 0.20/0.23 c | Variables: 30 0.20/0.23 c | Domain Sizes: 22..36 0.20/0.23 c | 0.20/0.23 c | Constraints: 105 0.20/0.23 c | Arity: 4..4 0.20/0.23 c | 0.20/0.23 c | Types: 0.20/0.23 c | Intension: 105 0.20/0.23 c | 0.20/0.23 c ========================================================================================================= 0.20/0.23 c Parallel mode: Portfolio 0.20/0.23 c [pFactory][Group N°0] created (threads:8). 0.20/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.20/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.20/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.20/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.20/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.20/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.20/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.20/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.20/0.23 c [pFactory][Group N°0] concurrent mode: enabled. 0.20/0.23 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.20/0.23 c [pFactory][Group N°0] task 7 launched on thread 0. 0.20/0.23 c [pFactory][Group N°0] task 6 launched on thread 2. 0.20/0.23 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.23 c c [pFactory][Group N°0] task 5 launched on thread 1. 0.20/0.23 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.23 c root propagations : 0 0.20/0.23 c restarts enabled, print stats at every restarts 0.20/0.23 c 0.20/0.23 c 0.20/0.23 c root propagations : 0 0.20/0.23 c restarts enabled, print stats at every restarts 0.20/0.23 c 0.20/0.23 c 0.20/0.23 c root propagations : 0 0.20/0.23 c restarts enabled, print stats at every restarts 0.20/0.23 c 0.20/0.23 c 0.20/0.23 c [pFactory][Group N°0] task 4 launched on thread 4. 0.20/0.23 c [pFactory][Group N°0] task 3 launched on thread 6. 0.20/0.23 c [pFactory][Group N°0] task 2 launched on thread 3. 0.20/0.23 c [pFactory][Group N°0] task 1 launched on thread 7. 0.20/0.23 c conflicts c decisionsconflicts decisions filterCallsfilterCalls propagationspropagationsRoot Prop. NogoodsRoot Prop. c [pFactory][Group N°0] task 0 launched on thread 5. 0.20/0.23 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.23 Nogoods min/max/avg depth 0.20/0.23 min/max/avg depth 0.20/0.23 c root propagations : 0 0.20/0.23 c restarts enabled, print stats at every restarts 0.20/0.23 c 0.20/0.23 c 0.20/0.23 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.23 c root propagations : 0 0.20/0.23 c restarts enabled, print stats at every restarts 0.20/0.23 c 0.20/0.23 c 0.20/0.23 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.23 c root propagations : 0 0.20/0.23 c restarts enabled, print stats at every restarts 0.20/0.23 c 0.20/0.23 c 0.20/0.23 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.90/0.34 c 32 43 1269 974 0 0 5 9 6 0.90/0.35 c 101 116 3234 2632 0 0 2 13 11 0.90/0.35 c 33 47 1365 1006 0 0 4 4 2 0.90/0.35 c 32 48 1389 922 0 0 9 17 12 0.90/0.37 c 32 46 1349 1042 0 0 7 11 8 0.90/0.38 c 33 54 1552 1005 0 0 6 6 3 0.90/0.39 c 33 50 1432 1074 0 0 4 4 2 0.90/0.41 c 101 115 3169 2440 0 0 7 9 8 1.69/0.42 c 101 123 3540 2503 0 0 9 17 15 1.69/0.44 c 32 53 1567 1209 0 0 7 15 10 1.69/0.46 c 33 60 1731 1285 0 0 7 7 3 1.69/0.46 c 64 90 2524 1815 0 0 4 13 6 1.69/0.48 c 65 96 2687 1892 0 0 6 6 3 1.69/0.49 c 66 100 2770 1925 0 0 4 4 2 1.69/0.50 c 67 104 2866 1957 0 0 4 4 2 2.48/0.52 c 211 241 6556 5231 0 0 11 11 10 2.48/0.54 c 64 100 2827 2067 0 0 4 10 6 2.48/0.55 c 65 104 2910 2101 0 0 4 4 2 2.48/0.56 c 64 93 2616 1887 0 0 4 13 6 2.48/0.58 c 66 111 3087 2181 0 0 7 7 3 2.48/0.58 c 67 115 3170 2215 0 0 4 4 2 2.48/0.58 c 101 139 4100 3380 0 0 7 11 10 2.48/0.59 c 65 99 2766 1964 0 0 6 6 3 2.48/0.60 c 66 103 2874 2002 0 0 4 4 2 3.21/0.61 c 67 107 2957 2034 0 0 4 4 2 3.21/0.61 c 211 237 6408 5717 0 0 7 9 8 3.21/0.62 c 64 98 3138 1782 0 0 5 11 7 3.21/0.64 c 65 109 3358 1895 0 0 11 11 5 3.21/0.65 c 128 181 4940 3299 0 0 4 17 9 3.21/0.66 c 129 187 5090 3372 0 0 6 6 3 3.21/0.67 c 66 117 3549 1992 0 0 8 8 4 3.21/0.67 c 130 191 5173 3406 0 0 4 4 2 3.21/0.68 c 131 195 5269 3438 0 0 4 4 2 3.21/0.68 c 132 199 5352 3472 0 0 4 4 2 3.21/0.68 c 67 125 3727 2079 0 0 8 8 4 3.21/0.68 c 332 378 10257 8067 0 0 6 11 10 3.21/0.68 c 133 203 5448 3504 0 0 4 4 2 3.21/0.69 c 134 207 5531 3538 0 0 4 4 2 3.21/0.69 c 135 211 5627 3570 0 0 4 4 2 3.93/0.71 c 128 192 5282 3863 0 0 7 17 11 3.93/0.72 c 129 197 5405 3921 0 0 5 5 2 3.93/0.73 c 130 201 5512 3956 0 0 4 4 2 3.93/0.73 c 131 205 5595 3988 0 0 4 4 2 3.93/0.74 c 132 209 5702 4023 0 0 4 4 2 3.93/0.74 c 133 213 5785 4055 0 0 4 4 2 3.93/0.75 c 134 217 5892 4090 0 0 4 4 2 3.93/0.75 c 135 221 5975 4122 0 0 4 4 2 3.93/0.75 c 128 186 5128 3447 0 0 4 19 8 3.93/0.76 c 129 191 5251 3502 0 0 5 5 2 3.93/0.77 c 130 195 5358 3537 0 0 4 4 2 3.93/0.78 c 131 199 5441 3569 0 0 4 4 2 3.93/0.78 c 132 203 5548 3604 0 0 4 4 2 3.93/0.79 c 133 207 5631 3636 0 0 4 4 2 3.93/0.79 c 134 211 5738 3671 0 0 4 4 2 3.93/0.79 c 135 215 5821 3703 0 0 4 4 2 4.76/0.84 c 465 530 14313 11343 0 0 11 13 11 5.52/0.92 c 256 359 9726 6754 0 0 4 23 15 5.52/0.93 c 257 365 9876 6825 0 0 6 6 3 5.52/0.94 c 258 372 10040 6903 0 0 7 7 3 5.52/0.95 c 259 376 10148 6941 0 0 4 4 2 5.52/0.95 c 260 383 10286 7012 0 0 7 7 3 5.52/0.96 c 261 387 10394 7050 0 0 4 4 2 5.52/0.97 c 262 394 10532 7121 0 0 7 7 3 5.52/0.97 c 263 398 10640 7159 0 0 4 4 2 5.52/0.98 c 264 405 10778 7230 0 0 7 7 3 5.52/0.98 c 256 363 9824 6838 0 0 4 17 13 5.52/0.98 c 265 409 10886 7268 0 0 4 4 2 5.52/0.99 c 266 416 11024 7339 0 0 7 7 3 5.52/0.99 c 211 273 7938 6164 0 0 9 15 11 5.52/0.99 c 256 359 9762 6689 0 0 4 23 17 5.52/0.99 c 257 370 9988 6916 0 0 7 7 3 5.52/0.99 c 267 420 11132 7377 0 0 4 4 2 5.52/1.00 c 258 374 10095 6951 0 0 4 4 2 5.52/1.00 c 257 366 9926 6758 0 0 7 7 3 6.39/1.01 c 268 427 11270 7448 0 0 7 7 3 6.39/1.01 c 258 370 10033 6793 0 0 4 4 2 6.39/1.01 c 259 381 10233 7022 0 0 7 7 3 6.39/1.02 c 269 431 11378 7486 0 0 4 4 2 6.39/1.02 c 259 374 10116 6825 0 0 4 4 2 6.39/1.02 c 260 385 10340 7057 0 0 4 4 2 6.39/1.02 c 270 436 11475 7529 0 0 5 5 2 6.39/1.02 c 261 392 10478 7128 0 0 7 7 3 6.39/1.03 c 271 440 11583 7567 0 0 4 4 2 6.39/1.03 c 262 396 10585 7163 0 0 4 4 2 6.39/1.03 c 263 403 10723 7234 0 0 7 7 3 6.39/1.03 c 260 379 10239 6874 0 0 5 5 2 6.39/1.03 c 264 407 10830 7269 0 0 4 4 2 6.39/1.03 c 261 383 10322 6906 0 0 4 4 2 6.39/1.04 c 265 414 10968 7340 0 0 7 7 3 6.39/1.04 c 262 388 10445 6955 0 0 5 5 2 6.39/1.04 c 266 418 11075 7375 0 0 4 4 2 6.39/1.04 c 263 392 10528 6987 0 0 4 4 2 6.39/1.05 c 267 425 11213 7446 0 0 7 7 3 6.39/1.05 c 268 429 11320 7481 0 0 4 4 2 6.39/1.05 c 264 397 10651 7036 0 0 5 5 2 6.39/1.06 c 265 401 10734 7068 0 0 4 4 2 6.39/1.06 c 269 436 11458 7552 0 0 7 7 3 6.39/1.06 c 270 440 11565 7587 0 0 4 4 2 6.39/1.06 c 266 406 10857 7117 0 0 5 5 2 6.39/1.07 c 271 447 11703 7658 0 0 7 7 3 6.39/1.08 c 267 410 10940 7149 0 0 4 4 2 6.39/1.09 c 268 415 11063 7198 0 0 5 5 2 6.39/1.09 c 269 419 11146 7230 0 0 4 4 2 6.39/1.10 c 270 424 11269 7279 0 0 5 5 2 6.39/1.10 c 611 688 18475 13890 0 0 6 8 7 6.39/1.10 c 271 428 11352 7311 0 0 4 4 2 7.19/1.11 c 128 209 6032 4220 0 0 8 12 10 7.19/1.12 c 129 216 6170 4284 0 0 7 7 3 7.19/1.13 c 211 300 9082 7575 0 0 6 9 7 7.19/1.13 c 130 221 6290 4340 0 0 5 5 2 7.19/1.14 c 131 227 6413 4403 0 0 6 6 3 7.19/1.15 c 132 232 6533 4459 0 0 5 5 2 7.19/1.17 c 133 238 6656 4522 0 0 6 6 3 7.19/1.18 c 134 242 6752 4566 0 0 4 4 2 7.19/1.19 c 135 248 6875 4629 0 0 6 6 3 7.94/1.29 c 332 371 12739 13112 0 0 6 7 6 8.72/1.30 c 332 447 13004 10730 0 0 8 27 20 8.72/1.30 c 332 427 12450 9873 0 0 4 11 10 8.72/1.36 c 771 871 23446 17533 0 0 3 11 9 8.72/1.39 c 512 711 19066 13798 0 0 5 23 18 9.51/1.40 c 513 718 19230 13867 0 0 7 7 3 9.51/1.41 c 514 722 19313 13901 0 0 4 4 2 9.51/1.42 c 515 727 19436 13950 0 0 5 5 2 9.51/1.43 c 516 731 19519 13982 0 0 4 4 2 9.51/1.44 c 517 736 19642 14031 0 0 5 5 2 9.51/1.44 c 518 740 19725 14063 0 0 4 4 2 9.51/1.45 c 519 745 19848 14112 0 0 5 5 2 9.51/1.45 c 520 749 19931 14144 0 0 4 4 2 9.51/1.46 c 521 754 20054 14193 0 0 5 5 2 9.51/1.46 c 522 758 20137 14225 0 0 4 4 2 9.51/1.47 c 523 763 20260 14274 0 0 5 5 2 9.51/1.49 c 524 767 20343 14306 0 0 4 4 2 9.51/1.49 c 525 772 20466 14355 0 0 5 5 2 10.31/1.50 c 526 776 20549 14387 0 0 4 4 2 10.31/1.51 c 527 781 20672 14436 0 0 5 5 2 10.31/1.51 c 528 785 20755 14468 0 0 4 4 2 10.31/1.51 c First solution is found 10.31/1.51 c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 1. 10.31/1.51 c [pFactory][Group N°0] Thread N°0 is joined. 10.31/1.51 c [pFactory][Group N°0] Thread N°1 is joined. 10.31/1.51 c [pFactory][Group N°0] Thread N°2 is joined. 10.31/1.51 c [pFactory][Group N°0] Thread N°3 is joined. 10.31/1.51 c [pFactory][Group N°0] Thread N°4 is joined. 10.31/1.51 c [pFactory][Group N°0] Thread N°5 is joined. 10.31/1.51 c [pFactory][Group N°0] Thread N°6 is joined. 10.31/1.51 c [pFactory][Group N°0] Thread N°7 is joined. 10.31/1.51 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°7) 10.31/1.51 s SATISFIABLE 10.31/1.51 c restarts : 47 10.31/1.51 c conflicts : 528 (51 /sec) 10.31/1.51 c decisions : 789 (76 /sec) 10.31/1.51 c propagations : 14493 (1395 /sec) 10.31/1.51 c root propagations : 0 10.31/1.51 c filter calls : 20836 (2005 /sec) 10.31/1.51 c useless filter calls : 19103 (91 %) 10.31/1.51 c Memory used : 578.39 MB 10.31/1.51 c CPU time : 10.3914 s 10.31/1.51 c real time : 1.50969 s 10.31/1.51 10.31/1.51 c solution 1 10.31/1.51 10.31/1.51 v <instantiation type='solution'> 10.31/1.51 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] </list> 10.31/1.51 v <values>26 25 24 2 1 1 0 6 27 14 13 24 0 7 21 3 4 6 0 4 23 29 1 0 0 10 9 9 22 21 </values> 10.31/1.51 v </instantiation> 10.31/1.51
OK
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 (15216 MiB free) memory of node 1: 16384 MiB (15487 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409183-1569841458/watcher-4409183-1569841458 -o /tmp/evaluation-result-4409183-1569841458/solver-4409183-1569841458 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1325353310-26745 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409183-1569841458.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=27269, runsolver pid=27266 Current StackSize limit: 8192 KiB [startup+0.100154 s]* /proc/loadavg: 8.09 8.24 8.26 2/193 27270 /proc/meminfo: memFree=31436596/32770688 swapFree=66927776/67108860 [pid=27269] ppid=27266 vsize=31020 memory=7372 CPUtime=0.1 cores=0-7 /proc/27269/stat : 27269 (cosoco) R 27266 27269 26718 0 -1 4202496 2022 0 0 0 10 0 0 0 20 0 1 0 560151888 31764480 1843 33554432000 4194304 6211132 140731289422624 140731289419160 140679950887909 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 /proc/27269/statm: 7755 1843 822 493 0 1060 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31020 KiB Current children cumulated memory: 7372 KiB [startup+0.210509 s]* /proc/loadavg: 8.09 8.24 8.26 2/193 27270 /proc/meminfo: memFree=31432876/32770688 swapFree=66927776/67108860 [pid=27269] ppid=27266 vsize=34812 memory=11160 CPUtime=0.2 cores=0-7 /proc/27269/stat : 27269 (cosoco) R 27266 27269 26718 0 -1 4202496 2983 0 0 0 20 0 0 0 20 0 1 0 560151888 35647488 2790 33554432000 4194304 6211132 140731289422624 140731289419160 140679950887909 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 /proc/27269/statm: 8703 2790 822 493 0 2008 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 34812 KiB Current children cumulated memory: 11160 KiB [startup+0.310678 s]* /proc/loadavg: 8.09 8.24 8.26 9/201 27278 /proc/meminfo: memFree=31431868/32770688 swapFree=66927776/67108860 [pid=27269] ppid=27266 vsize=625056 memory=11812 CPUtime=0.9 cores=0-7 /proc/27269/stat : 27269 (cosoco) S 27266 27269 26718 0 -1 1077944320 3451 0 0 0 90 0 0 0 20 0 9 0 560151888 640057344 2953 33554432000 4194304 6211132 140731289422624 140731289420880 140679966928631 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 /proc/27269/statm: 156264 2953 858 493 0 149569 0 [pid=27269/tid=27271] ppid=27266 vsize=625056 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/27269/task/27271/stat : 27271 (cosoco) R 27266 27269 26718 0 -1 4202560 54 0 0 0 8 0 0 0 20 0 9 0 560151911 640057344 2953 33554432000 4194304 6211132 140731289422624 140679943785848 5443104 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27272] ppid=27266 vsize=625056 memory=4872558044660077418 CPUtime=0.08 cores=0-7 /proc/27269/task/27272/stat : 27272 (cosoco) R 27266 27269 26718 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 9 0 560151911 640057344 2953 33554432000 4194304 6211132 140731289422624 140679935393144 5069016 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27273] ppid=27266 vsize=625056 memory=0 CPUtime=0.08 cores=0-7 /proc/27269/task/27273/stat : 27273 (cosoco) R 27266 27269 26718 0 -1 4202560 39 0 0 0 8 0 0 0 20 0 9 0 560151911 640057344 2953 33554432000 4194304 6211132 140731289422624 140679927000440 5480271 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27274] ppid=27266 vsize=625056 memory=0 CPUtime=0.07 cores=0-7 /proc/27269/task/27274/stat : 27274 (cosoco) R 27266 27269 26718 0 -1 4202560 42 0 0 0 7 0 0 0 20 0 9 0 560151911 640057344 2953 33554432000 4194304 6211132 140731289422624 140679918607208 140679951811460 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27275] ppid=27266 vsize=625056 memory=6656426216303648864 CPUtime=0.08 cores=0-7 /proc/27269/task/27275/stat : 27275 (cosoco) R 27266 27269 26718 0 -1 4202560 45 0 0 0 8 0 0 0 20 0 9 0 560151911 640057344 2953 33554432000 4194304 6211132 140731289422624 140679910214328 5480253 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27276] ppid=27266 vsize=625056 memory=0 CPUtime=0.08 cores=0-7 /proc/27269/task/27276/stat : 27276 (cosoco) R 27266 27269 26718 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 9 0 560151911 640057344 2953 33554432000 4194304 6211132 140731289422624 140679901822328 140679951811682 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27277] ppid=27266 vsize=625056 memory=0 CPUtime=0.08 cores=0-7 /proc/27269/task/27277/stat : 27277 (cosoco) R 27266 27269 26718 0 -1 4202560 39 0 0 0 8 0 0 0 20 0 9 0 560151911 640057344 2953 33554432000 4194304 6211132 140731289422624 140679893429624 5478441 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27278] ppid=27266 vsize=625056 memory=0 CPUtime=0.08 cores=0-7 /proc/27269/task/27278/stat : 27278 (cosoco) R 27266 27269 26718 0 -1 4202560 39 0 0 0 8 0 0 0 20 0 9 0 560151911 640057344 2953 33554432000 4194304 6211132 140731289422624 140679885036920 5446131 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 Current children cumulated CPU time: 0.9 s Current children cumulated vsize: 625056 KiB Current children cumulated memory: 11812 KiB [startup+0.700676 s] /proc/loadavg: 8.09 8.24 8.26 9/201 27278 /proc/meminfo: memFree=31431212/32770688 swapFree=66927776/67108860 [pid=27269] ppid=27266 vsize=625056 memory=12592 CPUtime=3.93 cores=0-7 /proc/27269/stat : 27269 (cosoco) S 27266 27269 26718 0 -1 1077944320 3621 0 0 0 393 0 0 0 20 0 9 0 560151888 640057344 3148 33554432000 4194304 6211132 140731289422624 140731289420880 140679966928631 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 /proc/27269/statm: 156264 3148 867 493 0 149569 0 [pid=27269/tid=27271] ppid=27266 vsize=625056 memory=6272 CPUtime=0.46 cores=0-7 /proc/27269/task/27271/stat : 27271 (cosoco) R 27266 27269 26718 0 -1 4202560 76 0 0 0 46 0 0 0 20 0 9 0 560151911 640057344 3148 33554432000 4194304 6211132 140731289422624 140679943785320 140679951814058 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27272] ppid=27266 vsize=625056 memory=4052 CPUtime=0.46 cores=0-7 /proc/27269/task/27272/stat : 27272 (cosoco) R 27266 27269 26718 0 -1 4202560 52 0 0 0 46 0 0 0 20 0 9 0 560151911 640057344 3148 33554432000 4194304 6211132 140731289422624 140679935392864 5443072 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27273] ppid=27266 vsize=625056 memory=1056 CPUtime=0.47 cores=0-7 /proc/27269/task/27273/stat : 27273 (cosoco) R 27266 27269 26718 0 -1 4202560 49 0 0 0 47 0 0 0 20 0 9 0 560151911 640057344 3148 33554432000 4194304 6211132 140731289422624 140679927000440 5456342 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27274] ppid=27266 vsize=625056 memory=2828 CPUtime=0.43 cores=0-7 /proc/27269/task/27274/stat : 27274 (cosoco) R 27266 27269 26718 0 -1 4202560 69 0 0 0 43 0 0 0 20 0 9 0 560151911 640057344 3148 33554432000 4194304 6211132 140731289422624 140679918607456 5451516 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27275] ppid=27266 vsize=625056 memory=1176 CPUtime=0.46 cores=0-7 /proc/27269/task/27275/stat : 27275 (cosoco) R 27266 27269 26718 0 -1 4202560 57 0 0 0 46 0 0 0 20 0 9 0 560151911 640057344 3148 33554432000 4194304 6211132 140731289422624 140679910214752 140679951814058 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27276] ppid=27266 vsize=625056 memory=139980062639743 CPUtime=0.46 cores=0-7 /proc/27269/task/27276/stat : 27276 (cosoco) R 27266 27269 26718 0 -1 4202560 67 0 0 0 46 0 0 0 20 0 9 0 560151911 640057344 3148 33554432000 4194304 6211132 140731289422624 140679901822048 140679951808419 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27277] ppid=27266 vsize=625056 memory=6293050847276651881 CPUtime=0.46 cores=0-7 /proc/27269/task/27277/stat : 27277 (cosoco) R 27266 27269 26718 0 -1 4202560 61 0 0 0 46 0 0 0 20 0 9 0 560151911 640057344 3148 33554432000 4194304 6211132 140731289422624 140679893429344 5480282 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27278] ppid=27266 vsize=625056 memory=7007707949394126417 CPUtime=0.46 cores=0-7 /proc/27269/task/27278/stat : 27278 (cosoco) R 27266 27269 26718 0 -1 4202560 64 0 0 0 46 0 0 0 20 0 9 0 560151911 640057344 3148 33554432000 4194304 6211132 140731289422624 140679885036392 140679951811471 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 Current children cumulated CPU time: 3.93 s Current children cumulated vsize: 625056 KiB Current children cumulated memory: 12592 KiB [startup+1.50068 s] /proc/loadavg: 8.09 8.24 8.26 9/201 27278 /proc/meminfo: memFree=31432020/32770688 swapFree=66927776/67108860 [pid=27269] ppid=27266 vsize=625056 memory=14176 CPUtime=10.31 cores=0-7 /proc/27269/stat : 27269 (cosoco) S 27266 27269 26718 0 -1 1077944320 6010 0 0 0 1030 1 0 0 20 0 9 0 560151888 640057344 3544 33554432000 4194304 6211132 140731289422624 140731289420880 140679966928631 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 /proc/27269/statm: 156264 3544 867 493 0 149569 0 [pid=27269/tid=27271] ppid=27266 vsize=625056 memory=0 CPUtime=1.26 cores=0-7 /proc/27269/task/27271/stat : 27271 (cosoco) R 27266 27269 26718 0 -1 4202560 315 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679943785320 5446258 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27272] ppid=27266 vsize=625056 memory=1764 CPUtime=1.26 cores=0-7 /proc/27269/task/27272/stat : 27272 (cosoco) R 27266 27269 26718 0 -1 4202560 235 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679935392616 140679951811664 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27273] ppid=27266 vsize=625056 memory=111632 CPUtime=1.26 cores=0-7 /proc/27269/task/27273/stat : 27273 (cosoco) R 27266 27269 26718 0 -1 4202560 382 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679927000160 5456338 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27274] ppid=27266 vsize=625056 memory=4872558142750483004 CPUtime=1.21 cores=0-7 /proc/27269/task/27274/stat : 27274 (cosoco) R 27266 27269 26718 0 -1 4202560 271 0 0 0 121 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679918607208 5443032 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27275] ppid=27266 vsize=625056 memory=279951337486176 CPUtime=1.26 cores=0-7 /proc/27269/task/27275/stat : 27275 (cosoco) R 27266 27269 26718 0 -1 4202560 268 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679910214504 5443072 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27276] ppid=27266 vsize=625056 memory=139975668739536 CPUtime=1.26 cores=0-7 /proc/27269/task/27276/stat : 27276 (cosoco) R 27266 27269 26718 0 -1 4202560 638 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679901822048 5446292 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27277] ppid=27266 vsize=625056 memory=6944656592387989600 CPUtime=1.26 cores=0-7 /proc/27269/task/27277/stat : 27277 (cosoco) R 27266 27269 26718 0 -1 4202560 266 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679893429096 140679960832852 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27278] ppid=27266 vsize=625056 memory=0 CPUtime=1.26 cores=0-7 /proc/27269/task/27278/stat : 27278 (cosoco) R 27266 27269 26718 0 -1 4202560 509 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679885036640 5443128 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 Current children cumulated CPU time: 10.31 s Current children cumulated vsize: 625056 KiB Current children cumulated memory: 14176 KiB [startup+1.5169 s] # the end of solver process 27269 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.3915 s, system=0.014991 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.50068 s] /proc/loadavg: 8.09 8.24 8.26 9/201 27278 /proc/meminfo: memFree=31432020/32770688 swapFree=66927776/67108860 [pid=27269] ppid=27266 vsize=625056 memory=14176 CPUtime=10.31 cores=0-7 /proc/27269/stat : 27269 (cosoco) S 27266 27269 26718 0 -1 1077944320 6010 0 0 0 1030 1 0 0 20 0 9 0 560151888 640057344 3544 33554432000 4194304 6211132 140731289422624 140731289420880 140679966928631 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 /proc/27269/statm: 156264 3544 867 493 0 149569 0 [pid=27269/tid=27271] ppid=27266 vsize=625056 memory=0 CPUtime=1.26 cores=0-7 /proc/27269/task/27271/stat : 27271 (cosoco) R 27266 27269 26718 0 -1 4202560 315 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679943785320 5446258 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27272] ppid=27266 vsize=625056 memory=1764 CPUtime=1.26 cores=0-7 /proc/27269/task/27272/stat : 27272 (cosoco) R 27266 27269 26718 0 -1 4202560 235 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679935392616 140679951811664 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27273] ppid=27266 vsize=625056 memory=111632 CPUtime=1.26 cores=0-7 /proc/27269/task/27273/stat : 27273 (cosoco) R 27266 27269 26718 0 -1 4202560 382 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679927000160 5456338 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27274] ppid=27266 vsize=625056 memory=4872558142750483004 CPUtime=1.21 cores=0-7 /proc/27269/task/27274/stat : 27274 (cosoco) R 27266 27269 26718 0 -1 4202560 271 0 0 0 121 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679918607208 5443032 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27275] ppid=27266 vsize=625056 memory=279951337486176 CPUtime=1.26 cores=0-7 /proc/27269/task/27275/stat : 27275 (cosoco) R 27266 27269 26718 0 -1 4202560 268 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679910214504 5443072 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27276] ppid=27266 vsize=625056 memory=139975668739536 CPUtime=1.26 cores=0-7 /proc/27269/task/27276/stat : 27276 (cosoco) R 27266 27269 26718 0 -1 4202560 638 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679901822048 5446292 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27277] ppid=27266 vsize=625056 memory=6944656592387989600 CPUtime=1.26 cores=0-7 /proc/27269/task/27277/stat : 27277 (cosoco) R 27266 27269 26718 0 -1 4202560 266 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679893429096 140679960832852 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 [pid=27269/tid=27278] ppid=27266 vsize=625056 memory=0 CPUtime=1.26 cores=0-7 /proc/27269/task/27278/stat : 27278 (cosoco) R 27266 27269 26718 0 -1 4202560 509 0 0 0 126 0 0 0 20 0 9 0 560151911 640057344 3544 33554432000 4194304 6211132 140731289422624 140679885036640 5443128 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8663040 140731289429009 140731289429101 140731289429101 140731289432014 0 Current children cumulated CPU time: 10.31 s Current children cumulated vsize: 625056 KiB Current children cumulated memory: 14176 KiB Child status: 0 Real time (s): 1.51694 CPU time (s): 10.4065 CPU user time (s): 10.3915 CPU system time (s): 0.014991 CPU usage (%): 686.019 Max. virtual memory (cumulated for all children) (KiB): 625056 Max. memory (cumulated for all children) (KiB): 14176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.3915 system time used= 0.014991 maximum resident set size= 14292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6065 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= 77 involuntary context switches= 194 # summary of solver processes directly reported to runsolver: # pid: 27269 # total CPU time (s): 10.4065 # total CPU user time (s): 10.3915 # total CPU system time (s): 0.014991 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.035395 second user time and 0.05389 second system time The end
Begin job on node120 at 2011-12-31 19:24:38 IDJOB=4409183 IDBENCH=141717 IDSOLVER=2877 FILE ID=node120/4409183-1569841458 RUNJOBID= node120-1325353310-26745 PBS_JOBID= 21705961 Free space on /tmp= 61844 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-15-036.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409183-1569841458/watcher-4409183-1569841458 -o /tmp/evaluation-result-4409183-1569841458/solver-4409183-1569841458 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1325353310-26745 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409183-1569841458.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5e5c63d89f6605b36f0577fcc9be8ecb RANDOM SEED=91868973 node120.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.49 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.49 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.49 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.49 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 : 5329.69 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 : 5329.69 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 : 5329.69 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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 31440628 kB MemAvailable: 31798984 kB Buffers: 225116 kB Cached: 462176 kB SwapCached: 68828 kB Active: 330692 kB Inactive: 430564 kB Active(anon): 25140 kB Inactive(anon): 129512 kB Active(file): 305552 kB Inactive(file): 301052 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66927776 kB Dirty: 2776 kB Writeback: 12 kB AnonPages: 113660 kB Mapped: 27888 kB Shmem: 72460 kB Slab: 164944 kB SReclaimable: 135176 kB SUnreclaim: 29768 kB KernelStack: 3424 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 547448 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: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61840 MiB End job on node120 at 2011-12-31 19:24:40