Trace number 3368797

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.28 1205.14

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf
MD5SUM3ecea073a44f0b1adf464774647edbfb
Bench CategoryRANDOM (random 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 variables90
Number of clauses8010
Sum of the clauses size56070
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 58010

Solver Data 

0.00/0.00	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-3368797-1305403162.cnf'
0.00/0.01	c -- header says num vars:             90
0.00/0.01	c -- header says num clauses:        8010
0.04/0.02	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.04/0.02	c -- vars added         90
0.04/0.02	c Parsing time:  0.02 s
0.04/0.02	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.77/0.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.74
0.77/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.77/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.77/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
0.77/0.23	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.23	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.23	c calculated reachability. Time: 0.00
0.77/0.23	c Calc default polars -  time:   0.00 s pos:      45 undec:       1 neg:      44
0.77/0.23	c =========================================================================================
0.77/0.23	c types(t): F = full restart, N = normal restart
0.77/0.23	c types(t): S = simplification begin/end, E = solution found
0.77/0.23	c restart types(rt): st = static, dy = dynamic
0.77/0.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.23	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
1.56/0.43	c  N dy     8      5991        90      8010         0      3237     56070     84054     24.47     25.84  --
2.37/0.61	c  N dy    35     10352        90      8010         0      7309     56070    205544     25.58     26.97  --
3.57/0.90	c  N dy    44     17283        90      8010         0      9796     56070    262790     25.46     26.82  --
4.41/1.13	c  N dy    45     22054        90      8010         0      8975     56070    218544     25.15     26.50  --
4.75/1.28	c  F st    50     25000        90      8010         0     11725     56070    299097     25.14   no data  --
5.15/1.36	c  N st    53     26195        90      8010         0      6511     56070    129616     25.14   no data  --
5.96/1.53	c  S st    56     30002        90      8010         0     10037     56070    234288     25.14   no data  --
5.96/1.57	c  S st    56     30506        90      8010         0     10520     56070    248763     25.14   no data  --
5.96/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.96/1.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.34/2.70	c lits-rem:      1592  cl-subs:      751  v-elim:      0  v-fix:    0  time:  3.90 s
11.34/3.03	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.06
11.34/3.04	c calculated reachability. Time: 0.00
11.34/3.04	c  N dy    56     30506        90      8010         0      9769     56070    222988     25.14   no data  --
13.48/3.75	c  N dy    66     35257        90      8010         0     14190     56070    351990     25.11     26.54  --
15.10/4.22	c  N dy    76     43961        90      8010         0     14877     56070    354548     24.97     26.37  --
15.47/4.37	c  S st    81     45760        90      8010         0      8279     56070    148750     24.96     23.41  --
15.47/4.41	c  S st    81     46264        90      8010         0      8752     56070    162721     24.96   no data  --
15.47/4.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.47/4.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.81/4.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.81/4.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.81/4.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.81/4.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.81/4.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.76/5.39	c lits-rem:       126  cl-subs:       53  v-elim:      0  v-fix:    0  time:  3.15 s
18.76/5.39	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
18.76/5.39	c vivif2 --  cl tried     8699 cl shrink        0 lits rem          0 time: 0.01
20.09/5.71	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.08
20.09/5.71	c calculated reachability. Time: 0.00
20.09/5.71	c  N dy    81     46264        90      8010         0      8699     56070    160789     24.96   no data  --
20.78/5.94	c  N dy    92     50541        90      8010         0     12650     56070    276462     25.00     26.39  --
22.74/6.44	c  N dy   107     58300        90      8010         0     10614     56070    197729     24.94     26.29  --
23.93/6.72	c  N dy   139     62763        90      8010         0     14790     56070    323120     25.10     26.51  --
25.13/7.03	c  N dy   172     66862        90      8010         0     18584     56070    436311     25.21     26.56  --
25.92/7.24	c  S st   190     69396        90      8010         0     10759     56070    185618     25.26   no data  --
25.92/7.28	c  S st   190     69898        90      8010         0     11245     56070    199991     25.26   no data  --
25.92/7.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.92/7.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.92/7.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.92/7.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.92/7.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.92/7.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
25.92/7.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.91/8.29	c lits-rem:       304  cl-subs:      121  v-elim:      0  v-fix:    0  time:  3.97 s
29.91/8.29	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
29.91/8.29	c vivif2 --  cl tried    11124 cl shrink        0 lits rem          0 time: 0.01
31.50/8.65	c asymm  cl-useful: 0/7951/8010 lits-rem:0 time: 1.41
31.50/8.65	c calculated reachability. Time: 0.00
31.50/8.65	c  N dy   190     69898        90      8010         0     11124     56070    195476     25.26   no data  --
33.49/9.10	c  N dy   211     76534        90      8010         0     17254     56070    375786     25.28     26.74  --
36.73/9.94	c  F st   223     87502        90      8010         0     16255     56070    329258     25.20     23.52  --
36.73/9.94	c  N st   223     87502        90      8010         0     16255     56070    329258     25.20     23.52  --
38.27/10.37	c  N dy   233     93202        90      8010         0     21525     56070    487576     25.21     26.61  --
40.27/10.88	c  N dy   256     99245        90      8010         0     15094     56070    280573     25.25     28.63  --
42.25/11.30	c  S st   273    104847        90      8010         0     20290     56070    432776     25.26     22.51  --
42.25/11.36	c  S st   273    105353        90      8010         0     20760     56070    446537     25.26   no data  --
42.25/11.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.25/11.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.25/11.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
42.25/11.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.25/11.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.25/11.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
42.25/11.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.87/13.29	c lits-rem:      2278  cl-subs:     1500  v-elim:      0  v-fix:    0  time:  7.57 s
49.87/13.29	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
49.87/13.29	c vivif2 --  cl tried    19260 cl shrink        0 lits rem          0 time: 0.02
51.41/13.68	c asymm  cl-useful: 0/5586/8010 lits-rem:0 time: 1.56
51.41/13.68	c calculated reachability. Time: 0.00
51.41/13.68	c  N dy   273    105353        90      8010         0     19260     56070    395753     25.26   no data  --
55.01/14.51	c  N dy   301    115439        90      8010         0     15702     56070    279667     25.30     26.65  --
57.00/15.07	c  N dy   323    122826        90      8010         0     22541     56070    480192     25.30     28.70  --
60.19/15.80	c  N dy   334    131968        90      8010         0     17108     56070    303317     25.25     26.66  --
63.37/16.62	c  N dy   360    142502        90      8010         0     26914     56070    593955     25.25     26.68  --
68.15/17.84	c  N dy   366    158031        90      8010         0     26352     56070    552266     25.12     24.32  --
68.15/17.84	c  S st   366    158031        90      8010         0     26352     56070    552266     25.12     24.32  --
68.55/17.91	c  S st   366    158533        90      8010         0     26832     56070    566642     25.12   no data  --
68.55/17.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.55/17.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.55/17.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
68.55/17.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.55/17.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.55/17.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
68.55/17.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.12/20.32	c lits-rem:      1772  cl-subs:     2609  v-elim:      0  v-fix:    0  time:  9.52 s
78.12/20.32	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
78.12/20.33	c vivif2 --  cl tried    24223 cl shrink        0 lits rem          0 time: 0.02
78.92/20.53	c asymm  cl-useful: 0/1949/8010 lits-rem:0 time: 0.81
78.92/20.53	c calculated reachability. Time: 0.00
78.92/20.53	c  N dy   366    158533        90      8010         0     24223     56070    489981     25.12   no data  --
84.96/22.08	c  N dy   396    174106        90      8010         0     22939     56070    437604     25.08     26.45  --
89.68/23.27	c  N dy   435    185258        90      8010         0     16768     56070    244761     25.10     26.65  --
94.07/24.32	c  N dy   494    197300        90      8010         0     27927     56070    573471     25.16     26.53  --
99.65/25.70	c  N dy   552    210098        90      8010         0     22254     56070    384444     25.20     26.54  --
105.24/27.19	c  N dy   608    223586        90      8010         0     34741     56070    753500     25.24     27.83  --
110.41/28.48	c  S st   615    237799        90      8010         0     29345     56070    569719     25.16     22.77  --
110.85/28.58	c  S st   615    238303        90      8010         0     29822     56070    584137     25.16   no data  --
110.85/28.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.85/28.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.85/28.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
110.85/28.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.85/28.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.85/28.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.85/28.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.37/31.45	c lits-rem:      2224  cl-subs:     2611  v-elim:      0  v-fix:    0  time: 11.33 s
122.37/31.45	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
122.37/31.46	c vivif2 --  cl tried    27211 cl shrink        0 lits rem          0 time: 0.02
123.17/31.65	c asymm  cl-useful: 0/2463/8010 lits-rem:0 time: 0.75
123.17/31.65	c calculated reachability. Time: 0.00
123.17/31.65	c  N dy   615    238303        90      8010         0     27211     56070    507364     25.16   no data  --
131.14/33.60	c  N dy   649    258561        90      8010         0     26610     56070    476307     25.12     26.53  --
141.11/36.12	c  N dy   669    284181        90      8010         0     29980     56070    557439     24.93     26.26  --
149.88/38.36	c  N dy   761    303545        90      8010         0     26689     56070    446348     24.99     26.33  --
151.06/38.68	c  F st   785    306250        90      8010         0     29207     56070    521684     25.01   no data  --
159.83/40.88	c  N dy   825    325223        90      8010         0     24603     56070    365734     25.00     26.41  --
169.41/43.28	c  N dy   916    345232        90      8010         0     43210     56070    913942     25.04     26.39  --
174.99/44.65	c  S st   945    357455        90      8010         0     31283     56070    540740     25.03     24.46  --
175.39/44.73	c  S st   945    357959        90      8010         0     31767     56070    555252     25.03   no data  --
175.39/44.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.39/44.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.39/44.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
175.39/44.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
175.39/44.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
175.39/44.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
175.39/44.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
184.56/47.03	c lits-rem:      1114  cl-subs:     1771  v-elim:      0  v-fix:    0  time:  9.02 s
184.56/47.03	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
184.56/47.03	c vivif2 --  cl tried    29996 cl shrink        0 lits rem          0 time: 0.02
185.39/47.25	c asymm  cl-useful: 0/1758/8010 lits-rem:0 time: 0.86
185.39/47.25	c calculated reachability. Time: 0.00
185.39/47.25	c  N dy   945    357959        90      8010         0     29996     56070    502121     25.03   no data  --
198.95/50.63	c  N dy  1045    378030        90      8010         0     24612     56070    329658     25.08     26.49  --
215.65/54.88	c  N dy  1068    414166        90      8010         0     32937     56070    552917     24.94     26.34  --
227.59/57.83	c  N dy  1171    434225        90      8010         0     51580     56070   1102470     24.98     26.49  --
238.00/60.43	c  N dy  1274    454271        90      8010         0     44308     56070    879026     25.02     28.50  --
249.51/63.35	c  N dy  1370    474361        90      8010         0     36068     56070    615932     25.06     26.51  --
262.27/66.51	c  N dy  1485    494529        90      8010         0     54836     56070   1176849     25.11     26.49  --
272.64/69.18	c  N dy  1544    516147        90      8010         0     47013     56070    914530     25.12     26.50  --
284.20/72.05	c  N dy  1610    536413        90      8010         0     37035     56070    605445     25.12     26.52  --
284.60/72.11	c  S st  1611    536940        90      8010         0     37528     56070    619867     25.12     24.64  --
284.99/72.20	c  S st  1611    537445        90      8010         0     37998     56070    634112     25.12   no data  --
284.99/72.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
284.99/72.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
284.99/72.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
284.99/72.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
284.99/72.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
284.99/72.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
284.99/72.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
298.54/75.66	c lits-rem:      1433  cl-subs:     1703  v-elim:      0  v-fix:    0  time: 13.61 s
298.54/75.66	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
298.54/75.66	c vivif2 --  cl tried    36295 cl shrink        0 lits rem          0 time: 0.02
299.37/75.90	c asymm  cl-useful: 0/1436/8010 lits-rem:0 time: 0.92
299.37/75.90	c calculated reachability. Time: 0.00
299.37/75.90	c  N dy  1611    537445        90      8010         0     36295     56070    580981     25.12   no data  --
310.90/78.75	c  N dy  1674    557453        90      8010         0     54713     56070   1122380     25.13     28.75  --
323.25/81.88	c  N dy  1770    578856        90      8010         0     45006     56070    822444     25.15     26.50  --
338.00/85.57	c  N dy  1867    599909        90      8010         0     33988     56070    476981     25.18     26.52  --
350.36/88.66	c  N dy  1935    620146        90      8010         0     52726     56070   1027364     25.18     26.52  --
367.90/93.06	c  N dy  1986    646634        90      8010         0     45566     56070    793039     25.16     26.52  --
381.05/96.35	c  N dy  2027    666841        90      8010         0     64219     56070   1342455     25.16     26.66  --
392.17/99.13	c  N dy  2070    688077        90      8010         0     51526     56070    959428     25.14     26.48  --
406.51/102.71	c  N dy  2126    708591        90      8010         0     37304     56070    525651     25.13     26.51  --
420.47/106.21	c  N dy  2196    728767        90      8010         0     55957     56070   1074313     25.14     26.57  --
440.78/111.36	c  N dy  2293    757945        90      8010         0     48818     56070    843148     25.15     26.56  --
458.73/115.86	c  N dy  2341    783793        90      8010         0     37575     56070    492051     25.13     26.50  --
471.48/119.09	c  N dy  2407    804865        90      8010         0     57038     56070   1067267     25.14     26.59  --
472.68/119.35	c  S st  2418    806167        90      8010         0     58246     56070   1103300     25.14   no data  --
473.48/119.51	c  S st  2418    806668        90      8010         0     58717     56070   1117178     25.14   no data  --
473.48/119.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
473.48/119.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
473.48/119.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
473.48/119.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
473.48/119.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
473.48/119.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
473.48/119.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
514.57/129.84	c lits-rem:      2531  cl-subs:     4193  v-elim:      0  v-fix:    0  time: 40.83 s
514.57/129.84	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
514.57/129.85	c vivif2 --  cl tried    54524 cl shrink        0 lits rem          0 time: 0.06
516.11/130.20	c asymm  cl-useful: 0/969/8010 lits-rem:0 time: 1.41
516.11/130.21	c calculated reachability. Time: 0.00
516.11/130.21	c  N dy  2418    806668        90      8010         0     54524     56070    983973     25.14   no data  --
602.61/151.99	c  N dy  2488    936708        90      8010         0     63346     56070   1181005     24.83     26.33  --
623.34/157.10	c  N dy  2544    964586        90      8010         0     50640     56070    808780     24.81     26.19  --
640.88/161.54	c  N dy  2674    984669        90      8010         0     69272     56070   1362945     24.84     26.31  --
659.61/166.20	c  N dy  2813   1004692        90      8010         0     48303     56070    728926     24.88     27.56  --
675.16/170.13	c  N dy  2917   1024701        90      8010         0     66825     56070   1280066     24.90     28.26  --
695.47/175.25	c  N dy  3002   1046736        90      8010         0     46525     56070    648002     24.90     26.26  --
711.87/179.32	c  N dy  3119   1066808        90      8010         0     65123     56070   1200184     24.93     28.33  --
717.00/180.65	c  F st  3159   1071875        90      8010         0     69848     56070   1342127     24.94   no data  --
730.54/184.02	c  N dy  3188   1086888        90      8010         0     42132     56070    501846     24.93     28.78  --
752.47/189.52	c  N dy  3249   1119036        90      8010         0     71638     56070   1355878     24.90     26.61  --
782.01/196.91	c  N dy  3363   1145862        90      8010         0     53975     56070    829430     24.91     26.40  --
802.29/202.01	c  N dy  3449   1166499        90      8010         0     73118     56070   1394829     24.93     26.31  --
825.86/207.98	c  N dy  3561   1186753        90      8010         0     48511     56070    658431     24.94     26.30  --
845.34/212.84	c  N dy  3647   1206800        90      8010         0     67088     56070   1208682     24.96     28.55  --
849.72/213.92	c  S st  3678   1210004        90      8010         0     70047     56070   1298256     24.96   no data  --
850.52/214.15	c  S st  3678   1210508        90      8010         0     70520     56070   1312538     24.96   no data  --
850.52/214.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
850.52/214.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
850.92/214.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
850.92/214.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
850.92/214.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
850.92/214.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
850.92/214.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
930.23/234.16	c lits-rem:      3347  cl-subs:     4457  v-elim:      0  v-fix:    0  time: 79.37 s
930.23/234.16	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
930.23/234.18	c vivif2 --  cl tried    66063 cl shrink        0 lits rem          0 time: 0.06
931.82/234.55	c asymm  cl-useful: 0/827/8010 lits-rem:0 time: 1.45
931.82/234.55	c calculated reachability. Time: 0.00
931.82/234.55	c  N dy  3678   1210508        90      8010         0     66063     56070   1164907     24.96   no data  --
953.74/240.09	c  N dy  3737   1230589        90      8010         0     84569     56070   1706070     24.96     28.88  --
972.87/244.81	c  N dy  3833   1250617        90      8010         0     58913     56070    943222     24.98     27.05  --
992.05/249.68	c  N dy  3920   1271503        90      8010         0     78268     56070   1517487     24.99     26.40  --
1017.93/256.12	c  N dy  4017   1291566        90      8010         0     51567     56070    705299     25.00     27.23  --
1042.64/262.30	c  N dy  4121   1317667        90      8010         0     75694     56070   1414176     25.01     26.39  --
1070.15/269.29	c  N dy  4239   1337722        90      8010         0     48025     56070    582159     25.02     27.17  --
1088.93/273.94	c  N dy  4337   1358025        90      8010         0     66873     56070   1141065     25.04     26.39  --
1113.59/280.10	c  N dy  4441   1378044        90      8010         0     85458     56070   1694195     25.05     26.72  --
1134.72/285.43	c  N dy  4542   1398085        90      8010         0     56803     56070    817875     25.06     28.78  --
1155.04/290.59	c  N dy  4589   1423307        90      8010         0     80032     56070   1492171     25.05     26.50  --
1180.17/296.85	c  N dy  4710   1443319        90      8010         0     50500     56070    615706     25.07     26.73  --
1197.31/301.16	c  N dy  4838   1463409        90      8010         0     69150     56070   1174643     25.09     27.02  --
1218.83/306.59	c  N dy  4929   1484059        90      8010         0     88244     56070   1741745     25.10     26.43  --
1240.76/312.04	c  N dy  5002   1505637        90      8010         0     59102     56070    846728     25.10     26.47  --
1261.47/317.26	c  N dy  5091   1528577        90      8010         0     80346     56070   1476703     25.11     26.43  --
1289.38/324.20	c  N dy  5191   1550899        90      8010         0     51028     56070    593479     25.12     26.45  --
1306.92/328.66	c  N dy  5321   1570994        90      8010         0     69689     56070   1153592     25.14     26.51  --
1329.68/334.34	c  N dy  5393   1592860        90      8010         0     89957     56070   1753395     25.14     26.47  --
1353.16/340.21	c  N dy  5450   1613572        90      8010         0     58083     56070    775427     25.14     26.47  --
1376.27/346.05	c  N dy  5516   1638628        90      8010         0     81143     56070   1451246     25.13     26.54  --
1399.83/352.00	c  N dy  5540   1660052        90      8010         0    100795     56070   2025720     25.12     26.48  --
1419.73/356.94	c  N dy  5657   1680109        90      8010         0     67757     56070   1060098     25.14     27.47  --
1440.46/362.15	c  N dy  5738   1700277        90      8010         0     86411     56070   1615499     25.15     26.47  --
1453.20/365.32	c  S st  5774   1710509        90      8010         0     95869     56070   1892411     25.14     24.12  --
1454.40/365.60	c  S st  5774   1711015        90      8010         0     96346     56070   1906889     25.14   no data  --
1454.40/365.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1454.40/365.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1454.40/365.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1454.80/365.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1454.80/365.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1454.80/365.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1454.80/365.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1891.61/475.44	c lits-rem:      5287  cl-subs:     7565  v-elim:      0  v-fix:    0  time: 436.50 s
1891.61/475.44	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1891.61/475.46	c vivif2 --  cl tried    88781 cl shrink        0 lits rem          0 time: 0.08
1892.81/475.78	c asymm  cl-useful: 0/557/8010 lits-rem:0 time: 1.29
1892.81/475.79	c calculated reachability. Time: 0.00
1892.81/475.79	c  N dy  5774   1711015        90      8010         0     88781     56070   1660575     25.14   no data  --
1920.73/482.70	c  N dy  5886   1731977        90      8010         0     55783     56070    682893     25.16     26.57  --
1938.28/487.19	c  N dy  5982   1752015        90      8010         0     74342     56070   1236247     25.17     27.64  --
1997.66/502.01	c  N dy  6079   1817097        90      8010         0     80580     56070   1384908     25.11     26.44  --
2025.17/508.95	c  N dy  6175   1837194        90      8010         0     99166     56070   1936158     25.12     26.44  --
2049.88/515.10	c  N dy  6264   1857323        90      8010         0     63552     56070    881409     25.12     26.45  --
2070.65/520.32	c  N dy  6382   1877420        90      8010         0     82139     56070   1436253     25.14     27.82  --
2099.31/527.50	c  N dy  6520   1897518        90      8010         0    100819     56070   1999121     25.16     27.63  --
2125.22/534.01	c  N dy  6607   1917608        90      8010         0     63926     56070    868923     25.16     26.79  --
2147.94/539.79	c  N dy  6703   1937649        90      8010         0     82484     56070   1421444     25.17     27.10  --
2175.03/546.54	c  N dy  6761   1961011        90      8010         0    104066     56070   2058327     25.17     26.61  --
2200.14/552.84	c  N dy  6798   1984952        90      8010         0     69737     56070   1013094     25.16     26.69  --
2220.07/557.85	c  N dy  6826   2006240        90      8010         0     89359     56070   1586229     25.15     26.70  --
2249.18/565.18	c  N dy  6926   2026418        90      8010         0    108025     56070   2140869     25.16     26.56  --
2274.28/571.40	c  N dy  7016   2047308        90      8010         0     70145     56070   1016675     25.16     26.54  --
2314.96/581.68	c  N dy  7112   2087037        90      8010         0    106714     56070   2100189     25.16     26.53  --
2343.24/588.73	c  N dy  7225   2107643        90      8010         0     67671     56070    926121     25.17     26.58  --
2366.76/594.62	c  N dy  7302   2130227        90      8010         0     88529     56070   1540497     25.17     26.52  --
2398.26/602.51	c  N dy  7397   2150397        90      8010         0    107233     56070   2097612     25.18     26.52  --
2428.16/610.06	c  N dy  7497   2170553        90      8010         0     66722     56070    878319     25.18     26.52  --
2448.49/615.18	c  N dy  7577   2191360        90      8010         0     85837     56070   1445757     25.19     26.52  --
2471.21/620.83	c  S st  7636   2211017        90      8010         0    103910     56070   1976548     25.19   no data  --
2472.41/621.11	c  S st  7636   2211518        90      8010         0    104383     56070   1991252     25.19   no data  --
2472.41/621.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2472.41/621.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2472.41/621.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2472.81/621.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2472.81/621.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2472.81/621.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2472.81/621.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2936.45/737.57	c lits-rem:      4876  cl-subs:     8710  v-elim:      0  v-fix:    0  time: 463.65 s
2936.45/737.57	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2936.45/737.59	c vivif2 --  cl tried    95673 cl shrink        0 lits rem          0 time: 0.08
2938.05/737.94	c asymm  cl-useful: 0/785/8010 lits-rem:0 time: 1.39
2938.05/737.95	c calculated reachability. Time: 0.00
2938.05/737.95	c  N dy  7636   2211518        90      8010         0     95673     56070   1718890     25.19   no data  --
2967.55/745.38	c  N dy  7754   2231568        90      8010         0    114201     56070   2273274     25.20     27.22  --
2995.07/752.20	c  N dy  7852   2255622        90      8010         0     76766     56070   1161349     25.20     26.57  --
3018.17/758.02	c  N dy  7920   2275665        90      8010         0     95293     56070   1708975     25.21     27.24  --
3050.47/766.10	c  N dy  8048   2295872        90      8010         0    114041     56070   2272155     25.22     26.69  --
3075.98/772.53	c  N dy  8129   2315960        90      8010         0     71771     56070    991957     25.22     26.56  --
3098.69/778.28	c  N dy  8239   2335989        90      8010         0     90343     56070   1547363     25.23     26.71  --
3128.99/785.81	c  N dy  8330   2356056        90      8010         0    108840     56070   2096584     25.24     27.08  --
3165.27/794.96	c  N dy  8443   2376368        90      8010         0     65881     56070    797259     25.24     26.63  --
3185.60/800.02	c  N dy  8507   2397008        90      8010         0     84931     56070   1364672     25.25     26.64  --
3213.90/807.18	c  N dy  8643   2417039        90      8010         0    103569     56070   1926913     25.26     26.62  --
3239.82/813.65	c  N dy  8677   2437137        90      8010         0    122042     56070   2468479     25.25     28.05  --
3269.30/821.05	c  N dy  8770   2464088        90      8010         0     84060     56070   1316360     25.25     26.59  --
3294.80/827.47	c  N dy  8820   2484349        90      8010         0    102761     56070   1866561     25.25     26.69  --
3327.90/835.77	c  N dy  8881   2505901        90      8010         0    122736     56070   2460632     25.25     26.73  --
3354.61/842.45	c  N dy  8997   2525992        90      8010         0     77593     56070   1111702     25.26     27.95  --
3379.72/848.79	c  N dy  9102   2546472        90      8010         0     96585     56070   1681923     25.27     26.74  --
3411.61/856.79	c  N dy  9200   2567151        90      8010         0    115746     56070   2256343     25.28     26.62  --
3441.90/864.32	c  N dy  9250   2590213        90      8010         0     72169     56070    923497     25.28     26.75  --
3474.19/872.45	c  N dy  9301   2622569        90      8010         0    101790     56070   1774847     25.26     26.61  --
3510.47/881.59	c  N dy  9315   2651691        90      8010         0    128479     56070   2558146     25.24     26.60  --
3540.36/889.04	c  N dy  9420   2671790        90      8010         0     81709     56070   1200736     25.24     27.71  --
3574.28/897.61	c  N dy  9529   2693634        90      8010         0    101873     56070   1803897     25.25     26.61  --
3608.91/906.22	c  S st  9632   2711520        90      8010         0    118459     56070   2303553     25.26   no data  --
3610.50/906.62	c  S st  9632   2712022        90      8010         0    118936     56070   2317926     25.26   no data  --
3610.50/906.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3610.50/906.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3610.90/906.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.29
3610.90/906.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3610.90/906.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3610.90/906.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3610.90/906.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4732.82/1188.24	c lits-rem:      5717  cl-subs:     8927  v-elim:      0  v-fix:    0  time: 1121.51 s
4732.82/1188.24	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4732.82/1188.27	c vivif2 --  cl tried   110009 cl shrink        0 lits rem          0 time: 0.11
4734.82/1188.70	c asymm  cl-useful: 0/605/8010 lits-rem:0 time: 1.73
4734.82/1188.71	c calculated reachability. Time: 0.00
4734.82/1188.71	c  N dy  9632   2712022        90      8010         0    110009     56070   2022595     25.26   no data  --
4792.22/1203.16	c  N dy  9751   2745367        90      8010         0     74636     56070    969779     25.26     26.83  --

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

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

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


[startup+0 s]
/proc/loadavg: 6.88 7.85 8.00 6/400 28638
/proc/meminfo: memFree=24247664/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=51236 CPUtime=0.02 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 411 0 0 0 2 0 0 0 23 0 4 0 651914836 52465664 352 33554432000 4194304 4650419 140734871116656 18446744073709551615 47095924791218 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28638/statm: 12809 352 303 112 0 7774 0
[pid=28638/tid=28639] ppid=28633 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 4 0 651914836 52465664 352 33554432000 4194304 4650419 140734871116656 18446744073709551615 47095924791218 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651914836 52465664 352 33554432000 4194304 4650419 140734871116656 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 4 0 651914836 52465664 352 33554432000 4194304 4650419 140734871116656 18446744073709551615 47095924791218 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.016374 s]
/proc/loadavg: 6.88 7.85 8.00 6/400 28638
/proc/meminfo: memFree=24247664/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=281652 CPUtime=0.04 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 813 0 0 0 4 0 0 0 18 0 4 0 651914836 288411648 717 33554432000 4194304 4650419 140734871116656 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28638/statm: 70413 718 343 112 0 65378 0
[pid=28638/tid=28639] ppid=28633 vsize=281652 CPUtime=0.01 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 99 0 0 0 1 0 0 0 18 0 4 0 651914836 288411648 723 33554432000 4194304 4650419 140734871116656 18446744073709551615 242970655263 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=281652 CPUtime=0 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 103 0 0 0 0 0 0 0 25 0 4 0 651914836 288411648 726 33554432000 4194304 4650419 140734871116656 18446744073709551615 4520040 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=281652 CPUtime=0.01 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 101 0 0 0 1 0 0 0 18 0 4 0 651914836 288411648 727 33554432000 4194304 4650419 140734871116656 18446744073709551615 242970655263 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 281652

[startup+0.100358 s]
/proc/loadavg: 6.88 7.85 8.00 6/400 28638
/proc/meminfo: memFree=24247664/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=282036 CPUtime=0.37 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 1609 0 0 0 37 0 0 0 18 0 4 0 651914836 288804864 1513 33554432000 4194304 4650419 140734871116656 18446744073709551615 4370456 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28638/statm: 70509 1513 366 112 0 65474 0
[pid=28638/tid=28639] ppid=28633 vsize=282036 CPUtime=0.09 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 236 0 0 0 9 0 0 0 18 0 4 0 651914836 288804864 1513 33554432000 4194304 4650419 140734871116656 18446744073709551615 4371151 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=282036 CPUtime=0.08 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 277 0 0 0 8 0 0 0 25 0 4 0 651914836 288804864 1513 33554432000 4194304 4650419 140734871116656 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=282036 CPUtime=0.09 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 390 0 0 0 9 0 0 0 18 0 4 0 651914836 288804864 1513 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282036

[startup+0.300326 s]
/proc/loadavg: 6.88 7.85 8.00 6/400 28638
/proc/meminfo: memFree=24247664/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=286312 CPUtime=1.16 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 4109 0 0 0 116 0 0 0 18 0 4 0 651914836 293183488 3453 33554432000 4194304 4650419 140734871116656 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28638/statm: 71578 3453 390 112 0 66543 0
[pid=28638/tid=28639] ppid=28633 vsize=286312 CPUtime=0.29 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 947 0 0 0 29 0 0 0 18 0 4 0 651914836 293183488 3453 33554432000 4194304 4650419 140734871116656 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=286312 CPUtime=0.28 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 969 0 0 0 28 0 0 0 25 0 4 0 651914836 293183488 3453 33554432000 4194304 4650419 140734871116656 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=286312 CPUtime=0.29 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 808 0 0 0 29 0 0 0 18 0 4 0 651914836 293183488 3453 33554432000 4194304 4650419 140734871116656 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 286312

[startup+0.700259 s]
/proc/loadavg: 6.88 7.85 8.00 6/400 28638
/proc/meminfo: memFree=24247664/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=288088 CPUtime=2.77 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 6721 0 0 0 276 1 0 0 18 0 4 0 651914836 295002112 4093 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28638/statm: 72022 4093 390 112 0 66987 0
[pid=28638/tid=28639] ppid=28633 vsize=288088 CPUtime=0.69 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 1644 0 0 0 69 0 0 0 18 0 4 0 651914836 295002112 4093 33554432000 4194304 4650419 140734871116656 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=288088 CPUtime=0.68 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 1687 0 0 0 68 0 0 0 25 0 4 0 651914836 295002112 4093 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=288088 CPUtime=0.69 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 1332 0 0 0 69 0 0 0 18 0 4 0 651914836 295002112 4093 33554432000 4194304 4650419 140734871116656 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 288088

[startup+1.50112 s]
/proc/loadavg: 6.88 7.85 8.00 9/405 28643
/proc/meminfo: memFree=24217988/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=289304 CPUtime=5.96 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 10947 0 0 0 594 2 0 0 20 0 4 0 651914836 296247296 4925 33554432000 4194304 4650419 140734871116656 18446744073709551615 4334040 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28638/statm: 72326 4925 391 112 0 67291 0
[pid=28638/tid=28639] ppid=28633 vsize=289304 CPUtime=1.49 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 2651 0 0 0 149 0 0 0 19 0 4 0 651914836 296247296 4925 33554432000 4194304 4650419 140734871116656 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=289304 CPUtime=1.46 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 2741 0 0 0 146 0 0 0 25 0 4 0 651914836 296247296 4925 33554432000 4194304 4650419 140734871116656 18446744073709551615 4304279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=289304 CPUtime=1.49 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 2456 0 0 0 149 0 0 0 20 0 4 0 651914836 296247296 4925 33554432000 4194304 4650419 140734871116656 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 289304

[startup+3.10085 s]
/proc/loadavg: 6.88 7.85 8.00 9/405 28643
/proc/meminfo: memFree=24187108/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=296620 CPUtime=11.63 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 20715 0 0 0 1144 19 0 0 25 0 4 0 651914836 303738880 12673 33554432000 4194304 4650419 140734871116656 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28638/statm: 74155 12673 392 112 0 69120 0
[pid=28638/tid=28639] ppid=28633 vsize=296620 CPUtime=2.73 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 4404 0 0 0 271 2 0 0 23 0 4 0 651914836 303738880 12673 33554432000 4194304 4650419 140734871116656 18446744073709551615 4439120 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=296620 CPUtime=3.04 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 5785 0 0 0 294 10 0 0 25 0 4 0 651914836 303738880 12673 33554432000 4194304 4650419 140734871116656 18446744073709551615 4419568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=296620 CPUtime=2.77 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 5720 0 0 0 272 5 0 0 24 0 4 0 651914836 303738880 12673 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.63
Current children cumulated vsize (KiB) 296620

[startup+6.3003 s]
/proc/loadavg: 7.21 7.91 8.02 9/405 28643
/proc/meminfo: memFree=24131600/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=287232 CPUtime=22.34 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 25494 0 0 0 2192 42 0 0 25 0 4 0 651914836 294125568 13492 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 71808 13492 392 112 0 66773 0
[pid=28638/tid=28639] ppid=28633 vsize=287232 CPUtime=5.22 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 5441 0 0 0 512 10 0 0 25 0 4 0 651914836 294125568 13492 33554432000 4194304 4650419 140734871116656 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=287232 CPUtime=5.24 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 6373 0 0 0 510 14 0 0 25 0 4 0 651914836 294125568 13492 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=287232 CPUtime=5.96 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 7843 0 0 0 589 7 0 0 25 0 4 0 651914836 294125568 13492 33554432000 4194304 4650419 140734871116656 18446744073709551615 4215876 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.34
Current children cumulated vsize (KiB) 287232

[startup+12.7002 s]
/proc/loadavg: 7.27 7.91 8.02 9/405 28644
/proc/meminfo: memFree=24063280/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=297132 CPUtime=47.83 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 39216 0 0 0 4734 49 0 0 25 0 4 0 651914836 304263168 24020 33554432000 4194304 4650419 140734871116656 18446744073709551615 4439111 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 74283 24020 392 112 0 69248 0
[pid=28638/tid=28639] ppid=28633 vsize=297132 CPUtime=11.6 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 10000 0 0 0 1146 14 0 0 25 0 4 0 651914836 304263168 24020 33554432000 4194304 4650419 140734871116656 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=297132 CPUtime=11.63 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 8553 0 0 0 1149 14 0 0 25 0 4 0 651914836 304263168 24020 33554432000 4194304 4650419 140734871116656 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=297132 CPUtime=12.36 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 12062 0 0 0 1228 8 0 0 25 0 4 0 651914836 304263168 24020 33554432000 4194304 4650419 140734871116656 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.83
Current children cumulated vsize (KiB) 297132

[startup+25.501 s]
/proc/loadavg: 7.50 7.93 8.02 9/405 28644
/proc/meminfo: memFree=24004636/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=327600 CPUtime=98.85 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 59791 0 0 0 9831 54 0 0 25 0 4 0 651914836 335462400 29448 33554432000 4194304 4650419 140734871116656 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 81900 29448 392 112 0 76865 0
[pid=28638/tid=28639] ppid=28633 vsize=327600 CPUtime=24.41 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 17714 0 0 0 2425 16 0 0 25 0 4 0 651914836 335462400 29448 33554432000 4194304 4650419 140734871116656 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=327600 CPUtime=24.41 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 12507 0 0 0 2426 15 0 0 25 0 4 0 651914836 335462400 29448 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=327600 CPUtime=25.17 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 17286 0 0 0 2507 10 0 0 25 0 4 0 651914836 335462400 29448 33554432000 4194304 4650419 140734871116656 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.85
Current children cumulated vsize (KiB) 327600

[startup+51.1006 s]
/proc/loadavg: 7.67 7.93 8.02 9/405 28645
/proc/meminfo: memFree=23918904/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=328880 CPUtime=200.89 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 89990 0 0 0 20027 62 0 0 25 0 4 0 651914836 336773120 39035 33554432000 4194304 4650419 140734871116656 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 82220 39035 392 112 0 77185 0
[pid=28638/tid=28639] ppid=28633 vsize=328880 CPUtime=50 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 27370 0 0 0 4982 18 0 0 25 0 4 0 651914836 336773120 39035 33554432000 4194304 4650419 140734871116656 18446744073709551615 4439318 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=328880 CPUtime=49.98 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 20483 0 0 0 4981 17 0 0 25 0 4 0 651914836 336773120 39035 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476509 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=328880 CPUtime=50.77 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 27064 0 0 0 5064 13 0 0 25 0 4 0 651914836 336773120 39035 33554432000 4194304 4650419 140734871116656 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.89
Current children cumulated vsize (KiB) 328880

[startup+102.315 s]
/proc/loadavg: 7.94 7.97 8.03 9/405 28655
/proc/meminfo: memFree=23886392/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=342200 CPUtime=404.97 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 139493 0 0 0 40416 81 0 0 25 0 4 0 651914836 350412800 39599 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 85550 39599 392 112 0 80515 0
[pid=28638/tid=28639] ppid=28633 vsize=342200 CPUtime=101.22 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 41709 0 0 0 10101 21 0 0 25 0 4 0 651914836 350412800 39599 33554432000 4194304 4650419 140734871116656 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=342200 CPUtime=101.11 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 32308 0 0 0 10086 25 0 0 25 0 4 0 651914836 350412800 39599 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=342200 CPUtime=101.96 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 40564 0 0 0 10178 18 0 0 25 0 4 0 651914836 350412800 39599 33554432000 4194304 4650419 140734871116656 18446744073709551615 4339794 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.97
Current children cumulated vsize (KiB) 342200

[startup+162.301 s]

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

[pid=28638] ppid=28633 vsize=521584 CPUtime=2796.12 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 439038 0 0 0 279371 241 0 0 25 0 4 0 651914836 534102016 83306 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 130396 83306 392 112 0 125361 0
[pid=28638/tid=28639] ppid=28633 vsize=521584 CPUtime=701.22 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 129646 0 0 0 70064 58 0 0 25 0 4 0 651914836 534102016 83306 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=521584 CPUtime=699.81 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 98833 0 0 0 69911 70 0 0 25 0 4 0 651914836 534102016 83306 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=521584 CPUtime=701.84 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 136673 0 0 0 70125 59 0 0 25 0 4 0 651914836 534102016 83306 33554432000 4194304 4650419 140734871116656 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2796.12
Current children cumulated vsize (KiB) 521584

[startup+762.315 s]
/proc/loadavg: 8.10 8.08 8.06 9/405 28676
/proc/meminfo: memFree=23461692/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=481796 CPUtime=3035.38 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 455560 0 0 0 303288 250 0 0 25 0 4 0 651914836 493359104 76854 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 120449 76854 392 112 0 115414 0
[pid=28638/tid=28639] ppid=28633 vsize=481796 CPUtime=761.23 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 135128 0 0 0 76063 60 0 0 25 0 4 0 651914836 493359104 76854 33554432000 4194304 4650419 140734871116656 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=481796 CPUtime=759.79 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 102417 0 0 0 75907 72 0 0 25 0 4 0 651914836 493359104 76854 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=481796 CPUtime=761.85 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 143369 0 0 0 76123 62 0 0 25 0 4 0 651914836 493359104 76854 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3035.38
Current children cumulated vsize (KiB) 481796

[startup+822.3 s]
/proc/loadavg: 8.13 8.09 8.06 9/405 28677
/proc/meminfo: memFree=23426952/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=520716 CPUtime=3274.48 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 477706 0 0 0 327189 259 0 0 25 0 4 0 651914836 533213184 82486 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 130179 82486 392 112 0 125144 0
[pid=28638/tid=28639] ppid=28633 vsize=520716 CPUtime=821.22 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 142403 0 0 0 82059 63 0 0 25 0 4 0 651914836 533213184 82486 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=520716 CPUtime=819.7 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 107482 0 0 0 81896 74 0 0 25 0 4 0 651914836 533213184 82486 33554432000 4194304 4650419 140734871116656 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=520716 CPUtime=821.84 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 150360 0 0 0 82119 65 0 0 25 0 4 0 651914836 533213184 82486 33554432000 4194304 4650419 140734871116656 18446744073709551615 4334321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3274.48
Current children cumulated vsize (KiB) 520716

[startup+882.301 s]
/proc/loadavg: 8.14 8.10 8.07 9/405 28679
/proc/meminfo: memFree=23363044/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=532552 CPUtime=3513.65 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 504808 0 0 0 351092 273 0 0 25 0 4 0 651914836 545333248 89331 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 133138 89331 392 112 0 128103 0
[pid=28638/tid=28639] ppid=28633 vsize=532552 CPUtime=881.22 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 146930 0 0 0 88056 66 0 0 25 0 4 0 651914836 545333248 89331 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=532552 CPUtime=879.64 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 114202 0 0 0 87885 79 0 0 25 0 4 0 651914836 545333248 89331 33554432000 4194304 4650419 140734871116656 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=532552 CPUtime=881.83 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 160224 0 0 0 88115 68 0 0 25 0 4 0 651914836 545333248 89331 33554432000 4194304 4650419 140734871116656 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3513.65
Current children cumulated vsize (KiB) 532552

[startup+942.301 s]
/proc/loadavg: 8.12 8.11 8.07 9/405 28680
/proc/meminfo: memFree=23308700/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=624296 CPUtime=3752.81 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 522215 0 0 0 374999 282 0 0 25 0 4 0 651914836 639279104 100628 33554432000 4194304 4650419 140734871116656 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 156074 100628 392 112 0 151039 0
[pid=28638/tid=28639] ppid=28633 vsize=624296 CPUtime=941.22 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 154153 0 0 0 94054 68 0 0 25 0 4 0 651914836 639279104 100628 33554432000 4194304 4650419 140734871116656 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=624296 CPUtime=939.6 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 118880 0 0 0 93876 84 0 0 25 0 4 0 651914836 639279104 100628 33554432000 4194304 4650419 140734871116656 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=624296 CPUtime=941.83 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 162808 0 0 0 94114 69 0 0 25 0 4 0 651914836 639279104 100628 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3752.81
Current children cumulated vsize (KiB) 624296

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 8.08 9/405 28682
/proc/meminfo: memFree=23290448/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=624416 CPUtime=3991.95 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 539582 0 0 0 398906 289 0 0 25 0 4 0 651914836 639401984 99031 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 156104 99031 392 112 0 151069 0
[pid=28638/tid=28639] ppid=28633 vsize=624416 CPUtime=1001.21 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 157606 0 0 0 100053 68 0 0 25 0 4 0 651914836 639401984 99031 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=624416 CPUtime=999.56 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 124326 0 0 0 99867 89 0 0 25 0 4 0 651914836 639401984 99031 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=624416 CPUtime=1001.83 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 171276 0 0 0 100113 70 0 0 25 0 4 0 651914836 639401984 99031 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3991.95
Current children cumulated vsize (KiB) 624416

[startup+1062.3 s]
/proc/loadavg: 8.12 8.12 8.08 9/405 28684
/proc/meminfo: memFree=23266500/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=624416 CPUtime=4231.11 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 555779 0 0 0 422818 293 0 0 25 0 4 0 651914836 639401984 99588 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 156104 99588 392 112 0 151069 0
[pid=28638/tid=28639] ppid=28633 vsize=624416 CPUtime=1061.22 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 165223 0 0 0 106053 69 0 0 25 0 4 0 651914836 639401984 99588 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=624416 CPUtime=1059.53 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 125212 0 0 0 105862 91 0 0 25 0 4 0 651914836 639401984 99588 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=624416 CPUtime=1061.82 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 178970 0 0 0 106110 72 0 0 25 0 4 0 651914836 639401984 99588 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4231.11
Current children cumulated vsize (KiB) 624416

[startup+1122.3 s]
/proc/loadavg: 8.04 8.09 8.08 9/405 28685
/proc/meminfo: memFree=23261280/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=624416 CPUtime=4470.23 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 570748 0 0 0 446726 297 0 0 25 0 4 0 651914836 639401984 98989 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 156104 98989 392 112 0 151069 0
[pid=28638/tid=28639] ppid=28633 vsize=624416 CPUtime=1121.22 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 172579 0 0 0 112052 70 0 0 25 0 4 0 651914836 639401984 98989 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=624416 CPUtime=1119.46 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 125212 0 0 0 111854 92 0 0 25 0 4 0 651914836 639401984 98989 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=624416 CPUtime=1121.83 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 186583 0 0 0 112109 74 0 0 25 0 4 0 651914836 639401984 98989 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4470.23
Current children cumulated vsize (KiB) 624416

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.08 9/405 28687
/proc/meminfo: memFree=23257280/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=611132 CPUtime=4709.32 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 580269 0 0 0 470630 302 0 0 25 0 4 0 651914836 625799168 98695 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 152783 98695 392 112 0 147748 0
[pid=28638/tid=28639] ppid=28633 vsize=611132 CPUtime=1181.23 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 177128 0 0 0 118051 72 0 0 25 0 4 0 651914836 625799168 98695 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=611132 CPUtime=1179.4 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 125212 0 0 0 117847 93 0 0 25 0 4 0 651914836 625799168 98695 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=611132 CPUtime=1181.83 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 191555 0 0 0 118106 77 0 0 25 0 4 0 651914836 625799168 98695 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4709.32
Current children cumulated vsize (KiB) 611132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.1 s]
/proc/loadavg: 8.05 8.09 8.08 5/400 28688
/proc/meminfo: memFree=23882524/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=612984 CPUtime=4800.22 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 585222 0 0 0 479716 306 0 0 25 0 4 0 651914836 627695616 90152 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 153246 90152 392 112 0 148211 0
[pid=28638/tid=28639] ppid=28633 vsize=612984 CPUtime=1204.04 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 180002 0 0 0 120331 73 0 0 25 0 4 0 651914836 627695616 90152 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=612984 CPUtime=1202.18 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 125212 0 0 0 120125 93 0 0 25 0 4 0 651914836 627695616 90152 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=612984 CPUtime=1204.65 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 192918 0 0 0 120387 78 0 0 25 0 4 0 651914836 627695616 90152 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 612984

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

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

[startup+1205.1 s]
/proc/loadavg: 8.05 8.09 8.08 5/400 28688
/proc/meminfo: memFree=23882524/32951132 swapFree=67093844/67111528
[pid=28638] ppid=28633 vsize=612984 CPUtime=4800.22 cores=0,2,4,6
/proc/28638/stat : 28638 (strangenight1-m) R 28633 28638 28111 0 -1 4202496 585222 0 0 0 479716 306 0 0 25 0 4 0 651914836 627695616 90152 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28638/statm: 153246 90152 392 112 0 148211 0
[pid=28638/tid=28639] ppid=28633 vsize=612984 CPUtime=1204.04 cores=0,2,4,6
/proc/28638/task/28639/stat : 28639 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 180002 0 0 0 120331 73 0 0 25 0 4 0 651914836 627695616 90152 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28638/tid=28640] ppid=28633 vsize=612984 CPUtime=1202.18 cores=0,2,4,6
/proc/28638/task/28640/stat : 28640 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 125212 0 0 0 120125 93 0 0 25 0 4 0 651914836 627695616 90152 33554432000 4194304 4650419 140734871116656 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28638/tid=28641] ppid=28633 vsize=612984 CPUtime=1204.65 cores=0,2,4,6
/proc/28638/task/28641/stat : 28641 (strangenight1-m) R 28633 28638 28111 0 -1 4202560 192918 0 0 0 120387 78 0 0 25 0 4 0 651914836 627695616 90152 33554432000 4194304 4650419 140734871116656 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 612984

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1205.14
CPU time (s): 4800.28
CPU user time (s): 4797.2
CPU system time (s): 3.07953
CPU usage (%): 398.318
Max. virtual memory (cumulated for all children) (KiB): 677752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.2
system time used= 3.07953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585222
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= 582
involuntary context switches= 23114

runsolver used 4.41733 second user time and 11.3283 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-14 21:59:22
IDJOB=3368797
IDBENCH=82806
IDSOLVER=1846
FILE ID=node128/3368797-1305403162
RUNJOBID= node128-1305403162-28616
PBS_JOBID= 13324451
Free space on /tmp= 73608 MiB

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

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

MD5SUM BENCH= 3ecea073a44f0b1adf464774647edbfb
RANDOM SEED=321560090

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24247968 kB
Buffers:        263944 kB
Cached:        2892660 kB
SwapCached:       1440 kB
Active:        6323284 kB
Inactive:      2089392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24247968 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           12596 kB
Writeback:           0 kB
AnonPages:     5254016 kB
Mapped:          31792 kB
Slab:           187296 kB
PageTables:      38424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100680196 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73600 MiB
End job on node128 at 2011-05-14 22:19:29