Trace number 4103613

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) 172.737 176.695

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-stair.opb
MD5SUM93ec90d2ad0b276483c19ced945be9c0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark13.361
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables11454
Total number of constraints362
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 constraints362
Minimum length of a constraint13
Maximum length of a constraint810
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 528959045369856
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 3702118998041541
Number of bits of the biggest sum of numbers52
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:21:35+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-4103613-1466238095.opb"]
0.00/0.01	c use --random-gen="3135801801 2837760357 3718737955 1122178607 1592728935 1474269767 3886858488 224470693 631427283 415533819 3159355012 648892622 2047863360 3018225133 918212535 3722854976 11257930 743549665 861504402 1681522358 371608106 1888882966 2691216211 2777446608 3072537152 2878002423 3424152586 2844430035 1372559440 3938793710 3496764683 2502133671 3394589386 764375383 2513771442 622214559 3456632347 1915054874 3504004792 720044861 2358414638 583497300 4177970498 639562104 1167955940 2913704343 351919087 4281257102 1013813701 2995417478 2898028063 3486333623 832435785 2479501104 3633076338 2167952444 1126375297 3221174791 3906310688 1479833897 422456818 911336106 4189407317 2362919199 1741984211 3625430033 2352177402 2205999752 2879799128 381757025 1879071490 1633750079 3981191835 1406799911 1543070791 2684860321 1712667770 918079601 4158220999 1955861103 2925401100 3777953958 451514159 1043128253 2106791899 4174195635 2718371902 3472855269 1293863163 2490208031 1517101141 2244868522 1326147885 2480699928 4093721425 682894581 321219274 196359019 2830070259 927947860 3372895531 1095101403 1078168356 3570504268 3215979408 2232796584 2848403347 3973007320 1356175904 123415239 128317330 620179014 914568920 4165812139 1582804328 1963513206 4172105282 236173076 3620769810 2790625739 4105719032 3015439419 1626223408 546999506 2524094809 3598187129 2923398831 1750015977 265421370 2282880964 4235818132 2543459732 2389167025 255965385 3124491268 1226479962 95857982 1713900889 1674959619 1983250602 1607322944 2803103638 2149782731 1970293820 4182569738 3917592116 2932243338 1548201137 1937907039 1950348949 355703938 139901045 811332752 3907163785 2228562854 1727357598 2888766791 2591301422 2658396506 3230390992 815849464 3773515768 85378222 2479547351 3669280220 2125130506 2881369711 2985008974 330229602 2257217827 3305181938 2589862235 724807774 25534450 3722966043 315330010 638456599 3680199862 2237520593 676289477 575307596 1894555915 2183765868 3923563471 3200218072 1025510097 1037892894 2934503713 3933541807 3323491491 3305224277 2200930969 4016136900 2985559712 1722314375 4274630389 825089770 967436948 2730809197 1090326734 498720520 3132950293 746344064 1831517497 1219341573 3588391940 3656450564 2805467467 2150468282 3327805236 12628886 1351214276 890797396 3967375931 838986191 1613010646 2814853656 1888473009 3567482459 2077547616 1289381377 594388538 1336163967 3997430558 1358308583 1016626879 2852063597 1516705225 3863582315 1817477537 3005399511 392261865 4234796988 2502753944 789818212 201196743 293590369 3612112143 362871941 536361391 2683486240 190109886 3688461096 2526520861 2648997402 1672951765 3608094777 4280615826 701471705 2838395329 103182144 2274889654 2485696420 1634283393 4228346076 2361914559 255 362436" option to reproduce the execution
0.09/0.19	c #vars 11454
0.09/0.19	c #constraints 362

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.20 2.18 3/179 17703
/proc/meminfo: memFree=16655540/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 2626 0 0 0 0 0 0 0 20 0 4 0 25856267 721874944 3498 33554432000 4194304 16246674 140735822245936 140735822245360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 177007 3507 441 2943 0 173901 0
[pid=17703/tid=17704] ppid=17700 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 739700736 3566 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 743895040 3582 33554432000 4194304 16246674 140735822245936 139829492817136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 749137920 3600 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100158 s]
/proc/loadavg: 2.12 2.20 2.18 3/179 17703
/proc/meminfo: memFree=16655540/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 30365 0 0 0 5 4 0 0 20 0 4 0 25856267 1334382592 31174 33554432000 4194304 16246674 140735822245936 140735822245248 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 325777 31189 800 2943 0 322671 0
[pid=17703/tid=17704] ppid=17700 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 1334382592 31199 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 1334382592 31211 33554432000 4194304 16246674 140735822245936 139829492817136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 1334382592 31221 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200527 s]
/proc/loadavg: 2.12 2.20 2.18 3/179 17703
/proc/meminfo: memFree=16655540/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 40537 0 0 0 13 6 0 0 20 0 4 0 25856267 1342771200 41857 33554432000 4194304 16246674 140735822245936 140735822245248 12426240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 327825 41857 832 2943 0 324719 0
[pid=17703/tid=17704] ppid=17700 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 1342771200 41857 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 1342771200 41857 33554432000 4194304 16246674 140735822245936 139829492817136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 1342771200 41857 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300491 s]
/proc/loadavg: 2.12 2.20 2.18 3/179 17703
/proc/meminfo: memFree=16655540/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 51388 0 0 0 22 7 0 0 20 0 4 0 25856267 1342771200 52708 33554432000 4194304 16246674 140735822245936 140735822245248 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 327825 52724 832 2943 0 324719 0
[pid=17703/tid=17704] ppid=17700 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 1342771200 52733 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 1342771200 52743 33554432000 4194304 16246674 140735822245936 139829492817136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 1342771200 52752 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700363 s]
/proc/loadavg: 2.12 2.20 2.18 3/179 17703
/proc/meminfo: memFree=16655540/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=1311300 CPUtime=0.69 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 153437 0 0 0 50 19 0 0 20 0 4 0 25856267 1342771200 154757 33554432000 4194304 16246674 140735822245936 140735822245248 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 327825 154764 832 2943 0 324719 0
[pid=17703/tid=17704] ppid=17700 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 1342771200 154767 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 1342771200 154772 33554432000 4194304 16246674 140735822245936 139829492817136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 1342771200 154775 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.50041 s]
/proc/loadavg: 2.12 2.20 2.18 3/183 17707
/proc/meminfo: memFree=15606044/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=1485380 CPUtime=1.49 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 311800 0 0 0 111 38 0 0 20 0 4 0 25856267 1521029120 313120 33554432000 4194304 16246674 140735822245936 140735822227840 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 371345 313125 833 2943 0 368239 0
[pid=17703/tid=17704] ppid=17700 vsize=1485380 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 1521029120 313128 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=1485380 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 1521029120 313131 33554432000 4194304 16246674 140735822245936 139829492816912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=1485380 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 1521029120 313134 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1485380

[startup+3.10041 s]
/proc/loadavg: 2.12 2.20 2.18 4/183 17707
/proc/meminfo: memFree=15392528/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=1495620 CPUtime=3.09 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 314522 0 0 0 270 39 0 0 20 0 4 0 25856267 1531514880 315842 33554432000 4194304 16246674 140735822245936 140735822227840 4220495 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 373905 315842 833 2943 0 370799 0
[pid=17703/tid=17704] ppid=17700 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 1531514880 315842 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 1531514880 315842 33554432000 4194304 16246674 140735822245936 139829492817136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 1531514880 315842 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1495620

[startup+6.30043 s]
/proc/loadavg: 2.27 2.23 2.19 4/183 17707
/proc/meminfo: memFree=15290596/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=1598020 CPUtime=6.29 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 340122 0 0 0 587 42 0 0 20 0 4 0 25856267 1636372480 341442 33554432000 4194304 16246674 140735822245936 140735822245032 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 399505 341442 833 2943 0 396399 0
[pid=17703/tid=17704] ppid=17700 vsize=1598020 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 1636372480 341442 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=1598020 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 1636372480 341442 33554432000 4194304 16246674 140735822245936 139829492817136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=1598020 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 1636372480 341442 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1598020

[startup+12.7004 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 17707
/proc/meminfo: memFree=14338016/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=2908740 CPUtime=12.69 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 667678 0 0 0 1184 85 0 0 20 0 4 0 25856267 2978549760 668998 33554432000 4194304 16246674 140735822245936 140735822243840 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 727185 669008 834 2943 0 724079 0
[pid=17703/tid=17704] ppid=17700 vsize=2908740 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 2978549760 669014 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=2908740 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 2978549760 669019 33554432000 4194304 16246674 140735822245936 139829492816912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=2908740 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 2978549760 669024 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2908740

[startup+25.5005 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 17707
/proc/meminfo: memFree=12198116/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=4686404 CPUtime=25.48 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 1112220 0 0 0 2405 143 0 0 20 0 4 0 25856267 4798877696 1113540 33554432000 4194304 16246674 140735822245936 140735822243776 4225311 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 1171601 1113540 834 2943 0 1168495 0
[pid=17703/tid=17704] ppid=17700 vsize=4686404 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 4798877696 1113540 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=4686404 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 4798877696 1113540 33554432000 4194304 16246674 140735822245936 139829492816912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=4686404 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 4798877696 1113540 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4686404

[startup+51.1005 s]
/proc/loadavg: 2.20 2.21 2.18 4/183 17707
/proc/meminfo: memFree=8263832/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=8613444 CPUtime=51.08 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 2093982 0 0 0 4836 272 0 0 20 0 4 0 25856267 8820166656 2095302 33554432000 4194304 16246674 140735822245936 140735822243840 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 2153361 2095302 834 2943 0 2150255 0
[pid=17703/tid=17704] ppid=17700 vsize=8613444 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 8820166656 2095302 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=8613444 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 8820166656 2095302 33554432000 4194304 16246674 140735822245936 139829492816912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=8613444 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 8820166656 2095302 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8613444

[startup+102.301 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 17709
/proc/meminfo: memFree=2791116/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=14075460 CPUtime=102.27 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 3459492 0 0 0 9771 456 0 0 20 0 4 0 25856267 14413271040 3460812 33554432000 4194304 16246674 140735822245936 140735822243904 14013822 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 3518865 3460812 839 2943 0 3515759 0
[pid=17703/tid=17704] ppid=17700 vsize=14075460 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 14413271040 3460812 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=14075460 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 14413271040 3460812 33554432000 4194304 16246674 140735822245936 139829492816912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=14075460 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 14413271040 3460812 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14075460

[startup+162.3 s]
/proc/loadavg: 2.13 2.18 2.18 3/183 17710
/proc/meminfo: memFree=2790836/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=14075460 CPUtime=162.26 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 3459492 0 0 0 15766 460 0 0 20 0 4 0 25856267 14413271040 3460812 33554432000 4194304 16246674 140735822245936 140735822245112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17703/statm: 3518865 3460812 839 2943 0 3515759 0
[pid=17703/tid=17704] ppid=17700 vsize=14075460 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 14413271040 3460812 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=14075460 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 14413271040 3460812 33554432000 4194304 16246674 140735822245936 139829492817136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=14075460 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 14413271040 3460812 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14075460



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+175.808 s]
/proc/loadavg: 2.26 2.21 2.18 2/183 17710
/proc/meminfo: memFree=179720/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=15884868 CPUtime=171.85 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) R 17700 17703 12983 0 -1 4202496 3911672 0 0 0 16631 554 0 0 20 0 4 0 25856267 16266104832 3901929 33554432000 4194304 16246674 140735822245936 140735822244600 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 390 0 0
/proc/17703/statm: 3971217 3901936 839 2943 0 3968111 0
[pid=17703/tid=17704] ppid=17700 vsize=15884868 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) S 17700 17703 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25856267 16266104832 3901941 33554432000 4194304 16246674 140735822245936 139829503306992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17703/tid=17705] ppid=17700 vsize=15884868 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17705/stat : 17705 (toysat) S 17700 17703 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25856267 16266104832 3901946 33554432000 4194304 16246674 140735822245936 139829492817136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17703/tid=17706] ppid=17700 vsize=15884868 CPUtime=0 cores=1,3,5,7
/proc/17703/task/17706/stat : 17706 (toysat) S 17700 17703 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25856267 16266104832 3901950 33554432000 4194304 16246674 140735822245936 139829371202736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 171.85
Current children cumulated vsize (KiB) 15884868

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

[startup+176 s]
/proc/loadavg: 2.26 2.21 2.18 2/183 17710
/proc/meminfo: memFree=179720/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=0 CPUtime=172.04 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) Z 17700 17703 12983 0 -1 4203532 3914652 0 0 0 16633 571 0 0 20 0 2 0 25856267 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 390 0 0
/proc/17703/statm: 0 0 0 0 0 0 0
[pid=17703/tid=17704] ppid=17700 vsize=0 CPUtime=0.14 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) R 17700 17703 12983 0 -1 4203588 9 0 0 0 0 14 0 0 20 0 2 0 25856267 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 172.04
Current children cumulated vsize (KiB) 0

[startup+176.4 s]
/proc/loadavg: 2.26 2.21 2.18 2/183 17710
/proc/meminfo: memFree=179720/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=0 CPUtime=172.44 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) Z 17700 17703 12983 0 -1 4203532 3914652 0 0 0 16633 611 0 0 20 0 2 0 25856267 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 390 0 0
/proc/17703/statm: 0 0 0 0 0 0 0
[pid=17703/tid=17704] ppid=17700 vsize=0 CPUtime=0.54 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) R 17700 17703 12983 0 -1 4203588 9 0 0 0 0 54 0 0 20 0 2 0 25856267 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 172.44
Current children cumulated vsize (KiB) 0

[startup+176.6 s]
/proc/loadavg: 2.26 2.21 2.18 2/183 17710
/proc/meminfo: memFree=179720/32872528 swapFree=1286400/1433568
[pid=17703] ppid=17700 vsize=0 CPUtime=172.64 cores=1,3,5,7
/proc/17703/stat : 17703 (toysat) Z 17700 17703 12983 0 -1 4203532 3914652 0 0 0 16633 631 0 0 20 0 2 0 25856267 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 390 0 0
/proc/17703/statm: 0 0 0 0 0 0 0
[pid=17703/tid=17704] ppid=17700 vsize=0 CPUtime=0.74 cores=1,3,5,7
/proc/17703/task/17704/stat : 17704 (toysat) R 17700 17703 12983 0 -1 4203588 9 0 0 0 0 74 0 0 20 0 2 0 25856267 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 176.695
CPU time (s): 172.737
CPU user time (s): 166.338
CPU system time (s): 6.39903
CPU usage (%): 97.7601
Max. virtual memory (cumulated for all children) (KiB): 15884868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 166.338
system time used= 6.39903
maximum resident set size= 15619632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3914652
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= 194
involuntary context switches= 190

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.612906 second user time and 0.986849 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 10:21:35
IDJOB=4103613
IDBENCH=2409
IDSOLVER=2542
FILE ID=node130/4103613-1466238095
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
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-stair.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103613-1466238095/watcher-4103613-1466238095 -o /tmp/evaluation-result-4103613-1466238095/solver-4103613-1466238095 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103613-1466238095.opb

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

MD5SUM BENCH= 93ec90d2ad0b276483c19ced945be9c0
RANDOM SEED=1022883885

node130.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.365
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.73
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.365
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.365
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.365
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.365
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.365
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.53
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.365
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.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		: 2666.365
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:        16656076 kB
Buffers:           11288 kB
Cached:            64152 kB
SwapCached:        41712 kB
Active:         13961960 kB
Inactive:          57840 kB
Active(anon):   13904840 kB
Inactive(anon):    41620 kB
Active(file):      57120 kB
Inactive(file):    16220 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67057272 kB
Dirty:             17496 kB
Writeback:             0 kB
AnonPages:      15318264 kB
Mapped:             8928 kB
Shmem:                 0 kB
Slab:             601100 kB
SReclaimable:      44752 kB
SUnreclaim:       556348 kB
KernelStack:        1504 kB
PageTables:        34112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15480612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    399360 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 node130 at 2016-06-18 10:24:32