Trace number 4103837

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 173.797 173.832

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc02.opb
MD5SUMbe3daaec19eb6f74c780b858afc6652a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1075471360
Best CPU time to get the best result obtained on this benchmark0.622905
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1075471360
Optimality of the best value was proved YES
Number of variables89
Total number of constraints39
Number of constraints which are clauses7
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints25
Minimum length of a constraint4
Maximum length of a constraint79
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3234157567
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T10:40:54+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4103837-1466239254.opb"]
0.00/0.01	c use --random-gen="3558521914 2536765618 223741445 1980347092 628379041 1283711066 327763958 3820400903 3646905043 2821695100 1811878713 3812526725 104063231 2298571006 2985616692 641118768 1015078397 3790244825 1870019263 2615277201 256362577 1874317672 4195146187 2880266791 701309347 365446595 646868727 2413463071 166401102 2753668096 238798950 1300398713 1222777626 144182179 1253923751 4179207216 1303724558 2928111095 252200800 2945960483 2831574210 369149445 2954519551 3672848352 3297780932 285597129 2184682206 3016921383 3336843945 1753726374 419183176 769953793 506830787 3103459940 2413921596 2307724657 1256494050 3962508783 3405874460 1059688664 101225823 2781881769 970864731 3211410066 2511787864 1400457810 3003360630 2123062381 2312897060 3682108177 1847243270 2677449590 2352813211 2292388117 1754986848 391370957 4287640162 152530368 316033884 1683820714 1167247610 3209401631 2109531162 2744919459 1400421273 2439403492 86196043 1637239475 4239539803 4277974813 3227534521 1111976724 955810432 2784872894 1282855094 256731235 3051241499 4262711315 4008775527 229064957 3270996594 1031040281 3518686305 3150505987 3606178125 3276501301 100629339 1725001028 479818386 1547620851 472323141 2933232320 4181101426 3497723983 1275647845 3267658473 2530685870 827411987 2182692804 4233763511 1637102971 3364902608 194356973 4178796621 3940952412 3452608096 2066898558 4414962 3186260302 562791395 2174681331 1872971918 1924373934 1834584483 1126244439 59806873 3273900745 1457816016 2487121637 715322832 1140153556 3703630565 902363803 166455233 1531953820 1169459449 2538897085 3782864890 4266180961 3719498418 830586273 389178726 530888743 1584391324 1694642493 3516967518 2860724917 2561221232 3287564105 3918680010 2967367352 3596225312 2174439119 2859483128 1262367316 1663355253 1085724112 2109778308 2720788761 3308985743 2648723270 634621026 1568009074 6769363 3666723061 1090520845 2577157374 2256884591 2110281592 2004019816 465456787 794171645 2910241723 3284294692 3982157199 616297668 3159696899 2575616370 3517390448 964577362 1627926001 3058337772 3229975559 2188114966 104028307 1498653890 1978441613 1507592073 4215651992 3447676593 531593394 195223790 1833724687 1586423810 2219036930 2879450119 2314922770 217242992 2968987219 1321810861 111590593 2062504168 1250707082 2432520965 1845301580 2256093534 1864278182 183216287 3093145412 1459556242 483187477 498827430 38276459 615576616 1910419713 1644313413 1483849398 1301065871 1559130525 3003903319 4131655693 2411608738 1556547838 4286314176 631866315 1923512775 540919241 3161618726 3241735673 2529193724 1283049587 1217989312 3036353888 562330608 526998223 1929041230 3671433768 3947664748 48494657 934066273 2878071361 1093788703 1275672992 3638218211 4226402380 3466189223 255 362436" option to reproduce the execution
0.00/0.01	c #vars 89
0.00/0.01	c #constraints 39

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103837-1466239254/watcher-4103837-1466239254 -o /tmp/evaluation-result-4103837-1466239254/solver-4103837-1466239254 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103837-1466239254.opb 

pid=3666
running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.11 2.14 2.16 2/180 3669
/proc/meminfo: memFree=27992436/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 2720 0 0 0 0 0 0 0 20 0 4 0 25971918 745992192 3591 33554432000 4194304 16246674 140734755456192 140734755455616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 182895 3599 441 2943 0 179789 0
[pid=3669/tid=3670] ppid=3666 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 791080960 3761 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 795275264 3779 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 799469568 3795 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.11 2.14 2.16 2/180 3669
/proc/meminfo: memFree=27992436/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 25367 0 0 0 6 3 0 0 20 0 4 0 25971918 1247350784 26229 33554432000 4194304 16246674 140734755456192 140734755455616 12654121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 304529 26242 596 2943 0 301423 0
[pid=3669/tid=3670] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 26252 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 26260 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 26269 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200546 s]
/proc/loadavg: 2.11 2.14 2.16 2/180 3669
/proc/meminfo: memFree=27992436/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 47946 0 0 0 13 6 0 0 20 0 4 0 25971918 1247350784 48808 33554432000 4194304 16246674 140734755456192 140734755455616 12449399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 304529 48820 596 2943 0 301423 0
[pid=3669/tid=3670] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 48828 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 48837 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 48846 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.3005 s]
/proc/loadavg: 2.11 2.14 2.16 2/180 3669
/proc/meminfo: memFree=27992436/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 69292 0 0 0 19 9 0 0 20 0 4 0 25971918 1247350784 70154 33554432000 4194304 16246674 140734755456192 140734755455616 12429797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 304529 70160 596 2943 0 301423 0
[pid=3669/tid=3670] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 70163 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 70166 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 70170 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700429 s]
/proc/loadavg: 2.11 2.14 2.16 2/180 3669
/proc/meminfo: memFree=27992436/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 155598 0 0 0 48 21 0 0 20 0 4 0 25971918 1247350784 156460 33554432000 4194304 16246674 140734755456192 140734755438080 12371445 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 304529 156472 602 2943 0 301423 0
[pid=3669/tid=3670] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 156479 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 156486 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 1247350784 156494 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.11 2.14 2.16 4/184 3673
/proc/meminfo: memFree=26991984/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=1310276 CPUtime=1.49 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 268475 0 0 0 111 38 0 0 20 0 4 0 25971918 1341722624 269293 33554432000 4194304 16246674 140734755456192 140734755438080 6955234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 327569 269293 822 2943 0 324463 0
[pid=3669/tid=3670] ppid=3666 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 1341722624 269293 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 1341722624 269293 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 1341722624 269293 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1310276

[startup+3.10044 s]
/proc/loadavg: 2.11 2.14 2.16 3/184 3673
/proc/meminfo: memFree=26758748/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=1506884 CPUtime=3.09 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 317818 0 0 0 266 43 0 0 20 0 4 0 25971918 1543049216 318636 33554432000 4194304 16246674 140734755456192 140734755455504 4220850 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 376721 318636 822 2943 0 373615 0
[pid=3669/tid=3670] ppid=3666 vsize=1506884 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 1543049216 318636 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=1506884 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 1543049216 318636 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=1506884 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 1543049216 318636 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1506884

[startup+6.30043 s]
/proc/loadavg: 2.02 2.12 2.15 3/184 3673
/proc/meminfo: memFree=26498624/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=1726020 CPUtime=6.29 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 372602 0 0 0 578 51 0 0 20 0 4 0 25971918 1767444480 373420 33554432000 4194304 16246674 140734755456192 140734755454016 4220520 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 431505 373420 822 2943 0 428399 0
[pid=3669/tid=3670] ppid=3666 vsize=1726020 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 1767444480 373420 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=1726020 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 1767444480 373420 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=1726020 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 1767444480 373420 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1726020

[startup+12.7004 s]
/proc/loadavg: 2.02 2.12 2.15 3/183 3673
/proc/meminfo: memFree=25409432/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=2813508 CPUtime=12.69 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 644474 0 0 0 1180 89 0 0 20 0 4 0 25971918 2881032192 645292 33554432000 4194304 16246674 140734755456192 140734755454016 4206688 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 703377 645292 822 2943 0 700271 0
[pid=3669/tid=3670] ppid=3666 vsize=2813508 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 2881032192 645292 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=2813508 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 2881032192 645292 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=2813508 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 2881032192 645292 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2813508

[startup+25.5004 s]
/proc/loadavg: 2.10 2.13 2.15 4/183 3673
/proc/meminfo: memFree=22535256/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=5682756 CPUtime=25.49 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 1361788 0 0 0 2360 189 0 0 20 0 4 0 25971918 5819142144 1362606 33554432000 4194304 16246674 140734755456192 140734755455368 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 1420689 1362606 823 2943 0 1417583 0
[pid=3669/tid=3670] ppid=3666 vsize=5682756 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 5819142144 1362606 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=5682756 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 5819142144 1362606 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=5682756 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 5819142144 1362606 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5682756

[startup+51.1005 s]
/proc/loadavg: 2.06 2.11 2.15 3/183 3673
/proc/meminfo: memFree=18557988/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=10020420 CPUtime=51.08 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 2446203 0 0 0 4776 332 0 0 20 0 4 0 25971918 10260910080 2447021 33554432000 4194304 16246674 140734755456192 140734755454856 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 2505361 2447032 823 2943 0 2502255 0
[pid=3669/tid=3670] ppid=3666 vsize=10021444 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 10261958656 2447036 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=10021444 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 10261958656 2447042 33554432000 4194304 16246674 140734755456192 140425312574480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=10021444 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 10261958656 2447046 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10020420

[startup+102.3 s]
/proc/loadavg: 2.07 2.11 2.14 3/183 3674
/proc/meminfo: memFree=16064940/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=12142148 CPUtime=102.29 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 2931389 0 0 0 9825 404 0 0 20 0 4 0 25971918 12433559552 2977175 33554432000 4194304 16246674 140734755456192 140734755454144 4226281 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 3035537 2977175 828 2943 0 3032431 0
[pid=3669/tid=3670] ppid=3666 vsize=12142148 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 12433559552 2977175 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=12142148 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 12433559552 2977175 33554432000 4194304 16246674 140734755456192 140425312574480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=12142148 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 12433559552 2977175 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 12142148

[startup+162.3 s]
/proc/loadavg: 2.14 2.12 2.14 4/183 3675
/proc/meminfo: memFree=14665248/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=13538884 CPUtime=162.26 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 3230532 0 0 0 15777 449 0 0 20 0 4 0 25971918 13863817216 3326396 33554432000 4194304 16246674 140734755456192 140734755454144 14016589 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 3384721 3326396 828 2943 0 3381615 0
[pid=3669/tid=3670] ppid=3666 vsize=13538884 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 13863817216 3326396 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=13538884 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 13863817216 3326396 33554432000 4194304 16246674 140734755456192 140425312574480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=13538884 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 13863817216 3326396 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13538884



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+173 s]
/proc/loadavg: 2.12 2.11 2.14 3/183 3675
/proc/meminfo: memFree=12445644/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=15888964 CPUtime=172.97 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) R 3666 3669 31224 0 -1 4202496 3818286 0 0 0 16759 538 0 0 20 0 4 0 25971918 16270299136 3914150 33554432000 4194304 16246674 140734755456192 140734755454856 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 3972241 3914161 828 2943 0 3969135 0
[pid=3669/tid=3670] ppid=3666 vsize=15888964 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (toysat) S 3666 3669 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25971919 16270299136 3914167 33554432000 4194304 16246674 140734755456192 140425323064560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=15889988 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) S 3666 3669 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25971919 16271347712 3914174 33554432000 4194304 16246674 140734755456192 140425312574704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3669/tid=3672] ppid=3666 vsize=15889988 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (toysat) S 3666 3669 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25971919 16271347712 3914180 33554432000 4194304 16246674 140734755456192 140425230806192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 172.97
Current children cumulated vsize (KiB) 15888964

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3669 sig 9
??? kill -3669 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+173.6 s]
/proc/loadavg: 2.12 2.11 2.14 3/183 3675
/proc/meminfo: memFree=12445644/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=0 CPUtime=173.56 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) Z 3666 3669 31224 0 -1 4203532 3818811 0 0 0 16759 597 0 0 20 0 2 0 25971918 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 0 0 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) R 3666 3669 31224 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 25971919 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 173.56
Current children cumulated vsize (KiB) 0

[startup+173.8 s]
/proc/loadavg: 2.11 2.11 2.14 3/181 3675
/proc/meminfo: memFree=27414928/32872528 swapFree=1200228/1314692
[pid=3669] ppid=3666 vsize=0 CPUtime=173.77 cores=1,3,5,7
/proc/3669/stat : 3669 (toysat) Z 3666 3669 31224 0 -1 4203532 3818811 0 0 0 16759 618 0 0 20 0 2 0 25971918 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3669/statm: 0 0 0 0 0 0 0
[pid=3669/tid=3671] ppid=3666 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (toysat) R 3666 3669 31224 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 25971919 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 173.77
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 173.832
CPU time (s): 173.797
CPU user time (s): 167.597
CPU system time (s): 6.20006
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 15888964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.597
system time used= 6.20006
maximum resident set size= 15658700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3818811
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= 60
involuntary context switches= 176

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.45593 second user time and 0.686895 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 10:40:54
IDJOB=4103837
IDBENCH=2480
IDSOLVER=2542
FILE ID=node131/4103837-1466239254
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71672 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc02.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103837-1466239254/watcher-4103837-1466239254 -o /tmp/evaluation-result-4103837-1466239254/solver-4103837-1466239254 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103837-1466239254.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= be3daaec19eb6f74c780b858afc6652a
RANDOM SEED=1125923715

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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
cpu MHz		: 2666.752
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
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
cpu MHz		: 2666.752
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.752
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.752
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
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
cpu MHz		: 2666.752
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27993244 kB
Buffers:          120684 kB
Cached:           181120 kB
SwapCached:         1460 kB
Active:          2402016 kB
Inactive:         420628 kB
Active(anon):    2283952 kB
Inactive(anon):   239380 kB
Active(file):     118064 kB
Inactive(file):   181248 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       3834604 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             602972 kB
SReclaimable:      46976 kB
SUnreclaim:       555996 kB
KernelStack:        1528 kB
PageTables:        11324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3975680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    952320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node131 at 2016-06-18 10:43:48