Trace number 4103737

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) 185.795 185.835

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot.opb
MD5SUM4a9548986f1546c6026976dcefa106de
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 benchmark1.77373
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables86785
Total number of constraints2481
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 constraints2481
Minimum length of a constraint10
Maximum length of a constraint7620
Number of terms in the objective function 840
Biggest coefficient in the objective function 3784939929600
Number of bits for the biggest coefficient in the objective function 42
Sum of the numbers in the objective function 93738734889723
Number of bits of the sum of numbers in the objective function 47
Biggest number in a constraint 13851269529600000
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 368128606591816686
Number of bits of the biggest sum of numbers59
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T10:35:07+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-4103737-1466238906.opb"]
0.00/0.01	c use --random-gen="3210032892 1757096480 2031245275 864516614 1697284899 2046930932 1105344047 1400910064 4147749804 2788201381 3387159440 718699819 186954044 1601703775 1374899602 1078689427 3942134575 2123749306 4236769502 3833590401 2184535175 530279768 2776307416 4184808675 1923427077 1108814960 1072599365 3808535409 559827986 1673766420 3064272153 234226253 3551228908 2844121235 809414404 1740052640 2115794292 2722502839 1674968891 2742866645 1504882305 398247924 140445493 448429381 3034453603 1043673541 1581207672 2041720392 1537950408 383255045 28619198 3065383154 2288467940 2807977200 3566898949 412465894 3438650479 75805005 1204921074 395396255 577971934 2317328488 2106819377 1875893380 3103907841 1808000213 1018640686 1520306446 731697326 2603446409 796111846 3172856696 1121674497 3901800010 4189923672 2342275565 1238350017 1987857196 1031456589 2856458519 1576864017 1838447068 833176931 2702704141 853558843 395857065 2240723709 2444715283 3319684198 3352036785 2991946861 2489268764 3765315688 15718033 1384212436 580608692 1277461158 1468964252 3936106222 1166856186 2891750240 4223689126 1985386236 1931366329 1849880807 2420564261 537345131 2079901359 744183342 3425790795 4253617770 4101225433 6364707 1136138754 3136610826 243510064 3136443343 3595162926 2279675557 2852491536 3212333248 1308348436 1972224824 2118696224 3097478983 1127037783 976166196 2746965408 1007678678 2335636504 1928587061 4083414517 3511673593 4247360334 4242456706 3394472218 3156696714 1497829741 488496066 1962432650 537404964 843847129 3110136797 738109777 3721102139 2982346728 1957131772 3150629246 3033709438 3190554814 3533189328 1141672359 870397111 410534882 265196405 1860065768 3027980885 4056475239 3849308093 257004010 1951476670 343216211 2633220322 1573104645 2078487156 1575206119 3997926725 4180840909 2900358653 1963620304 598970867 2983133750 3146206279 4136592817 2794007358 2749159971 1996312259 942611779 2191298922 4270230685 376149449 2824720997 2667059482 3708983008 227235827 1291011472 974482435 4016819346 1645069774 3555024325 431440172 3619931382 1214701266 2499056113 2912232312 1986991687 2245648024 200242288 1778615976 1969218096 4209018221 310230467 2285754334 87137025 142065120 3632608784 1412274910 1921082422 1815809812 65064505 1877026997 1299292428 3769875576 2602285158 2543060722 572327963 3709917657 149803276 842467174 4050481742 779882913 400739258 3530945870 1219300274 1836395825 332009041 2156213333 4000985047 3611761050 878875609 2904786208 125231391 894043140 1339257735 79115682 3750506552 2166732406 2611510015 763479217 1777994746 3458102699 3627349257 3918368750 1249290181 1868373025 1838574619 1277975721 2316055842 3947856933 475774821 3828308461 1314866232 2669413936 322495236 2037817009 3763279194 255 362436" option to reproduce the execution
1.59/1.69	c #vars 86785
1.59/1.69	c #constraints 2481

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

pid=3558
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.14 2.18 2.18 2/179 3561
/proc/meminfo: memFree=28080776/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 2817 0 0 0 0 0 0 0 20 0 4 0 25937172 771158016 2667 33554432000 4194304 16246674 140736136097648 140736136097072 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 189039 2677 441 2943 0 185933 0
[pid=3561/tid=3562] ppid=3558 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 816246784 2840 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 821489664 2859 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25937172 825683968 2874 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.14 2.18 2.18 2/179 3561
/proc/meminfo: memFree=28080776/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 29625 0 0 0 5 4 0 0 20 0 4 0 25937172 1334382592 29414 33554432000 4194304 16246674 140736136097648 140736136096960 8058197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 325777 29429 799 2943 0 322671 0
[pid=3561/tid=3562] ppid=3558 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 1334382592 29440 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 1334382592 29450 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 1334382592 29461 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200534 s]
/proc/loadavg: 2.14 2.18 2.18 2/179 3561
/proc/meminfo: memFree=28080776/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 38735 0 0 0 14 5 0 0 20 0 4 0 25937172 1342771200 39034 33554432000 4194304 16246674 140736136097648 140736136096960 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 327825 39034 801 2943 0 324719 0
[pid=3561/tid=3562] ppid=3558 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 1342771200 39034 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 1342771200 39034 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 1342771200 39034 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300505 s]
/proc/loadavg: 2.14 2.18 2.18 2/179 3561
/proc/meminfo: memFree=28080776/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 40012 0 0 0 24 5 0 0 20 0 4 0 25937172 1342771200 40312 33554432000 4194304 16246674 140736136097648 140736136096960 7368729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 327825 40331 801 2943 0 324719 0
[pid=3561/tid=3562] ppid=3558 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 1342771200 40342 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 1342771200 40352 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 1342771200 40364 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700431 s]
/proc/loadavg: 2.14 2.18 2.18 2/179 3561
/proc/meminfo: memFree=28080776/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 48355 0 0 0 62 7 0 0 20 0 4 0 25937172 1343819776 48654 33554432000 4194304 16246674 140736136097648 140736136096960 4220489 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 328081 48654 802 2943 0 324975 0
[pid=3561/tid=3562] ppid=3558 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 1343819776 48654 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 1343819776 48654 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 1343819776 48654 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50044 s]
/proc/loadavg: 2.12 2.18 2.17 3/183 3565
/proc/meminfo: memFree=27849412/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=1342020 CPUtime=1.49 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 81637 0 0 0 137 12 0 0 20 0 4 0 25937172 1374228480 85002 33554432000 4194304 16246674 140736136097648 140736136080640 8055408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 335505 85002 802 2943 0 332399 0
[pid=3561/tid=3562] ppid=3558 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 1374228480 85002 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 1374228480 85002 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 1374228480 85002 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1342020

[startup+3.10042 s]
/proc/loadavg: 2.12 2.18 2.17 3/183 3565
/proc/meminfo: memFree=27358852/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=1347140 CPUtime=3.09 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 271262 0 0 0 272 37 0 0 20 0 4 0 25937172 1379471360 275649 33554432000 4194304 16246674 140736136097648 140736136079552 4220536 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 336785 275649 833 2943 0 333679 0
[pid=3561/tid=3562] ppid=3558 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 1379471360 275649 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 1379471360 275649 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 1379471360 275649 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1347140

[startup+6.30044 s]
/proc/loadavg: 2.11 2.18 2.17 3/183 3565
/proc/meminfo: memFree=26948412/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=1394244 CPUtime=6.29 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 283046 0 0 0 591 38 0 0 20 0 4 0 25937172 1427705856 289477 33554432000 4194304 16246674 140736136097648 140736136095488 12449395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 348561 289477 834 2943 0 345455 0
[pid=3561/tid=3562] ppid=3558 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 1427705856 289477 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 1427705856 289477 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 1427705856 289477 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1394244

[startup+12.7004 s]
/proc/loadavg: 2.10 2.17 2.17 4/183 3565
/proc/meminfo: memFree=26107208/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=2468420 CPUtime=12.69 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 551593 0 0 0 1194 75 0 0 20 0 4 0 25937172 2527662080 558024 33554432000 4194304 16246674 140736136097648 140736136096960 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 617105 558024 835 2943 0 613999 0
[pid=3561/tid=3562] ppid=3558 vsize=2468420 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 2527662080 558024 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=2468420 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 2527662080 558024 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=2468420 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 2527662080 558024 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2468420

[startup+25.5005 s]
/proc/loadavg: 2.08 2.17 2.17 3/183 3565
/proc/meminfo: memFree=24122572/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=4190788 CPUtime=25.49 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 982185 0 0 0 2416 133 0 0 20 0 4 0 25937172 4291366912 988616 33554432000 4194304 16246674 140736136097648 140736136096744 4225902 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 1047697 988616 835 2943 0 1044591 0
[pid=3561/tid=3562] ppid=3558 vsize=4190788 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 4291366912 988616 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=4190788 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 4291366912 988616 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=4190788 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 4291366912 988616 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4190788

[startup+51.1006 s]
/proc/loadavg: 2.05 2.15 2.16 3/183 3566
/proc/meminfo: memFree=20283932/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=8006212 CPUtime=51.08 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 1936043 0 0 0 4847 261 0 0 20 0 4 0 25937172 8198361088 1942474 33554432000 4194304 16246674 140736136097648 140736136096744 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 2001553 1942474 835 2943 0 1998447 0
[pid=3561/tid=3562] ppid=3558 vsize=8006212 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 8198361088 1942474 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=8006212 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 8198361088 1942474 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=8006212 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 8198361088 1942474 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8006212

[startup+102.301 s]
/proc/loadavg: 2.14 2.16 2.17 4/183 3567
/proc/meminfo: memFree=14171672/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=14073412 CPUtime=102.28 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 3452845 0 0 0 9755 473 0 0 20 0 4 0 25937172 14411173888 3459276 33554432000 4194304 16246674 140736136097648 140736136096824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 3518353 3459276 836 2943 0 3515247 0
[pid=3561/tid=3562] ppid=3558 vsize=14073412 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 14411173888 3459276 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=14073412 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 14411173888 3459276 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=14073412 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 14411173888 3459276 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14073412

[startup+162.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/183 3568
/proc/meminfo: memFree=13497972/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=14727748 CPUtime=162.26 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 3561488 0 0 0 15732 494 0 0 20 0 4 0 25937172 15081213952 3622596 33554432000 4194304 16246674 140736136097648 140736136095488 14013920 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 3681937 3622596 840 2943 0 3678831 0
[pid=3561/tid=3562] ppid=3558 vsize=14727748 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 15081213952 3622596 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=14727748 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 15081213952 3622596 33554432000 4194304 16246674 140736136097648 140533633621008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=14727748 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 15081213952 3622596 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14727748



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+185 s]
/proc/loadavg: 2.18 2.16 2.17 3/183 3569
/proc/meminfo: memFree=12423460/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=15883844 CPUtime=184.96 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) R 3558 3561 31224 0 -1 4202496 3850622 0 0 0 17953 543 0 0 20 0 4 0 25937172 16265056256 3911730 33554432000 4194304 16246674 140736136097648 140736136096744 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 3970961 3911730 840 2943 0 3967855 0
[pid=3561/tid=3562] ppid=3558 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3562/stat : 3562 (toysat) S 3558 3561 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25937172 16265056256 3911730 33554432000 4194304 16246674 140736136097648 140533644111088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) S 3558 3561 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25937172 16265056256 3911730 33554432000 4194304 16246674 140736136097648 140533633621232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3561/tid=3564] ppid=3558 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/3561/task/3564/stat : 3564 (toysat) S 3558 3561 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25937172 16265056256 3911730 33554432000 4194304 16246674 140736136097648 140533623147696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 184.96
Current children cumulated vsize (KiB) 15883844

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

[startup+185.6 s]
/proc/loadavg: 2.18 2.16 2.17 3/183 3569
/proc/meminfo: memFree=12423460/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=0 CPUtime=185.56 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) Z 3558 3561 31224 0 -1 4203532 3851011 0 0 0 17954 602 0 0 20 0 2 0 25937172 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 0 0 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) R 3558 3561 31224 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 25937172 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 185.56
Current children cumulated vsize (KiB) 0

[startup+185.8 s]
/proc/loadavg: 2.18 2.16 2.17 3/183 3569
/proc/meminfo: memFree=12423460/32872528 swapFree=1200228/1314692
[pid=3561] ppid=3558 vsize=0 CPUtime=185.76 cores=1,3,5,7
/proc/3561/stat : 3561 (toysat) Z 3558 3561 31224 0 -1 4203532 3851011 0 0 0 17954 622 0 0 20 0 2 0 25937172 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3561/statm: 0 0 0 0 0 0 0
[pid=3561/tid=3563] ppid=3558 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/3561/task/3563/stat : 3563 (toysat) R 3558 3561 31224 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25937172 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 185.76
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 185.835
CPU time (s): 185.795
CPU user time (s): 179.543
CPU system time (s): 6.25205
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 15883844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.543
system time used= 6.25205
maximum resident set size= 15648476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3851011
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= 64
involuntary context switches= 187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.503923 second user time and 0.714891 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 10:35:06
IDJOB=4103737
IDBENCH=2448
IDSOLVER=2542
FILE ID=node131/4103737-1466238906
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71656 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-pilot.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103737-1466238906/watcher-4103737-1466238906 -o /tmp/evaluation-result-4103737-1466238906/solver-4103737-1466238906 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103737-1466238906.opb

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

MD5SUM BENCH= 4a9548986f1546c6026976dcefa106de
RANDOM SEED=1428046993

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.56
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.752
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.57
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.752
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:        28080932 kB
Buffers:          129220 kB
Cached:           201364 kB
SwapCached:         1500 kB
Active:          2535084 kB
Inactive:         198896 kB
Active(anon):    2402696 kB
Inactive(anon):     3064 kB
Active(file):     132388 kB
Inactive(file):   195832 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             30796 kB
Writeback:             8 kB
AnonPages:       3717288 kB
Mapped:            10508 kB
Shmem:                 0 kB
Slab:             604288 kB
SReclaimable:      47904 kB
SUnreclaim:       556384 kB
KernelStack:        1440 kB
PageTables:        11572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3859104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    378880 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= 71640 MiB
End job on node131 at 2016-06-18 10:38:12