Trace number 4103937

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) 243.977 244.029

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mas76.opb
MD5SUM1a1687e6de95bc6822d45f4331f81d44
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark209715197291
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 143487941105
Optimality of the best value was proved NO
Number of variables240
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint90
Maximum length of a constraint239
Number of terms in the objective function 240
Biggest coefficient in the objective function 1934281311383406679529881600000
Number of bits for the biggest coefficient in the objective function 101
Sum of the numbers in the objective function 3868562622766813359059763201675
Number of bits of the sum of numbers in the objective function 102
Biggest number in a constraint 1208925819614629174706176000000000
Number of bits of the biggest number in a constraint 110
Biggest sum of numbers in a constraint 2417851639229258350907097073774043
Number of bits of the biggest sum of numbers111
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:47:25+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-4103937-1466239645.opb"]
0.00/0.01	c use --random-gen="2094319603 2102574600 338288363 1320951438 2262683110 312346446 2749728988 3692788860 1541995415 1539632633 60344027 2556097301 1254514585 1079833015 3356913546 3264156330 3539717923 4241129416 3201724336 3417922594 244742944 3100418564 3489391023 1119560815 3813185332 1514577763 1367519235 3502956829 464594144 1745645188 3773995594 1677504970 1391556078 1267679789 3368752043 1950497779 2107604675 2319221587 137999620 1845436408 3942760597 3778220689 1967527628 829544086 1219613703 691288248 557730520 734717399 3511193173 1362507126 1196836156 2871919838 2575045837 1127554952 595642538 3313250798 173563798 2491048430 1036649579 3610776578 309042271 3380012916 250551763 3980585888 3514755667 441203385 4199798480 632328408 1921741088 817009835 191260907 3221690852 274208222 1457287853 1262786684 19069437 2941959921 4208681546 2152291969 4117833379 1489545733 2735661714 3138859952 695769418 2747066286 3452934277 2243644268 1394100279 161185374 48915551 2495494934 1009104449 4190949951 1197444793 112747334 1129556561 602780943 643119191 3860083382 3035117142 3936306327 2857951271 2588173153 2918489011 2117139805 641650878 2947147023 3342314310 298126582 2137971601 2251652074 1757277551 413517866 3626163028 4076864215 73270867 1286798433 275553988 2167832224 740796447 3644413192 2777775937 75804222 614637686 3525589533 2261240276 3766256354 3273991346 2372189191 3588286114 4271602540 4075389319 2002643987 3867061356 1405064223 2132480601 3471837773 3857196271 1533939408 1344457323 634634180 4072948403 680050901 768323162 1134151659 3598199122 317115311 3628406561 3943829940 2702150725 1599598447 3004350774 320440601 3773435723 1126213418 2803936038 1173937152 390806702 3824402174 3350260227 2893520859 141056261 2174905507 3298240955 485362527 1133607226 2616989366 289685201 1953801403 1847233397 497314181 604654038 1940366717 679405836 1771812173 4192699414 2076821145 686670159 1430029238 200203761 1341935812 2326174940 604310041 3899491441 1618505057 529685267 3932630357 2643636145 2182718691 778472645 3962969353 2228910272 2792480317 3330866947 638503717 3119708127 3512738638 4213909097 2367224032 3206692737 3512259986 2856908137 3723276590 2904560680 1827144130 3391975332 2438425233 1537021994 4218881 3077096105 3933579849 3349227222 822420020 2902758759 3700222546 510757966 3852902074 3858377894 2758581451 1660590724 1768264636 1707817253 1080163073 2404522082 2363150367 1686609033 2576430581 1088292217 3347374125 123546556 2719890071 1100237392 3070659339 2511911553 3611051088 3433710916 3524315035 1383303711 3603771872 2394002652 731390494 4033929578 3770175180 471284799 2918760612 2119674016 1191773156 3123903846 2515259996 562386317 3855875063 2727306056 3830988006 143531450 2533366464 1542959516 255 362436" option to reproduce the execution
0.00/0.02	c #vars 240
0.00/0.02	c #constraints 13

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

pid=21873
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.43 2.43 2.36 3/179 21876
/proc/meminfo: memFree=16330648/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=517564 CPUtime=0 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 1896 0 0 0 0 0 0 0 20 0 4 0 26010059 529985536 2257 33554432000 4194304 16246674 140735373253856 140735373253280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 130159 2265 441 2943 0 127053 0
[pid=21876/tid=21877] ppid=21873 vsize=534972 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 547811328 2325 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=539068 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 552005632 2341 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=544188 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 557248512 2358 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.43 2.43 2.36 3/179 21876
/proc/meminfo: memFree=16330648/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 26131 0 0 0 6 3 0 0 20 0 4 0 26010059 1247350784 26482 33554432000 4194304 16246674 140735373253856 140735373235776 12371341 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 304529 26492 603 2943 0 301423 0
[pid=21876/tid=21877] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 26500 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 26507 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 26514 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200536 s]
/proc/loadavg: 2.43 2.43 2.36 3/179 21876
/proc/meminfo: memFree=16330648/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 48970 0 0 0 12 7 0 0 20 0 4 0 26010059 1247350784 49321 33554432000 4194304 16246674 140735373253856 140735373235776 12449273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 304529 49336 603 2943 0 301423 0
[pid=21876/tid=21877] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 49345 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 49354 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 49364 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300505 s]
/proc/loadavg: 2.43 2.43 2.36 3/179 21876
/proc/meminfo: memFree=16330648/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 71662 0 0 0 19 10 0 0 20 0 4 0 26010059 1247350784 72014 33554432000 4194304 16246674 140735373253856 140735373235776 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 304529 72020 603 2943 0 301423 0
[pid=21876/tid=21877] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 72024 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 72028 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 72031 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700426 s]
/proc/loadavg: 2.43 2.43 2.36 3/179 21876
/proc/meminfo: memFree=16330648/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 159135 0 0 0 48 21 0 0 20 0 4 0 26010059 1247350784 159486 33554432000 4194304 16246674 140735373253856 140735373235776 6958849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 304529 159499 603 2943 0 301423 0
[pid=21876/tid=21877] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 159507 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 159514 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 1247350784 159521 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.43 2.43 2.36 3/183 21880
/proc/meminfo: memFree=15307296/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=1402436 CPUtime=1.49 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 291567 0 0 0 112 37 0 0 20 0 4 0 26010059 1436094464 291875 33554432000 4194304 16246674 140735373253856 140735373253168 12371244 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 350609 291875 826 2943 0 347503 0
[pid=21876/tid=21877] ppid=21873 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 1436094464 291875 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 1436094464 291875 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 1436094464 291875 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1402436

[startup+3.10043 s]
/proc/loadavg: 2.39 2.42 2.35 4/183 21880
/proc/meminfo: memFree=15129728/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=1437252 CPUtime=3.09 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 300415 0 0 0 271 38 0 0 20 0 4 0 26010059 1471746048 300723 33554432000 4194304 16246674 140735373253856 140735373235776 12371341 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 359313 300723 826 2943 0 356207 0
[pid=21876/tid=21877] ppid=21873 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 1471746048 300723 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 1471746048 300723 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 1471746048 300723 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1437252

[startup+6.30042 s]
/proc/loadavg: 2.39 2.42 2.35 4/183 21880
/proc/meminfo: memFree=14903772/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=1937988 CPUtime=6.28 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 425592 0 0 0 576 52 0 0 20 0 4 0 26010059 1984499712 425901 33554432000 4194304 16246674 140735373253856 140735373252520 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 484753 425913 826 2943 0 481647 0
[pid=21876/tid=21877] ppid=21873 vsize=1939012 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 1985548288 425921 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=1939012 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 1985548288 425927 33554432000 4194304 16246674 140735373253856 140204091350032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=1939012 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 1985548288 425932 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1937988

[startup+12.7004 s]
/proc/loadavg: 2.33 2.40 2.35 3/183 21880
/proc/meminfo: memFree=13387020/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=3277380 CPUtime=12.69 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 760447 0 0 0 1176 93 0 0 20 0 4 0 26010059 3356037120 760755 33554432000 4194304 16246674 140735373253856 140735373253168 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 819345 760755 826 2943 0 816239 0
[pid=21876/tid=21877] ppid=21873 vsize=3277380 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 3356037120 760755 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=3277380 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 3356037120 760755 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=3277380 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 3356037120 760755 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3277380

[startup+25.5005 s]
/proc/loadavg: 2.28 2.39 2.35 3/183 21880
/proc/meminfo: memFree=11513204/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=5047876 CPUtime=25.48 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 1203071 0 0 0 2401 147 0 0 20 0 4 0 26010059 5169025024 1203379 33554432000 4194304 16246674 140735373253856 140735373252952 4206928 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 1261969 1203379 826 2943 0 1258863 0
[pid=21876/tid=21877] ppid=21873 vsize=5047876 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 5169025024 1203379 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=5047876 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 5169025024 1203379 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=5047876 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 5169025024 1203379 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5047876

[startup+51.1005 s]
/proc/loadavg: 2.38 2.41 2.35 3/183 21880
/proc/meminfo: memFree=14523540/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=2042436 CPUtime=51.08 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 2201491 0 0 0 4791 317 0 0 20 0 4 0 26010059 2091454464 452039 33554432000 4194304 16246674 140735373253856 140735373251648 4206568 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 510609 452039 843 2943 0 507503 0
[pid=21876/tid=21877] ppid=21873 vsize=2042436 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 2091454464 452039 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=2042436 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 2091454464 452039 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=2042436 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 2091454464 452039 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2042436

[startup+102.301 s]
/proc/loadavg: 2.29 2.38 2.35 3/183 21881
/proc/meminfo: memFree=7234316/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=9317956 CPUtime=102.28 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 4020373 0 0 0 9668 560 0 0 20 0 4 0 26010059 9541586944 2270921 33554432000 4194304 16246674 140735373253856 140735373252952 4220495 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 2329489 2270921 843 2943 0 2326383 0
[pid=21876/tid=21877] ppid=21873 vsize=9317956 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 9541586944 2270921 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=9317956 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 9541586944 2270921 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=9317956 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 9541586944 2270921 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 9317956

[startup+162.3 s]
/proc/loadavg: 2.33 2.37 2.35 4/184 21934
/proc/meminfo: memFree=9685064/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=13779524 CPUtime=162.26 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 5135771 0 0 0 15515 711 0 0 20 0 4 0 26010059 14110232576 3386579 33554432000 4194304 16246674 140735373253856 140735373251776 14013920 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 3444881 3386579 848 2943 0 3441775 0
[pid=21876/tid=21877] ppid=21873 vsize=13779524 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 14110232576 3386579 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=13779524 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 14110232576 3386579 33554432000 4194304 16246674 140735373253856 140204091350032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=13779524 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 14110232576 3386579 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13779524

[startup+222.308 s]
/proc/loadavg: 2.29 2.35 2.34 3/183 21935
/proc/meminfo: memFree=1330232/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=15829572 CPUtime=222.25 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 5589320 0 0 0 21447 778 0 0 20 0 4 0 26010059 16209481728 3898893 33554432000 4194304 16246674 140735373253856 140735373251776 14016631 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 3957393 3898893 848 2943 0 3954287 0
[pid=21876/tid=21877] ppid=21873 vsize=15829572 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 16209481728 3898893 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=15829572 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 16209481728 3898893 33554432000 4194304 16246674 140735373253856 140204091350032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=15829572 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 16209481728 3898893 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 15829572



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+243.207 s]
/proc/loadavg: 2.21 2.32 2.33 3/183 21936
/proc/meminfo: memFree=1324800/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=15877700 CPUtime=243.15 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) R 21873 21876 16189 0 -1 4202496 5601482 0 0 0 23532 783 0 0 20 0 4 0 26010059 16258764800 3911055 33554432000 4194304 16246674 140735373253856 140735373253032 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 3969425 3911064 848 2943 0 3966319 0
[pid=21876/tid=21877] ppid=21873 vsize=15877700 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21877/stat : 21877 (toysat) S 21873 21876 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26010060 16258764800 3911069 33554432000 4194304 16246674 140735373253856 140204101840112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=15877700 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) S 21873 21876 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010060 16258764800 3911075 33554432000 4194304 16246674 140735373253856 140204091350256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21876/tid=21879] ppid=21873 vsize=15877700 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21879/stat : 21879 (toysat) S 21873 21876 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010060 16258764800 3911082 33554432000 4194304 16246674 140735373253856 140203972881584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 243.15
Current children cumulated vsize (KiB) 15877700

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

[startup+243.6 s]
/proc/loadavg: 2.21 2.32 2.33 3/183 21936
/proc/meminfo: memFree=1324800/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=0 CPUtime=243.55 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) Z 21873 21876 16189 0 -1 4203532 5601954 0 0 0 23533 822 0 0 20 0 2 0 26010059 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 0 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=0 CPUtime=0.37 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) R 21873 21876 16189 0 -1 4203588 8 0 0 0 0 37 0 0 20 0 2 0 26010060 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 243.55
Current children cumulated vsize (KiB) 0

[startup+244 s]
/proc/loadavg: 2.21 2.32 2.33 3/183 21936
/proc/meminfo: memFree=1324800/32872528 swapFree=1459628/1655852
[pid=21876] ppid=21873 vsize=0 CPUtime=243.95 cores=1,3,5,7
/proc/21876/stat : 21876 (toysat) Z 21873 21876 16189 0 -1 4203532 5601954 0 0 0 23533 862 0 0 20 0 2 0 26010059 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21876/statm: 0 0 0 0 0 0 0
[pid=21876/tid=21878] ppid=21873 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/21876/task/21878/stat : 21878 (toysat) R 21873 21876 16189 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 26010060 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 243.95
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 244.029
CPU time (s): 243.977
CPU user time (s): 235.333
CPU system time (s): 8.64368
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 15877700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 235.333
system time used= 8.64368
maximum resident set size= 15646108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5601954
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= 108
involuntary context switches= 254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.68174 second user time and 2.25166 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 10:47:25
IDJOB=4103937
IDBENCH=2510
IDSOLVER=2542
FILE ID=node136/4103937-1466239645
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71644 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103937-1466239645/watcher-4103937-1466239645 -o /tmp/evaluation-result-4103937-1466239645/solver-4103937-1466239645 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103937-1466239645.opb

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

MD5SUM BENCH= 1a1687e6de95bc6822d45f4331f81d44
RANDOM SEED=1789513225

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        16330912 kB
Buffers:            1252 kB
Cached:           163184 kB
SwapCached:        47176 kB
Active:         14074924 kB
Inactive:          73836 kB
Active(anon):   13939640 kB
Inactive(anon):    47056 kB
Active(file):     135284 kB
Inactive(file):    26780 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67051628 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:      15552068 kB
Mapped:            11456 kB
Shmem:                 0 kB
Slab:             572348 kB
SReclaimable:      16616 kB
SUnreclaim:       555732 kB
KernelStack:        1520 kB
PageTables:        34544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15741400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 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 node136 at 2016-06-18 10:51:30