Trace number 2675845

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-pb 10.05.30SAT 235.544 218.124

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_4_40.opb
MD5SUM13010ca91734567bf39d8d1f9ccac492
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.10983
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

Solver Data 

1.00/1.26	c DEBUG: probabilities of action success (DCM model):
1.00/1.26	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.00/1.26	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.00/1.26	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.00/1.26	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.00/1.26	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.00/1.26	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.00/1.26	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.00/1.26	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.00/1.29	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1059118881', u'HOME/instance-2675845-1277135282.opb'] for 0:00:10
1.20/1.48	c DEBUG: probabilities of action success (DCM model):
1.20/1.48	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
1.20/1.48	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
1.20/1.48	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
1.20/1.48	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
1.20/1.48	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
1.20/1.48	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
1.20/1.48	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
1.20/1.48	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
1.20/1.49	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=999134680', u'HOME/instance-2675845-1277135282.opb'] for 0:00:50
1.41/1.68	c DEBUG: probabilities of action success (DCM model):
1.41/1.68	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
1.41/1.68	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
1.41/1.68	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
1.41/1.68	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
1.41/1.68	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
1.41/1.68	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
1.41/1.68	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
1.41/1.68	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
1.41/1.68	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675845-1277135282.opb'] for 0:00:50
55.73/52.07	c DEBUG: probabilities of action success (DCM model):
55.73/52.07	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
55.73/52.07	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
55.73/52.07	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
55.73/52.07	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
55.73/52.07	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
55.73/52.07	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
55.73/52.07	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
55.73/52.07	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
55.73/52.07	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1590952324', u'HOME/instance-2675845-1277135282.opb'] for 0:01:40
55.95/52.28	c DEBUG: probabilities of action success (DCM model):
55.95/52.28	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
55.95/52.28	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
55.95/52.28	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
55.95/52.28	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
55.95/52.28	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
55.95/52.28	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
55.95/52.28	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
55.95/52.28	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
55.95/52.28	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675845-1277135282.opb'] for 0:01:40
164.13/152.97	c DEBUG: probabilities of action success (DCM model):
164.13/152.97	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
164.13/152.97	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
164.13/152.97	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
164.13/152.97	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
164.13/152.97	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
164.13/152.97	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
164.13/152.97	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
164.13/152.97	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
164.13/152.98	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675845-1277135282.opb'] for 0:00:50
218.80/203.83	c DEBUG: probabilities of action success (DCM model):
218.80/203.83	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
218.80/203.83	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
218.80/203.83	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
218.80/203.83	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
218.80/203.83	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
218.80/203.83	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
218.80/203.83	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
218.80/203.83	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
218.80/203.84	c DETAIL: running [u'java', u'-server', u'-Xms1300m', u'-Xmx1300m', u'-jar', u'HOME/etc/solvers/other/sat4j-pb-v20090826/org.sat4j.pb.jar', u'HOME/instance-2675845-1277135282.opb'] for 0:01:40
235.40/218.06	s SATISFIABLE
235.40/218.06	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 x89 -x90 x91 x92 x93 x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 x142 -x143 x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 x167 x168 -x169 x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 x213 x214 -x215 -x216 -x217 -x218 x219 x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 x275 -x276 -x277 -x278 -x279 x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 x325 x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 x357 x358 -x359 x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2675845-1277135282/watcher-2675845-1277135282 -o /tmp/evaluation-result-2675845-1277135282/solver-2675845-1277135282 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675845-1277135282.opb 1079116459 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.95 0.81 3/106 11876
/proc/meminfo: memFree=1567684/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=16708 CPUtime=0
/proc/11876/stat : 11876 (python) R 11874 11876 11508 0 -1 4202496 719 0 0 0 0 0 0 0 20 0 1 0 54823271 17108992 485 1992294400 4194304 4196484 140733932109008 18446744073709551615 242495995904 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11876/statm: 4177 492 272 1 0 273 0

[startup+0.0340731 s]
/proc/loadavg: 0.99 0.95 0.81 3/106 11876
/proc/meminfo: memFree=1567684/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=17224 CPUtime=0.01
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 1595 0 0 0 1 0 0 0 19 0 1 0 54823271 17637376 632 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479814656 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/11876/statm: 4306 632 340 1 0 286 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17224

[startup+0.105469 s]
/proc/loadavg: 0.99 0.95 0.81 3/106 11876
/proc/meminfo: memFree=1567684/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=32156 CPUtime=0.06
/proc/11876/stat : 11876 (python) R 11874 11876 11508 0 -1 4202496 2413 0 0 0 4 2 0 0 19 0 1 0 54823271 32927744 1390 1992294400 4194304 4196484 140734357179792 18446744073709551615 47416402513520 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11876/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 32156

[startup+0.300467 s]
/proc/loadavg: 0.99 0.95 0.81 3/106 11876
/proc/meminfo: memFree=1567684/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=71516 CPUtime=0.24
/proc/11876/stat : 11876 (python) R 11874 11876 11508 0 -1 4202496 4145 0 0 0 17 7 0 0 19 0 1 0 54823271 73232384 2958 1992294400 4194304 4196484 140734357179792 18446744073709551615 47416402861801 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11876/statm: 17878 2957 693 1 0 2365 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 71516

[startup+0.700464 s]
/proc/loadavg: 0.99 0.95 0.81 3/106 11876
/proc/meminfo: memFree=1567684/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=102236 CPUtime=0.6
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 5763 0 0 0 41 19 0 0 20 0 1 0 54823271 104689664 4398 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479816448 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11876/statm: 25559 4398 1025 1 0 3416 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 102236

[startup+1.50046 s]
/proc/loadavg: 0.99 0.95 0.81 2/107 11881
/proc/meminfo: memFree=1547960/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=1.3
/proc/11876/stat : 11876 (python) R 11874 11876 11508 0 -1 4202496 11481 2379 0 0 96 31 1 2 20 0 1 0 54823271 137326592 6328 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479812532 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6328 1143 1 0 5164 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 134108

[startup+3.12112 s]
/proc/loadavg: 1.15 0.98 0.82 2/108 11888
/proc/meminfo: memFree=1543488/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=1.91
/proc/11876/stat : 11876 (python) R 11874 11876 11508 0 -1 4202496 12695 3818 0 0 149 38 1 3 15 0 1 0 54823271 137326592 6332 1992294400 4194304 4196484 140734357179792 18446744073709551615 47416402789916 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6332 1143 1 0 5164 0
[pid=11888] ppid=11876 vsize=8484 CPUtime=1.4
/proc/11888/stat : 11888 (wbo1.4a) R 11876 11888 11888 0 -1 4202496 1983 0 0 0 137 3 0 0 25 0 1 0 54823440 8687616 1650 1992294400 134512640 135751879 4287537520 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11888/statm: 2121 1650 139 303 0 1816 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 142592

[startup+6.30046 s]
/proc/loadavg: 1.15 0.98 0.82 2/108 11888
/proc/meminfo: memFree=1534312/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=2.14
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 12702 3818 0 0 170 40 1 3 15 0 1 0 54823271 137326592 6332 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479836687 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6332 1143 1 0 5164 0
[pid=11888] ppid=11876 vsize=15188 CPUtime=4.58
/proc/11888/stat : 11888 (wbo1.4a) R 11876 11888 11888 0 -1 4202496 3662 0 0 0 453 5 0 0 25 0 1 0 54823440 15552512 3329 1992294400 134512640 135751879 4287537520 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11888/statm: 3797 3329 139 303 0 3492 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 149296

[startup+12.7012 s]
/proc/loadavg: 1.14 0.98 0.82 3/108 11888
/proc/meminfo: memFree=1528980/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=2.63
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 12714 3818 0 0 214 45 1 3 15 0 1 0 54823271 137326592 6332 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479836687 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6332 1143 1 0 5164 0
[pid=11888] ppid=11876 vsize=20100 CPUtime=10.98
/proc/11888/stat : 11888 (wbo1.4a) R 11876 11888 11888 0 -1 4202496 4901 0 0 0 1091 7 0 0 25 0 1 0 54823440 20582400 4568 1992294400 134512640 135751879 4287537520 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11888/statm: 5025 4568 139 303 0 4720 0
Current children cumulated CPU time (s) 13.61
Current children cumulated vsize (KiB) 154208

[startup+25.5185 s]
/proc/loadavg: 1.11 0.98 0.82 2/108 11888
/proc/meminfo: memFree=1520696/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=3.57
/proc/11876/stat : 11876 (python) R 11874 11876 11508 0 -1 4202496 12744 3818 0 0 300 53 1 3 15 0 1 0 54823271 137326592 6332 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479471628 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6332 1143 1 0 5164 0
[pid=11888] ppid=11876 vsize=28344 CPUtime=23.79
/proc/11888/stat : 11888 (wbo1.4a) R 11876 11888 11888 0 -1 4202496 6969 0 0 0 2369 10 0 0 25 0 1 0 54823440 29024256 6636 1992294400 134512640 135751879 4287537520 18446744073709551615 134517424 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11888/statm: 7086 6636 139 303 0 6781 0
Current children cumulated CPU time (s) 27.36
Current children cumulated vsize (KiB) 162452

[startup+51.1013 s]
/proc/loadavg: 1.07 0.98 0.83 2/108 11890
/proc/meminfo: memFree=1503708/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=5.39
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 12784 3818 0 0 463 72 1 3 16 0 1 0 54823271 137326592 6332 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479836687 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6332 1143 1 0 5164 0
[pid=11888] ppid=11876 vsize=45480 CPUtime=49.37
/proc/11888/stat : 11888 (wbo1.4a) R 11876 11888 11888 0 -1 4202496 11244 0 0 0 4922 15 0 0 25 0 1 0 54823440 46571520 10911 1992294400 134512640 135751879 4287537520 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11888/statm: 11370 10911 139 303 0 11065 0
Current children cumulated CPU time (s) 54.76
Current children cumulated vsize (KiB) 179588

[startup+102.308 s]
/proc/loadavg: 1.13 1.01 0.84 2/108 11896
/proc/meminfo: memFree=1503336/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=59.95
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 15218 17537 0 0 840 115 5017 23 15 0 1 0 54823271 137326592 6334 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479836687 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6334 1143 1 0 5164 0
[pid=11896] ppid=11876 vsize=45868 CPUtime=50
/proc/11896/stat : 11896 (wbo1.4a) R 11876 11896 11896 0 -1 4202496 11320 0 0 0 4985 15 0 0 25 0 1 0 54828500 46968832 10986 1992294400 134512640 135751879 4288668432 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11896/statm: 11467 10986 139 303 0 11162 0
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (KiB) 179976

[startup+162.301 s]
/proc/loadavg: 1.05 1.01 0.85 2/108 11901
/proc/meminfo: memFree=1530864/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=165.17
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 16453 39274 0 0 1249 165 15050 53 15 0 1 0 54823271 137326592 6335 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479836687 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6335 1143 1 0 5164 0
[pid=11901] ppid=11876 vsize=18548 CPUtime=9.3
/proc/11901/stat : 11901 (wbo1.4b) R 11876 11901 11901 0 -1 4202496 4534 0 0 0 925 5 0 0 25 0 1 0 54838569 18993152 4197 1992294400 134512640 135751879 4286713136 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11901/statm: 4637 4197 143 303 0 4332 0
Current children cumulated CPU time (s) 174.47
Current children cumulated vsize (KiB) 152656

Solver just ended. Dumping a history of the last processes samples

[startup+179.101 s]
/proc/loadavg: 1.10 1.02 0.85 2/108 11901
/proc/meminfo: memFree=1520076/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=166.43
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 16509 39274 0 0 1362 178 15050 53 15 0 1 0 54823271 137326592 6335 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479836687 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6335 1143 1 0 5164 0
[pid=11901] ppid=11876 vsize=29684 CPUtime=26.05
/proc/11901/stat : 11901 (wbo1.4b) R 11876 11901 11901 0 -1 4202496 7308 0 0 0 2596 9 0 0 25 0 1 0 54838569 30396416 6971 1992294400 134512640 135751879 4286713136 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11901/statm: 7421 6971 144 303 0 7116 0
Current children cumulated CPU time (s) 192.48
Current children cumulated vsize (KiB) 163792

[startup+204.716 s]
/proc/loadavg: 1.06 1.02 0.86 5/119 11917
/proc/meminfo: memFree=1528176/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=219.07
/proc/11876/stat : 11876 (python) R 11874 11876 11508 0 -1 4202496 17715 51677 0 0 1542 199 20096 70 15 0 1 0 54823271 137326592 6336 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479859847 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11876/statm: 33527 6336 1143 1 0 5164 0
[pid=11906] ppid=11876 vsize=1477088 CPUtime=1.02
/proc/11906/stat : 11906 (java) S 11876 11906 11906 0 -1 4202496 7403 0 1 0 98 4 0 0 15 0 12 0 54843656 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11906/statm: 369272 6475 1406 10 0 366574 0
[pid=11906/tid=11907] ppid=11876 vsize=1477088 CPUtime=0.65
/proc/11906/task/11907/stat : 11907 (java) R 11876 11906 11906 0 -1 4202560 4748 0 1 0 63 2 0 0 25 0 12 0 54843658 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11906/tid=11908] ppid=11876 vsize=1477088 CPUtime=0
/proc/11906/task/11908/stat : 11908 (java) S 11876 11906 11906 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54843659 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11909] ppid=11876 vsize=1477088 CPUtime=0
/proc/11906/task/11909/stat : 11909 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 54843659 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11910] ppid=11876 vsize=1477088 CPUtime=0
/proc/11906/task/11910/stat : 11910 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 12 0 54843661 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 0 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11911] ppid=11876 vsize=1477088 CPUtime=0
/proc/11906/task/11911/stat : 11911 (java) S 11876 11906 11906 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54843661 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11912] ppid=11876 vsize=1477088 CPUtime=0
/proc/11906/task/11912/stat : 11912 (java) S 11876 11906 11906 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54843661 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11913] ppid=11876 vsize=1477088 CPUtime=0
/proc/11906/task/11913/stat : 11913 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54843665 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11914] ppid=11876 vsize=1477088 CPUtime=0.13
/proc/11906/task/11914/stat : 11914 (java) R 11876 11906 11906 0 -1 4202560 506 0 0 0 13 0 0 0 19 0 12 0 54843665 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 102533200 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11906/tid=11915] ppid=11876 vsize=1477088 CPUtime=0.21
/proc/11906/task/11915/stat : 11915 (java) S 11876 11906 11906 0 -1 4202560 796 0 0 0 21 0 0 0 15 0 12 0 54843666 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11916] ppid=11876 vsize=1477088 CPUtime=0
/proc/11906/task/11916/stat : 11916 (java) S 11876 11906 11906 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 54843666 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11917] ppid=11876 vsize=1477088 CPUtime=0
/proc/11906/task/11917/stat : 11917 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 54843666 1512538112 6475 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 220.09
Current children cumulated vsize (KiB) 1611196

[startup+211.103 s]
/proc/loadavg: 1.06 1.02 0.86 2/120 11918
/proc/meminfo: memFree=1402184/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=219.58
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 17741 51677 0 0 1587 205 20096 70 15 0 1 0 54823271 137326592 6336 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479836687 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6336 1143 1 0 5164 0
[pid=11906] ppid=11876 vsize=1482728 CPUtime=8.22
/proc/11906/stat : 11906 (java) S 11876 11906 11906 0 -1 4202496 39120 0 1 0 806 16 0 0 15 0 13 0 54843656 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11906/statm: 370682 37435 1435 10 0 367984 0
[pid=11906/tid=11907] ppid=11876 vsize=1482728 CPUtime=6.58
/proc/11906/task/11907/stat : 11907 (java) R 11876 11906 11906 0 -1 4202560 30948 0 1 0 646 12 0 0 25 0 13 0 54843658 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4109300962 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11906/tid=11908] ppid=11876 vsize=1482728 CPUtime=0.02
/proc/11906/task/11908/stat : 11908 (java) S 11876 11906 11906 0 -1 4202560 1828 0 0 0 2 0 0 0 16 0 13 0 54843659 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11909] ppid=11876 vsize=1482728 CPUtime=0.03
/proc/11906/task/11909/stat : 11909 (java) S 11876 11906 11906 0 -1 4202560 1650 0 0 0 3 0 0 0 18 0 13 0 54843659 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11910] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11910/stat : 11910 (java) S 11876 11906 11906 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 13 0 54843661 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 0 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11911] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11911/stat : 11911 (java) S 11876 11906 11906 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54843661 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11912] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11912/stat : 11912 (java) S 11876 11906 11906 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54843661 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11913] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11913/stat : 11913 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54843665 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11914] ppid=11876 vsize=1482728 CPUtime=0.83
/proc/11906/task/11914/stat : 11914 (java) S 11876 11906 11906 0 -1 4202560 1924 0 0 0 83 0 0 0 15 0 13 0 54843665 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11915] ppid=11876 vsize=1482728 CPUtime=0.7
/proc/11906/task/11915/stat : 11915 (java) S 11876 11906 11906 0 -1 4202560 1401 0 0 0 70 0 0 0 15 0 13 0 54843666 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11916] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11916/stat : 11916 (java) S 11876 11906 11906 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 54843666 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11917] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11917/stat : 11917 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 54843666 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11918] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11918/stat : 11918 (java) S 11876 11906 11906 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 13 0 54843828 1518313472 37435 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 227.8
Current children cumulated vsize (KiB) 1616836

[startup+214.302 s]
/proc/loadavg: 1.05 1.02 0.86 2/120 11918
/proc/meminfo: memFree=1402184/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=219.8
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 17751 51677 0 0 1607 207 20096 70 15 0 1 0 54823271 137326592 6336 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479836687 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6336 1143 1 0 5164 0
[pid=11906] ppid=11876 vsize=1482728 CPUtime=11.46
/proc/11906/stat : 11906 (java) S 11876 11906 11906 0 -1 4202496 43739 0 1 0 1128 18 0 0 15 0 13 0 54843656 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11906/statm: 370682 41963 1435 10 0 367984 0
[pid=11906/tid=11907] ppid=11876 vsize=1482728 CPUtime=9.69
/proc/11906/task/11907/stat : 11907 (java) R 11876 11906 11906 0 -1 4202560 30950 0 1 0 957 12 0 0 25 0 13 0 54843658 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4109435971 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11906/tid=11908] ppid=11876 vsize=1482728 CPUtime=0.05
/proc/11906/task/11908/stat : 11908 (java) S 11876 11906 11906 0 -1 4202560 3856 0 0 0 4 1 0 0 16 0 13 0 54843659 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11909] ppid=11876 vsize=1482728 CPUtime=0.07
/proc/11906/task/11909/stat : 11909 (java) S 11876 11906 11906 0 -1 4202560 4233 0 0 0 6 1 0 0 18 0 13 0 54843659 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11910] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11910/stat : 11910 (java) S 11876 11906 11906 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 13 0 54843661 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 0 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11911] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11911/stat : 11911 (java) S 11876 11906 11906 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54843661 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11912] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11912/stat : 11912 (java) S 11876 11906 11906 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54843661 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11913] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11913/stat : 11913 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54843665 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11914] ppid=11876 vsize=1482728 CPUtime=0.86
/proc/11906/task/11914/stat : 11914 (java) S 11876 11906 11906 0 -1 4202560 1925 0 0 0 86 0 0 0 15 0 13 0 54843665 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11915] ppid=11876 vsize=1482728 CPUtime=0.72
/proc/11906/task/11915/stat : 11915 (java) S 11876 11906 11906 0 -1 4202560 1404 0 0 0 72 0 0 0 15 0 13 0 54843666 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11916] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11916/stat : 11916 (java) S 11876 11906 11906 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 54843666 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11917] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11917/stat : 11917 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 54843666 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11918] ppid=11876 vsize=1482728 CPUtime=0
/proc/11906/task/11918/stat : 11918 (java) S 11876 11906 11906 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 13 0 54843828 1518313472 41963 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 231.26
Current children cumulated vsize (KiB) 1616836

[startup+215.902 s]
/proc/loadavg: 1.05 1.02 0.86 2/120 11918
/proc/meminfo: memFree=1385568/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=219.92
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 17755 51677 0 0 1618 208 20096 70 16 0 1 0 54823271 137326592 6336 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479836687 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6336 1143 1 0 5164 0
[pid=11906] ppid=11876 vsize=1480456 CPUtime=13.06
/proc/11906/stat : 11906 (java) S 11876 11906 11906 0 -1 4202496 43739 0 1 0 1288 18 0 0 15 0 13 0 54843656 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11906/statm: 370114 41426 1435 10 0 367416 0
[pid=11906/tid=11907] ppid=11876 vsize=1480456 CPUtime=11.29
/proc/11906/task/11907/stat : 11907 (java) R 11876 11906 11906 0 -1 4202560 30950 0 1 0 1117 12 0 0 25 0 13 0 54843658 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4108989792 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11906/tid=11908] ppid=11876 vsize=1480456 CPUtime=0.05
/proc/11906/task/11908/stat : 11908 (java) S 11876 11906 11906 0 -1 4202560 3856 0 0 0 4 1 0 0 16 0 13 0 54843659 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11909] ppid=11876 vsize=1480456 CPUtime=0.07
/proc/11906/task/11909/stat : 11909 (java) S 11876 11906 11906 0 -1 4202560 4233 0 0 0 6 1 0 0 18 0 13 0 54843659 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11910] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11910/stat : 11910 (java) S 11876 11906 11906 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 13 0 54843661 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 0 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11911] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11911/stat : 11911 (java) S 11876 11906 11906 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54843661 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11912] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11912/stat : 11912 (java) S 11876 11906 11906 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54843661 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11913] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11913/stat : 11913 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54843665 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11914] ppid=11876 vsize=1480456 CPUtime=0.86
/proc/11906/task/11914/stat : 11914 (java) S 11876 11906 11906 0 -1 4202560 1925 0 0 0 86 0 0 0 15 0 13 0 54843665 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11915] ppid=11876 vsize=1480456 CPUtime=0.72
/proc/11906/task/11915/stat : 11915 (java) S 11876 11906 11906 0 -1 4202560 1404 0 0 0 72 0 0 0 15 0 13 0 54843666 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11916] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11916/stat : 11916 (java) S 11876 11906 11906 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 54843666 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11917] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11917/stat : 11917 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 54843666 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11918] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11918/stat : 11918 (java) S 11876 11906 11906 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 13 0 54843828 1515986944 41426 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 232.98
Current children cumulated vsize (KiB) 1614564

[startup+217.514 s]
/proc/loadavg: 1.05 1.02 0.86 2/120 11918
/proc/meminfo: memFree=1385568/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=220.03
/proc/11876/stat : 11876 (python) S 11874 11876 11508 0 -1 4202496 17759 51677 0 0 1628 209 20096 70 15 0 1 0 54823271 137326592 6336 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479836687 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/11876/statm: 33527 6336 1143 1 0 5164 0
[pid=11906] ppid=11876 vsize=1480456 CPUtime=14.7
/proc/11906/stat : 11906 (java) S 11876 11906 11906 0 -1 4202496 47225 0 1 0 1450 20 0 0 15 0 13 0 54843656 1515986944 44576 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11906/statm: 370114 44583 1435 10 0 367416 0
[pid=11906/tid=11907] ppid=11876 vsize=1480456 CPUtime=12.87
/proc/11906/task/11907/stat : 11907 (java) R 11876 11906 11906 0 -1 4202560 30951 0 1 0 1275 12 0 0 25 0 13 0 54843658 1515986944 44588 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11906/tid=11908] ppid=11876 vsize=1480456 CPUtime=0.07
/proc/11906/task/11908/stat : 11908 (java) R 11876 11906 11906 0 -1 4202560 5459 0 0 0 5 2 0 0 15 0 13 0 54843659 1515986944 44595 1992294400 134512640 134550932 4292572608 18446744073709551615 106195365 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11906/tid=11909] ppid=11876 vsize=1480456 CPUtime=0.11
/proc/11906/task/11909/stat : 11909 (java) R 11876 11906 11906 0 -1 4202560 6140 0 0 0 9 2 0 0 18 0 13 0 54843659 1515986944 44602 1992294400 134512640 134550932 4292572608 18446744073709551615 106195365 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11906/tid=11910] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11910/stat : 11910 (java) S 11876 11906 11906 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 13 0 54843661 1515986944 44609 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 0 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11911] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11911/stat : 11911 (java) S 11876 11906 11906 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54843661 1515986944 44610 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11912] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11912/stat : 11912 (java) S 11876 11906 11906 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54843661 1515986944 44616 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11913] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11913/stat : 11913 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54843665 1515986944 44623 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11914] ppid=11876 vsize=1480456 CPUtime=0.86
/proc/11906/task/11914/stat : 11914 (java) S 11876 11906 11906 0 -1 4202560 1925 0 0 0 86 0 0 0 15 0 13 0 54843665 1515986944 44631 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11915] ppid=11876 vsize=1480456 CPUtime=0.73
/proc/11906/task/11915/stat : 11915 (java) S 11876 11906 11906 0 -1 4202560 1405 0 0 0 73 0 0 0 15 0 13 0 54843666 1515986944 44638 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11916] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11916/stat : 11916 (java) S 11876 11906 11906 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 54843666 1515986944 44646 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
[pid=11906/tid=11917] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11917/stat : 11917 (java) S 11876 11906 11906 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 54843666 1515986944 44653 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 1 0 0 0
[pid=11906/tid=11918] ppid=11876 vsize=1480456 CPUtime=0
/proc/11906/task/11918/stat : 11918 (java) S 11876 11906 11906 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 13 0 54843828 1515986944 44660 1992294400 134512640 134550932 4292572608 18446744073709551615 4294960144 0 4 0 16800975 18446604437837840576 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 234.73
Current children cumulated vsize (KiB) 1614564

[startup+217.903 s]
/proc/loadavg: 1.05 1.02 0.86 4/121 11919
/proc/meminfo: memFree=1361752/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134108 CPUtime=220.35
/proc/11876/stat : 11876 (python) R 11874 11876 11508 0 -1 4202496 17786 51677 0 0 1656 213 20096 70 16 0 1 0 54823271 137326592 6343 1992294400 4194304 4196484 140734357179792 18446744073709551615 242479859847 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11876/statm: 33527 6343 1143 1 0 5164 0
[pid=11906] ppid=11876 vsize=0 CPUtime=14.93
/proc/11906/stat : 11906 (java) Z 11876 11906 11906 0 -1 4203548 51096 0 2 0 1470 23 0 0 15 0 2 0 54843656 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11906/statm: 0 0 0 0 0 0 0
[pid=11906/tid=11907] ppid=11876 vsize=0 CPUtime=12.91
/proc/11906/task/11907/stat : 11907 (java) R 11876 11906 11906 0 -1 4203588 30956 0 1 0 1278 13 0 0 23 0 2 0 54843658 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 2
Current children cumulated CPU time (s) 235.28
Current children cumulated vsize (KiB) 134108

[startup+218.101 s]
/proc/loadavg: 1.05 1.02 0.86 4/121 11919
/proc/meminfo: memFree=1361752/2059040 swapFree=4140228/4192956
[pid=11876] ppid=11874 vsize=134264 CPUtime=235.5
/proc/11876/stat : 11876 (python) R 11874 11876 11508 0 -1 4202496 21781 103691 0 2 1671 216 21567 96 16 0 1 0 54823271 137486336 6355 1992294400 4194304 4196484 140734357179792 18446744073709551615 47416402799961 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11876/statm: 33566 6355 1143 1 0 5203 0
Current children cumulated CPU time (s) 235.5
Current children cumulated vsize (KiB) 134264

Child status: 10
Real time (s): 218.124
CPU time (s): 235.544
CPU user time (s): 232.401
CPU system time (s): 3.14352
CPU usage (%): 107.986
Max. virtual memory (cumulated for all children) (KiB): 1616836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.401
system time used= 3.14352
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126413
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2729
involuntary context switches= 2161

runsolver used 0.415936 second user time and 1.04884 second system time

The end

Launcher Data 

Begin job on node035 at 2010-06-21 17:48:03
IDJOB=2675845
IDBENCH=48288
IDSOLVER=1178
FILE ID=node035/2675845-1277135282
PBS_JOBID= 11182086
Free space on /tmp= 62536 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_4_40.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675845-1277135282/watcher-2675845-1277135282 -o /tmp/evaluation-result-2675845-1277135282/solver-2675845-1277135282 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675845-1277135282.opb 1079116459 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 13010ca91734567bf39d8d1f9ccac492
RANDOM SEED=1079116459

node035.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1568212 kB
Buffers:        132100 kB
Cached:         254768 kB
SwapCached:       6564 kB
Active:         208400 kB
Inactive:       192612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1568212 kB
SwapTotal:     4192956 kB
SwapFree:      4140228 kB
Dirty:           21792 kB
Writeback:           0 kB
AnonPages:       11992 kB
Mapped:          12992 kB
Slab:            67868 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184000 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62516 MiB
End job on node035 at 2010-06-21 17:51:41