Trace number 3369388

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.36 1202.95

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-3369388-1305413131.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.22/0.06	c  N dy    17      4160       201       412         0      3814      1236     80353     12.14     12.86  --
0.38/0.13	c  N dy    39      8290       201       412         0      5345      1236     95629     12.41     13.14  --
0.78/0.22	c  N dy    59     12471       201       412         0      5306      1236     78405     12.11     12.90  --
1.18/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.53	c  N dy   149     24599       201       412         0     11542      1236    204101     13.21     14.91  --
1.97/0.54	c  F st   152     25000       201       412         0     11927      1236    211858     13.22   no data  --
2.37/0.68	c  N dy   158     30000       201       412         0     10190      1236    165370     13.22   no data  --
2.37/0.68	c  S st   158     30000       201       412         0     10190      1236    165370     13.22   no data  --
2.77/0.70	c  S st   158     30502       201       412         0     10678      1236    176819     13.22   no data  --
2.77/0.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2.77/0.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2.77/0.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
2.77/0.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.77/0.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.77/0.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
2.77/0.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.94	c lits-rem:       420  cl-subs:      166  v-elim:      0  v-fix:    0  time:  0.92 s
3.57/0.95	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.01
3.57/0.95	c calculated reachability. Time: 0.00
3.57/0.95	c  N dy   158     30502       201       412         0     10512      1236    171263     13.22   no data  --
3.99/1.09	c  N dy   186     34939       201       412         0     14752      1236    266814     13.28     13.98  --
4.76/1.20	c  N dy   212     39002       201       412         0     11141      1236    158626     13.36     14.27  --
5.16/1.33	c  N dy   235     43060       201       412         0     15011      1236    251108     13.38     14.20  --
5.56/1.43	c  S st   252     45755       201       412         0      9071      1236     95823     13.47   no data  --
5.56/1.45	c  S st   252     46256       201       412         0      9554      1236    108917     13.47   no data  --
5.56/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.56/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
5.56/1.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.49	c lits-rem:        55  cl-subs:       34  v-elim:      0  v-fix:    0  time:  0.14 s
5.56/1.49	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
5.56/1.49	c vivif2 --  cl tried     9520 cl shrink        0 lits rem          0 time: 0.00
5.56/1.49	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.01
5.56/1.49	c calculated reachability. Time: 0.00
5.56/1.49	c  N dy   252     46256       201       412         0      9520      1236    108117     13.47   no data  --
6.36/1.61	c  N dy   274     50298       201       412         0     13410      1236    198439     13.50     15.04  --
6.76/1.74	c  N dy   279     54377       201       412         0     17229      1236    282773     13.41     14.19  --
7.16/1.89	c  N dy   307     58435       201       412         0     11641      1236    143131     13.48     17.46  --
7.96/2.02	c  N dy   329     62454       201       412         0     15492      1236    236409     13.54     15.49  --
8.38/2.19	c  N dy   349     66586       201       412         0     19441      1236    331981     13.56     14.59  --
9.16/2.30	c  S st   363     69386       201       412         0     11649      1236    128736     13.59     12.33  --
9.16/2.33	c  S st   363     69889       201       412         0     12140      1236    142254     13.59   no data  --
9.16/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.16/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.16/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
9.16/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.96/2.60	c lits-rem:        56  cl-subs:       39  v-elim:      0  v-fix:    0  time:  1.05 s
9.96/2.60	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
10.36/2.60	c vivif2 --  cl tried    12101 cl shrink        0 lits rem          0 time: 0.01
10.36/2.60	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.01
10.36/2.60	c calculated reachability. Time: 0.00
10.36/2.60	c  N dy   363     69889       201       412         0     12101      1236    141247     13.59   no data  --
10.76/2.76	c  N dy   396     74355       201       412         0     16429      1236    247389     13.71     19.41  --
11.55/2.96	c  N dy   428     79108       201       412         0     21031      1236    361054     13.78     16.11  --
12.35/3.17	c  N dy   472     84239       201       412         0     14439      1236    179842     13.92     14.67  --
12.77/3.30	c  F st   489     87500       201       412         0     17562      1236    253603     13.91     13.96  --
13.54/3.44	c  N st   494     90799       201       412         0     20732      1236    353961     13.91   no data  --
13.94/3.52	c Decided on static restart strategy
15.14/3.83	c  N st   497     99808       201       412         0     16631      1236    398519     13.91   no data  --
15.94/4.04	c  S st   498    104835       201       412         0     21087      1236    546596     13.91   no data  --
15.94/4.08	c  S st   498    105338       201       412         0     21578      1236    560586     13.91   no data  --
15.94/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.94/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
16.34/4.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.34/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
16.34/4.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.31/6.17	c lits-rem:      4754  cl-subs:     1433  v-elim:      0  v-fix:    0  time:  8.22 s
24.31/6.17	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
24.31/6.17	c vivif2 --  cl tried    20145 cl shrink        0 lits rem          0 time: 0.02
24.31/6.18	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.04
24.31/6.18	c calculated reachability. Time: 0.00
24.31/6.18	c  N st   498    105338       201       412         0     20145      1236    497846     13.91   no data  --
26.71/6.73	c  N st   499    114936       201       412         0     15815      1236    389769     13.91   no data  --
29.90/7.54	c  N st   500    129334       201       412         0     14924      1236    331989     13.91   no data  --
35.13/8.83	c  N st   501    150929       201       412         0     19352      1236    474279     13.91   no data  --
36.29/9.15	c  S st   502    158012       201       412         0     25771      1236    701508     13.91   no data  --
36.29/9.20	c  S st   502    158514       201       412         0     26260      1236    714705     13.91   no data  --
36.69/9.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
36.69/9.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.69/9.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.69/9.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.69/9.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.69/9.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
36.69/9.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.06/12.38	c lits-rem:      8766  cl-subs:     3889  v-elim:      0  v-fix:    0  time: 12.59 s
49.06/12.38	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
49.06/12.39	c vivif2 --  cl tried    22371 cl shrink        0 lits rem          0 time: 0.02
49.45/12.40	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.03
49.45/12.40	c calculated reachability. Time: 0.00
49.45/12.40	c  N st   502    158514       201       412         0     22371      1236    555266     13.91   no data  --
62.23/15.60	c  N st   503    207103       201       412         0     17860      1236    351435     13.91   no data  --
70.24/17.61	c  N st   504    237777       201       412         0     27243      1236    655360     13.91   no data  --
70.24/17.61	c  S st   504    237777       201       412         0     27243      1236    655360     13.91   no data  --
70.24/17.67	c  S st   504    238283       201       412         0     27735      1236    667753     13.91   no data  --
70.24/17.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
70.24/17.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
70.24/17.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.05
70.60/17.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
70.60/17.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.60/17.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
70.60/17.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
83.00/20.83	c lits-rem:      4485  cl-subs:     1488  v-elim:      0  v-fix:    0  time: 12.47 s
83.00/20.83	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
83.00/20.84	c vivif2 --  cl tried    26247 cl shrink        0 lits rem          0 time: 0.03
83.00/20.85	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.05
83.00/20.85	c calculated reachability. Time: 0.00
83.00/20.85	c  N st   504    238283       201       412         0     26247      1236    607270     13.91   no data  --
102.14/25.60	c  F st   505    306252       201       412         0     28132      1236    678037     13.91   no data  --
102.14/25.60	c  N st   505    306252       201       412         0     28132      1236    678037     13.91   no data  --
102.94/25.85	c Decided on static restart strategy
108.52/27.21	c  N st   515    334557       201       412         0     32408      1236    724437     13.91   no data  --
114.51/28.76	c  N st   517    357427       201       412         0     30852      1236    680149     13.91   no data  --
114.51/28.76	c  S st   517    357427       201       412         0     30852      1236    680149     13.91   no data  --
114.91/28.81	c  S st   517    357928       201       412         0     31348      1236    693157     13.91   no data  --
114.91/28.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
114.91/28.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.91/28.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
114.91/28.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
114.91/28.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.91/28.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
114.91/28.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.09/30.66	c lits-rem:      4015  cl-subs:      768  v-elim:      0  v-fix:    0  time:  7.26 s
122.09/30.66	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
122.09/30.67	c vivif2 --  cl tried    30580 cl shrink        0 lits rem          0 time: 0.03
122.09/30.68	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.05
122.09/30.68	c calculated reachability. Time: 0.00
122.09/30.68	c  N st   517    357928       201       412         0     30580      1236    660166     13.91   no data  --
131.71/33.07	c  N st   518    390322       201       412         0     36173      1236    863014     13.91   no data  --
146.43/36.74	c  N st   519    438912       201       412         0     29595      1236    591849     13.91   no data  --
170.39/42.76	c  N st   520    511794       201       412         0     41676      1236   1050197     13.91   no data  --
177.96/44.66	c  N st   521    536892       201       412         0     36511      1236    819552     13.91   no data  --
177.96/44.66	c  S st   521    536892       201       412         0     36511      1236    819552     13.91   no data  --
178.36/44.72	c  S st   521    537393       201       412         0     37000      1236    831339     13.91   no data  --
178.36/44.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
178.36/44.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
178.36/44.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
178.36/44.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
178.36/44.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
178.36/44.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
178.36/44.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
187.54/47.09	c lits-rem:      5415  cl-subs:     1948  v-elim:      0  v-fix:    0  time:  9.32 s
187.54/47.09	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
187.94/47.10	c vivif2 --  cl tried    35052 cl shrink        0 lits rem          0 time: 0.03
187.94/47.11	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.04
187.94/47.11	c calculated reachability. Time: 0.00
187.94/47.11	c  N st   521    537393       201       412         0     35052      1236    744993     13.91   no data  --
242.61/60.88	c  N st   522    701377       201       412         0     59367      1236   1694787     13.91   no data  --
282.11/70.74	c  N st   523    806092       201       412         0     56434      1236   1376355     13.91   no data  --
282.11/70.74	c  S st   523    806092       201       412         0     56434      1236   1376355     13.91   no data  --
282.51/70.85	c  S st   523    806600       201       412         0     56933      1236   1389583     13.91   no data  --
282.51/70.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
282.51/70.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.51/70.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
282.91/70.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.91/70.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.91/70.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
282.91/70.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
312.84/78.41	c lits-rem:      4267  cl-subs:     4337  v-elim:      0  v-fix:    0  time: 29.88 s
312.84/78.41	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
312.84/78.43	c vivif2 --  cl tried    52596 cl shrink        0 lits rem          0 time: 0.05
312.84/78.45	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.08
312.84/78.45	c calculated reachability. Time: 0.00
312.84/78.45	c  N st   523    806600       201       412         0     52596      1236   1223868     13.91   no data  --
419.80/105.27	c  F st   524   1071876       201       412         0     65089      1236   1568475     13.91   no data  --
419.80/105.27	c  N st   524   1071876       201       412         0     65089      1236   1568475     13.91   no data  --
421.79/105.76	c Decided on static restart strategy
429.79/107.76	c  N st   534   1100184       201       412         0     52078      1236   1061510     13.91   no data  --
442.54/110.91	c  N st   536   1136177       201       412         0     43823      1236    751253     13.91   no data  --
453.72/113.79	c  N st   537   1168570       201       412         0     71482      1236   1652783     13.91   no data  --
468.48/117.42	c  N st   538   1209901       201       412         0     66265      1236   1469317     13.91   no data  --
468.48/117.42	c  S st   538   1209901       201       412         0     66265      1236   1469317     13.91   no data  --
468.88/117.56	c  S st   538   1210404       201       412         0     66759      1236   1483068     13.91   no data  --
468.88/117.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
468.88/117.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
468.88/117.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
469.30/117.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.30/117.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.30/117.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
469.30/117.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
540.70/135.56	c lits-rem:     13646  cl-subs:     6973  v-elim:      0  v-fix:    0  time: 71.43 s
540.70/135.56	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
540.70/135.58	c vivif2 --  cl tried    59786 cl shrink        0 lits rem          0 time: 0.07
541.10/135.62	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.17
541.10/135.62	c calculated reachability. Time: 0.00
541.10/135.62	c  N st   538   1210404       201       412         0     59786      1236   1201259     13.91   no data  --
574.64/144.05	c  N st   539   1283288       201       412         0     81508      1236   1999876     13.91   no data  --
624.11/156.45	c  N st   540   1392611       201       412         0     47192      1236    804891     13.91   no data  --
690.36/173.06	c  N st   541   1556595       201       412         0     48284      1236    845617     13.91   no data  --
747.42/187.31	c  N st   542   1710406       201       412         0     82514      1236   1963468     13.91   no data  --
747.42/187.31	c  S st   542   1710406       201       412         0     82514      1236   1963468     13.91   no data  --
747.82/187.44	c  S st   542   1710909       201       412         0     83010      1236   1975467     13.91   no data  --
747.82/187.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
747.82/187.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
747.82/187.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
748.22/187.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
748.22/187.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
748.22/187.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
748.22/187.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
847.99/212.60	c lits-rem:     19583  cl-subs:    12714  v-elim:      0  v-fix:    0  time: 99.94 s
847.99/212.60	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
848.40/212.61	c vivif2 --  cl tried    70296 cl shrink        0 lits rem          0 time: 0.06
848.40/212.65	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.14
848.40/212.65	c calculated reachability. Time: 0.00
848.40/212.65	c  N st   542   1710909       201       412         0     70296      1236   1478188     13.91   no data  --
1021.20/255.99	c  N st   543   2079874       201       412         0     87963      1236   2248707     13.91   no data  --
1082.26/271.27	c  N st   544   2210910       201       412         0     91930      1236   2278885     13.91   no data  --
1082.26/271.27	c  S st   544   2210910       201       412         0     91930      1236   2278885     13.91   no data  --
1083.06/271.44	c  S st   544   2211415       201       412         0     92427      1236   2292216     13.91   no data  --
1083.06/271.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1083.06/271.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1083.06/271.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1083.46/271.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1083.46/271.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1083.46/271.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
1083.46/271.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1198.01/300.25	c lits-rem:      8185  cl-subs:     7755  v-elim:      0  v-fix:    0  time: 114.48 s
1198.01/300.25	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
1198.01/300.28	c vivif2 --  cl tried    84672 cl shrink        0 lits rem          0 time: 0.10
1198.43/300.34	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.25
1198.43/300.34	c calculated reachability. Time: 0.00
1198.43/300.34	c  N st   544   2211415       201       412         0     84672      1236   1954574     13.91   no data  --
1468.97/368.15	c  N st   545   2711415       201       412         0    109618      1236   2771677     13.91   no data  --
1468.97/368.15	c  S st   545   2711415       201       412         0    109618      1236   2771677     13.91   no data  --
1469.77/368.35	c  S st   545   2711918       201       412         0    110111      1236   2785296     13.91   no data  --
1469.77/368.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1469.77/368.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1469.77/368.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
1470.18/368.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1470.18/368.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1470.18/368.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
1470.18/368.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1565.14/392.28	c lits-rem:       198  cl-subs:     5037  v-elim:      0  v-fix:    0  time: 94.90 s
1565.14/392.28	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
1565.54/392.31	c vivif2 --  cl tried   105074 cl shrink        0 lits rem          0 time: 0.12
1565.54/392.38	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.27
1565.54/392.38	c calculated reachability. Time: 0.00
1565.54/392.38	c  N st   545   2711918       201       412         0    105074      1236   2587282     13.91   no data  --
1848.49/463.23	c  N st   546   3211918       201       412         0     81327      1236   1566907     13.91   no data  --
1848.49/463.23	c  S st   546   3211918       201       412         0     81327      1236   1566907     13.91   no data  --
1848.89/463.39	c  S st   546   3212419       201       412         0     81819      1236   1579524     13.91   no data  --
1848.89/463.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1848.89/463.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1849.29/463.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
1849.29/463.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1849.29/463.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1849.29/463.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
1849.29/463.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1873.63/469.58	c lits-rem:      1303  cl-subs:     1815  v-elim:      0  v-fix:    0  time: 24.35 s
1873.63/469.58	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
1873.63/469.60	c vivif2 --  cl tried    80004 cl shrink        0 lits rem          0 time: 0.07
1874.05/469.65	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.18
1874.05/469.65	c calculated reachability. Time: 0.00
1874.05/469.65	c  N st   546   3212419       201       412         0     80004      1236   1508479     13.91   no data  --
2223.21/557.19	c  N st   547   3712420       201       412         0     91066      1236   1824957     13.91   no data  --
2223.21/557.19	c  S st   547   3712420       201       412         0     91066      1236   1824957     13.91   no data  --
2224.01/557.33	c  S st   547   3712924       201       412         0     91561      1236   1838888     13.91   no data  --
2224.01/557.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2224.01/557.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2224.01/557.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
2224.41/557.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2224.41/557.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2224.41/557.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
2224.41/557.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2257.53/565.71	c lits-rem:      2446  cl-subs:     2490  v-elim:      0  v-fix:    0  time: 33.06 s
2257.53/565.71	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
2257.53/565.73	c vivif2 --  cl tried    89071 cl shrink        0 lits rem          0 time: 0.08
2257.53/565.78	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.17
2257.53/565.78	c calculated reachability. Time: 0.00
2257.53/565.78	c  N st   547   3712924       201       412         0     89071      1236   1732020     13.91   no data  --
2279.89/571.30	c  F st   548   3751562       201       412         0    122063      1236   2836759     13.91   no data  --
2279.89/571.31	c  N st   548   3751562       201       412         0    122063      1236   2836759     13.91   no data  --
2282.71/572.05	c Decided on static restart strategy
2297.05/575.61	c  N st   558   3779869       201       412         0    148617      1236   3736278     13.91   no data  --
2312.22/579.45	c  N st   560   3815862       201       412         0    104770      1236   2187549     13.91   no data  --
2330.59/584.05	c  N st   561   3848254       201       412         0    132478      1236   3131873     13.91   no data  --
2361.73/591.83	c  N st   562   3896842       201       412         0    100332      1236   2125984     13.91   no data  --
2416.76/605.65	c  N st   563   3969724       201       412         0     86928      1236   1616753     13.91   no data  --
2503.35/627.33	c  N st   564   4079047       201       412         0    106781      1236   2315806     13.91   no data  --
2583.97/647.57	c  N st   565   4212924       201       412         0    146820      1236   3643074     13.91   no data  --
2583.97/647.57	c  S st   565   4212924       201       412         0    146820      1236   3643074     13.91   no data  --
2585.18/647.87	c  S st   565   4213429       201       412         0    147309      1236   3655639     13.91   no data  --
2585.18/647.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2585.18/647.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2585.60/647.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
2585.96/648.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2585.96/648.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2585.96/648.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
2585.96/648.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3292.66/825.19	c lits-rem:     31972  cl-subs:     6255  v-elim:      0  v-fix:    0  time: 706.44 s
3292.66/825.19	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
3293.06/825.23	c vivif2 --  cl tried   141054 cl shrink        0 lits rem          0 time: 0.16
3293.46/825.33	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.39
3293.46/825.33	c calculated reachability. Time: 0.00
3293.46/825.33	c  N st   565   4213429       201       412         0    141054      1236   3381938     13.91   no data  --
3479.83/872.04	c  N st   566   4459409       201       412         0    111158      1236   2404593     13.91   no data  --
3620.71/907.30	c  N st   567   4713431       201       412         0     90174      1236   1590728     13.91   no data  --
3620.71/907.30	c  S st   567   4713431       201       412         0     90174      1236   1590728     13.91   no data  --
3621.12/907.46	c  S st   567   4713934       201       412         0     90667      1236   1604705     13.91   no data  --
3621.12/907.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3621.12/907.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3621.12/907.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
3621.54/907.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3621.54/907.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3621.54/907.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
3621.54/907.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3637.87/911.66	c lits-rem:       206  cl-subs:     1924  v-elim:      0  v-fix:    0  time: 16.44 s
3637.87/911.66	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
3637.87/911.68	c vivif2 --  cl tried    88743 cl shrink        0 lits rem          0 time: 0.07
3638.27/911.72	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.16
3638.27/911.73	c calculated reachability. Time: 0.00
3638.27/911.73	c  N st   567   4713934       201       412         0     88743      1236   1530926     13.91   no data  --
3956.31/991.46	c  N st   568   5213936       201       412         0     92586      1236   1618665     13.91   no data  --
3956.31/991.46	c  S st   568   5213936       201       412         0     92586      1236   1618665     13.91   no data  --
3957.11/991.67	c  S st   568   5214436       201       412         0     93076      1236   1633425     13.91   no data  --
3957.11/991.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3957.11/991.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3957.51/991.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
3957.51/991.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3957.51/991.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3957.51/991.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
3957.51/991.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3994.23/1001.00	c lits-rem:       353  cl-subs:     3045  v-elim:      0  v-fix:    0  time: 36.70 s
3994.23/1001.00	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
3994.65/1001.02	c vivif2 --  cl tried    90031 cl shrink        0 lits rem          0 time: 0.09
3994.65/1001.08	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.26
3994.65/1001.09	c calculated reachability. Time: 0.00
3994.65/1001.09	c  N st   568   5214436       201       412         0     90031      1236   1528045     13.91   no data  --
4354.97/1091.38	c  N st   569   5714436       201       412         0    166938      1236   4119638     13.91   no data  --
4354.97/1091.38	c  S st   569   5714436       201       412         0    166938      1236   4119638     13.91   no data  --
4356.97/1091.85	c  S st   569   5714940       201       412         0    167435      1236   4133443     13.91   no data  --
4356.97/1091.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4356.97/1091.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4357.37/1091.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.45
4358.17/1092.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4358.17/1092.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4358.17/1092.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    201 time:  0.00 s
4358.17/1092.13	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: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369388-1305413131/watcher-3369388-1305413131 -o /tmp/evaluation-result-3369388-1305413131/solver-3369388-1305413131 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369388-1305413131.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: 7.46 7.96 7.98 5/294 5856
/proc/meminfo: memFree=16809712/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=289984 CPUtime=0 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) D 5853 5855 5130 0 -1 4202496 633 0 0 0 0 0 0 0 23 0 4 0 652915886 296943616 553 33554432000 4194304 4650419 140733315456192 18446744073709551615 218370619750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 72496 553 368 112 0 67461 0
[pid=5855/tid=5857] ppid=5853 vsize=281800 CPUtime=0 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 60 0 0 0 0 0 0 0 24 0 4 0 652915886 288563200 651 33554432000 4194304 4650419 140733315456192 18446744073709551615 218370653963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=281800 CPUtime=0 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 79 0 0 0 0 0 0 0 24 0 4 0 652915886 288563200 651 33554432000 4194304 4650419 140733315456192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=281800 CPUtime=0 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 77 0 0 0 0 0 0 0 24 0 4 0 652915886 288563200 651 33554432000 4194304 4650419 140733315456192 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0615069 s]
/proc/loadavg: 7.46 7.96 7.98 5/294 5856
/proc/meminfo: memFree=16809712/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=281944 CPUtime=0.22 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 1219 0 0 0 22 0 0 0 23 0 4 0 652915886 288710656 1125 33554432000 4194304 4650419 140733315456192 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 70486 1125 390 112 0 65451 0
[pid=5855/tid=5857] ppid=5853 vsize=281944 CPUtime=0.05 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 178 0 0 0 5 0 0 0 24 0 4 0 652915886 288710656 1125 33554432000 4194304 4650419 140733315456192 18446744073709551615 4314717 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=281944 CPUtime=0.05 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 200 0 0 0 5 0 0 0 24 0 4 0 652915886 288710656 1125 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=281944 CPUtime=0.05 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 192 0 0 0 5 0 0 0 24 0 4 0 652915886 288710656 1125 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 281944

[startup+0.1005 s]
/proc/loadavg: 7.46 7.96 7.98 5/294 5856
/proc/meminfo: memFree=16809712/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=282660 CPUtime=0.38 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 1678 0 0 0 38 0 0 0 23 0 4 0 652915886 289443840 1252 33554432000 4194304 4650419 140733315456192 18446744073709551615 4298197 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 70665 1252 392 112 0 65630 0
[pid=5855/tid=5857] ppid=5853 vsize=282660 CPUtime=0.09 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 303 0 0 0 9 0 0 0 24 0 4 0 652915886 289443840 1252 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=282660 CPUtime=0.09 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 274 0 0 0 9 0 0 0 24 0 4 0 652915886 289443840 1252 33554432000 4194304 4650419 140733315456192 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=282660 CPUtime=0.09 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 324 0 0 0 9 0 0 0 24 0 4 0 652915886 289443840 1252 33554432000 4194304 4650419 140733315456192 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282660

[startup+0.300465 s]
/proc/loadavg: 7.46 7.96 7.98 5/294 5856
/proc/meminfo: memFree=16809712/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=283792 CPUtime=1.18 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 3224 0 0 0 118 0 0 0 23 0 4 0 652915886 290603008 1848 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 70948 1848 392 112 0 65913 0
[pid=5855/tid=5857] ppid=5853 vsize=283792 CPUtime=0.29 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 665 0 0 0 29 0 0 0 25 0 4 0 652915886 290603008 1848 33554432000 4194304 4650419 140733315456192 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=283792 CPUtime=0.29 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 757 0 0 0 29 0 0 0 25 0 4 0 652915886 290603008 1849 33554432000 4194304 4650419 140733315456192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=283792 CPUtime=0.29 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 665 0 0 0 29 0 0 0 25 0 4 0 652915886 290603008 1849 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363331 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283792

[startup+0.700394 s]
/proc/loadavg: 7.46 7.96 7.98 5/294 5856
/proc/meminfo: memFree=16809712/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=267528 CPUtime=2.77 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 5729 0 0 0 277 0 0 0 25 0 4 0 652915886 273948672 2611 33554432000 4194304 4650419 140733315456192 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 66882 2611 393 112 0 61847 0
[pid=5855/tid=5857] ppid=5853 vsize=267528 CPUtime=0.69 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 1307 0 0 0 69 0 0 0 25 0 4 0 652915886 273948672 2611 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=267528 CPUtime=0.69 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 1335 0 0 0 69 0 0 0 25 0 4 0 652915886 273948672 2611 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=267528 CPUtime=0.69 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 1322 0 0 0 69 0 0 0 25 0 4 0 652915886 273948672 2611 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 267528

[startup+1.50025 s]
/proc/loadavg: 7.46 7.96 7.98 9/298 5890
/proc/meminfo: memFree=16781588/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=285100 CPUtime=5.96 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 13537 0 0 0 594 2 0 0 25 0 4 0 652915886 291942400 9678 33554432000 4194304 4650419 140733315456192 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 71275 9678 394 112 0 66240 0
[pid=5855/tid=5857] ppid=5853 vsize=285100 CPUtime=1.47 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 2714 0 0 0 147 0 0 0 25 0 4 0 652915886 291942400 9679 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=285100 CPUtime=1.48 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 3981 0 0 0 148 0 0 0 25 0 4 0 652915886 291942400 9679 33554432000 4194304 4650419 140733315456192 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=285100 CPUtime=1.49 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 3276 0 0 0 149 0 0 0 25 0 4 0 652915886 291942400 9679 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285100

[startup+3.10097 s]
/proc/loadavg: 7.46 7.96 7.98 9/298 5890
/proc/meminfo: memFree=16746124/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=294068 CPUtime=12.35 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 18221 0 0 0 1232 3 0 0 25 0 4 0 652915886 301125632 11450 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 73517 11450 394 112 0 68482 0
[pid=5855/tid=5857] ppid=5853 vsize=294068 CPUtime=3.07 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 4425 0 0 0 306 1 0 0 25 0 4 0 652915886 301125632 11450 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=294068 CPUtime=3.08 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 4853 0 0 0 308 0 0 0 25 0 4 0 652915886 301125632 11450 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=294068 CPUtime=3.08 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 4411 0 0 0 308 0 0 0 25 0 4 0 652915886 301125632 11450 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364777 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) 294068

[startup+6.3004 s]
/proc/loadavg: 7.50 7.96 7.98 9/298 5890
/proc/meminfo: memFree=16682964/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=298140 CPUtime=25.11 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 30924 0 0 0 2506 5 0 0 25 0 4 0 652915886 305295360 18764 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 74535 18764 394 112 0 69500 0
[pid=5855/tid=5857] ppid=5853 vsize=298140 CPUtime=6.23 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 8345 0 0 0 622 1 0 0 25 0 4 0 652915886 305295360 18764 33554432000 4194304 4650419 140733315456192 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=298140 CPUtime=6.29 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 7511 0 0 0 628 1 0 0 25 0 4 0 652915886 305295360 18764 33554432000 4194304 4650419 140733315456192 18446744073709551615 4315277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=298140 CPUtime=6.29 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 7155 0 0 0 628 1 0 0 25 0 4 0 652915886 305295360 18764 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 298140

[startup+12.7003 s]
/proc/loadavg: 7.54 7.96 7.98 9/298 5891
/proc/meminfo: memFree=16607488/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=299316 CPUtime=50.65 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 48811 0 0 0 5055 10 0 0 25 0 4 0 652915886 306499584 27340 33554432000 4194304 4650419 140733315456192 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 74829 27340 394 112 0 69794 0
[pid=5855/tid=5857] ppid=5853 vsize=299316 CPUtime=12.57 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 12053 0 0 0 1255 2 0 0 25 0 4 0 652915886 306499584 27340 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=299316 CPUtime=12.68 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 12672 0 0 0 1266 2 0 0 25 0 4 0 652915886 306499584 27340 33554432000 4194304 4650419 140733315456192 18446744073709551615 4439094 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=299316 CPUtime=12.69 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 10992 0 0 0 1267 2 0 0 25 0 4 0 652915886 306499584 27340 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 299316

[startup+25.501 s]
/proc/loadavg: 7.64 7.96 7.98 9/298 5891
/proc/meminfo: memFree=16560752/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=318072 CPUtime=101.74 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 74709 0 0 0 10156 18 0 0 25 0 4 0 652915886 325705728 33178 33554432000 4194304 4650419 140733315456192 18446744073709551615 4328315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 79518 33178 394 112 0 74483 0
[pid=5855/tid=5857] ppid=5853 vsize=318072 CPUtime=25.26 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 18521 0 0 0 2522 4 0 0 25 0 4 0 652915886 325705728 33178 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=318072 CPUtime=25.49 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 19687 0 0 0 2544 5 0 0 25 0 4 0 652915886 325705728 33178 33554432000 4194304 4650419 140733315456192 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=318072 CPUtime=25.49 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 15466 0 0 0 2545 4 0 0 25 0 4 0 652915886 325705728 33178 33554432000 4194304 4650419 140733315456192 18446744073709551615 4315630 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 318072

[startup+51.1004 s]
/proc/loadavg: 7.76 7.96 7.98 9/298 5892
/proc/meminfo: memFree=16452168/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=354300 CPUtime=203.89 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 128896 0 0 0 20356 33 0 0 25 0 4 0 652915886 362803200 45590 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 88575 45590 394 112 0 83540 0
[pid=5855/tid=5857] ppid=5853 vsize=354300 CPUtime=50.63 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 30881 0 0 0 5056 7 0 0 25 0 4 0 652915886 362803200 45590 33554432000 4194304 4650419 140733315456192 18446744073709551615 4310334 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=354300 CPUtime=51.08 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 36674 0 0 0 5099 9 0 0 25 0 4 0 652915886 362803200 45590 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=354300 CPUtime=51.08 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 24179 0 0 0 5101 7 0 0 25 0 4 0 652915886 362803200 45590 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 354300

[startup+102.311 s]
/proc/loadavg: 7.96 7.98 7.98 9/298 5893
/proc/meminfo: memFree=16336664/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=417340 CPUtime=408.26 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 219516 0 0 0 40770 56 0 0 25 0 4 0 652915886 427356160 63724 33554432000 4194304 4650419 140733315456192 18446744073709551615 4313699 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 104335 63724 394 112 0 99300 0
[pid=5855/tid=5857] ppid=5853 vsize=417340 CPUtime=101.37 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 53338 0 0 0 10125 12 0 0 25 0 4 0 652915886 427356160 63724 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365759 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=417340 CPUtime=102.29 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 62491 0 0 0 10214 15 0 0 25 0 4 0 652915886 427356160 63724 33554432000 4194304 4650419 140733315456192 18446744073709551615 4366279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=417340 CPUtime=102.3 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 39469 0 0 0 10218 12 0 0 25 0 4 0 652915886 427356160 63724 33554432000 4194304 4650419 140733315456192 18446744073709551615 4332064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 417340

[startup+162.301 s]

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

[pid=5855] ppid=5853 vsize=956224 CPUtime=2802.65 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 682866 0 0 0 280031 234 0 0 25 0 4 0 652915886 979173376 166093 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 239056 166093 394 112 0 234021 0
[pid=5855/tid=5857] ppid=5853 vsize=956224 CPUtime=695.86 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 151011 0 0 0 69532 54 0 0 25 0 4 0 652915886 979173376 166093 33554432000 4194304 4650419 140733315456192 18446744073709551615 4419568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=956224 CPUtime=702.29 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 179243 0 0 0 70169 60 0 0 25 0 4 0 652915886 979173376 166093 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=956224 CPUtime=702.29 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 120101 0 0 0 70191 38 0 0 25 0 4 0 652915886 979173376 166093 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.65
Current children cumulated vsize (KiB) 956224

[startup+762.312 s]
/proc/loadavg: 8.07 8.05 8.00 9/298 5911
/proc/meminfo: memFree=15676984/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=1022664 CPUtime=3042.11 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 708887 0 0 0 303970 241 0 0 25 0 4 0 652915886 1047207936 164633 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 255666 164633 394 112 0 250631 0
[pid=5855/tid=5857] ppid=5853 vsize=1022664 CPUtime=755.3 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 153578 0 0 0 75475 55 0 0 25 0 4 0 652915886 1047207936 164633 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=1022664 CPUtime=762.31 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 185120 0 0 0 76169 62 0 0 25 0 4 0 652915886 1047207936 164633 33554432000 4194304 4650419 140733315456192 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=1022664 CPUtime=762.31 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 126067 0 0 0 76189 42 0 0 25 0 4 0 652915886 1047207936 164633 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.11
Current children cumulated vsize (KiB) 1022664

[startup+822.301 s]
/proc/loadavg: 8.17 8.07 8.01 9/298 5912
/proc/meminfo: memFree=15670120/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=969276 CPUtime=3281.49 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 747743 0 0 0 327894 255 0 0 25 0 4 0 652915886 992538624 160481 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476483 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 242319 160481 394 112 0 237284 0
[pid=5855/tid=5857] ppid=5853 vsize=969276 CPUtime=814.72 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 163498 0 0 0 81412 60 0 0 25 0 4 0 652915886 992538624 160481 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=969276 CPUtime=822.3 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 188757 0 0 0 82167 63 0 0 25 0 4 0 652915886 992538624 160481 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=969276 CPUtime=822.31 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 133834 0 0 0 82183 48 0 0 25 0 4 0 652915886 992538624 160481 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365577 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.49
Current children cumulated vsize (KiB) 969276

[startup+882.3 s]
/proc/loadavg: 8.19 8.08 8.01 9/298 5914
/proc/meminfo: memFree=15650616/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=910204 CPUtime=3520.93 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 792989 0 0 0 351819 274 0 0 25 0 4 0 652915886 932048896 166996 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 227551 166996 394 112 0 222516 0
[pid=5855/tid=5857] ppid=5853 vsize=910204 CPUtime=874.17 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 168426 0 0 0 87355 62 0 0 25 0 4 0 652915886 932048896 166996 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=910204 CPUtime=882.29 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 204175 0 0 0 88164 65 0 0 25 0 4 0 652915886 932048896 166996 33554432000 4194304 4650419 140733315456192 18446744073709551615 4366068 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=910204 CPUtime=882.3 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 143692 0 0 0 88176 54 0 0 25 0 4 0 652915886 932048896 166996 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.93
Current children cumulated vsize (KiB) 910204

[startup+942.301 s]
/proc/loadavg: 8.19 8.10 8.02 9/298 5924
/proc/meminfo: memFree=15609580/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=888444 CPUtime=3760.37 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 841333 0 0 0 375746 291 0 0 25 0 4 0 652915886 909766656 170164 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 222111 170164 394 112 0 217076 0
[pid=5855/tid=5857] ppid=5853 vsize=888444 CPUtime=933.64 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 182720 0 0 0 93296 68 0 0 25 0 4 0 652915886 909766656 170164 33554432000 4194304 4650419 140733315456192 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=888444 CPUtime=942.28 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 216032 0 0 0 94158 70 0 0 25 0 4 0 652915886 909766656 170164 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=888444 CPUtime=942.3 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 152769 0 0 0 94173 57 0 0 25 0 4 0 652915886 909766656 170164 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.37
Current children cumulated vsize (KiB) 888444

[startup+1002.3 s]
/proc/loadavg: 8.18 8.11 8.02 9/298 5926
/proc/meminfo: memFree=15544676/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=1019276 CPUtime=3999.79 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 871270 0 0 0 399676 303 0 0 25 0 4 0 652915886 1043738624 188920 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 254819 188920 394 112 0 249784 0
[pid=5855/tid=5857] ppid=5853 vsize=1019276 CPUtime=993.06 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 193836 0 0 0 99233 73 0 0 25 0 4 0 652915886 1043738624 188920 33554432000 4194304 4650419 140733315456192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=1019276 CPUtime=1002.28 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 222356 0 0 0 100156 72 0 0 25 0 4 0 652915886 1043738624 188920 33554432000 4194304 4650419 140733315456192 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=1019276 CPUtime=1002.31 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 152769 0 0 0 100174 57 0 0 25 0 4 0 652915886 1043738624 188920 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.79
Current children cumulated vsize (KiB) 1019276

[startup+1062.3 s]
/proc/loadavg: 8.06 8.09 8.02 9/298 5928
/proc/meminfo: memFree=15535492/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=1019576 CPUtime=4239.24 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 898431 0 0 0 423607 317 0 0 25 0 4 0 652915886 1044045824 188868 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 254894 188868 394 112 0 249859 0
[pid=5855/tid=5857] ppid=5853 vsize=1019576 CPUtime=1052.53 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 207876 0 0 0 105171 82 0 0 25 0 4 0 652915886 1044045824 188868 33554432000 4194304 4650419 140733315456192 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=1019576 CPUtime=1062.28 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 224683 0 0 0 106156 72 0 0 25 0 4 0 652915886 1044045824 188868 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=1019576 CPUtime=1062.31 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 152769 0 0 0 106174 57 0 0 25 0 4 0 652915886 1044045824 188868 33554432000 4194304 4650419 140733315456192 18446744073709551615 4542382 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.24
Current children cumulated vsize (KiB) 1019576

[startup+1122.3 s]
/proc/loadavg: 8.27 8.14 8.04 9/298 5932
/proc/meminfo: memFree=15416624/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=1192072 CPUtime=4478.67 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 927290 0 0 0 447537 330 0 0 25 0 4 0 652915886 1220681728 198098 33554432000 4194304 4650419 140733315456192 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 298018 198098 394 112 0 292983 0
[pid=5855/tid=5857] ppid=5853 vsize=1192072 CPUtime=1111.96 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 216857 0 0 0 111113 83 0 0 25 0 4 0 652915886 1220681728 198098 33554432000 4194304 4650419 140733315456192 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=1192072 CPUtime=1122.28 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 228767 0 0 0 112155 73 0 0 25 0 4 0 652915886 1220681728 198098 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476391 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=1192072 CPUtime=1122.31 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 161117 0 0 0 112167 64 0 0 25 0 4 0 652915886 1220681728 198098 33554432000 4194304 4650419 140733315456192 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.67
Current children cumulated vsize (KiB) 1192072

[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 8.03 9/298 5934
/proc/meminfo: memFree=15402956/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=1206484 CPUtime=4718.07 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 941069 0 0 0 471469 338 0 0 25 0 4 0 652915886 1235439616 198447 33554432000 4194304 4650419 140733315456192 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 301621 198447 394 112 0 296586 0
[pid=5855/tid=5857] ppid=5853 vsize=1206484 CPUtime=1171.37 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 216857 0 0 0 117054 83 0 0 25 0 4 0 652915886 1235439616 198447 33554432000 4194304 4650419 140733315456192 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=1206484 CPUtime=1182.29 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 233378 0 0 0 118155 74 0 0 25 0 4 0 652915886 1235439616 198447 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=1206484 CPUtime=1182.3 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 170285 0 0 0 118159 71 0 0 25 0 4 0 652915886 1235439616 198447 33554432000 4194304 4650419 140733315456192 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.07
Current children cumulated vsize (KiB) 1206484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.07 8.11 8.03 9/298 5934
/proc/meminfo: memFree=15385952/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=1150884 CPUtime=4800.27 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 945932 0 0 0 479686 341 0 0 25 0 4 0 652915886 1178505216 201204 33554432000 4194304 4650419 140733315456192 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 287721 201204 394 112 0 282686 0
[pid=5855/tid=5857] ppid=5853 vsize=1150884 CPUtime=1191.76 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 216857 0 0 0 119093 83 0 0 25 0 4 0 652915886 1178505216 201204 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=1150884 CPUtime=1202.9 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 234336 0 0 0 120216 74 0 0 25 0 4 0 652915886 1178505216 201204 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=1150884 CPUtime=1202.92 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 174190 0 0 0 120218 74 0 0 25 0 4 0 652915886 1178505216 201204 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 1150884

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

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

[startup+1202.9 s]
/proc/loadavg: 8.07 8.11 8.03 9/298 5934
/proc/meminfo: memFree=15385952/32951124 swapFree=52307768/67111528
[pid=5855] ppid=5853 vsize=1150884 CPUtime=4800.27 cores=1,3,5,7
/proc/5855/stat : 5855 (strangenight1-m) R 5853 5855 5130 0 -1 4202496 945932 0 0 0 479686 341 0 0 25 0 4 0 652915886 1178505216 201204 33554432000 4194304 4650419 140733315456192 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5855/statm: 287721 201204 394 112 0 282686 0
[pid=5855/tid=5857] ppid=5853 vsize=1150884 CPUtime=1191.76 cores=1,3,5,7
/proc/5855/task/5857/stat : 5857 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 216857 0 0 0 119093 83 0 0 25 0 4 0 652915886 1178505216 201204 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5855/tid=5858] ppid=5853 vsize=1150884 CPUtime=1202.9 cores=1,3,5,7
/proc/5855/task/5858/stat : 5858 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 234336 0 0 0 120216 74 0 0 25 0 4 0 652915886 1178505216 201204 33554432000 4194304 4650419 140733315456192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5855/tid=5859] ppid=5853 vsize=1150884 CPUtime=1202.92 cores=1,3,5,7
/proc/5855/task/5859/stat : 5859 (strangenight1-m) R 5853 5855 5130 0 -1 4202560 174190 0 0 0 120218 74 0 0 25 0 4 0 652915886 1178505216 201204 33554432000 4194304 4650419 140733315456192 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 1150884

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.95
CPU time (s): 4800.36
CPU user time (s): 4796.9
CPU system time (s): 3.45347
CPU usage (%): 399.047
Max. virtual memory (cumulated for all children) (KiB): 1206484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.9
system time used= 3.45347
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 945933
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= 389
involuntary context switches= 35562

runsolver used 3.09053 second user time and 8.10177 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-15 00:45:31
IDJOB=3369388
IDBENCH=83151
IDSOLVER=1846
FILE ID=node101/3369388-1305413131
RUNJOBID= node101-1305413131-5834
PBS_JOBID= 13324502
Free space on /tmp= 73732 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369388-1305413131/watcher-3369388-1305413131 -o /tmp/evaluation-result-3369388-1305413131/solver-3369388-1305413131 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369388-1305413131.cnf

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

MD5SUM BENCH= 92046422d2d9595619b29413c0964c9c
RANDOM SEED=715069761

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.07
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.841
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.77
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.841
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.841
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.74
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.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16809876 kB
Buffers:        324540 kB
Cached:        5886712 kB
SwapCached:      14848 kB
Active:       10840008 kB
Inactive:      5026356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16809876 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           12468 kB
Writeback:           0 kB
AnonPages:     9651784 kB
Mapped:          14680 kB
Slab:           149880 kB
PageTables:      62344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42017544 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= 73724 MiB
End job on node101 at 2011-05-15 01:05:36