Trace number 4103669

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) 197.082 197.131

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-capri.opb
MD5SUMc604b2e3d1c07d3beeda9af6b1043272
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.327949
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7817
Total number of constraints402
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 constraints402
Minimum length of a constraint11
Maximum length of a constraint647
Number of terms in the objective function 580
Biggest coefficient in the objective function 107374182400000
Number of bits for the biggest coefficient in the objective function 47
Sum of the numbers in the objective function 1708358674549057
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 11690085472796672
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 80356363520648894
Number of bits of the biggest sum of numbers57
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:29:48+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-4103669-1466238588.opb"]
0.00/0.01	c use --random-gen="2176098803 593164701 863358464 2527898921 1328643553 3567503237 3853501766 2127754014 661624997 675898510 535171666 844361431 2034158743 1987622214 2169497862 533222491 1633335930 2346710739 4237820760 1930352604 2603414853 2077086388 1201657091 1313284043 3370660354 3117061456 1262171999 1561022228 3932467539 3473200690 1410685000 1633014785 2969512469 3212015057 4207500792 3781007278 3975940332 60305536 2953268409 3164300659 163579841 1822761669 3110913535 1630615008 1300383015 1916001241 2084110685 3333584407 4247546727 3061058520 4033106115 153131040 3168075360 1059932200 168206690 251165350 715801073 745242121 4238179057 1087616544 3082977125 3057011981 2722511675 909406133 398395281 1781862439 1572522880 3800955283 3692245876 1466090679 3718601441 1533936532 1994250948 70579358 3881847389 1620844719 2409967338 2364757861 3182725998 187396034 1631742239 1169092977 4221464422 914411324 2162555861 2564789749 638996437 3322157316 2561027998 3695826098 3561647935 2272710525 3468456572 3962690599 2783106701 1914948693 4258719043 2032159013 537118974 2691173959 3240899041 3618859179 3826330107 3618625201 2821117074 2354109114 1263477916 4265468696 3895310908 3859460008 237280719 614582533 3161892770 3360432300 687543125 1350618484 1877324534 3711015338 2358607457 3353088833 4042898119 2266080799 3748258207 543680910 1444690117 1431812719 878577292 1841429949 2068901665 714805615 3859655807 3425522624 3862205140 1957862806 2323903420 4021090896 620998690 2926377496 2305986868 2787012406 763208462 2926829960 2000368046 4045812883 1448896543 1085139056 2030821251 8471808 3332591436 356031945 2814084022 4293178024 3238034629 756927806 3033791368 2226633929 1030104122 885792061 1436284938 2132317790 142928696 3550784170 2701870756 783124643 2854291623 3451215213 1987834571 737338253 79320127 3789139427 2059901187 1925159234 721702357 3095639233 3828064608 2210707922 2057209870 2047501589 1968792143 50086138 915965801 535634422 244667918 1051413944 2334167713 1787371770 1730227301 3483055919 68029469 702870892 3761837925 624484630 3177175903 1697547629 1435990898 2742234045 1539224195 556805710 1977088275 1036632387 2456826581 560093927 564484064 4175648605 4225966763 2115009318 1147320352 3443027069 2177193686 384373461 886838523 1864233335 1811031730 1680399451 349341217 1161111794 2724395162 1398209945 2692054978 511448389 597955265 3140763093 364764200 3028479743 379997976 2664433215 221701095 822609079 2114376047 1772507548 1528134213 11948427 20659301 1909690422 1075678421 104101512 2238759901 2384855756 585896791 644097160 605052755 1029759852 1578519999 4007511737 1088532772 3289752630 2774655689 2543223084 409307398 1610751268 957070880 1470586810 453500832 1423966366 2027612644 922306787 255 362436" option to reproduce the execution
0.08/0.11	c #vars 7817
0.08/0.11	c #constraints 402

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

pid=27711
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.00 2.01 2.00 2/179 27714
/proc/meminfo: memFree=30560788/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 2681 0 0 0 0 0 0 0 20 0 4 0 25903602 736555008 3042 33554432000 4194304 16246674 140736072714736 140736072713672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27714/statm: 180591 3051 441 2943 0 177485 0
[pid=27714/tid=27715] ppid=27711 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 754380800 3111 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 758575104 3127 33554432000 4194304 16246674 140736072714736 139866606116080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25903602 763817984 3145 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 27714
/proc/meminfo: memFree=30560788/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=1303108 CPUtime=0.08 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 30739 0 0 0 5 3 0 0 20 0 4 0 25903602 1334382592 31039 33554432000 4194304 16246674 140736072714736 140736072714048 8058796 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27714/statm: 325777 31054 801 2943 0 322671 0
[pid=27714/tid=27715] ppid=27711 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 1334382592 31066 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 1334382592 31077 33554432000 4194304 16246674 140736072714736 139866606116080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 1334382592 31087 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200479 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 27714
/proc/meminfo: memFree=30560788/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=1304132 CPUtime=0.19 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 51015 0 0 0 13 6 0 0 20 0 4 0 25903602 1335431168 51315 33554432000 4194304 16246674 140736072714736 140736072714048 12449273 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27714/statm: 326033 51330 831 2943 0 322927 0
[pid=27714/tid=27715] ppid=27711 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 1335431168 51341 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 1335431168 51349 33554432000 4194304 16246674 140736072714736 139866606116080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 1335431168 51357 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1304132

[startup+0.300446 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 27714
/proc/meminfo: memFree=30560788/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=1304132 CPUtime=0.29 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 79122 0 0 0 19 10 0 0 20 0 4 0 25903602 1335431168 79422 33554432000 4194304 16246674 140736072714736 140736072714048 12449399 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27714/statm: 326033 79439 833 2943 0 322927 0
[pid=27714/tid=27715] ppid=27711 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 1335431168 79450 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 1335431168 79461 33554432000 4194304 16246674 140736072714736 139866606116080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 1335431168 79469 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1304132

[startup+0.70037 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 27714
/proc/meminfo: memFree=30560788/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=1304132 CPUtime=0.69 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 190033 0 0 0 46 23 0 0 20 0 4 0 25903602 1335431168 190333 33554432000 4194304 16246674 140736072714736 140736072696640 6958465 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27714/statm: 326033 190345 833 2943 0 322927 0
[pid=27714/tid=27715] ppid=27711 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 1335431168 190353 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 1335431168 190360 33554432000 4194304 16246674 140736072714736 139866606116080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 1335431168 190367 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1304132

[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27718
/proc/meminfo: memFree=29427596/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=1446468 CPUtime=1.48 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 302596 0 0 0 109 39 0 0 20 0 4 0 25903602 1481183232 302895 33554432000 4194304 16246674 140736072714736 140736072696640 12654426 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27714/statm: 361617 302895 834 2943 0 358511 0
[pid=27714/tid=27715] ppid=27711 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 1481183232 302895 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 1481183232 302895 33554432000 4194304 16246674 140736072714736 139866606116080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 1481183232 302895 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1446468

[startup+3.10038 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27718
/proc/meminfo: memFree=29348344/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=1446468 CPUtime=3.08 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 302744 0 0 0 269 39 0 0 20 0 4 0 25903602 1481183232 303043 33554432000 4194304 16246674 140736072714736 140736072696640 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27714/statm: 361617 303043 834 2943 0 358511 0
[pid=27714/tid=27715] ppid=27711 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 1481183232 303043 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 1481183232 303043 33554432000 4194304 16246674 140736072714736 139866606116080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 1481183232 303043 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1446468

[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27718
/proc/meminfo: memFree=29348476/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=1446468 CPUtime=6.28 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 302744 0 0 0 589 39 0 0 20 0 4 0 25903602 1481183232 303043 33554432000 4194304 16246674 140736072714736 140736072712640 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27714/statm: 361617 303043 834 2943 0 358511 0
[pid=27714/tid=27715] ppid=27711 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 1481183232 303043 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 1481183232 303043 33554432000 4194304 16246674 140736072714736 139866606116080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=1446468 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 1481183232 303043 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1446468

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27718
/proc/meminfo: memFree=28263768/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=2528836 CPUtime=12.68 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 573336 0 0 0 1193 75 0 0 20 0 4 0 25903602 2589528064 573635 33554432000 4194304 16246674 140736072714736 140736072712640 4206577 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27714/statm: 632209 573635 834 2943 0 629103 0
[pid=27714/tid=27715] ppid=27711 vsize=2528836 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 2589528064 573635 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=2528836 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 2589528064 573635 33554432000 4194304 16246674 140736072714736 139866606115856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=2528836 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 2589528064 573635 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2528836

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 27721
/proc/meminfo: memFree=26278840/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=4510276 CPUtime=25.48 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 1068698 0 0 0 2407 141 0 0 20 0 4 0 25903602 4618522624 1068997 33554432000 4194304 16246674 140736072714736 140736072712576 4206604 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27714/statm: 1127569 1068997 835 2943 0 1124463 0
[pid=27714/tid=27715] ppid=27711 vsize=4510276 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 4618522624 1068997 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=4510276 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 4618522624 1068997 33554432000 4194304 16246674 140736072714736 139866606115856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=4510276 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 4618522624 1068997 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4510276

[startup+51.1005 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 27721
/proc/meminfo: memFree=22392012/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=8738372 CPUtime=51.07 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 2125703 0 0 0 4826 281 0 0 20 0 4 0 25903602 8948092928 2126002 33554432000 4194304 16246674 140736072714736 140736072713400 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27714/statm: 2184593 2126011 835 2943 0 2181487 0
[pid=27714/tid=27715] ppid=27711 vsize=8738372 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 8948092928 2126015 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=8738372 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 8948092928 2126021 33554432000 4194304 16246674 140736072714736 139866606115856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=8739396 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 8949141504 2126029 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8738372

[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 27722
/proc/meminfo: memFree=17613900/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=13157956 CPUtime=102.27 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 3230626 0 0 0 9794 433 0 0 20 0 4 0 25903602 13473746944 3230925 33554432000 4194304 16246674 140736072714736 140736072712704 14016914 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27714/statm: 3289489 3230925 840 2943 0 3286383 0
[pid=27714/tid=27715] ppid=27711 vsize=13157956 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 13473746944 3230925 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=13157956 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 13473746944 3230925 33554432000 4194304 16246674 140736072714736 139866606115856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=13157956 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 13473746944 3230925 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13157956

[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 27723
/proc/meminfo: memFree=15826288/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=14942788 CPUtime=162.25 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 3621045 0 0 0 15731 494 0 0 20 0 4 0 25903602 15301414912 3677043 33554432000 4194304 16246674 140736072714736 140736072712704 13899626 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27714/statm: 3735697 3677043 840 2943 0 3732591 0
[pid=27714/tid=27715] ppid=27711 vsize=14942788 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 15301414912 3677043 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=14942788 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 15301414912 3677043 33554432000 4194304 16246674 140736072714736 139866606115856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=14942788 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 15301414912 3677043 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14942788



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+196.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 27724
/proc/meminfo: memFree=15075336/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=15892036 CPUtime=196.25 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) R 27711 27714 23276 0 -1 4202496 3858202 0 0 0 19096 529 0 0 20 0 4 0 25903602 16273444864 3914200 33554432000 4194304 16246674 140736072714736 140736072713832 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27714/statm: 3973009 3914210 840 2943 0 3969903 0
[pid=27714/tid=27715] ppid=27711 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27715/stat : 27715 (toysat) S 27711 27714 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25903602 16273444864 3914217 33554432000 4194304 16246674 140736072714736 139866616605936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) S 27711 27714 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25903602 16273444864 3914222 33554432000 4194304 16246674 140736072714736 139866606116080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27714/tid=27717] ppid=27711 vsize=15892036 CPUtime=0 cores=1,3,5,7
/proc/27714/task/27717/stat : 27717 (toysat) S 27711 27714 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25903602 16273444864 3914227 33554432000 4194304 16246674 140736072714736 139866595642544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 196.25
Current children cumulated vsize (KiB) 15892036

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

[startup+196.8 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 27724
/proc/meminfo: memFree=15075336/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=0 CPUtime=196.74 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) Z 27711 27714 23276 0 -1 4203532 3858647 0 0 0 19096 578 0 0 20 0 2 0 25903602 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27714/statm: 0 0 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) R 27711 27714 23276 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 25903602 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 196.74
Current children cumulated vsize (KiB) 0

[startup+197.007 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 27724
/proc/meminfo: memFree=26024600/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=0 CPUtime=196.95 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) Z 27711 27714 23276 0 -1 4203532 3858647 0 0 0 19096 599 0 0 20 0 2 0 25903602 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27714/statm: 0 0 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=0 CPUtime=0.69 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) R 27711 27714 23276 0 -1 4203588 8 0 0 0 0 69 0 0 20 0 2 0 25903602 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 196.95
Current children cumulated vsize (KiB) 0

[startup+197.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 27724
/proc/meminfo: memFree=26024600/32872528 swapFree=7780/7780
[pid=27714] ppid=27711 vsize=0 CPUtime=197.04 cores=1,3,5,7
/proc/27714/stat : 27714 (toysat) Z 27711 27714 23276 0 -1 4203532 3858647 0 0 0 19096 608 0 0 20 0 2 0 25903602 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27714/statm: 0 0 0 0 0 0 0
[pid=27714/tid=27716] ppid=27711 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/27714/task/27716/stat : 27716 (toysat) R 27711 27714 23276 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25903602 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 197.04
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 197.131
CPU time (s): 197.082
CPU user time (s): 190.968
CPU system time (s): 6.11407
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 15892036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 190.968
system time used= 6.11407
maximum resident set size= 15658580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3858647
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= 66
involuntary context switches= 283

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.573912 second user time and 0.780881 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 10:29:48
IDJOB=4103669
IDBENCH=2426
IDSOLVER=2542
FILE ID=node151/4103669-1466238588
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71720 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-capri.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103669-1466238588/watcher-4103669-1466238588 -o /tmp/evaluation-result-4103669-1466238588/solver-4103669-1466238588 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103669-1466238588.opb

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

MD5SUM BENCH= c604b2e3d1c07d3beeda9af6b1043272
RANDOM SEED=544019689

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30560944 kB
Buffers:          125420 kB
Cached:           284656 kB
SwapCached:         1996 kB
Active:          1271420 kB
Inactive:         291604 kB
Active(anon):    1153460 kB
Inactive(anon):     1788 kB
Active(file):     117960 kB
Inactive(file):   289816 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             16700 kB
Writeback:             0 kB
AnonPages:       1275004 kB
Mapped:            11952 kB
Shmem:                 0 kB
Slab:             605620 kB
SReclaimable:      49052 kB
SUnreclaim:       556568 kB
KernelStack:        1504 kB
PageTables:         6392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1303732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1259520 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= 71704 MiB
End job on node151 at 2016-06-18 10:33:05