Trace number 4079050

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) 188.504 188.546

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-brandy.opb
MD5SUM913c17bb7faa6362a8688d6500a7e54d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.581911
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7470
Total number of constraints182
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints182
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 60
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 2147483646
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10936060477440
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 138160507849056
Number of bits of the biggest sum of numbers47
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-06T20:32:24+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-4079050-1465237944.opb"]
0.00/0.01	c use --random-gen="3783106925 1675728581 967098429 1829499532 2361868570 3083544071 663238826 2279351882 1213181649 2985229521 4169644116 3242442705 1603881714 4226760182 1042859893 3894752798 2383969842 1265101104 350732013 2001338162 948854457 100007156 2571941383 609644469 1684462895 1155858678 261950423 1274280511 1485432932 990297051 2204414410 1636748086 3642771908 3854096736 325139863 2163934956 3344471863 1750385337 4180029668 2851227344 3428674969 723177593 2910638707 3452239990 2057601236 1118191817 3245316525 2571933947 811579353 1168107254 3652202406 1328969592 770339639 1813835804 188012391 3372863446 3830750026 3483238898 2374002810 3119845498 973072087 3920831050 3314545791 4018993365 1054001909 3133196059 61025090 2896441286 3768143817 3913165188 32200615 1512901576 1462633273 2302642352 3950832621 1802664298 3660011310 248653768 310134363 4198831503 179291865 2515948560 3373954813 3974612300 725757674 2809105835 126691026 243055640 1492542200 137181329 2422877192 2314444681 233742254 573798983 3199090887 3079949639 989091190 3606086620 2102198343 1476819690 1887647761 1002199431 2051296380 1198160763 2148153892 3271762930 2751506778 2688492438 2778945918 1478816225 1977435342 2494382685 2104893015 2086839435 936198538 1490313855 2659075265 1653589984 2445583012 1496555133 142191314 4007461143 3265600205 3518199485 1645736759 788191982 3842870201 4186991253 3192877211 2036531945 2026455627 4166786026 668271182 4174752779 794844974 1991991675 3023362752 2865456039 1288100516 2145541806 3462552896 1790924625 397195441 17067294 1007238644 3109505312 1854444890 3777612067 3972798495 2776464136 1060434640 3190940018 1220992741 857683353 4065564115 909063239 375210342 2871224266 2685107059 231494845 4179696233 525649598 4227435009 3803869923 2409379517 1640982666 1110388120 479994572 3428773034 778744153 2826768918 3155403386 3985871915 3470958783 4097400829 151372457 2561411282 823534630 3232426709 2215334892 943065874 1235165633 566373650 2240690309 2065462579 3782199988 4044689819 929686087 1172192111 357769882 4216963781 1701152417 2164764276 1027345766 3396923595 3377650377 1846278316 578200361 3633810726 1719473522 2151259269 2113617624 3547784688 4024653216 2601639310 3424465867 2611541847 1952231231 3853093739 2254225447 3704571486 2049439790 3381961595 3004781206 1618048630 3057056266 3103070007 1591089978 324453643 4219348956 903964830 3274355936 1598533766 165950983 991054265 3563322986 729379660 2038784446 2464314113 1722099410 2924555969 3941324359 781946239 2478140124 2791306392 2230507698 3895742854 1041535434 4140030566 782607921 3459739624 348307208 1464345809 3532482089 4155484874 1569549935 52617706 2929715306 3528317379 1012028024 3935094255 3373168910 3665388991 722927942 144190047 2248221476 255 362436" option to reproduce the execution
0.09/0.15	c #vars 7470
0.09/0.15	c #constraints 182

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-4079050-1465237944/watcher-4079050-1465237944 -o /tmp/evaluation-result-4079050-1465237944/solver-4079050-1465237944 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079050-1465237944.opb 

pid=16376
running on 4 cores: 0,2,4,6

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.20 2.20 2.18 3/179 16379
/proc/meminfo: memFree=29311816/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=802236 CPUtime=0 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 3005 0 0 0 0 0 0 0 20 0 4 0 105726723 821489664 3365 33554432000 4194304 16246674 140734515145088 140734515144512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 201071 3375 441 2943 0 197965 0
[pid=16379/tid=16380] ppid=16376 vsize=819644 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 839315456 3435 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=824764 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 844558336 3455 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=828860 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105726723 848752640 3471 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 16379
/proc/meminfo: memFree=29311816/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 29540 0 0 0 6 3 0 0 20 0 4 0 105726723 1334382592 29838 33554432000 4194304 16246674 140734515145088 140734515144400 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 325777 29853 800 2943 0 322671 0
[pid=16379/tid=16380] ppid=16376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 1334382592 29863 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 1334382592 29875 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 1334382592 29886 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200562 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 16379
/proc/meminfo: memFree=29311816/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 39120 0 0 0 15 4 0 0 20 0 4 0 105726723 1342771200 39929 33554432000 4194304 16246674 140734515145088 140734515144400 12429028 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 327825 39929 833 2943 0 324719 0
[pid=16379/tid=16380] ppid=16376 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 1342771200 39929 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 1342771200 39929 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 1342771200 39929 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300436 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 16379
/proc/meminfo: memFree=29311816/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 59683 0 0 0 22 7 0 0 20 0 4 0 105726723 1342771200 60492 33554432000 4194304 16246674 140734515145088 140734515144400 12654944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 327825 60505 833 2943 0 324719 0
[pid=16379/tid=16380] ppid=16376 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 1342771200 60514 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 1342771200 60525 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 1342771200 60534 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700406 s]
/proc/loadavg: 2.20 2.20 2.18 3/179 16379
/proc/meminfo: memFree=29311816/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=1311300 CPUtime=0.69 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 151524 0 0 0 50 19 0 0 20 0 4 0 105726723 1342771200 152334 33554432000 4194304 16246674 140734515145088 140734515126976 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 327825 152347 833 2943 0 324719 0
[pid=16379/tid=16380] ppid=16376 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 1342771200 152356 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 1342771200 152364 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 1342771200 152375 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.50041 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 16383
/proc/meminfo: memFree=28338240/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 272218 0 0 0 113 36 0 0 20 0 4 0 105726723 1358499840 273027 33554432000 4194304 16246674 140734515145088 140734515126976 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 331665 273027 835 2943 0 328559 0
[pid=16379/tid=16380] ppid=16376 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 1358499840 273027 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 1358499840 273027 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 1358499840 273027 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.1004 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 16383
/proc/meminfo: memFree=28219960/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=1471044 CPUtime=3.09 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 308287 0 0 0 268 41 0 0 20 0 4 0 105726723 1506349056 309097 33554432000 4194304 16246674 140734515145088 140734515126976 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 367761 309102 835 2943 0 364655 0
[pid=16379/tid=16380] ppid=16376 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 1506349056 309105 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 1506349056 309109 33554432000 4194304 16246674 140734515145088 140271461309456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 1506349056 309114 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1471044

[startup+6.30043 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 16383
/proc/meminfo: memFree=28020712/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=1525316 CPUtime=6.29 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 321951 0 0 0 586 43 0 0 20 0 4 0 105726723 1561923584 322760 33554432000 4194304 16246674 140734515145088 140734515126976 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 381329 322760 835 2943 0 378223 0
[pid=16379/tid=16380] ppid=16376 vsize=1525316 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 1561923584 322760 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=1525316 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 1561923584 322760 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=1525316 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 1561923584 322760 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1525316

[startup+12.7004 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 16383
/proc/meminfo: memFree=27195824/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=2348612 CPUtime=12.68 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 527775 0 0 0 1197 71 0 0 20 0 4 0 105726723 2404978688 528584 33554432000 4194304 16246674 140734515145088 140734515144184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 587153 528584 835 2943 0 584047 0
[pid=16379/tid=16380] ppid=16376 vsize=2348612 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 2404978688 528584 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=2348612 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 2404978688 528584 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=2348612 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 2404978688 528584 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2348612

[startup+25.5004 s]
/proc/loadavg: 2.19 2.20 2.18 4/183 16383
/proc/meminfo: memFree=25218336/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=4407876 CPUtime=25.49 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 1042528 0 0 0 2407 142 0 0 20 0 4 0 105726723 4513665024 1043338 33554432000 4194304 16246674 140734515145088 140734515143752 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 1101969 1043348 836 2943 0 1098863 0
[pid=16379/tid=16380] ppid=16376 vsize=4407876 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 4513665024 1043354 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=4407876 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 4513665024 1043360 33554432000 4194304 16246674 140734515145088 140271461309456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=4407876 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 4513665024 1043366 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4407876

[startup+51.1005 s]
/proc/loadavg: 2.12 2.18 2.17 3/183 16383
/proc/meminfo: memFree=20828120/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=8704580 CPUtime=51.08 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 2116771 0 0 0 4822 286 0 0 20 0 4 0 105726723 8913489920 2117580 33554432000 4194304 16246674 140734515145088 140734515144184 12371332 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 2176145 2117580 836 2943 0 2173039 0
[pid=16379/tid=16380] ppid=16376 vsize=8704580 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 8913489920 2117580 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=8704580 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 8913489920 2117580 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=8704580 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 8913489920 2117580 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8704580

[startup+102.3 s]
/proc/loadavg: 2.14 2.18 2.18 4/183 16384
/proc/meminfo: memFree=15917920/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=13604420 CPUtime=102.28 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 3341737 0 0 0 9769 459 0 0 20 0 4 0 105726723 13930926080 3342546 33554432000 4194304 16246674 140734515145088 140734515144264 4220514 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 3401105 3342546 841 2943 0 3397999 0
[pid=16379/tid=16380] ppid=16376 vsize=13604420 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 13930926080 3342546 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=13604420 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 13930926080 3342546 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=13604420 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 13930926080 3342546 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13604420

[startup+162.3 s]
/proc/loadavg: 2.14 2.18 2.17 4/183 16385
/proc/meminfo: memFree=14402332/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=15117892 CPUtime=162.26 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 3663561 0 0 0 15711 515 0 0 20 0 4 0 105726723 15480721408 3720580 33554432000 4194304 16246674 140734515145088 140734515142912 14003409 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 3779473 3720580 841 2943 0 3776367 0
[pid=16379/tid=16380] ppid=16376 vsize=15117892 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 15480721408 3720580 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=15117892 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 15480721408 3720580 33554432000 4194304 16246674 140734515145088 140271461309456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=15117892 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 15480721408 3720580 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15117892



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+187.7 s]
/proc/loadavg: 2.09 2.16 2.17 4/183 16386
/proc/meminfo: memFree=14028072/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=15888964 CPUtime=187.66 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) R 16376 16379 13075 0 -1 4202496 3856553 0 0 0 18219 547 0 0 20 0 4 0 105726723 16270299136 3913572 33554432000 4194304 16246674 140734515145088 140734515144264 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 3972241 3913582 841 2943 0 3969135 0
[pid=16379/tid=16380] ppid=16376 vsize=15888964 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16380/stat : 16380 (toysat) S 16376 16379 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105726723 16270299136 3913588 33554432000 4194304 16246674 140734515145088 140271471799536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=15888964 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) S 16376 16379 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105726723 16270299136 3913594 33554432000 4194304 16246674 140734515145088 140271461309680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16379/tid=16382] ppid=16376 vsize=15888964 CPUtime=0 cores=0,2,4,6
/proc/16379/task/16382/stat : 16382 (toysat) S 16376 16379 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105726723 16270299136 3913602 33554432000 4194304 16246674 140734515145088 140271450836144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 187.66
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 16379 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+188 s]
/proc/loadavg: 2.09 2.16 2.17 4/183 16386
/proc/meminfo: memFree=14028072/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=0 CPUtime=187.96 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) Z 16376 16379 13075 0 -1 4203532 3857230 0 0 0 18219 577 0 0 20 0 2 0 105726723 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 0 0 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) R 16376 16379 13075 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 105726723 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 187.96
Current children cumulated vsize (KiB) 0

[startup+188.4 s]
/proc/loadavg: 2.09 2.16 2.17 4/181 16386
/proc/meminfo: memFree=20978772/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=0 CPUtime=188.36 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) Z 16376 16379 13075 0 -1 4203532 3857230 0 0 0 18219 617 0 0 20 0 2 0 105726723 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 0 0 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) R 16376 16379 13075 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 105726723 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 188.36
Current children cumulated vsize (KiB) 0

[startup+188.5 s]
/proc/loadavg: 2.09 2.16 2.17 4/181 16386
/proc/meminfo: memFree=20978772/32872528 swapFree=16636/1570076
[pid=16379] ppid=16376 vsize=0 CPUtime=188.46 cores=0,2,4,6
/proc/16379/stat : 16379 (toysat) Z 16376 16379 13075 0 -1 4203532 3857230 0 0 0 18219 627 0 0 20 0 2 0 105726723 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16379/statm: 0 0 0 0 0 0 0
[pid=16379/tid=16381] ppid=16376 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/16379/task/16381/stat : 16381 (toysat) R 16376 16379 13075 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 105726723 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 188.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 188.546
CPU time (s): 188.504
CPU user time (s): 182.197
CPU system time (s): 6.30704
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 15888964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.197
system time used= 6.30704
maximum resident set size= 15656996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3857230
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= 66
involuntary context switches= 195

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12483 second user time and 1.87571 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 20:32:24
IDJOB=4079050
IDBENCH=2401
IDSOLVER=2542
FILE ID=node140/4079050-1465237944
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-brandy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079050-1465237944/watcher-4079050-1465237944 -o /tmp/evaluation-result-4079050-1465237944/solver-4079050-1465237944 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079050-1465237944.opb

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

MD5SUM BENCH= 913c17bb7faa6362a8688d6500a7e54d
RANDOM SEED=1845621219

node140.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.768
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.768
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.55
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.768
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.768
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.768
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.55
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.768
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.55
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.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29312196 kB
Buffers:           37280 kB
Cached:            90796 kB
SwapCached:         1752 kB
Active:          1222156 kB
Inactive:          64280 kB
Active(anon):    1157868 kB
Inactive(anon):     2612 kB
Active(file):      64288 kB
Inactive(file):    61668 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098600 kB
Dirty:             17140 kB
Writeback:             0 kB
AnonPages:       2727616 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             567908 kB
SReclaimable:      12008 kB
SUnreclaim:       555900 kB
KernelStack:        1464 kB
PageTables:         9416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2870280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2707456 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= 71704 MiB
End job on node140 at 2016-06-06 20:35:32