Trace number 4103649

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? (exit code) 186.07 186.119

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-bnl1.opb
MD5SUM6c2572528741ab95a20df4da6c9423f7
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 variables35250
Total number of constraints624
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 constraints624
Minimum length of a constraint30
Maximum length of a constraint2280
Number of terms in the objective function 29490
Biggest coefficient in the objective function 12938266856652800
Number of bits for the biggest coefficient in the objective function 54
Sum of the numbers in the objective function 1063579760735919966
Number of bits of the sum of numbers in the objective function 60
Biggest number in a constraint 12938266856652800
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 1063579760735919966
Number of bits of the biggest sum of numbers60
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T10:27:12+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-4103649-1466238432.opb"]
0.00/0.02	c use --random-gen="1128878928 1711653367 3880970994 245773322 842276690 1136809437 3608513963 767337411 163217214 443339860 2691667382 1588234892 3217902403 4227674385 1333563809 2047418857 2765873404 1773024259 3018766844 2563765175 1011065537 889636253 3671042773 42537655 3981085873 1184025832 1409903124 3707709924 2621713863 2771723825 3659622183 895920989 66089112 3559820266 2495941334 1775840359 1289180717 3549663616 381148498 694248267 3720625107 2241056886 154050146 1580222983 2948922138 3384711317 1557325062 580308727 2922573268 24576260 3780117191 2575244132 3605254635 4214015107 605451620 1564512122 191309482 457930486 1071301435 370268336 1689950685 48491686 3222845321 3232084502 3137702303 1542169637 629407435 749763876 2767825926 336196513 4174284361 514308179 3690072437 2124981582 2867824546 3423170412 2772302293 2756446223 703221853 1909323454 810215008 1115600426 4146409041 548303122 552457690 285866138 4098644952 1996846267 290150678 94641848 705907710 105163754 1270764272 823322901 600941231 3039990662 4201478057 3820401329 1758334202 4095651992 2128661645 2906866939 2821975289 967212502 3001565709 3615330186 3403570901 3959256773 3846395677 914822215 3438537168 2331248668 3884547104 1664786866 3872351641 2666278739 531162400 2694569079 1074042236 2769584114 141878105 2435091834 2847178058 1523286059 3612088947 4196777249 3021520896 1027066748 3652862286 589368273 2126830038 2171671193 2132919636 3633691269 3247296918 19915012 77897414 555371738 506132431 569941476 1057316241 988517053 3360391550 3731454001 3370713376 1365897640 1898455132 490925674 2225091666 3678284150 512301697 287511325 2644448801 668380605 991684143 2295962846 2824849926 2232801132 1495197955 3609576507 3395690099 2816293741 3245775710 4029861119 1805207805 3033052161 771104946 23619124 1703276533 1965018905 920177111 818918161 2738881114 3829376155 1775317813 2697992557 1088076620 2626608878 1619957106 3010571242 1553365064 1157332865 1995326422 179675090 3583565403 2468290178 990450549 1808320370 1398098331 663099326 237875419 204133185 2850560852 194726399 1217390790 2399657394 795726925 3950803483 1996152226 4273924749 4094315048 1171706285 2627503945 1467057393 2328703027 901007691 1569244781 2981053607 3924272348 764403252 1794356779 585833040 1423480827 2855836064 1575387645 2418578298 2511468726 1893663422 4056659224 2478246239 4237117362 2654940509 3238257626 2290575320 1023471899 2637173088 2423750365 3155631616 3164642150 672130071 1089272044 2599906106 1689532589 3245589962 429347933 1838773871 4240734994 2000437749 3409117490 4074176167 3823656796 2915576080 1320443169 2290632885 2598060218 2181847452 3451153851 3482556283 2999101612 2109805761 2001516238 3960733620 2516244529 795617582 3099779519 2906807753 255 362436" option to reproduce the execution
0.28/0.39	c #vars 35250
0.28/0.39	c #constraints 624
185.15/185.27	toysat: out of memory (requested 245366784 bytes)

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

pid=15864
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

[startup+0 s]
/proc/loadavg: 2.15 2.08 2.02 3/179 15867
/proc/meminfo: memFree=30218884/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/15867/stat : 15867 (runsolver) R 15864 10353 10353 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 25888812 24911872 78 33554432000 4194304 4338465 140735871217744 140735871215280 206619840955 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/15867/statm: 6082 78 31 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100126 s]
/proc/loadavg: 2.15 2.08 2.02 3/179 15867
/proc/meminfo: memFree=30218884/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=1303108 CPUtime=0.08 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 27064 0 0 0 4 4 0 0 20 0 4 0 25888812 1334382592 27364 33554432000 4194304 16246674 140734031887280 140734031886592 8056990 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15867/statm: 325777 27378 800 2943 0 322671 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200318 s]
/proc/loadavg: 2.15 2.08 2.02 3/179 15867
/proc/meminfo: memFree=30218884/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=1310276 CPUtime=0.18 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 38337 0 0 0 12 6 0 0 20 0 4 0 25888812 1341722624 39147 33554432000 4194304 16246674 140734031887280 140734031886592 7929039 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15867/statm: 327569 39147 802 2943 0 324463 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1310276

[startup+0.300315 s]
/proc/loadavg: 2.15 2.08 2.02 3/179 15867
/proc/meminfo: memFree=30218884/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=1311300 CPUtime=0.28 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 41804 0 0 0 22 6 0 0 20 0 4 0 25888812 1342771200 42614 33554432000 4194304 16246674 140734031887280 140734031886592 8055512 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15867/statm: 327825 42614 802 2943 0 324719 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1311300

[startup+0.700231 s]
/proc/loadavg: 2.15 2.08 2.02 3/179 15867
/proc/meminfo: memFree=30218884/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=1323588 CPUtime=0.69 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 99985 0 0 0 53 16 0 0 20 0 4 0 25888812 1355354112 100795 33554432000 4194304 16246674 140734031887280 140734031869184 12371341 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15867/statm: 330897 100805 833 2943 0 327791 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1323588

[startup+1.50036 s]
/proc/loadavg: 2.15 2.08 2.02 4/183 15871
/proc/meminfo: memFree=29257432/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=1323588 CPUtime=1.49 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 271514 0 0 0 110 39 0 0 20 0 4 0 25888812 1355354112 272324 33554432000 4194304 16246674 140734031887280 140734031869184 12655183 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15867/statm: 330897 272324 834 2943 0 327791 0
[pid=15867/tid=15869] ppid=15864 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 1355354112 272324 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 1355354112 272324 33554432000 4194304 16246674 140734031887280 140483814726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 1355354112 272324 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1323588

[startup+3.10034 s]
/proc/loadavg: 2.15 2.08 2.02 4/183 15871
/proc/meminfo: memFree=29060528/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=1466948 CPUtime=3.08 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 307356 0 0 0 263 45 0 0 20 0 4 0 25888812 1502154752 308166 33554432000 4194304 16246674 140734031887280 140734031869184 4206600 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15867/statm: 366737 308166 835 2943 0 363631 0
[pid=15867/tid=15869] ppid=15864 vsize=1466948 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 1502154752 308166 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=1466948 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 1502154752 308166 33554432000 4194304 16246674 140734031887280 140483814726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=1466948 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 1502154752 308166 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1466948

[startup+6.30034 s]
/proc/loadavg: 2.14 2.08 2.02 3/183 15871
/proc/meminfo: memFree=28970764/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=1485380 CPUtime=6.28 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 311964 0 0 0 582 46 0 0 20 0 4 0 25888812 1521029120 312774 33554432000 4194304 16246674 140734031887280 140734031869184 4220912 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15867/statm: 371345 312774 835 2943 0 368239 0
[pid=15867/tid=15869] ppid=15864 vsize=1485380 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 1521029120 312774 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=1485380 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 1521029120 312774 33554432000 4194304 16246674 140734031887280 140483814726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=1485380 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 1521029120 312774 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1485380

[startup+12.7004 s]
/proc/loadavg: 2.13 2.07 2.02 3/183 15871
/proc/meminfo: memFree=28971220/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=1485380 CPUtime=12.68 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 311965 0 0 0 1222 46 0 0 20 0 4 0 25888812 1521029120 312775 33554432000 4194304 16246674 140734031887280 140734031869184 12654409 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 371345 312775 835 2943 0 368239 0
[pid=15867/tid=15869] ppid=15864 vsize=1485380 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 1521029120 312775 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=1485380 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 1521029120 312775 33554432000 4194304 16246674 140734031887280 140483814726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=1485380 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 1521029120 312775 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1485380

[startup+25.5074 s]
/proc/loadavg: 2.10 2.07 2.02 3/183 15871
/proc/meminfo: memFree=28970616/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=1485380 CPUtime=25.48 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 311965 0 0 0 2502 46 0 0 20 0 4 0 25888812 1521029120 312775 33554432000 4194304 16246674 140734031887280 140734031885120 12429241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 371345 312775 835 2943 0 368239 0
[pid=15867/tid=15869] ppid=15864 vsize=1485380 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 1521029120 312775 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=1485380 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 1521029120 312775 33554432000 4194304 16246674 140734031887280 140483814726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=1485380 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 1521029120 312775 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1485380

[startup+51.1004 s]
/proc/loadavg: 2.14 2.08 2.02 3/183 15871
/proc/meminfo: memFree=27098880/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=3589700 CPUtime=51.07 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 837840 0 0 0 4991 116 0 0 20 0 4 0 25888812 3675852800 838650 33554432000 4194304 16246674 140734031887280 140734031885120 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 897425 838657 836 2943 0 894319 0
[pid=15867/tid=15869] ppid=15864 vsize=3589700 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 3675852800 838663 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=3589700 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 3675852800 838668 33554432000 4194304 16246674 140734031887280 140483814726672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=3589700 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 3675852800 838673 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3589700

[startup+102.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 15872
/proc/meminfo: memFree=18576564/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=12564036 CPUtime=102.26 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 3081485 0 0 0 9817 409 0 0 20 0 4 0 25888812 12865572864 3082295 33554432000 4194304 16246674 140734031887280 140734031885944 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 3141009 3082303 836 2943 0 3137903 0
[pid=15867/tid=15869] ppid=15864 vsize=12564036 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 12865572864 3082309 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=12564036 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 12865572864 3082314 33554432000 4194304 16246674 140734031887280 140483814726672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=12564036 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 12865572864 3082320 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12564036

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/183 15874
/proc/meminfo: memFree=16704428/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=13726276 CPUtime=162.26 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 3372200 0 0 0 15774 452 0 0 20 0 4 0 25888812 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140734031885120 14003176 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 3431569 3373010 841 2943 0 3428463 0
[pid=15867/tid=15869] ppid=15864 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140483814726672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13726276

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

[startup+166.5 s]
/proc/loadavg: 2.02 2.05 2.01 3/183 15874
/proc/meminfo: memFree=16704552/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=13726276 CPUtime=166.46 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 3372200 0 0 0 16194 452 0 0 20 0 4 0 25888812 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140734031885248 14013533 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 3431569 3373010 841 2943 0 3428463 0
[pid=15867/tid=15869] ppid=15864 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140483814726672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 166.46
Current children cumulated vsize (KiB) 13726276

[startup+179.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/184 15877
/proc/meminfo: memFree=16699828/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=13726276 CPUtime=179.25 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 3372200 0 0 0 17472 453 0 0 20 0 4 0 25888812 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140734031886376 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 3431569 3373010 841 2943 0 3428463 0
[pid=15867/tid=15869] ppid=15864 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140483814726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 14055706624 3373010 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 179.25
Current children cumulated vsize (KiB) 13726276

[startup+182.5 s]
/proc/loadavg: 2.01 2.05 2.01 4/184 15878
/proc/meminfo: memFree=16699140/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=14201412 CPUtime=182.45 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 3490769 0 0 0 17774 471 0 0 20 0 4 0 25888812 14542245888 3491579 33554432000 4194304 16246674 140734031887280 140734031886456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 3550353 3491579 841 2943 0 3547247 0
[pid=15867/tid=15869] ppid=15864 vsize=14201412 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 14542245888 3491579 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=14201412 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 14542245888 3491579 33554432000 4194304 16246674 140734031887280 140483814726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=14201412 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 14542245888 3491580 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 182.45
Current children cumulated vsize (KiB) 14201412

[startup+184.1 s]
/proc/loadavg: 2.01 2.05 2.00 3/184 15878
/proc/meminfo: memFree=15444384/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=15158852 CPUtime=184.05 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 3730095 0 0 0 17898 507 0 0 20 0 4 0 25888812 15522664448 3730905 33554432000 4194304 16246674 140734031887280 140734031886376 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 3789713 3730915 841 2943 0 3786607 0
[pid=15867/tid=15869] ppid=15864 vsize=15158852 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 15522664448 3730921 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=15158852 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 15522664448 3730928 33554432000 4194304 16246674 140734031887280 140483814726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=15158852 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 15522664448 3730935 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 184.05
Current children cumulated vsize (KiB) 15158852

[startup+184.9 s]
/proc/loadavg: 2.01 2.05 2.00 3/184 15878
/proc/meminfo: memFree=14785448/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=15640132 CPUtime=184.86 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) R 15864 15867 10353 0 -1 4202496 3850658 0 0 0 17962 524 0 0 20 0 4 0 25888812 16015495168 3851468 33554432000 4194304 16246674 140734031887280 140734031886456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 3910033 3851468 841 2943 0 3906927 0
[pid=15867/tid=15869] ppid=15864 vsize=15641156 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) S 15864 15867 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25888813 16016543744 3851493 33554432000 4194304 16246674 140734031887280 140483825216752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15867/tid=15870] ppid=15864 vsize=15641156 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15870/stat : 15870 (toysat) S 15864 15867 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25888813 16016543744 3851500 33554432000 4194304 16246674 140734031887280 140483814726896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15867/tid=15871] ppid=15864 vsize=15641156 CPUtime=0 cores=0,2,4,6
/proc/15867/task/15871/stat : 15871 (toysat) S 15864 15867 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25888813 16016543744 3851507 33554432000 4194304 16246674 140734031887280 140483804253360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 184.86
Current children cumulated vsize (KiB) 15640132

[startup+185.7 s]
/proc/loadavg: 2.01 2.05 2.00 3/184 15878
/proc/meminfo: memFree=14785448/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=0 CPUtime=185.65 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) Z 15864 15867 10353 0 -1 4202508 3894037 0 0 0 17994 571 0 0 20 0 2 0 25888812 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 0 0 0 0 0 0 0
[pid=15867/tid=15869] ppid=15864 vsize=0 CPUtime=0.41 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) R 15864 15867 10353 0 -1 4203588 9 0 0 0 0 41 0 0 20 0 2 0 25888813 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) 185.65
Current children cumulated vsize (KiB) 0

[startup+186.107 s]
/proc/loadavg: 2.01 2.05 2.00 3/182 15878
/proc/meminfo: memFree=28068596/32872528 swapFree=534252/566956
[pid=15867] ppid=15864 vsize=0 CPUtime=186.06 cores=0,2,4,6
/proc/15867/stat : 15867 (toysat) Z 15864 15867 10353 0 -1 4202508 3894037 0 0 0 17994 612 0 0 20 0 2 0 25888812 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15867/statm: 0 0 0 0 0 0 0
[pid=15867/tid=15869] ppid=15864 vsize=0 CPUtime=0.81 cores=0,2,4,6
/proc/15867/task/15869/stat : 15869 (toysat) R 15864 15867 10353 0 -1 4203588 9 0 0 0 0 81 0 0 20 0 2 0 25888813 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) 186.06
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 186.119
CPU time (s): 186.07
CPU user time (s): 179.948
CPU system time (s): 6.12207
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 15814212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.948
system time used= 6.12207
maximum resident set size= 15579388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3894037
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= 104
involuntary context switches= 280

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.629904 second user time and 0.840872 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 10:27:12
IDJOB=4103649
IDBENCH=2421
IDSOLVER=2542
FILE ID=node138/4103649-1466238432
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71712 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-bnl1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103649-1466238432/watcher-4103649-1466238432 -o /tmp/evaluation-result-4103649-1466238432/solver-4103649-1466238432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103649-1466238432.opb

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

MD5SUM BENCH= 6c2572528741ab95a20df4da6c9423f7
RANDOM SEED=518250612

node138.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.395
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	: 5332.79
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.395
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.395
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.395
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.55
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.395
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.395
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.395
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.54
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.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30219792 kB
Buffers:          115588 kB
Cached:           140672 kB
SwapCached:         1060 kB
Active:          1186548 kB
Inactive:         155580 kB
Active(anon):    1084524 kB
Inactive(anon):     3328 kB
Active(file):     102024 kB
Inactive(file):   152252 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             19040 kB
Writeback:             0 kB
AnonPages:       1652148 kB
Mapped:            10700 kB
Shmem:                 0 kB
Slab:             604660 kB
SReclaimable:      48232 kB
SUnreclaim:       556428 kB
KernelStack:        1504 kB
PageTables:         7568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1796144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71696 MiB
End job on node138 at 2016-06-18 10:30:18