Trace number 3273994

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.32 1201.85

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
MD5SUM92046422d2d9595619b29413c0964c9c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables201
Number of clauses412
Sum of the clauses size1236
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3412
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3273994-1304128549.cnf'
0.00/0.00	c -- header says num vars:            201
0.00/0.00	c -- header says num clauses:         412
0.00/0.00	c -- clauses added:            0 learnts,          412 normals,            0 xors
0.00/0.00	c -- vars added        201
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       201       412         0         0      1236         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.00	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.00	c calculated reachability. Time: 0.00
0.00/0.00	c Calc default polars -  time:   0.00 s pos:       7 undec:     191 neg:       3
0.00/0.00	c =========================================================================================
0.00/0.00	c types(t): F = full restart, N = normal restart
0.00/0.00	c types(t): S = simplification begin/end, E = solution found
0.00/0.00	c restart types(rt): st = static, dy = dynamic
0.00/0.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.00	c  B st     0         0       201       412         0         0      1236         0   no data   no data  --
0.00/0.07	c  N dy    17      4160       201       412         0      3814      1236     80353     12.14     12.86  --
0.38/0.14	c  N dy    39      8290       201       412         0      5345      1236     95629     12.41     13.14  --
0.77/0.22	c  N dy    59     12471       201       412         0      5306      1236     78405     12.11     12.90  --
1.17/0.32	c  N dy    91     16517       201       412         0      9167      1236    163862     12.70     16.01  --
1.57/0.42	c  N dy   118     20579       201       412         0      7711      1236    115648     12.90     14.11  --
1.97/0.54	c  N dy   149     24599       201       412         0     11542      1236    204101     13.21     14.91  --
1.97/0.55	c  F st   152     25000       201       412         0     11927      1236    211858     13.22   no data  --
2.38/0.69	c  N dy   158     30000       201       412         0     10190      1236    165370     13.22   no data  --
2.38/0.69	c  S st   158     30000       201       412         0     10190      1236    165370     13.22   no data  --
2.78/0.71	c  S st   158     30502       201       412         0     10678      1236    176819     13.22   no data  --
2.78/0.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2.78/0.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2.78/0.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
2.78/0.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.78/0.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.78/0.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
2.78/0.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.58/0.95	c lits-rem:       420  cl-subs:      166  v-elim:      0  v-fix:    0  time:  0.92 s
3.58/0.96	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.01
3.58/0.96	c calculated reachability. Time: 0.00
3.58/0.96	c  N dy   158     30502       201       412         0     10512      1236    171263     13.22   no data  --
3.99/1.10	c  N dy   186     34939       201       412         0     14752      1236    266814     13.28     13.98  --
4.77/1.21	c  N dy   212     39002       201       412         0     11141      1236    158626     13.36     14.27  --
5.17/1.34	c  N dy   235     43060       201       412         0     15011      1236    251108     13.38     14.20  --
5.56/1.44	c  S st   252     45755       201       412         0      9071      1236     95823     13.47   no data  --
5.56/1.46	c  S st   252     46256       201       412         0      9554      1236    108917     13.47   no data  --
5.56/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.56/1.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
5.56/1.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.96/1.50	c lits-rem:        55  cl-subs:       34  v-elim:      0  v-fix:    0  time:  0.14 s
5.96/1.50	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
5.96/1.50	c vivif2 --  cl tried     9520 cl shrink        0 lits rem          0 time: 0.00
5.96/1.50	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.01
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N dy   252     46256       201       412         0      9520      1236    108117     13.47   no data  --
6.36/1.62	c  N dy   274     50298       201       412         0     13410      1236    198439     13.50     15.04  --
6.76/1.75	c  N dy   279     54377       201       412         0     17229      1236    282773     13.41     14.19  --
7.57/1.90	c  N dy   307     58435       201       412         0     11641      1236    143131     13.48     17.46  --
7.97/2.04	c  N dy   329     62454       201       412         0     15492      1236    236409     13.54     15.49  --
8.38/2.20	c  N dy   349     66586       201       412         0     19441      1236    331981     13.56     14.59  --
9.16/2.31	c  S st   363     69386       201       412         0     11649      1236    128736     13.59     12.33  --
9.16/2.34	c  S st   363     69889       201       412         0     12140      1236    142254     13.59   no data  --
9.16/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.16/2.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.16/2.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
9.16/2.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.36/2.61	c lits-rem:        56  cl-subs:       39  v-elim:      0  v-fix:    0  time:  1.05 s
10.36/2.61	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
10.36/2.61	c vivif2 --  cl tried    12101 cl shrink        0 lits rem          0 time: 0.00
10.36/2.61	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.01
10.36/2.61	c calculated reachability. Time: 0.00
10.36/2.61	c  N dy   363     69889       201       412         0     12101      1236    141247     13.59   no data  --
10.76/2.78	c  N dy   396     74355       201       412         0     16429      1236    247389     13.71     19.41  --
11.56/2.97	c  N dy   428     79108       201       412         0     21031      1236    361054     13.78     16.11  --
12.37/3.19	c  N dy   472     84239       201       412         0     14439      1236    179842     13.92     14.67  --
13.18/3.31	c  F st   489     87500       201       412         0     17562      1236    253603     13.91     13.96  --
13.56/3.45	c  N st   494     90799       201       412         0     20732      1236    353961     13.91   no data  --
13.96/3.53	c Decided on static restart strategy
15.15/3.84	c  N st   497     99808       201       412         0     16631      1236    398519     13.91   no data  --
15.95/4.06	c  S st   498    104835       201       412         0     21087      1236    546596     13.91   no data  --
16.35/4.10	c  S st   498    105338       201       412         0     21578      1236    560586     13.91   no data  --
16.35/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.35/4.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
16.35/4.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
16.35/4.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.74/6.20	c lits-rem:      4754  cl-subs:     1433  v-elim:      0  v-fix:    0  time:  8.29 s
24.74/6.20	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
24.74/6.20	c vivif2 --  cl tried    20145 cl shrink        0 lits rem          0 time: 0.02
24.74/6.21	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.03
24.74/6.21	c calculated reachability. Time: 0.00
24.74/6.21	c  N st   498    105338       201       412         0     20145      1236    497846     13.91   no data  --
26.74/6.75	c  N st   499    114936       201       412         0     15815      1236    389769     13.91   no data  --
29.93/7.57	c  N st   500    129334       201       412         0     14924      1236    331989     13.91   no data  --
35.15/8.86	c  N st   501    150929       201       412         0     19352      1236    474279     13.91   no data  --
36.33/9.19	c  S st   502    158012       201       412         0     25771      1236    701508     13.91   no data  --
36.73/9.23	c  S st   502    158514       201       412         0     26260      1236    714705     13.91   no data  --
36.73/9.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.73/9.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.73/9.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
36.73/9.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.73/9.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.73/9.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
36.73/9.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.91/12.50	c lits-rem:      8766  cl-subs:     3889  v-elim:      0  v-fix:    0  time: 12.96 s
49.91/12.50	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
49.91/12.51	c vivif2 --  cl tried    22371 cl shrink        0 lits rem          0 time: 0.02
49.91/12.52	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.03
49.91/12.52	c calculated reachability. Time: 0.00
49.91/12.52	c  N st   502    158514       201       412         0     22371      1236    555266     13.91   no data  --
62.70/15.76	c  N st   503    207103       201       412         0     17860      1236    351435     13.91   no data  --
71.09/17.80	c  N st   504    237777       201       412         0     27243      1236    655360     13.91   no data  --
71.09/17.80	c  S st   504    237777       201       412         0     27243      1236    655360     13.91   no data  --
71.09/17.85	c  S st   504    238283       201       412         0     27735      1236    667753     13.91   no data  --
71.09/17.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
71.09/17.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
71.09/17.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.05
71.09/17.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
71.09/17.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.09/17.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
71.09/17.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
83.50/21.00	c lits-rem:      4485  cl-subs:     1488  v-elim:      0  v-fix:    0  time: 12.43 s
83.50/21.00	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
83.87/21.00	c vivif2 --  cl tried    26247 cl shrink        0 lits rem          0 time: 0.03
83.87/21.02	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.06
83.87/21.02	c calculated reachability. Time: 0.00
83.87/21.02	c  N st   504    238283       201       412         0     26247      1236    607270     13.91   no data  --
102.64/25.75	c  F st   505    306252       201       412         0     28132      1236    678037     13.91   no data  --
102.64/25.75	c  N st   505    306252       201       412         0     28132      1236    678037     13.91   no data  --
103.84/26.01	c Decided on static restart strategy
109.04/27.36	c  N st   515    334557       201       412         0     32408      1236    724437     13.91   no data  --
115.43/28.94	c  N st   517    357427       201       412         0     30852      1236    680149     13.91   no data  --
115.43/28.94	c  S st   517    357427       201       412         0     30852      1236    680149     13.91   no data  --
115.43/28.99	c  S st   517    357928       201       412         0     31348      1236    693157     13.91   no data  --
115.43/28.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
115.43/28.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
115.83/29.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
115.83/29.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
115.83/29.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
115.83/29.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
115.83/29.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.04/30.85	c lits-rem:      4015  cl-subs:      768  v-elim:      0  v-fix:    0  time:  7.31 s
123.04/30.85	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
123.04/30.86	c vivif2 --  cl tried    30580 cl shrink        0 lits rem          0 time: 0.02
123.04/30.87	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.03
123.04/30.87	c calculated reachability. Time: 0.00
123.04/30.87	c  N st   517    357928       201       412         0     30580      1236    660166     13.91   no data  --
132.61/33.26	c  N st   518    390322       201       412         0     36173      1236    863014     13.91   no data  --
147.39/36.99	c  N st   519    438912       201       412         0     29595      1236    591849     13.91   no data  --
171.37/42.98	c  N st   520    511794       201       412         0     41676      1236   1050197     13.91   no data  --
178.95/44.89	c  N st   521    536892       201       412         0     36511      1236    819552     13.91   no data  --
178.95/44.89	c  S st   521    536892       201       412         0     36511      1236    819552     13.91   no data  --
179.35/44.95	c  S st   521    537393       201       412         0     37000      1236    831339     13.91   no data  --
179.35/44.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
179.35/44.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
179.35/44.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
179.35/44.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
179.35/44.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
179.35/44.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
179.35/44.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
188.96/47.35	c lits-rem:      5415  cl-subs:     1948  v-elim:      0  v-fix:    0  time:  9.42 s
188.96/47.35	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
188.96/47.35	c vivif2 --  cl tried    35052 cl shrink        0 lits rem          0 time: 0.03
188.96/47.37	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.04
188.96/47.37	c calculated reachability. Time: 0.00
188.96/47.37	c  N st   521    537393       201       412         0     35052      1236    744993     13.91   no data  --
244.08/61.16	c  N st   522    701377       201       412         0     59367      1236   1694787     13.91   no data  --
283.63/71.03	c  N st   523    806092       201       412         0     56434      1236   1376355     13.91   no data  --
283.63/71.03	c  S st   523    806092       201       412         0     56434      1236   1376355     13.91   no data  --
284.03/71.14	c  S st   523    806600       201       412         0     56933      1236   1389583     13.91   no data  --
284.03/71.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
284.03/71.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
284.03/71.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
284.43/71.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
284.43/71.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
284.43/71.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
284.43/71.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
313.99/78.67	c lits-rem:      4267  cl-subs:     4337  v-elim:      0  v-fix:    0  time: 29.81 s
313.99/78.67	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
313.99/78.69	c vivif2 --  cl tried    52596 cl shrink        0 lits rem          0 time: 0.06
314.39/78.71	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.08
314.39/78.71	c calculated reachability. Time: 0.00
314.39/78.71	c  N st   523    806600       201       412         0     52596      1236   1223868     13.91   no data  --
421.89/105.63	c  F st   524   1071876       201       412         0     65089      1236   1568475     13.91   no data  --
421.89/105.63	c  N st   524   1071876       201       412         0     65089      1236   1568475     13.91   no data  --
423.86/106.16	c Decided on static restart strategy
432.25/108.21	c  N st   534   1100184       201       412         0     52078      1236   1061510     13.91   no data  --
444.64/111.34	c  N st   536   1136177       201       412         0     43823      1236    751253     13.91   no data  --
456.23/114.21	c  N st   537   1168570       201       412         0     71482      1236   1652783     13.91   no data  --
471.40/118.05	c  N st   538   1209901       201       412         0     66265      1236   1469317     13.91   no data  --
471.40/118.05	c  S st   538   1209901       201       412         0     66265      1236   1469317     13.91   no data  --
472.20/118.20	c  S st   538   1210404       201       412         0     66759      1236   1483068     13.91   no data  --
472.20/118.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
472.20/118.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
472.20/118.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
472.20/118.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
472.20/118.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
472.20/118.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
472.20/118.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
542.50/135.85	c lits-rem:     13646  cl-subs:     6973  v-elim:      0  v-fix:    0  time: 70.08 s
542.50/135.85	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
542.50/135.87	c vivif2 --  cl tried    59786 cl shrink        0 lits rem          0 time: 0.07
542.90/135.91	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.18
542.90/135.91	c calculated reachability. Time: 0.00
542.90/135.91	c  N st   538   1210404       201       412         0     59786      1236   1201259     13.91   no data  --
576.06/144.23	c  N st   539   1283288       201       412         0     81508      1236   1999876     13.91   no data  --
626.01/156.72	c  N st   540   1392611       201       412         0     47192      1236    804891     13.91   no data  --
691.93/173.26	c  N st   541   1556595       201       412         0     48284      1236    845617     13.91   no data  --
749.07/187.55	c  N st   542   1710406       201       412         0     82514      1236   1963468     13.91   no data  --
749.07/187.55	c  S st   542   1710406       201       412         0     82514      1236   1963468     13.91   no data  --
749.47/187.68	c  S st   542   1710909       201       412         0     83010      1236   1975467     13.91   no data  --
749.47/187.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
749.47/187.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
749.87/187.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
749.87/187.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
749.87/187.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
749.87/187.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
749.87/187.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
850.53/212.99	c lits-rem:     19583  cl-subs:    12714  v-elim:      0  v-fix:    0  time: 100.63 s
850.53/212.99	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
850.93/213.01	c vivif2 --  cl tried    70296 cl shrink        0 lits rem          0 time: 0.07
850.93/213.04	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.14
850.93/213.04	c calculated reachability. Time: 0.00
850.93/213.04	c  N st   542   1710909       201       412         0     70296      1236   1478188     13.91   no data  --
1024.73/256.52	c  N st   543   2079874       201       412         0     87963      1236   2248707     13.91   no data  --
1085.86/271.80	c  N st   544   2210910       201       412         0     91930      1236   2278885     13.91   no data  --
1085.86/271.80	c  S st   544   2210910       201       412         0     91930      1236   2278885     13.91   no data  --
1086.26/271.97	c  S st   544   2211415       201       412         0     92427      1236   2292216     13.91   no data  --
1086.26/271.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1086.26/271.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1086.66/272.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1086.66/272.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1086.66/272.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1086.66/272.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
1086.66/272.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1203.31/301.27	c lits-rem:      8185  cl-subs:     7755  v-elim:      0  v-fix:    0  time: 116.61 s
1203.31/301.27	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
1203.31/301.30	c vivif2 --  cl tried    84672 cl shrink        0 lits rem          0 time: 0.09
1203.72/301.36	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.24
1203.72/301.36	c calculated reachability. Time: 0.00
1203.72/301.36	c  N st   544   2211415       201       412         0     84672      1236   1954574     13.91   no data  --
1475.37/369.30	c  N st   545   2711415       201       412         0    109618      1236   2771677     13.91   no data  --
1475.37/369.30	c  S st   545   2711415       201       412         0    109618      1236   2771677     13.91   no data  --
1476.18/369.50	c  S st   545   2711918       201       412         0    110111      1236   2785296     13.91   no data  --
1476.18/369.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1476.18/369.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1476.18/369.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1476.59/369.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1476.59/369.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1476.59/369.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
1476.59/369.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1572.88/393.84	c lits-rem:       198  cl-subs:     5037  v-elim:      0  v-fix:    0  time: 96.22 s
1572.88/393.84	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
1572.88/393.87	c vivif2 --  cl tried   105074 cl shrink        0 lits rem          0 time: 0.12
1573.25/393.94	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.27
1573.25/393.94	c calculated reachability. Time: 0.00
1573.25/393.94	c  N st   545   2711918       201       412         0    105074      1236   2587282     13.91   no data  --
1857.67/465.10	c  N st   546   3211918       201       412         0     81327      1236   1566907     13.91   no data  --
1857.67/465.10	c  S st   546   3211918       201       412         0     81327      1236   1566907     13.91   no data  --
1858.09/465.25	c  S st   546   3212419       201       412         0     81819      1236   1579524     13.91   no data  --
1858.09/465.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1858.09/465.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1858.09/465.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
1858.49/465.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1858.49/465.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1858.49/465.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
1858.49/465.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1883.23/471.55	c lits-rem:      1303  cl-subs:     1815  v-elim:      0  v-fix:    0  time: 24.77 s
1883.23/471.55	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
1883.23/471.57	c vivif2 --  cl tried    80004 cl shrink        0 lits rem          0 time: 0.07
1883.63/471.61	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.19
1883.63/471.62	c calculated reachability. Time: 0.00
1883.63/471.62	c  N st   546   3212419       201       412         0     80004      1236   1508479     13.91   no data  --
2235.14/559.69	c  N st   547   3712420       201       412         0     91066      1236   1824957     13.91   no data  --
2235.14/559.69	c  S st   547   3712420       201       412         0     91066      1236   1824957     13.91   no data  --
2235.96/559.84	c  S st   547   3712924       201       412         0     91561      1236   1838888     13.91   no data  --
2235.96/559.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2235.96/559.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2235.96/559.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2236.36/559.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2236.36/559.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2236.36/559.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
2236.36/559.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2269.89/568.35	c lits-rem:      2446  cl-subs:     2490  v-elim:      0  v-fix:    0  time: 33.58 s
2269.89/568.35	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
2269.89/568.37	c vivif2 --  cl tried    89071 cl shrink        0 lits rem          0 time: 0.08
2270.29/568.41	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.17
2270.29/568.41	c calculated reachability. Time: 0.00
2270.29/568.41	c  N st   547   3712924       201       412         0     89071      1236   1732020     13.91   no data  --
2292.27/573.94	c  F st   548   3751562       201       412         0    122063      1236   2836759     13.91   no data  --
2292.27/573.95	c  N st   548   3751562       201       412         0    122063      1236   2836759     13.91   no data  --
2295.06/574.68	c Decided on static restart strategy
2309.44/578.24	c  N st   558   3779869       201       412         0    148617      1236   3736278     13.91   no data  --
2325.01/582.10	c  N st   560   3815862       201       412         0    104770      1236   2187549     13.91   no data  --
2343.40/586.75	c  N st   561   3848254       201       412         0    132478      1236   3131873     13.91   no data  --
2376.15/594.92	c  N st   562   3896842       201       412         0    100332      1236   2125984     13.91   no data  --
2431.67/608.80	c  N st   563   3969724       201       412         0     86928      1236   1616753     13.91   no data  --
2518.35/630.55	c  N st   564   4079047       201       412         0    106781      1236   2315806     13.91   no data  --
2599.44/650.82	c  N st   565   4212924       201       412         0    146820      1236   3643074     13.91   no data  --
2599.44/650.82	c  S st   565   4212924       201       412         0    146820      1236   3643074     13.91   no data  --
2600.66/651.12	c  S st   565   4213429       201       412         0    147309      1236   3655639     13.91   no data  --
2600.66/651.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2600.66/651.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2601.07/651.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
2601.44/651.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2601.44/651.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2601.44/651.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
2601.44/651.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3311.37/829.20	c lits-rem:     31972  cl-subs:     6255  v-elim:      0  v-fix:    0  time: 709.89 s
3311.37/829.20	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
3311.77/829.24	c vivif2 --  cl tried   141054 cl shrink        0 lits rem          0 time: 0.17
3312.19/829.34	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.40
3312.19/829.34	c calculated reachability. Time: 0.00
3312.19/829.34	c  N st   565   4213429       201       412         0    141054      1236   3381938     13.91   no data  --
3500.73/876.58	c  N st   566   4459409       201       412         0    111158      1236   2404593     13.91   no data  --
3640.57/911.54	c  N st   567   4713431       201       412         0     90174      1236   1590728     13.91   no data  --
3640.57/911.54	c  S st   567   4713431       201       412         0     90174      1236   1590728     13.91   no data  --
3641.37/911.70	c  S st   567   4713934       201       412         0     90667      1236   1604705     13.91   no data  --
3641.37/911.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3641.37/911.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3641.37/911.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
3641.37/911.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3641.37/911.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3641.37/911.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
3641.37/911.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3658.15/915.99	c lits-rem:       206  cl-subs:     1924  v-elim:      0  v-fix:    0  time: 16.80 s
3658.15/915.99	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
3658.55/916.01	c vivif2 --  cl tried    88743 cl shrink        0 lits rem          0 time: 0.07
3658.55/916.05	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.17
3658.55/916.06	c calculated reachability. Time: 0.00
3658.55/916.06	c  N st   567   4713934       201       412         0     88743      1236   1530926     13.91   no data  --
3980.56/996.65	c  N st   568   5213936       201       412         0     92586      1236   1618665     13.91   no data  --
3980.56/996.65	c  S st   568   5213936       201       412         0     92586      1236   1618665     13.91   no data  --
3981.34/996.87	c  S st   568   5214436       201       412         0     93076      1236   1633425     13.91   no data  --
3981.34/996.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3981.34/996.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3981.74/996.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
3981.74/996.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3981.74/996.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3981.74/996.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
3981.74/996.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4018.09/1006.06	c lits-rem:       353  cl-subs:     3045  v-elim:      0  v-fix:    0  time: 36.23 s
4018.09/1006.06	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
4018.09/1006.08	c vivif2 --  cl tried    90031 cl shrink        0 lits rem          0 time: 0.09
4018.49/1006.15	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.27
4018.49/1006.15	c calculated reachability. Time: 0.00
4018.49/1006.15	c  N st   568   5214436       201       412         0     90031      1236   1528045     13.91   no data  --
4391.59/1099.56	c  N st   569   5714436       201       412         0    166938      1236   4119638     13.91   no data  --
4391.59/1099.56	c  S st   569   5714436       201       412         0    166938      1236   4119638     13.91   no data  --
4393.61/1100.02	c  S st   569   5714940       201       412         0    167435      1236   4133443     13.91   no data  --
4393.61/1100.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4393.61/1100.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4393.99/1100.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.46
4394.80/1100.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4394.80/1100.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4394.80/1100.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
4394.80/1100.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.31 7.70 7.89 4/176 17524
/proc/meminfo: memFree=25282604/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 505271023 52465664 352 33554432000 4194304 4650419 140734977643856 18446744073709551615 47364008134576 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 12809 352 303 112 0 7774 0
[pid=17524/tid=17528] ppid=17520 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 505271023 52465664 352 33554432000 4194304 4650419 140734977643856 18446744073709551615 47364008134578 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 505271023 52465664 352 33554432000 4194304 4650419 140734977643856 18446744073709551615 47364008134578 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 505271023 52465664 352 33554432000 4194304 4650419 140734977643856 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0946899 s]
/proc/loadavg: 6.31 7.70 7.89 4/176 17524
/proc/meminfo: memFree=25282604/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=282648 CPUtime=0.35 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 1622 0 0 0 35 0 0 0 24 0 4 0 505271023 289431552 1194 33554432000 4194304 4650419 140734977643856 18446744073709551615 4364746 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 70662 1194 392 112 0 65627 0
[pid=17524/tid=17528] ppid=17520 vsize=282648 CPUtime=0.08 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 342 0 0 0 8 0 0 0 24 0 4 0 505271023 289431552 1194 33554432000 4194304 4650419 140734977643856 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=282648 CPUtime=0.08 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 260 0 0 0 8 0 0 0 24 0 4 0 505271023 289431552 1194 33554432000 4194304 4650419 140734977643856 18446744073709551615 4332020 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=282648 CPUtime=0.08 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 292 0 0 0 8 0 0 0 25 0 4 0 505271023 289431552 1194 33554432000 4194304 4650419 140734977643856 18446744073709551615 4333838 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 282648

[startup+0.10069 s]
/proc/loadavg: 6.31 7.70 7.89 4/176 17524
/proc/meminfo: memFree=25282604/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=282648 CPUtime=0.38 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 1654 0 0 0 38 0 0 0 24 0 4 0 505271023 289431552 1226 33554432000 4194304 4650419 140734977643856 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 70662 1226 392 112 0 65627 0
[pid=17524/tid=17528] ppid=17520 vsize=282648 CPUtime=0.09 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 350 0 0 0 9 0 0 0 24 0 4 0 505271023 289431552 1226 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=282648 CPUtime=0.09 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 268 0 0 0 9 0 0 0 24 0 4 0 505271023 289431552 1226 33554432000 4194304 4650419 140734977643856 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=282648 CPUtime=0.09 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 300 0 0 0 9 0 0 0 25 0 4 0 505271023 289431552 1226 33554432000 4194304 4650419 140734977643856 18446744073709551615 4360842 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282648

[startup+0.300655 s]
/proc/loadavg: 6.31 7.70 7.89 4/176 17524
/proc/meminfo: memFree=25282604/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=284068 CPUtime=1.17 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 3199 0 0 0 117 0 0 0 25 0 4 0 505271023 290885632 1823 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 71017 1823 392 112 0 65982 0
[pid=17524/tid=17528] ppid=17520 vsize=284068 CPUtime=0.29 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 717 0 0 0 29 0 0 0 25 0 4 0 505271023 290885632 1823 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=284068 CPUtime=0.29 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 734 0 0 0 29 0 0 0 25 0 4 0 505271023 290885632 1823 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=284068 CPUtime=0.29 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 659 0 0 0 29 0 0 0 25 0 4 0 505271023 290885632 1823 33554432000 4194304 4650419 140734977643856 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284068

[startup+0.700584 s]
/proc/loadavg: 6.31 7.70 7.89 4/176 17524
/proc/meminfo: memFree=25282604/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=268132 CPUtime=2.78 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 5712 0 0 0 277 1 0 0 25 0 4 0 505271023 274567168 2594 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 67033 2594 393 112 0 61998 0
[pid=17524/tid=17528] ppid=17520 vsize=268132 CPUtime=0.69 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 1395 0 0 0 69 0 0 0 25 0 4 0 505271023 274567168 2594 33554432000 4194304 4650419 140734977643856 18446744073709551615 4303863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=268132 CPUtime=0.68 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 1282 0 0 0 68 0 0 0 25 0 4 0 505271023 274567168 2595 33554432000 4194304 4650419 140734977643856 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=268132 CPUtime=0.69 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 1339 0 0 0 69 0 0 0 25 0 4 0 505271023 274567168 2595 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363637 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 268132

[startup+1.50045 s]
/proc/loadavg: 6.31 7.70 7.89 9/184 17562
/proc/meminfo: memFree=25254128/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=271364 CPUtime=5.96 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 13617 0 0 0 595 1 0 0 25 0 4 0 505271023 277876736 9064 33554432000 4194304 4650419 140734977643856 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 67841 9064 394 112 0 62806 0
[pid=17524/tid=17528] ppid=17520 vsize=271364 CPUtime=1.49 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 2938 0 0 0 149 0 0 0 25 0 4 0 505271023 277876736 9064 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=271364 CPUtime=1.47 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 3659 0 0 0 147 0 0 0 25 0 4 0 505271023 277876736 9064 33554432000 4194304 4650419 140734977643856 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=271364 CPUtime=1.48 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 3435 0 0 0 148 0 0 0 25 0 4 0 505271023 277876736 9064 33554432000 4194304 4650419 140734977643856 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 271364

[startup+3.10117 s]
/proc/loadavg: 6.31 7.70 7.89 9/184 17562
/proc/meminfo: memFree=25221792/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=280328 CPUtime=12.37 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 18456 0 0 0 1235 2 0 0 25 0 4 0 505271023 287055872 12296 33554432000 4194304 4650419 140734977643856 18446744073709551615 4329327 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 70082 12296 394 112 0 65047 0
[pid=17524/tid=17528] ppid=17520 vsize=280328 CPUtime=3.09 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 4850 0 0 0 309 0 0 0 25 0 4 0 505271023 287055872 12296 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=280328 CPUtime=3.07 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 4512 0 0 0 307 0 0 0 25 0 4 0 505271023 287055872 12296 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=280328 CPUtime=3.08 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 4522 0 0 0 308 0 0 0 25 0 4 0 505271023 287055872 12296 33554432000 4194304 4650419 140734977643856 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 280328

[startup+6.3006 s]
/proc/loadavg: 6.45 7.70 7.89 9/184 17562
/proc/meminfo: memFree=25155828/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=307940 CPUtime=25.14 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 30713 0 0 0 2510 4 0 0 25 0 4 0 505271023 315330560 19697 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 76985 19697 394 112 0 71950 0
[pid=17524/tid=17528] ppid=17520 vsize=307940 CPUtime=6.29 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 9089 0 0 0 628 1 0 0 25 0 4 0 505271023 315330560 19697 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=307940 CPUtime=6.26 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 6668 0 0 0 625 1 0 0 25 0 4 0 505271023 315330560 19697 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=307940 CPUtime=6.28 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 7216 0 0 0 627 1 0 0 25 0 4 0 505271023 315330560 19697 33554432000 4194304 4650419 140734977643856 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 307940

[startup+12.7005 s]
/proc/loadavg: 6.57 7.71 7.89 9/184 17562
/proc/meminfo: memFree=25076996/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=327108 CPUtime=50.71 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 48422 0 0 0 5062 9 0 0 25 0 4 0 505271023 334958592 29085 33554432000 4194304 4650419 140734977643856 18446744073709551615 4329696 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 81777 29085 394 112 0 76742 0
[pid=17524/tid=17528] ppid=17520 vsize=327108 CPUtime=12.68 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 13901 0 0 0 1266 2 0 0 25 0 4 0 505271023 334958592 29085 33554432000 4194304 4650419 140734977643856 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=327108 CPUtime=12.63 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 12333 0 0 0 1261 2 0 0 25 0 4 0 505271023 334958592 29085 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=327108 CPUtime=12.68 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 10919 0 0 0 1266 2 0 0 25 0 4 0 505271023 334958592 29085 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 327108

[startup+25.5002 s]
/proc/loadavg: 6.96 7.74 7.90 9/184 17562
/proc/meminfo: memFree=25032580/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=326808 CPUtime=101.84 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 70633 0 0 0 10170 14 0 0 25 0 4 0 505271023 334651392 32488 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 81702 32488 394 112 0 76667 0
[pid=17524/tid=17528] ppid=17520 vsize=326808 CPUtime=25.48 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 20082 0 0 0 2545 3 0 0 25 0 4 0 505271023 334651392 32488 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=326808 CPUtime=25.36 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 17133 0 0 0 2533 3 0 0 25 0 4 0 505271023 334651392 32488 33554432000 4194304 4650419 140734977643856 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=326808 CPUtime=25.48 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 14802 0 0 0 2545 3 0 0 25 0 4 0 505271023 334651392 32488 33554432000 4194304 4650419 140734977643856 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 326808

[startup+51.1007 s]
/proc/loadavg: 7.32 7.76 7.90 9/184 17563
/proc/meminfo: memFree=24938112/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=343356 CPUtime=204.12 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 127275 0 0 0 20385 27 0 0 25 0 4 0 505271023 351596544 44860 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 85839 44860 394 112 0 80804 0
[pid=17524/tid=17528] ppid=17520 vsize=343356 CPUtime=51.09 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 35080 0 0 0 5102 7 0 0 25 0 4 0 505271023 351596544 44860 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=343356 CPUtime=50.84 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 33134 0 0 0 5077 7 0 0 25 0 4 0 505271023 351596544 44860 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=343356 CPUtime=51.08 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 23667 0 0 0 5102 6 0 0 25 0 4 0 505271023 351596544 44860 33554432000 4194304 4650419 140734977643856 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 343356

[startup+102.307 s]
/proc/loadavg: 7.70 7.79 7.90 9/184 17564
/proc/meminfo: memFree=24852052/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=342912 CPUtime=408.69 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 216949 0 0 0 40821 48 0 0 25 0 4 0 505271023 351141888 57184 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 85728 57184 394 112 0 80693 0
[pid=17524/tid=17528] ppid=17520 vsize=342912 CPUtime=102.29 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 59868 0 0 0 10216 13 0 0 25 0 4 0 505271023 351141888 57184 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=342912 CPUtime=101.8 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 54729 0 0 0 10169 11 0 0 25 0 4 0 505271023 351141888 57184 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=342912 CPUtime=102.28 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 42155 0 0 0 10218 10 0 0 25 0 4 0 505271023 351141888 57184 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 342912

[startup+162.301 s]

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

[pid=17524] ppid=17520 vsize=861508 CPUtime=2565.5 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 735943 0 0 0 256327 223 0 0 25 0 4 0 505271023 882184192 149020 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 215377 149020 394 112 0 210342 0
[pid=17524/tid=17528] ppid=17520 vsize=861508 CPUtime=642.18 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 214144 0 0 0 64153 65 0 0 25 0 4 0 505271023 882184192 149020 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=861508 CPUtime=639 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 174937 0 0 0 63850 50 0 0 25 0 4 0 505271023 882184192 149020 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=861508 CPUtime=642.22 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 138718 0 0 0 64182 40 0 0 25 0 4 0 505271023 882184192 149020 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.5
Current children cumulated vsize (KiB) 861508

[startup+702.301 s]
/proc/loadavg: 9.13 8.75 8.29 10/189 18003
/proc/meminfo: memFree=24147888/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=979076 CPUtime=2805.16 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 770175 0 0 0 280279 237 0 0 25 0 4 0 505271023 1002573824 158050 33554432000 4194304 4650419 140734977643856 18446744073709551615 4443768 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 244769 158050 394 112 0 239734 0
[pid=17524/tid=17528] ppid=17520 vsize=979076 CPUtime=702.18 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 225902 0 0 0 70147 71 0 0 25 0 4 0 505271023 1002573824 158050 33554432000 4194304 4650419 140734977643856 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=979076 CPUtime=698.67 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 182696 0 0 0 69813 54 0 0 25 0 4 0 505271023 1002573824 158050 33554432000 4194304 4650419 140734977643856 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=979076 CPUtime=702.21 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 141850 0 0 0 70179 42 0 0 25 0 4 0 505271023 1002573824 158050 33554432000 4194304 4650419 140734977643856 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.16
Current children cumulated vsize (KiB) 979076

[startup+762.307 s]
/proc/loadavg: 8.63 8.68 8.29 9/184 18057
/proc/meminfo: memFree=24486188/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=1062492 CPUtime=3044.54 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 792096 0 0 0 304207 247 0 0 25 0 4 0 505271023 1087991808 170269 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 265623 170269 394 112 0 260588 0
[pid=17524/tid=17528] ppid=17520 vsize=1062492 CPUtime=762.18 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 230498 0 0 0 76143 75 0 0 25 0 4 0 505271023 1087991808 170269 33554432000 4194304 4650419 140734977643856 18446744073709551615 4334536 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=1062492 CPUtime=758.35 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 194208 0 0 0 75778 57 0 0 25 0 4 0 505271023 1087991808 170269 33554432000 4194304 4650419 140734977643856 18446744073709551615 4438487 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=1062492 CPUtime=762.2 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 144770 0 0 0 76175 45 0 0 25 0 4 0 505271023 1087991808 170269 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.54
Current children cumulated vsize (KiB) 1062492

[startup+822.301 s]
/proc/loadavg: 8.30 8.57 8.27 9/184 18059
/proc/meminfo: memFree=24511736/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=1071412 CPUtime=3284.21 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 821040 0 0 0 328163 258 0 0 25 0 4 0 505271023 1097125888 170574 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 267853 170574 394 112 0 262818 0
[pid=17524/tid=17528] ppid=17520 vsize=1071412 CPUtime=822.17 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 245423 0 0 0 82136 81 0 0 25 0 4 0 505271023 1097125888 170574 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=1071412 CPUtime=818.04 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 202615 0 0 0 81746 58 0 0 25 0 4 0 505271023 1097125888 170574 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=1071412 CPUtime=822.2 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 150382 0 0 0 82171 49 0 0 25 0 4 0 505271023 1097125888 170574 33554432000 4194304 4650419 140734977643856 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.21
Current children cumulated vsize (KiB) 1071412

[startup+882.3 s]
/proc/loadavg: 8.17 8.48 8.26 9/184 18060
/proc/meminfo: memFree=24455548/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=994132 CPUtime=3523.9 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 859826 0 0 0 352115 275 0 0 25 0 4 0 505271023 1017991168 172497 33554432000 4194304 4650419 140734977643856 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 248533 172497 394 112 0 243498 0
[pid=17524/tid=17528] ppid=17520 vsize=994132 CPUtime=882.17 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 253874 0 0 0 88133 84 0 0 25 0 4 0 505271023 1017991168 172497 33554432000 4194304 4650419 140734977643856 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=994132 CPUtime=877.73 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 211966 0 0 0 87714 59 0 0 25 0 4 0 505271023 1017991168 172497 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=994132 CPUtime=882.19 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 161828 0 0 0 88163 56 0 0 25 0 4 0 505271023 1017991168 172497 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3523.9
Current children cumulated vsize (KiB) 994132

[startup+942.301 s]
/proc/loadavg: 8.17 8.42 8.25 9/184 18062
/proc/meminfo: memFree=24450796/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=971800 CPUtime=3763.62 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 906398 0 0 0 376072 290 0 0 25 0 4 0 505271023 995123200 178405 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 242950 178405 394 112 0 237915 0
[pid=17524/tid=17528] ppid=17520 vsize=971800 CPUtime=942.18 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 266076 0 0 0 94129 89 0 0 25 0 4 0 505271023 995123200 178405 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=971800 CPUtime=937.46 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 221807 0 0 0 93684 62 0 0 25 0 4 0 505271023 995123200 178405 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=971800 CPUtime=942.19 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 171908 0 0 0 94161 58 0 0 25 0 4 0 505271023 995123200 178405 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.62
Current children cumulated vsize (KiB) 971800

[startup+1002.3 s]
/proc/loadavg: 8.11 8.36 8.24 9/184 18063
/proc/meminfo: memFree=24361132/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=1056076 CPUtime=4003.31 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 938425 0 0 0 400027 304 0 0 25 0 4 0 505271023 1081421824 193979 33554432000 4194304 4650419 140734977643856 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 264019 193979 394 112 0 258984 0
[pid=17524/tid=17528] ppid=17520 vsize=1056076 CPUtime=1002.17 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 273427 0 0 0 100124 93 0 0 25 0 4 0 505271023 1081421824 193979 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=1056076 CPUtime=997.14 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 231569 0 0 0 99651 63 0 0 25 0 4 0 505271023 1081421824 193979 33554432000 4194304 4650419 140734977643856 18446744073709551615 4439156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=1056076 CPUtime=1002.18 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 171909 0 0 0 100160 58 0 0 25 0 4 0 505271023 1081421824 193979 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.31
Current children cumulated vsize (KiB) 1056076

[startup+1062.3 s]
/proc/loadavg: 8.13 8.32 8.24 9/184 18065
/proc/meminfo: memFree=24348216/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=1199696 CPUtime=4243 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 961106 0 0 0 423980 320 0 0 25 0 4 0 505271023 1228488704 201124 33554432000 4194304 4650419 140734977643856 18446744073709551615 4313064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 299924 201124 394 112 0 294889 0
[pid=17524/tid=17528] ppid=17520 vsize=1199696 CPUtime=1062.18 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 283869 0 0 0 106118 100 0 0 25 0 4 0 505271023 1228488704 201124 33554432000 4194304 4650419 140734977643856 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=1199696 CPUtime=1056.83 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 231569 0 0 0 105620 63 0 0 25 0 4 0 505271023 1228488704 201124 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=1199696 CPUtime=1062.18 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 172129 0 0 0 106159 59 0 0 25 0 4 0 505271023 1228488704 201124 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243
Current children cumulated vsize (KiB) 1199696

[startup+1122.3 s]
/proc/loadavg: 8.13 8.29 8.23 9/184 18067
/proc/meminfo: memFree=24293144/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=1274980 CPUtime=4482.67 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 982041 0 0 0 447934 333 0 0 25 0 4 0 505271023 1305579520 208020 33554432000 4194304 4650419 140734977643856 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 318745 208020 394 112 0 313710 0
[pid=17524/tid=17528] ppid=17520 vsize=1274980 CPUtime=1122.18 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 283869 0 0 0 112118 100 0 0 25 0 4 0 505271023 1305579520 208020 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=1274980 CPUtime=1116.5 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 231569 0 0 0 111587 63 0 0 25 0 4 0 505271023 1305579520 208020 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=1274980 CPUtime=1122.17 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 179868 0 0 0 112154 63 0 0 25 0 4 0 505271023 1305579520 208020 33554432000 4194304 4650419 140734977643856 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.67
Current children cumulated vsize (KiB) 1274980

[startup+1182.3 s]
/proc/loadavg: 8.13 8.26 8.22 9/184 18068
/proc/meminfo: memFree=24215504/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=1275488 CPUtime=4722.34 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 990765 0 0 0 471894 340 0 0 25 0 4 0 505271023 1306099712 214964 33554432000 4194304 4650419 140734977643856 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 318872 214964 394 112 0 313837 0
[pid=17524/tid=17528] ppid=17520 vsize=1275488 CPUtime=1182.18 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 283869 0 0 0 118118 100 0 0 25 0 4 0 505271023 1306099712 214964 33554432000 4194304 4650419 140734977643856 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=1275488 CPUtime=1176.18 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 231569 0 0 0 117555 63 0 0 25 0 4 0 505271023 1306099712 214964 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=1275488 CPUtime=1182.17 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 188592 0 0 0 118146 71 0 0 25 0 4 0 505271023 1306099712 214964 33554432000 4194304 4650419 140734977643856 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.34
Current children cumulated vsize (KiB) 1275488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.16 8.26 8.22 9/184 18069
/proc/meminfo: memFree=24238808/32951124 swapFree=67111448/67111528
[pid=17524] ppid=17520 vsize=1219888 CPUtime=4800.25 cores=0,2,4,6
/proc/17524/stat : 17524 (strangenight1-m) R 17520 17524 17487 0 -1 4202496 990992 0 0 0 479684 341 0 0 25 0 4 0 505271023 1249165312 207378 33554432000 4194304 4650419 140734977643856 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17524/statm: 304972 207378 394 112 0 299937 0
[pid=17524/tid=17528] ppid=17520 vsize=1219888 CPUtime=1201.69 cores=0,2,4,6
/proc/17524/task/17528/stat : 17528 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 283869 0 0 0 120069 100 0 0 25 0 4 0 505271023 1249165312 207378 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=1219888 CPUtime=1195.57 cores=0,2,4,6
/proc/17524/task/17529/stat : 17529 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 231569 0 0 0 119494 63 0 0 25 0 4 0 505271023 1249165312 207378 33554432000 4194304 4650419 140734977643856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17524/tid=17530] ppid=17520 vsize=1219888 CPUtime=1201.67 cores=0,2,4,6
/proc/17524/task/17530/stat : 17530 (strangenight1-m) R 17520 17524 17487 0 -1 4202560 188819 0 0 0 120095 72 0 0 25 0 4 0 505271023 1249165312 207378 33554432000 4194304 4650419 140734977643856 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1219888

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.85
CPU time (s): 4800.32
CPU user time (s): 4796.86
CPU system time (s): 3.45947
CPU usage (%): 399.41
Max. virtual memory (cumulated for all children) (KiB): 1280476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.86
system time used= 3.45947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 990992
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= 324
involuntary context switches= 27871

runsolver used 1.82572 second user time and 4.39133 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-30 03:55:49
IDJOB=3273994
IDBENCH=83151
IDSOLVER=1588
FILE ID=node144/3273994-1304128549
RUNJOBID= node144-1304128549-17505
PBS_JOBID= 13170779
Free space on /tmp= 72412 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n200-s00813792-unsat.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3273994-1304128549/watcher-3273994-1304128549 -o /tmp/evaluation-result-3273994-1304128549/solver-3273994-1304128549 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3273994-1304128549.cnf

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

MD5SUM BENCH= 92046422d2d9595619b29413c0964c9c
RANDOM SEED=1532004163

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:      25283032 kB
Buffers:       2110540 kB
Cached:        4947940 kB
SwapCached:         80 kB
Active:         183652 kB
Inactive:      6937900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25283032 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           12488 kB
Writeback:           0 kB
AnonPages:       62452 kB
Mapped:          14316 kB
Slab:           480568 kB
PageTables:       4860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   183116 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 node144 at 2011-04-30 04:15:53