Trace number 3369081

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.23 1202.93

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf
MD5SUMf9a60c414c65108f1df33ba3a81b8715
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark349.16
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369081-1305412016.cnf'
0.00/0.01	c -- header says num vars:             60
0.00/0.01	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.41/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.41/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.41/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.41/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.41/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.41/0.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.41/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.41/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.41/0.15	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.41/0.15	c calculated reachability. Time: 0.00
0.41/0.15	c Calc default polars -  time:   0.00 s pos:      31 undec:       0 neg:      29
0.41/0.15	c =========================================================================================
0.41/0.15	c types(t): F = full restart, N = normal restart
0.41/0.15	c types(t): S = simplification begin/end, E = solution found
0.41/0.15	c restart types(rt): st = static, dy = dynamic
0.41/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.41/0.15	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.77/0.25	c  N dy     7      4070        60      5340         0      3613     37380     76975     18.56     19.56  --
1.57/0.46	c  N dy    16     10583        60      5340         0      7159     37380    146596     18.26     19.26  --
2.36/0.67	c  N dy    20     15973        60      5340         0      8137     37380    157634     17.97     18.93  --
3.16/0.84	c  N dy    27     20101        60      5340         0      6793     37380    121367     17.89     18.87  --
3.96/1.05	c  F st    44     25000        60      5340         0     11146     37380    213750     17.94     18.17  --
3.96/1.05	c  N st    44     25000        60      5340         0     11146     37380    213750     17.94     18.17  --
4.80/1.27	c  N dy    50     30001        60      5340         0      9566     37380    173145     17.94   no data  --
4.80/1.27	c  S st    50     30001        60      5340         0      9566     37380    173145     17.94   no data  --
5.16/1.30	c  S st    50     30504        60      5340         0     10031     37380    183340     17.94   no data  --
5.16/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.16/1.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.16/1.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.36/2.19	c lits-rem:      1403  cl-subs:      975  v-elim:      0  v-fix:    0  time:  3.50 s
9.54/2.46	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.05
9.54/2.46	c calculated reachability. Time: 0.00
9.54/2.46	c  N dy    50     30504        60      5340         0      9056     37380    160987     17.94   no data  --
10.74/2.78	c  N dy    57     36714        60      5340         0      7600     37380    119452     17.79     18.83  --
11.54/2.98	c  N dy    78     40742        60      5340         0     11191     37380    197072     17.91     18.93  --
12.74/3.25	c  N dy    94     45640        60      5340         0     15558     37380    289252     17.93     18.94  --
12.74/3.26	c  S st    96     45758        60      5340         0     15663     37380    291475     17.94   no data  --
13.16/3.32	c  S st    96     46263        60      5340         0      8202     37380    124699     17.94   no data  --
13.16/3.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.16/3.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.16/3.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.16/3.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.16/3.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.16/3.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.16/3.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.93/4.09	c lits-rem:       152  cl-subs:       36  v-elim:      0  v-fix:    0  time:  3.05 s
15.93/4.09	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
15.93/4.09	c vivif2 --  cl tried     8166 cl shrink        0 lits rem          0 time: 0.00
17.13/4.31	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.89
17.13/4.31	c calculated reachability. Time: 0.00
17.13/4.31	c  N dy    96     46263        60      5340         0      8166     37380    123687     17.94   no data  --
17.96/4.52	c  N dy   111     50471        60      5340         0     11923     37380    202939     17.95     18.90  --
19.13/4.86	c  N dy   119     56927        60      5340         0     17623     37380    320741     17.84     18.87  --
20.32/5.11	c  N dy   145     61308        60      5340         0     12656     37380    209232     17.93     18.93  --
21.52/5.49	c  N dy   146     68135        60      5340         0     18682     37380    333680     17.79     18.76  --
22.35/5.61	c  S st   153     69394        60      5340         0     10088     37380    146375     17.81   no data  --
22.35/5.64	c  S st   153     69896        60      5340         0     10537     37380    156551     17.81   no data  --
22.35/5.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.35/5.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.35/5.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.35/5.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.35/5.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.35/5.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.35/5.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.91/6.51	c lits-rem:       247  cl-subs:      149  v-elim:      0  v-fix:    0  time:  3.42 s
25.91/6.51	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.91/6.51	c vivif2 --  cl tried    10388 cl shrink        0 lits rem          0 time: 0.00
26.74/6.79	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.14
26.74/6.80	c calculated reachability. Time: 0.00
26.74/6.80	c  N dy   153     69896        60      5340         0     10388     37380    152748     17.81   no data  --
27.89/7.04	c  N dy   160     74358        60      5340         0     14296     37380    233857     17.78     18.94  --
29.10/7.39	c  N dy   199     79202        60      5340         0     18645     37380    327966     17.88     19.31  --
31.14/7.84	c  N dy   218     85145        60      5340         0     13294     37380    202586     17.90     18.86  --
31.89/8.00	c  F st   235     87500        60      5340         0     15413     37380    248346     17.94     17.63  --
32.69/8.24	c  N st   240     90798        60      5340         0     18343     37380    311479     17.94   no data  --
35.10/8.81	c  N dy   266     97988        60      5340         0     13206     37380    190784     17.98     18.95  --
36.68/9.23	c  N dy   272    104845        60      5340         0     19239     37380    316190     17.93     17.73  --
36.68/9.23	c  S st   272    104845        60      5340         0     19239     37380    316190     17.93     17.73  --
36.68/9.28	c  S st   272    105350        60      5340         0     19694     37380    326274     17.93   no data  --
36.68/9.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.68/9.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.68/9.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.08/9.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.08/9.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.08/9.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
37.08/9.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.07/10.84	c lits-rem:      1819  cl-subs:     2475  v-elim:      0  v-fix:    0  time:  6.15 s
43.07/10.84	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
43.07/10.84	c vivif2 --  cl tried    17219 cl shrink        0 lits rem          0 time: 0.01
44.66/11.21	c asymm  cl-useful: 0/4644/5340 lits-rem:0 time: 1.48
44.66/11.21	c calculated reachability. Time: 0.00
44.66/11.21	c  N dy   272    105350        60      5340         0     17219     37380    275139     17.93   no data  --
46.66/11.72	c  N dy   288    112165        60      5340         0     23327     37380    404166     17.92     18.92  --
49.45/12.45	c  N dy   315    122828        60      5340         0     20426     37380    332900     17.90     18.85  --
52.66/13.21	c  N dy   352    131293        60      5340         0     14743     37380    203946     17.93     18.91  --
55.04/13.80	c  N dy   383    139754        60      5340         0     22224     37380    361357     17.93     18.90  --
58.23/14.67	c  N dy   425    150051        60      5340         0     17239     37380    247151     17.96     18.96  --
61.03/15.32	c  S st   467    158027        60      5340         0     24396     37380    400797     18.00   no data  --
61.03/15.39	c  S st   467    158528        60      5340         0     24847     37380    410531     18.00   no data  --
61.03/15.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
61.03/15.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.44/15.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
61.44/15.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.44/15.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.44/15.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
61.44/15.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.01/17.36	c lits-rem:      1900  cl-subs:     2436  v-elim:      0  v-fix:    0  time:  7.73 s
69.01/17.36	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
69.01/17.36	c vivif2 --  cl tried    22411 cl shrink        0 lits rem          0 time: 0.02
69.41/17.45	c asymm  cl-useful: 0/696/5340 lits-rem:0 time: 0.37
69.41/17.46	c calculated reachability. Time: 0.00
69.41/17.46	c  N dy   467    158528        60      5340         0     22411     37380    356110     18.00   no data  --
87.78/22.02	c  N dy   515    212788        60      5340         0     22667     37380    331037     17.54     18.78  --
94.15/23.61	c  N dy   616    226446        60      5340         0     34869     37380    594685     17.64     18.83  --
98.14/24.69	c  S st   679    237794        60      5340         0     27269     37380    421956     17.68     17.31  --
98.55/24.76	c  S st   679    238300        60      5340         0     27732     37380    431950     17.68   no data  --
98.55/24.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.55/24.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.55/24.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.55/24.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.55/24.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.55/24.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.55/24.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.92/26.86	c lits-rem:      1990  cl-subs:     2503  v-elim:      0  v-fix:    0  time:  8.29 s
106.92/26.86	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
106.92/26.87	c vivif2 --  cl tried    25229 cl shrink        0 lits rem          0 time: 0.02
108.53/27.24	c asymm  cl-useful: 0/3509/5340 lits-rem:0 time: 1.50
108.53/27.24	c calculated reachability. Time: 0.00
108.53/27.24	c  N dy   679    238300        60      5340         0     25229     37380    377308     17.68   no data  --
115.70/29.00	c  N dy   771    253861        60      5340         0     20564     37380    268022     17.76     18.71  --
122.49/30.73	c  N dy   872    270091        60      5340         0     35019     37380    579489     17.83     19.15  --
129.68/32.58	c  N dy   952    287385        60      5340         0     30939     37380    477435     17.87     20.06  --
138.45/34.78	c  N dy  1059    305735        60      5340         0     26819     37380    381452     17.93     18.90  --
138.85/34.83	c  F st  1062    306250        60      5340         0     27277     37380    391045     17.93     17.70  --
148.44/37.23	c  N dy  1130    326428        60      5340         0     23874     37380    307346     17.96     18.92  --
159.19/39.93	c  N dy  1174    351038        60      5340         0     23497     37380    289969     17.92     19.00  --
161.59/40.54	c  S st  1207    357450        60      5340         0     29193     37380    412382     17.93   no data  --
161.99/40.63	c  S st  1207    357954        60      5340         0     29657     37380    422429     17.93   no data  --
161.99/40.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
161.99/40.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.99/40.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
161.99/40.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
161.99/40.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
161.99/40.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
161.99/40.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
170.38/42.75	c lits-rem:      1462  cl-subs:     1833  v-elim:      0  v-fix:    0  time:  8.40 s
170.38/42.75	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
170.38/42.76	c vivif2 --  cl tried    27824 cl shrink        0 lits rem          0 time: 0.02
171.61/43.02	c asymm  cl-useful: 0/1831/5340 lits-rem:0 time: 1.06
171.61/43.03	c calculated reachability. Time: 0.00
171.61/43.03	c  N dy  1207    357954        60      5340         0     27824     37380    382715     17.93   no data  --
184.36/46.29	c  N dy  1328    378201        60      5340         0     45867     37380    771416     17.99     19.05  --
194.71/48.82	c  N dy  1390    398335        60      5340         0     40654     37380    641531     17.99     18.94  --
205.50/51.56	c  N dy  1503    418676        60      5340         0     34813     37380    508494     18.03     19.01  --
248.99/62.46	c  N dy  1552    516044        60      5340         0     43318     37380    629140     17.57     18.53  --
262.56/65.80	c  N dy  1726    536931        60      5340         0     34807     37380    476637     17.64     16.42  --
262.56/65.80	c  S st  1726    536931        60      5340         0     34807     37380    476637     17.64     16.42  --
262.96/65.90	c  S st  1726    537433        60      5340         0     35263     37380    486661     17.64   no data  --
262.96/65.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
262.96/65.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
262.96/65.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
262.96/65.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.96/65.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.96/65.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
262.96/65.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
271.75/68.11	c lits-rem:       983  cl-subs:     1702  v-elim:      0  v-fix:    0  time:  8.71 s
271.75/68.11	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
271.75/68.11	c vivif2 --  cl tried    33561 cl shrink        0 lits rem          0 time: 0.02
273.34/68.50	c asymm  cl-useful: 0/2728/5340 lits-rem:0 time: 1.54
273.34/68.50	c calculated reachability. Time: 0.00
273.34/68.50	c  N dy  1726    537433        60      5340         0     33561     37380    447378     17.64   no data  --
286.90/71.93	c  N dy  1900    557476        60      5340         0     51466     37380    838902     17.71     18.95  --
298.50/74.85	c  N dy  1998    577504        60      5340         0     41055     37380    591546     17.73     20.69  --
314.05/78.73	c  N dy  2138    597528        60      5340         0     29659     37380    341310     17.77     19.81  --
325.61/81.62	c  N dy  2257    617581        60      5340         0     47488     37380    723671     17.80     19.50  --
339.18/85.09	c  N dy  2352    637654        60      5340         0     35126     37380    452075     17.82     20.81  --
353.95/88.74	c  N dy  2516    657692        60      5340         0     53004     37380    842234     17.87     20.38  --
369.91/92.74	c  N dy  2654    677781        60      5340         0     39729     37380    539195     17.91     19.21  --
382.32/95.88	c  N dy  2678    699984        60      5340         0     59154     37380    937891     17.88     18.88  --
397.06/99.59	c  N dy  2782    720033        60      5340         0     45062     37380    639464     17.90     18.95  --
414.21/103.80	c  N dy  2911    740074        60      5340         0     62919     37380   1027474     17.93     19.87  --
426.98/107.07	c  N dy  3007    760173        60      5340         0     47996     37380    690485     17.94     19.08  --
443.78/111.22	c  N dy  3114    780177        60      5340         0     65705     37380   1071275     17.97     19.12  --
457.32/114.68	c  N dy  3205    800961        60      5340         0     50356     37380    731388     17.98     19.14  --
461.70/115.71	c  S st  3236    806151        60      5340         0     54964     37380    830238     17.98     17.76  --
462.10/115.87	c  S st  3236    806655        60      5340         0     55424     37380    840307     17.98   no data  --
462.10/115.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
462.10/115.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
462.50/115.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
462.50/115.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.50/115.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.50/115.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
462.50/115.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
498.83/125.07	c lits-rem:      3289  cl-subs:     5467  v-elim:      0  v-fix:    0  time: 36.48 s
498.83/125.07	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
498.83/125.08	c vivif2 --  cl tried    49957 cl shrink        0 lits rem          0 time: 0.04
500.44/125.41	c asymm  cl-useful: 0/808/5340 lits-rem:0 time: 1.30
500.44/125.41	c calculated reachability. Time: 0.00
500.44/125.41	c  N dy  3236    806655        60      5340         0     49957     37380    722369     17.98   no data  --
519.97/130.31	c  N dy  3325    830428        60      5340         0     36790     37380    428682     17.99     18.98  --
533.14/133.63	c  N dy  3421    850970        60      5340         0     55043     37380    818273     18.00     19.01  --
551.10/138.10	c  N dy  3483    876059        60      5340         0     41871     37380    523153     17.98     18.97  --
565.87/141.82	c  N dy  3588    896081        60      5340         0     59678     37380    907450     18.00     20.68  --
629.72/157.82	c  N dy  3704    991142        60      5340         0     69140     37380   1028160     17.83     18.88  --
646.88/162.19	c  N dy  3856   1011167        60      5340         0     49514     37380    674245     17.87     18.86  --
663.29/166.24	c  N dy  3936   1031175        60      5340         0     67262     37380   1052984     17.87     20.07  --
681.60/170.80	c  N dy  4048   1051201        60      5340         0     46343     37380    587955     17.89     20.71  --
694.37/174.09	c  F st  4078   1071876        60      5340         0     64469     37380    961036     17.87     17.89  --
694.37/174.09	c  N st  4078   1071876        60      5340         0     64469     37380    961036     17.87     17.89  --
714.73/179.14	c  N dy  4166   1091907        60      5340         0     42609     37380    495993     17.88     20.12  --
730.29/183.09	c  N dy  4225   1116608        60      5340         0     64389     37380    953379     17.86     18.90  --
753.84/188.93	c  N dy  4362   1136667        60      5340         0     41596     37380    464459     17.89     18.96  --
769.39/192.88	c  N dy  4490   1156686        60      5340         0     59365     37380    851270     17.91     19.71  --
796.14/199.52	c  N dy  4639   1176785        60      5340         0     77184     37380   1239610     17.93     20.01  --
820.48/205.65	c  N dy  4755   1196879        60      5340         0     53421     37380    710236     17.95     20.58  --
834.84/209.22	c  S st  4795   1209985        60      5340         0     64981     37380    955143     17.95     17.33  --
835.64/209.46	c  S st  4795   1210489        60      5340         0     65439     37380    965170     17.95   no data  --
835.64/209.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
835.64/209.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
836.04/209.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
836.04/209.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
836.04/209.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
836.04/209.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
836.04/209.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
904.29/226.69	c lits-rem:      3965  cl-subs:     6135  v-elim:      0  v-fix:    0  time: 68.43 s
904.29/226.69	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
904.29/226.70	c vivif2 --  cl tried    59304 cl shrink        0 lits rem          0 time: 0.04
905.46/226.98	c asymm  cl-useful: 0/652/5340 lits-rem:0 time: 1.13
905.46/226.99	c calculated reachability. Time: 0.00
905.46/226.99	c  N dy  4795   1210489        60      5340         0     59304     37380    831961     17.95   no data  --
927.42/232.44	c  N dy  4938   1230556        60      5340         0     77109     37380   1219418     17.97     20.31  --
943.39/236.43	c  N dy  4982   1250918        60      5340         0     52833     37380    680625     17.96     18.96  --
961.78/241.03	c  N dy  5077   1271253        60      5340         0     70768     37380   1063915     17.97     18.93  --
988.87/247.87	c  N dy  5188   1291268        60      5340         0     45417     37380    520384     17.98     19.07  --
1009.24/252.96	c  N dy  5344   1311358        60      5340         0     63173     37380    909630     18.01     20.24  --
1033.97/259.19	c  N dy  5446   1331523        60      5340         0     81096     37380   1293356     18.02     19.21  --
1057.12/264.95	c  N dy  5527   1351803        60      5340         0     54857     37380    705108     18.02     19.00  --
1075.08/269.46	c  N dy  5619   1371818        60      5340         0     72620     37380   1088739     18.03     20.47  --
1107.40/277.59	c  N dy  5703   1404080        60      5340         0     55992     37380    714242     18.01     19.12  --
1128.95/282.98	c  N dy  5856   1424126        60      5340         0     73829     37380   1104105     18.03     20.58  --
1155.69/289.61	c  N dy  5998   1444203        60      5340         0     91669     37380   1494445     18.05     19.74  --
1194.02/299.24	c  N dy  6039   1492069        60      5340         0     87429     37380   1342309     18.00     19.05  --
1211.17/303.57	c  N dy  6061   1512100        60      5340         0     58318     37380    743462     17.99     20.97  --
1227.12/307.50	c  N dy  6079   1532174        60      5340         0     75890     37380   1105672     17.97     19.44  --
1252.27/313.85	c  N dy  6186   1552212        60      5340         0     93719     37380   1492922     17.98     20.47  --
1275.42/319.66	c  N dy  6335   1576078        60      5340         0     67294     37380    939527     18.00     19.00  --
1299.38/325.70	c  N dy  6468   1596083        60      5340         0     85007     37380   1323635     18.01     19.99  --
1326.50/332.42	c  N dy  6588   1616152        60      5340         0     54272     37380    645087     18.03     20.10  --
1344.05/336.83	c  N dy  6654   1638094        60      5340         0     73549     37380   1051676     18.02     18.98  --
1372.00/343.84	c  N dy  6819   1658144        60      5340         0     91325     37380   1441560     18.04     20.09  --
1397.53/350.21	c  N dy  6894   1678165        60      5340         0     59575     37380    747136     18.05     19.46  --
1423.88/356.84	c  N dy  7037   1698264        60      5340         0     77439     37380   1136834     18.06     19.50  --
1446.62/362.59	c  S st  7112   1710491        60      5340         0     88236     37380   1371191     18.07   no data  --
1448.22/362.95	c  S st  7112   1710991        60      5340         0     88700     37380   1381597     18.07   no data  --
1448.22/362.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1448.22/362.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1448.63/363.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.27
1448.63/363.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1448.63/363.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1448.63/363.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1448.63/363.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1647.31/412.83	c lits-rem:      5899  cl-subs:     9913  v-elim:      0  v-fix:    0  time: 198.45 s
1647.31/412.83	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1647.31/412.85	c vivif2 --  cl tried    78787 cl shrink        0 lits rem          0 time: 0.07
1649.32/413.30	c asymm  cl-useful: 0/515/5340 lits-rem:0 time: 1.82
1649.32/413.31	c calculated reachability. Time: 0.00
1649.32/413.31	c  N dy  7112   1710991        60      5340         0     78787     37380   1162495     18.07   no data  --
1688.82/423.28	c  N dy  7204   1731070        60      5340         0     96535     37380   1543208     18.07     19.17  --
1724.32/432.17	c  N dy  7306   1757063        60      5340         0     69644     37380    956473     18.08     19.16  --
1760.26/441.11	c  N dy  7386   1779426        60      5340         0     89372     37380   1376734     18.08     19.13  --
1805.31/452.41	c  N dy  7517   1805516        60      5340         0     61457     37380    765394     18.08     19.13  --
1834.86/459.88	c  N dy  7640   1825588        60      5340         0     79211     37380   1149861     18.10     20.27  --
1870.75/468.82	c  N dy  7737   1845795        60      5340         0     97086     37380   1535869     18.10     19.17  --
1900.29/476.23	c  N dy  7813   1865835        60      5340         0     62711     37380    784782     18.11     20.19  --
1926.23/482.75	c  N dy  7887   1887325        60      5340         0     81677     37380   1191266     18.11     19.07  --
1952.16/489.28	c  N dy  7937   1908263        60      5340         0    100144     37380   1586487     18.11     19.09  --
1973.71/494.60	c  N dy  7974   1928532        60      5340         0     64988     37380    815579     18.10     19.14  --
1997.27/500.51	c  N dy  8071   1950000        60      5340         0     83948     37380   1223128     18.11     19.06  --
2024.39/507.38	c  N dy  8169   1970020        60      5340         0    101682     37380   1605598     18.11     20.03  --
2047.14/513.03	c  N dy  8266   1990034        60      5340         0     65647     37380    834613     18.12     19.37  --
2069.49/518.62	c  N dy  8354   2010372        60      5340         0     83654     37380   1220459     18.12     19.08  --
2095.03/525.06	c  N dy  8405   2030398        60      5340         0    101220     37380   1587962     18.12     20.34  --
2125.01/532.54	c  N dy  8534   2054025        60      5340         0     67338     37380    852394     18.12     19.14  --
2147.71/538.22	c  N dy  8647   2074044        60      5340         0     85048     37380   1237494     18.13     20.27  --
2176.46/545.46	c  N dy  8758   2094068        60      5340         0    102740     37380   1619091     18.14     20.27  --
2204.78/552.58	c  N dy  8888   2114796        60      5340         0     65451     37380    807459     18.15     19.14  --
2231.12/559.13	c  N dy  8981   2139356        60      5340         0     87096     37380   1271901     18.16     19.29  --
2267.44/568.23	c  N dy  9129   2161728        60      5340         0    106957     37380   1706833     18.17     19.15  --
2294.18/574.93	c  N dy  9261   2182349        60      5340         0     68708     37380    871109     18.18     19.16  --
2317.74/580.85	c  N dy  9343   2203171        60      5340         0     87083     37380   1267015     18.18     19.16  --
2329.70/583.83	c  S st  9408   2210991        60      5340         0     93996     37380   1419815     18.19   no data  --
2330.91/584.15	c  S st  9408   2211497        60      5340         0     94454     37380   1429896     18.19   no data  --
2330.91/584.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2330.91/584.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2330.91/584.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2331.33/584.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2331.33/584.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2331.33/584.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2331.33/584.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2733.12/684.95	c lits-rem:      4976  cl-subs:     9625  v-elim:      0  v-fix:    0  time: 401.79 s
2733.12/684.95	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2733.12/684.97	c vivif2 --  cl tried    84829 cl shrink        0 lits rem          0 time: 0.08
2735.16/685.45	c asymm  cl-useful: 0/470/5340 lits-rem:0 time: 1.92
2735.16/685.46	c calculated reachability. Time: 0.00
2735.16/685.46	c  N dy  9408   2211497        60      5340         0     84829     37380   1217362     18.19   no data  --
2809.78/704.16	c  N dy  9431   2262805        60      5340         0     72847     37380    923774     18.14     19.17  --
2843.26/712.57	c  N dy  9553   2282857        60      5340         0     90598     37380   1309863     18.15     21.60  --
2880.34/721.82	c  N dy  9640   2302919        60      5340         0    108290     37380   1691884     18.15     19.87  --
2915.86/730.76	c  N dy  9727   2323012        60      5340         0     68125     37380    828819     18.15     20.22  --
2954.97/740.52	c  N dy  9794   2349677        60      5340         0     91513     37380   1315960     18.15     19.16  --
2995.66/750.75	c  N dy  9870   2371556        60      5340         0    110673     37380   1719538     18.15     19.11  --
3037.57/761.26	c  N dy  9937   2400029        60      5340         0     77000     37380   1007816     18.14     19.14  --
3065.49/768.20	c  N dy  9962   2422279        60      5340         0     96456     37380   1415218     18.13     19.12  --
3099.45/776.72	c  N dy 10080   2442338        60      5340         0    114176     37380   1801351     18.14     20.34  --
3124.96/783.16	c  N dy 10163   2462408        60      5340         0     72154     37380    898336     18.14     19.16  --
3146.10/788.48	c  N dy 10203   2482458        60      5340         0     89771     37380   1264352     18.13     21.13  --
3181.63/797.31	c  N dy 10309   2505627        60      5340         0    110272     37380   1706807     18.14     19.16  --
3210.35/804.51	c  N dy 10355   2526155        60      5340         0     67597     37380    791007     18.13     19.14  --
3232.30/810.02	c  N dy 10429   2546223        60      5340         0     85261     37380   1168490     18.14     19.70  --
3259.04/816.79	c  N dy 10493   2566253        60      5340         0    102810     37380   1539084     18.13     19.21  --
3304.54/828.16	c  N dy 10607   2592029        60      5340         0     63990     37380    703078     18.14     19.17  --
3327.31/833.87	c  N dy 10681   2614727        60      5340         0     83867     37380   1125567     18.14     19.10  --
3355.23/840.82	c  N dy 10751   2634820        60      5340         0    101533     37380   1505156     18.14     20.18  --
3393.15/850.37	c  N dy 10848   2655237        60      5340         0    119554     37380   1894090     18.14     19.21  --
3425.06/858.32	c  N dy 10921   2681595        60      5340         0     80244     37380   1034565     18.14     19.19  --
3455.40/865.99	c  N dy 11072   2701691        60      5340         0     98014     37380   1425859     18.15     19.40  --
3470.16/869.61	c  S st 11101   2711499        60      5340         0    106639     37380   1609672     18.15     16.67  --
3471.36/869.96	c  S st 11101   2712004        60      5340         0    107094     37380   1619782     18.15   no data  --
3471.36/869.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3471.36/869.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3471.77/870.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3471.77/870.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3471.77/870.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3471.77/870.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3471.77/870.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3947.82/989.30	c lits-rem:      6838  cl-subs:    12595  v-elim:      0  v-fix:    0  time: 475.72 s
3947.82/989.30	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3947.82/989.32	c vivif2 --  cl tried    94499 cl shrink        0 lits rem          0 time: 0.08
3949.82/989.82	c asymm  cl-useful: 0/555/5340 lits-rem:0 time: 1.99
3949.82/989.82	c calculated reachability. Time: 0.00
3949.82/989.82	c  N dy 11101   2712004        60      5340         0     94499     37380   1351373     18.15   no data  --
3994.52/1001.08	c  N dy 11195   2733164        60      5340         0    113140     37380   1754324     18.15     19.14  --
4038.85/1012.19	c  N dy 11298   2753223        60      5340         0     68258     37380    788700     18.16     20.54  --
4071.92/1020.43	c  N dy 11383   2774134        60      5340         0     86677     37380   1181753     18.16     19.13  --
4116.61/1031.69	c  N dy 11493   2798058        60      5340         0    107761     37380   1636179     18.16     19.19  --
4155.31/1041.37	c  N dy 11550   2818157        60      5340         0    125392     37380   2011051     18.16     21.59  --
4187.65/1049.47	c  N dy 11630   2838231        60      5340         0     79192     37380   1004738     18.16     20.43  --
4223.53/1058.49	c  N dy 11738   2858275        60      5340         0     96896     37380   1388310     18.17     20.95  --
4271.04/1070.40	c  N dy 11896   2878287        60      5340         0    114619     37380   1778663     18.18     19.97  --
4317.31/1081.96	c  N dy 11966   2898322        60      5340         0     67216     37380    735869     18.18     19.18  --
4347.63/1089.55	c  N dy 12069   2918401        60      5340         0     84863     37380   1117058     18.18     21.00  --
4389.54/1100.09	c  N dy 12163   2938585        60      5340         0    102627     37380   1501991     18.19     19.20  --
4433.01/1110.92	c  N dy 12252   2958596        60      5340         0    120238     37380   1881829     18.19     20.02  --
4476.51/1121.80	c  N dy 12300   2983580        60      5340         0     76128     37380    910855     18.18     19.26  --
4506.83/1129.49	c  N dy 12386   3003606        60      5340         0     93740     37380   1287713     18.19     19.18  --
4540.35/1137.86	c  N dy 12463   3023691        60      5340         0    111432     37380   1666417     18.19     19.27  --
4571.48/1145.66	c  N dy 12468   3046159        60      5340         0    131016     37380   2071199     18.18     19.26  --
4598.22/1152.34	c  N dy 12502   3066244        60      5340         0     81985     37380   1031764     18.17     20.76  --
4628.55/1159.98	c  N dy 12584   3086282        60      5340         0     99627     37380   1412661     18.17     19.25  --
4668.45/1169.91	c  N dy 12717   3106347        60      5340         0    117362     37380   1800157     18.18     20.13  --
4717.55/1182.25	c  N dy 12776   3132421        60      5340         0     72613     37380    820291     18.18     19.16  --
4742.29/1188.43	c  N dy 12865   3152487        60      5340         0     90256     37380   1197695     18.18     19.62  --
4775.01/1196.60	c  N dy 13006   3172554        60      5340         0    107985     37380   1587709     18.19     19.93  --

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-3369081-1305412016/watcher-3369081-1305412016 -o /tmp/evaluation-result-3369081-1305412016/solver-3369081-1305412016 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369081-1305412016.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: 7.18 7.90 7.96 2/291 3050
/proc/meminfo: memFree=13128552/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 652801270 52465664 351 33554432000 4194304 4650419 140734795148416 18446744073709551615 208080288753 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3050/statm: 12809 351 303 112 0 7774 0
[pid=3050/tid=3051] ppid=3048 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652801270 52465664 357 33554432000 4194304 4650419 140734795148416 18446744073709551615 208075279446 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652801270 52465664 357 33554432000 4194304 4650419 140734795148416 18446744073709551615 208075279446 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 652801270 52465664 357 33554432000 4194304 4650419 140734795148416 18446744073709551615 208080232379 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.110873 s]
/proc/loadavg: 7.18 7.90 7.96 2/291 3050
/proc/meminfo: memFree=13128552/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=281912 CPUtime=0.41 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 1338 0 0 0 41 0 0 0 25 0 4 0 652801270 288677888 1249 33554432000 4194304 4650419 140734795148416 18446744073709551615 4371123 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 70478 1249 366 112 0 65443 0
[pid=3050/tid=3051] ppid=3048 vsize=281912 CPUtime=0.09 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 193 0 0 0 9 0 0 0 25 0 4 0 652801270 288677888 1249 33554432000 4194304 4650419 140734795148416 18446744073709551615 4370693 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=281912 CPUtime=0.1 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 179 0 0 0 10 0 0 0 25 0 4 0 652801270 288677888 1249 33554432000 4194304 4650419 140734795148416 18446744073709551615 4371172 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=281912 CPUtime=0.1 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 343 0 0 0 10 0 0 0 25 0 4 0 652801270 288677888 1249 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 281912

[startup+0.200858 s]
/proc/loadavg: 7.18 7.90 7.96 2/291 3050
/proc/meminfo: memFree=13128552/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=284764 CPUtime=0.77 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 3020 0 0 0 77 0 0 0 25 0 4 0 652801270 291598336 2550 33554432000 4194304 4650419 140734795148416 18446744073709551615 4333980 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 71191 2550 390 112 0 66156 0
[pid=3050/tid=3051] ppid=3048 vsize=284764 CPUtime=0.18 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 687 0 0 0 18 0 0 0 25 0 4 0 652801270 291598336 2550 33554432000 4194304 4650419 140734795148416 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=284764 CPUtime=0.19 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 689 0 0 0 19 0 0 0 25 0 4 0 652801270 291598336 2550 33554432000 4194304 4650419 140734795148416 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=284764 CPUtime=0.19 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 551 0 0 0 19 0 0 0 25 0 4 0 652801270 291598336 2550 33554432000 4194304 4650419 140734795148416 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284764

[startup+0.300839 s]
/proc/loadavg: 7.18 7.90 7.96 2/291 3050
/proc/meminfo: memFree=13128552/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=285444 CPUtime=1.17 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 3656 0 0 0 117 0 0 0 25 0 4 0 652801270 292294656 2709 33554432000 4194304 4650419 140734795148416 18446744073709551615 4364766 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 71361 2709 390 112 0 66326 0
[pid=3050/tid=3051] ppid=3048 vsize=285444 CPUtime=0.28 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 879 0 0 0 28 0 0 0 25 0 4 0 652801270 292294656 2709 33554432000 4194304 4650419 140734795148416 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=285444 CPUtime=0.28 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 866 0 0 0 28 0 0 0 25 0 4 0 652801270 292294656 2709 33554432000 4194304 4650419 140734795148416 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=285444 CPUtime=0.29 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 637 0 0 0 29 0 0 0 25 0 4 0 652801270 292294656 2709 33554432000 4194304 4650419 140734795148416 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285444

[startup+0.700762 s]
/proc/loadavg: 7.18 7.90 7.96 2/291 3050
/proc/meminfo: memFree=13128552/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=286780 CPUtime=2.76 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 5601 0 0 0 276 0 0 0 25 0 4 0 652801270 293662720 3470 33554432000 4194304 4650419 140734795148416 18446744073709551615 4311263 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 71695 3470 390 112 0 66660 0
[pid=3050/tid=3051] ppid=3048 vsize=286780 CPUtime=0.68 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 1275 0 0 0 68 0 0 0 25 0 4 0 652801270 293662720 3470 33554432000 4194304 4650419 140734795148416 18446744073709551615 4303975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=286780 CPUtime=0.68 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 1292 0 0 0 68 0 0 0 25 0 4 0 652801270 293662720 3470 33554432000 4194304 4650419 140734795148416 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=286780 CPUtime=0.69 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 1315 0 0 0 69 0 0 0 25 0 4 0 652801270 293662720 3470 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 286780

[startup+1.50061 s]
/proc/loadavg: 7.18 7.90 7.96 9/302 3063
/proc/meminfo: memFree=13096612/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=287608 CPUtime=5.95 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 10044 0 0 0 594 1 0 0 25 0 4 0 652801270 294510592 5429 33554432000 4194304 4650419 140734795148416 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 71902 5429 392 112 0 66867 0
[pid=3050/tid=3051] ppid=3048 vsize=287608 CPUtime=1.48 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 2088 0 0 0 148 0 0 0 25 0 4 0 652801270 294510592 5429 33554432000 4194304 4650419 140734795148416 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=287608 CPUtime=1.48 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 2071 0 0 0 148 0 0 0 25 0 4 0 652801270 294510592 5429 33554432000 4194304 4650419 140734795148416 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=287608 CPUtime=1.49 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 2151 0 0 0 149 0 0 0 25 0 4 0 652801270 294510592 5429 33554432000 4194304 4650419 140734795148416 18446744073709551615 4360473 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 287608

[startup+3.10031 s]
/proc/loadavg: 7.18 7.90 7.96 9/302 3063
/proc/meminfo: memFree=13061552/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=283928 CPUtime=12.34 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 16706 0 0 0 1232 2 0 0 25 0 4 0 652801270 290742272 10260 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 70982 10260 392 112 0 65947 0
[pid=3050/tid=3051] ppid=3048 vsize=283928 CPUtime=3.08 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 3545 0 0 0 308 0 0 0 25 0 4 0 652801270 290742272 10260 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=283928 CPUtime=3.08 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 4420 0 0 0 308 0 0 0 25 0 4 0 652801270 290742272 10260 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=283928 CPUtime=3.08 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 4491 0 0 0 308 0 0 0 25 0 4 0 652801270 290742272 10260 33554432000 4194304 4650419 140734795148416 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 283928

[startup+6.3007 s]
/proc/loadavg: 7.32 7.91 7.97 9/302 3063
/proc/meminfo: memFree=13028444/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=289672 CPUtime=25.11 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 24144 0 0 0 2507 4 0 0 25 0 4 0 652801270 296624128 13117 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 72418 13117 392 112 0 67383 0
[pid=3050/tid=3051] ppid=3048 vsize=289672 CPUtime=6.28 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 6022 0 0 0 627 1 0 0 25 0 4 0 652801270 296624128 13117 33554432000 4194304 4650419 140734795148416 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=289672 CPUtime=6.29 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 6100 0 0 0 628 1 0 0 25 0 4 0 652801270 296624128 13117 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=289672 CPUtime=6.28 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 6560 0 0 0 627 1 0 0 25 0 4 0 652801270 296624128 13117 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 289672

[startup+12.7005 s]
/proc/loadavg: 7.38 7.92 7.97 9/302 3063
/proc/meminfo: memFree=12983356/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=298648 CPUtime=50.65 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 35383 0 0 0 5059 6 0 0 25 0 4 0 652801270 305815552 17883 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 74662 17883 392 112 0 69627 0
[pid=3050/tid=3051] ppid=3048 vsize=298648 CPUtime=12.68 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 8435 0 0 0 1267 1 0 0 25 0 4 0 652801270 305815552 17883 33554432000 4194304 4650419 140734795148416 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=298648 CPUtime=12.69 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 8509 0 0 0 1267 2 0 0 25 0 4 0 652801270 305815552 17883 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=298648 CPUtime=12.69 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 10219 0 0 0 1267 2 0 0 25 0 4 0 652801270 305815552 17883 33554432000 4194304 4650419 140734795148416 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 298648

[startup+25.501 s]
/proc/loadavg: 7.51 7.92 7.97 9/302 3064
/proc/meminfo: memFree=12933488/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=289800 CPUtime=101.73 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 53080 0 0 0 10161 12 0 0 25 0 4 0 652801270 296755200 22719 33554432000 4194304 4650419 140734795148416 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 72450 22719 392 112 0 67415 0
[pid=3050/tid=3051] ppid=3048 vsize=289800 CPUtime=25.48 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 12598 0 0 0 2546 2 0 0 25 0 4 0 652801270 296755200 22719 33554432000 4194304 4650419 140734795148416 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=289800 CPUtime=25.48 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 13217 0 0 0 2545 3 0 0 25 0 4 0 652801270 296755200 22719 33554432000 4194304 4650419 140734795148416 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=289800 CPUtime=25.48 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 14838 0 0 0 2545 3 0 0 25 0 4 0 652801270 296755200 22719 33554432000 4194304 4650419 140734795148416 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 289800

[startup+51.1012 s]
/proc/loadavg: 7.68 7.92 7.97 9/302 3064
/proc/meminfo: memFree=12898452/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=310116 CPUtime=203.9 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 79793 0 0 0 20372 18 0 0 25 0 4 0 652801270 317558784 26098 33554432000 4194304 4650419 140734795148416 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 77529 26098 392 112 0 72494 0
[pid=3050/tid=3051] ppid=3048 vsize=310116 CPUtime=51.08 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 18714 0 0 0 5104 4 0 0 25 0 4 0 652801270 317558784 26098 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=310116 CPUtime=51.08 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 19774 0 0 0 5103 5 0 0 25 0 4 0 652801270 317558784 26098 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=310116 CPUtime=51.08 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 22072 0 0 0 5103 5 0 0 25 0 4 0 652801270 317558784 26098 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 310116

[startup+102.3 s]
/proc/loadavg: 7.95 7.96 7.98 9/302 3066
/proc/meminfo: memFree=12835320/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=330924 CPUtime=408.24 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 117396 0 0 0 40794 30 0 0 25 0 4 0 652801270 338866176 35553 33554432000 4194304 4650419 140734795148416 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 82731 35553 392 112 0 77696 0
[pid=3050/tid=3051] ppid=3048 vsize=330924 CPUtime=102.28 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 27703 0 0 0 10221 7 0 0 25 0 4 0 652801270 338866176 35555 33554432000 4194304 4650419 140734795148416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=330924 CPUtime=102.29 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 27941 0 0 0 10222 7 0 0 25 0 4 0 652801270 338866176 35555 33554432000 4194304 4650419 140734795148416 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=330924 CPUtime=102.29 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 32648 0 0 0 10222 7 0 0 25 0 4 0 652801270 338866176 35555 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.24
Current children cumulated vsize (KiB) 330924

[startup+162.301 s]

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

[pid=3050] ppid=3048 vsize=453536 CPUtime=2563.15 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 338601 0 0 0 256208 107 0 0 25 0 4 0 652801270 464420864 69502 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 113384 69502 392 112 0 108349 0
[pid=3050/tid=3051] ppid=3048 vsize=453536 CPUtime=642.2 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 75280 0 0 0 64198 22 0 0 25 0 4 0 652801270 464420864 69502 33554432000 4194304 4650419 140734795148416 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=453536 CPUtime=642.29 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 80996 0 0 0 64198 31 0 0 25 0 4 0 652801270 464420864 69502 33554432000 4194304 4650419 140734795148416 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=453536 CPUtime=642.3 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 91731 0 0 0 64205 25 0 0 25 0 4 0 652801270 464420864 69502 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2563.15
Current children cumulated vsize (KiB) 453536

[startup+702.301 s]
/proc/loadavg: 8.07 8.07 8.01 9/302 3082
/proc/meminfo: memFree=12554020/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=442352 CPUtime=2802.56 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 351847 0 0 0 280143 113 0 0 25 0 4 0 652801270 452968448 67133 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 110588 67133 392 112 0 105553 0
[pid=3050/tid=3051] ppid=3048 vsize=442352 CPUtime=702.19 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 75280 0 0 0 70197 22 0 0 25 0 4 0 652801270 452968448 67133 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=442352 CPUtime=702.29 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 85675 0 0 0 70195 34 0 0 25 0 4 0 652801270 452968448 67133 33554432000 4194304 4650419 140734795148416 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=442352 CPUtime=702.31 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 96116 0 0 0 70205 26 0 0 25 0 4 0 652801270 452968448 67133 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.56
Current children cumulated vsize (KiB) 442352

[startup+762.301 s]
/proc/loadavg: 8.08 8.07 8.01 9/302 3084
/proc/meminfo: memFree=12518656/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=454668 CPUtime=3041.96 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 371140 0 0 0 304077 119 0 0 25 0 4 0 652801270 465580032 70550 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 113667 70550 392 112 0 108632 0
[pid=3050/tid=3051] ppid=3048 vsize=454668 CPUtime=762.19 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 75280 0 0 0 76197 22 0 0 25 0 4 0 652801270 465580032 70550 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=454668 CPUtime=762.3 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 90411 0 0 0 76194 36 0 0 25 0 4 0 652801270 465580032 70550 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=454668 CPUtime=762.32 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 106652 0 0 0 76204 28 0 0 25 0 4 0 652801270 465580032 70550 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.96
Current children cumulated vsize (KiB) 454668

[startup+822.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/302 3086
/proc/meminfo: memFree=12509080/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=434428 CPUtime=3281.4 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 387214 0 0 0 328014 126 0 0 25 0 4 0 652801270 444854272 72761 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 108607 72761 392 112 0 103572 0
[pid=3050/tid=3051] ppid=3048 vsize=434428 CPUtime=822.18 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 79983 0 0 0 82194 24 0 0 25 0 4 0 652801270 444854272 72761 33554432000 4194304 4650419 140734795148416 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=434428 CPUtime=822.29 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 95870 0 0 0 82190 39 0 0 25 0 4 0 652801270 444854272 72761 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=434428 CPUtime=822.31 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 110983 0 0 0 82202 29 0 0 25 0 4 0 652801270 444854272 72761 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3281.4
Current children cumulated vsize (KiB) 434428

[startup+882.311 s]
/proc/loadavg: 8.11 8.08 8.02 9/302 3087
/proc/meminfo: memFree=12477312/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=500448 CPUtime=3520.89 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 398201 0 0 0 351958 131 0 0 25 0 4 0 652801270 512458752 76525 33554432000 4194304 4650419 140734795148416 18446744073709551615 4439086 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 125112 76525 392 112 0 120077 0
[pid=3050/tid=3051] ppid=3048 vsize=500448 CPUtime=882.18 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 80518 0 0 0 88194 24 0 0 25 0 4 0 652801270 512458752 76525 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=500448 CPUtime=882.3 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 97906 0 0 0 88189 41 0 0 25 0 4 0 652801270 512458752 76525 33554432000 4194304 4650419 140734795148416 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=500448 CPUtime=882.32 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 114465 0 0 0 88202 30 0 0 25 0 4 0 652801270 512458752 76525 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.89
Current children cumulated vsize (KiB) 500448

[startup+942.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/302 3089
/proc/meminfo: memFree=12448896/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=512948 CPUtime=3760.3 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 406854 0 0 0 375895 135 0 0 25 0 4 0 652801270 525258752 79857 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 128237 79857 392 112 0 123202 0
[pid=3050/tid=3051] ppid=3048 vsize=512948 CPUtime=942.16 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 83094 0 0 0 94191 25 0 0 25 0 4 0 652801270 525258752 79857 33554432000 4194304 4650419 140734795148416 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=512948 CPUtime=942.29 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 101622 0 0 0 94186 43 0 0 25 0 4 0 652801270 525258752 79857 33554432000 4194304 4650419 140734795148416 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=512948 CPUtime=942.31 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 116391 0 0 0 94200 31 0 0 25 0 4 0 652801270 525258752 79857 33554432000 4194304 4650419 140734795148416 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3760.3
Current children cumulated vsize (KiB) 512948

[startup+1002.3 s]
/proc/loadavg: 8.12 8.10 8.03 9/302 3091
/proc/meminfo: memFree=12433756/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=500180 CPUtime=3999.7 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 411429 0 0 0 399833 137 0 0 25 0 4 0 652801270 512184320 79211 33554432000 4194304 4650419 140734795148416 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 125045 79211 392 112 0 120010 0
[pid=3050/tid=3051] ppid=3048 vsize=500180 CPUtime=1002.16 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 83629 0 0 0 100190 26 0 0 25 0 4 0 652801270 512184320 79211 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=500180 CPUtime=1002.29 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 104333 0 0 0 100185 44 0 0 25 0 4 0 652801270 512184320 79211 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=500180 CPUtime=1002.32 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 117555 0 0 0 100200 32 0 0 25 0 4 0 652801270 512184320 79211 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.7
Current children cumulated vsize (KiB) 500180

[startup+1062.3 s]
/proc/loadavg: 8.08 8.10 8.03 9/302 3092
/proc/meminfo: memFree=12415740/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=500180 CPUtime=4239.1 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 416260 0 0 0 423771 139 0 0 25 0 4 0 652801270 512184320 81625 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 125045 81625 392 112 0 120010 0
[pid=3050/tid=3051] ppid=3048 vsize=500180 CPUtime=1062.15 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 83629 0 0 0 106189 26 0 0 25 0 4 0 652801270 512184320 81625 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=500180 CPUtime=1062.29 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 104614 0 0 0 106185 44 0 0 25 0 4 0 652801270 512184320 81625 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=500180 CPUtime=1062.32 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 117596 0 0 0 106200 32 0 0 25 0 4 0 652801270 512184320 81625 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4239.1
Current children cumulated vsize (KiB) 500180

[startup+1122.3 s]
/proc/loadavg: 8.10 8.10 8.03 9/302 3094
/proc/meminfo: memFree=12363388/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=513160 CPUtime=4478.5 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 424609 0 0 0 447707 143 0 0 25 0 4 0 652801270 525475840 87497 33554432000 4194304 4650419 140734795148416 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 128290 87497 392 112 0 123255 0
[pid=3050/tid=3051] ppid=3048 vsize=513160 CPUtime=1122.14 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 84008 0 0 0 112188 26 0 0 25 0 4 0 652801270 525475840 87497 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=513160 CPUtime=1122.29 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 108225 0 0 0 112184 45 0 0 25 0 4 0 652801270 525475840 87497 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=513160 CPUtime=1122.32 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 117596 0 0 0 112200 32 0 0 25 0 4 0 652801270 525475840 87497 33554432000 4194304 4650419 140734795148416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4478.5
Current children cumulated vsize (KiB) 513160

[startup+1182.3 s]
/proc/loadavg: 8.07 8.10 8.03 9/302 3095
/proc/meminfo: memFree=12394376/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=513592 CPUtime=4717.94 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 442530 0 0 0 471646 148 0 0 25 0 4 0 652801270 525918208 84981 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 128398 84981 392 112 0 123363 0
[pid=3050/tid=3051] ppid=3048 vsize=513592 CPUtime=1182.14 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 84205 0 0 0 118188 26 0 0 25 0 4 0 652801270 525918208 84981 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=513592 CPUtime=1182.29 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 119625 0 0 0 118182 47 0 0 25 0 4 0 652801270 525918208 84981 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=513592 CPUtime=1182.32 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 119998 0 0 0 118200 32 0 0 25 0 4 0 652801270 525918208 84981 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.94
Current children cumulated vsize (KiB) 513592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.11 8.11 8.03 9/302 3096
/proc/meminfo: memFree=12397600/32950928 swapFree=67083212/67111528
[pid=3050] ppid=3048 vsize=513592 CPUtime=4800.16 cores=0,2,4,6
/proc/3050/stat : 3050 (strangenight1-m) R 3048 3050 2430 0 -1 4202496 444323 0 0 0 479867 149 0 0 25 0 4 0 652801270 525918208 84316 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3050/statm: 128398 84316 392 112 0 123363 0
[pid=3050/tid=3051] ppid=3048 vsize=513592 CPUtime=1202.75 cores=0,2,4,6
/proc/3050/task/3051/stat : 3051 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 84205 0 0 0 120249 26 0 0 25 0 4 0 652801270 525918208 84316 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3050/tid=3052] ppid=3048 vsize=513592 CPUtime=1202.9 cores=0,2,4,6
/proc/3050/task/3052/stat : 3052 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 120735 0 0 0 120242 48 0 0 25 0 4 0 652801270 525918208 84316 33554432000 4194304 4650419 140734795148416 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3050/tid=3053] ppid=3048 vsize=513592 CPUtime=1202.93 cores=0,2,4,6
/proc/3050/task/3053/stat : 3053 (strangenight1-m) R 3048 3050 2430 0 -1 4202560 120681 0 0 0 120260 33 0 0 25 0 4 0 652801270 525918208 84316 33554432000 4194304 4650419 140734795148416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 513592

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.93
CPU time (s): 4800.23
CPU user time (s): 4798.72
CPU system time (s): 1.51377
CPU usage (%): 399.044
Max. virtual memory (cumulated for all children) (KiB): 513592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.72
system time used= 1.51377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 444323
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= 347
involuntary context switches= 23793

runsolver used 3.2835 second user time and 8.09277 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-15 00:26:56
IDJOB=3369081
IDBENCH=83090
IDSOLVER=1846
FILE ID=node127/3369081-1305412016
RUNJOBID= node127-1305412016-3035
PBS_JOBID= 13324505
Free space on /tmp= 73480 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369081-1305412016/watcher-3369081-1305412016 -o /tmp/evaluation-result-3369081-1305412016/solver-3369081-1305412016 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369081-1305412016.cnf

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

MD5SUM BENCH= f9a60c414c65108f1df33ba3a81b8715
RANDOM SEED=517022895

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.60
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.823
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:     32950928 kB
MemFree:      13129080 kB
Buffers:        290760 kB
Cached:        3360576 kB
SwapCached:       1620 kB
Active:       16819880 kB
Inactive:      2665304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13129080 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:            6348 kB
Writeback:           0 kB
AnonPages:    15831764 kB
Mapped:          25728 kB
Slab:           226408 kB
PageTables:      46752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44320708 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= 73468 MiB
End job on node127 at 2011-05-15 00:47:01