Trace number 4107090

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) 179.304 179.344

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__1024.opb
MD5SUM2bcff1be6c98046e73917053605e201c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15362998
Total number of constraints18000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)15002
Number of constraints which are nor clauses,nor cardinality constraints2998
Minimum length of a constraint1024
Maximum length of a constraint46081
Number of terms in the objective function 15360000
Biggest coefficient in the objective function 129631
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 520168088576
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 129631
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 520168088576
Number of bits of the biggest sum of numbers39
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-18T22:36:55+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-4107090-1466282192.opb"]
0.00/0.01	c use --random-gen="377364151 1323918881 1691066013 170320330 2004419916 1370237332 1015704387 1795308170 3714552080 945825256 1660322714 945215222 305748893 4051772992 4145866501 2933479893 1598223341 429490880 2865518407 721555517 3978192649 268878023 2591049021 1180864315 1642924091 2782461091 3033739753 475852891 3117493345 4277477129 532057252 540277657 977153086 1933370409 4117146307 2283794924 4091933579 1714067331 3987605376 1056378167 2794813593 1441980750 988754703 1693299077 3104344597 1071518742 1468469252 3510802858 3109204357 777507133 2686710368 3322477873 786106045 1259149974 3995769290 3579887270 1227886511 675572389 390157358 1791854505 6935590 1470536552 453740778 1796427016 4196907836 4030456004 3589488573 3221804353 994075605 1799386385 2968761939 3162054153 4224861071 2020136539 4172482791 2942027694 2622063980 4282987994 2613761285 3831553137 3976102451 1298735462 4155400567 2318509590 1370970958 374780910 1720886833 2857496828 1871978068 879054989 3303265685 1825487619 3280290293 872856383 2789324904 3107215256 1410864294 776560134 3031700268 1320078673 407198247 1926030472 1819373022 539171907 2237848101 3107439574 2769916450 4226208914 1538921131 3741417710 557151020 3642438797 3718706469 2793186390 237354280 449470088 263874796 2363732679 1809368107 3833361178 2290007209 3368088806 1706775092 4250943605 1982791240 631039571 264289056 256577326 493554117 2102031709 34811981 1718408363 1037772041 2766668167 1681684517 2387703819 2425240118 950934349 867526666 340627275 2841115998 3951690409 529909110 4094696142 3993862794 24960522 3022342346 631034577 3244097573 1301271726 2617803183 1251026758 3649476904 2704300046 53728985 2458280162 4192712639 1345073219 2521450615 1483264866 1879688338 3174045532 2934122534 1407173512 1760293484 1516692258 2754807939 3884385091 3629424068 2609807630 1884518912 1397377492 1919782079 793212985 1298770159 1819843458 2168587318 738585249 879165386 2266784713 3101559570 3813050282 4104505583 3734748513 213668942 855000697 3118707319 2232626011 86641637 3619919820 3421779410 1971989839 1653426210 3409985835 1407865099 213366140 2952039120 3199787261 3318220756 4253885055 1560842415 4237407793 3692074731 625041808 4164600457 1930096243 509813747 2500042012 190168014 2594693321 811349310 2833739409 3179498080 11980261 1003028186 2004122976 2693881710 1194879312 1676264648 1581621951 681177074 236044302 2889667653 2972049090 3895123926 4219196728 2385833508 484750915 618316779 3739396547 636410010 432240663 810108586 1401826270 1836940973 3910958605 1444509831 1917763746 1983380921 1906377010 4177787726 3793433113 1775941349 1653986871 964045696 1745600500 1475346459 1572857996 2882640403 1551360548 4116214484 3044853715 900135652 1695554752 2636022325 343337236 255 362436" option to reproduce the execution
112.87/112.93	c #vars 15362998
112.87/112.93	c #constraints 18000

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

pid=25691
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.16 2.20 2.18 4/179 25694
/proc/meminfo: memFree=28492812/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=794044 CPUtime=0 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 2975 0 0 0 0 0 0 0 20 0 4 0 30267984 813101056 2825 33554432000 4194304 16246674 140733981179312 140733981178736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 199023 2834 441 2943 0 195917 0
[pid=25694/tid=25695] ppid=25691 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 831975424 2895 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 835121152 2907 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30267984 839315456 2925 33554432000 4194304 16246674 140733981179312 140537662262448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 2.16 2.20 2.18 4/179 25694
/proc/meminfo: memFree=28492812/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 30378 0 0 0 5 4 0 0 20 0 4 0 30267984 1333334016 30166 33554432000 4194304 16246674 140733981179312 140733981178624 8055408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 325521 30181 798 2943 0 322415 0
[pid=25694/tid=25695] ppid=25691 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 1333334016 30192 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 1333334016 30203 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 1333334016 30215 33554432000 4194304 16246674 140733981179312 140537662262448 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) 1302084

[startup+0.200522 s]
/proc/loadavg: 2.16 2.20 2.18 4/179 25694
/proc/meminfo: memFree=28492812/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 44073 0 0 0 13 6 0 0 20 0 4 0 30267984 1343819776 44372 33554432000 4194304 16246674 140733981179312 140733981178624 4221019 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 328081 44372 799 2943 0 324975 0
[pid=25694/tid=25695] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 44372 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 44372 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 44372 33554432000 4194304 16246674 140733981179312 140537662262448 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) 1312324

[startup+0.300579 s]
/proc/loadavg: 2.16 2.20 2.18 4/179 25694
/proc/meminfo: memFree=28492812/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 44779 0 0 0 23 6 0 0 20 0 4 0 30267984 1343819776 45078 33554432000 4194304 16246674 140733981179312 140733981178624 8058596 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 328081 45078 799 2943 0 324975 0
[pid=25694/tid=25695] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 45078 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 45078 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 45078 33554432000 4194304 16246674 140733981179312 140537662262448 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) 1312324

[startup+0.700423 s]
/proc/loadavg: 2.16 2.20 2.18 4/179 25694
/proc/meminfo: memFree=28492812/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 57806 0 0 0 61 8 0 0 20 0 4 0 30267984 1343819776 58105 33554432000 4194304 16246674 140733981179312 140733981178624 13928594 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 328081 58105 800 2943 0 324975 0
[pid=25694/tid=25695] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 58105 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 58105 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 58105 33554432000 4194304 16246674 140733981179312 140537662262448 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) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.22 2.22 2.18 4/183 25698
/proc/meminfo: memFree=28230400/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 88225 0 0 0 136 13 0 0 20 0 4 0 30267984 1343819776 88525 33554432000 4194304 16246674 140733981179312 140733981177152 7853005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 328081 88544 800 2943 0 324975 0
[pid=25694/tid=25695] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 88555 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 88566 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 1343819776 88579 33554432000 4194304 16246674 140733981179312 140537662262448 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) 1312324

[startup+3.10046 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 25698
/proc/meminfo: memFree=28047768/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=1336900 CPUtime=3.09 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 150242 0 0 0 287 22 0 0 20 0 4 0 30267984 1368985600 156673 33554432000 4194304 16246674 140733981179312 140733981177152 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 334225 156681 800 2943 0 331119 0
[pid=25694/tid=25695] ppid=25691 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 1368985600 156685 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 1368985600 156691 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 1368985600 156695 33554432000 4194304 16246674 140733981179312 140537662262448 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) 1336900

[startup+6.30047 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 25698
/proc/meminfo: memFree=27581772/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=1386052 CPUtime=6.28 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 266367 0 0 0 589 39 0 0 20 0 4 0 30267984 1419317248 285062 33554432000 4194304 16246674 140733981179312 140733981162304 4221044 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 346513 285062 800 2943 0 343407 0
[pid=25694/tid=25695] ppid=25691 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 1419317248 285062 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 1419317248 285062 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 1419317248 285062 33554432000 4194304 16246674 140733981179312 140537662262448 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) 1386052

[startup+12.7004 s]
/proc/loadavg: 2.19 2.21 2.18 4/183 25698
/proc/meminfo: memFree=26795784/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=1945156 CPUtime=12.69 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 383944 0 0 0 1209 60 0 0 20 0 4 0 30267984 1991839744 427167 33554432000 4194304 16246674 140733981179312 140733981178488 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 486289 427167 800 2943 0 483183 0
[pid=25694/tid=25695] ppid=25691 vsize=1945156 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 1991839744 427167 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=1945156 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 1991839744 427167 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=1945156 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 1991839744 427167 33554432000 4194304 16246674 140733981179312 140537662262448 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) 1945156

[startup+25.5006 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 25698
/proc/meminfo: memFree=25449960/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=3286596 CPUtime=25.49 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 719306 0 0 0 2431 118 0 0 20 0 4 0 30267984 3365474304 762529 33554432000 4194304 16246674 140733981179312 140733981178488 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 821649 762529 801 2943 0 818543 0
[pid=25694/tid=25695] ppid=25691 vsize=3286596 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 3365474304 762529 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=3286596 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 3365474304 762529 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=3286596 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 3365474304 762529 33554432000 4194304 16246674 140733981179312 140537662262448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3286596

[startup+51.1005 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 25699
/proc/meminfo: memFree=20905680/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=8059460 CPUtime=51.08 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 1912361 0 0 0 4818 290 0 0 20 0 4 0 30267984 8252887040 1955585 33554432000 4194304 16246674 140733981179312 140733981177976 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 2014865 1955590 803 2943 0 2011759 0
[pid=25694/tid=25695] ppid=25691 vsize=8059460 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 8252887040 1955594 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=8059460 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 8252887040 1955597 33554432000 4194304 16246674 140733981179312 140537672735760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=8059460 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 8252887040 1955601 33554432000 4194304 16246674 140733981179312 140537662262448 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) 8059460

[startup+102.301 s]
/proc/loadavg: 2.38 2.25 2.20 4/183 25700
/proc/meminfo: memFree=15648136/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=12987972 CPUtime=102.28 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 3144433 0 0 0 9741 487 0 0 20 0 4 0 30267984 13299683328 3187656 33554432000 4194304 16246674 140733981179312 140733981177976 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 3246993 3187659 803 2943 0 3243887 0
[pid=25694/tid=25695] ppid=25691 vsize=12987972 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 13299683328 3187672 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=12987972 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 13299683328 3187676 33554432000 4194304 16246674 140733981179312 140537672735760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=12987972 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 13299683328 3187680 33554432000 4194304 16246674 140733981179312 140537662262448 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) 12987972

[startup+162.3 s]
/proc/loadavg: 2.24 2.23 2.19 4/183 25702
/proc/meminfo: memFree=14454684/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=14130756 CPUtime=162.26 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 3430367 0 0 0 15684 542 0 0 20 0 4 0 30267984 14469894144 3473590 33554432000 4194304 16246674 140733981179312 140733981178488 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 3532689 3473590 817 2943 0 3529583 0
[pid=25694/tid=25695] ppid=25691 vsize=14130756 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 14469894144 3473590 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=14130756 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 14469894144 3473590 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=14130756 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 14469894144 3473590 33554432000 4194304 16246674 140733981179312 140537662262448 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) 14130756



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+178.5 s]
/proc/loadavg: 2.33 2.25 2.20 3/183 25702
/proc/meminfo: memFree=13698048/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=15894084 CPUtime=178.46 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) R 25691 25694 24737 0 -1 4202496 3871064 0 0 0 17219 627 0 0 20 0 4 0 30267984 16275542016 3914287 33554432000 4194304 16246674 140733981179312 140733981178488 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 3973521 3914294 848 2943 0 3970415 0
[pid=25694/tid=25695] ppid=25691 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25695/stat : 25695 (toysat) S 25691 25694 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30267984 16275542016 3914298 33554432000 4194304 16246674 140733981179312 140537683225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25694/tid=25696] ppid=25691 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25696/stat : 25696 (toysat) S 25691 25694 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30267984 16275542016 3914302 33554432000 4194304 16246674 140733981179312 140537672735984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) S 25691 25694 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30267984 16275542016 3914306 33554432000 4194304 16246674 140733981179312 140537662262448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 178.46
Current children cumulated vsize (KiB) 15894084

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

[startup+178.8 s]
/proc/loadavg: 2.33 2.25 2.20 3/183 25702
/proc/meminfo: memFree=13698048/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=0 CPUtime=178.76 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) Z 25691 25694 24737 0 -1 4203532 3871349 0 0 0 17219 657 0 0 20 0 2 0 30267984 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 0 0 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) R 25691 25694 24737 0 -1 4203588 2 0 0 0 0 28 0 0 20 0 2 0 30267984 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 178.76
Current children cumulated vsize (KiB) 0

[startup+179.2 s]
/proc/loadavg: 2.33 2.25 2.20 3/183 25702
/proc/meminfo: memFree=13698048/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=0 CPUtime=179.16 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) Z 25691 25694 24737 0 -1 4203532 3871349 0 0 0 17219 697 0 0 20 0 2 0 30267984 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 0 0 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) R 25691 25694 24737 0 -1 4203588 2 0 0 0 0 68 0 0 20 0 2 0 30267984 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 179.16
Current children cumulated vsize (KiB) 0

[startup+179.3 s]
/proc/loadavg: 2.33 2.25 2.20 3/181 25702
/proc/meminfo: memFree=28489620/32872528 swapFree=1370848/1518016
[pid=25694] ppid=25691 vsize=0 CPUtime=179.26 cores=1,3,5,7
/proc/25694/stat : 25694 (toysat) Z 25691 25694 24737 0 -1 4203532 3871349 0 0 0 17219 707 0 0 20 0 2 0 30267984 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25694/statm: 0 0 0 0 0 0 0
[pid=25694/tid=25697] ppid=25691 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/25694/task/25697/stat : 25697 (toysat) R 25691 25694 24737 0 -1 4203588 2 0 0 0 0 79 0 0 20 0 2 0 30267984 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 179.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 179.344
CPU time (s): 179.304
CPU user time (s): 172.197
CPU system time (s): 7.10692
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 15894084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.197
system time used= 7.10692
maximum resident set size= 15658288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3871349
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= 40
involuntary context switches= 198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3098 second user time and 1.3388 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-18 22:36:55
IDJOB=4107090
IDBENCH=71872
IDSOLVER=2542
FILE ID=node129/4107090-1466282192
RUNJOBID= node129-1466274985-24754
PBS_JOBID= 19918243
Free space on /tmp= 70936 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__1024.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107090-1466282192/watcher-4107090-1466282192 -o /tmp/evaluation-result-4107090-1466282192/solver-4107090-1466282192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107090-1466282192.opb

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

MD5SUM BENCH= 2bcff1be6c98046e73917053605e201c
RANDOM SEED=1964301495

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.143
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.143
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.54
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.143
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.143
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:        28492812 kB
Buffers:          164988 kB
Cached:          1107088 kB
SwapCached:         1940 kB
Active:          1752504 kB
Inactive:         334892 kB
Active(anon):     816768 kB
Inactive(anon):     1076 kB
Active(file):     935736 kB
Inactive(file):   333816 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:            837180 kB
Writeback:            48 kB
AnonPages:       2332840 kB
Mapped:            10664 kB
Shmem:                 0 kB
Slab:             638928 kB
SReclaimable:      79800 kB
SUnreclaim:       559128 kB
KernelStack:        1448 kB
PageTables:         9300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2833704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 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= 70920 MiB
End job on node129 at 2016-06-18 22:39:54