Trace number 4079055

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) 192.893 192.935

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scorpion.opb
MD5SUM5969f09e744b158004f0e27c746edfe9
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10740
Total number of constraints377
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 constraints377
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 8460
Biggest coefficient in the objective function 10788957847552
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 603693086370759
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 33554432000000
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 603693086370759
Number of bits of the biggest sum of numbers50
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:37:02+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-4079055-1465238222.opb"]
0.00/0.01	c use --random-gen="652155394 2214646395 1368640915 2905415175 3933674136 1642507901 750963619 261231292 536587809 4174882122 2446998275 1588309296 2564863147 1136618688 2606630937 4237342312 2409098493 615870149 3241414398 589201572 165987915 2316585874 945370029 489850336 2048560593 1438826678 1060557219 2646532940 496544846 3455174813 1773696498 2958024789 1840921759 1858213968 273030176 3938715137 2504104612 154692205 251983461 865797580 325769937 3753407258 2776076257 3153752768 2615217731 226752799 2429037323 1859172692 3255690388 2828919009 631943375 3945403044 178794248 1824449604 2962479362 981238618 3271463584 2073306515 162152049 3214456750 2829204446 649833792 1022963842 717077599 2570655976 3639706579 2367469694 968910527 2968099854 4288814237 1838705971 1089511768 3121694455 2633049249 1301408906 3104387959 1596768280 2000739948 51554134 1228943933 612610501 4180165194 1422417944 2634984370 1429370813 3452403136 1741888384 652230076 2181042597 2561392386 1149081870 2805912603 2446106579 2831524999 3715066818 1851393281 2667437014 1566310428 2986009269 3079791689 4044653650 2160521984 1593488530 3826542772 3681302933 2483907291 1048658273 1728060394 2572315479 1254056003 3748533494 3288520722 1668244612 266260478 3491465495 1977603751 3902658157 291850151 3339294444 3737892158 174453242 3032744429 3472214604 2273154260 2114817821 279372099 691453294 3330926089 2710805293 1732919934 1786217813 238396816 2753512971 1532639201 4082119169 4037653759 2579120253 1784113982 1877455835 1343625722 3814290736 1105815574 1691409248 2247322728 2688104317 1300061548 713142726 3320002554 3621250505 317853003 1079711773 2666523461 2981521452 4222876019 3064561294 1326365893 2698008974 995361120 2146506623 988874261 2956418217 1812424837 193716694 120201372 1373989206 1541752987 3828712782 3188335997 3790143139 3038525826 2279937918 1995309187 2788167956 1586619568 3060197438 70415586 2907233202 4284035274 3416355021 1822180617 390515730 2924525813 801398688 4070646473 3116455884 1973453851 1605344436 4262159506 2350919646 3647873935 97434186 1933769995 1339330022 3285531241 2475621831 1037677177 3286228192 1903250367 1793768253 590783048 1896612902 1985077346 3349179219 1349436853 835508608 3384468214 2387912407 811492977 2312814910 1245970411 3357038815 986732623 107579562 3742366136 2226170710 836573884 1020377738 837943744 2967038582 1888363364 3467681204 1558989887 1628162891 2338534992 510815013 2843803564 3159209497 260403540 3004007343 2085453089 1285102884 727097383 4093540548 856398870 2737761573 3865370290 870981774 4289459002 2404369802 198853742 1941009719 3605525445 2060920700 38386104 2240394356 1814673505 997833521 1742613513 4135655681 960694150 3270599638 1344283081 2225267839 731625981 2187512216 2089156395 255 362436" option to reproduce the execution
0.09/0.14	c #vars 10740
0.09/0.14	c #constraints 377

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

pid=31398
running on 8 cores: 4-7,12-15

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.02 2.08 2.04 3/261 31401
/proc/meminfo: memFree=28401952/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=1070524 CPUtime=0 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 4054 0 0 0 0 0 0 0 20 0 4 0 105664237 1096216576 4925 33554432000 4194304 16246674 140733368652592 140733368652016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 268399 4935 441 2943 0 265293 0
[pid=31401/tid=31402] ppid=31398 vsize=1093052 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 1119285248 5013 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=1097148 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 1123479552 5030 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=1101244 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 1127673856 5046 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.02 2.08 2.04 3/261 31401
/proc/meminfo: memFree=28401952/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=1303108 CPUtime=0.09 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 30211 0 0 0 5 4 0 0 20 0 4 0 105664237 1334382592 31021 33554432000 4194304 16246674 140733368652592 140733368651904 8057278 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 325777 31038 802 2943 0 322671 0
[pid=31401/tid=31402] ppid=31398 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 1334382592 31049 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 1334382592 31060 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=1303108 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 1334382592 31072 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200538 s]
/proc/loadavg: 2.02 2.08 2.04 3/261 31401
/proc/meminfo: memFree=28401952/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=1312324 CPUtime=0.19 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 41363 0 0 0 13 6 0 0 20 0 4 0 105664237 1343819776 42683 33554432000 4194304 16246674 140733368652592 140733368651904 12656213 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 328081 42683 835 2943 0 324975 0
[pid=31401/tid=31402] ppid=31398 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 1343819776 42683 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 1343819776 42683 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 1343819776 42683 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300501 s]
/proc/loadavg: 2.02 2.08 2.04 3/261 31401
/proc/meminfo: memFree=28401952/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=1312324 CPUtime=0.29 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 57892 0 0 0 21 8 0 0 20 0 4 0 105664237 1343819776 59213 33554432000 4194304 16246674 140733368652592 140733368634496 12449130 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 328081 59229 835 2943 0 324975 0
[pid=31401/tid=31402] ppid=31398 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 1343819776 59239 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 1343819776 59248 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 1343819776 59257 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.70041 s]
/proc/loadavg: 2.02 2.08 2.04 3/261 31401
/proc/meminfo: memFree=28401952/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=1312324 CPUtime=0.69 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 146111 0 0 0 50 19 0 0 20 0 4 0 105664237 1343819776 147432 33554432000 4194304 16246674 140733368652592 140733368634496 6958849 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 328081 147445 835 2943 0 324975 0
[pid=31401/tid=31402] ppid=31398 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 1343819776 147453 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 1343819776 147461 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 1343819776 147468 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50041 s]
/proc/loadavg: 2.02 2.08 2.04 3/265 31405
/proc/meminfo: memFree=27388996/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=1433156 CPUtime=1.49 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 298610 0 0 0 110 39 0 0 20 0 4 0 105664237 1467551744 299930 33554432000 4194304 16246674 140733368652592 140733368651256 4221016 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 358289 299936 835 2943 0 355183 0
[pid=31401/tid=31402] ppid=31398 vsize=1433156 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 1467551744 299939 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=1433156 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 1467551744 299943 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=1433156 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 1467551744 299947 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1433156

[startup+3.10042 s]
/proc/loadavg: 2.02 2.08 2.04 3/265 31405
/proc/meminfo: memFree=27139248/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=1495620 CPUtime=3.09 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 314521 0 0 0 268 41 0 0 20 0 4 0 105664237 1531514880 315841 33554432000 4194304 16246674 140733368652592 140733368651904 12371280 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 373905 315841 835 2943 0 370799 0
[pid=31401/tid=31402] ppid=31398 vsize=1495620 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 1531514880 315841 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=1495620 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 1531514880 315841 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=1495620 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 1531514880 315841 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1495620

[startup+6.30041 s]
/proc/loadavg: 2.02 2.08 2.04 3/265 31405
/proc/meminfo: memFree=27031144/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=1699396 CPUtime=6.29 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 365336 0 0 0 581 48 0 0 20 0 4 0 105664237 1740181504 366657 33554432000 4194304 16246674 140733368652592 140733368651256 4221016 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 424849 366666 835 2943 0 421743 0
[pid=31401/tid=31402] ppid=31398 vsize=1699396 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 1740181504 366672 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=1699396 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 1740181504 366676 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=1699396 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 1740181504 366681 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1699396

[startup+12.7004 s]
/proc/loadavg: 2.02 2.08 2.04 3/265 31405
/proc/meminfo: memFree=25943644/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=2688580 CPUtime=12.69 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 612762 0 0 0 1188 81 0 0 20 0 4 0 105664237 2753105920 614082 33554432000 4194304 16246674 140733368652592 140733368651768 4206664 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 672145 614082 835 2943 0 669039 0
[pid=31401/tid=31402] ppid=31398 vsize=2688580 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 2753105920 614082 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=2688580 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 2753105920 614082 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=2688580 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 2753105920 614082 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2688580

[startup+25.5005 s]
/proc/loadavg: 2.02 2.07 2.04 3/265 31405
/proc/meminfo: memFree=23760472/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=4995652 CPUtime=25.48 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 1189485 0 0 0 2390 158 0 0 20 0 4 0 105664237 5115547648 1190805 33554432000 4194304 16246674 140733368652592 140733368651256 4221016 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 1248913 1190813 835 2943 0 1245807 0
[pid=31401/tid=31402] ppid=31398 vsize=4995652 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 5115547648 1190819 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=4995652 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 5115547648 1190823 33554432000 4194304 16246674 140733368652592 140349888502800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=4995652 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 5115547648 1190828 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4995652

[startup+51.1005 s]
/proc/loadavg: 2.07 2.08 2.04 3/265 31405
/proc/meminfo: memFree=19547160/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=9073220 CPUtime=51.08 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 2208924 0 0 0 4812 296 0 0 20 0 4 0 105664237 9290977280 2210244 33554432000 4194304 16246674 140733368652592 140733368651688 15015658 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 2268305 2210244 835 2943 0 2265199 0
[pid=31401/tid=31402] ppid=31398 vsize=9073220 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 9290977280 2210244 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=9073220 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 9290977280 2210244 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=9073220 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 9290977280 2210244 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9073220

[startup+102.301 s]
/proc/loadavg: 2.11 2.10 2.05 3/265 31406
/proc/meminfo: memFree=17020516/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=11599428 CPUtime=102.29 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 2840260 0 0 0 9847 382 0 0 20 0 4 0 105664237 11877814272 2841580 33554432000 4194304 16246674 140733368652592 140733368651688 15015658 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 2899857 2841580 840 2943 0 2896751 0
[pid=31401/tid=31402] ppid=31398 vsize=11599428 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 11877814272 2841580 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=11599428 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 11877814272 2841580 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=11599428 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 11877814272 2841580 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 11599428

[startup+162.3 s]
/proc/loadavg: 2.12 2.10 2.06 3/265 31408
/proc/meminfo: memFree=16449228/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=12164676 CPUtime=162.27 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 2936826 0 0 0 15828 399 0 0 20 0 4 0 105664237 12456628224 2983114 33554432000 4194304 16246674 140733368652592 140733368650560 14002984 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 3041169 2983114 840 2943 0 3038063 0
[pid=31401/tid=31402] ppid=31398 vsize=12164676 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 12456628224 2983114 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=12164676 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 12456628224 2983114 33554432000 4194304 16246674 140733368652592 140349888502800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=12164676 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 12456628224 2983114 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 12164676



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+192.1 s]
/proc/loadavg: 2.14 2.11 2.06 3/266 31412
/proc/meminfo: memFree=12993164/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=15911492 CPUtime=192.05 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) R 31398 31401 25889 0 -1 4202496 3873469 0 0 0 18677 528 0 0 20 0 4 0 105664237 16293367808 3919758 33554432000 4194304 16246674 140733368652592 140733368651768 4221016 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 3977873 3919766 840 2943 0 3974767 0
[pid=31401/tid=31402] ppid=31398 vsize=15911492 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31402/stat : 31402 (toysat) S 31398 31401 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105664238 16293367808 3919771 33554432000 4194304 16246674 140733368652592 140349898992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=15911492 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) S 31398 31401 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105664238 16293367808 3919777 33554432000 4194304 16246674 140733368652592 140349888503024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=31401/tid=31404] ppid=31398 vsize=15911492 CPUtime=0 cores=4-7,12-15
/proc/31401/task/31404/stat : 31404 (toysat) S 31398 31401 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105664238 16293367808 3919782 33554432000 4194304 16246674 140733368652592 140349800443056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 192.05
Current children cumulated vsize (KiB) 15911492

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 31401 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+192.4 s]
/proc/loadavg: 2.14 2.11 2.06 3/266 31412
/proc/meminfo: memFree=12993164/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=0 CPUtime=192.36 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) Z 31398 31401 25889 0 -1 4203532 3873969 0 0 0 18678 558 0 0 20 0 2 0 105664237 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 0 0 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=0 CPUtime=0.28 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) R 31398 31401 25889 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 105664238 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 192.36
Current children cumulated vsize (KiB) 0

[startup+192.8 s]
/proc/loadavg: 2.14 2.11 2.06 3/264 31412
/proc/meminfo: memFree=20082032/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=0 CPUtime=192.76 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) Z 31398 31401 25889 0 -1 4203532 3873969 0 0 0 18678 598 0 0 20 0 2 0 105664237 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 0 0 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=0 CPUtime=0.68 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) R 31398 31401 25889 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 105664238 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 192.76
Current children cumulated vsize (KiB) 0

[startup+192.9 s]
/proc/loadavg: 2.14 2.11 2.06 3/264 31412
/proc/meminfo: memFree=20082032/32872528 swapFree=9196/9196
[pid=31401] ppid=31398 vsize=0 CPUtime=192.86 cores=4-7,12-15
/proc/31401/stat : 31401 (toysat) Z 31398 31401 25889 0 -1 4203532 3873969 0 0 0 18678 608 0 0 20 0 2 0 105664237 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31401/statm: 0 0 0 0 0 0 0
[pid=31401/tid=31403] ppid=31398 vsize=0 CPUtime=0.78 cores=4-7,12-15
/proc/31401/task/31403/stat : 31403 (toysat) R 31398 31401 25889 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 105664238 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 192.86
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 192.935
CPU time (s): 192.893
CPU user time (s): 186.782
CPU system time (s): 6.11107
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 15911492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.782
system time used= 6.11107
maximum resident set size= 15681028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3873969
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= 62
involuntary context switches= 197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.825874 second user time and 1.18482 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 20:37:02
IDJOB=4079055
IDBENCH=2446
IDSOLVER=2542
FILE ID=node132/4079055-1465238222
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71732 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-scorpion.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079055-1465238222/watcher-4079055-1465238222 -o /tmp/evaluation-result-4079055-1465238222/solver-4079055-1465238222 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079055-1465238222.opb

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

MD5SUM BENCH= 5969f09e744b158004f0e27c746edfe9
RANDOM SEED=638172571

node132.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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.41
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.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		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        28402372 kB
Buffers:           39248 kB
Cached:            97504 kB
SwapCached:         3224 kB
Active:          3666168 kB
Inactive:          72872 kB
Active(anon):    3601460 kB
Inactive(anon):     3236 kB
Active(file):      64708 kB
Inactive(file):    69636 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094528 kB
Dirty:             16968 kB
Writeback:             0 kB
AnonPages:       3580220 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             573096 kB
SReclaimable:      13544 kB
SUnreclaim:       559552 kB
KernelStack:        2240 kB
PageTables:        11468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3755144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    479232 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= 71716 MiB
End job on node132 at 2016-06-06 20:40:15