Trace number 4103533

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) 169.663 169.707

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-dfl001.opb
MD5SUM82090c0a4adcfdd30e3ab97004b5e93d
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 variables366703
Total number of constraints6084
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 constraints6084
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 187033
Biggest coefficient in the objective function 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 882752655849462510276
Number of bits of the sum of numbers in the objective function 70
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 4277072243466308763648
Number of bits of the biggest sum of numbers72
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:15:10+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-4103533-1466237709.opb"]
0.00/0.01	c use --random-gen="1635650271 2975748334 4115944105 3671193432 4260809886 2475653031 1846290168 2222882995 3626455151 2412303523 2346823027 3774529609 4195713748 1925506539 4132398197 2870932320 3708287641 3084674384 3836609038 2939393309 3421887327 2677923405 1557880732 534672642 1605829253 4229599733 4287276692 3510707771 322543933 1126623659 3082165100 2100726803 2979326138 4006665562 2936901495 1520899916 487989322 628931913 617477608 2652268153 1941192237 420810345 614333819 4285232043 130089347 1913428734 1947786014 1012914945 68267963 2216563233 1341361588 346974906 3584839762 1016264377 4258374372 2997393113 823842174 3812603430 643800213 4216263574 1448962949 128262228 1590372453 3848248706 3341353575 2463305092 2014445910 2406109306 4069842926 2377396634 4248463591 22717461 41551216 43387633 1505738487 58010476 944010827 2237150823 4211430659 1385775460 2273377609 1236348531 1412681065 3856892284 489772185 1224601857 3687458785 2192138678 2782146654 3848932771 2921365375 1068544462 1192282053 1926990035 2081242294 1682176135 2997352334 407698916 1142511176 3397896210 2739704871 1355035655 3898232126 1005418895 568409201 4191816734 2438322463 3514201950 4069095046 3362209812 383923783 1313854202 10901895 1504068264 263528747 1761370419 4187800213 2963179334 3673704427 3492793599 3634389098 2840469993 1553632843 1370901378 1100753479 3421680322 1176688031 2170265412 1977209487 912630299 317853901 3859004422 1898021098 120782733 2181183168 976687432 3518428869 2550603734 1157451459 780906672 4262301355 1328206986 189869913 884454939 3405461595 2045945661 980944271 1916928494 3262677948 935779793 3825173747 3171950970 3660935486 395162264 2013610962 924461366 2859954206 2199414702 3639621504 1425354082 4158980357 4160151416 3937985090 272102960 1422910807 1941455596 2288515314 1287659847 3651259776 2235373191 522280331 675420636 1432232046 3542202655 161314716 4116406665 3215481223 3702117270 157746057 3242688120 614602843 2755283628 3885673296 2746526437 3334102888 1479360277 782373798 161369744 3339075739 2682002865 837895119 4254795250 713378257 1728498417 820570755 4055755883 4046408924 3638876769 2607922028 2949989305 2937709864 1468356066 1333551828 1787589539 665926919 814919566 3826860812 2608491596 1192732156 4062798757 1719413766 2797805109 687520546 559306819 3370818439 863711470 577035303 2432142918 551761464 1342145706 3049915975 649080235 3769640726 1601059072 2968709132 1867140091 4099470837 1731932888 2908261974 3565451255 1072813298 1669775273 2121635448 3918655955 3628646665 2436630483 3264886230 2947563651 4094401039 934945869 3601153274 3498858567 1186975735 351940421 1434865441 2627077806 4228515930 738234598 43006569 4118333753 332566981 3185016481 3285556298 4085004761 2260583091 4010127695 255 362436" option to reproduce the execution
2.38/2.47	c #vars 366703
2.38/2.47	c #constraints 6084

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-4103533-1466237709/watcher-4103533-1466237709 -o /tmp/evaluation-result-4103533-1466237709/solver-4103533-1466237709 -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-4103533-1466237709.opb 

pid=15605
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.09 2.06 2.01 3/179 15608
/proc/meminfo: memFree=27157136/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=311740 CPUtime=0 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 1091 0 0 0 0 0 0 0 20 0 4 0 25816670 319221760 941 33554432000 4194304 16246674 140734180099312 140734180098736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 78447 952 441 2943 0 75341 0
[pid=15608/tid=15609] ppid=15605 vsize=327100 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 334950400 1003 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=331196 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25816670 339144704 1020 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=335292 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25816670 343339008 1036 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 15608
/proc/meminfo: memFree=27157136/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=1303108 CPUtime=0.08 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 30044 0 0 0 4 4 0 0 20 0 4 0 25816670 1334382592 29832 33554432000 4194304 16246674 140734180099312 140734180098624 7889302 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 325777 29845 799 2943 0 322671 0
[pid=15608/tid=15609] ppid=15605 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 1334382592 29856 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25816670 1334382592 29867 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 1334382592 29877 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200497 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 15608
/proc/meminfo: memFree=27157136/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=1311300 CPUtime=0.18 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 39951 0 0 0 13 5 0 0 20 0 4 0 25816670 1342771200 40249 33554432000 4194304 16246674 140734180099312 140734180098624 4206649 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 327825 40249 799 2943 0 324719 0
[pid=15608/tid=15609] ppid=15605 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 1342771200 40249 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25816670 1342771200 40249 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 1342771200 40249 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1311300

[startup+0.300363 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 15608
/proc/meminfo: memFree=27157136/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=1311300 CPUtime=0.28 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 39952 0 0 0 23 5 0 0 20 0 4 0 25816670 1342771200 40250 33554432000 4194304 16246674 140734180099312 140734180098624 7378087 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 327825 40250 799 2943 0 324719 0
[pid=15608/tid=15609] ppid=15605 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 1342771200 40250 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25816670 1342771200 40250 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 1342771200 40250 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1311300

[startup+0.700404 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 15608
/proc/meminfo: memFree=27157136/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 57711 0 0 0 61 8 0 0 20 0 4 0 25816670 1343819776 58009 33554432000 4194304 16246674 140734180099312 140734180098624 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 328081 58027 801 2943 0 324975 0
[pid=15608/tid=15609] ppid=15605 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 1343819776 58038 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25816670 1343819776 58048 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 1343819776 58059 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 15612
/proc/meminfo: memFree=26898560/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=1324612 CPUtime=1.48 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 77649 0 0 0 137 11 0 0 20 0 4 0 25816670 1356402688 81013 33554432000 4194304 16246674 140734180099312 140734180082304 12752382 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 331153 81013 802 2943 0 328047 0
[pid=15608/tid=15609] ppid=15605 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 1356402688 81013 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25816670 1356402688 81013 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 1356402688 81013 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1324612

[startup+3.10034 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 15612
/proc/meminfo: memFree=26684888/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=1481284 CPUtime=3.09 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 202095 0 0 0 281 28 0 0 20 0 4 0 25816670 1516834816 210570 33554432000 4194304 16246674 140734180099312 140734180081216 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 370321 210585 834 2943 0 367215 0
[pid=15608/tid=15609] ppid=15605 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 1516834816 210594 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25816670 1516834816 210604 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 1516834816 210614 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1481284

[startup+6.30038 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 15612
/proc/meminfo: memFree=26046728/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=1481284 CPUtime=6.28 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 277625 0 0 0 592 36 0 0 20 0 4 0 25816670 1516834816 287121 33554432000 4194304 16246674 140734180099312 140734180081216 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 370321 287121 838 2943 0 367215 0
[pid=15608/tid=15609] ppid=15605 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 1516834816 287121 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25816670 1516834816 287121 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 1516834816 287121 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1481284

[startup+12.7004 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 15612
/proc/meminfo: memFree=24119944/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=2338372 CPUtime=12.69 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 515984 0 0 0 1202 67 0 0 20 0 4 0 25816670 2394492928 525481 33554432000 4194304 16246674 140734180099312 140734180097976 4221799 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 584593 525487 838 2943 0 581487 0
[pid=15608/tid=15609] ppid=15605 vsize=2338372 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 2394492928 525492 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=2338372 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25816670 2394492928 525496 33554432000 4194304 16246674 140734180099312 139711728294928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=2338372 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 2394492928 525500 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2338372

[startup+25.5003 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 15612
/proc/meminfo: memFree=21171448/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=3961412 CPUtime=25.48 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 921768 0 0 0 2430 118 0 0 20 0 4 0 25816670 4056485888 931264 33554432000 4194304 16246674 140734180099312 140734180097152 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 990353 931270 839 2943 0 987247 0
[pid=15608/tid=15609] ppid=15605 vsize=3961412 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 4056485888 931274 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=3961412 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25816670 4056485888 931278 33554432000 4194304 16246674 140734180099312 139711728294928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=3961412 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 4056485888 931282 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3961412

[startup+51.1004 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 15612
/proc/meminfo: memFree=12612324/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=8130116 CPUtime=51.08 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 1963964 0 0 0 4847 261 0 0 20 0 4 0 25816670 8325238784 1973460 33554432000 4194304 16246674 140734180099312 140734180098488 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 2032529 1973460 839 2943 0 2029423 0
[pid=15608/tid=15609] ppid=15605 vsize=8130116 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 8325238784 1973460 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=8130116 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25816670 8325238784 1973460 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=8130116 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 8325238784 1973460 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8130116

[startup+102.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 15613
/proc/meminfo: memFree=2908844/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=14460484 CPUtime=102.27 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 3546558 0 0 0 9746 481 0 0 20 0 4 0 25816670 14807535616 3556054 33554432000 4194304 16246674 140734180099312 140734180098488 13955776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 3615121 3556054 840 2943 0 3612015 0
[pid=15608/tid=15609] ppid=15605 vsize=14460484 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 14807535616 3556054 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=14460484 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25816670 14807535616 3556054 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=14460484 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 14807535616 3556054 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14460484

[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 15614
/proc/meminfo: memFree=13817952/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=14559812 CPUtime=162.26 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 3571313 0 0 0 15739 487 0 0 20 0 4 0 25816670 14909247488 3580809 33554432000 4194304 16246674 140734180099312 140734180098408 13753026 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 3639953 3580810 844 2943 0 3636847 0
[pid=15608/tid=15609] ppid=15605 vsize=14559812 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 14909247488 3580813 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=14559812 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25816670 14909247488 3580818 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=14559812 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 14909247488 3580823 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14559812



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+168.8 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 15614
/proc/meminfo: memFree=11863076/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=15887940 CPUtime=168.76 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) R 15605 15608 10353 0 -1 4202496 3903310 0 0 0 16335 541 0 0 20 0 4 0 25816670 16269250560 3912806 33554432000 4194304 16246674 140734180099312 140734180098488 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 3971985 3912806 844 2943 0 3968879 0
[pid=15608/tid=15609] ppid=15605 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) S 15605 15608 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25816670 16269250560 3912806 33554432000 4194304 16246674 140734180099312 139711738785008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15608/tid=15610] ppid=15605 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15610/stat : 15610 (toysat) S 15605 15608 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25816670 16269250560 3912806 33554432000 4194304 16246674 140734180099312 139711728295152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15608/tid=15611] ppid=15605 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/15608/task/15611/stat : 15611 (toysat) S 15605 15608 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25816670 16269250560 3912806 33554432000 4194304 16246674 140734180099312 139711717821616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 168.76
Current children cumulated vsize (KiB) 15887940

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

[startup+169.1 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 15614
/proc/meminfo: memFree=11863076/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=0 CPUtime=169.06 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) Z 15605 15608 10353 0 -1 4203532 3903569 0 0 0 16336 570 0 0 20 0 2 0 25816670 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 0 0 0 0 0 0 0
[pid=15608/tid=15609] ppid=15605 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) R 15605 15608 10353 0 -1 4203588 10 0 0 0 0 28 0 0 20 0 2 0 25816670 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.06
Current children cumulated vsize (KiB) 0

[startup+169.5 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 15614
/proc/meminfo: memFree=11863076/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=0 CPUtime=169.46 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) Z 15605 15608 10353 0 -1 4203532 3903569 0 0 0 16336 610 0 0 20 0 2 0 25816670 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 0 0 0 0 0 0 0
[pid=15608/tid=15609] ppid=15605 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) R 15605 15608 10353 0 -1 4203588 10 0 0 0 0 68 0 0 20 0 2 0 25816670 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.46
Current children cumulated vsize (KiB) 0

[startup+169.6 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 15614
/proc/meminfo: memFree=11863076/32872528 swapFree=534252/566956
[pid=15608] ppid=15605 vsize=0 CPUtime=169.56 cores=0,2,4,6
/proc/15608/stat : 15608 (toysat) Z 15605 15608 10353 0 -1 4203532 3903569 0 0 0 16336 620 0 0 20 0 2 0 25816670 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15608/statm: 0 0 0 0 0 0 0
[pid=15608/tid=15609] ppid=15605 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/15608/task/15609/stat : 15609 (toysat) R 15605 15608 10353 0 -1 4203588 10 0 0 0 0 78 0 0 20 0 2 0 25816670 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 169.707
CPU time (s): 169.663
CPU user time (s): 163.363
CPU system time (s): 6.30004
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 15887940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.363
system time used= 6.30004
maximum resident set size= 15652260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3903569
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= 47
involuntary context switches= 174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.431934 second user time and 0.6559 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 10:15:10
IDJOB=4103533
IDBENCH=2388
IDSOLVER=2542
FILE ID=node138/4103533-1466237709
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71680 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-dfl001.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103533-1466237709/watcher-4103533-1466237709 -o /tmp/evaluation-result-4103533-1466237709/solver-4103533-1466237709 -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-4103533-1466237709.opb

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

MD5SUM BENCH= 82090c0a4adcfdd30e3ab97004b5e93d
RANDOM SEED=276607734

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:        27157432 kB
Buffers:          115092 kB
Cached:           163892 kB
SwapCached:         1060 kB
Active:          4240452 kB
Inactive:         158436 kB
Active(anon):    4107660 kB
Inactive(anon):    14668 kB
Active(file):     132792 kB
Inactive(file):   143768 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             35704 kB
Writeback:             0 kB
AnonPages:       4688308 kB
Mapped:            10420 kB
Shmem:                 0 kB
Slab:             606372 kB
SReclaimable:      49460 kB
SUnreclaim:       556912 kB
KernelStack:        1448 kB
PageTables:        13408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4832476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71664 MiB
End job on node138 at 2016-06-18 10:18:00