Trace number 4078800

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 0.376942 0.378295

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6027_9-unsat.opb
MD5SUMa479a0d2c57de8410ff1885a8f8333ed
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.054991
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9272
Total number of constraints30405
Number of constraints which are clauses30105
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint50
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 320
Number of bits of the biggest sum of numbers9
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-07T06:25:24+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078800-1465273524.opb"]
0.00/0.01	c use --random-gen="1970736395 675569316 1947685263 1955131664 3503031532 2067860012 2012083425 1682056348 812157090 619801772 3367409728 2982672917 3264177868 4033574319 2520249424 4273096199 2477525897 3443030941 1651408164 2941286737 24435556 2947596282 2680708101 3135469687 4277035762 1284004655 3895063797 2762108145 2313052541 2868548041 608375728 905797726 1577426356 3310525353 1044149978 1424923222 3729855869 671406615 2524345043 3101302394 2215885362 1616708377 341580943 2491062323 3146107360 900894300 542130673 2120887910 1666849789 3879531363 1439755949 1210376424 3998909088 1491722540 750893833 2500535316 4014850607 1089472336 1343130598 1622363069 3128002336 1694733392 870453992 1042945630 1441726094 743872752 1016636904 2751604781 1180081041 2298317764 3630345670 657052899 687415306 1811043934 1381243513 2572750638 210264187 3720542667 4032152618 2028716258 1777061944 3116814910 1432810772 953261804 606107887 23982230 3367943188 2201597589 4092340579 2798547601 3837633106 1343133570 70926861 3738736539 3793727936 1968737578 3265855339 4093048042 231511594 1891160043 1522154810 1866454215 1028935333 3810690648 2859164583 1993696415 2069509403 418785240 3351124619 2626369397 1309013523 1721066987 2487157501 2829332387 1868133672 1051193512 2071871214 2286778502 2470928433 1578690243 295188681 2692152889 3665613668 4193956124 3900952341 1518433580 3461978230 2957223950 1670410379 3447209773 3282856827 1092617055 1563647588 784377213 2610387107 1402987777 1170273824 484360149 3991509682 3611973979 1787739686 2410998480 759065385 2696832676 732325723 3795776119 2435097611 3226561516 2875215690 2947177272 1494060945 1384848365 2882523210 171594084 3586036915 1526957986 2751606037 2147925497 3947295271 1093780131 2061562045 1149016071 3004217348 4227560368 3668419874 1302082290 3350981868 4001589088 2093252076 3404465893 661484250 3415452527 1582148117 3197561330 445121936 3683680737 2326539953 651657981 290453588 2087538018 3447303704 3691115475 3008102017 4087110860 3025144174 3719853472 3894206652 1395854024 4288071571 790545022 3554403920 1051082604 1529245248 1874768850 1744340752 4187754867 2998374895 2378030831 264138783 3844795363 990232792 3938572991 2137058892 1782788016 2396474963 2619873188 4248537533 2243509992 866932088 352886378 3110502213 3479121057 3708132733 1141664708 1778693264 3539710466 1345693667 2250784341 2523645175 365359532 2722658221 2231259417 3555314320 3399924552 2766110590 3824555822 3382110435 3845497131 1031439948 2600375408 622114554 4266237978 4035052764 2880239473 3368366165 1638914956 3762548304 2120924458 1241113008 1033330146 2852848388 2604337226 2797909995 2480685373 2041762905 1409951783 1325212523 798784352 840331352 1783534772 1115568554 1060876339 3989777507 1834761586 3939361348 63870846 255 362436" option to reproduce the execution
0.19/0.21	c #vars 9272
0.19/0.21	c #constraints 30405
0.29/0.36	c Solving starts ...
0.29/0.36	s UNSATISFIABLE
0.29/0.36	c total CPU time = 0.360s
0.29/0.36	c total wall clock time = 0.362s

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.22 2.18 4/179 5319
/proc/meminfo: memFree=28830580/32872528 swapFree=17892/1720544
[pid=5319] ppid=5316 vsize=612796 CPUtime=0 cores=0,2,4,6
/proc/5319/stat : 5319 (toysat) R 5316 5319 3556 0 -1 4202496 2266 0 0 0 0 0 0 0 20 0 4 0 109285548 627503104 2116 33554432000 4194304 16246674 140734253255984 140734253255408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 153711 2127 441 2943 0 150605 0
[pid=5319/tid=5320] ppid=5316 vsize=628156 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5320/stat : 5320 (toysat) S 5316 5319 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109285549 643231744 2179 33554432000 4194304 16246674 140734253255984 140705591700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5319/tid=5321] ppid=5316 vsize=633276 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5321/stat : 5321 (toysat) S 5316 5319 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285549 648474624 2196 33554432000 4194304 16246674 140734253255984 140705581210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5319/tid=5322] ppid=5316 vsize=637372 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5322/stat : 5322 (toysat) S 5316 5319 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109285549 652668928 2212 33554432000 4194304 16246674 140734253255984 140705570737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.15 2.22 2.18 4/179 5319
/proc/meminfo: memFree=28830580/32872528 swapFree=17892/1720544
[pid=5319] ppid=5316 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/5319/stat : 5319 (toysat) R 5316 5319 3556 0 -1 4202496 25826 0 0 0 5 4 0 0 20 0 4 0 109285548 1332285440 25615 33554432000 4194304 16246674 140734253255984 140734253255296 7440033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 325265 25629 800 2943 0 322159 0
[pid=5319/tid=5320] ppid=5316 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5320/stat : 5320 (toysat) S 5316 5319 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109285549 1332285440 25640 33554432000 4194304 16246674 140734253255984 140705591700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5319/tid=5321] ppid=5316 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5321/stat : 5321 (toysat) S 5316 5319 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285549 1332285440 25651 33554432000 4194304 16246674 140734253255984 140705581210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5319/tid=5322] ppid=5316 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5322/stat : 5322 (toysat) S 5316 5319 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285549 1332285440 25662 33554432000 4194304 16246674 140734253255984 140705570737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200508 s]
/proc/loadavg: 2.15 2.22 2.18 4/179 5319
/proc/meminfo: memFree=28830580/32872528 swapFree=17892/1720544
[pid=5319] ppid=5316 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/5319/stat : 5319 (toysat) R 5316 5319 3556 0 -1 4202496 47475 0 0 0 12 7 0 0 20 0 4 0 109285548 1344868352 47774 33554432000 4194304 16246674 140734253255984 140734253255296 7852795 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 328337 47774 801 2943 0 325231 0
[pid=5319/tid=5320] ppid=5316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5320/stat : 5320 (toysat) S 5316 5319 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109285549 1344868352 47774 33554432000 4194304 16246674 140734253255984 140705591700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5319/tid=5321] ppid=5316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5321/stat : 5321 (toysat) S 5316 5319 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285549 1344868352 47774 33554432000 4194304 16246674 140734253255984 140705581210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5319/tid=5322] ppid=5316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5322/stat : 5322 (toysat) S 5316 5319 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285549 1344868352 47774 33554432000 4194304 16246674 140734253255984 140705570737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300492 s]
/proc/loadavg: 2.15 2.22 2.18 4/179 5319
/proc/meminfo: memFree=28830580/32872528 swapFree=17892/1720544
[pid=5319] ppid=5316 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/5319/stat : 5319 (toysat) R 5316 5319 3556 0 -1 4202496 50889 0 0 0 21 8 0 0 20 0 4 0 109285548 1344868352 51188 33554432000 4194304 16246674 140734253255984 140734253238976 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 328337 51195 837 2943 0 325231 0
[pid=5319/tid=5320] ppid=5316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5320/stat : 5320 (toysat) S 5316 5319 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109285549 1344868352 51199 33554432000 4194304 16246674 140734253255984 140705591700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5319/tid=5321] ppid=5316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5321/stat : 5321 (toysat) S 5316 5319 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285549 1344868352 51204 33554432000 4194304 16246674 140734253255984 140705581210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5319/tid=5322] ppid=5316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5322/stat : 5322 (toysat) S 5316 5319 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285549 1344868352 51209 33554432000 4194304 16246674 140734253255984 140705570737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

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

[startup+0.300492 s]
/proc/loadavg: 2.15 2.22 2.18 4/179 5319
/proc/meminfo: memFree=28830580/32872528 swapFree=17892/1720544
[pid=5319] ppid=5316 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/5319/stat : 5319 (toysat) R 5316 5319 3556 0 -1 4202496 50889 0 0 0 21 8 0 0 20 0 4 0 109285548 1344868352 51188 33554432000 4194304 16246674 140734253255984 140734253238976 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5319/statm: 328337 51195 837 2943 0 325231 0
[pid=5319/tid=5320] ppid=5316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5320/stat : 5320 (toysat) S 5316 5319 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109285549 1344868352 51199 33554432000 4194304 16246674 140734253255984 140705591700720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5319/tid=5321] ppid=5316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5321/stat : 5321 (toysat) S 5316 5319 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285549 1344868352 51204 33554432000 4194304 16246674 140734253255984 140705581210864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5319/tid=5322] ppid=5316 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5319/task/5322/stat : 5322 (toysat) S 5316 5319 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285549 1344868352 51209 33554432000 4194304 16246674 140734253255984 140705570737328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 0.378295
CPU time (s): 0.376942
CPU user time (s): 0.281957
CPU system time (s): 0.094985
CPU usage (%): 99.6424
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.281957
system time used= 0.094985
maximum resident set size= 210692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52374
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= 21
involuntary context switches= 3

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.004999 second user time and 0.005999 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 06:25:24
IDJOB=4078800
IDBENCH=76174
IDSOLVER=2542
FILE ID=node117/4078800-1465273524
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6027_9-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078800-1465273524/watcher-4078800-1465273524 -o /tmp/evaluation-result-4078800-1465273524/solver-4078800-1465273524 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078800-1465273524.opb

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

MD5SUM BENCH= a479a0d2c57de8410ff1885a8f8333ed
RANDOM SEED=489209754

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.54
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.088
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		: 2667.088
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.53
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.088
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28830488 kB
Buffers:           82988 kB
Cached:           109084 kB
SwapCached:        55388 kB
Active:          1418044 kB
Inactive:         165696 kB
Active(anon):    1339312 kB
Inactive(anon):    54760 kB
Active(file):      78732 kB
Inactive(file):   110936 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             17360 kB
Writeback:             0 kB
AnonPages:       3059580 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             599456 kB
SReclaimable:      42936 kB
SUnreclaim:       556520 kB
KernelStack:        1472 kB
PageTables:        10468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3201436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2127872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node117 at 2016-06-07 06:25:24