Trace number 3366515

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 (fixed)? (TO) 4800.18 1203.03

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf
MD5SUMe887a746d13f48cfc0f8cc23df918189
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10.8404
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of clauses1491
Sum of the clauses size4473
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31491
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366515-1305405872.cnf'
0.00/0.01	c -- header says num vars:            350
0.00/0.01	c -- header says num clauses:        1491
0.00/0.01	c -- clauses added:            0 learnts,         1491 normals,            0 xors
0.00/0.01	c -- vars added        350
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       350      1491         0         0      4473         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1491/1491 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    350 time:  0.00 s
0.00/0.01	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:      3  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:     151 undec:      41 neg:     158
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       347      1487         0         0      4477         0   no data   no data
0.00/0.05	c Decided on static restart strategy
0.37/0.13	c  N st     8      4916       347      1487         0      4784      4477     86501   no data   no data
1.17/0.36	c  N st    10     11300       347      1487         0      4453      4477     62421   no data   no data
1.97/0.58	c  N st    11     17044       347      1487         0     10009      4477    167782   no data   no data
3.58/0.96	c  F st    12     25000       347      1487         0     12300      4477    208122   no data   no data
3.58/0.96	c  N st    12     25000       347      1487         0     12300      4477    208122   no data   no data
4.40/1.19	c Decided on static restart strategy
4.40/1.19	c  N st    18     30001       347      1487         0     10597      4477    160507   no data   no data
4.40/1.19	c  S st    18     30001       347      1487         0     10597      4477    160507   no data   no data
4.81/1.23	c  S st    18     30503       347      1487         0     11096      4477    169576   no data   no data
4.81/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.81/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.81/1.23	c blocked clauses removed:        0 vars:      0 tried:         347 T: 0.00 s
4.81/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.81/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.81/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
4.81/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.81/1.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.81/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.81/1.29	c lits-rem:       164  cl-subs:      836  v-elim:      0  v-fix:    0  time:  0.05 s
4.81/1.29	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.00
4.81/1.29	c calculated reachability. Time: 0.00
4.81/1.29	c  N st    18     30503       347      1487         0     10260      4477    153736   no data   no data
6.36/1.69	c  N st    20     37614       347      1487         0      9499      4477    125710   no data   no data
7.95/2.05	c  N st    21     44013       347      1487         0     15708      4477    236591   no data   no data
8.35/2.17	c  S st    22     45754       347      1487         0     17404      4477    266683   no data   no data
8.77/2.21	c  S st    22     46258       347      1487         0      9238      4477    109322   no data   no data
8.77/2.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.77/2.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.77/2.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
8.77/2.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.77/2.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.23	c lits-rem:        30  cl-subs:      167  v-elim:      0  v-fix:    0  time:  0.01 s
8.77/2.23	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
8.77/2.23	c vivif2 --  cl tried     9071 cl shrink        0 lits rem          0 time: 0.00
8.77/2.23	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.00
8.77/2.23	c calculated reachability. Time: 0.00
8.77/2.23	c  N st    22     46258       347      1487         0      9071      4477    106767   no data   no data
11.95/3.04	c  N st    23     60655       347      1487         0     13370      4477    179053   no data   no data
14.33/3.65	c  N st    24     69388       347      1487         0     11178      4477    130502   no data   no data
14.33/3.65	c  S st    24     69388       347      1487         0     11178      4477    130502   no data   no data
14.33/3.68	c  S st    24     69888       347      1487         0     11675      4477    139472   no data   no data
14.33/3.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.33/3.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
14.33/3.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.33/3.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.33/3.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.33/3.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
14.33/3.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.33/3.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.33/3.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.71	c lits-rem:        35  cl-subs:      240  v-elim:      0  v-fix:    0  time:  0.02 s
14.73/3.71	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
14.73/3.71	c vivif2 --  cl tried    11435 cl shrink        0 lits rem          0 time: 0.00
14.73/3.72	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.01
14.73/3.72	c calculated reachability. Time: 0.00
14.73/3.72	c  N st    24     69888       347      1487         0     11435      4477    135153   no data   no data
19.12/4.86	c  F st    25     87500       347      1487         0     16857      4477    232924   no data   no data
19.12/4.86	c  N st    25     87500       347      1487         0     16857      4477    232924   no data   no data
20.73/5.23	c Decided on static restart strategy
21.53/5.48	c  N st    32     95540       347      1487         0     24640      4477    370852   no data   no data
24.32/6.16	c  N st    34    104832       347      1487         0     21034      4477    286999   no data   no data
24.32/6.16	c  S st    34    104832       347      1487         0     21034      4477    286999   no data   no data
24.72/6.21	c  S st    34    105335       347      1487         0     21535      4477    296297   no data   no data
24.72/6.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.72/6.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
24.72/6.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.72/6.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.72/6.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.72/6.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
24.72/6.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.72/6.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.72/6.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.51/6.40	c lits-rem:       111  cl-subs:     1605  v-elim:      0  v-fix:    0  time:  0.17 s
25.51/6.40	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
25.51/6.41	c vivif2 --  cl tried    19930 cl shrink        0 lits rem          0 time: 0.00
25.51/6.42	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.01
25.51/6.42	c calculated reachability. Time: 0.00
25.51/6.42	c  N st    34    105335       347      1487         0     19930      4477    269313   no data   no data
28.71/7.21	c  N st    35    114933       347      1487         0     15668      4477    177424   no data   no data
33.48/8.43	c  N st    36    129331       347      1487         0     15073      4477    156013   no data   no data
39.91/10.09	c  N st    37    150930       347      1487         0     20470      4477    240769   no data   no data
42.27/10.69	c  S st    38    158002       347      1487         0     27272      4477    357615   no data   no data
42.67/10.76	c  S st    38    158503       347      1487         0     27769      4477    366886   no data   no data
42.67/10.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.67/10.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
42.67/10.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.67/10.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.67/10.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.67/10.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
42.67/10.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.67/10.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
42.67/10.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.89/11.04	c lits-rem:       441  cl-subs:     2427  v-elim:      0  v-fix:    0  time:  0.26 s
43.89/11.04	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
43.89/11.05	c vivif2 --  cl tried    25342 cl shrink        0 lits rem          0 time: 0.00
43.89/11.06	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.01
43.89/11.06	c calculated reachability. Time: 0.00
43.89/11.06	c  N st    38    158503       347      1487         0     25342      4477    329959   no data   no data
62.22/15.68	c  N st    39    207091       347      1487         0     20218      4477    218562   no data   no data
74.19/18.67	c  N st    40    237755       347      1487         0     30457      4477    386777   no data   no data
74.19/18.67	c  S st    40    237755       347      1487         0     30457      4477    386777   no data   no data
74.61/18.74	c  S st    40    238257       347      1487         0     30956      4477    396704   no data   no data
74.61/18.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.61/18.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.61/18.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.61/18.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.61/18.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.61/18.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
74.61/18.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.61/18.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.61/18.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.18/19.13	c lits-rem:       181  cl-subs:     2473  v-elim:      0  v-fix:    0  time:  0.36 s
76.18/19.13	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
76.18/19.14	c vivif2 --  cl tried    28483 cl shrink        0 lits rem          0 time: 0.00
76.18/19.15	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.02
76.18/19.16	c calculated reachability. Time: 0.00
76.18/19.16	c  N st    40    238257       347      1487         0     28483      4477    357669   no data   no data
104.11/26.18	c  F st    41    306250       347      1487         0     30634      4477    358411   no data   no data
104.11/26.18	c  N st    41    306250       347      1487         0     30634      4477    358411   no data   no data
106.51/26.79	c Decided on static restart strategy
117.68/29.55	c  N st    51    334553       347      1487         0     34692      4477    403235   no data   no data
128.85/32.31	c  N st    53    357386       347      1487         0     32574      4477    359643   no data   no data
128.85/32.31	c  S st    53    357386       347      1487         0     32574      4477    359643   no data   no data
128.85/32.40	c  S st    53    357892       347      1487         0     33077      4477    369109   no data   no data
129.25/32.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
129.25/32.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
129.25/32.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.25/32.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
129.25/32.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.25/32.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
129.25/32.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
129.25/32.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
129.25/32.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.05/32.65	c lits-rem:       117  cl-subs:     2065  v-elim:      0  v-fix:    0  time:  0.23 s
130.05/32.65	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
130.05/32.65	c vivif2 --  cl tried    31012 cl shrink        0 lits rem          0 time: 0.00
130.05/32.67	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.02
130.05/32.67	c calculated reachability. Time: 0.00
130.05/32.67	c  N st    53    357892       347      1487         0     31012      4477    339552   no data   no data
145.60/36.55	c  N st    54    390284       347      1487         0     37302      4477    447114   no data   no data
171.58/43.10	c  N st    55    438874       347      1487         0     30914      4477    307380   no data   no data
210.67/52.87	c  N st    56    511758       347      1487         0     44357      4477    541563   no data   no data
224.26/56.26	c  N st    57    536838       347      1487         0     38663      4477    426686   no data   no data
224.26/56.26	c  S st    57    536838       347      1487         0     38663      4477    426686   no data   no data
224.61/56.37	c  S st    57    537339       347      1487         0     39162      4477    436446   no data   no data
224.61/56.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
224.61/56.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
224.61/56.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
224.61/56.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
224.61/56.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
224.61/56.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
224.61/56.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
224.61/56.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
225.01/56.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
225.81/56.67	c lits-rem:       173  cl-subs:     1731  v-elim:      0  v-fix:    0  time:  0.27 s
225.81/56.67	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
225.81/56.68	c vivif2 --  cl tried    37431 cl shrink        0 lits rem          0 time: 0.01
226.21/56.70	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.02
226.21/56.70	c calculated reachability. Time: 0.00
226.21/56.70	c  N st    57    537339       347      1487         0     37431      4477    408747   no data   no data
327.56/82.14	c  N st    58    701324       347      1487         0     65964      4477    889011   no data   no data
399.82/100.26	c  N st    59    806008       347      1487         0     59944      4477    733333   no data   no data
399.82/100.26	c  S st    59    806008       347      1487         0     59944      4477    733333   no data   no data
400.57/100.42	c  S st    59    806517       347      1487         0     60451      4477    743768   no data   no data
400.57/100.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
400.57/100.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
400.57/100.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
400.57/100.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
400.57/100.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
400.57/100.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
400.57/100.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
400.57/100.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
400.57/100.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
407.36/102.13	c lits-rem:       458  cl-subs:     5979  v-elim:      0  v-fix:    0  time:  1.65 s
407.36/102.13	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
407.36/102.14	c vivif2 --  cl tried    54472 cl shrink        0 lits rem          0 time: 0.01
407.36/102.18	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.04
407.36/102.18	c calculated reachability. Time: 0.00
407.36/102.18	c  N st    59    806517       347      1487         0     54472      4477    650900   no data   no data
599.28/150.27	c  F st    60   1071876       347      1487         0     70131      4477    869597   no data   no data
599.28/150.27	c  N st    60   1071876       347      1487         0     70131      4477    869597   no data   no data
604.87/151.65	c Decided on static restart strategy
624.42/156.50	c  N st    70   1100185       347      1487         0     54443      4477    584602   no data   no data
654.39/164.05	c  N st    72   1136181       347      1487         0     44960      4477    391553   no data   no data
676.69/169.69	c  N st    73   1168573       347      1487         0     75927      4477    942074   no data   no data
711.45/178.31	c  N st    74   1209776       347      1487         0     70254      4477    804614   no data   no data
711.45/178.31	c  S st    74   1209776       347      1487         0     70254      4477    804614   no data   no data
712.61/178.61	c  S st    74   1210280       347      1487         0     70756      4477    814396   no data   no data
712.61/178.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
712.61/178.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
712.61/178.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
712.61/178.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
712.61/178.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
712.61/178.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
712.61/178.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
712.61/178.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
712.61/178.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
724.20/181.56	c lits-rem:       276  cl-subs:     8517  v-elim:      0  v-fix:    0  time:  2.86 s
724.20/181.56	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
724.20/181.57	c vivif2 --  cl tried    62239 cl shrink        0 lits rem          0 time: 0.01
724.62/181.63	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.06
724.62/181.63	c calculated reachability. Time: 0.00
724.62/181.63	c  N st    74   1210280       347      1487         0     62239      4477    688355   no data   no data
787.22/197.31	c  N st    75   1283162       347      1487         0     86108      4477   1114437   no data   no data
886.19/222.15	c  N st    76   1392485       347      1487         0     95630      4477   1188771   no data   no data
1034.22/259.20	c  N st    77   1556472       347      1487         0     51998      4477    439722   no data   no data
1171.48/293.62	c  N st    78   1710280       347      1487         0     92836      4477   1150105   no data   no data
1171.48/293.62	c  S st    78   1710280       347      1487         0     92836      4477   1150105   no data   no data
1172.67/293.96	c  S st    78   1710785       347      1487         0     93337      4477   1159931   no data   no data
1172.67/293.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1173.07/294.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1173.07/294.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1173.07/294.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1173.07/294.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1173.07/294.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
1173.07/294.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1173.07/294.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1173.07/294.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1202.20/301.37	c lits-rem:       802  cl-subs:    11793  v-elim:      0  v-fix:    0  time:  7.31 s
1202.20/301.37	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
1202.20/301.39	c vivif2 --  cl tried    81544 cl shrink        0 lits rem          0 time: 0.02
1203.04/301.52	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.12
1203.04/301.52	c calculated reachability. Time: 0.00
1203.04/301.52	c  N st    78   1710785       347      1487         0     81544      4477    979414   no data   no data
1575.70/394.99	c  N st    79   2079750       347      1487         0     93485      4477   1085214   no data   no data
1715.73/430.09	c  N st    80   2210786       347      1487         0     97674      4477   1201327   no data   no data
1715.73/430.09	c  S st    80   2210786       347      1487         0     97674      4477   1201327   no data   no data
1717.32/430.43	c  S st    80   2211287       347      1487         0     98172      4477   1211265   no data   no data
1717.32/430.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1717.32/430.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1717.32/430.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1717.32/430.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1717.32/430.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1717.32/430.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
1717.32/430.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1717.72/430.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1717.72/430.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1735.67/435.09	c lits-rem:       758  cl-subs:     7926  v-elim:      0  v-fix:    0  time:  4.56 s
1735.67/435.09	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
1736.07/435.11	c vivif2 --  cl tried    90246 cl shrink        0 lits rem          0 time: 0.02
1736.47/435.21	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.10
1736.47/435.21	c calculated reachability. Time: 0.00
1736.47/435.21	c  N st    80   2211287       347      1487         0     90246      4477   1081307   no data   no data
2339.41/586.36	c  N st    81   2711288       347      1487         0    113379      4477   1299835   no data   no data
2339.41/586.36	c  S st    81   2711288       347      1487         0    113379      4477   1299835   no data   no data
2341.38/586.80	c  S st    81   2711790       347      1487         0    113878      4477   1310309   no data   no data
2341.38/586.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2341.38/586.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
2341.38/586.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2341.38/586.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2341.38/586.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2341.38/586.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
2341.38/586.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2341.78/586.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2341.78/586.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2376.09/595.51	c lits-rem:       242  cl-subs:    22788  v-elim:      0  v-fix:    0  time:  8.57 s
2376.09/595.51	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
2376.09/595.53	c vivif2 --  cl tried    91090 cl shrink        0 lits rem          0 time: 0.02
2376.49/595.62	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.09
2376.49/595.62	c calculated reachability. Time: 0.00
2376.49/595.62	c  N st    81   2711790       347      1487         0     91090      4477    966390   no data   no data
2984.20/747.91	c  N st    82   3211791       347      1487         0    142231      4477   1689118   no data   no data
2984.20/747.91	c  S st    82   3211791       347      1487         0    142231      4477   1689118   no data   no data
2986.19/748.42	c  S st    82   3212294       347      1487         1    142730      4477   1698666   no data   no data
2986.19/748.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2986.19/748.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2986.19/748.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2986.19/748.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2986.19/748.49	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
2986.19/748.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
2986.19/748.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2986.59/748.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2990.18/749.47	c subs with bin:     2100  lits-rem:      2131  v-fix:    0  time:  0.90 s
3051.62/764.83	c lits-rem:      1781  cl-subs:    34490  v-elim:      0  v-fix:    0  time: 15.35 s
3051.62/764.83	c vivif2 --  cl tried     1486 cl shrink        0 lits rem          0 time: 0.00
3051.62/764.85	c vivif2 --  cl tried   106140 cl shrink        0 lits rem          0 time: 0.02
3052.02/764.96	c asymm  cl-useful: 0/1486/1486 lits-rem:0 time: 0.12
3052.02/764.97	c calculated reachability. Time: 0.00
3052.02/764.97	c  N st    82   3212294       347      1486         1    106140      4476   1174793   no data   no data
3662.51/917.94	c  N st    83   3712295       347      1486         1    124207      4476   1455149   no data   no data
3662.51/917.94	c  S st    83   3712295       347      1486         1    124207      4476   1455149   no data   no data
3662.51/917.99	c Finding binary XORs  T:     0.00 s  found:       0
3664.51/918.42	c  S st    83   3712797       346      1467        12    118117      4429   1375490   no data   no data
3664.51/918.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3664.51/918.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
3664.51/918.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3664.51/918.49	c bin-w-bin subsume rem            6 bins  time:  0.00 s
3664.51/918.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3664.51/918.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    346 time:  0.00 s
3664.51/918.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3664.93/918.51	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.02 s
3664.93/918.58	c subs with bin:      158  lits-rem:      1646  v-fix:    0  time:  0.04 s
3690.85/925.04	c lits-rem:      1299  cl-subs:    13895  v-elim:      0  v-fix:    0  time:  6.45 s
3690.85/925.04	c vivif2 --  cl tried     1466 cl shrink        0 lits rem          0 time: 0.00
3690.85/925.06	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.02
3691.27/925.17	c asymm  cl-useful: 0/1466/1466 lits-rem:0 time: 0.12
3691.27/925.18	c calculated reachability. Time: 0.00
3691.27/925.18	c  N st    83   3712797       345      1466         6    103935      4430   1161264   no data   no data
3747.51/939.24	c  F st    84   3751562       345      1466         6    141093      4430   1840221   no data   no data
3747.51/939.24	c  N st    84   3751562       345      1466         6    141093      4430   1840221   no data   no data
3758.67/942.04	c Decided on static restart strategy
3792.22/950.48	c  N st    94   3779862       345      1466         6     91757      4430    882156   no data   no data
3839.28/962.22	c  N st    96   3815858       345      1466         6    126102      4430   1511110   no data   no data
3891.55/975.36	c  N st    97   3848251       345      1466         6    156825      4430   2033648   no data   no data
3951.80/990.45	c  N st    98   3896840       345      1466         6    123656      4430   1403811   no data   no data
4060.37/1017.62	c  N st    99   3969722       345      1466         6    112056      4430   1150654   no data   no data
4199.19/1052.45	c  N st   100   4079045       345      1466         6    133573      4430   1538589   no data   no data
4415.06/1106.54	c  N st   101   4212802       345      1466         6     92704      4430    838317   no data   no data
4415.06/1106.54	c  S st   101   4212802       345      1466         6     92704      4430    838317   no data   no data
4416.65/1106.90	c  S st   101   4213309       345      1466         6     93209      4430    847624   no data   no data
4416.65/1106.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4416.65/1106.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
4416.65/1106.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4416.65/1106.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4416.65/1106.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4416.65/1106.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    345 time:  0.00 s
4416.65/1106.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4416.65/1106.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4417.04/1107.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4419.87/1107.78	c lits-rem:      1066  cl-subs:     3576  v-elim:      0  v-fix:    0  time:  0.77 s
4419.87/1107.78	c vivif2 --  cl tried     1466 cl shrink        0 lits rem          0 time: 0.00
4419.87/1107.80	c vivif2 --  cl tried    89633 cl shrink        0 lits rem          0 time: 0.01
4420.28/1107.88	c asymm  cl-useful: 0/1466/1466 lits-rem:0 time: 0.08
4420.28/1107.88	c calculated reachability. Time: 0.00
4420.28/1107.88	c  N st   101   4213309       345      1466         6     89633      4430    797766   no data   no data
4755.41/1191.82	c  N st   102   4459285       345      1466         6    152619      4430   1792459   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: 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-3366515-1305405872/watcher-3366515-1305405872 -o /tmp/evaluation-result-3366515-1305405872/solver-3366515-1305405872 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366515-1305405872.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: 6.82 7.82 7.94 8/319 8002
/proc/meminfo: memFree=11153440/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 407 0 0 0 1 0 0 0 21 0 4 0 652189559 52396032 348 33554432000 4194304 4580107 140733345431296 18446744073709551615 47227074815922 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 12792 348 299 95 0 7774 0
[pid=8002/tid=8003] ppid=8000 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 652189559 52396032 348 33554432000 4194304 4580107 140733345431296 18446744073709551615 47227074815920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 652189559 52396032 348 33554432000 4194304 4580107 140733345431296 18446744073709551615 47227074815922 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652189559 52396032 348 33554432000 4194304 4580107 140733345431296 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.100083 s]
/proc/loadavg: 6.82 7.82 7.94 8/319 8002
/proc/meminfo: memFree=11153440/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=282092 CPUtime=0.37 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 1431 0 0 0 37 0 0 0 18 0 4 0 652189559 288862208 1350 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 70523 1350 377 95 0 65505 0
[pid=8002/tid=8003] ppid=8000 vsize=282092 CPUtime=0.09 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 272 0 0 0 9 0 0 0 18 0 4 0 652189559 288862208 1350 33554432000 4194304 4580107 140733345431296 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=282092 CPUtime=0.09 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 272 0 0 0 9 0 0 0 18 0 4 0 652189559 288862208 1350 33554432000 4194304 4580107 140733345431296 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=282092 CPUtime=0.08 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 217 0 0 0 8 0 0 0 24 0 4 0 652189559 288862208 1350 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282092

[startup+0.201064 s]
/proc/loadavg: 6.82 7.82 7.94 8/319 8002
/proc/meminfo: memFree=11153440/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=283168 CPUtime=0.77 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 2008 0 0 0 77 0 0 0 18 0 4 0 652189559 289964032 1487 33554432000 4194304 4580107 140733345431296 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 70792 1487 377 95 0 65774 0
[pid=8002/tid=8003] ppid=8000 vsize=283168 CPUtime=0.19 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 422 0 0 0 19 0 0 0 18 0 4 0 652189559 289964032 1487 33554432000 4194304 4580107 140733345431296 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=283168 CPUtime=0.19 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 414 0 0 0 19 0 0 0 18 0 4 0 652189559 289964032 1487 33554432000 4194304 4580107 140733345431296 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=283168 CPUtime=0.18 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 360 0 0 0 18 0 0 0 25 0 4 0 652189559 289964032 1487 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283168

[startup+0.301045 s]
/proc/loadavg: 6.82 7.82 7.94 8/319 8002
/proc/meminfo: memFree=11153440/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=283300 CPUtime=1.17 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 2378 0 0 0 117 0 0 0 18 0 4 0 652189559 290099200 1857 33554432000 4194304 4580107 140733345431296 18446744073709551615 4320772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 70825 1857 377 95 0 65807 0
[pid=8002/tid=8003] ppid=8000 vsize=283300 CPUtime=0.29 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 514 0 0 0 29 0 0 0 18 0 4 0 652189559 290099200 1857 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=283300 CPUtime=0.29 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 505 0 0 0 29 0 0 0 18 0 4 0 652189559 290099200 1857 33554432000 4194304 4580107 140733345431296 18446744073709551615 4296268 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=283300 CPUtime=0.28 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 454 0 0 0 28 0 0 0 25 0 4 0 652189559 290099200 1857 33554432000 4194304 4580107 140733345431296 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283300

[startup+0.70097 s]
/proc/loadavg: 6.82 7.82 7.94 8/319 8002
/proc/meminfo: memFree=11153440/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=284632 CPUtime=2.78 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 4147 0 0 0 277 1 0 0 18 0 4 0 652189559 291463168 2085 33554432000 4194304 4580107 140733345431296 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 71158 2085 377 95 0 66140 0
[pid=8002/tid=8003] ppid=8000 vsize=284632 CPUtime=0.69 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 972 0 0 0 69 0 0 0 18 0 4 0 652189559 291463168 2085 33554432000 4194304 4580107 140733345431296 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=284632 CPUtime=0.69 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 932 0 0 0 69 0 0 0 18 0 4 0 652189559 291463168 2085 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=284632 CPUtime=0.68 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 880 0 0 0 68 0 0 0 25 0 4 0 652189559 291463168 2085 33554432000 4194304 4580107 140733345431296 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284632

[startup+1.50082 s]
/proc/loadavg: 6.82 7.82 7.94 11/324 8007
/proc/meminfo: memFree=11132944/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=290040 CPUtime=5.96 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 7456 0 0 0 595 1 0 0 20 0 4 0 652189559 297000960 4068 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294438 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 72510 4068 379 95 0 67492 0
[pid=8002/tid=8003] ppid=8000 vsize=290040 CPUtime=1.49 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 1485 0 0 0 149 0 0 0 19 0 4 0 652189559 297000960 4068 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=290040 CPUtime=1.49 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 1591 0 0 0 149 0 0 0 19 0 4 0 652189559 297000960 4068 33554432000 4194304 4580107 140733345431296 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=290040 CPUtime=1.47 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 1355 0 0 0 147 0 0 0 25 0 4 0 652189559 297000960 4068 33554432000 4194304 4580107 140733345431296 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 290040

[startup+3.10051 s]
/proc/loadavg: 6.82 7.82 7.94 11/324 8007
/proc/meminfo: memFree=11102316/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=290616 CPUtime=12.35 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 15197 0 0 0 1232 3 0 0 25 0 4 0 652189559 297590784 7388 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 72654 7388 379 95 0 67636 0
[pid=8002/tid=8003] ppid=8000 vsize=290616 CPUtime=3.09 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 3454 0 0 0 309 0 0 0 25 0 4 0 652189559 297590784 7388 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=290616 CPUtime=3.08 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 4040 0 0 0 308 0 0 0 25 0 4 0 652189559 297590784 7388 33554432000 4194304 4580107 140733345431296 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=290616 CPUtime=3.05 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 3705 0 0 0 305 0 0 0 25 0 4 0 652189559 297590784 7388 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 290616

[startup+6.30091 s]
/proc/loadavg: 6.91 7.83 7.94 11/324 8007
/proc/meminfo: memFree=11074944/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=296120 CPUtime=25.11 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 24280 0 0 0 2507 4 0 0 25 0 4 0 652189559 303226880 10964 33554432000 4194304 4580107 140733345431296 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 74030 10964 379 95 0 69012 0
[pid=8002/tid=8003] ppid=8000 vsize=296120 CPUtime=6.28 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 6103 0 0 0 628 0 0 0 25 0 4 0 652189559 303226880 10964 33554432000 4194304 4580107 140733345431296 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=296120 CPUtime=6.29 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 6351 0 0 0 628 1 0 0 25 0 4 0 652189559 303226880 10964 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=296120 CPUtime=6.22 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 5252 0 0 0 622 0 0 0 25 0 4 0 652189559 303226880 10964 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 296120

[startup+12.7007 s]
/proc/loadavg: 7.00 7.83 7.94 10/324 8007
/proc/meminfo: memFree=11044444/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=300592 CPUtime=50.65 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 36823 0 0 0 5058 7 0 0 25 0 4 0 652189559 307806208 14393 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 75148 14393 379 95 0 70130 0
[pid=8002/tid=8003] ppid=8000 vsize=300592 CPUtime=12.69 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 9346 0 0 0 1268 1 0 0 25 0 4 0 652189559 307806208 14393 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=300592 CPUtime=12.69 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 8945 0 0 0 1268 1 0 0 25 0 4 0 652189559 307806208 14393 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=300592 CPUtime=12.55 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 8864 0 0 0 1254 1 0 0 25 0 4 0 652189559 307806208 14393 33554432000 4194304 4580107 140733345431296 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 300592

[startup+25.5013 s]
/proc/loadavg: 7.22 7.83 7.94 11/324 8008
/proc/meminfo: memFree=11011464/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=304620 CPUtime=101.72 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 56520 0 0 0 10162 10 0 0 25 0 4 0 652189559 311930880 18254 33554432000 4194304 4580107 140733345431296 18446744073709551615 4332289 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 76155 18254 379 95 0 71137 0
[pid=8002/tid=8003] ppid=8000 vsize=304620 CPUtime=25.49 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 14842 0 0 0 2547 2 0 0 25 0 4 0 652189559 311930880 18254 33554432000 4194304 4580107 140733345431296 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=304620 CPUtime=25.49 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 14198 0 0 0 2547 2 0 0 25 0 4 0 652189559 311930880 18254 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=304620 CPUtime=25.22 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 13469 0 0 0 2520 2 0 0 25 0 4 0 652189559 311930880 18254 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 304620

[startup+51.1004 s]
/proc/loadavg: 7.56 7.86 7.95 10/324 8008
/proc/meminfo: memFree=10967396/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=308584 CPUtime=203.86 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 85878 0 0 0 20366 20 0 0 25 0 4 0 652189559 315990016 22854 33554432000 4194304 4580107 140733345431296 18446744073709551615 4305188 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 77146 22854 379 95 0 72128 0
[pid=8002/tid=8003] ppid=8000 vsize=308584 CPUtime=51.09 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 22984 0 0 0 5105 4 0 0 25 0 4 0 652189559 315990016 22854 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=308584 CPUtime=51.08 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 22019 0 0 0 5104 4 0 0 25 0 4 0 652189559 315990016 22854 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=308584 CPUtime=50.56 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 20272 0 0 0 5051 5 0 0 25 0 4 0 652189559 315990016 22854 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 308584

[startup+102.301 s]
/proc/loadavg: 7.81 7.88 7.95 10/324 8010
/proc/meminfo: memFree=10922492/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=322716 CPUtime=408.19 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 132286 0 0 0 40784 35 0 0 25 0 4 0 652189559 330461184 29876 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 80679 29876 379 95 0 75661 0
[pid=8002/tid=8003] ppid=8000 vsize=322716 CPUtime=102.3 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 34382 0 0 0 10223 7 0 0 25 0 4 0 652189559 330461184 29879 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=322716 CPUtime=102.29 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 32670 0 0 0 10222 7 0 0 25 0 4 0 652189559 330461184 29879 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=322716 CPUtime=101.26 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 31949 0 0 0 10116 10 0 0 25 0 4 0 652189559 330461184 29879 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.19
Current children cumulated vsize (KiB) 322716

[startup+162.3 s]

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

[pid=8002] ppid=8000 vsize=516172 CPUtime=2802.24 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 422369 0 0 0 280068 156 0 0 25 0 4 0 652189559 528560128 77927 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 129043 77927 379 95 0 124025 0
[pid=8002/tid=8003] ppid=8000 vsize=516172 CPUtime=702.31 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 119292 0 0 0 70190 41 0 0 25 0 4 0 652189559 528560128 77927 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=516172 CPUtime=702.31 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 114299 0 0 0 70188 43 0 0 25 0 4 0 652189559 528560128 77927 33554432000 4194304 4580107 140733345431296 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=516172 CPUtime=695.27 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 105350 0 0 0 69487 40 0 0 25 0 4 0 652189559 528560128 77927 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.24
Current children cumulated vsize (KiB) 516172

[startup+762.301 s]
/proc/loadavg: 8.09 8.07 8.01 11/324 8027
/proc/meminfo: memFree=10521948/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=504640 CPUtime=3041.68 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 439938 0 0 0 304003 165 0 0 25 0 4 0 652189559 516751360 85829 33554432000 4194304 4580107 140733345431296 18446744073709551615 4406365 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 126160 85829 379 95 0 121142 0
[pid=8002/tid=8003] ppid=8000 vsize=504640 CPUtime=762.33 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 125525 0 0 0 76189 44 0 0 25 0 4 0 652189559 516751360 85829 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=504640 CPUtime=762.32 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 120540 0 0 0 76186 46 0 0 25 0 4 0 652189559 516751360 85829 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=504640 CPUtime=754.68 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 109572 0 0 0 75425 43 0 0 25 0 4 0 652189559 516751360 85829 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.68
Current children cumulated vsize (KiB) 504640

[startup+822.301 s]
/proc/loadavg: 8.07 8.07 8.01 10/324 8059
/proc/meminfo: memFree=10687732/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=517124 CPUtime=3281.05 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 454084 0 0 0 327933 172 0 0 25 0 4 0 652189559 529534976 81988 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 129281 81988 379 95 0 124263 0
[pid=8002/tid=8003] ppid=8000 vsize=517124 CPUtime=822.32 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 129209 0 0 0 82186 46 0 0 25 0 4 0 652189559 529534976 81988 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=517124 CPUtime=822.31 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 127391 0 0 0 82182 49 0 0 25 0 4 0 652189559 529534976 81988 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=517124 CPUtime=814.08 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 112315 0 0 0 81363 45 0 0 25 0 4 0 652189559 529534976 81988 33554432000 4194304 4580107 140733345431296 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.05
Current children cumulated vsize (KiB) 517124

[startup+882.312 s]
/proc/loadavg: 8.06 8.07 8.01 10/324 8061
/proc/meminfo: memFree=10649140/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=570712 CPUtime=3520.51 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 467530 0 0 0 351873 178 0 0 25 0 4 0 652189559 584409088 83255 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 142678 83255 379 95 0 137660 0
[pid=8002/tid=8003] ppid=8000 vsize=570712 CPUtime=882.33 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 134860 0 0 0 88185 48 0 0 25 0 4 0 652189559 584409088 83255 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=570712 CPUtime=882.33 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 130783 0 0 0 88182 51 0 0 25 0 4 0 652189559 584409088 83255 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=570712 CPUtime=873.48 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 116320 0 0 0 87302 46 0 0 25 0 4 0 652189559 584409088 83255 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.51
Current children cumulated vsize (KiB) 570712

[startup+942.301 s]
/proc/loadavg: 8.16 8.10 8.02 10/324 8062
/proc/meminfo: memFree=10616256/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=570852 CPUtime=3759.87 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 484320 0 0 0 375801 186 0 0 25 0 4 0 652189559 584552448 83919 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 142713 83919 379 95 0 137695 0
[pid=8002/tid=8003] ppid=8000 vsize=570852 CPUtime=942.33 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 140955 0 0 0 94182 51 0 0 25 0 4 0 652189559 584552448 83919 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=570852 CPUtime=942.32 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 136171 0 0 0 94178 54 0 0 25 0 4 0 652189559 584552448 83919 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=570852 CPUtime=932.88 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 121283 0 0 0 93239 49 0 0 25 0 4 0 652189559 584552448 83919 33554432000 4194304 4580107 140733345431296 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.87
Current children cumulated vsize (KiB) 570852

[startup+1002.3 s]
/proc/loadavg: 8.13 8.10 8.02 10/324 8073
/proc/meminfo: memFree=10574788/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=584356 CPUtime=3999.27 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 500646 0 0 0 399733 194 0 0 25 0 4 0 652189559 598380544 89420 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 146089 89420 379 95 0 141071 0
[pid=8002/tid=8003] ppid=8000 vsize=584356 CPUtime=1002.32 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 146489 0 0 0 100179 53 0 0 25 0 4 0 652189559 598380544 89420 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=584356 CPUtime=1002.32 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 141353 0 0 0 100175 57 0 0 25 0 4 0 652189559 598380544 89420 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=584356 CPUtime=992.28 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 126569 0 0 0 99177 51 0 0 25 0 4 0 652189559 598380544 89420 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.27
Current children cumulated vsize (KiB) 584356

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 8.02 10/324 8074
/proc/meminfo: memFree=10508680/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=571764 CPUtime=4238.69 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 514557 0 0 0 423668 201 0 0 25 0 4 0 652189559 585486336 90237 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 142941 90237 379 95 0 137923 0
[pid=8002/tid=8003] ppid=8000 vsize=571764 CPUtime=1062.33 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 152466 0 0 0 106177 56 0 0 25 0 4 0 652189559 585486336 90237 33554432000 4194304 4580107 140733345431296 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=571764 CPUtime=1062.32 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 146678 0 0 0 106173 59 0 0 25 0 4 0 652189559 585486336 90237 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=571764 CPUtime=1051.69 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 129178 0 0 0 105116 53 0 0 25 0 4 0 652189559 585486336 90237 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.69
Current children cumulated vsize (KiB) 571764

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 8.02 10/324 8076
/proc/meminfo: memFree=10455952/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=572396 CPUtime=4478.09 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 527614 0 0 0 447602 207 0 0 25 0 4 0 652189559 586133504 99609 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 143099 99609 379 95 0 138081 0
[pid=8002/tid=8003] ppid=8000 vsize=572396 CPUtime=1122.33 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 155776 0 0 0 112176 57 0 0 25 0 4 0 652189559 586133504 99609 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=572396 CPUtime=1122.32 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 151943 0 0 0 112171 61 0 0 25 0 4 0 652189559 586133504 99609 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=572396 CPUtime=1111.09 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 133572 0 0 0 111053 56 0 0 25 0 4 0 652189559 586133504 99609 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.09
Current children cumulated vsize (KiB) 572396

[startup+1182.3 s]
/proc/loadavg: 8.43 8.18 8.05 9/324 8081
/proc/meminfo: memFree=10433192/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=574348 CPUtime=4717.51 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 539001 0 0 0 471537 214 0 0 25 0 4 0 652189559 588132352 95222 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 143587 95222 379 95 0 138569 0
[pid=8002/tid=8003] ppid=8000 vsize=574348 CPUtime=1182.32 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 158415 0 0 0 118174 58 0 0 25 0 4 0 652189559 588132352 95222 33554432000 4194304 4580107 140733345431296 18446744073709551615 4317530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=574348 CPUtime=1182.32 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 157525 0 0 0 118167 65 0 0 25 0 4 0 652189559 588132352 95222 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=574348 CPUtime=1170.49 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 136544 0 0 0 116992 57 0 0 25 0 4 0 652189559 588132352 95222 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.51
Current children cumulated vsize (KiB) 574348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.28 8.16 8.04 9/324 8081
/proc/meminfo: memFree=10422484/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=574396 CPUtime=4800.12 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 544412 0 0 0 479794 218 0 0 25 0 4 0 652189559 588181504 97733 33554432000 4194304 4580107 140733345431296 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 143599 97733 379 95 0 138581 0
[pid=8002/tid=8003] ppid=8000 vsize=574396 CPUtime=1203.04 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 160240 0 0 0 120244 60 0 0 25 0 4 0 652189559 588181504 97733 33554432000 4194304 4580107 140733345431296 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=574396 CPUtime=1203.04 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 159670 0 0 0 120237 67 0 0 25 0 4 0 652189559 588181504 97733 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=574396 CPUtime=1190.98 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 137657 0 0 0 119040 58 0 0 25 0 4 0 652189559 588181504 97733 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 574396

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

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

[startup+1203 s]
/proc/loadavg: 8.28 8.16 8.04 9/324 8081
/proc/meminfo: memFree=10422484/32951124 swapFree=67093864/67111528
[pid=8002] ppid=8000 vsize=574396 CPUtime=4800.12 cores=1,3,5,7
/proc/8002/stat : 8002 (strangenight2-m) R 8000 8002 7962 0 -1 4202496 544412 0 0 0 479794 218 0 0 25 0 4 0 652189559 588181504 97733 33554432000 4194304 4580107 140733345431296 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8002/statm: 143599 97733 379 95 0 138581 0
[pid=8002/tid=8003] ppid=8000 vsize=574396 CPUtime=1203.04 cores=1,3,5,7
/proc/8002/task/8003/stat : 8003 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 160240 0 0 0 120244 60 0 0 25 0 4 0 652189559 588181504 97733 33554432000 4194304 4580107 140733345431296 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8002/tid=8004] ppid=8000 vsize=574396 CPUtime=1203.04 cores=1,3,5,7
/proc/8002/task/8004/stat : 8004 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 159670 0 0 0 120237 67 0 0 25 0 4 0 652189559 588181504 97733 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8002/tid=8006] ppid=8000 vsize=574396 CPUtime=1190.98 cores=1,3,5,7
/proc/8002/task/8006/stat : 8006 (strangenight2-m) R 8000 8002 7962 0 -1 4202560 137657 0 0 0 119040 58 0 0 25 0 4 0 652189559 588181504 97733 33554432000 4194304 4580107 140733345431296 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 574396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.03
CPU time (s): 4800.18
CPU user time (s): 4797.98
CPU system time (s): 2.20067
CPU usage (%): 399.006
Max. virtual memory (cumulated for all children) (KiB): 624272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.98
system time used= 2.20066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544412
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= 144
involuntary context switches= 21493

runsolver used 3.38549 second user time and 8.67768 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-14 22:44:32
IDJOB=3366515
IDBENCH=82924
IDSOLVER=1844
FILE ID=node102/3366515-1305405872
RUNJOBID= node102-1305405872-7981
PBS_JOBID= 13324503
Free space on /tmp= 73532 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366515-1305405872/watcher-3366515-1305405872 -o /tmp/evaluation-result-3366515-1305405872/solver-3366515-1305405872 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366515-1305405872.cnf

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

MD5SUM BENCH= e887a746d13f48cfc0f8cc23df918189
RANDOM SEED=1848912439

node102.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.828
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.65
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.828
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	: 5226.15
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.828
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.82
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.828
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.75
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.828
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.828
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.828
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.82
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11153844 kB
Buffers:        256112 kB
Cached:        2804368 kB
SwapCached:       1128 kB
Active:       19519500 kB
Inactive:      1981364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11153844 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:           11012 kB
Writeback:           0 kB
AnonPages:    18439856 kB
Mapped:          26248 kB
Slab:           177208 kB
PageTables:      53184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59081336 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= 73524 MiB
End job on node102 at 2011-05-14 23:04:37