Trace number 3174259

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-2-mt? (TO) 4800.36 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf
MD5SUMc8e689035f3179f449d681054feb5bd2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005999
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
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.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174259-1307656307.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     215 undec:      58 neg:     227
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       481      2111         0         0      6470         0   no data   no data
0.00/0.06	c Decided on static restart strategy
0.38/0.15	c  N st     8      4912       481      2111         0      4836      6470    119717   no data   no data
1.57/0.41	c  N st    10     11295       481      2111         0      4492      6470     79218   no data   no data
2.38/0.67	c  N st    11     17038       481      2111         0     10117      6470    209283   no data   no data
3.97/1.08	c  F st    12     25000       481      2111         0     12419      6470    258463   no data   no data
3.97/1.08	c  N st    12     25000       481      2111         0     12419      6470    258463   no data   no data
5.17/1.33	c Decided on static restart strategy
5.17/1.33	c  N st    18     30002       481      2111         0     10670      6470    196257   no data   no data
5.17/1.33	c  S st    18     30002       481      2111         0     10670      6470    196257   no data   no data
5.17/1.36	c  S st    18     30506       481      2111         0     11173      6470    207252   no data   no data
5.17/1.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.36	c blocked clauses removed:        5 vars:      1 tried:         481 T: 0.00 s
5.17/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
5.17/1.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c lits-rem:       143  cl-subs:      506  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.43	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.01
5.57/1.43	c calculated reachability. Time: 0.00
5.57/1.43	c  N st    18     30506       480      2106         0     10667      6455    194810   no data   no data
7.17/1.83	c  N st    20     37618       480      2106         0      9898      6455    162017   no data   no data
8.37/2.19	c  N st    21     44018       480      2106         0     16151      6455    323860   no data   no data
8.78/2.30	c  S st    22     45759       480      2106         0      9129      6455    131034   no data   no data
9.18/2.33	c  S st    22     46263       480      2106         0      9633      6455    142595   no data   no data
9.18/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.18/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.18/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.18/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.18/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
9.18/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.18/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.18/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.35	c lits-rem:        17  cl-subs:       64  v-elim:      0  v-fix:    0  time:  0.01 s
9.18/2.35	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
9.18/2.35	c vivif2 --  cl tried     9569 cl shrink        0 lits rem          0 time: 0.00
9.18/2.35	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.01
9.18/2.35	c calculated reachability. Time: 0.00
9.18/2.35	c  N st    22     46263       480      2106         0      9569      6455    141068   no data   no data
12.77/3.28	c  N st    23     60661       480      2106         0     13930      6455    242838   no data   no data
15.16/3.89	c  N st    24     69394       480      2106         0     11702      6455    171364   no data   no data
15.16/3.89	c  S st    24     69394       480      2106         0     11702      6455    171364   no data   no data
15.56/3.93	c  S st    24     69895       480      2106         0     12202      6455    182403   no data   no data
15.56/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.56/3.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
15.56/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.56/3.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.96	c lits-rem:        24  cl-subs:      158  v-elim:      0  v-fix:    0  time:  0.02 s
15.56/3.96	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
15.56/3.96	c vivif2 --  cl tried    12044 cl shrink        0 lits rem          0 time: 0.00
15.56/3.97	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.01
15.56/3.97	c calculated reachability. Time: 0.00
15.56/3.97	c  N st    24     69895       480      2106         0     12044      6455    178822   no data   no data
20.76/5.24	c  F st    25     87500       480      2106         0     17475      6455    294267   no data   no data
20.76/5.25	c  N st    25     87500       480      2106         0     17475      6455    294267   no data   no data
22.37/5.61	c Decided on static restart strategy
23.15/5.84	c  N st    32     95536       480      2106         0     25348      6455    487322   no data   no data
25.95/6.54	c  N st    34    104843       480      2106         0     21768      6455    384671   no data   no data
25.95/6.54	c  S st    34    104843       480      2106         0     21768      6455    384671   no data   no data
25.95/6.60	c  S st    34    105346       480      2106         0     22271      6455    397159   no data   no data
25.95/6.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
26.36/6.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.36/6.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
26.36/6.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.36/6.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.36/6.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.75	c lits-rem:       103  cl-subs:      702  v-elim:      0  v-fix:    0  time:  0.13 s
26.76/6.75	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
26.76/6.76	c vivif2 --  cl tried    21569 cl shrink        0 lits rem          0 time: 0.00
26.76/6.77	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.01
26.76/6.77	c calculated reachability. Time: 0.00
26.76/6.77	c  N st    34    105346       480      2106         0     21569      6455    379438   no data   no data
30.34/7.62	c  N st    35    114944       480      2106         0     17285      6455    253672   no data   no data
35.15/8.88	c  N st    36    129342       480      2106         0     16669      6455    222775   no data   no data
42.72/10.70	c  N st    37    150937       480      2106         0     22124      6455    346034   no data   no data
45.12/11.38	c  S st    38    158021       480      2106         0     29047      6455    521685   no data   no data
45.52/11.46	c  S st    38    158524       480      2106         0     29550      6455    533184   no data   no data
45.52/11.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.52/11.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.52/11.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.52/11.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.52/11.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.52/11.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
45.52/11.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.52/11.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.52/11.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.51/11.94	c lits-rem:       293  cl-subs:     1549  v-elim:      0  v-fix:    0  time:  0.44 s
47.51/11.94	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
47.51/11.94	c vivif2 --  cl tried    28001 cl shrink        0 lits rem          0 time: 0.01
47.51/11.96	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.02
47.51/11.96	c calculated reachability. Time: 0.00
47.51/11.96	c  N st    38    158524       480      2106         0     28001      6455    492426   no data   no data
67.08/16.80	c  N st    39    207112       480      2106         0     22736      6455    326253   no data   no data
79.09/19.87	c  N st    40    237788       480      2106         0     33199      6455    574980   no data   no data
79.09/19.87	c  S st    40    237788       480      2106         0     33199      6455    574980   no data   no data
79.50/19.96	c  S st    40    238288       480      2106         0     33699      6455    586689   no data   no data
79.50/19.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.50/19.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.50/19.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.50/19.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.50/19.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.50/19.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
79.50/19.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.50/19.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.50/20.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.87/20.50	c lits-rem:       302  cl-subs:     1457  v-elim:      0  v-fix:    0  time:  0.50 s
81.87/20.50	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
81.87/20.51	c vivif2 --  cl tried    32242 cl shrink        0 lits rem          0 time: 0.01
81.87/20.52	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.02
81.87/20.53	c calculated reachability. Time: 0.00
81.87/20.53	c  N st    40    238288       480      2106         0     32242      6455    549820   no data   no data
113.43/28.46	c  F st    41    306250       480      2106         0     34048      6455    539049   no data   no data
113.43/28.46	c  N st    41    306250       480      2106         0     34048      6455    539049   no data   no data
115.82/29.08	c Decided on static restart strategy
126.61/31.70	c  N st    51    334552       480      2106         0     38280      6455    630574   no data   no data
137.39/34.46	c  N st    53    357433       480      2106         0     36218      6455    566911   no data   no data
137.39/34.46	c  S st    53    357433       480      2106         0     36218      6455    566911   no data   no data
137.79/34.55	c  S st    53    357936       480      2106         0     36719      6455    578339   no data   no data
137.79/34.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.79/34.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
137.79/34.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.79/34.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.79/34.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.79/34.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
137.79/34.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.79/34.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.79/34.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.39/34.92	c lits-rem:       224  cl-subs:     1127  v-elim:      0  v-fix:    0  time:  0.33 s
139.39/34.92	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
139.39/34.93	c vivif2 --  cl tried    35592 cl shrink        0 lits rem          0 time: 0.01
139.39/34.95	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.02
139.39/34.95	c calculated reachability. Time: 0.00
139.39/34.95	c  N st    53    357936       480      2106         0     35592      6455    550474   no data   no data
155.77/39.06	c  N st    54    390329       480      2106         0     41961      6455    705777   no data   no data
183.33/45.90	c  N st    55    438917       480      2106         0     35554      6455    490980   no data   no data
224.50/56.29	c  N st    56    511799       480      2106         0     49321      6455    839827   no data   no data
239.25/59.97	c  N st    57    536904       480      2106         0     43612      6455    670572   no data   no data
239.25/59.97	c  S st    57    536904       480      2106         0     43612      6455    670572   no data   no data
240.05/60.10	c  S st    57    537410       480      2106         0     44116      6455    682821   no data   no data
240.05/60.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
240.05/60.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
240.05/60.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.05/60.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.05/60.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.05/60.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
240.05/60.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
240.05/60.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
240.05/60.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.45/60.73	c lits-rem:       462  cl-subs:     1420  v-elim:      0  v-fix:    0  time:  0.58 s
242.45/60.73	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
242.45/60.73	c vivif2 --  cl tried    42696 cl shrink        0 lits rem          0 time: 0.01
242.45/60.76	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.03
242.45/60.76	c calculated reachability. Time: 0.00
242.45/60.76	c  N st    57    537410       480      2106         0     42696      6455    646535   no data   no data
341.52/85.54	c  N st    58    701395       480      2106         0     36675      6455    404862   no data   no data
412.63/103.30	c  N st    59    806116       480      2106         0     65629      6455   1103246   no data   no data
412.63/103.30	c  S st    59    806116       480      2106         0     65629      6455   1103246   no data   no data
413.04/103.50	c  S st    59    806622       480      2106         0     66135      6455   1114702   no data   no data
413.44/103.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
413.44/103.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
413.44/103.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
413.44/103.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
413.44/103.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
413.44/103.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
413.44/103.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
413.44/103.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
413.44/103.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
423.01/105.97	c lits-rem:       521  cl-subs:     3579  v-elim:      0  v-fix:    0  time:  2.39 s
423.01/105.97	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
423.01/105.99	c vivif2 --  cl tried    62556 cl shrink        0 lits rem          0 time: 0.01
423.40/106.04	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.05
423.40/106.04	c calculated reachability. Time: 0.00
423.40/106.04	c  N st    59    806622       480      2106         0     62556      6455   1037202   no data   no data
617.94/154.78	c  F st    60   1071875       480      2106         0     78384      6455   1322926   no data   no data
617.94/154.78	c  N st    60   1071875       480      2106         0     78384      6455   1322926   no data   no data
623.54/156.17	c Decided on static restart strategy
643.11/161.02	c  N st    70   1100180       480      2106         0     62145      6455    856339   no data   no data
674.66/168.90	c  N st    72   1136172       480      2106         0     52444      6455    636453   no data   no data
703.83/176.26	c  N st    73   1168565       480      2106         0     84138      6455   1434398   no data   no data
738.20/184.84	c  N st    74   1209933       480      2106         0     78476      6455   1254226   no data   no data
738.20/184.84	c  S st    74   1209933       480      2106         0     78476      6455   1254226   no data   no data
738.98/185.09	c  S st    74   1210436       480      2106         0     78978      6455   1266998   no data   no data
738.98/185.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
739.38/185.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
739.38/185.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
739.38/185.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
739.38/185.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
739.38/185.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
739.38/185.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
739.38/185.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
739.38/185.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
758.15/189.84	c lits-rem:      1083  cl-subs:     5494  v-elim:      0  v-fix:    0  time:  4.65 s
758.15/189.84	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
758.15/189.86	c vivif2 --  cl tried    73484 cl shrink        0 lits rem          0 time: 0.02
758.55/189.95	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.08
758.55/189.95	c calculated reachability. Time: 0.00
758.55/189.95	c  N st    74   1210436       480      2106         0     73484      6455   1134216   no data   no data
834.45/208.91	c  N st    75   1283320       480      2106         0     49995      6455    521912   no data   no data
938.72/235.06	c  N st    76   1392643       480      2106         0     58065      6455    686270   no data   no data
1095.29/274.24	c  N st    77   1556630       480      2106         0     62842      6455    777117   no data   no data
1253.48/313.83	c  N st    78   1710436       480      2106         0    104607      6455   1852002   no data   no data
1253.48/313.83	c  S st    78   1710436       480      2106         0    104607      6455   1852002   no data   no data
1254.68/314.14	c  S st    78   1710936       480      2106         0    105107      6455   1864027   no data   no data
1254.68/314.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1254.68/314.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1254.68/314.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1254.68/314.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1254.68/314.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1254.68/314.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
1255.08/314.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1255.08/314.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1255.08/314.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1302.22/326.00	c lits-rem:      1003  cl-subs:     6804  v-elim:      0  v-fix:    0  time: 11.71 s
1302.22/326.00	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
1302.22/326.03	c vivif2 --  cl tried    98303 cl shrink        0 lits rem          0 time: 0.03
1302.62/326.12	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.10
1302.62/326.13	c calculated reachability. Time: 0.00
1302.62/326.13	c  N st    78   1710936       480      2106         0     98303      6455   1683837   no data   no data
1686.91/422.39	c  N st    79   2079900       480      2106         0    109725      6455   1845942   no data   no data
1844.30/461.72	c  N st    80   2210936       480      2106         0    113944      6455   1986603   no data   no data
1844.30/461.72	c  S st    80   2210936       480      2106         0    113944      6455   1986603   no data   no data
1845.92/462.15	c  S st    80   2211439       480      2106         0    114444      6455   1998530   no data   no data
1845.92/462.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1846.29/462.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1846.29/462.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1846.29/462.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1846.29/462.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1846.29/462.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
1846.29/462.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1846.29/462.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1846.69/462.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1901.81/476.10	c lits-rem:      1230  cl-subs:     7109  v-elim:      0  v-fix:    0  time: 13.79 s
1901.81/476.10	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
1901.81/476.12	c vivif2 --  cl tried   107335 cl shrink        0 lits rem          0 time: 0.03
1902.21/476.23	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.11
1902.21/476.24	c calculated reachability. Time: 0.00
1902.21/476.24	c  N st    80   2211439       480      2106         0    107335      6455   1813116   no data   no data
2506.20/627.43	c  N st    81   2711439       480      2106         0    130407      6455   2387417   no data   no data
2506.20/627.43	c  S st    81   2711439       480      2106         0    130407      6455   2387417   no data   no data
2508.19/627.91	c  S st    81   2711939       480      2106         0    130907      6455   2399129   no data   no data
2508.19/627.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2508.19/627.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2508.19/627.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2508.19/627.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2508.19/627.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2508.19/627.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
2508.19/627.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2508.59/628.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2508.59/628.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2620.44/656.03	c lits-rem:      1212  cl-subs:    11480  v-elim:      0  v-fix:    0  time: 27.93 s
2620.44/656.03	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
2620.44/656.06	c vivif2 --  cl tried   119427 cl shrink        0 lits rem          0 time: 0.03
2620.84/656.19	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.13
2620.84/656.19	c calculated reachability. Time: 0.00
2620.84/656.19	c  N st    81   2711939       480      2106         0    119427      6455   2100083   no data   no data
3311.50/829.04	c  N st    82   3211939       480      2106         0     95725      6455   1225804   no data   no data
3311.50/829.04	c  S st    82   3211939       480      2106         0     95725      6455   1225804   no data   no data
3312.70/829.34	c  S st    82   3212442       480      2106         0     96228      6455   1237745   no data   no data
3312.70/829.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3312.70/829.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3312.70/829.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3312.70/829.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3312.70/829.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3312.70/829.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
3312.70/829.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3313.12/829.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3313.12/829.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3322.69/831.82	c lits-rem:       269  cl-subs:     3601  v-elim:      0  v-fix:    0  time:  2.37 s
3322.69/831.82	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
3322.69/831.84	c vivif2 --  cl tried    92627 cl shrink        0 lits rem          0 time: 0.02
3323.09/831.93	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.09
3323.09/831.93	c calculated reachability. Time: 0.00
3323.09/831.93	c  N st    82   3212442       480      2106         0     92627      6455   1151921   no data   no data
4086.88/1023.11	c  N st    83   3712442       480      2106         0    103323      6455   1332129   no data   no data
4086.88/1023.11	c  S st    83   3712442       480      2106         0    103323      6455   1332129   no data   no data
4088.05/1023.47	c  S st    83   3712946       480      2106         0    103827      6455   1344059   no data   no data
4088.05/1023.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4088.45/1023.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4088.45/1023.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4088.45/1023.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4088.45/1023.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4088.45/1023.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
4088.45/1023.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4088.45/1023.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4088.45/1023.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4099.66/1026.33	c lits-rem:       267  cl-subs:     3683  v-elim:      0  v-fix:    0  time:  2.74 s
4099.66/1026.33	c vivif2 --  cl tried     2106 cl shrink        0 lits rem          0 time: 0.00
4099.66/1026.35	c vivif2 --  cl tried   100144 cl shrink        0 lits rem          0 time: 0.02
4100.06/1026.45	c asymm  cl-useful: 0/2106/2106 lits-rem:0 time: 0.10
4100.06/1026.46	c calculated reachability. Time: 0.00
4100.06/1026.46	c  N st    83   3712946       480      2106         0    100144      6455   1257055   no data   no data
4160.36/1041.55	c  F st    84   3751562       480      2106         0    137476      6455   2123657   no data   no data
4160.36/1041.55	c  N st    84   3751562       480      2106         0    137476      6455   2123657   no data   no data
4173.14/1044.78	c Decided on static restart strategy
4229.47/1058.80	c  N st    94   3779869       480      2106         0     82737      6455    778706   no data   no data
4275.83/1070.45	c  N st    96   3815862       480      2106         0    117739      6455   1676327   no data   no data
4334.92/1085.24	c  N st    97   3848255       480      2106         0    149085      6455   2433766   no data   no data
4416.81/1105.74	c  N st    98   3896844       480      2106         0    112890      6455   1499063   no data   no data
4544.24/1137.60	c  N st    99   3969727       480      2106         0     99034      6455   1104071   no data   no data
4705.63/1178.06	c  N st   100   4079051       480      2106         0    119744      6455   1623960   no data   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: 977)

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

running on 4 cores: 1,3,5,7

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.08 7.99 6.43 6/179 11983
/proc/meminfo: memFree=32035564/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=208144 CPUtime=0 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 753 0 0 0 0 0 0 0 21 0 4 0 877228470 213139456 668 33554432000 4194304 4627427 140736313651520 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 52036 670 338 106 0 47007 0
[pid=11983/tid=11984] ppid=11978 vsize=208136 CPUtime=0 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 23 0 0 0 0 0 0 0 22 0 4 0 877228470 213131264 698 33554432000 4194304 4627427 140736313651520 18446744073709551615 218905836014 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=208136 CPUtime=0 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 120 0 0 0 0 0 0 0 22 0 4 0 877228470 213131264 702 33554432000 4194304 4627427 140736313651520 18446744073709551615 4310170 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=208136 CPUtime=0 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 108 0 0 0 0 0 0 0 22 0 4 0 877228470 213131264 702 33554432000 4194304 4627427 140736313651520 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.100536 s]
/proc/loadavg: 8.08 7.99 6.43 6/179 11983
/proc/meminfo: memFree=32035564/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=282268 CPUtime=0.38 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 1722 0 0 0 38 0 0 0 21 0 4 0 877228470 289042432 1584 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 70567 1584 384 106 0 65538 0
[pid=11983/tid=11984] ppid=11978 vsize=282268 CPUtime=0.09 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 337 0 0 0 9 0 0 0 22 0 4 0 877228470 289042432 1585 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=282268 CPUtime=0.09 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 346 0 0 0 9 0 0 0 22 0 4 0 877228470 289042432 1585 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=282268 CPUtime=0.09 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 261 0 0 0 9 0 0 0 22 0 4 0 877228470 289042432 1585 33554432000 4194304 4627427 140736313651520 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282268

[startup+0.200517 s]
/proc/loadavg: 8.08 7.99 6.43 6/179 11983
/proc/meminfo: memFree=32035564/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=283584 CPUtime=0.77 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 2372 0 0 0 77 0 0 0 21 0 4 0 877228470 290390016 1659 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 70896 1659 385 106 0 65867 0
[pid=11983/tid=11984] ppid=11978 vsize=283584 CPUtime=0.19 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 485 0 0 0 19 0 0 0 22 0 4 0 877228470 290390016 1659 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=283584 CPUtime=0.19 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 508 0 0 0 19 0 0 0 22 0 4 0 877228470 290390016 1660 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=283584 CPUtime=0.19 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 429 0 0 0 19 0 0 0 22 0 4 0 877228470 290390016 1660 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309454 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283584

[startup+0.3005 s]
/proc/loadavg: 8.08 7.99 6.43 6/179 11983
/proc/meminfo: memFree=32035564/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=283772 CPUtime=1.17 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 2790 0 0 0 117 0 0 0 21 0 4 0 877228470 290582528 2077 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 70943 2078 385 106 0 65914 0
[pid=11983/tid=11984] ppid=11978 vsize=283772 CPUtime=0.29 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 589 0 0 0 29 0 0 0 22 0 4 0 877228470 290582528 2078 33554432000 4194304 4627427 140736313651520 18446744073709551615 4332845 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=283772 CPUtime=0.29 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 611 0 0 0 29 0 0 0 22 0 4 0 877228470 290582528 2078 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=283772 CPUtime=0.29 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 536 0 0 0 29 0 0 0 22 0 4 0 877228470 290582528 2078 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283772

[startup+0.700428 s]
/proc/loadavg: 8.08 7.99 6.43 6/179 11983
/proc/meminfo: memFree=32035564/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=284876 CPUtime=2.78 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 4531 0 0 0 277 1 0 0 22 0 4 0 877228470 291713024 2685 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 71219 2685 385 106 0 66190 0
[pid=11983/tid=11984] ppid=11978 vsize=284876 CPUtime=0.68 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 991 0 0 0 68 0 0 0 25 0 4 0 877228470 291713024 2685 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=284876 CPUtime=0.69 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 1007 0 0 0 69 0 0 0 24 0 4 0 877228470 291713024 2685 33554432000 4194304 4627427 140736313651520 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=284876 CPUtime=0.69 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 1087 0 0 0 69 0 0 0 24 0 4 0 877228470 291713024 2685 33554432000 4194304 4627427 140736313651520 18446744073709551615 4310584 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284876

[startup+1.50029 s]
/proc/loadavg: 8.08 7.99 6.43 10/184 11988
/proc/meminfo: memFree=31999376/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=291464 CPUtime=5.97 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 8722 0 0 0 595 2 0 0 25 0 4 0 877228470 298459136 4722 33554432000 4194304 4627427 140736313651520 18446744073709551615 4330912 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 72866 4722 389 106 0 67837 0
[pid=11983/tid=11984] ppid=11978 vsize=291464 CPUtime=1.48 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 1736 0 0 0 148 0 0 0 25 0 4 0 877228470 298459136 4722 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=291464 CPUtime=1.48 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 1752 0 0 0 148 0 0 0 25 0 4 0 877228470 298459136 4722 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=291464 CPUtime=1.49 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 1741 0 0 0 149 0 0 0 25 0 4 0 877228470 298459136 4722 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291464

[startup+3.10099 s]
/proc/loadavg: 8.08 7.99 6.43 10/184 11988
/proc/meminfo: memFree=31972592/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=292072 CPUtime=12.37 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 17851 0 0 0 1234 3 0 0 25 0 4 0 877228470 299081728 8861 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308326 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 73018 8861 389 106 0 67989 0
[pid=11983/tid=11984] ppid=11978 vsize=292072 CPUtime=3.08 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 4031 0 0 0 308 0 0 0 25 0 4 0 877228470 299081728 8861 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308353 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=292072 CPUtime=3.07 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 4644 0 0 0 307 0 0 0 25 0 4 0 877228470 299081728 8861 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=292072 CPUtime=3.09 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 4486 0 0 0 309 0 0 0 25 0 4 0 877228470 299081728 8861 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 292072

[startup+6.30042 s]
/proc/loadavg: 8.08 7.99 6.43 6/178 12016
/proc/meminfo: memFree=31992892/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=294088 CPUtime=25.15 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 27871 0 0 0 2510 5 0 0 25 0 4 0 877228470 301146112 12630 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 73522 12630 389 106 0 68493 0
[pid=11983/tid=11984] ppid=11978 vsize=294088 CPUtime=6.28 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 7035 0 0 0 627 1 0 0 25 0 4 0 877228470 301146112 12630 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=294088 CPUtime=6.26 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 7671 0 0 0 625 1 0 0 25 0 4 0 877228470 301146112 12630 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=294088 CPUtime=6.29 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 6419 0 0 0 628 1 0 0 25 0 4 0 877228470 301146112 12630 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 294088

[startup+12.7003 s]
/proc/loadavg: 8.07 7.99 6.45 9/184 12029
/proc/meminfo: memFree=31793072/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=306584 CPUtime=50.71 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 45719 0 0 0 5063 8 0 0 25 0 4 0 877228470 313942016 17889 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 76646 17889 389 106 0 71617 0
[pid=11983/tid=11984] ppid=11978 vsize=306584 CPUtime=12.68 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 11593 0 0 0 1266 2 0 0 25 0 4 0 877228470 313942016 17889 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=306584 CPUtime=12.62 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 10882 0 0 0 1261 1 0 0 25 0 4 0 877228470 313942016 17889 33554432000 4194304 4627427 140736313651520 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=306584 CPUtime=12.69 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 11101 0 0 0 1267 2 0 0 25 0 4 0 877228470 313942016 17889 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 306584

[startup+25.5009 s]
/proc/loadavg: 8.06 7.99 6.47 9/184 12029
/proc/meminfo: memFree=31661392/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=313308 CPUtime=101.84 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 70410 0 0 0 10171 13 0 0 25 0 4 0 877228470 320827392 23912 33554432000 4194304 4627427 140736313651520 18446744073709551615 4332184 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 78327 23912 389 106 0 73298 0
[pid=11983/tid=11984] ppid=11978 vsize=313308 CPUtime=25.49 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 18714 0 0 0 2545 4 0 0 25 0 4 0 877228470 320827392 23912 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=313308 CPUtime=25.35 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 17326 0 0 0 2533 2 0 0 25 0 4 0 877228470 320827392 23912 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=313308 CPUtime=25.49 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 16348 0 0 0 2546 3 0 0 25 0 4 0 877228470 320827392 23912 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 313308

[startup+51.1003 s]
/proc/loadavg: 8.17 8.02 6.52 9/184 12030
/proc/meminfo: memFree=31525624/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=318484 CPUtime=204.11 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 106788 0 0 0 20387 24 0 0 25 0 4 0 877228470 326127616 31372 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 79621 31372 389 106 0 74592 0
[pid=11983/tid=11984] ppid=11978 vsize=318484 CPUtime=51.08 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 28938 0 0 0 5102 6 0 0 25 0 4 0 877228470 326127616 31372 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=318484 CPUtime=50.81 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 26462 0 0 0 5076 5 0 0 25 0 4 0 877228470 326127616 31372 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=318484 CPUtime=51.09 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 24732 0 0 0 5103 6 0 0 25 0 4 0 877228470 326127616 31372 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 318484

[startup+102.301 s]
/proc/loadavg: 8.20 8.05 6.61 9/184 12031
/proc/meminfo: memFree=31346972/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=315728 CPUtime=408.65 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 164016 0 0 0 40824 41 0 0 25 0 4 0 877228470 323305472 37482 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 78932 37482 389 106 0 73903 0
[pid=11983/tid=11984] ppid=11978 vsize=315728 CPUtime=102.29 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 43012 0 0 0 10220 9 0 0 25 0 4 0 877228470 323305472 37482 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=315728 CPUtime=101.74 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 39923 0 0 0 10165 9 0 0 25 0 4 0 877228470 323305472 37482 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=315728 CPUtime=102.29 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 39887 0 0 0 10218 11 0 0 25 0 4 0 877228470 323305472 37482 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 315728

[startup+162.3 s]

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

[pid=11983] ppid=11978 vsize=536508 CPUtime=2565.71 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 493477 0 0 0 256398 173 0 0 25 0 4 0 877228470 549384192 85895 33554432000 4194304 4627427 140736313651520 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 134127 85895 389 106 0 129098 0
[pid=11983/tid=11984] ppid=11978 vsize=536508 CPUtime=642.27 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 125396 0 0 0 64187 40 0 0 25 0 4 0 877228470 549384192 85895 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=536508 CPUtime=638.8 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 123735 0 0 0 63838 42 0 0 25 0 4 0 877228470 549384192 85895 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=536508 CPUtime=642.29 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 116763 0 0 0 64183 46 0 0 25 0 4 0 877228470 549384192 85895 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 536508

[startup+702.301 s]
/proc/loadavg: 8.06 8.05 7.28 9/184 12056
/proc/meminfo: memFree=30698420/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=524492 CPUtime=2805.38 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 519714 0 0 0 280354 184 0 0 25 0 4 0 877228470 537079808 91289 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 131123 91289 389 106 0 126094 0
[pid=11983/tid=11984] ppid=11978 vsize=524492 CPUtime=702.27 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 132500 0 0 0 70183 44 0 0 25 0 4 0 877228470 537079808 91289 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=524492 CPUtime=698.48 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 129733 0 0 0 69803 45 0 0 25 0 4 0 877228470 537079808 91289 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=524492 CPUtime=702.3 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 124146 0 0 0 70181 49 0 0 25 0 4 0 877228470 537079808 91289 33554432000 4194304 4627427 140736313651520 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 524492

[startup+762.301 s]
/proc/loadavg: 8.13 8.07 7.33 9/184 12060
/proc/meminfo: memFree=30711744/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=537492 CPUtime=3045.08 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 546562 0 0 0 304311 197 0 0 25 0 4 0 877228470 550391808 86199 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 134373 86199 389 106 0 129344 0
[pid=11983/tid=11984] ppid=11978 vsize=537492 CPUtime=762.29 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 139578 0 0 0 76181 48 0 0 25 0 4 0 877228470 550391808 86199 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=537492 CPUtime=758.15 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 137334 0 0 0 75767 48 0 0 25 0 4 0 877228470 550391808 86199 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=537492 CPUtime=762.31 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 128434 0 0 0 76180 51 0 0 25 0 4 0 877228470 550391808 86199 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 537492

[startup+822.301 s]
/proc/loadavg: 8.24 8.12 7.39 9/184 12063
/proc/meminfo: memFree=30657024/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=704184 CPUtime=3284.74 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 575104 0 0 0 328265 209 0 0 25 0 4 0 877228470 721084416 98416 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 176046 98416 389 106 0 171017 0
[pid=11983/tid=11984] ppid=11978 vsize=704184 CPUtime=822.28 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 148351 0 0 0 82178 50 0 0 25 0 4 0 877228470 721084416 98416 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=704184 CPUtime=817.83 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 143668 0 0 0 81731 52 0 0 25 0 4 0 877228470 721084416 98416 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=704184 CPUtime=822.3 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 136860 0 0 0 82176 54 0 0 25 0 4 0 877228470 721084416 98416 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 704184

[startup+882.307 s]
/proc/loadavg: 8.08 8.10 7.43 9/184 12064
/proc/meminfo: memFree=30589148/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=607448 CPUtime=3524.44 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 604945 0 0 0 352223 221 0 0 25 0 4 0 877228470 622026752 98729 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 151862 98729 389 106 0 146833 0
[pid=11983/tid=11984] ppid=11978 vsize=607448 CPUtime=882.28 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 155088 0 0 0 88176 52 0 0 25 0 4 0 877228470 622026752 98729 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=607448 CPUtime=877.5 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 151462 0 0 0 87695 55 0 0 25 0 4 0 877228470 622026752 98729 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=607448 CPUtime=882.31 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 144950 0 0 0 88174 57 0 0 25 0 4 0 877228470 622026752 98729 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 607448

[startup+942.3 s]
/proc/loadavg: 8.03 8.08 7.46 9/184 12066
/proc/meminfo: memFree=30431864/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=607964 CPUtime=3764.09 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 633816 0 0 0 376175 234 0 0 25 0 4 0 877228470 622555136 97565 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 151991 97565 389 106 0 146962 0
[pid=11983/tid=11984] ppid=11978 vsize=607964 CPUtime=942.28 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 163271 0 0 0 94172 56 0 0 25 0 4 0 877228470 622555136 97565 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=607964 CPUtime=937.17 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 158055 0 0 0 93659 58 0 0 25 0 4 0 877228470 622555136 97565 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=607964 CPUtime=942.3 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 152554 0 0 0 94170 60 0 0 25 0 4 0 877228470 622555136 97565 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 607964

[startup+1002.3 s]
/proc/loadavg: 8.01 8.06 7.49 9/184 12067
/proc/meminfo: memFree=30444324/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=660120 CPUtime=4003.77 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 660392 0 0 0 400130 247 0 0 25 0 4 0 877228470 675962880 103127 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 165030 103127 389 106 0 160001 0
[pid=11983/tid=11984] ppid=11978 vsize=660120 CPUtime=1002.28 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 169646 0 0 0 100169 59 0 0 25 0 4 0 877228470 675962880 103127 33554432000 4194304 4627427 140736313651520 18446744073709551615 4427136 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=660120 CPUtime=996.85 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 164262 0 0 0 99623 62 0 0 25 0 4 0 877228470 675962880 103127 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=660120 CPUtime=1002.3 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 160230 0 0 0 100167 63 0 0 25 0 4 0 877228470 675962880 103127 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 660120

[startup+1062.3 s]
/proc/loadavg: 8.06 8.06 7.53 9/184 12069
/proc/meminfo: memFree=30375432/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=612160 CPUtime=4243.44 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 686411 0 0 0 424087 257 0 0 25 0 4 0 877228470 626851840 103097 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 153040 103097 389 106 0 148011 0
[pid=11983/tid=11984] ppid=11978 vsize=612160 CPUtime=1062.27 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 176367 0 0 0 106166 61 0 0 25 0 4 0 877228470 626851840 103097 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=612160 CPUtime=1056.52 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 171002 0 0 0 105588 64 0 0 25 0 4 0 877228470 626851840 103097 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=612160 CPUtime=1062.3 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 166309 0 0 0 106164 66 0 0 25 0 4 0 877228470 626851840 103097 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 612160

[startup+1122.3 s]
/proc/loadavg: 8.07 8.06 7.56 9/184 12071
/proc/meminfo: memFree=30356652/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=612452 CPUtime=4483.13 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 710033 0 0 0 448044 269 0 0 25 0 4 0 877228470 627150848 105544 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 153113 105544 389 106 0 148084 0
[pid=11983/tid=11984] ppid=11978 vsize=612452 CPUtime=1122.28 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 181976 0 0 0 112163 65 0 0 25 0 4 0 877228470 627150848 105544 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=612452 CPUtime=1116.2 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 177597 0 0 0 111553 67 0 0 25 0 4 0 877228470 627150848 105544 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=612452 CPUtime=1122.31 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 173005 0 0 0 112161 70 0 0 25 0 4 0 877228470 627150848 105544 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 612452

[startup+1182.3 s]
/proc/loadavg: 8.14 8.08 7.59 9/184 12072
/proc/meminfo: memFree=30298812/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=612808 CPUtime=4722.81 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 733853 0 0 0 472003 278 0 0 25 0 4 0 877228470 627515392 104916 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 153202 104916 389 106 0 148173 0
[pid=11983/tid=11984] ppid=11978 vsize=612808 CPUtime=1182.28 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 188666 0 0 0 118161 67 0 0 25 0 4 0 877228470 627515392 104916 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=612808 CPUtime=1175.87 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 183932 0 0 0 117518 69 0 0 25 0 4 0 877228470 627515392 104916 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=612808 CPUtime=1182.3 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 177858 0 0 0 118158 72 0 0 25 0 4 0 877228470 627515392 104916 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 612808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.08 7.60 9/184 12073
/proc/meminfo: memFree=30302024/32951124 swapFree=67053156/67111528
[pid=11983] ppid=11978 vsize=718000 CPUtime=4800.31 cores=1,3,5,7
/proc/11983/stat : 11983 (strangenight2-m) R 11978 11983 11294 0 -1 4202496 742018 0 0 0 479751 280 0 0 25 0 4 0 877228470 735232000 105549 33554432000 4194304 4627427 140736313651520 18446744073709551615 4324294 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11983/statm: 179500 105549 389 106 0 174471 0
[pid=11983/tid=11984] ppid=11978 vsize=718000 CPUtime=1201.68 cores=1,3,5,7
/proc/11983/task/11984/stat : 11984 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 190965 0 0 0 120101 67 0 0 25 0 4 0 877228470 735232000 105550 33554432000 4194304 4627427 140736313651520 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11983/tid=11985] ppid=11978 vsize=718000 CPUtime=1195.17 cores=1,3,5,7
/proc/11983/task/11985/stat : 11985 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 185569 0 0 0 119447 70 0 0 25 0 4 0 877228470 735232000 105550 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11983/tid=11986] ppid=11978 vsize=718000 CPUtime=1201.71 cores=1,3,5,7
/proc/11983/task/11986/stat : 11986 (strangenight2-m) R 11978 11983 11294 0 -1 4202560 180959 0 0 0 120098 73 0 0 25 0 4 0 877228470 735232000 105550 33554432000 4194304 4627427 140736313651520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 718000

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.36
CPU user time (s): 4797.54
CPU system time (s): 2.82457
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 718080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.54
system time used= 2.82457
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 742020
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= 219
involuntary context switches= 31361

runsolver used 1.80972 second user time and 4.76727 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-09 23:51:48
IDJOB=3174259
IDBENCH=83077
IDSOLVER=1586
FILE ID=node137/3174259-1307656307
RUNJOBID= node137-1307655103-11838
PBS_JOBID= 13549410
Free space on /tmp= 74104 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174259-1307656307/watcher-3174259-1307656307 -o /tmp/evaluation-result-3174259-1307656307/solver-3174259-1307656307 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174259-1307656307.cnf

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

MD5SUM BENCH= c8e689035f3179f449d681054feb5bd2
RANDOM SEED=207905274

node137.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.844
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.68
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.844
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.75
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.844
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.844
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.74
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.844
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.82
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.844
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.75
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.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32036536 kB
Buffers:        206800 kB
Cached:         513888 kB
SwapCached:      12208 kB
Active:         352228 kB
Inactive:       388288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32036536 kB
SwapTotal:    67111528 kB
SwapFree:     67053156 kB
Dirty:           11688 kB
Writeback:           0 kB
AnonPages:       16548 kB
Mapped:           8832 kB
Slab:           109744 kB
PageTables:       3872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185984 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= 74088 MiB
End job on node137 at 2011-06-10 00:11:51