Trace number 4103393

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) 195.618 195.659

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-glass4.opb
MD5SUM9d32bc57adc83bca41f939562e4ccfd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1228810444800
Best CPU time to get the best result obtained on this benchmark3.97439
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1228810444800
Optimality of the best value was proved YES
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 1073761158741413
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 71583145981965762560
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 303620978593259231065
Number of bits of the biggest sum of numbers69
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-18T09:47:29+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-4103393-1466236049.opb"]
0.00/0.01	c use --random-gen="3316162844 4248088760 1416996841 191604360 7025677 1936382934 2817665641 3227954282 460666514 4280769998 3022451447 2947438762 1433103109 3577946031 3576626578 522396683 3296959038 1998671449 2817736221 329714157 2049069422 2651281773 2346679531 3313904089 847245402 2047167696 1009751189 4033746813 4042889947 1661490719 2226634321 4261854283 3602864962 2294230063 2373308772 1417687231 2880738780 683264236 1513579111 3407685325 943812372 2159776682 1056913991 452740791 414993373 39351178 491140064 2671575778 4050012505 1872126870 2270804556 1511840124 3053753371 1339108394 304583026 242224975 1451521095 1802296461 212343350 2894399859 263688745 3622963529 2856837540 3297862422 2895549532 1342984451 2145206387 2309546950 1998142297 2044995269 1159999486 3920054283 2244192695 2082763322 2576841935 231234592 797545365 3612369899 1101597363 2969228062 692858732 3027060977 2219258290 337255061 2155096458 853260288 3050521321 3268955111 1490001630 594715851 658777467 904950999 417056977 3659833703 3600817912 3140654464 831192050 1183200091 544079323 2402224740 4122294126 1153958444 2412764473 884965018 2672052439 125208747 3957968709 2826117882 1810943766 3134371602 4002930008 3360178505 2345284593 3717189122 2669397468 1347212879 999178391 1222297694 3102043697 899100793 1387631204 2830740627 621117825 1197888968 1074504409 2728823442 3746394798 1299036912 1051161794 3629139559 632538426 3466597663 287257067 1895059685 4152970287 4108905354 2127210283 3267050742 2284874090 2052173829 1626153372 4062683715 992166085 3348803848 2917730995 1269042193 3259996935 3156190038 42312173 3819093516 1827199251 2942693327 1775996217 2501661984 411432266 3763150517 2027340548 1444078482 2880006980 236322802 1744835614 745573017 1693914885 3925960046 2161795250 2522332187 3694030788 1806888524 2304612760 1833632985 2691964008 1021829029 2247179759 201903405 1928283671 4272811961 1546025114 1800879654 2145193681 3741653813 2448849987 2699397947 4053243911 2828439231 518933626 3324975745 610459505 1789354175 1738024369 812269572 2693353915 149272629 122735261 2130687555 1399959974 4206606484 789157455 3210152247 3919253902 1875041454 299489192 3392312955 2616716655 1363271979 725154336 2997866041 2936871659 3185375383 4072641358 2918698870 3284810839 1263743958 3358179280 2309245670 3804827218 2576883761 1580675381 2006466881 2602414305 2731131489 4263795040 4122016040 1674126415 1207698233 2860012582 2935681234 580585747 696696755 720312141 3090908947 3973385210 2746006548 2090539846 4223917670 4110724978 3321534564 2174569809 4087947507 329373232 218896864 755726283 2559088057 3006655622 3861554127 52000439 2511575046 4266353364 48305071 944550099 2585263060 1873567185 3029194221 51218273 2087628751 2570107657 102169426 255 362436" option to reproduce the execution
0.00/0.08	c #vars 780
0.00/0.08	c #constraints 405

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.12 2.04 3/179 15379
/proc/meminfo: memFree=30523976/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 2533 0 0 0 0 0 0 0 20 0 4 0 25655310 696709120 2894 33554432000 4194304 16246674 140735865645136 140735865644560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 170607 2902 441 2943 0 167501 0
[pid=15379/tid=15380] ppid=15376 vsize=697788 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 714534912 2960 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 718729216 2975 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=705980 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 722923520 2992 33554432000 4194304 16246674 140735865645136 140652125875376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.15 2.12 2.04 3/179 15379
/proc/meminfo: memFree=30523976/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 28638 0 0 0 5 4 0 0 20 0 4 0 25655310 1334382592 28936 33554432000 4194304 16246674 140735865645136 140735865644448 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 325777 28945 832 2943 0 322671 0
[pid=15379/tid=15380] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 28952 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 28959 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 28966 33554432000 4194304 16246674 140735865645136 140652125875376 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.200509 s]
/proc/loadavg: 2.15 2.12 2.04 3/179 15379
/proc/meminfo: memFree=30523976/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=1303108 CPUtime=0.19 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 41883 0 0 0 13 6 0 0 20 0 4 0 25655310 1334382592 42181 33554432000 4194304 16246674 140735865645136 140735865644448 12657178 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 325777 42181 832 2943 0 322671 0
[pid=15379/tid=15380] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 42181 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 42181 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 42181 33554432000 4194304 16246674 140735865645136 140652125875376 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) 1303108

[startup+0.30048 s]
/proc/loadavg: 2.15 2.12 2.04 3/179 15379
/proc/meminfo: memFree=30523976/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 66067 0 0 0 20 9 0 0 20 0 4 0 25655310 1334382592 66365 33554432000 4194304 16246674 140735865645136 140735865644448 12653060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 325777 66374 832 2943 0 322671 0
[pid=15379/tid=15380] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 66378 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 66384 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 66390 33554432000 4194304 16246674 140735865645136 140652125875376 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) 1303108

[startup+0.700396 s]
/proc/loadavg: 2.15 2.12 2.04 3/179 15379
/proc/meminfo: memFree=30523976/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=1303108 CPUtime=0.68 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 151544 0 0 0 47 21 0 0 20 0 4 0 25655310 1334382592 151842 33554432000 4194304 16246674 140735865645136 140735865627008 6962473 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 325777 151852 833 2943 0 322671 0
[pid=15379/tid=15380] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 151858 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 151865 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 1334382592 151872 33554432000 4194304 16246674 140735865645136 140652125875376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1303108

[startup+1.50041 s]
/proc/loadavg: 2.15 2.12 2.04 3/183 15383
/proc/meminfo: memFree=29520720/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=1402436 CPUtime=1.49 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 291573 0 0 0 108 41 0 0 20 0 4 0 25655310 1436094464 291871 33554432000 4194304 16246674 140735865645136 140735865644448 12449431 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 350609 291871 833 2943 0 347503 0
[pid=15379/tid=15380] ppid=15376 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 1436094464 291871 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 1436094464 291871 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 1436094464 291871 33554432000 4194304 16246674 140735865645136 140652125875376 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) 1402436

[startup+3.1004 s]
/proc/loadavg: 2.15 2.12 2.04 3/183 15383
/proc/meminfo: memFree=29270488/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=1488452 CPUtime=3.09 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 313241 0 0 0 264 45 0 0 20 0 4 0 25655310 1524174848 313539 33554432000 4194304 16246674 140735865645136 140735865644448 4225056 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 372113 313539 833 2943 0 369007 0
[pid=15379/tid=15380] ppid=15376 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 1524174848 313539 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 1524174848 313539 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 1524174848 313539 33554432000 4194304 16246674 140735865645136 140652125875376 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) 1488452

[startup+6.30039 s]
/proc/loadavg: 2.22 2.13 2.04 3/183 15383
/proc/meminfo: memFree=29270128/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=2027076 CPUtime=6.29 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 447752 0 0 0 567 62 0 0 20 0 4 0 25655310 2075725824 448051 33554432000 4194304 16246674 140735865645136 140735865642944 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 506769 448059 833 2943 0 503663 0
[pid=15379/tid=15380] ppid=15376 vsize=2027076 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 2075725824 448064 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=2027076 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 2075725824 448071 33554432000 4194304 16246674 140735865645136 140652244343824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=2027076 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 2075725824 448075 33554432000 4194304 16246674 140735865645136 140652125875376 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) 2027076

[startup+12.7004 s]
/proc/loadavg: 2.20 2.13 2.04 3/183 15383
/proc/meminfo: memFree=28670360/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=2087492 CPUtime=12.69 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 463002 0 0 0 1205 64 0 0 20 0 4 0 25655310 2137591808 463300 33554432000 4194304 16246674 140735865645136 140735865627008 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 521873 463300 834 2943 0 518767 0
[pid=15379/tid=15380] ppid=15376 vsize=2087492 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 2137591808 463300 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=2087492 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 2137591808 463300 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=2087492 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 2137591808 463300 33554432000 4194304 16246674 140735865645136 140652125875376 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) 2087492

[startup+25.5005 s]
/proc/loadavg: 2.16 2.12 2.04 3/183 15383
/proc/meminfo: memFree=28715880/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=2042436 CPUtime=25.48 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 463002 0 0 0 2483 65 0 0 20 0 4 0 25655310 2091454464 452036 33554432000 4194304 16246674 140735865645136 140735865644312 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 510609 452036 834 2943 0 507503 0
[pid=15379/tid=15380] ppid=15376 vsize=2042436 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 2091454464 452036 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=2042436 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 2091454464 452036 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=2042436 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 2091454464 452036 33554432000 4194304 16246674 140735865645136 140652125875376 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) 2042436

[startup+51.1005 s]
/proc/loadavg: 2.18 2.13 2.04 3/183 15383
/proc/meminfo: memFree=26933760/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=3813956 CPUtime=51.08 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 964265 0 0 0 4974 134 0 0 20 0 4 0 25655310 3905490944 894931 33554432000 4194304 16246674 140735865645136 140735865644312 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 953489 894931 848 2943 0 950383 0
[pid=15379/tid=15380] ppid=15376 vsize=3813956 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 3905490944 894931 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=3813956 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 3905490944 894931 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=3813956 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 3905490944 894931 33554432000 4194304 16246674 140735865645136 140652125875376 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) 3813956

[startup+102.3 s]
/proc/loadavg: 2.14 2.12 2.04 3/183 15384
/proc/meminfo: memFree=19297652/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=11434564 CPUtime=102.28 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 2869419 0 0 0 9831 397 0 0 20 0 4 0 25655310 11708993536 2800085 33554432000 4194304 16246674 140735865645136 140735865644312 4206996 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 2858641 2800085 848 2943 0 2855535 0
[pid=15379/tid=15380] ppid=15376 vsize=11434564 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 11708993536 2800085 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=11434564 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 11708993536 2800085 33554432000 4194304 16246674 140735865645136 140652244343824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=11434564 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 11708993536 2800085 33554432000 4194304 16246674 140735865645136 140652125875376 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) 11434564

[startup+162.3 s]
/proc/loadavg: 2.10 2.11 2.04 3/184 15388
/proc/meminfo: memFree=16553820/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=14171716 CPUtime=162.27 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 3553713 0 0 0 15733 494 0 0 20 0 4 0 25655310 14511837184 3484379 33554432000 4194304 16246674 140735865645136 140735865643072 14016589 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 3542929 3484379 853 2943 0 3539823 0
[pid=15379/tid=15380] ppid=15376 vsize=14171716 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 14511837184 3484379 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=14171716 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 14511837184 3484379 33554432000 4194304 16246674 140735865645136 140652244343824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=14171716 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 14511837184 3484379 33554432000 4194304 16246674 140735865645136 140652125875376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 14171716



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+194.807 s]
/proc/loadavg: 2.06 2.10 2.04 3/184 15390
/proc/meminfo: memFree=14868788/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=15885892 CPUtime=194.76 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) R 15376 15379 11324 0 -1 4202496 3982213 0 0 0 18911 565 0 0 20 0 4 0 25655310 16267153408 3912879 33554432000 4194304 16246674 140735865645136 140735865644232 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 3971473 3912885 853 2943 0 3968367 0
[pid=15379/tid=15380] ppid=15376 vsize=15885892 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15380/stat : 15380 (toysat) S 15376 15379 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25655310 16267153408 3912891 33554432000 4194304 16246674 140735865645136 140652254833904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=15885892 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) S 15376 15379 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25655310 16267153408 3912895 33554432000 4194304 16246674 140735865645136 140652244344048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15379/tid=15382] ppid=15376 vsize=15885892 CPUtime=0 cores=0,2,4,6
/proc/15379/task/15382/stat : 15382 (toysat) S 15376 15379 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25655310 16267153408 3912900 33554432000 4194304 16246674 140735865645136 140652125875376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 194.76
Current children cumulated vsize (KiB) 15885892

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

[startup+195.2 s]
/proc/loadavg: 2.06 2.10 2.04 3/184 15390
/proc/meminfo: memFree=14868788/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=0 CPUtime=195.16 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) Z 15376 15379 11324 0 -1 4203532 3982545 0 0 0 18912 604 0 0 20 0 2 0 25655310 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 0 0 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=0 CPUtime=0.37 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) R 15376 15379 11324 0 -1 4203588 8 0 0 0 0 37 0 0 20 0 2 0 25655310 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 195.16
Current children cumulated vsize (KiB) 0

[startup+195.6 s]
/proc/loadavg: 2.06 2.10 2.04 3/184 15390
/proc/meminfo: memFree=14868788/32872528 swapFree=249320/249320
[pid=15379] ppid=15376 vsize=0 CPUtime=195.56 cores=0,2,4,6
/proc/15379/stat : 15379 (toysat) Z 15376 15379 11324 0 -1 4203532 3982545 0 0 0 18912 644 0 0 20 0 2 0 25655310 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15379/statm: 0 0 0 0 0 0 0
[pid=15379/tid=15381] ppid=15376 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/15379/task/15381/stat : 15381 (toysat) R 15376 15379 11324 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 25655310 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 195.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 195.659
CPU time (s): 195.618
CPU user time (s): 189.121
CPU system time (s): 6.49701
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 15885892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.121
system time used= 6.49701
maximum resident set size= 15652844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3982545
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= 90
involuntary context switches= 205

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.628904 second user time and 0.902862 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 09:47:29
IDJOB=4103393
IDBENCH=2347
IDSOLVER=2542
FILE ID=node103/4103393-1466236049
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103393-1466236049/watcher-4103393-1466236049 -o /tmp/evaluation-result-4103393-1466236049/solver-4103393-1466236049 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103393-1466236049.opb

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

MD5SUM BENCH= 9d32bc57adc83bca41f939562e4ccfd8
RANDOM SEED=13057644

node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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:        30524248 kB
Buffers:          124984 kB
Cached:           129200 kB
SwapCached:         1916 kB
Active:          1196000 kB
Inactive:         166548 kB
Active(anon):    1107384 kB
Inactive(anon):     3400 kB
Active(file):      88616 kB
Inactive(file):   163148 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             16748 kB
Writeback:             0 kB
AnonPages:       1357252 kB
Mapped:            10808 kB
Shmem:                 0 kB
Slab:             602580 kB
SReclaimable:      46416 kB
SUnreclaim:       556164 kB
KernelStack:        1504 kB
PageTables:         6240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1501820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71700 MiB
End job on node103 at 2016-06-18 09:50:45