Trace number 3369115

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.21 1202.84

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
MD5SUMc1f047ec179094963b21d7b90509d2b9
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 variables510
Number of clauses4492
Sum of the clauses size17968
Maximum clause length4
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 44492
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.02/0.01	c This is CryptoMiniSat 2.9.0
0.02/0.01	c compiled with gcc version 4.4.5
0.02/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.02/0.01	c Reading file 'HOME/instance-3369115-1305413743.cnf'
0.02/0.01	c -- header says num vars:            510
0.02/0.01	c -- header says num clauses:        4492
0.02/0.01	c -- clauses added:            0 learnts,         4492 normals,            0 xors
0.02/0.01	c -- vars added        510
0.02/0.01	c Parsing time:  0.00 s
0.02/0.02	c  N st     0         0       510      4492         0         0     17968         0   no data   no data  --
0.02/0.02	c asymm  cl-useful: 0/4492/4492 lits-rem:0 time: 0.01
0.02/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.02/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.02/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.02/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    510 time:  0.00 s
0.02/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.34/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1.34/0.90	c Finding binary XORs  T:     0.00 s  found:       0
1.34/0.90	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
1.34/0.90	c calculated reachability. Time: 0.00
1.34/0.90	c Calc default polars -  time:   0.00 s pos:       0 undec:     510 neg:       0
1.34/0.90	c =========================================================================================
1.34/0.90	c types(t): F = full restart, N = normal restart
1.34/0.90	c types(t): S = simplification begin/end, E = solution found
1.34/0.90	c restart types(rt): st = static, dy = dynamic
1.34/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.34/0.90	c  B st     0         0       510      4492         0         0     17968         0   no data   no data  --
1.34/0.90	c Decided on static restart strategy
1.34/0.90	c  N st     8      4913       510      4492         0      4745     17968    132859   no data   no data  --
1.34/0.90	c  N st    10     11295       510      4492         0      4383     17968     90461   no data   no data  --
1.34/0.90	c  N st    11     17040       510      4492         0      9887     17968    243118   no data   no data  --
3.62/1.00	c  F st    12     25000       510      4492         0     12159     17968    312256   no data   no data  --
3.62/1.00	c Found part        5 vars:        252 clauses:      2088 lits size:      8352
3.62/1.00	c Found part        7 vars:        258 clauses:      2404 lits size:      9616
3.62/1.00	c Found parts:          2 time: 0.00 s
3.62/1.00	c Solving part 5
3.62/1.00	c  N st     0         0       252      2088         0         0      8352         0   no data   no data  --
3.62/1.00	c asymm  cl-useful: 0/2088/2088 lits-rem:0 time: 0.00
3.62/1.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.62/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.62/1.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.62/1.00	c calculated reachability. Time: 0.00
3.62/1.00	c Calc default polars -  time:   0.00 s pos:       0 undec:     510 neg:       0
3.62/1.00	c =========================================================================================
3.62/1.00	c types(t): F = full restart, N = normal restart
3.62/1.00	c types(t): S = simplification begin/end, E = solution found
3.62/1.00	c restart types(rt): st = static, dy = dynamic
3.62/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.62/1.00	c  B st     0         0       252      2088         0         0      8352         0   no data   no data  --
3.62/1.00	c Decided on static restart strategy
4.36/1.10	c  N st     8      4925       252      2088         0      4791      8352    147973   no data   no data  --
4.76/1.20	c  E st    10      8030         0      2088         0      5381      8352    143400   no data   no data  --
4.76/1.20	c Verified 2088 clauses.
4.76/1.20	c Verified 2088 clauses.
4.76/1.20	c Solved part
4.76/1.20	c =========================================================================================
4.76/1.20	c Coming back to original instance
4.76/1.20	c =========================================================================================
4.76/1.20	c  N st    12     25000       258      2404         0     12159      9616    312256   no data   no data  --
5.56/1.40	c Decided on static restart strategy
5.56/1.40	c  N st    18     30001       258      2404         0     10421      9616    226859   no data   no data  --
5.56/1.40	c  S st    18     30001       258      2404         0     10421      9616    226859   no data   no data  --
5.56/1.40	c  S st    18     30503       258      2404         0     10921      9616    240646   no data   no data  --
5.56/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.56/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
5.56/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.20/1.86	c lits-rem:      4139  cl-subs:      982  v-elim:      0  v-fix:    0  time:  2.04 s
7.20/1.87	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.06
7.20/1.87	c calculated reachability. Time: 0.00
7.20/1.87	c  N st    18     30503       258      2404         0      9939      9616    207750   no data   no data  --
8.75/2.22	c  N st    20     37613       258      2404         0      9165      9616    172796   no data   no data  --
9.96/2.56	c  N st    21     44012       258      2404         0     15216      9616    333053   no data   no data  --
10.36/2.66	c  S st    22     45755       258      2404         0     16879      9616    377230   no data   no data  --
10.76/2.71	c  S st    22     46258       258      2404         0      8830      9616    146006   no data   no data  --
10.76/2.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.76/2.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.76/2.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
10.76/2.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.17/2.89	c lits-rem:       671  cl-subs:      116  v-elim:      0  v-fix:    0  time:  0.67 s
11.17/2.89	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
11.17/2.89	c vivif2 --  cl tried     8714 cl shrink        0 lits rem          0 time: 0.01
11.17/2.90	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.05
11.17/2.90	c calculated reachability. Time: 0.00
11.17/2.90	c  N st    22     46258       258      2404         0      8714      9616    142117   no data   no data  --
14.34/3.68	c  N st    23     60656       258      2404         0     12978      9616    257877   no data   no data  --
16.33/4.19	c  N st    24     69387       258      2404         0     10819      9616    172291   no data   no data  --
16.33/4.19	c  S st    24     69387       258      2404         0     10819      9616    172291   no data   no data  --
16.73/4.22	c  S st    24     69891       258      2404         0     11323      9616    186274   no data   no data  --
16.73/4.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.73/4.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.73/4.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.73/4.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.73/4.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
16.73/4.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.34/4.65	c lits-rem:      1057  cl-subs:      158  v-elim:      0  v-fix:    0  time:  1.67 s
18.34/4.65	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
18.34/4.65	c vivif2 --  cl tried    11165 cl shrink        0 lits rem          0 time: 0.01
18.34/4.66	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.06
18.34/4.66	c calculated reachability. Time: 0.00
18.34/4.66	c  N st    24     69891       258      2404         0     11165      9616    180763   no data   no data  --
22.32/5.67	c  F st    25     87501       258      2404         0     16527      9616    333140   no data   no data  --
22.32/5.67	c  N st    25     87501       258      2404         0     16527      9616    333140   no data   no data  --
23.92/6.00	c Decided on static restart strategy
24.34/6.21	c  N st    32     95539       258      2404         0     24267      9616    547209   no data   no data  --
26.71/6.76	c  N st    34    104836       258      2404         0     20719      9616    405604   no data   no data  --
26.71/6.76	c  S st    34    104836       258      2404         0     20719      9616    405604   no data   no data  --
27.11/6.81	c  S st    34    105337       258      2404         0     21215      9616    419238   no data   no data  --
27.11/6.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.11/6.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.11/6.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
27.11/6.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.11/6.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.11/6.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
27.11/6.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
33.89/8.57	c lits-rem:      6114  cl-subs:     1277  v-elim:      0  v-fix:    0  time:  6.93 s
33.89/8.57	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
33.89/8.57	c vivif2 --  cl tried    19938 cl shrink        0 lits rem          0 time: 0.01
34.29/8.60	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.11
34.29/8.60	c calculated reachability. Time: 0.00
34.29/8.60	c  N st    34    105337       258      2404         0     19938      9616    377023   no data   no data  --
36.69/9.21	c  N st    35    114937       258      2404         0     15672      9616    252880   no data   no data  --
40.68/10.22	c  N st    36    129334       258      2404         0     15092      9616    224460   no data   no data  --
46.71/11.72	c  N st    37    150929       258      2404         0     20370      9616    350048   no data   no data  --
48.66/12.22	c  S st    38    158007       258      2404         0     27134      9616    551682   no data   no data  --
48.66/12.29	c  S st    38    158512       258      2404         0     27636      9616    565686   no data   no data  --
48.66/12.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.66/12.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.06/12.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
49.06/12.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.06/12.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.06/12.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
49.06/12.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
57.44/14.45	c lits-rem:      7940  cl-subs:     2034  v-elim:      0  v-fix:    0  time:  8.52 s
57.44/14.45	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
57.44/14.45	c vivif2 --  cl tried    25602 cl shrink        0 lits rem          0 time: 0.02
57.44/14.49	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.14
57.44/14.49	c calculated reachability. Time: 0.00
57.44/14.49	c  N st    38    158512       258      2404         0     25602      9616    500312   no data   no data  --
72.63/18.27	c  N st    39    207101       258      2404         0     20529      9616    314803   no data   no data  --
82.58/20.72	c  N st    40    237770       258      2404         0     30765      9616    619641   no data   no data  --
82.58/20.72	c  S st    40    237770       258      2404         0     30765      9616    619641   no data   no data  --
82.98/20.81	c  S st    40    238275       258      2404         0     31268      9616    634268   no data   no data  --
82.98/20.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.98/20.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
82.98/20.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
82.98/20.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.98/20.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.98/20.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
82.98/20.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
93.36/23.47	c lits-rem:      9516  cl-subs:     2332  v-elim:      0  v-fix:    0  time: 10.53 s
93.36/23.47	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
93.36/23.48	c vivif2 --  cl tried    28936 cl shrink        0 lits rem          0 time: 0.02
93.76/23.52	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.15
93.76/23.52	c calculated reachability. Time: 0.00
93.76/23.52	c  N st    40    238275       258      2404         0     28936      9616    553982   no data   no data  --
119.70/30.03	c  F st    41    306250       258      2404         0     30811      9616    532031   no data   no data  --
119.70/30.03	c  N st    41    306250       258      2404         0     30811      9616    532031   no data   no data  --
121.69/30.55	c Decided on static restart strategy
130.47/32.79	c  N st    51    334559       258      2404         0     34932      9616    623137   no data   no data  --
140.05/35.17	c  N st    53    357412       258      2404         0     32812      9616    549349   no data   no data  --
140.05/35.17	c  S st    53    357412       258      2404         0     32812      9616    549349   no data   no data  --
140.45/35.25	c  S st    53    357916       258      2404         0     33311      9616    563408   no data   no data  --
140.45/35.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
140.45/35.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.45/35.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
140.45/35.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.45/35.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.45/35.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
140.45/35.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
149.63/37.54	c lits-rem:      8015  cl-subs:     1813  v-elim:      0  v-fix:    0  time:  9.00 s
149.63/37.54	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
149.63/37.54	c vivif2 --  cl tried    31498 cl shrink        0 lits rem          0 time: 0.02
149.63/37.59	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.21
150.03/37.60	c calculated reachability. Time: 0.00
150.03/37.60	c  N st    53    357916       258      2404         0     31498      9616    506696   no data   no data  --
162.80/40.85	c  N st    54    390310       258      2404         0     37679      9616    693261   no data   no data  --
183.15/45.97	c  N st    55    438898       258      2404         0     31628      9616    480852   no data   no data  --
215.48/54.07	c  N st    56    511780       258      2404         0     44813      9616    821589   no data   no data  --
227.86/57.14	c  N st    57    536875       258      2404         0     39155      9616    615758   no data   no data  --
227.86/57.14	c  S st    57    536875       258      2404         0     39155      9616    615758   no data   no data  --
228.26/57.25	c  S st    57    537377       258      2404         0     39656      9616    630783   no data   no data  --
228.26/57.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
228.26/57.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
228.26/57.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
228.26/57.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
228.26/57.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
228.26/57.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
228.26/57.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
238.63/59.81	c lits-rem:      6642  cl-subs:     2379  v-elim:      0  v-fix:    0  time: 10.09 s
238.63/59.81	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
238.63/59.81	c vivif2 --  cl tried    37277 cl shrink        0 lits rem          0 time: 0.02
238.63/59.89	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.32
238.63/59.89	c calculated reachability. Time: 0.00
238.63/59.89	c  N st    57    537377       258      2404         0     37277      9616    567723   no data   no data  --
319.64/80.12	c  N st    58    701362       258      2404         0     65593      9616   1306353   no data   no data  --
370.74/92.91	c  N st    59    806066       258      2404         0     59736      9616   1081727   no data   no data  --
370.74/92.91	c  S st    59    806066       258      2404         0     59736      9616   1081727   no data   no data  --
371.57/93.11	c  S st    59    806571       258      2404         0     60239      9616   1096523   no data   no data  --
371.57/93.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
371.57/93.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
371.57/93.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
371.57/93.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
371.57/93.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
371.57/93.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
371.57/93.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
396.27/99.37	c lits-rem:      1235  cl-subs:     5081  v-elim:      0  v-fix:    0  time: 24.73 s
396.27/99.37	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
396.27/99.39	c vivif2 --  cl tried    55158 cl shrink        0 lits rem          0 time: 0.04
397.07/99.50	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.45
397.07/99.50	c calculated reachability. Time: 0.00
397.07/99.50	c  N st    59    806571       258      2404         0     55158      9616    965271   no data   no data  --
543.14/136.10	c  F st    60   1071876       258      2404         0     70559      9616   1309959   no data   no data  --
543.14/136.11	c  N st    60   1071876       258      2404         0     70559      9616   1309959   no data   no data  --
546.34/136.99	c Decided on static restart strategy
558.70/140.03	c  N st    70   1100178       258      2404         0     55064      9616    852769   no data   no data  --
581.87/145.87	c  N st    72   1136171       258      2404         0     45688      9616    562629   no data   no data  --
600.60/150.59	c  N st    73   1168563       258      2404         0     76514      9616   1458594   no data   no data  --
626.54/157.00	c  N st    74   1209856       258      2404         0     70957      9616   1250197   no data   no data  --
626.54/157.00	c  S st    74   1209856       258      2404         0     70957      9616   1250197   no data   no data  --
627.34/157.28	c  S st    74   1210357       258      2404         0     71456      9616   1265154   no data   no data  --
627.34/157.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
627.34/157.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
627.75/157.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
627.75/157.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
627.75/157.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
627.75/157.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
627.75/157.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
663.66/166.39	c lits-rem:      7090  cl-subs:     5713  v-elim:      0  v-fix:    0  time: 36.02 s
663.66/166.39	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
664.06/166.40	c vivif2 --  cl tried    65743 cl shrink        0 lits rem          0 time: 0.06
664.46/166.55	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.60
664.46/166.56	c calculated reachability. Time: 0.00
664.46/166.56	c  N st    74   1210357       258      2404         0     65743      9616   1100348   no data   no data  --
711.15/178.24	c  N st    75   1283240       258      2404         0     89610      9616   1801257   no data   no data  --
782.99/196.23	c  N st    76   1392567       258      2404         0     50876      9616    623308   no data   no data  --
905.11/226.83	c  N st    77   1556551       258      2404         0     55305      9616    700384   no data   no data  --
1019.25/255.45	c  N st    78   1710359       258      2404         0     95996      9616   1868347   no data   no data  --
1019.25/255.45	c  S st    78   1710359       258      2404         0     95996      9616   1868347   no data   no data  --
1020.86/255.85	c  S st    78   1710862       258      2404         0     96497      9616   1882514   no data   no data  --
1020.86/255.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1020.86/255.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1021.28/255.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.24
1021.28/255.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1021.28/255.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1021.28/255.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
1021.28/255.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1135.00/284.41	c lits-rem:      7533  cl-subs:    10621  v-elim:      0  v-fix:    0  time: 113.38 s
1135.00/284.41	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
1135.00/284.43	c vivif2 --  cl tried    85876 cl shrink        0 lits rem          0 time: 0.08
1135.77/284.64	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.87
1135.77/284.65	c calculated reachability. Time: 0.00
1135.77/284.65	c  N st    78   1710862       258      2404         0     85876      9616   1591580   no data   no data  --
1403.95/351.80	c  N st    79   2079826       258      2404         0     98359      9616   1910570   no data   no data  --
1520.10/380.96	c  N st    80   2210863       258      2404         0    101663      9616   1805717   no data   no data  --
1520.10/380.96	c  S st    80   2210863       258      2404         0    101663      9616   1805717   no data   no data  --
1521.73/381.34	c  S st    80   2211367       258      2404         0    102166      9616   1820231   no data   no data  --
1521.73/381.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1521.73/381.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1522.09/381.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1522.09/381.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1522.09/381.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1522.09/381.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
1522.09/381.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1614.28/404.50	c lits-rem:      4824  cl-subs:    11236  v-elim:      0  v-fix:    0  time: 91.91 s
1614.28/404.50	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
1614.28/404.52	c vivif2 --  cl tried    90930 cl shrink        0 lits rem          0 time: 0.08
1615.08/404.75	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.92
1615.08/404.75	c calculated reachability. Time: 0.00
1615.08/404.75	c  N st    80   2211367       258      2404         0     90930      9616   1552535   no data   no data  --
2037.70/510.69	c  N st    81   2711367       258      2404         0    113912      9616   2122219   no data   no data  --
2037.70/510.69	c  S st    81   2711367       258      2404         0    113912      9616   2122219   no data   no data  --
2039.74/511.11	c  S st    81   2711869       258      2404         0    114413      9616   2137006   no data   no data  --
2039.74/511.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2039.74/511.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2039.74/511.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
2040.10/511.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2040.10/511.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2040.10/511.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
2040.10/511.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2186.55/547.99	c lits-rem:      1761  cl-subs:    13675  v-elim:      0  v-fix:    0  time: 146.59 s
2186.55/547.99	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
2186.95/548.01	c vivif2 --  cl tried   100738 cl shrink        0 lits rem          0 time: 0.09
2187.75/548.27	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 1.05
2187.75/548.28	c calculated reachability. Time: 0.00
2187.75/548.28	c  N st    81   2711869       258      2404         0    100738      9616   1784611   no data   no data  --
2662.27/667.16	c  N st    82   3211869       258      2404         0     77794      9616    945513   no data   no data  --
2662.27/667.16	c  S st    82   3211869       258      2404         0     77794      9616    945513   no data   no data  --
2663.46/667.47	c  S st    82   3212372       258      2404         0     78293      9616    959993   no data   no data  --
2663.46/667.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2663.46/667.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2663.86/667.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
2663.86/667.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2663.86/667.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2663.86/667.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
2663.86/667.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2696.98/675.86	c lits-rem:      2462  cl-subs:     1024  v-elim:      0  v-fix:    0  time: 33.10 s
2696.98/675.86	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
2696.98/675.87	c vivif2 --  cl tried    77269 cl shrink        0 lits rem          0 time: 0.06
2698.21/676.12	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.99
2698.21/676.13	c calculated reachability. Time: 0.00
2698.21/676.13	c  N st    82   3212372       258      2404         0     77269      9616    931794   no data   no data  --
3234.55/810.55	c  N st    83   3712372       258      2404         0     87505      9616   1124237   no data   no data  --
3234.55/810.55	c  S st    83   3712372       258      2404         0     87505      9616   1124237   no data   no data  --
3235.75/810.82	c  S st    83   3712875       258      2404         0     88006      9616   1138958   no data   no data  --
3235.75/810.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3235.75/810.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3235.75/810.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3235.75/810.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3235.75/810.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3235.75/810.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
3235.75/810.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3258.50/816.55	c lits-rem:      1719  cl-subs:     2083  v-elim:      0  v-fix:    0  time: 22.56 s
3258.50/816.55	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
3258.50/816.56	c vivif2 --  cl tried    85923 cl shrink        0 lits rem          0 time: 0.06
3259.30/816.77	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.82
3259.30/816.77	c calculated reachability. Time: 0.00
3259.30/816.77	c  N st    83   3712875       258      2404         0     85923      9616   1086580   no data   no data  --
3296.40/826.03	c  F st    84   3751562       258      2404         0    122255      9616   2115029   no data   no data  --
3296.40/826.03	c  N st    84   3751562       258      2404         0    122255      9616   2115029   no data   no data  --
3302.79/827.60	c Decided on static restart strategy
3329.54/834.38	c  N st    94   3779871       258      2404         0    149252      9616   2860387   no data   no data  --
3374.26/845.59	c  N st    96   3815866       258      2404         0    103295      9616   1527719   no data   no data  --
3416.92/856.21	c  N st    97   3848258       258      2404         0    133788      9616   2331218   no data   no data  --
3465.62/868.50	c  N st    98   3896846       258      2404         0     98717      9616   1406015   no data   no data  --
3541.83/887.58	c  N st    99   3969730       258      2404         0     85385      9616    999531   no data   no data  --
3669.54/919.50	c  N st   100   4079056       258      2404         0    105378      9616   1541792   no data   no data  --
3807.23/954.00	c  N st   101   4212875       258      2404         0    147750      9616   2769699   no data   no data  --
3807.23/954.00	c  S st   101   4212875       258      2404         0    147750      9616   2769699   no data   no data  --
3809.23/954.52	c  S st   101   4213378       258      2404         0    148250      9616   2783943   no data   no data  --
3809.23/954.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3809.23/954.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3809.63/954.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
3809.63/954.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3809.63/954.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3809.63/954.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
3809.63/954.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4051.04/1015.16	c lits-rem:      8172  cl-subs:    14439  v-elim:      0  v-fix:    0  time: 241.18 s
4051.04/1015.16	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
4051.04/1015.19	c vivif2 --  cl tried   133811 cl shrink        0 lits rem          0 time: 0.12
4052.64/1015.57	c asymm  cl-useful: 0/2278/2404 lits-rem:0 time: 1.49
4052.64/1015.57	c calculated reachability. Time: 0.00
4052.64/1015.57	c  N st   101   4213378       258      2404         0    133811      9616   2395794   no data   no data  --
4349.16/1089.84	c  N st   102   4459354       258      2404         0    108825      9616   1582393   no data   no data  --
4659.26/1167.54	c  N st   103   4713380       258      2404         0    171530      9616   3269582   no data   no data  --
4659.26/1167.54	c  S st   103   4713380       258      2404         0    171530      9616   3269582   no data   no data  --
4662.45/1168.34	c  S st   103   4713882       258      2404         0    172030      9616   3283965   no data   no data  --
4662.45/1168.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4662.45/1168.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4662.85/1168.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.45
4663.25/1168.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4663.25/1168.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4663.25/1168.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
4663.25/1168.58	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-3369115-1305413743/watcher-3369115-1305413743 -o /tmp/evaluation-result-3369115-1305413743/solver-3369115-1305413743 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369115-1305413743.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: 3.69 4.74 6.22 2/292 21563
/proc/meminfo: memFree=27771980/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 415 0 0 0 0 0 0 0 22 0 4 0 652972769 52465664 356 33554432000 4194304 4650419 140734614019552 18446744073709551615 47402238089138 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 12809 356 306 112 0 7774 0
[pid=21563/tid=21564] ppid=21561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 652972769 52465664 356 33554432000 4194304 4650419 140734614019552 18446744073709551615 47402238088729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652972769 52465664 356 33554432000 4194304 4650419 140734614019552 18446744073709551615 47402238089136 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652972769 52465664 356 33554432000 4194304 4650419 140734614019552 18446744073709551615 47402238088723 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.011522 s]
/proc/loadavg: 3.69 4.74 6.22 2/292 21563
/proc/meminfo: memFree=27771980/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=51236 CPUtime=0.02 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 415 0 0 0 2 0 0 0 22 0 4 0 652972769 52465664 356 33554432000 4194304 4650419 140734614019552 18446744073709551615 47402238088729 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 12809 356 306 112 0 7774 0
[pid=21563/tid=21564] ppid=21561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 652972769 52465664 356 33554432000 4194304 4650419 140734614019552 18446744073709551615 47402238088727 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652972769 52465664 356 33554432000 4194304 4650419 140734614019552 18446744073709551615 47402238089136 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652972769 52465664 356 33554432000 4194304 4650419 140734614019552 18446744073709551615 47402238088729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 51236

[startup+0.316747 s]
/proc/loadavg: 3.69 4.74 6.22 2/292 21563
/proc/meminfo: memFree=27771980/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=294508 CPUtime=1.34 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 4492 0 0 0 133 1 0 0 18 0 4 0 652972769 301576192 2801 33554432000 4194304 4650419 140734614019552 18446744073709551615 210204690567 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 71706 3627 391 112 0 66671 0
[pid=21563/tid=21564] ppid=21561 vsize=286824 CPUtime=0.8 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 1786 0 0 0 80 0 0 0 18 0 4 0 652972769 293707776 3627 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=286824 CPUtime=0.79 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 1645 0 0 0 79 0 0 0 19 0 4 0 652972769 293707776 3627 33554432000 4194304 4650419 140734614019552 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=286824 CPUtime=0.8 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 1393 0 0 0 80 0 0 0 18 0 4 0 652972769 293707776 3627 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 294508

[startup+0.915306 s]
/proc/loadavg: 3.69 4.74 6.22 2/292 21563
/proc/meminfo: memFree=27771980/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=303528 CPUtime=3.62 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 7523 0 0 0 360 2 0 0 19 0 4 0 652972769 310812672 4272 33554432000 4194304 4650419 140734614019552 18446744073709551615 4332020 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 75882 4272 393 112 0 70847 0
[pid=21563/tid=21564] ppid=21561 vsize=303528 CPUtime=0.9 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 2012 0 0 0 90 0 0 0 19 0 4 0 652972769 310812672 4272 33554432000 4194304 4650419 140734614019552 18446744073709551615 4329428 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=303528 CPUtime=0.89 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 1709 0 0 0 89 0 0 0 19 0 4 0 652972769 310812672 4272 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=303528 CPUtime=0.9 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 1595 0 0 0 90 0 0 0 19 0 4 0 652972769 310812672 4272 33554432000 4194304 4650419 140734614019552 18446744073709551615 4306748 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 303528

[startup+1.01529 s]
/proc/loadavg: 3.69 4.74 6.22 2/292 21563
/proc/meminfo: memFree=27771980/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=312180 CPUtime=4.02 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 8423 0 0 0 400 2 0 0 19 0 4 0 652972769 319672320 5172 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 78045 5172 393 112 0 73010 0
[pid=21563/tid=21564] ppid=21561 vsize=312180 CPUtime=1 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 2264 0 0 0 100 0 0 0 19 0 4 0 652972769 319672320 5172 33554432000 4194304 4650419 140734614019552 18446744073709551615 4520131 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=312180 CPUtime=0.99 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 1952 0 0 0 99 0 0 0 19 0 4 0 652972769 319672320 5172 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=312180 CPUtime=1 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 1818 0 0 0 100 0 0 0 19 0 4 0 652972769 319672320 5172 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 312180

[startup+1.50021 s]
/proc/loadavg: 3.69 4.74 6.22 2/292 21563
/proc/meminfo: memFree=27771980/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=329916 CPUtime=5.96 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 12586 0 0 0 594 2 0 0 20 0 4 0 652972769 337833984 8495 33554432000 4194304 4650419 140734614019552 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 82479 8495 394 112 0 77444 0
[pid=21563/tid=21564] ppid=21561 vsize=329916 CPUtime=1.48 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 3046 0 0 0 148 0 0 0 19 0 4 0 652972769 337833984 8495 33554432000 4194304 4650419 140734614019552 18446744073709551615 4514720 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=329916 CPUtime=1.47 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 2718 0 0 0 147 0 0 0 20 0 4 0 652972769 337833984 8495 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=329916 CPUtime=1.48 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 2455 0 0 0 148 0 0 0 20 0 4 0 652972769 337833984 8495 33554432000 4194304 4650419 140734614019552 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 329916

[startup+3.10094 s]
/proc/loadavg: 3.69 4.74 6.22 10/302 21576
/proc/meminfo: memFree=27575140/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=322012 CPUtime=12.34 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 18028 0 0 0 1230 4 0 0 25 0 4 0 652972769 329740288 9193 33554432000 4194304 4650419 140734614019552 18446744073709551615 4229522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 80503 9193 394 112 0 75468 0
[pid=21563/tid=21564] ppid=21561 vsize=322012 CPUtime=3.08 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 4399 0 0 0 308 0 0 0 25 0 4 0 652972769 329740288 9193 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=322012 CPUtime=3.05 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 4421 0 0 0 304 1 0 0 25 0 4 0 652972769 329740288 9193 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=322012 CPUtime=3.08 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 3614 0 0 0 308 0 0 0 25 0 4 0 652972769 329740288 9193 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 322012

[startup+6.30041 s]
/proc/loadavg: 4.03 4.79 6.23 10/302 21576
/proc/meminfo: memFree=27498204/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=322780 CPUtime=25.11 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 28570 0 0 0 2505 6 0 0 25 0 4 0 652972769 330526720 11359 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 80695 11359 394 112 0 75660 0
[pid=21563/tid=21564] ppid=21561 vsize=322780 CPUtime=6.29 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 7356 0 0 0 628 1 0 0 25 0 4 0 652972769 330526720 11359 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=322780 CPUtime=6.23 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 7314 0 0 0 621 2 0 0 25 0 4 0 652972769 330526720 11359 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=322780 CPUtime=6.29 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 5439 0 0 0 628 1 0 0 25 0 4 0 652972769 330526720 11359 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 322780

[startup+12.7003 s]
/proc/loadavg: 4.35 4.84 6.24 10/302 21576
/proc/meminfo: memFree=27449016/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=314024 CPUtime=50.67 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 45267 0 0 0 5059 8 0 0 25 0 4 0 652972769 321560576 14991 33554432000 4194304 4650419 140734614019552 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 78506 14991 394 112 0 73471 0
[pid=21563/tid=21564] ppid=21561 vsize=314024 CPUtime=12.7 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 11911 0 0 0 1268 2 0 0 25 0 4 0 652972769 321560576 14995 33554432000 4194304 4650419 140734614019552 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=314024 CPUtime=12.57 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 11817 0 0 0 1255 2 0 0 25 0 4 0 652972769 321560576 14995 33554432000 4194304 4650419 140734614019552 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=314024 CPUtime=12.69 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 8036 0 0 0 1268 1 0 0 25 0 4 0 652972769 321560576 14995 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 314024

[startup+25.5002 s]
/proc/loadavg: 5.24 5.01 6.27 10/302 21577
/proc/meminfo: memFree=27410936/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=324816 CPUtime=101.74 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 70485 0 0 0 10159 15 0 0 25 0 4 0 652972769 332611584 19011 33554432000 4194304 4650419 140734614019552 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 81204 19011 394 112 0 76169 0
[pid=21563/tid=21564] ppid=21561 vsize=324816 CPUtime=25.49 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 19933 0 0 0 2545 4 0 0 25 0 4 0 652972769 332611584 19011 33554432000 4194304 4650419 140734614019552 18446744073709551615 4334396 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=324816 CPUtime=25.26 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 19087 0 0 0 2522 4 0 0 25 0 4 0 652972769 332611584 19011 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=324816 CPUtime=25.48 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 12203 0 0 0 2546 2 0 0 25 0 4 0 652972769 332611584 19011 33554432000 4194304 4650419 140734614019552 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 324816

[startup+51.1009 s]
/proc/loadavg: 6.18 5.25 6.32 9/302 21577
/proc/meminfo: memFree=27348496/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=320452 CPUtime=203.91 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 105868 0 0 0 20367 24 0 0 25 0 4 0 652972769 328142848 27447 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 80113 27447 394 112 0 75078 0
[pid=21563/tid=21564] ppid=21561 vsize=320452 CPUtime=51.08 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 28396 0 0 0 5103 5 0 0 25 0 4 0 652972769 328142848 27447 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=320452 CPUtime=50.63 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 30949 0 0 0 5056 7 0 0 25 0 4 0 652972769 328142848 27447 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=320452 CPUtime=51.09 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 18685 0 0 0 5104 5 0 0 25 0 4 0 652972769 328142848 27447 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 320452

[startup+102.3 s]
/proc/loadavg: 7.32 5.70 6.41 10/302 21579
/proc/meminfo: memFree=27264652/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=356192 CPUtime=408.25 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 160531 0 0 0 40787 38 0 0 25 0 4 0 652972769 364740608 42041 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 89048 42041 394 112 0 84013 0
[pid=21563/tid=21564] ppid=21561 vsize=356192 CPUtime=102.28 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 40435 0 0 0 10219 9 0 0 25 0 4 0 652972769 364740608 42041 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=356192 CPUtime=101.36 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 50278 0 0 0 10124 12 0 0 25 0 4 0 652972769 364740608 42041 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=356192 CPUtime=102.29 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 25037 0 0 0 10223 6 0 0 25 0 4 0 652972769 364740608 42041 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366253 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 356192

[startup+162.3 s]

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

[pid=21563] ppid=21561 vsize=611556 CPUtime=2802.73 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 533686 0 0 0 280097 176 0 0 25 0 4 0 652972769 626233344 96152 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 152889 96152 394 112 0 147854 0
[pid=21563/tid=21564] ppid=21561 vsize=611556 CPUtime=702.26 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 128161 0 0 0 70185 41 0 0 25 0 4 0 652972769 626233344 96152 33554432000 4194304 4650419 140734614019552 18446744073709551615 4333991 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=611556 CPUtime=695.86 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 156783 0 0 0 69534 52 0 0 25 0 4 0 652972769 626233344 96152 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=611556 CPUtime=702.29 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 99385 0 0 0 70195 34 0 0 25 0 4 0 652972769 626233344 96152 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.73
Current children cumulated vsize (KiB) 611556

[startup+762.3 s]
/proc/loadavg: 8.24 7.92 7.30 10/302 21608
/proc/meminfo: memFree=26947984/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=679052 CPUtime=3042.18 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 566587 0 0 0 304028 190 0 0 25 0 4 0 652972769 695349248 101958 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 169763 101958 394 112 0 164728 0
[pid=21563/tid=21564] ppid=21561 vsize=679052 CPUtime=762.27 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 137751 0 0 0 76182 45 0 0 25 0 4 0 652972769 695349248 101958 33554432000 4194304 4650419 140734614019552 18446744073709551615 4331995 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=679052 CPUtime=755.3 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 164193 0 0 0 75476 54 0 0 25 0 4 0 652972769 695349248 101958 33554432000 4194304 4650419 140734614019552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=679052 CPUtime=762.29 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 106408 0 0 0 76192 37 0 0 25 0 4 0 652972769 695349248 101958 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.18
Current children cumulated vsize (KiB) 679052

[startup+822.3 s]
/proc/loadavg: 8.21 7.96 7.35 10/302 21610
/proc/meminfo: memFree=26935076/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=734656 CPUtime=3281.66 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 601833 0 0 0 327962 204 0 0 25 0 4 0 652972769 752287744 106404 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 183664 106404 394 112 0 178629 0
[pid=21563/tid=21564] ppid=21561 vsize=734656 CPUtime=822.28 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 146926 0 0 0 82179 49 0 0 25 0 4 0 652972769 752287744 106404 33554432000 4194304 4650419 140734614019552 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=734656 CPUtime=814.77 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 172884 0 0 0 81419 58 0 0 25 0 4 0 652972769 752287744 106404 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=734656 CPUtime=822.31 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 114473 0 0 0 82190 41 0 0 25 0 4 0 652972769 752287744 106404 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.66
Current children cumulated vsize (KiB) 734656

[startup+882.301 s]
/proc/loadavg: 8.19 8.00 7.40 10/302 21612
/proc/meminfo: memFree=26941876/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=626228 CPUtime=3521.09 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 633332 0 0 0 351892 217 0 0 25 0 4 0 652972769 641257472 100509 33554432000 4194304 4650419 140734614019552 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 156557 100509 394 112 0 151522 0
[pid=21563/tid=21564] ppid=21561 vsize=626228 CPUtime=882.26 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 152959 0 0 0 88175 51 0 0 25 0 4 0 652972769 641257472 100509 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=626228 CPUtime=874.21 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 182952 0 0 0 87359 62 0 0 25 0 4 0 652972769 641257472 100509 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=626228 CPUtime=882.29 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 121384 0 0 0 88186 43 0 0 25 0 4 0 652972769 641257472 100509 33554432000 4194304 4650419 140734614019552 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.09
Current children cumulated vsize (KiB) 626228

[startup+942.311 s]
/proc/loadavg: 8.17 8.03 7.44 10/302 21613
/proc/meminfo: memFree=26928704/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=626580 CPUtime=3760.58 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 667560 0 0 0 375827 231 0 0 25 0 4 0 652972769 641617920 103052 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 156645 103052 394 112 0 151610 0
[pid=21563/tid=21564] ppid=21561 vsize=626580 CPUtime=942.27 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 161770 0 0 0 94172 55 0 0 25 0 4 0 652972769 641617920 103052 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=626580 CPUtime=933.67 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 191049 0 0 0 93302 65 0 0 25 0 4 0 652972769 641617920 103052 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=626580 CPUtime=942.3 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 128652 0 0 0 94184 46 0 0 25 0 4 0 652972769 641617920 103052 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.58
Current children cumulated vsize (KiB) 626580

[startup+1002.3 s]
/proc/loadavg: 8.11 8.04 7.48 10/302 21615
/proc/meminfo: memFree=26923712/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=682668 CPUtime=3999.97 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 697096 0 0 0 399751 246 0 0 25 0 4 0 652972769 699052032 107746 33554432000 4194304 4650419 140734614019552 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 170667 107746 394 112 0 165632 0
[pid=21563/tid=21564] ppid=21561 vsize=682668 CPUtime=1002.26 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 170208 0 0 0 100166 60 0 0 25 0 4 0 652972769 699052032 107746 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=682668 CPUtime=993.09 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 199426 0 0 0 99238 71 0 0 25 0 4 0 652972769 699052032 107746 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=682668 CPUtime=1002.3 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 134850 0 0 0 100180 50 0 0 25 0 4 0 652972769 699052032 107746 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.97
Current children cumulated vsize (KiB) 682668

[startup+1062.3 s]
/proc/loadavg: 8.08 8.04 7.51 10/302 21616
/proc/meminfo: memFree=26893064/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=741116 CPUtime=4239.41 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 726052 0 0 0 423684 257 0 0 25 0 4 0 652972769 758902784 111569 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 185279 111569 394 112 0 180244 0
[pid=21563/tid=21564] ppid=21561 vsize=741116 CPUtime=1062.26 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 177813 0 0 0 106163 63 0 0 25 0 4 0 652972769 758902784 111569 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=741116 CPUtime=1052.54 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 207753 0 0 0 105180 74 0 0 25 0 4 0 652972769 758902784 111569 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=741116 CPUtime=1062.29 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 141073 0 0 0 106176 53 0 0 25 0 4 0 652972769 758902784 111569 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.41
Current children cumulated vsize (KiB) 741116

[startup+1122.3 s]
/proc/loadavg: 8.03 8.03 7.54 10/302 21618
/proc/meminfo: memFree=26850392/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=741684 CPUtime=4478.87 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 754019 0 0 0 447616 271 0 0 25 0 4 0 652972769 759484416 117617 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 185421 117617 394 112 0 180386 0
[pid=21563/tid=21564] ppid=21561 vsize=741684 CPUtime=1122.26 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 185697 0 0 0 112159 67 0 0 25 0 4 0 652972769 759484416 117617 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=741684 CPUtime=1112 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 212377 0 0 0 111125 75 0 0 25 0 4 0 652972769 759484416 117617 33554432000 4194304 4650419 140734614019552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=741684 CPUtime=1122.3 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 149039 0 0 0 112172 58 0 0 25 0 4 0 652972769 759484416 117617 33554432000 4194304 4650419 140734614019552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.87
Current children cumulated vsize (KiB) 741684

[startup+1182.3 s]
/proc/loadavg: 8.01 8.02 7.57 10/302 21620
/proc/meminfo: memFree=26807836/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=784084 CPUtime=4718.32 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 777840 0 0 0 471550 282 0 0 25 0 4 0 652972769 802902016 125652 33554432000 4194304 4650419 140734614019552 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 196021 125652 394 112 0 190986 0
[pid=21563/tid=21564] ppid=21561 vsize=784084 CPUtime=1182.26 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 192670 0 0 0 118156 70 0 0 25 0 4 0 652972769 802902016 125652 33554432000 4194304 4650419 140734614019552 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=784084 CPUtime=1171.43 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 218317 0 0 0 117065 78 0 0 25 0 4 0 652972769 802902016 125652 33554432000 4194304 4650419 140734614019552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=784084 CPUtime=1182.3 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 153882 0 0 0 118170 60 0 0 25 0 4 0 652972769 802902016 125652 33554432000 4194304 4650419 140734614019552 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.32
Current children cumulated vsize (KiB) 784084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.01 8.02 7.58 9/302 21620
/proc/meminfo: memFree=26795552/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=846388 CPUtime=4800.14 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 782511 0 0 0 479729 285 0 0 25 0 4 0 652972769 866701312 129865 33554432000 4194304 4650419 140734614019552 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 211597 129865 394 112 0 206562 0
[pid=21563/tid=21564] ppid=21561 vsize=846388 CPUtime=1202.77 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 193381 0 0 0 120207 70 0 0 25 0 4 0 652972769 866701312 129865 33554432000 4194304 4650419 140734614019552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=846388 CPUtime=1191.73 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 221392 0 0 0 119093 80 0 0 25 0 4 0 652972769 866701312 129865 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=846388 CPUtime=1202.82 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 154767 0 0 0 120221 61 0 0 25 0 4 0 652972769 866701312 129865 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 846388

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

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

[startup+1202.8 s]
/proc/loadavg: 8.01 8.02 7.58 9/302 21620
/proc/meminfo: memFree=26795552/32951124 swapFree=63649232/67111528
[pid=21563] ppid=21561 vsize=846388 CPUtime=4800.14 cores=0,2,4,6
/proc/21563/stat : 21563 (strangenight1-m) R 21561 21563 20874 0 -1 4202496 782511 0 0 0 479729 285 0 0 25 0 4 0 652972769 866701312 129865 33554432000 4194304 4650419 140734614019552 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21563/statm: 211597 129865 394 112 0 206562 0
[pid=21563/tid=21564] ppid=21561 vsize=846388 CPUtime=1202.77 cores=0,2,4,6
/proc/21563/task/21564/stat : 21564 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 193381 0 0 0 120207 70 0 0 25 0 4 0 652972769 866701312 129865 33554432000 4194304 4650419 140734614019552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21563/tid=21565] ppid=21561 vsize=846388 CPUtime=1191.73 cores=0,2,4,6
/proc/21563/task/21565/stat : 21565 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 221392 0 0 0 119093 80 0 0 25 0 4 0 652972769 866701312 129865 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21563/tid=21566] ppid=21561 vsize=846388 CPUtime=1202.82 cores=0,2,4,6
/proc/21563/task/21566/stat : 21566 (strangenight1-m) R 21561 21563 20874 0 -1 4202560 154767 0 0 0 120221 61 0 0 25 0 4 0 652972769 866701312 129865 33554432000 4194304 4650419 140734614019552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 846388

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.21
CPU user time (s): 4797.33
CPU system time (s): 2.87556
CPU usage (%): 399.072
Max. virtual memory (cumulated for all children) (KiB): 846388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.33
system time used= 2.87556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 782512
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= 668
involuntary context switches= 20336

runsolver used 3.07353 second user time and 8.01478 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-15 00:55:43
IDJOB=3369115
IDBENCH=83247
IDSOLVER=1846
FILE ID=node130/3369115-1305413743
RUNJOBID= node130-1305413743-21549
PBS_JOBID= 13324512
Free space on /tmp= 73428 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-4_512.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369115-1305413743/watcher-3369115-1305413743 -o /tmp/evaluation-result-3369115-1305413743/solver-3369115-1305413743 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369115-1305413743.cnf

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

MD5SUM BENCH= c1f047ec179094963b21d7b90509d2b9
RANDOM SEED=1424987482

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27772144 kB
Buffers:        261348 kB
Cached:        3591460 kB
SwapCached:      10248 kB
Active:        1147412 kB
Inactive:      3762244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27772144 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:            6996 kB
Writeback:           0 kB
AnonPages:     1054920 kB
Mapped:          12884 kB
Slab:           183012 kB
PageTables:      24796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51459996 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= 73412 MiB
End job on node130 at 2011-05-15 01:15:48