Trace number 4103145

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) 170.518 170.551

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3702.opb
MD5SUMd696f4100af4494c851a4f1a4044ecb8
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4827154397
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29701186548799
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29701186548799
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T09:02:27+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-4103145-1466233346.opb"]
0.00/0.01	c use --random-gen="2766438684 18651646 2660941499 489404673 3044332745 2024348203 455599367 1370123921 3922647339 3685367177 2905361122 1604278624 1694175056 3958817949 2222289146 2311249966 3394113538 2773085621 3054471518 2267372673 2269268997 1302804783 906818855 3700917500 3977732069 4172353960 2767049068 1356383102 3964494852 1865692445 1635780752 1154823617 2749999026 400652552 1359034614 3875916064 228242327 889715149 2881074853 4038127060 4046461777 2818908864 2233601753 909548677 2597875272 1917546424 24455965 3753976094 1479741882 1289525045 1285271217 3797538255 1696555151 33913789 2315556241 3072650510 566419094 3308935352 2313040906 1210043705 1971208576 4186351435 2834445966 3653938009 4066293146 609282192 2198526424 2223105136 1005125448 2187202960 1777380028 1420542737 2366526330 3380209831 4189357756 2548685818 1692716055 3770356222 3708724697 3310565921 2288480468 2693867595 2837394109 3233970934 3028339778 3865746955 1284999819 2832936584 2571916376 3818033140 1841731085 339379827 164426922 4068956494 3043108435 1314195946 3609046837 1580854647 1684383385 502677769 495033210 1750984091 2332094885 4251481201 1135149759 2510885086 2094519547 386494161 3486579980 1163905811 1600984696 4127236296 3867409094 3380178106 3138445936 2911249951 957004184 1336301630 28733988 675032173 1530927013 4199891347 2801057883 836698681 2413046999 320377134 2020399594 3591374736 908911680 3493924785 727680979 1693092785 4259481913 1452370334 705560342 3262802489 3066309087 4181574191 1110994637 1951200552 1264881791 2541918242 4224144068 3652348207 2698193339 3925037158 1225671457 963528590 1954517699 478016312 2295803224 175929995 1712309086 1006046884 3167358231 2164537454 3633512056 3522282998 998184407 3512045779 2791645398 1142778910 2080742367 510735099 4264999679 1090095075 3113968955 855126390 2425862600 3750765602 3050545967 55796152 73270734 3184919310 518656104 201813730 407178576 202555126 1907944782 3415010505 1131280173 2893412187 3945137186 713414218 2326276517 1155212929 1237129858 261858898 1305841838 1144706239 1958679019 2629468294 728729803 2019715676 1786658320 771559002 419865613 864262158 1496973594 3446771884 2939394247 881733997 2190782809 2099349513 433008143 3307309717 3712535154 356209563 1673341145 2479317848 2531675838 3635114907 2110229887 2609807634 563076890 2280610766 1590430406 4197204224 2087374121 2295661921 4193062496 1131612104 1537411707 631955043 77818217 3934669234 4198062267 2881168599 2704755439 94923310 1559352761 4247334670 1571458820 3498164305 364939398 2813524511 4249976768 3648516418 2078058869 1773783608 2744906962 846595890 3430217249 493362598 1869736565 3507164293 2186523196 1295788870 216201706 2049459020 963642599 1759410308 885969919 2444138071 1916245200 3389103143 255 362436" option to reproduce the execution
1.09/1.12	c #vars 155000
1.09/1.12	c #constraints 5150
3.69/3.75	c BCD2: Hardening is enabled.
3.69/3.75	c BCD2: BiasedSearch is enabled.
3.69/3.75	c Solving starts ...
3.69/3.75	c ============================[ Search Statistics ]============================
3.69/3.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.69/3.75	c       |         |          |          |    Limit     GC | Var      | Constra 
3.69/3.75	c =============================================================================
3.88/3.99	c  0.0s |       0 |        0 |        0 |    53433      0 |    59761 |        0
6.69/6.74	c  2.9s |       0 |     6039 |        0 |    53433      0 |    59761 |        0
6.69/6.74	c #cpu_time = 2.748s
6.69/6.74	c #wall_clock_time = 2.755s
6.69/6.74	c #decision = 6039
6.69/6.74	c #random_decision = 21
6.69/6.74	c #conflict = 0
6.69/6.74	c #restart = 0
6.69/6.75	o 82303582310

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

pid=4875
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.24 2.22 2.18 3/179 4878
/proc/meminfo: memFree=29971900/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 2693 0 0 0 0 0 0 0 20 0 4 0 25383892 738652160 3054 33554432000 4194304 16246674 140735427540736 140735427540160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 180847 3062 441 2943 0 177741 0
[pid=4878/tid=4879] ppid=4875 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 756477952 3122 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 761720832 3139 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 765915136 3155 33554432000 4194304 16246674 140735427540736 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.24 2.22 2.18 3/179 4878
/proc/meminfo: memFree=29971900/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 29888 0 0 0 5 4 0 0 20 0 4 0 25383892 1334382592 30188 33554432000 4194304 16246674 140735427540736 140735427540048 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 325777 30203 798 2943 0 322671 0
[pid=4878/tid=4879] ppid=4875 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 1334382592 30214 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 1334382592 30225 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 1334382592 30236 33554432000 4194304 16246674 140735427540736 139806621297840 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.200532 s]
/proc/loadavg: 2.24 2.22 2.18 3/179 4878
/proc/meminfo: memFree=29971900/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 44745 0 0 0 13 6 0 0 20 0 4 0 25383892 1343819776 45555 33554432000 4194304 16246674 140735427540736 140735427540048 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 328081 45555 799 2943 0 324975 0
[pid=4878/tid=4879] ppid=4875 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 1343819776 45555 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 1343819776 45555 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 1343819776 45555 33554432000 4194304 16246674 140735427540736 139806621297840 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) 1312324

[startup+0.300405 s]
/proc/loadavg: 2.24 2.22 2.18 3/179 4878
/proc/meminfo: memFree=29971900/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 44745 0 0 0 23 6 0 0 20 0 4 0 25383892 1343819776 45555 33554432000 4194304 16246674 140735427540736 140735427540048 4221138 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 328081 45555 799 2943 0 324975 0
[pid=4878/tid=4879] ppid=4875 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 1343819776 45555 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 1343819776 45555 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 1343819776 45555 33554432000 4194304 16246674 140735427540736 139806621297840 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) 1312324

[startup+0.700424 s]
/proc/loadavg: 2.24 2.22 2.18 3/179 4878
/proc/meminfo: memFree=29971900/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 54234 0 0 0 61 8 0 0 20 0 4 0 25383892 1343819776 55044 33554432000 4194304 16246674 140735427540736 140735427540048 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 328081 55044 802 2943 0 324975 0
[pid=4878/tid=4879] ppid=4875 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 1343819776 55044 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 1343819776 55044 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 1343819776 55044 33554432000 4194304 16246674 140735427540736 139806621297840 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.50041 s]
/proc/loadavg: 2.24 2.22 2.18 3/183 4882
/proc/meminfo: memFree=29721368/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=1380932 CPUtime=1.49 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 83718 0 0 0 138 11 0 0 20 0 4 0 25383892 1414074368 84528 33554432000 4194304 16246674 140735427540736 140735427523728 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 345233 84528 834 2943 0 342127 0
[pid=4878/tid=4879] ppid=4875 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 1414074368 84528 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 1414074368 84528 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 1414074368 84528 33554432000 4194304 16246674 140735427540736 139806621297840 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) 1380932

[startup+3.10042 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 4882
/proc/meminfo: memFree=29578520/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=1380932 CPUtime=3.08 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 97926 0 0 0 295 13 0 0 20 0 4 0 25383892 1414074368 98736 33554432000 4194304 16246674 140735427540736 140735427539912 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 345233 98736 836 2943 0 342127 0
[pid=4878/tid=4879] ppid=4875 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 1414074368 98736 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 1414074368 98736 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 1414074368 98736 33554432000 4194304 16246674 140735427540736 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1380932

[startup+6.3004 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 4882
/proc/meminfo: memFree=29294816/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=1380932 CPUtime=6.28 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 168818 0 0 0 605 23 0 0 20 0 4 0 25383892 1414074368 169628 33554432000 4194304 16246674 140735427540736 140735427522624 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 345233 169628 877 2943 0 342127 0
[pid=4878/tid=4879] ppid=4875 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 1414074368 169628 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 1414074368 169628 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 1414074368 169628 33554432000 4194304 16246674 140735427540736 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.26 2.23 2.18 3/183 4882
/proc/meminfo: memFree=28254928/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=2100804 CPUtime=12.69 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 465663 0 0 0 1208 61 0 0 20 0 4 0 25383892 2151223296 466473 33554432000 4194304 16246674 140735427540736 140735427540048 4220850 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 525201 466473 879 2943 0 522095 0
[pid=4878/tid=4879] ppid=4875 vsize=2100804 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 2151223296 466473 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=2100804 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 2151223296 466473 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=2100804 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 2151223296 466473 33554432000 4194304 16246674 140735427540736 139806621297840 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) 2100804

[startup+25.5005 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 4882
/proc/meminfo: memFree=25305096/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=4896324 CPUtime=25.48 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 1164545 0 0 0 2396 152 0 0 20 0 4 0 25383892 5013835776 1165355 33554432000 4194304 16246674 140735427540736 140735427540048 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 1224081 1165355 880 2943 0 1220975 0
[pid=4878/tid=4879] ppid=4875 vsize=4896324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 5013835776 1165355 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=4896324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 5013835776 1165355 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=4896324 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 5013835776 1165355 33554432000 4194304 16246674 140735427540736 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4896324

[startup+51.1005 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 4882
/proc/meminfo: memFree=21824744/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=8369732 CPUtime=51.08 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 2032899 0 0 0 4842 266 0 0 20 0 4 0 25383892 8570605568 2033709 33554432000 4194304 16246674 140735427540736 140735427538624 4225056 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 2092433 2033709 880 2943 0 2089327 0
[pid=4878/tid=4879] ppid=4875 vsize=8369732 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 8570605568 2033709 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=8369732 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 8570605568 2033709 33554432000 4194304 16246674 140735427540736 139806737669136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=8369732 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 8570605568 2033709 33554432000 4194304 16246674 140735427540736 139806621297840 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) 8369732

[startup+102.301 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 4883
/proc/meminfo: memFree=16163652/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=14019140 CPUtime=102.28 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 3445256 0 0 0 9779 449 0 0 20 0 4 0 25383892 14355599360 3446066 33554432000 4194304 16246674 140735427540736 140735427538688 14013920 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 3504785 3446066 884 2943 0 3501679 0
[pid=4878/tid=4879] ppid=4875 vsize=14019140 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 14355599360 3446066 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=14019140 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 14355599360 3446066 33554432000 4194304 16246674 140735427540736 139806737669136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=14019140 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 14355599360 3446066 33554432000 4194304 16246674 140735427540736 139806621297840 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) 14019140

[startup+162.3 s]
/proc/loadavg: 2.10 2.17 2.17 3/183 4884
/proc/meminfo: memFree=16163532/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=14019140 CPUtime=162.26 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 3445256 0 0 0 15775 451 0 0 20 0 4 0 25383892 14355599360 3446066 33554432000 4194304 16246674 140735427540736 140735427539912 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 3504785 3446066 884 2943 0 3501679 0
[pid=4878/tid=4879] ppid=4875 vsize=14019140 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 14355599360 3446066 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=14019140 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 14355599360 3446066 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=14019140 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 14355599360 3446066 33554432000 4194304 16246674 140735427540736 139806621297840 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) 14019140



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+169.7 s]
/proc/loadavg: 2.09 2.17 2.17 3/183 4884
/proc/meminfo: memFree=14424416/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=15896132 CPUtime=169.66 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) R 4875 4878 1377 0 -1 4202496 3914307 0 0 0 16447 519 0 0 20 0 4 0 25383892 16277639168 3915117 33554432000 4194304 16246674 140735427540736 140735427539832 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 3974033 3915126 884 2943 0 3970927 0
[pid=4878/tid=4879] ppid=4875 vsize=15896132 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4879/stat : 4879 (toysat) S 4875 4878 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25383892 16277639168 3915131 33554432000 4194304 16246674 140735427540736 139806748159216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=15896132 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) S 4875 4878 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25383892 16277639168 3915136 33554432000 4194304 16246674 140735427540736 139806737669360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4878/tid=4881] ppid=4875 vsize=15896132 CPUtime=0 cores=1,3,5,7
/proc/4878/task/4881/stat : 4881 (toysat) S 4875 4878 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25383892 16277639168 3915141 33554432000 4194304 16246674 140735427540736 139806621297840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 169.66
Current children cumulated vsize (KiB) 15896132

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

[startup+170 s]
/proc/loadavg: 2.09 2.17 2.17 3/183 4884
/proc/meminfo: memFree=14424416/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=0 CPUtime=169.96 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) Z 4875 4878 1377 0 -1 4203532 3914790 0 0 0 16447 549 0 0 20 0 2 0 25383892 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 0 0 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) R 4875 4878 1377 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 25383892 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) 169.96
Current children cumulated vsize (KiB) 0

[startup+170.4 s]
/proc/loadavg: 2.09 2.17 2.17 3/183 4884
/proc/meminfo: memFree=14424416/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=0 CPUtime=170.36 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) Z 4875 4878 1377 0 -1 4203532 3914790 0 0 0 16447 589 0 0 20 0 2 0 25383892 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 0 0 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) R 4875 4878 1377 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 25383892 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) 170.36
Current children cumulated vsize (KiB) 0

[startup+170.5 s]
/proc/loadavg: 2.09 2.17 2.17 3/181 4884
/proc/meminfo: memFree=29134916/32872528 swapFree=681964/737152
[pid=4878] ppid=4875 vsize=0 CPUtime=170.47 cores=1,3,5,7
/proc/4878/stat : 4878 (toysat) Z 4875 4878 1377 0 -1 4203532 3914790 0 0 0 16447 600 0 0 20 0 2 0 25383892 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4878/statm: 0 0 0 0 0 0 0
[pid=4878/tid=4880] ppid=4875 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/4878/task/4880/stat : 4880 (toysat) R 4875 4878 1377 0 -1 4203588 8 0 0 0 0 79 0 0 20 0 2 0 25383892 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) 170.47
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 170.551
CPU time (s): 170.518
CPU user time (s): 164.479
CPU system time (s): 6.03908
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 15896132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.479
system time used= 6.03908
maximum resident set size= 15662400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3914790
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= 50
involuntary context switches= 173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.440932 second user time and 0.665898 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 09:02:27
IDJOB=4103145
IDBENCH=2281
IDSOLVER=2542
FILE ID=node112/4103145-1466233346
RUNJOBID= node112-1466206100-1395
PBS_JOBID= 19918164
Free space on /tmp= 71684 MiB

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

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

MD5SUM BENCH= d696f4100af4494c851a4f1a4044ecb8
RANDOM SEED=563798399

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29972296 kB
Buffers:          116712 kB
Cached:           140708 kB
SwapCached:         1916 kB
Active:          1275016 kB
Inactive:         151524 kB
Active(anon):    1169712 kB
Inactive(anon):     1576 kB
Active(file):     105304 kB
Inactive(file):   149948 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             24948 kB
Writeback:            32 kB
AnonPages:       1907280 kB
Mapped:            10912 kB
Shmem:                 0 kB
Slab:             602440 kB
SReclaimable:      46052 kB
SUnreclaim:       556388 kB
KernelStack:        1496 kB
PageTables:         7968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2047328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    780288 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= 71668 MiB
End job on node112 at 2016-06-18 09:05:17