Trace number 3368947

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
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.35 1203.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf
MD5SUM12dd7af6f21831da932d15cd8d1054f3
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368947-1305407174.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.02	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.02	c -- vars added        650
0.00/0.02	c Parsing time:  0.01 s
0.00/0.02	c  N st     0         0       650      2769         0         0      8307         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.01 s
0.00/0.90	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.90	c calculated reachability. Time: 0.00
0.00/0.90	c Calc default polars -  time:   0.00 s pos:     302 undec:      63 neg:     285
0.00/0.90	c =========================================================================================
0.00/0.90	c types(t): F = full restart, N = normal restart
0.00/0.90	c types(t): S = simplification begin/end, E = solution found
0.00/0.90	c restart types(rt): st = static, dy = dynamic
0.00/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.90	c  B st     0         0       631      2742         0         0      8339         0   no data   no data  --
0.00/0.90	c Decided on static restart strategy
0.00/0.90	c  N st     8      4918       631      2742         0      4876      8339    140957   no data   no data  --
0.00/0.90	c  N st    10     11302       631      2742         0      4505      8339     87794   no data   no data  --
0.00/0.90	c  N st    11     17045       631      2742         0     10186      8339    250313   no data   no data  --
4.42/1.20	c  F st    12     25002       631      2742         0     12484      8339    321901   no data   no data  --
4.42/1.20	c  N st    12     25002       631      2742         0     12484      8339    321901   no data   no data  --
5.96/1.50	c  N dy    18     30001       631      2742         0     10743      8339    235240   no data   no data  --
5.96/1.50	c  S st    18     30001       631      2742         0     10743      8339    235240   no data   no data  --
5.96/1.50	c  S st    18     30504       631      2742         0     11246      8339    247938   no data   no data  --
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.96/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
5.96/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.77/1.72	c lits-rem:       122  cl-subs:      306  v-elim:      0  v-fix:    0  time:  0.98 s
6.77/1.73	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.03
6.77/1.73	c calculated reachability. Time: 0.00
6.77/1.73	c  N dy    18     30504       631      2742         0     10940      8339    238095   no data   no data  --
7.59/1.98	c  N dy    29     34890       631      2742         0     15277      8339    353982     17.83     18.98  --
8.35/2.19	c  N dy    44     38943       631      2742         0     11457      8339    205066     17.95     18.90  --
9.95/2.50	c  N dy    59     43722       631      2742         0     16197      8339    333947     17.90     18.91  --
10.35/2.65	c  S st    70     45761       631      2742         0      9341      8339    118435     17.95   no data  --
10.35/2.67	c  S st    70     46269       631      2742         0      9849      8339    132026     17.95   no data  --
10.35/2.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.35/2.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.35/2.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
10.35/2.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.75/2.78	c lits-rem:        24  cl-subs:       16  v-elim:      0  v-fix:    0  time:  0.38 s
10.75/2.78	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
10.75/2.78	c vivif2 --  cl tried     9833 cl shrink        0 lits rem          0 time: 0.00
10.75/2.79	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.03
10.75/2.79	c calculated reachability. Time: 0.00
10.75/2.79	c  N dy    70     46269       631      2742         0      9833      8339    131382     17.95   no data  --
11.97/3.03	c  N dy    93     50601       631      2742         0     14129      8339    247782     18.04     19.06  --
13.14/3.36	c  N dy   104     55550       631      2742         0     19021      8339    377494     17.82     18.97  --
14.34/3.60	c  N dy   127     59551       631      2742         0     13097      8339    192979     17.91     20.38  --
15.13/3.87	c  N dy   149     63599       631      2742         0     17117      8339    298327     17.95     19.07  --
16.36/4.20	c  N dy   153     67908       631      2742         0     21355      8339    404695     17.72     18.82  --
17.12/4.31	c  S st   162     69404       631      2742         0     11954      8339    138683     17.76     17.76  --
17.12/4.34	c  S st   162     69910       631      2742         0     12457      8339    152338     17.76   no data  --
17.12/4.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.12/4.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.12/4.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
17.12/4.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.12/4.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.12/4.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
17.12/4.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.91/4.50	c lits-rem:        25  cl-subs:       46  v-elim:      0  v-fix:    0  time:  0.59 s
17.91/4.50	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
17.91/4.50	c vivif2 --  cl tried    12411 cl shrink        0 lits rem          0 time: 0.01
17.91/4.51	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.04
17.91/4.51	c calculated reachability. Time: 0.00
17.91/4.51	c  N dy   162     69910       631      2742         0     12411      8339    150935     17.76   no data  --
19.12/4.86	c  N dy   189     75173       631      2742         0     17634      8339    289283     17.80     18.87  --
20.74/5.25	c  N dy   212     80036       631      2742         0     22460      8339    416080     17.82     19.16  --
22.30/5.60	c  N dy   234     85144       631      2742         0     15646      8339    217254     17.85     21.01  --
22.70/5.76	c  F st   246     87502       631      2742         0     17992      8339    280492     17.86     17.08  --
23.90/6.01	c  N st   251     90803       631      2742         0     21272      8339    373835     17.86   no data  --
24.30/6.17	c Decided on static restart strategy
26.69/6.72	c  N st   254     99813       631      2742         0     17280      8339    372323     17.86   no data  --
28.29/7.14	c  S st   255    104867       631      2742         0     22251      8339    521361     17.86   no data  --
28.29/7.20	c  S st   255    105367       631      2742         0     22751      8339    534209     17.86   no data  --
28.70/7.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.70/7.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.70/7.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
28.70/7.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.70/7.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.70/7.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
28.70/7.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
34.32/8.68	c lits-rem:       415  cl-subs:      842  v-elim:      0  v-fix:    0  time:  5.81 s
34.32/8.68	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
34.32/8.69	c vivif2 --  cl tried    21909 cl shrink        0 lits rem          0 time: 0.02
34.67/8.71	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.08
34.67/8.71	c calculated reachability. Time: 0.00
34.67/8.71	c  N st   255    105367       631      2742         0     21909      8339    506303     17.86   no data  --
38.29/9.62	c  N st   256    114966       631      2742         0     17605      8339    341164     17.86   no data  --
44.24/11.14	c  N st   257    129363       631      2742         0     16979      8339    334058     17.86   no data  --
52.22/13.18	c  N st   258    150958       631      2742         0     22511      8339    452025     17.86   no data  --
55.41/13.92	c  S st   259    158051       631      2742         0     29506      8339    667437     17.86   no data  --
55.41/13.99	c  S st   259    158552       631      2742         0     30006      8339    680482     17.86   no data  --
55.41/13.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
55.41/13.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.41/14.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
55.84/14.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.84/14.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.84/14.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
55.84/14.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
63.38/15.93	c lits-rem:       376  cl-subs:     1022  v-elim:      0  v-fix:    0  time:  7.61 s
63.38/15.93	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
63.38/15.94	c vivif2 --  cl tried    28984 cl shrink        0 lits rem          0 time: 0.02
63.38/15.96	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.10
63.38/15.96	c calculated reachability. Time: 0.00
63.38/15.96	c  N st   259    158552       631      2742         0     28984      8339    645316     17.86   no data  --
85.70/21.55	c  N st   260    207142       631      2742         0     23675      8339    450453     17.86   no data  --
99.27/24.96	c  N st   261    237828       631      2742         0     34132      8339    703482     17.86   no data  --
99.27/24.96	c  S st   261    237828       631      2742         0     34132      8339    703482     17.86   no data  --
99.69/25.05	c  S st   261    238329       631      2742         0     34633      8339    716193     17.86   no data  --
99.69/25.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
99.69/25.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.69/25.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
99.69/25.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.69/25.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.69/25.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
99.69/25.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
108.47/27.22	c lits-rem:       485  cl-subs:     1605  v-elim:      0  v-fix:    0  time:  8.50 s
108.47/27.22	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
108.47/27.23	c vivif2 --  cl tried    33028 cl shrink        0 lits rem          0 time: 0.03
108.47/27.26	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.12
108.47/27.26	c calculated reachability. Time: 0.00
108.47/27.26	c  N st   261    238329       631      2742         0     33028      8339    668575     17.86   no data  --
144.32/36.29	c  F st   262    306251       631      2742         0     35143      8339    686122     17.86   no data  --
144.32/36.30	c  N st   262    306251       631      2742         0     35143      8339    686122     17.86   no data  --
155.50/39.03	c  N dy   340    325879       631      2742         0     30780      8339    451516     17.95     18.95  --
169.88/42.61	c  N dy   408    351892       631      2742         0     31732      8339    444314     17.72     18.70  --
172.64/43.31	c  S st   415    357494       631      2742         0     37227      8339    582658     17.63   no data  --
173.05/43.40	c  S st   415    357996       631      2742         0     37728      8339    596251     17.63   no data  --
173.05/43.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
173.05/43.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
173.05/43.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
173.05/43.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
173.05/43.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
173.05/43.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
173.05/43.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
179.82/45.16	c lits-rem:       605  cl-subs:      898  v-elim:      0  v-fix:    0  time:  6.89 s
179.82/45.16	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
179.82/45.17	c vivif2 --  cl tried    36830 cl shrink        0 lits rem          0 time: 0.03
180.22/45.21	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.13
180.22/45.21	c calculated reachability. Time: 0.00
180.22/45.21	c  N dy   415    357996       631      2742         0     36830      8339    574028     17.63   no data  --
192.58/48.33	c  N dy   517    378036       631      2742         0     30942      8339    379305     17.71     18.65  --
205.74/51.64	c  N dy   615    398214       631      2742         0     50941      8339    908725     17.77     18.73  --
217.31/54.56	c  N dy   715    418227       631      2742         0     44039      8339    703289     17.81     19.02  --
230.47/57.80	c  N dy   809    438349       631      2742         0     36257      8339    474409     17.81     18.87  --
244.04/61.31	c  N dy   895    458373       631      2742         0     56089      8339   1000339     17.84     18.97  --
256.39/64.34	c  N dy   980    478448       631      2742         0     47241      8339    742870     17.85     19.41  --
270.77/67.96	c  N dy  1097    498455       631      2742         0     37383      8339    460446     17.92     18.87  --
285.49/71.61	c  N dy  1166    518522       631      2742         0     57225      8339    983850     17.92     19.27  --
297.50/74.67	c  S st  1272    536994       631      2742         0     44817      8339    641354     17.98   no data  --
297.85/74.78	c  S st  1272    537496       631      2742         0     45319      8339    654484     17.98   no data  --
297.85/74.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
297.85/74.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
298.25/74.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
298.25/74.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
298.25/74.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
298.25/74.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
298.25/74.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
306.62/76.96	c lits-rem:       655  cl-subs:      418  v-elim:      0  v-fix:    0  time:  8.56 s
306.62/76.96	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
306.62/76.97	c vivif2 --  cl tried    44901 cl shrink        0 lits rem          0 time: 0.03
307.02/77.01	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.17
307.02/77.01	c calculated reachability. Time: 0.00
307.02/77.01	c  N dy  1272    537496       631      2742         0     44901      8339    641115     17.98   no data  --
322.18/80.89	c  N dy  1338    557645       631      2742         0     33130      8339    296522     17.96     18.92  --
335.34/84.19	c  N dy  1443    577711       631      2742         0     53023      8339    831435     17.99     19.34  --
351.70/88.23	c  N dy  1525    597782       631      2742         0     40188      8339    454204     18.00     19.14  --
366.05/91.83	c  N dy  1616    617831       631      2742         0     60024      8339    992842     18.02     21.97  --
381.20/95.63	c  N dy  1715    637999       631      2742         0     46384      8339    609822     18.04     19.01  --
399.94/100.34	c  N dy  1805    659060       631      2742         0     67241      8339   1170386     18.05     19.03  --
415.10/104.14	c  N dy  1941    679086       631      2742         0     52441      8339    762035     18.11     19.08  --
435.03/109.18	c  N dy  2039    699240       631      2742         0     36738      8339    306170     18.14     19.13  --
449.39/112.70	c  N dy  2164    719558       631      2742         0     56883      8339    859331     18.18     19.25  --
469.32/117.78	c  N dy  2285    741156       631      2742         0     41631      8339    420609     18.22     19.29  --
484.09/121.47	c  N dy  2333    761219       631      2742         0     61506      8339    953075     18.19     19.30  --
504.42/126.53	c  N dy  2433    783133       631      2742         0     45564      8339    501837     18.20     19.21  --
521.57/130.88	c  N dy  2559    803198       631      2742         0     65431      8339   1041988     18.24     19.97  --
525.19/131.75	c  S st  2584    806244       631      2742         0     68456      8339   1125845     18.25   no data  --
525.95/131.93	c  S st  2584    806748       631      2742         0     68960      8339   1139895     18.25   no data  --
525.95/131.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
525.95/131.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
525.95/131.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
526.35/132.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
526.35/132.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
526.35/132.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
526.35/132.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
532.75/133.65	c lits-rem:       281  cl-subs:     1013  v-elim:      0  v-fix:    0  time:  6.56 s
532.75/133.65	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
532.75/133.66	c vivif2 --  cl tried    67947 cl shrink        0 lits rem          0 time: 0.05
533.14/133.74	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.33
533.14/133.75	c calculated reachability. Time: 0.00
533.14/133.75	c  N dy  2584    806748       631      2742         0     67947      8339   1108956     18.25   no data  --
553.87/138.93	c  N dy  2663    830991       631      2742         0     53281      8339    685380     18.24     19.21  --
582.64/146.14	c  N dy  2799    858413       631      2742         0     40787      8339    327471     18.26     19.28  --
598.54/150.16	c  N dy  2880    879710       631      2742         0     61856      8339    888022     18.26     19.28  --
621.26/155.83	c  N dy  2969    900871       631      2742         0     42256      8339    349700     18.27     19.51  --
638.41/160.12	c  N dy  3052    923238       631      2742         0     64395      8339    949593     18.25     19.32  --
663.54/166.46	c  N dy  3171    945761       631      2742         0     45101      8339    399136     18.27     19.27  --
679.48/170.47	c  N dy  3247    965947       631      2742         0     65027      8339    939654     18.27     19.29  --
703.41/176.42	c  N dy  3309    986054       631      2742         0     84906      8339   1464630     18.26     19.44  --
718.96/180.36	c  N dy  3407   1006079       631      2742         0     62234      8339    848953     18.28     19.28  --
754.86/189.35	c  N dy  3440   1042848       631      2742         0     54844      8339    620927     18.18     19.18  --
774.80/194.37	c  N dy  3532   1062932       631      2742         0     74692      8339   1151604     18.19     20.18  --
786.35/197.25	c  F st  3595   1071876       631      2742         0     83554      8339   1397114     18.20     16.36  --
793.19/198.99	c Decided on static restart strategy
797.92/200.16	c  N st  3603   1084183       631      2742         0     51253      8339    614316     18.20   no data  --
825.43/207.02	c  N st  3606   1114580       631      2742         0     81113      8339   1457674     18.20   no data  --
847.37/212.52	c  N st  3607   1136176       631      2742         0     57026      8339   1038008     18.20   no data  --
879.28/220.58	c  N st  3608   1168568       631      2742         0     88940      8339   1999875     18.20   no data  --
920.74/230.99	c  N st  3609   1210123       631      2742         0     83646      8339   1821947     18.20   no data  --
920.74/230.99	c  S st  3609   1210123       631      2742         0     83646      8339   1821947     18.20   no data  --
921.94/231.22	c  S st  3609   1210626       631      2742         0     84148      8339   1835377     18.20   no data  --
921.94/231.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
921.94/231.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
921.94/231.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
922.34/231.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
922.34/231.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
922.34/231.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
922.34/231.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
953.84/239.23	c lits-rem:       174  cl-subs:     4685  v-elim:      0  v-fix:    0  time: 31.50 s
953.84/239.23	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
953.84/239.25	c vivif2 --  cl tried    79463 cl shrink        0 lits rem          0 time: 0.08
954.24/239.37	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.45
954.24/239.37	c calculated reachability. Time: 0.00
954.24/239.37	c  N st  3609   1210626       631      2742         0     79463      8339   1695077     18.20   no data  --
1030.39/258.48	c  N st  3610   1283508       631      2742         0     55775      8339    876640     18.20   no data  --
1150.03/288.42	c  N st  3611   1392831       631      2742         0     63814      8339   1027657     18.20   no data  --
1334.25/334.61	c  N st  3612   1556815       631      2742         0     68627      8339   1099096     18.20   no data  --
1503.79/377.13	c  N st  3613   1710626       631      2742         0    110766      8339   2177895     18.20   no data  --
1503.79/377.13	c  S st  3613   1710626       631      2742         0    110766      8339   2177895     18.20   no data  --
1504.93/377.48	c  S st  3613   1711127       631      2742         0    111267      8339   2191430     18.20   no data  --
1504.93/377.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1504.93/377.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1505.33/377.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1505.73/377.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1505.73/377.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1505.73/377.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
1505.73/377.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1593.04/399.55	c lits-rem:       108  cl-subs:     9470  v-elim:      0  v-fix:    0  time: 87.42 s
1593.04/399.55	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
1593.04/399.58	c vivif2 --  cl tried   101797 cl shrink        0 lits rem          0 time: 0.10
1593.84/399.73	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.63
1593.84/399.74	c calculated reachability. Time: 0.00
1593.84/399.74	c  N st  3613   1711127       631      2742         0    101797      8339   1950375     18.20   no data  --
2023.31/507.43	c  N st  3614   2080092       631      2742         0    112959      8339   2147592     18.20   no data  --
2176.85/545.92	c  N st  3615   2211127       631      2742         0    117351      8339   2208107     18.20   no data  --
2176.85/545.92	c  S st  3615   2211127       631      2742         0    117351      8339   2208107     18.20   no data  --
2178.45/546.32	c  S st  3615   2211634       631      2742         0    117857      8339   2222178     18.20   no data  --
2178.45/546.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2178.45/546.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2178.45/546.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2178.87/546.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2178.87/546.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2178.87/546.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
2178.87/546.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2253.85/565.26	c lits-rem:       727  cl-subs:     7238  v-elim:      0  v-fix:    0  time: 74.93 s
2253.85/565.26	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
2253.85/565.29	c vivif2 --  cl tried   110619 cl shrink        0 lits rem          0 time: 0.10
2254.59/565.46	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.67
2254.59/565.46	c calculated reachability. Time: 0.00
2254.59/565.46	c  N st  3615   2211634       631      2742         0    110619      8339   2031650     18.20   no data  --
2928.49/734.47	c  N st  3616   2711635       631      2742         0    134717      8339   2572555     18.20   no data  --
2928.49/734.47	c  S st  3616   2711635       631      2742         0    134717      8339   2572555     18.20   no data  --
2930.08/734.89	c  S st  3616   2712140       631      2742         0    135222      8339   2586325     18.20   no data  --
2930.48/734.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2930.48/734.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2930.48/734.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
2930.88/735.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2930.88/735.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2930.88/735.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
2930.88/735.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3020.20/757.41	c lits-rem:      1023  cl-subs:     7322  v-elim:      0  v-fix:    0  time: 89.09 s
3020.20/757.41	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
3020.20/757.44	c vivif2 --  cl tried   127900 cl shrink        0 lits rem          0 time: 0.12
3021.02/757.63	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.76
3021.02/757.63	c calculated reachability. Time: 0.00
3021.02/757.63	c  N st  3616   2712140       631      2742         0    127900      8339   2388631     18.20   no data  --
3765.49/944.33	c  N st  3617   3212143       631      2742         0    103347      8339   1629902     18.20   no data  --
3765.49/944.33	c  S st  3617   3212143       631      2742         0    103347      8339   1629902     18.20   no data  --
3766.72/944.62	c  S st  3617   3212646       631      2742         0    103850      8339   1643537     18.20   no data  --
3766.72/944.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3766.72/944.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3766.72/944.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
3767.13/944.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3767.13/944.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3767.13/944.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
3767.13/944.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3791.81/950.97	c lits-rem:       296  cl-subs:     3012  v-elim:      0  v-fix:    0  time: 24.84 s
3791.81/950.97	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
3791.81/950.99	c vivif2 --  cl tried   100838 cl shrink        0 lits rem          0 time: 0.08
3792.61/951.13	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.56
3792.61/951.13	c calculated reachability. Time: 0.00
3792.61/951.13	c  N st  3617   3212646       631      2742         0    100838      8339   1550530     18.20   no data  --
4682.23/1174.25	c  N st  3618   3712646       631      2742         0    111327      8339   1642192     18.20   no data  --
4682.23/1174.25	c  S st  3618   3712646       631      2742         0    111327      8339   1642192     18.20   no data  --
4683.45/1174.55	c  S st  3618   3713149       631      2742         0    111829      8339   1656581     18.20   no data  --
4683.45/1174.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4683.45/1174.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4683.87/1174.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
4683.87/1174.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4683.87/1174.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4683.87/1174.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
4683.87/1174.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4731.28/1186.60	c lits-rem:        70  cl-subs:     5892  v-elim:      0  v-fix:    0  time: 47.61 s
4731.28/1186.60	c vivif2 --  cl tried     2742 cl shrink        0 lits rem          0 time: 0.00
4731.71/1186.63	c vivif2 --  cl tried   105937 cl shrink        0 lits rem          0 time: 0.08
4732.12/1186.78	c asymm  cl-useful: 0/2742/2742 lits-rem:0 time: 0.61
4732.12/1186.78	c calculated reachability. Time: 0.00
4732.12/1186.78	c  N st  3618   3713149       631      2742         0    105937      8339   1506413     18.20   no data  --
4793.11/1202.05	c  F st  3619   3751562       631      2742         0    143591      8339   2574573     18.20   no data  --
4793.11/1202.05	c  N st  3619   3751562       631      2742         0    143591      8339   2574573     18.20   no data  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3368947-1305407174/watcher-3368947-1305407174 -o /tmp/evaluation-result-3368947-1305407174/solver-3368947-1305407174 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368947-1305407174.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.28 8.18 8.06 2/378 12000
/proc/meminfo: memFree=14894868/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 417 0 0 0 1 0 0 0 25 0 4 0 730948062 52465664 357 33554432000 4194304 4650419 140734716890752 18446744073709551615 47424219883033 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 12809 357 306 112 0 7774 0
[pid=12000/tid=12001] ppid=11998 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730948062 52465664 357 33554432000 4194304 4650419 140734716890752 18446744073709551615 47424219883446 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730948062 52465664 357 33554432000 4194304 4650419 140734716890752 18446744073709551615 47424219883027 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730948062 52465664 357 33554432000 4194304 4650419 140734716890752 18446744073709551615 47424219883033 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.08657 s]
/proc/loadavg: 8.28 8.18 8.06 2/378 12000
/proc/meminfo: memFree=14894868/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=286192 CPUtime=3.23 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 5826 0 0 0 322 1 0 0 18 0 4 0 730948062 293060608 2719 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366602 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 71548 2719 393 112 0 66513 0
[pid=12000/tid=12001] ppid=11998 vsize=286192 CPUtime=0.79 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1374 0 0 0 79 0 0 0 19 0 4 0 730948062 293060608 2719 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=286192 CPUtime=0.8 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1380 0 0 0 80 0 0 0 18 0 4 0 730948062 293060608 2719 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=286192 CPUtime=0.8 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1184 0 0 0 80 0 0 0 19 0 4 0 730948062 293060608 2719 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 286192

[startup+1.01613 s]
/proc/loadavg: 8.28 8.18 8.06 2/378 12000
/proc/meminfo: memFree=14894868/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=286192 CPUtime=4.02 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 6335 0 0 0 401 1 0 0 19 0 4 0 730948062 293060608 3228 33554432000 4194304 4650419 140734716890752 18446744073709551615 4333548 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 71548 3228 393 112 0 66513 0
[pid=12000/tid=12001] ppid=11998 vsize=286192 CPUtime=0.99 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1514 0 0 0 99 0 0 0 19 0 4 0 730948062 293060608 3228 33554432000 4194304 4650419 140734716890752 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=286192 CPUtime=1 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1514 0 0 0 100 0 0 0 19 0 4 0 730948062 293060608 3228 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=286192 CPUtime=1 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1296 0 0 0 100 0 0 0 19 0 4 0 730948062 293060608 3228 33554432000 4194304 4650419 140734716890752 18446744073709551615 4334371 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 286192

[startup+1.11611 s]
/proc/loadavg: 8.28 8.18 8.06 2/378 12000
/proc/meminfo: memFree=14894868/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=286192 CPUtime=4.42 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 6583 0 0 0 441 1 0 0 19 0 4 0 730948062 293060608 3476 33554432000 4194304 4650419 140734716890752 18446744073709551615 4349694 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 71548 3476 394 112 0 66513 0
[pid=12000/tid=12001] ppid=11998 vsize=286192 CPUtime=1.09 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1576 0 0 0 109 0 0 0 19 0 4 0 730948062 293060608 3476 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=286192 CPUtime=1.1 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1569 0 0 0 110 0 0 0 19 0 4 0 730948062 293060608 3476 33554432000 4194304 4650419 140734716890752 18446744073709551615 4330857 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=286192 CPUtime=1.1 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1367 0 0 0 110 0 0 0 19 0 4 0 730948062 293060608 3476 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 286192

[startup+1.21609 s]
/proc/loadavg: 8.28 8.18 8.06 2/378 12000
/proc/meminfo: memFree=14894868/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=286420 CPUtime=4.82 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 7046 0 0 0 481 1 0 0 19 0 4 0 730948062 293294080 3603 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 71605 3603 394 112 0 66570 0
[pid=12000/tid=12001] ppid=11998 vsize=286420 CPUtime=1.19 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1652 0 0 0 119 0 0 0 19 0 4 0 730948062 293294080 3603 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=286420 CPUtime=1.2 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1651 0 0 0 120 0 0 0 19 0 4 0 730948062 293294080 3603 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=286420 CPUtime=1.2 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1595 0 0 0 120 0 0 0 19 0 4 0 730948062 293294080 3603 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 286420

[startup+1.50105 s]
/proc/loadavg: 8.28 8.18 8.06 2/378 12000
/proc/meminfo: memFree=14894868/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=291860 CPUtime=5.96 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 9702 0 0 0 595 1 0 0 20 0 4 0 730948062 298864640 5053 33554432000 4194304 4650419 140734716890752 18446744073709551615 4443741 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 72965 5053 395 112 0 67930 0
[pid=12000/tid=12001] ppid=11998 vsize=291860 CPUtime=1.48 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 2001 0 0 0 148 0 0 0 19 0 4 0 730948062 298864640 5053 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=291860 CPUtime=1.49 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 2019 0 0 0 149 0 0 0 19 0 4 0 730948062 298864640 5053 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=291860 CPUtime=1.49 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 1749 0 0 0 149 0 0 0 20 0 4 0 730948062 298864640 5053 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 291860

[startup+3.11476 s]
/proc/loadavg: 8.26 8.17 8.06 10/390 12012
/proc/meminfo: memFree=14819580/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=257188 CPUtime=12.39 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 18406 0 0 0 1236 3 0 0 25 0 4 0 730948062 263360512 11058 33554432000 4194304 4650419 140734716890752 18446744073709551615 4303912 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 64297 11058 395 112 0 59262 0
[pid=12000/tid=12001] ppid=11998 vsize=257188 CPUtime=3.06 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 3973 0 0 0 306 0 0 0 25 0 4 0 730948062 263360512 11058 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=257188 CPUtime=3.1 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 4870 0 0 0 310 0 0 0 25 0 4 0 730948062 263360512 11058 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=257188 CPUtime=3.1 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 4471 0 0 0 310 0 0 0 25 0 4 0 730948062 263360512 11058 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 257188

[startup+6.30121 s]
/proc/loadavg: 8.26 8.17 8.06 9/390 12012
/proc/meminfo: memFree=14788360/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=294128 CPUtime=25.13 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 25508 0 0 0 2508 5 0 0 25 0 4 0 730948062 301187072 14838 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 73532 14838 395 112 0 68497 0
[pid=12000/tid=12001] ppid=11998 vsize=294128 CPUtime=6.22 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 6464 0 0 0 621 1 0 0 25 0 4 0 730948062 301187072 14845 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=294128 CPUtime=6.3 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 6661 0 0 0 629 1 0 0 25 0 4 0 730948062 301187072 14845 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=294128 CPUtime=6.29 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 5902 0 0 0 629 0 0 0 25 0 4 0 730948062 301187072 14845 33554432000 4194304 4650419 140734716890752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 294128

[startup+12.7011 s]
/proc/loadavg: 8.24 8.17 8.06 10/390 12012
/proc/meminfo: memFree=14754764/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=275844 CPUtime=50.62 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 39813 0 0 0 5054 8 0 0 25 0 4 0 730948062 282464256 20580 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 68961 20580 395 112 0 63926 0
[pid=12000/tid=12001] ppid=11998 vsize=275844 CPUtime=12.54 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 9290 0 0 0 1252 2 0 0 25 0 4 0 730948062 282464256 20580 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=275844 CPUtime=12.68 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 10518 0 0 0 1267 1 0 0 25 0 4 0 730948062 282464256 20580 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=275844 CPUtime=12.69 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 9267 0 0 0 1268 1 0 0 25 0 4 0 730948062 282464256 20580 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 275844

[startup+25.5009 s]
/proc/loadavg: 8.18 8.16 8.06 9/390 12012
/proc/meminfo: memFree=14692388/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=413936 CPUtime=101.66 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 59291 0 0 0 10153 13 0 0 25 0 4 0 730948062 423870464 32986 33554432000 4194304 4650419 140734716890752 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 103484 32986 395 112 0 98449 0
[pid=12000/tid=12001] ppid=11998 vsize=413936 CPUtime=25.19 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 12962 0 0 0 2516 3 0 0 25 0 4 0 730948062 423870464 32986 33554432000 4194304 4650419 140734716890752 18446744073709551615 4314861 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=413936 CPUtime=25.48 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 16831 0 0 0 2545 3 0 0 25 0 4 0 730948062 423870464 32986 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=413936 CPUtime=25.49 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 12554 0 0 0 2547 2 0 0 25 0 4 0 730948062 423870464 32986 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 413936

[startup+51.1004 s]
/proc/loadavg: 8.25 8.18 8.07 9/390 12013
/proc/meminfo: memFree=14647208/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=385420 CPUtime=203.75 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 77385 0 0 0 20356 19 0 0 25 0 4 0 730948062 394670080 37518 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 96355 37518 395 112 0 91320 0
[pid=12000/tid=12001] ppid=11998 vsize=385420 CPUtime=50.48 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 14631 0 0 0 5044 4 0 0 25 0 4 0 730948062 394670080 37518 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=385420 CPUtime=51.08 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 24900 0 0 0 5102 6 0 0 25 0 4 0 730948062 394670080 37518 33554432000 4194304 4650419 140734716890752 18446744073709551615 4476756 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=385420 CPUtime=51.08 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 15532 0 0 0 5105 3 0 0 25 0 4 0 730948062 394670080 37518 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 385420

[startup+102.3 s]
/proc/loadavg: 8.30 8.20 8.08 10/390 12014
/proc/meminfo: memFree=14588528/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=451236 CPUtime=407.92 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 101779 0 0 0 40764 28 0 0 25 0 4 0 730948062 462065664 45334 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 112809 45334 395 112 0 107774 0
[pid=12000/tid=12001] ppid=11998 vsize=451236 CPUtime=101.05 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 19076 0 0 0 10100 5 0 0 25 0 4 0 730948062 462065664 45334 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=451236 CPUtime=102.28 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 34942 0 0 0 10219 9 0 0 25 0 4 0 730948062 462065664 45334 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=451236 CPUtime=102.29 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 19015 0 0 0 10225 4 0 0 25 0 4 0 730948062 462065664 45334 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.92
Current children cumulated vsize (KiB) 451236

[startup+162.301 s]

################
# More data... #
################

[pid=12000] ppid=11998 vsize=658928 CPUtime=2800.49 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 326868 0 0 0 279927 122 0 0 25 0 4 0 730948062 674742272 95513 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 164732 95513 395 112 0 159697 0
[pid=12000/tid=12001] ppid=11998 vsize=658928 CPUtime=693.72 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 52714 0 0 0 69350 22 0 0 25 0 4 0 730948062 674742272 95513 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=658928 CPUtime=702.28 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 112885 0 0 0 70190 38 0 0 25 0 4 0 730948062 674742272 95513 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=658928 CPUtime=702.3 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 55900 0 0 0 70209 21 0 0 25 0 4 0 730948062 674742272 95513 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.49
Current children cumulated vsize (KiB) 658928

[startup+762.3 s]
/proc/loadavg: 8.14 8.14 8.09 9/390 12062
/proc/meminfo: memFree=14420552/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=749740 CPUtime=3039.73 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 342719 0 0 0 303844 129 0 0 25 0 4 0 730948062 767733760 102325 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 187435 102325 395 112 0 182400 0
[pid=12000/tid=12001] ppid=11998 vsize=749740 CPUtime=752.97 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 54932 0 0 0 75273 24 0 0 25 0 4 0 730948062 767733760 102325 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=749740 CPUtime=762.29 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 118501 0 0 0 76188 41 0 0 25 0 4 0 730948062 767733760 102325 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=749740 CPUtime=762.3 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 58733 0 0 0 76208 22 0 0 25 0 4 0 730948062 767733760 102325 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3039.73
Current children cumulated vsize (KiB) 749740

[startup+822.301 s]
/proc/loadavg: 8.11 8.14 8.09 9/390 12064
/proc/meminfo: memFree=14320900/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=673664 CPUtime=3279 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 363129 0 0 0 327762 138 0 0 25 0 4 0 730948062 689831936 109457 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 168416 109457 395 112 0 163381 0
[pid=12000/tid=12001] ppid=11998 vsize=673664 CPUtime=812.25 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 57901 0 0 0 81201 24 0 0 25 0 4 0 730948062 689831936 109457 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=673664 CPUtime=822.29 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 122484 0 0 0 82185 44 0 0 25 0 4 0 730948062 689831936 109457 33554432000 4194304 4650419 140734716890752 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=673664 CPUtime=822.3 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 63877 0 0 0 82205 25 0 0 25 0 4 0 730948062 689831936 109457 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279
Current children cumulated vsize (KiB) 673664

[startup+882.3 s]
/proc/loadavg: 8.15 8.14 8.09 9/390 12065
/proc/meminfo: memFree=14324976/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=671896 CPUtime=3518.25 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 379327 0 0 0 351678 147 0 0 25 0 4 0 730948062 688021504 100588 33554432000 4194304 4650419 140734716890752 18446744073709551615 4304183 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 167974 100588 395 112 0 162939 0
[pid=12000/tid=12001] ppid=11998 vsize=671896 CPUtime=871.51 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 63008 0 0 0 87125 26 0 0 25 0 4 0 730948062 688021504 100588 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=671896 CPUtime=882.29 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 125693 0 0 0 88183 46 0 0 25 0 4 0 730948062 688021504 100588 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=671896 CPUtime=882.3 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 66307 0 0 0 88204 26 0 0 25 0 4 0 730948062 688021504 100588 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.25
Current children cumulated vsize (KiB) 671896

[startup+942.301 s]
/proc/loadavg: 8.28 8.16 8.10 9/390 12067
/proc/meminfo: memFree=14290484/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=685036 CPUtime=3757.52 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 396667 0 0 0 375597 155 0 0 25 0 4 0 730948062 701476864 107212 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 171259 107212 395 112 0 166224 0
[pid=12000/tid=12001] ppid=11998 vsize=685036 CPUtime=930.78 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 65389 0 0 0 93051 27 0 0 25 0 4 0 730948062 701476864 107212 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=685036 CPUtime=942.29 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 130468 0 0 0 94182 47 0 0 25 0 4 0 730948062 701476864 107212 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=685036 CPUtime=942.3 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 70915 0 0 0 94201 29 0 0 25 0 4 0 730948062 701476864 107212 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.52
Current children cumulated vsize (KiB) 685036

[startup+1002.3 s]
/proc/loadavg: 8.24 8.16 8.10 9/390 12068
/proc/meminfo: memFree=14234164/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=685120 CPUtime=3996.76 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 412853 0 0 0 399512 164 0 0 25 0 4 0 730948062 701562880 105673 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 171280 105673 395 112 0 166245 0
[pid=12000/tid=12001] ppid=11998 vsize=685120 CPUtime=990.02 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 69463 0 0 0 98973 29 0 0 25 0 4 0 730948062 701562880 105673 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=685120 CPUtime=1002.29 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 135926 0 0 0 100179 50 0 0 25 0 4 0 730948062 701562880 105673 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=685120 CPUtime=1002.3 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 73050 0 0 0 100200 30 0 0 25 0 4 0 730948062 701562880 105673 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3996.76
Current children cumulated vsize (KiB) 685120

[startup+1062.3 s]
/proc/loadavg: 8.14 8.14 8.09 9/390 12070
/proc/meminfo: memFree=14195340/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=684308 CPUtime=4236.05 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 439056 0 0 0 423432 173 0 0 25 0 4 0 730948062 700731392 112791 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 171077 112791 395 112 0 166042 0
[pid=12000/tid=12001] ppid=11998 vsize=684308 CPUtime=1049.31 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 76834 0 0 0 104900 31 0 0 25 0 4 0 730948062 700731392 112792 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=684308 CPUtime=1062.31 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 143132 0 0 0 106178 53 0 0 25 0 4 0 730948062 700731392 112792 33554432000 4194304 4650419 140734716890752 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=684308 CPUtime=1062.32 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 78500 0 0 0 106200 32 0 0 25 0 4 0 730948062 700731392 112792 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4236.05
Current children cumulated vsize (KiB) 684308

[startup+1122.3 s]
/proc/loadavg: 8.12 8.13 8.09 9/390 12072
/proc/meminfo: memFree=14164324/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=832060 CPUtime=4475.27 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 459605 0 0 0 447345 182 0 0 25 0 4 0 730948062 852029440 116680 33554432000 4194304 4650419 140734716890752 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 208015 116680 395 112 0 202980 0
[pid=12000/tid=12001] ppid=11998 vsize=832060 CPUtime=1108.57 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 81494 0 0 0 110824 33 0 0 25 0 4 0 730948062 852029440 116680 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=832060 CPUtime=1122.29 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 149244 0 0 0 112173 56 0 0 25 0 4 0 730948062 852029440 116680 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=832060 CPUtime=1122.3 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 83214 0 0 0 112196 34 0 0 25 0 4 0 730948062 852029440 116680 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4475.27
Current children cumulated vsize (KiB) 832060

[startup+1182.32 s]
/proc/loadavg: 8.15 8.13 8.09 9/390 12073
/proc/meminfo: memFree=14131928/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=738232 CPUtime=4714.58 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 475355 0 0 0 471268 190 0 0 25 0 4 0 730948062 755949568 123660 33554432000 4194304 4650419 140734716890752 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 184558 123660 395 112 0 179523 0
[pid=12000/tid=12001] ppid=11998 vsize=738232 CPUtime=1167.83 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 83409 0 0 0 116749 34 0 0 25 0 4 0 730948062 755949568 123660 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=738232 CPUtime=1182.31 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 155314 0 0 0 118172 59 0 0 25 0 4 0 730948062 755949568 123660 33554432000 4194304 4650419 140734716890752 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=738232 CPUtime=1182.32 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 85073 0 0 0 118197 35 0 0 25 0 4 0 730948062 755949568 123660 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4714.58
Current children cumulated vsize (KiB) 738232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.11 8.12 8.09 9/390 12074
/proc/meminfo: memFree=14111960/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=750320 CPUtime=4800.28 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 481208 0 0 0 479836 192 0 0 25 0 4 0 730948062 768327680 128401 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 187580 128401 395 112 0 182545 0
[pid=12000/tid=12001] ppid=11998 vsize=750320 CPUtime=1189.06 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 84738 0 0 0 118871 35 0 0 25 0 4 0 730948062 768327680 128402 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=750320 CPUtime=1203.82 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 157349 0 0 0 120322 60 0 0 25 0 4 0 730948062 768327680 128402 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=750320 CPUtime=1203.82 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 85465 0 0 0 120346 36 0 0 25 0 4 0 730948062 768327680 128402 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 750320

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1203.8 s]
/proc/loadavg: 8.11 8.12 8.09 9/390 12074
/proc/meminfo: memFree=14111960/32951124 swapFree=65586204/67111528
[pid=12000] ppid=11998 vsize=750320 CPUtime=4800.28 cores=0,2,4,6
/proc/12000/stat : 12000 (strangenight1-m) R 11998 12000 11857 0 -1 4202496 481208 0 0 0 479836 192 0 0 25 0 4 0 730948062 768327680 128401 33554432000 4194304 4650419 140734716890752 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12000/statm: 187580 128401 395 112 0 182545 0
[pid=12000/tid=12001] ppid=11998 vsize=750320 CPUtime=1189.06 cores=0,2,4,6
/proc/12000/task/12001/stat : 12001 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 84738 0 0 0 118871 35 0 0 25 0 4 0 730948062 768327680 128402 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12000/tid=12002] ppid=11998 vsize=750320 CPUtime=1203.82 cores=0,2,4,6
/proc/12000/task/12002/stat : 12002 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 157349 0 0 0 120322 60 0 0 25 0 4 0 730948062 768327680 128402 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12000/tid=12003] ppid=11998 vsize=750320 CPUtime=1203.82 cores=0,2,4,6
/proc/12000/task/12003/stat : 12003 (strangenight1-m) R 11998 12000 11857 0 -1 4202560 85465 0 0 0 120346 36 0 0 25 0 4 0 730948062 768327680 128402 33554432000 4194304 4650419 140734716890752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 750320

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.84
CPU time (s): 4800.35
CPU user time (s): 4798.4
CPU system time (s): 1.9527
CPU usage (%): 398.752
Max. virtual memory (cumulated for all children) (KiB): 832660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.4
system time used= 1.9527
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481210
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= 597
involuntary context switches= 21349

runsolver used 4.20536 second user time and 10.5744 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 23:06:14
IDJOB=3368947
IDBENCH=82956
IDSOLVER=1846
FILE ID=node119/3368947-1305407174
RUNJOBID= node119-1305405968-11878
PBS_JOBID= 13324506
Free space on /tmp= 73196 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368947-1305407174/watcher-3368947-1305407174 -o /tmp/evaluation-result-3368947-1305407174/solver-3368947-1305407174 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368947-1305407174.cnf

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

MD5SUM BENCH= 12dd7af6f21831da932d15cd8d1054f3
RANDOM SEED=71572728

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14895272 kB
Buffers:        284608 kB
Cached:        4559772 kB
SwapCached:       4756 kB
Active:       14702504 kB
Inactive:      3021980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14895272 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           12476 kB
Writeback:           4 kB
AnonPages:    12878684 kB
Mapped:          29440 kB
Slab:           210428 kB
PageTables:      56056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 102460452 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73184 MiB
End job on node119 at 2011-05-14 23:26:20