Trace number 4103489

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) 173.305 173.339

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
MD5SUM24c749e45d4bbd6a8ec98f3e49fb7aad
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9663726592
Best CPU time to get the best result obtained on this benchmark0.035993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9663726592
Optimality of the best value was proved YES
Number of variables56
Total number of constraints5
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 constraints5
Minimum length of a constraint12
Maximum length of a constraint44
Number of terms in the objective function 56
Biggest coefficient in the objective function 9663676416
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 19327377394
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 9663676416
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 19327377394
Number of bits of the biggest sum of numbers35
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:11:45+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-4103489-1466237505.opb"]
0.00/0.01	c use --random-gen="3197393936 2269620275 3868629227 174157685 3921817065 4119119842 1292370340 118451227 1545918724 275864837 653180543 3849651134 32842621 374355812 2672706430 2803290055 923704853 3527757639 3420029487 1982777061 2790234596 2241336509 1419674648 2418226449 735753326 961880916 1737029898 2010863596 2952585652 2826016195 207622835 2503959702 3024901376 520671305 954146484 1320532125 1835319292 3958392575 1614796821 3817694722 3510958805 3288722299 1158736194 2359777246 1982955360 163143879 462971450 1447531565 3311151661 629144946 3137837160 500829305 1725584180 1415524029 3455275932 3535872566 2336024997 1298604117 3785323344 1636983442 1140350939 9017979 617699564 2433106395 2368117316 1686016790 2061639421 3192110987 1407102231 1474691619 2664742033 225313166 2490543105 1324847909 1751561352 4061621181 2362816909 2863326874 3964891361 2669690166 2140423530 2956576235 2093842418 3739109659 2696756836 3362713022 3220120683 2093208611 1182701008 3245100787 1053556717 4143379111 2313908052 945935138 4118194943 2617065445 799518432 3181328382 768652285 4162921655 2146790354 1011344864 4054718745 3146139682 3030718432 2703213539 3097318116 4041092864 4018962114 1521302996 2982720111 2482487970 2530549470 4068787521 2414604656 2088257590 2258828574 1686445654 1291332824 2418094272 714290973 2173365773 3668793580 498794325 2647573766 761423864 4074358753 3990063084 817177476 3566879372 4016639947 2740237923 2754824371 2556317316 2318881599 119713357 3601554396 2439726678 1833924794 4247982632 1119024614 2463264318 1962198007 3729287026 3948764322 1549558312 3172115493 2412015506 2056638704 3718571890 4154694341 592907725 2796726459 309009714 500035825 2845646362 3278375586 3776698957 1918478720 3207756932 262736725 2506222957 2825120142 3239285042 2196219941 2817557100 2480981542 175432346 2041552587 119552450 1997903570 2606678159 3213403864 1860361135 593599534 29741333 2244771149 3338570376 2704715238 3746757030 3395494465 1578638717 3516855256 3989654201 2631238473 1933244720 1451522077 310233224 375344224 2511614991 2796386332 3527921834 258258546 1448755698 81442434 1768883272 292661045 222755860 167754627 1475895832 1429754740 4256050520 3570929513 4263673089 3538027713 1949737932 2592718491 3870704146 89896545 487235912 3853967501 2465925004 3846582198 899869698 428470673 2255208907 1568354112 3217810740 676261462 191913190 434657178 2983273644 2330027681 2368773210 1214684762 2920971354 15314127 2027849403 546688443 4065765051 2266895163 3120719855 2043380963 721807079 3322467347 3341951260 2891319763 1885632835 2714144359 3809975359 1514245391 1124730761 1704858880 2851274820 1423656258 4120572172 3561817925 1394522246 3417686756 1971639390 3323948418 3031985010 1224243495 1281355581 2449092804 1803790253 255 362436" option to reproduce the execution
0.00/0.01	c #vars 56
0.00/0.01	c #constraints 5

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

pid=3283
running on 4 cores: 0,2,4,6

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.35 2.25 2.19 4/179 3286
/proc/meminfo: memFree=28872076/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 2597 0 0 0 0 0 0 0 20 0 4 0 25797060 713486336 2447 33554432000 4194304 16246674 140735659201024 140735659200448 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 174959 2457 441 2943 0 171853 0
[pid=3286/tid=3287] ppid=3283 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 758575104 2618 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 762769408 2635 33554432000 4194304 16246674 140735659201024 140698870324464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25797060 768012288 2652 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.35 2.25 2.19 4/179 3286
/proc/meminfo: memFree=28872076/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 25561 0 0 0 5 4 0 0 20 0 4 0 25797060 1247350784 25402 33554432000 4194304 16246674 140735659201024 140735659182912 12654533 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 304529 25414 629 2943 0 301423 0
[pid=3286/tid=3287] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 25423 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 25431 33554432000 4194304 16246674 140735659201024 140698870324464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 25440 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200491 s]
/proc/loadavg: 2.35 2.25 2.19 4/179 3286
/proc/meminfo: memFree=28872076/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 48634 0 0 0 12 6 0 0 20 0 4 0 25797060 1247350784 48476 33554432000 4194304 16246674 140735659201024 140735659182912 12654533 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 304529 48489 629 2943 0 301423 0
[pid=3286/tid=3287] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 48500 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 48508 33554432000 4194304 16246674 140735659201024 140698870324464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 48516 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300483 s]
/proc/loadavg: 2.35 2.25 2.19 4/179 3286
/proc/meminfo: memFree=28872076/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 69693 0 0 0 20 9 0 0 20 0 4 0 25797060 1247350784 69534 33554432000 4194304 16246674 140735659201024 140735659182912 12657222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 304529 69540 629 2943 0 301423 0
[pid=3286/tid=3287] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 69543 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 69548 33554432000 4194304 16246674 140735659201024 140698870324464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 69551 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700382 s]
/proc/loadavg: 2.35 2.25 2.19 4/179 3286
/proc/meminfo: memFree=28872076/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 157718 0 0 0 50 19 0 0 20 0 4 0 25797060 1247350784 157560 33554432000 4194304 16246674 140735659201024 140735659182912 12371445 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 304529 157570 629 2943 0 301423 0
[pid=3286/tid=3287] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 157577 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 157584 33554432000 4194304 16246674 140735659201024 140698870324464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25797060 1247350784 157591 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.32 2.25 2.19 4/183 3290
/proc/meminfo: memFree=27854360/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=1401412 CPUtime=1.48 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 291435 0 0 0 112 36 0 0 20 0 4 0 25797060 1435045888 291232 33554432000 4194304 16246674 140735659201024 140735659200336 12371230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 350353 291232 832 2943 0 347247 0
[pid=3286/tid=3287] ppid=3283 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 1435045888 291232 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 1435045888 291232 33554432000 4194304 16246674 140735659201024 140698870324464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25797060 1435045888 291232 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1401412

[startup+3.10041 s]
/proc/loadavg: 2.32 2.25 2.19 4/183 3290
/proc/meminfo: memFree=27672592/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=1437252 CPUtime=3.09 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 300421 0 0 0 272 37 0 0 20 0 4 0 25797060 1471746048 300218 33554432000 4194304 16246674 140735659201024 140735659198912 13881064 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 359313 300218 832 2943 0 356207 0
[pid=3286/tid=3287] ppid=3283 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 1471746048 300218 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 1471746048 300218 33554432000 4194304 16246674 140735659201024 140698870324464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=1437252 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25797060 1471746048 300218 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1437252

[startup+6.3003 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 3290
/proc/meminfo: memFree=27460916/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=1964612 CPUtime=6.29 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 432157 0 0 0 574 55 0 0 20 0 4 0 25797060 2011762688 431955 33554432000 4194304 16246674 140735659201024 140735659199688 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 491153 431962 832 2943 0 488047 0
[pid=3286/tid=3287] ppid=3283 vsize=1964612 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 2011762688 431966 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=1964612 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 2011762688 431971 33554432000 4194304 16246674 140735659201024 140698870324240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=1964612 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25797060 2011762688 431978 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1964612

[startup+12.7004 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 3290
/proc/meminfo: memFree=26277280/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=3172932 CPUtime=12.69 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 734311 0 0 0 1171 98 0 0 20 0 4 0 25797060 3249082368 734108 33554432000 4194304 16246674 140735659201024 140735659198848 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 793233 734117 832 2943 0 790127 0
[pid=3286/tid=3287] ppid=3283 vsize=3172932 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 3249082368 734123 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=3172932 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 3249082368 734129 33554432000 4194304 16246674 140735659201024 140698870324240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=3172932 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25797060 3249082368 734133 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3172932

[startup+25.5004 s]
/proc/loadavg: 2.38 2.26 2.20 3/183 3290
/proc/meminfo: memFree=23499804/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=5719620 CPUtime=25.49 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 1371015 0 0 0 2366 183 0 0 20 0 4 0 25797060 5856890880 1370812 33554432000 4194304 16246674 140735659201024 140735659200200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 1429905 1370812 833 2943 0 1426799 0
[pid=3286/tid=3287] ppid=3283 vsize=5719620 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 5856890880 1370812 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=5719620 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 5856890880 1370812 33554432000 4194304 16246674 140735659201024 140698870324464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=5719620 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25797060 5856890880 1370812 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5719620

[startup+51.1005 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 3290
/proc/meminfo: memFree=18943660/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=10477124 CPUtime=51.08 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 2560186 0 0 0 4770 338 0 0 20 0 4 0 25797060 10728574976 2559983 33554432000 4194304 16246674 140735659201024 140735659199688 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 2619281 2559991 833 2943 0 2616175 0
[pid=3286/tid=3287] ppid=3283 vsize=10477124 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 10728574976 2559995 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=10477124 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 10728574976 2560004 33554432000 4194304 16246674 140735659201024 140698870324240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=10477124 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25797060 10728574976 2560010 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10477124

[startup+102.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 3291
/proc/meminfo: memFree=17021540/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=12142148 CPUtime=102.28 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 2931320 0 0 0 9833 395 0 0 20 0 4 0 25797060 12433559552 2976085 33554432000 4194304 16246674 140735659201024 140735659198848 14013805 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 3035537 2976085 838 2943 0 3032431 0
[pid=3286/tid=3287] ppid=3283 vsize=12142148 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 12433559552 2976085 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=12142148 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 12433559552 2976085 33554432000 4194304 16246674 140735659201024 140698870324240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=12142148 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25797060 12433559552 2976085 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12142148

[startup+162.3 s]
/proc/loadavg: 2.20 2.23 2.18 4/183 3292
/proc/meminfo: memFree=15310656/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=13843012 CPUtime=162.26 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 3305400 0 0 0 15770 456 0 0 20 0 4 0 25797060 14175244288 3401265 33554432000 4194304 16246674 140735659201024 140735659198976 14016896 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 3460753 3401265 838 2943 0 3457647 0
[pid=3286/tid=3287] ppid=3283 vsize=13843012 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 14175244288 3401265 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=13843012 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 14175244288 3401265 33554432000 4194304 16246674 140735659201024 140698870324240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=13843012 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25797060 14175244288 3401265 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13843012



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+172.5 s]
/proc/loadavg: 2.16 2.22 2.18 3/183 3292
/proc/meminfo: memFree=13551444/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=15914564 CPUtime=172.47 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) R 3283 3286 31224 0 -1 4202496 3823588 0 0 0 16708 539 0 0 20 0 4 0 25797060 16296513536 3919453 33554432000 4194304 16246674 140735659201024 140735659200200 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 3978641 3919462 838 2943 0 3975535 0
[pid=3286/tid=3287] ppid=3283 vsize=15914564 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3287/stat : 3287 (toysat) S 3283 3286 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25797060 16296513536 3919470 33554432000 4194304 16246674 140735659201024 140698880814320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=15914564 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) S 3283 3286 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25797060 16296513536 3919475 33554432000 4194304 16246674 140735659201024 140698870324464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3286/tid=3289] ppid=3283 vsize=15914564 CPUtime=0 cores=0,2,4,6
/proc/3286/task/3289/stat : 3289 (toysat) S 3283 3286 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25797060 16296513536 3919482 33554432000 4194304 16246674 140735659201024 140698859850928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 172.47
Current children cumulated vsize (KiB) 15914564

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

[startup+172.807 s]
/proc/loadavg: 2.16 2.22 2.18 3/181 3292
/proc/meminfo: memFree=16733656/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=0 CPUtime=172.77 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) Z 3283 3286 31224 0 -1 4203532 3824130 0 0 0 16708 569 0 0 20 0 2 0 25797060 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 0 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=0 CPUtime=0.29 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) R 3283 3286 31224 0 -1 4203588 8 0 0 0 0 29 0 0 20 0 2 0 25797060 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 172.77
Current children cumulated vsize (KiB) 0

[startup+173.2 s]
/proc/loadavg: 2.16 2.22 2.18 3/181 3292
/proc/meminfo: memFree=16733656/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=0 CPUtime=173.16 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) Z 3283 3286 31224 0 -1 4203532 3824130 0 0 0 16708 608 0 0 20 0 2 0 25797060 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 0 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) R 3283 3286 31224 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 25797060 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 173.16
Current children cumulated vsize (KiB) 0

[startup+173.3 s]
/proc/loadavg: 2.16 2.22 2.18 3/181 3292
/proc/meminfo: memFree=16733656/32872528 swapFree=1200228/1314692
[pid=3286] ppid=3283 vsize=0 CPUtime=173.26 cores=0,2,4,6
/proc/3286/stat : 3286 (toysat) Z 3283 3286 31224 0 -1 4203532 3824130 0 0 0 16708 618 0 0 20 0 2 0 25797060 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3286/statm: 0 0 0 0 0 0 0
[pid=3286/tid=3288] ppid=3283 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/3286/task/3288/stat : 3288 (toysat) R 3283 3286 31224 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25797060 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 173.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 173.339
CPU time (s): 173.305
CPU user time (s): 167.085
CPU system time (s): 6.22005
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 15914564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.085
system time used= 6.22005
maximum resident set size= 15679980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3824130
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= 61
involuntary context switches= 176

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.867868 second user time and 0.959854 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 10:11:45
IDJOB=4103489
IDBENCH=2375
IDSOLVER=2542
FILE ID=node131/4103489-1466237505
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103489-1466237505/watcher-4103489-1466237505 -o /tmp/evaluation-result-4103489-1466237505/solver-4103489-1466237505 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103489-1466237505.opb

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

MD5SUM BENCH= 24c749e45d4bbd6a8ec98f3e49fb7aad
RANDOM SEED=7084407

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28872340 kB
Buffers:          128144 kB
Cached:           162580 kB
SwapCached:         1500 kB
Active:          1757052 kB
Inactive:         189520 kB
Active(anon):    1655184 kB
Inactive(anon):     3064 kB
Active(file):     101868 kB
Inactive(file):   186456 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2971972 kB
Mapped:            10356 kB
Shmem:                 0 kB
Slab:             602364 kB
SReclaimable:      46316 kB
SUnreclaim:       556048 kB
KernelStack:        1520 kB
PageTables:        10304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3111584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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 node131 at 2016-06-18 10:14:39