Trace number 4120218

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 11.0413 11.0437

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n18-d4-i1.cnf.gz-plain.pb.metafix.opb
MD5SUM69a603ba6fbe1afcb0a9c1d641210d8f
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.645901
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables73
Total number of constraints156
Number of constraints which are clauses156
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:16:48+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-4120218-1467310608.opb"]
0.00/0.01	c use --random-gen="3651426598 1767137976 1927836576 3791730751 1372749363 2570379791 176123223 1558655512 1562378376 279383604 3619431309 660273585 4103689464 4037917196 423104992 1585639200 2810226171 2933985782 1702666773 2220925190 1882082546 1241042849 1161614898 3457111191 2789073483 4065197368 2442008214 3341387334 918953288 1289100182 822197012 1741368971 3498920229 50697105 751737663 981250344 431558073 1708407550 2179876891 12813161 3891821295 4028403372 750711664 3939350593 2811076809 891111479 434114457 1928151848 956456357 1162758831 2681972433 1244078609 67971078 1494341788 1796995494 1285609165 886862158 2958518477 1243580912 1434172495 2687532279 1672720382 2701055311 1748369224 3790490207 1309398064 54598556 1759115256 662946800 1780561921 801475568 3949841508 2870479023 1966699851 3285754761 948320278 2163230896 336124095 86268032 3704191377 2898318788 322062505 1312555980 975336189 414908666 3263562063 1431456420 1258511198 1694497570 745748295 2649624742 531993276 2385809310 3742471 559422871 263750535 4064811585 1720584606 2323899557 1498753363 2450322963 1353576160 1167377985 2816089967 1203189341 2843164627 1936885368 1600507239 1989217555 1079802039 244639851 3500286015 2156153845 3916452526 2323739944 3308636776 16515400 1601448345 1591792854 3829648399 4036496115 2604783861 1041958433 2034449003 3636416879 2753543835 3403504505 430484516 3248971122 3880718246 3753882337 847624966 1171482478 2931757719 1181035772 2075339462 1832381687 2499193173 1301455391 430222116 2811663661 1908031882 3377883391 2782119354 667353063 3004948020 274410052 3327321663 3242313006 2040446178 2415473898 181385297 3142602267 308660614 143158857 4248374578 534402774 3660889156 3978692395 1800377740 2999503255 1338290853 2122110712 2455014128 53086805 636937547 3653846639 2336383903 2139117071 1342311560 3633545344 625423926 1752453649 1524218206 2481205793 333276734 2912440751 2982834139 347518502 4180050384 2619193930 616023328 3742738793 3318109409 393470973 3724185383 3798807910 778270859 1081245907 111530709 840815012 2373743674 988199012 2215840234 952120438 972636306 3129046618 1852315296 2997563248 1827757710 3170259400 3098232344 1790196689 1539493948 1343640326 821535829 2756108203 608261951 2882291549 2328857934 1091822929 2438792212 19555303 3366337156 3650453430 4019520894 2142058873 2440694014 2418557658 61141767 3979829426 2922542565 955815554 734183264 3065325013 809032699 2014354903 242068762 1586690484 1455714372 3348822927 3962894495 2334040128 3493383041 1610350027 3482517006 3017115570 987472708 4281424021 3430497183 539503910 926842948 2857758158 729679553 3582965782 2911610488 2787094010 3953164531 279982872 513890662 2568667608 2580429868 613295195 849946693 2517495029 2678679307 255 362436" option to reproduce the execution
0.00/0.01	c #vars 73
0.00/0.01	c #constraints 156
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 |       76      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      119 |      100 |       76      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      330 |      250 |       84      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      660 |      475 |       93      7 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1149 |      813 |      103     13 |        0 |        0
0.09/0.12	c  0.1s |       5 |     1822 |     1320 |      114     20 |        0 |        0
0.09/0.18	c  0.2s |       6 |     3130 |     2081 |      139     31 |        0 |        0
0.19/0.27	c  0.3s |       7 |     5018 |     3223 |      153     45 |        0 |        0
0.29/0.39	c  0.4s |       8 |     7798 |     4936 |      169     66 |        0 |        0
0.49/0.59	c  0.6s |       9 |    11630 |     7506 |      186     94 |        0 |        0
0.89/0.92	c  0.9s |      10 |    16902 |    11361 |      205    133 |        0 |        0
1.20/1.29	c  1.3s |      11 |    24978 |    17144 |      226    186 |        0 |        0
1.79/1.80	c  1.8s |      12 |    35676 |    25819 |      249    259 |        0 |        0
2.59/2.60	c  2.6s |      13 |    52269 |    38832 |      274    359 |        0 |        0
3.69/3.70	c  3.7s |      14 |    78314 |    58352 |      302    497 |        0 |        0
5.29/5.35	c  5.3s |      15 |   118418 |    87632 |      333    685 |        0 |        0
7.28/7.35	c  7.3s |      15 |   160566 |   120732 |      333    879 |        0 |        0
7.98/8.03	c  8.0s |      16 |   174119 |   131552 |      367    942 |        0 |        0
9.99/10.04	c 10.0s |      16 |   222063 |   165752 |      367   1123 |        1 |        3
10.88/10.98	c 11.0s |      16 |   245613 |   182437 |      367   1207 |       29 |       50
10.88/10.98	c #cpu_time = 10.969s
10.88/10.98	c #wall_clock_time = 10.969s
10.88/10.98	c #decision = 245613
10.88/10.98	c #random_decision = 1083
10.88/10.98	c #conflict = 182437
10.88/10.98	c #restart = 16
10.88/10.98	s UNSATISFIABLE
10.88/10.98	c total CPU time = 10.984s
10.88/10.98	c total wall clock time = 10.984s

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

pid=22830
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.17 2.20 1.98 3/179 22833
/proc/meminfo: memFree=27237952/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 2884 0 0 0 0 0 0 0 20 0 4 0 12012011 788983808 3244 33554432000 4194304 16246674 140736631446400 140736631445824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 193391 3253 441 2943 0 190285 0
[pid=22833/tid=22834] ppid=22830 vsize=788924 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 807858176 3315 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=793020 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 812052480 3330 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 816246784 3348 33554432000 4194304 16246674 140736631446400 140317118426288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.17 2.20 1.98 3/179 22833
/proc/meminfo: memFree=27237952/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 26204 0 0 0 5 4 0 0 20 0 4 0 12012011 1247350784 26553 33554432000 4194304 16246674 140736631446400 140736631445824 13191869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 304529 26563 707 2943 0 301423 0
[pid=22833/tid=22834] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 26572 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 26578 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 26585 33554432000 4194304 16246674 140736631446400 140317118426288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200498 s]
/proc/loadavg: 2.17 2.20 1.98 3/179 22833
/proc/meminfo: memFree=27237952/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 49789 0 0 0 12 7 0 0 20 0 4 0 12012011 1247350784 50138 33554432000 4194304 16246674 140736631446400 140736631445824 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 304529 50151 707 2943 0 301423 0
[pid=22833/tid=22834] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 50158 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 50164 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 50170 33554432000 4194304 16246674 140736631446400 140317118426288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300476 s]
/proc/loadavg: 2.17 2.20 1.98 3/179 22833
/proc/meminfo: memFree=27237952/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 72955 0 0 0 19 10 0 0 20 0 4 0 12012011 1247350784 73305 33554432000 4194304 16246674 140736631446400 140736631445824 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 304529 73316 707 2943 0 301423 0
[pid=22833/tid=22834] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 73323 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 73330 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 73336 33554432000 4194304 16246674 140736631446400 140317118426288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700413 s]
/proc/loadavg: 2.17 2.20 1.98 3/179 22833
/proc/meminfo: memFree=27237952/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 165662 0 0 0 45 24 0 0 20 0 4 0 12012011 1247350784 166011 33554432000 4194304 16246674 140736631446400 140736631428288 13965592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 304529 166023 708 2943 0 301423 0
[pid=22833/tid=22834] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 166031 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 166037 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 166044 33554432000 4194304 16246674 140736631446400 140317118426288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.17 2.20 1.98 3/183 22837
/proc/meminfo: memFree=26255428/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 245477 0 0 0 113 36 0 0 20 0 4 0 12012011 1247350784 245806 33554432000 4194304 16246674 140736631446400 140736631445712 5823496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 304529 245806 785 2943 0 301423 0
[pid=22833/tid=22834] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 245806 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 245806 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1247350784 245806 33554432000 4194304 16246674 140736631446400 140317118426288 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) 1218116

[startup+3.10038 s]
/proc/loadavg: 2.17 2.20 1.98 3/183 22837
/proc/meminfo: memFree=26167268/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 267389 0 0 0 270 39 0 0 20 0 4 0 12012011 1337528320 267718 33554432000 4194304 16246674 140736631446400 140736631429400 5823538 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 326545 267718 785 2943 0 323439 0
[pid=22833/tid=22834] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267718 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267718 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267718 33554432000 4194304 16246674 140736631446400 140317118426288 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) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.24 2.21 1.99 3/183 22837
/proc/meminfo: memFree=26166892/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 267411 0 0 0 590 39 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140736631428288 5831709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 326545 267740 787 2943 0 323439 0
[pid=22833/tid=22834] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317118426288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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 22833 sig 9
??? kill -22833 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40047 s]
/proc/loadavg: 2.24 2.21 1.99 3/183 22837
/proc/meminfo: memFree=26166892/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1306180 CPUtime=6.39 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 267411 0 0 0 600 39 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140736631428288 13198640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 326545 267740 787 2943 0 323439 0
[pid=22833/tid=22834] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317118426288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1306180

[startup+9.60041 s]
/proc/loadavg: 2.24 2.21 1.99 3/183 22837
/proc/meminfo: memFree=26167480/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1306180 CPUtime=9.58 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 267411 0 0 0 919 39 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140736631429400 5676852 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 326545 267740 787 2943 0 323439 0
[pid=22833/tid=22834] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317118426288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 1306180

[startup+10.4004 s]
/proc/loadavg: 2.22 2.21 1.99 3/183 22837
/proc/meminfo: memFree=26167612/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1306180 CPUtime=10.38 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 267411 0 0 0 999 39 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140736631429400 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 326545 267740 787 2943 0 323439 0
[pid=22833/tid=22834] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317118426288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 1306180

[startup+10.8004 s]
/proc/loadavg: 2.22 2.21 1.99 3/183 22837
/proc/meminfo: memFree=26167612/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=1306180 CPUtime=10.78 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202496 267411 0 0 0 1039 39 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140736631428288 6021072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 326545 267740 787 2943 0 323439 0
[pid=22833/tid=22834] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22834/stat : 22834 (toysat) S 22830 22833 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317209636080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22833/tid=22835] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22835/stat : 22835 (toysat) S 22830 22833 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317199146224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22833/tid=22836] ppid=22830 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22833/task/22836/stat : 22836 (toysat) S 22830 22833 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12012011 1337528320 267740 33554432000 4194304 16246674 140736631446400 140317118426288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.78
Current children cumulated vsize (KiB) 1306180

[startup+11.0004 s]
/proc/loadavg: 2.22 2.21 1.99 3/180 22837
/proc/meminfo: memFree=26436196/32872528 swapFree=1459604/1655828
[pid=22833] ppid=22830 vsize=0 CPUtime=11 cores=1,3,5,7
/proc/22833/stat : 22833 (toysat) R 22830 22833 22681 0 -1 4202500 267416 0 0 0 1058 42 0 0 20 0 1 0 12012011 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22833/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 11.0437
CPU time (s): 11.0413
CPU user time (s): 10.5834
CPU system time (s): 0.45793
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5834
system time used= 0.45793
maximum resident set size= 1070972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267416
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= 21
involuntary context switches= 14

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065989 second user time and 0.118981 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-30 20:16:48
IDJOB=4120218
IDBENCH=109813
IDSOLVER=2542
FILE ID=node136/4120218-1467310608
RUNJOBID= node136-1467309401-22698
PBS_JOBID= 20005289
Free space on /tmp= 71632 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n18-d4-i1.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-4120218-1467310608/watcher-4120218-1467310608 -o /tmp/evaluation-result-4120218-1467310608/solver-4120218-1467310608 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22698 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120218-1467310608.opb

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

MD5SUM BENCH= 69a603ba6fbe1afcb0a9c1d641210d8f
RANDOM SEED=119390797

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.182
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.36
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.182
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.182
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.182
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.182
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.182
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.182
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.182
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27238752 kB
Buffers:          190432 kB
Cached:          1929628 kB
SwapCached:            0 kB
Active:          1492360 kB
Inactive:        1736308 kB
Active(anon):    1110764 kB
Inactive(anon):        0 kB
Active(file):     381596 kB
Inactive(file):  1736308 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2763668 kB
Mapped:            17024 kB
Shmem:               204 kB
Slab:             614444 kB
SReclaimable:      58680 kB
SUnreclaim:       555764 kB
KernelStack:        1504 kB
PageTables:         9632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2896848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    608256 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= 71612 MiB
End job on node136 at 2016-06-30 20:16:59