Trace number 3174106

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.39 1201.73

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.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-3174106-1304094450.cnf'
0.00/0.00	c -- header says num vars:            350
0.00/0.00	c -- header says num clauses:        1491
0.00/0.00	c -- clauses added:            0 learnts,         1491 normals,            0 xors
0.00/0.00	c -- vars added        350
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       350      1491         0         0      4473         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1491/1491 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.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    350 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:      3  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:     151 undec:      41 neg:     158
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       347      1487         0         0      4477         0   no data   no data
0.37/0.10	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.98/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.77/1.20	c Decided on static restart strategy
4.77/1.20	c  N st    18     30001       347      1487         0     10597      4477    160507   no data   no data
4.77/1.20	c  S st    18     30001       347      1487         0     10597      4477    160507   no data   no data
4.77/1.23	c  S st    18     30503       347      1487         0     11096      4477    169576   no data   no data
4.77/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.77/1.23	c blocked clauses removed:        0 vars:      0 tried:         347 T: 0.00 s
4.77/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
4.77/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.29	c lits-rem:       164  cl-subs:      836  v-elim:      0  v-fix:    0  time:  0.05 s
5.17/1.30	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.00
5.17/1.30	c calculated reachability. Time: 0.00
5.17/1.30	c  N st    18     30503       347      1487         0     10260      4477    153736   no data   no data
6.76/1.70	c  N st    20     37614       347      1487         0      9499      4477    125710   no data   no data
7.97/2.06	c  N st    21     44013       347      1487         0     15708      4477    236591   no data   no data
8.38/2.18	c  S st    22     45754       347      1487         0     17404      4477    266683   no data   no data
8.79/2.22	c  S st    22     46258       347      1487         0      9238      4477    109322   no data   no data
8.79/2.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
8.79/2.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.24	c lits-rem:        30  cl-subs:      167  v-elim:      0  v-fix:    0  time:  0.01 s
8.79/2.24	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
8.79/2.24	c vivif2 --  cl tried     9071 cl shrink        0 lits rem          0 time: 0.00
8.79/2.24	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.00
8.79/2.24	c calculated reachability. Time: 0.00
8.79/2.24	c  N st    22     46258       347      1487         0      9071      4477    106767   no data   no data
11.95/3.06	c  N st    23     60655       347      1487         0     13370      4477    179053   no data   no data
14.36/3.67	c  N st    24     69388       347      1487         0     11178      4477    130502   no data   no data
14.36/3.67	c  S st    24     69388       347      1487         0     11178      4477    130502   no data   no data
14.76/3.70	c  S st    24     69888       347      1487         0     11675      4477    139472   no data   no data
14.76/3.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
14.76/3.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
14.76/3.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.73	c lits-rem:        35  cl-subs:      240  v-elim:      0  v-fix:    0  time:  0.02 s
14.76/3.73	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
14.76/3.73	c vivif2 --  cl tried    11435 cl shrink        0 lits rem          0 time: 0.00
14.76/3.74	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.01
14.76/3.74	c calculated reachability. Time: 0.00
14.76/3.74	c  N st    24     69888       347      1487         0     11435      4477    135153   no data   no data
19.15/4.88	c  F st    25     87500       347      1487         0     16857      4477    232924   no data   no data
19.15/4.88	c  N st    25     87500       347      1487         0     16857      4477    232924   no data   no data
20.74/5.26	c Decided on static restart strategy
21.96/5.51	c  N st    32     95540       347      1487         0     24640      4477    370852   no data   no data
24.34/6.19	c  N st    34    104832       347      1487         0     21034      4477    286999   no data   no data
24.34/6.19	c  S st    34    104832       347      1487         0     21034      4477    286999   no data   no data
24.74/6.25	c  S st    34    105335       347      1487         0     21535      4477    296297   no data   no data
24.74/6.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.74/6.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
24.74/6.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.74/6.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.74/6.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.74/6.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
24.74/6.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.74/6.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.74/6.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.44	c lits-rem:       111  cl-subs:     1605  v-elim:      0  v-fix:    0  time:  0.17 s
25.54/6.44	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
25.54/6.44	c vivif2 --  cl tried    19930 cl shrink        0 lits rem          0 time: 0.00
25.54/6.45	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.01
25.54/6.46	c calculated reachability. Time: 0.00
25.54/6.46	c  N st    34    105335       347      1487         0     19930      4477    269313   no data   no data
28.74/7.25	c  N st    35    114933       347      1487         0     15668      4477    177424   no data   no data
33.52/8.47	c  N st    36    129331       347      1487         0     15073      4477    156013   no data   no data
40.32/10.13	c  N st    37    150930       347      1487         0     20470      4477    240769   no data   no data
42.72/10.74	c  S st    38    158002       347      1487         0     27272      4477    357615   no data   no data
43.12/10.80	c  S st    38    158503       347      1487         0     27769      4477    366886   no data   no data
43.12/10.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.12/10.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.12/10.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.12/10.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.12/10.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.12/10.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
43.12/10.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.12/10.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.12/10.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.94/11.09	c lits-rem:       441  cl-subs:     2427  v-elim:      0  v-fix:    0  time:  0.26 s
43.94/11.09	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
43.94/11.09	c vivif2 --  cl tried    25342 cl shrink        0 lits rem          0 time: 0.00
44.31/11.10	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.01
44.31/11.11	c calculated reachability. Time: 0.00
44.31/11.11	c  N st    38    158503       347      1487         0     25342      4477    329959   no data   no data
62.69/15.75	c  N st    39    207091       347      1487         0     20218      4477    218562   no data   no data
74.70/18.74	c  N st    40    237755       347      1487         0     30457      4477    386777   no data   no data
74.70/18.74	c  S st    40    237755       347      1487         0     30457      4477    386777   no data   no data
75.07/18.81	c  S st    40    238257       347      1487         0     30956      4477    396704   no data   no data
75.07/18.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.07/18.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.07/18.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.07/18.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.07/18.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.07/18.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
75.07/18.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.07/18.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.07/18.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.67/19.20	c lits-rem:       181  cl-subs:     2473  v-elim:      0  v-fix:    0  time:  0.36 s
76.67/19.20	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
76.67/19.20	c vivif2 --  cl tried    28483 cl shrink        0 lits rem          0 time: 0.00
76.67/19.22	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.02
76.67/19.22	c calculated reachability. Time: 0.00
76.67/19.22	c  N st    40    238257       347      1487         0     28483      4477    357669   no data   no data
104.64/26.27	c  F st    41    306250       347      1487         0     30634      4477    358411   no data   no data
104.64/26.27	c  N st    41    306250       347      1487         0     30634      4477    358411   no data   no data
107.03/26.87	c Decided on static restart strategy
118.24/29.63	c  N st    51    334553       347      1487         0     34692      4477    403235   no data   no data
129.00/32.39	c  N st    53    357386       347      1487         0     32574      4477    359643   no data   no data
129.00/32.39	c  S st    53    357386       347      1487         0     32574      4477    359643   no data   no data
129.40/32.47	c  S st    53    357892       347      1487         0     33077      4477    369109   no data   no data
129.40/32.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
129.40/32.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
129.40/32.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.40/32.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
129.40/32.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.40/32.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
129.40/32.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
129.40/32.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
129.80/32.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.60/32.73	c lits-rem:       117  cl-subs:     2065  v-elim:      0  v-fix:    0  time:  0.23 s
130.60/32.73	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
130.60/32.74	c vivif2 --  cl tried    31012 cl shrink        0 lits rem          0 time: 0.00
130.60/32.76	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.02
130.60/32.76	c calculated reachability. Time: 0.00
130.60/32.76	c  N st    53    357892       347      1487         0     31012      4477    339552   no data   no data
146.17/36.62	c  N st    54    390284       347      1487         0     37302      4477    447114   no data   no data
172.14/43.19	c  N st    55    438874       347      1487         0     30914      4477    307380   no data   no data
211.69/53.00	c  N st    56    511758       347      1487         0     44357      4477    541563   no data   no data
224.86/56.39	c  N st    57    536838       347      1487         0     38663      4477    426686   no data   no data
224.86/56.39	c  S st    57    536838       347      1487         0     38663      4477    426686   no data   no data
225.66/56.50	c  S st    57    537339       347      1487         0     39162      4477    436446   no data   no data
225.66/56.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
225.66/56.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
225.66/56.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
225.66/56.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
225.66/56.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
225.66/56.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
225.66/56.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
225.66/56.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
225.66/56.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.86/56.81	c lits-rem:       173  cl-subs:     1731  v-elim:      0  v-fix:    0  time:  0.28 s
226.86/56.81	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
226.86/56.82	c vivif2 --  cl tried    37431 cl shrink        0 lits rem          0 time: 0.00
226.86/56.84	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.02
226.86/56.84	c calculated reachability. Time: 0.00
226.86/56.84	c  N st    57    537339       347      1487         0     37431      4477    408747   no data   no data
329.15/82.42	c  N st    58    701324       347      1487         0     65964      4477    889011   no data   no data
401.43/100.59	c  N st    59    806008       347      1487         0     59944      4477    733333   no data   no data
401.43/100.59	c  S st    59    806008       347      1487         0     59944      4477    733333   no data   no data
402.23/100.75	c  S st    59    806517       347      1487         0     60451      4477    743768   no data   no data
402.23/100.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
402.23/100.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
402.23/100.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
402.23/100.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
402.23/100.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
402.23/100.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
402.23/100.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
402.23/100.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
402.63/100.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
409.02/102.47	c lits-rem:       458  cl-subs:     5979  v-elim:      0  v-fix:    0  time:  1.65 s
409.02/102.47	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
409.02/102.48	c vivif2 --  cl tried    54472 cl shrink        0 lits rem          0 time: 0.01
409.42/102.52	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.04
409.42/102.52	c calculated reachability. Time: 0.00
409.42/102.52	c  N st    59    806517       347      1487         0     54472      4477    650900   no data   no data
601.98/150.76	c  F st    60   1071876       347      1487         0     70131      4477    869597   no data   no data
601.98/150.76	c  N st    60   1071876       347      1487         0     70131      4477    869597   no data   no data
607.55/152.16	c Decided on static restart strategy
627.13/157.05	c  N st    70   1100185       347      1487         0     54443      4477    584602   no data   no data
657.48/164.63	c  N st    72   1136181       347      1487         0     44960      4477    391553   no data   no data
679.86/170.23	c  N st    73   1168573       347      1487         0     75927      4477    942074   no data   no data
716.61/179.43	c  N st    74   1209776       347      1487         0     70254      4477    804614   no data   no data
716.61/179.43	c  S st    74   1209776       347      1487         0     70254      4477    804614   no data   no data
717.81/179.78	c  S st    74   1210280       347      1487         0     70756      4477    814396   no data   no data
717.81/179.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
718.21/179.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
718.21/179.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
718.21/179.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
718.21/179.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
718.21/179.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
718.21/179.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
718.21/179.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
718.21/179.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
729.01/182.51	c lits-rem:       276  cl-subs:     8517  v-elim:      0  v-fix:    0  time:  2.63 s
729.01/182.51	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
729.01/182.52	c vivif2 --  cl tried    62239 cl shrink        0 lits rem          0 time: 0.01
729.01/182.57	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.06
729.01/182.57	c calculated reachability. Time: 0.00
729.01/182.57	c  N st    74   1210280       347      1487         0     62239      4477    688355   no data   no data
790.52/198.00	c  N st    75   1283162       347      1487         0     86108      4477   1114437   no data   no data
890.37/222.94	c  N st    76   1392485       347      1487         0     95630      4477   1188771   no data   no data
1039.37/260.26	c  N st    77   1556472       347      1487         0     51998      4477    439722   no data   no data
1177.61/294.84	c  N st    78   1710280       347      1487         0     92836      4477   1150105   no data   no data
1177.61/294.84	c  S st    78   1710280       347      1487         0     92836      4477   1150105   no data   no data
1179.19/295.24	c  S st    78   1710785       347      1487         0     93337      4477   1159931   no data   no data
1179.19/295.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1179.59/295.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
1179.59/295.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1179.59/295.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1179.59/295.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1179.59/295.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
1179.59/295.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1179.59/295.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1179.59/295.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1221.15/305.75	c lits-rem:       802  cl-subs:    11793  v-elim:      0  v-fix:    0  time: 10.39 s
1221.15/305.75	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
1221.15/305.77	c vivif2 --  cl tried    81544 cl shrink        0 lits rem          0 time: 0.02
1221.55/305.90	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.12
1221.92/305.90	c calculated reachability. Time: 0.00
1221.92/305.90	c  N st    78   1710785       347      1487         0     81544      4477    979414   no data   no data
1592.23/398.60	c  N st    79   2079750       347      1487         0     93485      4477   1085214   no data   no data
1734.84/434.37	c  N st    80   2210786       347      1487         0     97674      4477   1201327   no data   no data
1734.84/434.37	c  S st    80   2210786       347      1487         0     97674      4477   1201327   no data   no data
1736.43/434.78	c  S st    80   2211287       347      1487         0     98172      4477   1211265   no data   no data
1736.43/434.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1736.83/434.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1736.83/434.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1736.83/434.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1736.83/434.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1736.83/434.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
1736.83/434.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1736.83/434.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1737.23/434.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1763.21/441.43	c lits-rem:       758  cl-subs:     7926  v-elim:      0  v-fix:    0  time:  6.53 s
1763.21/441.43	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
1763.21/441.45	c vivif2 --  cl tried    90246 cl shrink        0 lits rem          0 time: 0.02
1763.61/441.56	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.11
1763.61/441.56	c calculated reachability. Time: 0.00
1763.61/441.56	c  N st    80   2211287       347      1487         0     90246      4477   1081307   no data   no data
2369.19/593.13	c  N st    81   2711288       347      1487         0    113379      4477   1299835   no data   no data
2369.19/593.13	c  S st    81   2711288       347      1487         0    113379      4477   1299835   no data   no data
2370.79/593.51	c  S st    81   2711790       347      1487         0    113878      4477   1310309   no data   no data
2370.79/593.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2370.79/593.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2370.79/593.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2370.79/593.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2370.79/593.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2370.79/593.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
2370.79/593.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2370.79/593.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2371.19/593.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2402.34/601.43	c lits-rem:       242  cl-subs:    22788  v-elim:      0  v-fix:    0  time:  7.80 s
2402.34/601.43	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
2402.34/601.45	c vivif2 --  cl tried    91090 cl shrink        0 lits rem          0 time: 0.02
2402.74/601.54	c asymm  cl-useful: 0/1487/1487 lits-rem:0 time: 0.09
2402.74/601.54	c calculated reachability. Time: 0.00
2402.74/601.54	c  N st    81   2711790       347      1487         0     91090      4477    966390   no data   no data
3012.33/754.13	c  N st    82   3211791       347      1487         0    142231      4477   1689118   no data   no data
3012.33/754.13	c  S st    82   3211791       347      1487         0    142231      4477   1689118   no data   no data
3014.35/754.64	c  S st    82   3212294       347      1487         1    142730      4477   1698666   no data   no data
3014.35/754.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3014.72/754.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
3014.72/754.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3014.72/754.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3014.72/754.72	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
3014.72/754.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    347 time:  0.00 s
3014.72/754.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3014.72/754.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3018.74/755.71	c subs with bin:     2100  lits-rem:      2131  v-fix:    0  time:  0.91 s
3079.44/770.93	c lits-rem:      1781  cl-subs:    34490  v-elim:      0  v-fix:    0  time: 15.22 s
3079.44/770.93	c vivif2 --  cl tried     1486 cl shrink        0 lits rem          0 time: 0.00
3079.44/770.95	c vivif2 --  cl tried   106140 cl shrink        0 lits rem          0 time: 0.02
3079.85/771.06	c asymm  cl-useful: 0/1486/1486 lits-rem:0 time: 0.11
3079.85/771.07	c calculated reachability. Time: 0.00
3079.85/771.07	c  N st    82   3212294       347      1486         1    106140      4476   1174793   no data   no data
3693.41/924.65	c  N st    83   3712295       347      1486         1    124207      4476   1455149   no data   no data
3693.41/924.65	c  S st    83   3712295       347      1486         1    124207      4476   1455149   no data   no data
3693.81/924.70	c Finding binary XORs  T:     0.00 s  found:       0
3695.43/925.14	c  S st    83   3712797       346      1467        12    118117      4429   1375490   no data   no data
3695.43/925.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3695.80/925.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
3695.80/925.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3695.80/925.20	c bin-w-bin subsume rem            6 bins  time:  0.00 s
3695.80/925.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3695.80/925.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    346 time:  0.00 s
3695.80/925.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3695.80/925.23	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.03 s
3696.20/925.31	c subs with bin:      158  lits-rem:      1646  v-fix:    0  time:  0.04 s
3721.39/931.62	c lits-rem:      1299  cl-subs:    13895  v-elim:      0  v-fix:    0  time:  6.32 s
3721.39/931.62	c vivif2 --  cl tried     1466 cl shrink        0 lits rem          0 time: 0.00
3721.39/931.64	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.02
3721.79/931.75	c asymm  cl-useful: 0/1466/1466 lits-rem:0 time: 0.11
3721.79/931.76	c calculated reachability. Time: 0.00
3721.79/931.76	c  N st    83   3712797       345      1466         6    103935      4430   1161264   no data   no data
3778.09/945.88	c  F st    84   3751562       345      1466         6    141093      4430   1840221   no data   no data
3778.09/945.88	c  N st    84   3751562       345      1466         6    141093      4430   1840221   no data   no data
3789.68/948.71	c Decided on static restart strategy
3824.03/957.32	c  N st    94   3779862       345      1466         6     91757      4430    882156   no data   no data
3870.79/969.01	c  N st    96   3815858       345      1466         6    126102      4430   1511110   no data   no data
3923.11/982.11	c  N st    97   3848251       345      1466         6    156825      4430   2033648   no data   no data
3983.42/997.28	c  N st    98   3896840       345      1466         6    123656      4430   1403811   no data   no data
4092.07/1024.43	c  N st    99   3969722       345      1466         6    112056      4430   1150654   no data   no data
4231.51/1059.35	c  N st   100   4079045       345      1466         6    133573      4430   1538589   no data   no data
4450.82/1114.23	c  N st   101   4212802       345      1466         6     92704      4430    838317   no data   no data
4450.82/1114.23	c  S st   101   4212802       345      1466         6     92704      4430    838317   no data   no data
4452.40/1114.61	c  S st   101   4213309       345      1466         6     93209      4430    847624   no data   no data
4452.40/1114.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4452.40/1114.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
4452.40/1114.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4452.40/1114.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4452.40/1114.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4452.40/1114.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    345 time:  0.00 s
4452.40/1114.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4452.40/1114.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4452.80/1114.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4456.39/1115.66	c lits-rem:      1066  cl-subs:     3576  v-elim:      0  v-fix:    0  time:  0.94 s
4456.39/1115.66	c vivif2 --  cl tried     1466 cl shrink        0 lits rem          0 time: 0.00
4456.39/1115.68	c vivif2 --  cl tried    89633 cl shrink        0 lits rem          0 time: 0.02
4456.79/1115.78	c asymm  cl-useful: 0/1466/1466 lits-rem:0 time: 0.10
4456.79/1115.78	c calculated reachability. Time: 0.00
4456.79/1115.78	c  N st   101   4213309       345      1466         6     89633      4430    797766   no data   no data
4797.53/1201.02	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: 935)

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-3174106-1304094450/watcher-3174106-1304094450 -o /tmp/evaluation-result-3174106-1304094450/solver-3174106-1304094450 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174106-1304094450.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.19 8.08 7.94 5/180 13463
/proc/meminfo: memFree=23936600/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=183260 CPUtime=0 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 526 0 0 0 0 0 0 0 25 0 4 0 501861137 187658240 449 33554432000 4194304 4627427 140733880684560 18446744073709551615 255106873887 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 45815 452 336 106 0 40786 0
[pid=13463/tid=13464] ppid=13461 vsize=183260 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 25 0 0 0 0 0 0 0 25 0 4 0 501861137 187658240 471 33554432000 4194304 4627427 140733880684560 18446744073709551615 255106873838 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=183260 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 31 0 0 0 0 0 0 0 25 0 4 0 501861137 187658240 480 33554432000 4194304 4627427 140733880684560 18446744073709551615 255106873838 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=183392 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 49 0 0 0 0 0 0 0 25 0 4 0 501861137 187793408 490 33554432000 4194304 4627427 140733880684560 18446744073709551615 255106465547 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0367601 s]
/proc/loadavg: 8.19 8.08 7.94 5/180 13463
/proc/meminfo: memFree=23936600/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=282124 CPUtime=0.12 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 1126 0 0 0 12 0 0 0 18 0 4 0 501861137 288894976 1049 33554432000 4194304 4627427 140733880684560 18446744073709551615 4326817 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 70531 1049 384 106 0 65502 0
[pid=13463/tid=13464] ppid=13461 vsize=282124 CPUtime=0.03 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 197 0 0 0 3 0 0 0 18 0 4 0 501861137 288894976 1049 33554432000 4194304 4627427 140733880684560 18446744073709551615 4330936 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=282124 CPUtime=0.02 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 184 0 0 0 2 0 0 0 25 0 4 0 501861137 288894976 1049 33554432000 4194304 4627427 140733880684560 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=282124 CPUtime=0.03 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 137 0 0 0 3 0 0 0 25 0 4 0 501861137 288894976 1049 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 282124

[startup+0.100749 s]
/proc/loadavg: 8.19 8.08 7.94 5/180 13463
/proc/meminfo: memFree=23936600/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=282256 CPUtime=0.37 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 1467 0 0 0 37 0 0 0 18 0 4 0 501861137 289030144 1390 33554432000 4194304 4627427 140733880684560 18446744073709551615 4327488 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 70564 1390 384 106 0 65535 0
[pid=13463/tid=13464] ppid=13461 vsize=282256 CPUtime=0.09 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 280 0 0 0 9 0 0 0 18 0 4 0 501861137 289030144 1390 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=282256 CPUtime=0.09 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 260 0 0 0 9 0 0 0 25 0 4 0 501861137 289030144 1390 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308590 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=282256 CPUtime=0.09 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 229 0 0 0 9 0 0 0 25 0 4 0 501861137 289030144 1391 33554432000 4194304 4627427 140733880684560 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282256

[startup+0.300713 s]
/proc/loadavg: 8.19 8.08 7.94 5/180 13463
/proc/meminfo: memFree=23936600/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=283484 CPUtime=1.17 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 2389 0 0 0 117 0 0 0 18 0 4 0 501861137 290287616 1872 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 70871 1872 385 106 0 65842 0
[pid=13463/tid=13464] ppid=13461 vsize=283484 CPUtime=0.29 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 532 0 0 0 29 0 0 0 18 0 4 0 501861137 290287616 1872 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=283484 CPUtime=0.29 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 458 0 0 0 29 0 0 0 25 0 4 0 501861137 290287616 1872 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=283484 CPUtime=0.29 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 461 0 0 0 29 0 0 0 25 0 4 0 501861137 290287616 1872 33554432000 4194304 4627427 140733880684560 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283484

[startup+0.700646 s]
/proc/loadavg: 8.19 8.08 7.94 5/180 13463
/proc/meminfo: memFree=23936600/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=284920 CPUtime=2.78 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 4202 0 0 0 277 1 0 0 18 0 4 0 501861137 291758080 2143 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308787 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 71230 2143 385 106 0 66201 0
[pid=13463/tid=13464] ppid=13461 vsize=284920 CPUtime=0.69 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 980 0 0 0 69 0 0 0 18 0 4 0 501861137 291758080 2143 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=284920 CPUtime=0.69 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 901 0 0 0 69 0 0 0 25 0 4 0 501861137 291758080 2143 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=284920 CPUtime=0.69 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 914 0 0 0 69 0 0 0 25 0 4 0 501861137 291758080 2143 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284920

[startup+1.50051 s]
/proc/loadavg: 8.19 8.08 7.94 9/184 13467
/proc/meminfo: memFree=23926308/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=285880 CPUtime=5.97 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 7439 0 0 0 596 1 0 0 19 0 4 0 501861137 292741120 3858 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 71470 3858 389 106 0 66441 0
[pid=13463/tid=13464] ppid=13461 vsize=285880 CPUtime=1.49 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 1496 0 0 0 149 0 0 0 19 0 4 0 501861137 292741120 3858 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=285880 CPUtime=1.48 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 1524 0 0 0 148 0 0 0 25 0 4 0 501861137 292741120 3858 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=285880 CPUtime=1.49 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 1382 0 0 0 149 0 0 0 25 0 4 0 501861137 292741120 3858 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285880

[startup+3.10022 s]
/proc/loadavg: 8.19 8.08 7.94 9/184 13467
/proc/meminfo: memFree=23910312/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=290832 CPUtime=12.35 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 15187 0 0 0 1233 2 0 0 25 0 4 0 501861137 297811968 7425 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 72708 7425 389 106 0 67679 0
[pid=13463/tid=13464] ppid=13461 vsize=290832 CPUtime=3.08 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 3499 0 0 0 308 0 0 0 25 0 4 0 501861137 297811968 7425 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=290832 CPUtime=3.07 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 3956 0 0 0 307 0 0 0 25 0 4 0 501861137 297811968 7425 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=290832 CPUtime=3.08 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 3657 0 0 0 308 0 0 0 25 0 4 0 501861137 297811968 7425 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 290832

[startup+6.30066 s]
/proc/loadavg: 8.18 8.08 7.94 9/184 13467
/proc/meminfo: memFree=23895612/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=295952 CPUtime=25.14 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 24099 0 0 0 2510 4 0 0 25 0 4 0 501861137 303054848 11083 33554432000 4194304 4627427 140733880684560 18446744073709551615 4420275 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 73988 11083 389 106 0 68959 0
[pid=13463/tid=13464] ppid=13461 vsize=295952 CPUtime=6.29 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 6225 0 0 0 628 1 0 0 25 0 4 0 501861137 303054848 11083 33554432000 4194304 4627427 140733880684560 18446744073709551615 4333251 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=295952 CPUtime=6.25 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 6283 0 0 0 624 1 0 0 25 0 4 0 501861137 303054848 11083 33554432000 4194304 4627427 140733880684560 18446744073709551615 4504781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=295952 CPUtime=6.28 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 5093 0 0 0 628 0 0 0 25 0 4 0 501861137 303054848 11083 33554432000 4194304 4627427 140733880684560 18446744073709551615 4330074 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 295952

[startup+12.7005 s]
/proc/loadavg: 8.16 8.08 7.94 10/184 13468
/proc/meminfo: memFree=23890752/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=298892 CPUtime=50.71 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 36794 0 0 0 5064 7 0 0 25 0 4 0 501861137 306065408 14448 33554432000 4194304 4627427 140733880684560 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 74723 14448 389 106 0 69694 0
[pid=13463/tid=13464] ppid=13461 vsize=298892 CPUtime=12.69 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 9438 0 0 0 1268 1 0 0 25 0 4 0 501861137 306065408 14448 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=298892 CPUtime=12.62 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 8860 0 0 0 1261 1 0 0 25 0 4 0 501861137 306065408 14448 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=298892 CPUtime=12.68 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 8608 0 0 0 1267 1 0 0 25 0 4 0 501861137 306065408 14448 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 298892

[startup+25.5003 s]
/proc/loadavg: 8.13 8.07 7.94 9/184 13468
/proc/meminfo: memFree=23867820/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=302268 CPUtime=101.83 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 56344 0 0 0 10172 11 0 0 25 0 4 0 501861137 309522432 18009 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 75567 18009 389 106 0 70538 0
[pid=13463/tid=13464] ppid=13461 vsize=302268 CPUtime=25.48 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 14982 0 0 0 2546 2 0 0 25 0 4 0 501861137 309522432 18009 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=302268 CPUtime=25.35 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 13746 0 0 0 2532 3 0 0 25 0 4 0 501861137 309522432 18009 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=302268 CPUtime=25.48 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 13097 0 0 0 2546 2 0 0 25 0 4 0 501861137 309522432 18009 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 302268

[startup+51.1008 s]
/proc/loadavg: 8.14 8.08 7.95 9/184 13469
/proc/meminfo: memFree=23829080/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=309228 CPUtime=204.1 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 86500 0 0 0 20391 19 0 0 25 0 4 0 501861137 316649472 22831 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 77307 22831 389 106 0 72278 0
[pid=13463/tid=13464] ppid=13461 vsize=309228 CPUtime=51.09 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 23449 0 0 0 5105 4 0 0 25 0 4 0 501861137 316649472 22831 33554432000 4194304 4627427 140733880684560 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=309228 CPUtime=50.81 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 21500 0 0 0 5076 5 0 0 25 0 4 0 501861137 316649472 22831 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=309228 CPUtime=51.08 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 19876 0 0 0 5104 4 0 0 25 0 4 0 501861137 316649472 22831 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 309228

[startup+102.307 s]
/proc/loadavg: 8.19 8.10 7.96 9/184 13470
/proc/meminfo: memFree=23780716/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=314164 CPUtime=408.64 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 133667 0 0 0 40829 35 0 0 25 0 4 0 501861137 321703936 29597 33554432000 4194304 4627427 140733880684560 18446744073709551615 4427808 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 78541 29597 389 106 0 73512 0
[pid=13463/tid=13464] ppid=13461 vsize=314164 CPUtime=102.3 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 35168 0 0 0 10222 8 0 0 25 0 4 0 501861137 321703936 29597 33554432000 4194304 4627427 140733880684560 18446744073709551615 4324754 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=314164 CPUtime=101.73 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 31949 0 0 0 10163 10 0 0 25 0 4 0 501861137 321703936 29597 33554432000 4194304 4627427 140733880684560 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=314164 CPUtime=102.29 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 31559 0 0 0 10221 8 0 0 25 0 4 0 501861137 321703936 29597 33554432000 4194304 4627427 140733880684560 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 314164

[startup+162.3 s]

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

[pid=13463] ppid=13461 vsize=487580 CPUtime=2805.4 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 419902 0 0 0 280388 152 0 0 25 0 4 0 501861137 499281920 69841 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 121895 69841 389 106 0 116866 0
[pid=13463/tid=13464] ppid=13461 vsize=487580 CPUtime=702.3 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 108961 0 0 0 70195 35 0 0 25 0 4 0 501861137 499281920 69841 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=487580 CPUtime=698.47 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 99873 0 0 0 69807 40 0 0 25 0 4 0 501861137 499281920 69841 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=487580 CPUtime=702.29 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 106830 0 0 0 70191 38 0 0 25 0 4 0 501861137 499281920 69841 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 487580

[startup+762.307 s]
/proc/loadavg: 8.11 8.07 8.01 9/184 13519
/proc/meminfo: memFree=23617976/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=541216 CPUtime=3045.1 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 441938 0 0 0 304348 162 0 0 25 0 4 0 501861137 554205184 75712 33554432000 4194304 4627427 140733880684560 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 135304 75712 389 106 0 130275 0
[pid=13463/tid=13464] ppid=13461 vsize=541216 CPUtime=762.31 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 115409 0 0 0 76193 38 0 0 25 0 4 0 501861137 554205184 75712 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=541216 CPUtime=758.15 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 105276 0 0 0 75773 42 0 0 25 0 4 0 501861137 554205184 75712 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=541216 CPUtime=762.29 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 111969 0 0 0 76189 40 0 0 25 0 4 0 501861137 554205184 75712 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 541216

[startup+822.301 s]
/proc/loadavg: 8.17 8.09 8.01 9/184 13520
/proc/meminfo: memFree=23583236/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=495364 CPUtime=3284.76 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 458948 0 0 0 328303 173 0 0 25 0 4 0 501861137 507252736 72391 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 123841 72391 389 106 0 118812 0
[pid=13463/tid=13464] ppid=13461 vsize=495364 CPUtime=822.3 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 121212 0 0 0 82189 41 0 0 25 0 4 0 501861137 507252736 72391 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=495364 CPUtime=817.82 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 110545 0 0 0 81737 45 0 0 25 0 4 0 501861137 507252736 72391 33554432000 4194304 4627427 140733880684560 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=495364 CPUtime=822.29 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 114703 0 0 0 82187 42 0 0 25 0 4 0 501861137 507252736 72391 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 495364

[startup+882.301 s]
/proc/loadavg: 8.16 8.10 8.02 9/184 13522
/proc/meminfo: memFree=23511064/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=533864 CPUtime=3524.44 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 479680 0 0 0 352260 184 0 0 25 0 4 0 501861137 546676736 79857 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 133466 79857 389 106 0 128437 0
[pid=13463/tid=13464] ppid=13461 vsize=533864 CPUtime=882.31 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 126728 0 0 0 88187 44 0 0 25 0 4 0 501861137 546676736 79857 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=533864 CPUtime=877.49 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 116818 0 0 0 87700 49 0 0 25 0 4 0 501861137 546676736 79857 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=533864 CPUtime=882.3 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 117544 0 0 0 88186 44 0 0 25 0 4 0 501861137 546676736 79857 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 533864

[startup+942.301 s]
/proc/loadavg: 8.12 8.09 8.01 10/184 13523
/proc/meminfo: memFree=23515640/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=483140 CPUtime=3764.12 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 494276 0 0 0 376221 191 0 0 25 0 4 0 501861137 494735360 80969 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 120785 80969 389 106 0 115756 0
[pid=13463/tid=13464] ppid=13461 vsize=483140 CPUtime=942.31 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 130089 0 0 0 94186 45 0 0 25 0 4 0 501861137 494735360 80969 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=483140 CPUtime=937.17 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 122677 0 0 0 93666 51 0 0 25 0 4 0 501861137 494735360 80969 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=483140 CPUtime=942.29 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 121929 0 0 0 94183 46 0 0 25 0 4 0 501861137 494735360 80969 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 483140

[startup+1002.3 s]
/proc/loadavg: 8.04 8.07 8.01 9/184 13525
/proc/meminfo: memFree=23488460/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=494124 CPUtime=4003.79 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 508500 0 0 0 400179 200 0 0 25 0 4 0 501861137 505982976 84566 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 123531 84566 389 106 0 118502 0
[pid=13463/tid=13464] ppid=13461 vsize=494124 CPUtime=1002.31 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 130168 0 0 0 100186 45 0 0 25 0 4 0 501861137 505982976 84566 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=494124 CPUtime=996.84 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 126735 0 0 0 99630 54 0 0 25 0 4 0 501861137 505982976 84566 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=494124 CPUtime=1002.29 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 127146 0 0 0 100180 49 0 0 25 0 4 0 501861137 505982976 84566 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 494124

[startup+1062.3 s]
/proc/loadavg: 8.06 8.07 8.01 9/184 13527
/proc/meminfo: memFree=23471464/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=494908 CPUtime=4243.47 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 521629 0 0 0 424140 207 0 0 25 0 4 0 501861137 506785792 81924 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 123727 81924 389 106 0 118698 0
[pid=13463/tid=13464] ppid=13461 vsize=494908 CPUtime=1062.31 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 135115 0 0 0 106183 48 0 0 25 0 4 0 501861137 506785792 81924 33554432000 4194304 4627427 140733880684560 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=494908 CPUtime=1056.52 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 130798 0 0 0 105596 56 0 0 25 0 4 0 501861137 506785792 81924 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=494908 CPUtime=1062.3 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 130699 0 0 0 106178 52 0 0 25 0 4 0 501861137 506785792 81924 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 494908

[startup+1122.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/184 13528
/proc/meminfo: memFree=23409076/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=573088 CPUtime=4483.14 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 537284 0 0 0 448100 214 0 0 25 0 4 0 501861137 586842112 90808 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 143272 90808 389 106 0 138243 0
[pid=13463/tid=13464] ppid=13461 vsize=573088 CPUtime=1122.31 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 136785 0 0 0 112183 48 0 0 25 0 4 0 501861137 586842112 90808 33554432000 4194304 4627427 140733880684560 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=573088 CPUtime=1116.19 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 135176 0 0 0 111561 58 0 0 25 0 4 0 501861137 586842112 90808 33554432000 4194304 4627427 140733880684560 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=573088 CPUtime=1122.3 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 136289 0 0 0 112176 54 0 0 25 0 4 0 501861137 586842112 90808 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 573088

[startup+1182.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/184 13530
/proc/meminfo: memFree=23383268/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=573180 CPUtime=4722.83 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 550569 0 0 0 472062 221 0 0 25 0 4 0 501861137 586936320 98040 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 143295 98040 389 106 0 138266 0
[pid=13463/tid=13464] ppid=13461 vsize=573180 CPUtime=1182.31 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 139422 0 0 0 118182 49 0 0 25 0 4 0 501861137 586936320 98040 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=573180 CPUtime=1175.87 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 137894 0 0 0 117528 59 0 0 25 0 4 0 501861137 586936320 98040 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=573180 CPUtime=1182.3 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 141726 0 0 0 118172 58 0 0 25 0 4 0 501861137 586936320 98040 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 573180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 13530
/proc/meminfo: memFree=23362436/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=573180 CPUtime=4800.34 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 553729 0 0 0 479811 223 0 0 25 0 4 0 501861137 586936320 95821 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 143295 95821 389 106 0 138266 0
[pid=13463/tid=13464] ppid=13461 vsize=573180 CPUtime=1201.72 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 139708 0 0 0 120122 50 0 0 25 0 4 0 501861137 586936320 95821 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=573180 CPUtime=1195.16 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 139024 0 0 0 119456 60 0 0 25 0 4 0 501861137 586936320 95821 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=573180 CPUtime=1201.71 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 142465 0 0 0 120112 59 0 0 25 0 4 0 501861137 586936320 95821 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 573180

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

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

[startup+1201.7 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 13530
/proc/meminfo: memFree=23362436/32951124 swapFree=67111524/67111528
[pid=13463] ppid=13461 vsize=573180 CPUtime=4800.34 cores=1,3,5,7
/proc/13463/stat : 13463 (strangenight2-m) R 13461 13463 13368 0 -1 4202496 553729 0 0 0 479811 223 0 0 25 0 4 0 501861137 586936320 95821 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13463/statm: 143295 95821 389 106 0 138266 0
[pid=13463/tid=13464] ppid=13461 vsize=573180 CPUtime=1201.72 cores=1,3,5,7
/proc/13463/task/13464/stat : 13464 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 139708 0 0 0 120122 50 0 0 25 0 4 0 501861137 586936320 95821 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13463/tid=13465] ppid=13461 vsize=573180 CPUtime=1195.16 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 139024 0 0 0 119456 60 0 0 25 0 4 0 501861137 586936320 95821 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=573180 CPUtime=1201.71 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (strangenight2-m) R 13461 13463 13368 0 -1 4202560 142465 0 0 0 120112 59 0 0 25 0 4 0 501861137 586936320 95821 33554432000 4194304 4627427 140733880684560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 573180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.39
CPU user time (s): 4798.14
CPU system time (s): 2.25266
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 624964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.14
system time used= 2.25266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 553729
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= 602
involuntary context switches= 19136

runsolver used 1.86871 second user time and 4.70428 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 18:27:30
IDJOB=3174106
IDBENCH=82924
IDSOLVER=1586
FILE ID=node144/3174106-1304094450
RUNJOBID= node144-1304093667-13387
PBS_JOBID= 13170586
Free space on /tmp= 72404 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3174106-1304094450/watcher-3174106-1304094450 -o /tmp/evaluation-result-3174106-1304094450/solver-3174106-1304094450 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174106-1304094450.cnf

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

MD5SUM BENCH= e887a746d13f48cfc0f8cc23df918189
RANDOM SEED=760643675

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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.75
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.850
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.82
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.850
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.75
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23936880 kB
Buffers:       2123216 kB
Cached:        5976328 kB
SwapCached:          4 kB
Active:         489040 kB
Inactive:      7975668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23936880 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5488 kB
Writeback:           0 kB
AnonPages:      363860 kB
Mapped:          15440 kB
Slab:           485892 kB
PageTables:       5040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   584352 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= 72400 MiB
End job on node144 at 2011-04-29 18:47:34