Trace number 4103517

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) 177.104 177.139

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
MD5SUMebe0bf73b5f65c9fef014886519c9815
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 variables155020
Total number of constraints2675
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 constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
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 12491747892670016
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 24454743822989865
Number of bits of the biggest sum of numbers55
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:13:46+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-4103517-1466237625.opb"]
0.00/0.01	c use --random-gen="2681410888 2971133121 1933838123 2664278288 3198893900 1253963984 2265052792 1981553586 3692113875 3601910315 2158396474 4058025614 1664385646 3252203609 202149279 746559078 86879221 2709987522 1733995540 2776504845 974646068 3072229961 3311623021 1131944296 3297541444 1710150156 3015643298 1954680615 1328323959 284852491 1343179216 471074253 917835331 2039266664 1929780890 2527478929 990377869 2085278938 1680699321 3861646262 3484147013 1085835242 4033902200 1776977162 1450408082 3008621237 314429741 3464882688 4257130130 1662408327 4293080992 255887446 682508697 3028727331 304552591 3877321723 1228924750 3104609459 3086583440 1656961452 3552264722 982958150 1570116217 257253030 2721972190 3300288026 888187452 673517167 2372697201 1406846323 1651496749 2677630360 126873089 3869692250 9471934 3064908664 2350623815 894536115 446608137 3881133006 2667935380 1024702231 1859695431 1703084509 1716650685 394995547 102637079 115619159 708997064 493332512 1030337322 1749708218 20866783 97441760 1474677428 2585965258 2703045242 4185674111 1377753404 803350566 1819451355 1649859157 228505960 1392242867 3016448867 1782166959 2520737683 3697123737 3081505546 2961690305 2227987246 726685237 649770661 3795269056 1746449541 4019589630 2941819115 2433608954 3203474568 3763554100 3630816271 3031870965 3130654783 102566690 2731762348 1358406077 4260247808 3986424893 95036172 118962224 2659787554 261254100 864025690 2636552042 826082788 1508040565 3909356542 1712385447 2524322386 3829678206 4215305737 2099986909 2704382909 1782371993 3953979500 3662775837 2174862102 3565473170 1900724413 1070905966 1115100877 1333825676 2808689249 1493722832 1955834175 2362799046 2675703863 2676570615 4096554066 3894459941 174265785 1331427950 893704235 3656136881 2204539799 2406249268 109139652 3679842394 4011191061 943271614 3677165686 435641751 776342342 1758753576 3882390604 620076510 1500128298 3720342853 4008710212 3766016001 523359937 1698525586 3572317604 2856065539 3900075885 3759256717 2854840491 3158910913 3782835127 3421010045 1648982976 1624757724 3543163511 2085172917 421696633 811749687 1640538557 3634295397 3989685765 773559509 3840146693 2456235153 1605038641 33525366 1797010930 2875404788 3155748403 4072841176 1359533902 578847892 840550289 2466949813 4042611474 3233587265 2303147676 1200359559 4066358545 2011172414 3214737439 3432080594 1765173071 3591067809 2997361448 1006605858 1707179326 1998817680 2021651553 1508745853 3548518589 40330839 2670881572 3678794622 1591500731 1367976771 809013648 3336561949 2878127802 3262303905 820609731 106868088 2293144576 3112355273 4229652728 4197320225 1009773733 3785154675 1934629644 17798120 3943252173 1334261205 3521900064 1965568272 2293104964 3267265051 3306442831 3074668297 255 362436" option to reproduce the execution
1.59/1.67	c #vars 155020
1.59/1.67	c #constraints 2675

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

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 21667
/proc/meminfo: memFree=26651568/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 2578 0 0 0 0 0 0 0 20 0 4 0 25812492 709292032 2938 33554432000 4194304 16246674 140733496722912 140733496722336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 173679 2947 441 2943 0 170573 0
[pid=21667/tid=21668] ppid=21664 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 727117824 3007 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 731312128 3023 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25812492 735506432 3040 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 21667
/proc/meminfo: memFree=26651568/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=1304132 CPUtime=0.08 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 31701 0 0 0 5 3 0 0 20 0 4 0 25812492 1335431168 32000 33554432000 4194304 16246674 140733496722912 140733496722224 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 326033 32015 800 2943 0 322927 0
[pid=21667/tid=21668] ppid=21664 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 1335431168 32026 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 1335431168 32037 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 1335431168 32048 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1304132

[startup+0.200584 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 21667
/proc/meminfo: memFree=26651568/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=1311300 CPUtime=0.18 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 40216 0 0 0 14 4 0 0 20 0 4 0 25812492 1342771200 41025 33554432000 4194304 16246674 140733496722912 140733496722224 7361367 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 327825 41025 801 2943 0 324719 0
[pid=21667/tid=21668] ppid=21664 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 1342771200 41025 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 1342771200 41025 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 1342771200 41025 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1311300

[startup+0.300509 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 21667
/proc/meminfo: memFree=26651568/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=1311300 CPUtime=0.28 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 40221 0 0 0 24 4 0 0 20 0 4 0 25812492 1342771200 41030 33554432000 4194304 16246674 140733496722912 140733496722224 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 327825 41030 801 2943 0 324719 0
[pid=21667/tid=21668] ppid=21664 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 1342771200 41030 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 1342771200 41030 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 1342771200 41030 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1311300

[startup+0.700425 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 21667
/proc/meminfo: memFree=26651568/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=1312324 CPUtime=0.68 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 54768 0 0 0 62 6 0 0 20 0 4 0 25812492 1343819776 55578 33554432000 4194304 16246674 140733496722912 140733496722224 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 328081 55597 802 2943 0 324975 0
[pid=21667/tid=21668] ppid=21664 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 1343819776 55609 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 1343819776 55619 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 1343819776 55629 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1312324

[startup+1.50044 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 21671
/proc/meminfo: memFree=26398276/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=1349188 CPUtime=1.49 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 76570 0 0 0 139 10 0 0 20 0 4 0 25812492 1381568512 83000 33554432000 4194304 16246674 140733496722912 140733496722008 13927423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 337297 83000 802 2943 0 334191 0
[pid=21667/tid=21668] ppid=21664 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 1381568512 83000 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 1381568512 83000 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 1381568512 83000 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1349188

[startup+3.10042 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 21671
/proc/meminfo: memFree=25951596/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 260785 0 0 0 276 33 0 0 20 0 4 0 25812492 1414074368 268237 33554432000 4194304 16246674 140733496722912 140733496704832 4220912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 345233 268237 836 2943 0 342127 0
[pid=21667/tid=21668] ppid=21664 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 1414074368 268237 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 1414074368 268237 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 1414074368 268237 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30044 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 21671
/proc/meminfo: memFree=25505808/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=1380932 CPUtime=6.29 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 277172 0 0 0 593 36 0 0 20 0 4 0 25812492 1414074368 286668 33554432000 4194304 16246674 140733496722912 140733496722008 12371160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 345233 286668 836 2943 0 342127 0
[pid=21667/tid=21668] ppid=21664 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 1414074368 286668 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 1414074368 286668 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 1414074368 286668 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.09 2.09 2.09 3/183 21671
/proc/meminfo: memFree=23973076/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=1785412 CPUtime=12.68 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 378292 0 0 0 1218 50 0 0 20 0 4 0 25812492 1828261888 387788 33554432000 4194304 16246674 140733496722912 140733496720704 4206886 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 446353 387788 836 2943 0 443247 0
[pid=21667/tid=21668] ppid=21664 vsize=1785412 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 1828261888 387788 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=1785412 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 1828261888 387788 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=1785412 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 1828261888 387788 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1785412

[startup+25.5005 s]
/proc/loadavg: 2.07 2.08 2.09 3/183 21671
/proc/meminfo: memFree=27039676/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=2737732 CPUtime=25.49 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 616279 0 0 0 2466 83 0 0 20 0 4 0 25812492 2803437568 625775 33554432000 4194304 16246674 140733496722912 140733496720768 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 684433 625783 836 2943 0 681327 0
[pid=21667/tid=21668] ppid=21664 vsize=2737732 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 2803437568 625789 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=2737732 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 2803437568 625795 33554432000 4194304 16246674 140733496722912 140465737276432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=2737732 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 2803437568 625800 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2737732

[startup+51.1005 s]
/proc/loadavg: 2.03 2.07 2.08 3/183 21671
/proc/meminfo: memFree=22275684/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=7684676 CPUtime=51.08 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 1853084 0 0 0 4866 242 0 0 20 0 4 0 25812492 7869108224 1862581 33554432000 4194304 16246674 140733496722912 140733496721576 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 1921169 1862587 836 2943 0 1918063 0
[pid=21667/tid=21668] ppid=21664 vsize=7684676 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 7869108224 1862592 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=7684676 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 7869108224 1862597 33554432000 4194304 16246674 140733496722912 140465737276432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=7684676 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 7869108224 1862603 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7684676

[startup+102.301 s]
/proc/loadavg: 2.01 2.06 2.08 3/183 21672
/proc/meminfo: memFree=11521392/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=14236228 CPUtime=102.28 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 3491001 0 0 0 9760 468 0 0 20 0 4 0 25812492 14577897472 3500497 33554432000 4194304 16246674 140733496722912 140733496720896 13899658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 3559057 3500497 837 2943 0 3555951 0
[pid=21667/tid=21668] ppid=21664 vsize=14236228 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 14577897472 3500497 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=14236228 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 14577897472 3500497 33554432000 4194304 16246674 140733496722912 140465737276432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=14236228 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 14577897472 3500497 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14236228

[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.08 3/183 21674
/proc/meminfo: memFree=4191600/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=14236228 CPUtime=162.26 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 3491005 0 0 0 15755 471 0 0 20 0 4 0 25812492 14577897472 3500501 33554432000 4194304 16246674 140733496722912 140733496722224 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 3559057 3500501 841 2943 0 3555951 0
[pid=21667/tid=21668] ppid=21664 vsize=14236228 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 14577897472 3500501 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=14236228 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 14577897472 3500501 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=14236228 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 14577897472 3500501 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14236228



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+176.3 s]
/proc/loadavg: 2.03 2.06 2.08 3/183 21674
/proc/meminfo: memFree=2650388/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=15882820 CPUtime=176.26 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) R 21664 21667 20760 0 -1 4202496 3902589 0 0 0 17092 534 0 0 20 0 4 0 25812492 16264007680 3912086 33554432000 4194304 16246674 140733496722912 140733496722088 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 3970705 3912094 841 2943 0 3967599 0
[pid=21667/tid=21668] ppid=21664 vsize=15882820 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21668/stat : 21668 (toysat) S 21664 21667 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25812492 16264007680 3912099 33554432000 4194304 16246674 140733496722912 140465747766512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=15882820 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) S 21664 21667 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25812492 16264007680 3912104 33554432000 4194304 16246674 140733496722912 140465737276656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21667/tid=21670] ppid=21664 vsize=15882820 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (toysat) S 21664 21667 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25812492 16264007680 3912109 33554432000 4194304 16246674 140733496722912 140465726803120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 176.26
Current children cumulated vsize (KiB) 15882820

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

[startup+176.8 s]
/proc/loadavg: 2.03 2.06 2.08 3/183 21674
/proc/meminfo: memFree=2650388/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=0 CPUtime=176.76 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) Z 21664 21667 20760 0 -1 4203532 3903013 0 0 0 17092 584 0 0 20 0 2 0 25812492 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 0 0 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) R 21664 21667 20760 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 25812492 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 176.76
Current children cumulated vsize (KiB) 0

[startup+177 s]
/proc/loadavg: 2.03 2.06 2.08 3/183 21674
/proc/meminfo: memFree=2650388/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=0 CPUtime=176.96 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) Z 21664 21667 20760 0 -1 4203532 3903013 0 0 0 17092 604 0 0 20 0 2 0 25812492 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 0 0 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) R 21664 21667 20760 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 25812492 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 176.96
Current children cumulated vsize (KiB) 0

[startup+177.1 s]
/proc/loadavg: 2.03 2.06 2.08 3/181 21674
/proc/meminfo: memFree=17483880/32872528 swapFree=163656/177964
[pid=21667] ppid=21664 vsize=0 CPUtime=177.07 cores=1,3,5,7
/proc/21667/stat : 21667 (toysat) Z 21664 21667 20760 0 -1 4203532 3903013 0 0 0 17092 615 0 0 20 0 2 0 25812492 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21667/statm: 0 0 0 0 0 0 0
[pid=21667/tid=21669] ppid=21664 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (toysat) R 21664 21667 20760 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 25812492 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 177.07
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 177.139
CPU time (s): 177.104
CPU user time (s): 170.926
CPU system time (s): 6.17806
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 15882820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.926
system time used= 6.17806
maximum resident set size= 15650036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3903013
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= 77
involuntary context switches= 181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.20482 second user time and 1.34879 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 10:13:46
IDJOB=4103517
IDBENCH=2383
IDSOLVER=2542
FILE ID=node105/4103517-1466237625
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71712 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-greenbeb.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103517-1466237625/watcher-4103517-1466237625 -o /tmp/evaluation-result-4103517-1466237625/solver-4103517-1466237625 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103517-1466237625.opb

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

MD5SUM BENCH= ebe0bf73b5f65c9fef014886519c9815
RANDOM SEED=1768761354

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26652112 kB
Buffers:           90544 kB
Cached:           205152 kB
SwapCached:         1696 kB
Active:          5111072 kB
Inactive:         185832 kB
Active(anon):    4999672 kB
Inactive(anon):     3416 kB
Active(file):     111400 kB
Inactive(file):   182416 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             30408 kB
Writeback:             0 kB
AnonPages:       5178480 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             604456 kB
SReclaimable:      47824 kB
SUnreclaim:       556632 kB
KernelStack:        1464 kB
PageTables:        14296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5323788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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= 71696 MiB
End job on node105 at 2016-06-18 10:16:43