Trace number 4103733

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) 234.779 234.818

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb
MD5SUM84033421910bbd4d66297a25db66c955
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 variables27888
Total number of constraints874
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 constraints874
Minimum length of a constraint11
Maximum length of a constraint246
Number of terms in the objective function 27836
Biggest coefficient in the objective function 698469056512
Number of bits for the biggest coefficient in the objective function 40
Sum of the numbers in the objective function 44081965661371
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 698469056512
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 44081965661371
Number of bits of the biggest sum of numbers46
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:35:02+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4103733-1466238901.opb"]
0.00/0.01	c use --random-gen="2694705832 2510348839 1699081244 1357819765 3077002146 2329274830 3884634902 2042815650 596508183 2516376078 1497404343 76543246 373215408 1316752227 3777092012 4032767506 3649812104 2024346369 73341857 2684935481 4182948206 1986623875 141666866 3190962436 2415689893 2418761434 3005604619 1158476383 1372436161 2328062968 1349320053 1665957246 3166846295 1255665207 737396124 1279659995 3430456113 1892974632 1002853105 1453398111 3016899422 672697251 2426620575 931827228 809539674 2244796100 1579238774 2940519855 428589951 4257125890 1673978894 2186443681 3624255087 1512872199 2181320628 2459607406 531634182 3959332303 4196015784 1607865347 1612740589 3048221645 877806792 2397990473 2222433788 794668764 2224750510 1748264287 613356954 3745467629 2989226607 3896199925 3761783834 3622885817 1017931326 3475926024 880233116 3174135596 639358837 693483431 1166024451 2281524751 3008296520 782978210 1568252646 872868158 3740931099 3459454234 3514505764 589901667 1250929341 3909770079 1895316210 1375568197 3154405207 920415603 864007485 1188238764 2620319630 362311557 3476630998 2915889950 3595460676 291502884 3364724270 1893395385 3295309595 782435199 3194008129 2591542691 260395005 937613795 1245187497 1069611782 348149579 2573273482 472972740 900109506 3559260283 3738183066 1373001111 3689362569 965676188 475651438 3147640822 524310092 2973020547 1710103528 1961573254 452218851 1959350543 129726146 2174671156 1060792572 1884733462 2573402301 3670650724 4201251382 2626357887 1377246064 2205174252 869266884 1670576261 2564722108 1661494681 2148850432 914302239 1934686533 4009747566 2298034211 3121888033 3713381337 2868320982 414477304 3450689343 177180763 3821263513 3842356706 1636405067 3441493575 4161826470 4173134322 3984602899 3991137795 1349848787 4223091581 3554007678 2646950539 4184205062 2781326266 3722975455 682617766 437164525 533819666 1373938192 3760344191 3064506424 2649129569 321476836 2467222467 2601365414 758747629 1783090669 142320015 1864276191 3248807978 1867692230 2517790941 1069351841 1546306225 1279945107 2752759398 3737176627 2533107522 2846174048 831609476 1250154405 4246035665 1289896649 91949234 3434968400 1601540150 3052829195 1879614828 327054720 1833802645 607204043 2027855801 239587716 1578237063 3421187260 4024901433 3239143641 831923472 375256288 3108894856 2814178080 1580058072 3061642892 1361801438 2457773102 1691811905 1744932832 890729902 3203922648 319567543 4286420947 3986179957 2637194779 353867953 580369607 2141371261 1757884029 1943655730 149293309 2670150906 1654399918 3568014162 2490428455 1936692946 642484876 388427227 3292723656 4143483507 1671389446 2629988037 1096665515 1611485108 3698346030 2655039306 1515750432 1923868471 3726440753 1950424322 4214062721 2233907658 255 362436" option to reproduce the execution
0.19/0.20	c #vars 27888
0.19/0.20	c #constraints 874

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

pid=5863
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.16 2.15 2.09 3/179 5866
/proc/meminfo: memFree=31030412/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=705980 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 2630 0 0 0 0 0 0 0 20 0 4 0 25939391 722923520 2991 33554432000 4194304 16246674 140736238817264 140736238816688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 177007 2999 441 2943 0 173901 0
[pid=5866/tid=5867] ppid=5863 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 740749312 3059 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 744943616 3075 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25939391 750186496 3091 33554432000 4194304 16246674 140736238817264 139994679200944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.16 2.15 2.09 3/179 5866
/proc/meminfo: memFree=31030412/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 30032 0 0 0 5 4 0 0 20 0 4 0 25939391 1334382592 30331 33554432000 4194304 16246674 140736238817264 140736238816576 7376282 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 325777 30346 802 2943 0 322671 0
[pid=5866/tid=5867] ppid=5863 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 1334382592 30356 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 1334382592 30368 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 1334382592 30378 33554432000 4194304 16246674 140736238817264 139994679200944 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) 1303108

[startup+0.200518 s]
/proc/loadavg: 2.16 2.15 2.09 3/179 5866
/proc/meminfo: memFree=31030412/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 42715 0 0 0 13 6 0 0 20 0 4 0 25939391 1341722624 43525 33554432000 4194304 16246674 140736238817264 140736238816576 4220965 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 327569 43525 803 2943 0 324463 0
[pid=5866/tid=5867] ppid=5863 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 1341722624 43525 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 1341722624 43525 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 1341722624 43525 33554432000 4194304 16246674 140736238817264 139994679200944 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) 1310276

[startup+0.300484 s]
/proc/loadavg: 2.16 2.15 2.09 3/179 5866
/proc/meminfo: memFree=31030412/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=1320516 CPUtime=0.29 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 45105 0 0 0 23 6 0 0 20 0 4 0 25939391 1352208384 45915 33554432000 4194304 16246674 140736238817264 140736238816576 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 330129 45915 834 2943 0 327023 0
[pid=5866/tid=5867] ppid=5863 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 1352208384 45915 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 1352208384 45915 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 1352208384 45915 33554432000 4194304 16246674 140736238817264 139994679200944 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) 1320516

[startup+0.700401 s]
/proc/loadavg: 2.16 2.15 2.09 3/179 5866
/proc/meminfo: memFree=31030412/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=1320516 CPUtime=0.69 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 132505 0 0 0 53 16 0 0 20 0 4 0 25939391 1352208384 133316 33554432000 4194304 16246674 140736238817264 140736238816576 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 330129 133324 834 2943 0 327023 0
[pid=5866/tid=5867] ppid=5863 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 1352208384 133330 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 1352208384 133336 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 1352208384 133341 33554432000 4194304 16246674 140736238817264 139994679200944 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) 1320516

[startup+1.50039 s]
/proc/loadavg: 2.16 2.15 2.09 3/183 5870
/proc/meminfo: memFree=29286508/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=1392196 CPUtime=1.49 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 288466 0 0 0 113 36 0 0 20 0 4 0 25939391 1425608704 289277 33554432000 4194304 16246674 140736238817264 140736238799168 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 348049 289282 834 2943 0 344943 0
[pid=5866/tid=5867] ppid=5863 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 1425608704 289286 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 1425608704 289290 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 1425608704 289295 33554432000 4194304 16246674 140736238817264 139994679200944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1392196

[startup+3.10041 s]
/proc/loadavg: 2.16 2.15 2.09 3/183 5870
/proc/meminfo: memFree=28855652/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=1490500 CPUtime=3.09 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 313239 0 0 0 271 38 0 0 20 0 4 0 25939391 1526272000 314049 33554432000 4194304 16246674 140736238817264 140736238815168 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 372625 314049 834 2943 0 369519 0
[pid=5866/tid=5867] ppid=5863 vsize=1490500 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 1526272000 314049 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1490500 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 1526272000 314049 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1490500 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 1526272000 314049 33554432000 4194304 16246674 140736238817264 139994679200944 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) 1490500

[startup+6.3004 s]
/proc/loadavg: 2.23 2.16 2.10 3/183 5870
/proc/meminfo: memFree=28509472/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=1659460 CPUtime=6.29 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 355479 0 0 0 585 44 0 0 20 0 4 0 25939391 1699287040 356289 33554432000 4194304 16246674 140736238817264 140736238816440 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 414865 356289 834 2943 0 411759 0
[pid=5866/tid=5867] ppid=5863 vsize=1659460 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 1699287040 356289 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=1659460 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 1699287040 356289 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=1659460 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 1699287040 356289 33554432000 4194304 16246674 140736238817264 139994679200944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1659460

[startup+12.7004 s]
/proc/loadavg: 2.21 2.16 2.10 3/183 5870
/proc/meminfo: memFree=27409416/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=3050052 CPUtime=12.69 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 702912 0 0 0 1180 89 0 0 20 0 4 0 25939391 3123253248 703723 33554432000 4194304 16246674 140736238817264 140736238815168 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 762513 703732 834 2943 0 759407 0
[pid=5866/tid=5867] ppid=5863 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 3123253248 703738 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 3123253248 703742 33554432000 4194304 16246674 140736238817264 139994689674256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 3123253248 703749 33554432000 4194304 16246674 140736238817264 139994679200944 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) 3050052

[startup+25.5005 s]
/proc/loadavg: 2.16 2.15 2.09 3/183 5870
/proc/meminfo: memFree=23967336/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=5383748 CPUtime=25.49 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 1286553 0 0 0 2380 169 0 0 20 0 4 0 25939391 5512957952 1287363 33554432000 4194304 16246674 140736238817264 140736238816360 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 1345937 1287363 835 2943 0 1342831 0
[pid=5866/tid=5867] ppid=5863 vsize=5383748 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 5512957952 1287363 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=5383748 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 5512957952 1287363 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=5383748 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 5512957952 1287363 33554432000 4194304 16246674 140736238817264 139994679200944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5383748

[startup+51.1005 s]
/proc/loadavg: 2.18 2.16 2.09 3/183 5870
/proc/meminfo: memFree=26154816/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=3582532 CPUtime=51.09 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 2218907 0 0 0 4788 321 0 0 20 0 4 0 25939391 3668512768 837061 33554432000 4194304 16246674 140736238817264 140736238815168 4206942 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 895633 837061 835 2943 0 892527 0
[pid=5866/tid=5867] ppid=5863 vsize=3582532 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 3668512768 837061 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=3582532 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 3668512768 837061 33554432000 4194304 16246674 140736238817264 139994689674256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=3582532 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 3668512768 837061 33554432000 4194304 16246674 140736238817264 139994679200944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3582532

[startup+102.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 5871
/proc/meminfo: memFree=25032220/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=3981892 CPUtime=102.28 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 3888802 0 0 0 9658 570 0 0 20 0 4 0 25939391 4077457408 936908 33554432000 4194304 16246674 140736238817264 140736238816440 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 995473 936908 839 2943 0 992367 0
[pid=5866/tid=5867] ppid=5863 vsize=3981892 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 4077457408 936908 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=3981892 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 4077457408 936908 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=3981892 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 4077457408 936908 33554432000 4194304 16246674 140736238817264 139994679200944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3981892

[startup+162.3 s]
/proc/loadavg: 2.22 2.17 2.10 4/183 5873
/proc/meminfo: memFree=13481828/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=14086724 CPUtime=162.26 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 6415014 0 0 0 15300 926 0 0 20 0 4 0 25939391 14424805376 3463120 33554432000 4194304 16246674 140736238817264 140736238816440 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 3521681 3463120 840 2943 0 3518575 0
[pid=5866/tid=5867] ppid=5863 vsize=14086724 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 14424805376 3463120 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=14086724 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 14424805376 3463120 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=14086724 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 14424805376 3463120 33554432000 4194304 16246674 140736238817264 139994679200944 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) 14086724

[startup+222.308 s]
/proc/loadavg: 2.18 2.17 2.10 4/183 5874
/proc/meminfo: memFree=9562168/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=14086724 CPUtime=222.26 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 6415018 0 0 0 21297 929 0 0 20 0 4 0 25939391 14424805376 3463124 33554432000 4194304 16246674 140736238817264 140736238815232 14016700 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 3521681 3463124 844 2943 0 3518575 0
[pid=5866/tid=5867] ppid=5863 vsize=14086724 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 14424805376 3463124 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=14086724 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 14424805376 3463124 33554432000 4194304 16246674 140736238817264 139994689674256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=14086724 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 14424805376 3463124 33554432000 4194304 16246674 140736238817264 139994679200944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 14086724



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+233.8 s]
/proc/loadavg: 2.29 2.19 2.11 3/183 5874
/proc/meminfo: memFree=6558252/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=15898180 CPUtime=233.76 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) R 5863 5866 1377 0 -1 4202496 6867639 0 0 0 22379 997 0 0 20 0 4 0 25939391 16279736320 3915745 33554432000 4194304 16246674 140736238817264 140736238816360 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 3974545 3915754 844 2943 0 3971439 0
[pid=5866/tid=5867] ppid=5863 vsize=15898180 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5867/stat : 5867 (toysat) S 5863 5866 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25939391 16279736320 3915759 33554432000 4194304 16246674 140736238817264 139994700164336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=15898180 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) S 5863 5866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25939391 16279736320 3915766 33554432000 4194304 16246674 140736238817264 139994689674480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5866/tid=5869] ppid=5863 vsize=15898180 CPUtime=0 cores=0,2,4,6
/proc/5866/task/5869/stat : 5869 (toysat) S 5863 5866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25939391 16279736320 3915770 33554432000 4194304 16246674 140736238817264 139994679200944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 233.76
Current children cumulated vsize (KiB) 15898180

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

[startup+234.407 s]
/proc/loadavg: 2.29 2.19 2.11 3/181 5874
/proc/meminfo: memFree=14151208/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=0 CPUtime=234.36 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) Z 5863 5866 1377 0 -1 4203532 6868158 0 0 0 22379 1057 0 0 20 0 2 0 25939391 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 0 0 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=0 CPUtime=0.59 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) R 5863 5866 1377 0 -1 4203588 8 0 0 0 0 59 0 0 20 0 2 0 25939391 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) 234.36
Current children cumulated vsize (KiB) 0

[startup+234.8 s]
/proc/loadavg: 2.29 2.19 2.11 3/181 5874
/proc/meminfo: memFree=14151208/32872528 swapFree=681964/737152
[pid=5866] ppid=5863 vsize=0 CPUtime=234.75 cores=0,2,4,6
/proc/5866/stat : 5866 (toysat) Z 5863 5866 1377 0 -1 4203532 6868158 0 0 0 22379 1096 0 0 20 0 2 0 25939391 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5866/statm: 0 0 0 0 0 0 0
[pid=5866/tid=5868] ppid=5863 vsize=0 CPUtime=0.98 cores=0,2,4,6
/proc/5866/task/5868/stat : 5868 (toysat) R 5863 5866 1377 0 -1 4203588 8 0 0 0 0 98 0 0 20 0 2 0 25939391 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) 234.75
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 234.818
CPU time (s): 234.779
CPU user time (s): 223.798
CPU system time (s): 10.9813
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 15898180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 223.798
system time used= 10.9813
maximum resident set size= 15665056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6868158
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= 117
involuntary context switches= 237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.605907 second user time and 0.894863 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:35:02
IDJOB=4103733
IDBENCH=2447
IDSOLVER=2542
FILE ID=node112/4103733-1466238901
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71688 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-gfrd-pnc.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103733-1466238901/watcher-4103733-1466238901 -o /tmp/evaluation-result-4103733-1466238901/solver-4103733-1466238901 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103733-1466238901.opb

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

MD5SUM BENCH= 84033421910bbd4d66297a25db66c955
RANDOM SEED=488472639

node112.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.734
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	: 5333.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.55
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31031336 kB
Buffers:           24580 kB
Cached:            97472 kB
SwapCached:         1244 kB
Active:           323388 kB
Inactive:          41836 kB
Active(anon):     244524 kB
Inactive(anon):      932 kB
Active(file):      78864 kB
Inactive(file):    40904 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67093132 kB
Dirty:             41160 kB
Writeback:             0 kB
AnonPages:        979872 kB
Mapped:             9948 kB
Shmem:                 0 kB
Slab:             603804 kB
SReclaimable:      45468 kB
SUnreclaim:       558336 kB
KernelStack:        1448 kB
PageTables:         7612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1968792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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= 71672 MiB
End job on node112 at 2016-06-18 10:38:57