Trace number 4097121

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 10.7014 10.7037

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_17.opb
MD5SUM36e2392504eb0255a1933bb9fae2a3c4
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.475927
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables552
Total number of constraints2558
Number of constraints which are clauses2553
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint23
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 40
Number of bits of the biggest sum of numbers6
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-17T00:34:49+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-4097121-1466116489.opb"]
0.00/0.01	c use --random-gen="2466713403 2214899119 677804264 3628239659 1971067162 3336748584 2826054378 2479921426 681267099 3901197340 2993271873 1863240326 2381481118 2869860750 1005902782 972713231 1977300216 2362215473 1988731881 899789330 3494200141 749896598 2685195801 3852235096 496389632 1852148498 1525522305 2703254070 4152258906 268477869 672556795 3929973420 1050697786 3339417923 1020691508 1306981763 4219665644 1019977204 2687856856 2537863647 2652643364 2134553791 1447076236 1160850000 1884533802 1745621290 389347353 967391215 1872502959 2017735828 3468904141 37695791 3855465781 3218818273 275468217 3078240820 1658655793 3284430613 3363080527 2409359596 703503013 597692656 3049297681 722588886 1334426762 2048501411 149314714 2618150338 2061249788 2157365445 1638494695 833804450 1377800056 2528529932 3980484550 1139923578 1234501514 1797615809 3188873417 2139998494 2861592220 2749345781 1437544286 1639376159 1020513409 3556334636 2920864820 1795554982 3589725195 743997615 1520395514 3053448713 1746928363 1202005504 581292093 2513476366 63067397 1707272312 3870390918 1927485490 2449954485 3604802486 4166591594 179153274 3882675597 2877027081 2194692447 2105989591 200513767 4001996938 1410677599 486812525 3587324932 1509264377 548245300 1217470516 3034682750 3071011269 4179926441 3261333898 591583161 1236955858 3297644984 588638938 2602489939 1640638625 3761572848 936112862 3477541403 2672621082 834238945 4051718213 2384656460 3789116326 3394878348 2590443406 3583582871 3494580068 3841082837 279466349 2883206503 2922582746 1524954279 2555585285 989636258 754170661 1078094691 3219004402 3568968555 3053649746 2869016008 618254997 1542877676 2257092312 2089623817 1655709327 3623170792 2760267022 1665538756 3833667073 3907710498 1906595899 396220841 2011067105 1726117389 359850106 3301557953 3442539902 786712655 3035441626 459106184 3687069054 934830130 1702119996 3088175424 3892539537 1509659851 3621884479 629865743 2879269929 3169069120 3699549386 1605905904 1181775994 2192024706 2575718296 3597977193 4024669485 2202193214 3767403392 4194418933 3638183731 1697211448 200258657 176405505 3385622853 2717230674 339405236 3889211160 3068892286 1865253135 3765331745 3449122539 1032383815 4183870057 1805508412 3459317812 1509503018 2976388124 1660936141 2862456554 704950255 1099597364 510338170 1647854759 2025202692 1922079423 216685309 1229441710 3288479382 3890456879 2082057604 2113204763 696786141 4255909002 724192933 965269958 3424947872 1795184416 435578464 3260876560 1537059871 1359886885 301669367 1177323648 2006815626 2049358997 3661730905 2455855257 3865380100 2640949793 1680014646 2876427156 986929300 2387368008 3880150506 1832783223 4257132959 2115386096 2946048791 4213699460 1567266929 1615354373 2921680286 1552091989 1007354120 255 362436" option to reproduce the execution
0.00/0.03	c #vars 552
0.00/0.03	c #constraints 2558
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |     1035      0 |        5 |        0
0.09/0.10	c  0.0s |       1 |      122 |      100 |     1035      0 |        5 |      182
0.09/0.14	c  0.1s |       2 |      306 |      250 |     1139      0 |        5 |      182
0.19/0.20	c  0.1s |       3 |      565 |      475 |     1253      0 |        5 |      182
0.29/0.32	c  0.3s |       4 |      966 |      813 |     1379      0 |        5 |      182
0.39/0.49	c  0.4s |       5 |     1576 |     1320 |     1517      0 |        5 |      182
0.69/0.79	c  0.7s |       6 |     2478 |     2081 |     1836      1 |        5 |      182
1.20/1.23	c  1.2s |       7 |     3922 |     3223 |     2020      2 |        5 |      182
1.69/1.73	c  1.7s |       8 |     5855 |     4936 |     2222      3 |        5 |      182
2.39/2.43	c  2.4s |       9 |     8732 |     7506 |     2445      5 |        5 |      182
3.40/3.43	c  3.4s |      10 |    12953 |    11361 |     2690      8 |        5 |      182
4.79/4.89	c  4.8s |      11 |    19302 |    17144 |     2960     12 |        5 |      182
6.89/6.90	c  6.8s |      11 |    27182 |    24444 |     2960     15 |       13 |      280
7.19/7.22	c  7.2s |      12 |    28681 |    25819 |     3257     15 |       13 |      280
9.19/9.23	c  9.2s |      12 |    36458 |    32819 |     3257     18 |       24 |      424
10.59/10.64	c 10.6s |      12 |    41562 |    37399 |     3257     19 |      338 |     1728
10.59/10.64	c #cpu_time = 10.541s
10.59/10.64	c #wall_clock_time = 10.569s
10.59/10.64	c #decision = 41562
10.59/10.64	c #random_decision = 153
10.59/10.64	c #conflict = 37399
10.59/10.64	c #restart = 12
10.59/10.64	s UNSATISFIABLE
10.59/10.64	c total CPU time = 10.615s
10.59/10.64	c total wall clock time = 10.642s

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

pid=20803
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.03 2.04 2.00 3/179 20806
/proc/meminfo: memFree=30445160/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 2869 0 0 0 0 0 0 0 20 0 4 0 13695542 785838080 2720 33554432000 4194304 16246674 140733403201072 140733403200496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 192367 2730 441 2943 0 189261 0
[pid=20806/tid=20807] ppid=20803 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 803663872 2787 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=788924 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 807858176 2805 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=793020 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13695542 812052480 2822 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 20806
/proc/meminfo: memFree=30445160/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 26542 0 0 0 5 4 0 0 20 0 4 0 13695542 1247350784 26381 33554432000 4194304 16246674 140733403201072 140733403200496 5675010 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 304529 26391 718 2943 0 301423 0
[pid=20806/tid=20807] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 26395 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 26398 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 26402 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200488 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 20806
/proc/meminfo: memFree=30445160/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 47765 0 0 0 12 7 0 0 20 0 4 0 13695542 1247350784 47604 33554432000 4194304 16246674 140733403201072 140733403200496 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 304529 47613 718 2943 0 301423 0
[pid=20806/tid=20807] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 47618 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 47624 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 47628 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300437 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 20806
/proc/meminfo: memFree=30445160/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 69228 0 0 0 20 9 0 0 20 0 4 0 13695542 1247350784 69067 33554432000 4194304 16246674 140733403201072 140733403182976 12478189 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 304529 69074 718 2943 0 301423 0
[pid=20806/tid=20807] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 69080 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 69093 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 69103 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700387 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 20806
/proc/meminfo: memFree=30445160/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 152884 0 0 0 47 22 0 0 20 0 4 0 13695542 1247350784 152724 33554432000 4194304 16246674 140733403201072 140733403182976 5723366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 304529 152736 718 2943 0 301423 0
[pid=20806/tid=20807] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 152741 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 152747 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13695542 1247350784 152752 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.03 2.04 2.00 3/183 20810
/proc/meminfo: memFree=29501844/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 246114 0 0 0 113 36 0 0 20 0 4 0 13695542 1250496512 245933 33554432000 4194304 16246674 140733403201072 140733403182976 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 305297 245933 792 2943 0 302191 0
[pid=20806/tid=20807] ppid=20803 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1250496512 245933 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1250496512 245933 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13695542 1250496512 245933 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.1004 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 20810
/proc/meminfo: memFree=29378836/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 267450 0 0 0 270 39 0 0 20 0 4 0 13695542 1337528320 267269 33554432000 4194304 16246674 140733403201072 140733403182976 5676090 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 326545 267269 794 2943 0 323439 0
[pid=20806/tid=20807] ppid=20803 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1337528320 267269 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1337528320 267269 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13695542 1337528320 267269 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 20810
/proc/meminfo: memFree=29371072/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 268855 0 0 0 590 39 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140733403182976 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 327825 268674 794 2943 0 324719 0
[pid=20806/tid=20807] ppid=20803 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

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

[startup+6.41142 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 20810
/proc/meminfo: memFree=29371072/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1311300 CPUtime=6.4 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 268855 0 0 0 601 39 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140733403182976 5675777 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 327825 268674 794 2943 0 324719 0
[pid=20806/tid=20807] ppid=20803 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 1311300

[startup+8.00042 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 20810
/proc/meminfo: memFree=29370984/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1311300 CPUtime=7.99 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 268855 0 0 0 760 39 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140733403182976 5823905 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 327825 268674 794 2943 0 324719 0
[pid=20806/tid=20807] ppid=20803 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13695542 1342771200 268674 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 1311300

[startup+9.60041 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 20810
/proc/meminfo: memFree=29371008/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1314372 CPUtime=9.59 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 269623 0 0 0 920 39 0 0 20 0 4 0 13695542 1345916928 269442 33554432000 4194304 16246674 140733403201072 140733403184072 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 328593 269442 794 2943 0 325487 0
[pid=20806/tid=20807] ppid=20803 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1345916928 269442 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1345916928 269442 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13695542 1345916928 269442 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 1314372

[startup+10.4004 s]
/proc/loadavg: 2.02 2.04 2.00 4/183 20810
/proc/meminfo: memFree=29367908/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1314372 CPUtime=10.39 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 269623 0 0 0 1000 39 0 0 20 0 4 0 13695542 1345916928 269442 33554432000 4194304 16246674 140733403201072 140733403182976 13006112 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 328593 269442 794 2943 0 325487 0
[pid=20806/tid=20807] ppid=20803 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1345916928 269442 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1345916928 269442 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13695542 1345916928 269442 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.39
Current children cumulated vsize (KiB) 1314372

[startup+10.6004 s]
/proc/loadavg: 2.02 2.04 2.00 4/183 20810
/proc/meminfo: memFree=29367908/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=1314372 CPUtime=10.59 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202496 269625 0 0 0 1020 39 0 0 20 0 4 0 13695542 1345916928 269444 33554432000 4194304 16246674 140733403201072 140733403182976 5523208 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 328593 269444 796 2943 0 325487 0
[pid=20806/tid=20807] ppid=20803 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (toysat) S 20803 20806 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13695542 1345916928 269444 33554432000 4194304 16246674 140733403201072 140125626412272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20806/tid=20808] ppid=20803 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (toysat) S 20803 20806 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13695542 1345916928 269444 33554432000 4194304 16246674 140733403201072 140125615922416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20806/tid=20809] ppid=20803 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20809/stat : 20809 (toysat) S 20803 20806 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13695542 1345916928 269444 33554432000 4194304 16246674 140733403201072 140125605448880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 1314372

[startup+10.7004 s]
/proc/loadavg: 2.02 2.04 2.00 4/183 20810
/proc/meminfo: memFree=29367908/32872528 swapFree=302776/319128
[pid=20806] ppid=20803 vsize=0 CPUtime=10.68 cores=1,3,5,7
/proc/20806/stat : 20806 (toysat) R 20803 20806 16914 0 -1 4202500 269630 0 0 0 1024 44 0 0 20 0 1 0 13695542 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20806/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.68
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 10.7037
CPU time (s): 10.7014
CPU user time (s): 10.2484
CPU system time (s): 0.452931
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2484
system time used= 0.452931
maximum resident set size= 1077792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269630
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= 18
involuntary context switches= 12

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025996 second user time and 0.047992 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-17 00:34:49
IDJOB=4097121
IDBENCH=107712
IDSOLVER=2542
FILE ID=node128/4097121-1466116489
RUNJOBID= node128-1466113207-19340
PBS_JOBID= 19904049
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_17.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097121-1466116489/watcher-4097121-1466116489 -o /tmp/evaluation-result-4097121-1466116489/solver-4097121-1466116489 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097121-1466116489.opb

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

MD5SUM BENCH= 36e2392504eb0255a1933bb9fae2a3c4
RANDOM SEED=257003001

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.768
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.57
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.768
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.768
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.56
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.768
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:        30445052 kB
Buffers:           72452 kB
Cached:           191732 kB
SwapCached:         2096 kB
Active:          1287568 kB
Inactive:         111660 kB
Active(anon):    1135412 kB
Inactive(anon):     1600 kB
Active(file):     152156 kB
Inactive(file):   110060 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:             16136 kB
Writeback:             4 kB
AnonPages:       1452924 kB
Mapped:            10656 kB
Shmem:                 0 kB
Slab:             572256 kB
SReclaimable:      15684 kB
SUnreclaim:       556572 kB
KernelStack:        1528 kB
PageTables:         6968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1595028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1142784 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= 71676 MiB
End job on node128 at 2016-06-17 00:35:00