Trace number 4120370

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 7.94379 7.94506

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n56-d3-i2-r1.cnf.gz-plain.pb.metafix.opb
MD5SUM03ea46695508a6b3a91e6af356452824
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.32195
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables84
Total number of constraints224
Number of constraints which are clauses224
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T20:24:35+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-4120370-1467311075.opb"]
0.00/0.01	c use --random-gen="2220690488 1546314077 2080081248 963198283 1706554910 3794295789 728257891 3241719051 3341823824 1056527377 1530280681 1180799083 2650950058 3556588298 2154646877 819404590 1180435447 2457182364 1057438973 150912968 2511875972 2751653698 3777928973 3661768631 80297778 2094406502 218291273 1924905707 1390170690 2494976243 1765078379 4133007217 2502024245 3279243031 704847406 3953165267 2081673620 640273977 3125984496 3843456055 3048389039 551232716 3177284111 465307423 929934628 763739027 2176831653 496584323 4263340914 3659726281 4212843886 1629131997 998645068 1930340202 2603861217 2505446219 1282827356 2792357631 1978625481 2083959660 4018613869 3021336593 101430481 3665003936 3065877829 3094937759 3010608295 2479649159 2007418251 737257930 108065264 2053186796 4241178901 1657193755 3844008711 3955673374 765393418 3329816094 1665065285 2512589357 3465220491 2357803220 54274901 333673588 4245639186 3776092791 3947703283 2123694127 31810502 4113834524 3065141547 3003068956 3286517230 2133905167 2665060363 182835799 1051321735 4181729661 1981245893 3346163907 1651091478 2649077882 1749422677 3535866089 1873471025 2179850032 3417058355 1278583715 3641334068 2510155649 1975222073 3464571474 3315528845 3286883920 1347276707 780323683 3915447953 2546297603 1950013831 3582412449 1786767120 1900889880 473534944 2083876493 1547582377 3571800821 607167227 654548393 3827185323 817233442 1160230814 1266333413 1220289179 3846439372 3697273224 2004391231 652808967 4057149808 4174332672 2772906412 2620925177 1272287331 2158789064 1536640667 4092779046 2796403274 127981702 4164328897 1525442648 1257300895 2764658791 2265119326 3460673177 1420438249 1726459040 523969787 2877867717 1434667925 1528867748 2551913822 48963625 2698754828 2930136312 4004081018 3422675030 2790780432 1057338819 3945764278 3585004276 2081217048 577724848 1852127526 2460534922 2331038481 2160199385 1108359601 1252380877 3790279659 3687040781 686390177 484983284 2289767000 502605917 734051344 2162104338 1260795712 4007591195 613029426 4015147712 3246607359 316626786 519623454 1512915608 2789910856 189504899 2912235439 3920775700 1603258975 2615325573 3455684713 2252088664 1327004435 3047662384 352271432 3605750878 1254315740 142292634 2263011560 4294759439 1455172503 668697820 4292814161 698228374 2173895271 2065305423 1173216683 2678074336 53962306 2524592634 1221364509 825521070 2873548052 2480419586 3092411603 264679147 2887322449 2218678185 4253128124 2316392240 2355232831 807130649 1099955788 4054168356 2995875512 929181183 2818149815 2117556680 2066715135 1050238500 4287023384 2089758310 301432448 2626243971 1842253571 2659209965 2219256635 3385088929 3883911774 2789321127 89387986 3843751491 1018904144 3412617270 3415621281 157412353 560726907 255 362436" option to reproduce the execution
0.00/0.01	c #vars 84
0.00/0.01	c #constraints 224
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      102      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      189 |      100 |      102      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      486 |      250 |      113      2 |        0 |        0
0.00/0.05	c  0.0s |       3 |      906 |      475 |      125      5 |        0 |        0
0.00/0.07	c  0.1s |       4 |     1497 |      813 |      138     10 |        0 |        0
0.09/0.11	c  0.1s |       5 |     2381 |     1320 |      152     15 |        0 |        0
0.09/0.18	c  0.2s |       6 |     3266 |     2081 |      185     23 |        0 |        0
0.19/0.27	c  0.3s |       7 |     4657 |     3223 |      204     34 |        0 |        0
0.39/0.40	c  0.4s |       8 |     6520 |     4936 |      225     50 |        0 |        0
0.49/0.58	c  0.6s |       9 |    10765 |     7506 |      248     72 |        0 |        0
0.79/0.85	c  0.8s |      10 |    17162 |    11361 |      273    101 |        0 |        0
1.10/1.18	c  1.2s |      11 |    26174 |    17144 |      301    143 |        0 |        0
1.49/1.57	c  1.6s |      12 |    39378 |    25819 |      332    199 |        0 |        0
2.20/2.20	c  2.2s |      13 |    58360 |    38832 |      366    276 |        0 |        0
3.09/3.12	c  3.1s |      14 |    84115 |    58352 |      403    381 |        0 |        0
4.50/4.55	c  4.5s |      15 |   123814 |    87632 |      444    523 |        0 |        0
6.49/6.55	c  6.5s |      15 |   181828 |   128732 |      444    706 |        1 |        4
6.60/6.69	c  6.7s |      16 |   186021 |   131552 |      489    718 |        1 |        4
7.80/7.88	c  7.9s |      16 |   219967 |   156827 |      489    815 |       16 |       56
7.80/7.88	c #cpu_time = 7.867s
7.80/7.88	c #wall_clock_time = 7.866s
7.80/7.88	c #decision = 219967
7.80/7.88	c #random_decision = 1080
7.80/7.88	c #conflict = 156827
7.80/7.88	c #restart = 16
7.80/7.88	s UNSATISFIABLE
7.80/7.88	c total CPU time = 7.884s
7.80/7.88	c total wall clock time = 7.883s

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

pid=18610
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.19 2.13 2.02 3/179 18613
/proc/meminfo: memFree=27580992/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 2683 0 0 0 0 0 0 0 20 0 4 0 12068534 736555008 3554 33554432000 4194304 16246674 140735373148496 140735373147920 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 180591 3565 441 2943 0 177485 0
[pid=18613/tid=18614] ppid=18610 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 755429376 3623 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 758575104 3638 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 763817984 3656 33554432000 4194304 16246674 140735373148496 140301817605296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.19 2.13 2.02 3/179 18613
/proc/meminfo: memFree=27580992/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 24769 0 0 0 5 4 0 0 20 0 4 0 12068534 1247350784 25630 33554432000 4194304 16246674 140735373148496 140735373147920 5590097 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 304529 25640 708 2943 0 301423 0
[pid=18613/tid=18614] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 25646 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 25651 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 25658 33554432000 4194304 16246674 140735373148496 140301817605296 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.200514 s]
/proc/loadavg: 2.19 2.13 2.02 3/179 18613
/proc/meminfo: memFree=27580992/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 48109 0 0 0 11 8 0 0 20 0 4 0 12068534 1247350784 48969 33554432000 4194304 16246674 140735373148496 140735373147920 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 304529 48982 709 2943 0 301423 0
[pid=18613/tid=18614] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 48989 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 48996 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 49000 33554432000 4194304 16246674 140735373148496 140301817605296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300474 s]
/proc/loadavg: 2.19 2.13 2.02 3/179 18613
/proc/meminfo: memFree=27580992/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 71022 0 0 0 18 11 0 0 20 0 4 0 12068534 1247350784 71882 33554432000 4194304 16246674 140735373148496 140735373147920 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 304529 71893 709 2943 0 301423 0
[pid=18613/tid=18614] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 71900 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 71908 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 71913 33554432000 4194304 16246674 140735373148496 140301817605296 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.700396 s]
/proc/loadavg: 2.19 2.13 2.02 3/179 18613
/proc/meminfo: memFree=27580992/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 160126 0 0 0 46 23 0 0 20 0 4 0 12068534 1247350784 160987 33554432000 4194304 16246674 140735373148496 140735373130368 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 304529 160999 709 2943 0 301423 0
[pid=18613/tid=18614] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 161007 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 161012 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 161018 33554432000 4194304 16246674 140735373148496 140301817605296 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.19 2.13 2.02 4/183 18617
/proc/meminfo: memFree=26596652/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 245497 0 0 0 115 34 0 0 20 0 4 0 12068534 1247350784 246337 33554432000 4194304 16246674 140735373148496 140735373131496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 304529 246337 786 2943 0 301423 0
[pid=18613/tid=18614] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 246337 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 246337 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1247350784 246337 33554432000 4194304 16246674 140735373148496 140301817605296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.19 2.13 2.02 4/183 18617
/proc/meminfo: memFree=26508612/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 267388 0 0 0 272 37 0 0 20 0 4 0 12068534 1337528320 268228 33554432000 4194304 16246674 140735373148496 140735373131496 5662916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 326545 268228 786 2943 0 323439 0
[pid=18613/tid=18614] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268228 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268228 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268228 33554432000 4194304 16246674 140735373148496 140301817605296 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) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.17 2.13 2.02 4/183 18617
/proc/meminfo: memFree=26507992/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 267403 0 0 0 592 37 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140735373131496 5512919 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 326545 268243 786 2943 0 323439 0
[pid=18613/tid=18614] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301817605296 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) 1306180

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18613 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40048 s]
/proc/loadavg: 2.17 2.13 2.02 4/183 18617
/proc/meminfo: memFree=26507992/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1306180 CPUtime=6.39 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 267403 0 0 0 602 37 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140735373131496 5523203 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 326545 268243 786 2943 0 323439 0
[pid=18613/tid=18614] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301817605296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1306180

[startup+7.20041 s]
/proc/loadavg: 2.17 2.13 2.02 3/183 18617
/proc/meminfo: memFree=26508132/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1306180 CPUtime=7.19 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 267403 0 0 0 682 37 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140735373131496 13001725 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 326545 268243 786 2943 0 323439 0
[pid=18613/tid=18614] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301817605296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 1306180

[startup+7.6004 s]
/proc/loadavg: 2.17 2.13 2.02 3/183 18617
/proc/meminfo: memFree=26508132/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1306180 CPUtime=7.59 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 267403 0 0 0 722 37 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140735373131496 5661285 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 326545 268243 786 2943 0 323439 0
[pid=18613/tid=18614] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301817605296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 1306180

[startup+7.80744 s]
/proc/loadavg: 2.17 2.13 2.02 3/183 18617
/proc/meminfo: memFree=26508132/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=1306180 CPUtime=7.8 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202496 267403 0 0 0 743 37 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140735373131496 5661200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 326545 268243 786 2943 0 323439 0
[pid=18613/tid=18614] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18614/stat : 18614 (toysat) S 18610 18613 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301949709552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18613/tid=18615] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (toysat) S 18610 18613 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301939219696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18613/tid=18616] ppid=18610 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (toysat) S 18610 18613 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12068534 1337528320 268243 33554432000 4194304 16246674 140735373148496 140301817605296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 1306180

[startup+7.90043 s]
/proc/loadavg: 2.17 2.13 2.02 3/183 18617
/proc/meminfo: memFree=26508132/32872528 swapFree=1427768/1542232
[pid=18613] ppid=18610 vsize=0 CPUtime=7.88 cores=0,2,4,6
/proc/18613/stat : 18613 (toysat) R 18610 18613 15544 0 -1 4202500 267408 0 0 0 750 38 0 0 20 0 1 0 12068534 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18613/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 7.94506
CPU time (s): 7.94379
CPU user time (s): 7.50986
CPU system time (s): 0.433934
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.50986
system time used= 0.433934
maximum resident set size= 1072984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267408
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= 17
involuntary context switches= 9

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020996 second user time and 0.037994 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-30 20:24:35
IDJOB=4120370
IDBENCH=109914
IDSOLVER=2542
FILE ID=node116/4120370-1467311075
RUNJOBID= node116-1467310476-18420
PBS_JOBID= 20005287
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i2-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120370-1467311075/watcher-4120370-1467311075 -o /tmp/evaluation-result-4120370-1467311075/solver-4120370-1467311075 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18420 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120370-1467311075.opb

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

MD5SUM BENCH= 03ea46695508a6b3a91e6af356452824
RANDOM SEED=118757655

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.426
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.54
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.426
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:        27580932 kB
Buffers:          202440 kB
Cached:          1709076 kB
SwapCached:            0 kB
Active:          1427988 kB
Inactive:        1573600 kB
Active(anon):    1092636 kB
Inactive(anon):        0 kB
Active(file):     335352 kB
Inactive(file):  1573600 kB
Unevictable:     1542232 kB
Mlocked:         1427768 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       2633936 kB
Mapped:            17120 kB
Shmem:               204 kB
Slab:             613712 kB
SReclaimable:      57796 kB
SUnreclaim:       555916 kB
KernelStack:        1520 kB
PageTables:         9212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2766864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 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= 71692 MiB
End job on node116 at 2016-06-30 20:24:43