Trace number 3175188

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.4 1201.73

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175188-1304096673.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.38/0.19	c Parsing time:  0.02 s
0.38/0.19	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.38/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.38/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.38/0.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.38/0.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:      45 undec:       1 neg:      44
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.57/0.90	c  N dy     8      5991        90      8010         0      3237     56070     84054     24.47     25.84  --
3.57/0.90	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.77/1.20	c  N dy    45     22054        90      8010         0      8975     56070    218544     25.15     26.50  --
5.17/1.30	c  F st    50     25000        90      8010         0     11725     56070    299097     25.14   no data  --
5.17/1.34	c  N st    53     26195        90      8010         0      6511     56070    129616     25.14   no data  --
5.97/1.52	c  S st    56     30002        90      8010         0     10037     56070    234288     25.14   no data  --
5.97/1.55	c  S st    56     30506        90      8010         0     10520     56070    248763     25.14   no data  --
5.97/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.97/1.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.76/2.75	c lits-rem:      1592  cl-subs:      751  v-elim:      0  v-fix:    0  time:  4.71 s
12.36/3.13	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.53
12.36/3.13	c calculated reachability. Time: 0.00
12.36/3.13	c  N dy    56     30506        90      8010         0      9769     56070    222988     25.14   no data  --
13.56/3.40	c  N dy    66     35257        90      8010         0     14190     56070    351990     25.11     26.54  --
15.15/3.87	c  N dy    76     43961        90      8010         0     14877     56070    354548     24.97     26.37  --
15.95/4.01	c  S st    81     45760        90      8010         0      8279     56070    148750     24.96     23.41  --
15.95/4.05	c  S st    81     46264        90      8010         0      8752     56070    162721     24.96   no data  --
15.95/4.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.95/4.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.95/4.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.95/4.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.95/5.02	c lits-rem:       126  cl-subs:       53  v-elim:      0  v-fix:    0  time:  3.86 s
19.95/5.02	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.95/5.02	c vivif2 --  cl tried     8699 cl shrink        0 lits rem          0 time: 0.01
21.15/5.33	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.23
21.15/5.33	c calculated reachability. Time: 0.00
21.15/5.33	c  N dy    81     46264        90      8010         0      8699     56070    160789     24.96   no data  --
21.97/5.56	c  N dy    92     50541        90      8010         0     12650     56070    276462     25.00     26.39  --
23.94/6.08	c  N dy   107     58300        90      8010         0     10614     56070    197729     24.94     26.29  --
25.14/6.34	c  N dy   139     62763        90      8010         0     14790     56070    323120     25.10     26.51  --
26.37/6.66	c  N dy   172     66862        90      8010         0     18584     56070    436311     25.21     26.56  --
27.14/6.86	c  S st   190     69396        90      8010         0     10759     56070    185618     25.26   no data  --
27.54/6.90	c  S st   190     69898        90      8010         0     11245     56070    199991     25.26   no data  --
27.54/6.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.54/6.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.54/6.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.54/6.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.53/7.90	c lits-rem:       304  cl-subs:      121  v-elim:      0  v-fix:    0  time:  3.93 s
31.53/7.90	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.53/7.90	c vivif2 --  cl tried    11124 cl shrink        0 lits rem          0 time: 0.01
32.73/8.26	c asymm  cl-useful: 0/7951/8010 lits-rem:0 time: 1.41
32.73/8.26	c calculated reachability. Time: 0.00
32.73/8.26	c  N dy   190     69898        90      8010         0     11124     56070    195476     25.26   no data  --
34.33/8.69	c  N dy   211     76534        90      8010         0     17254     56070    375786     25.28     26.74  --
37.53/9.49	c  F st   223     87502        90      8010         0     16255     56070    329258     25.20     23.52  --
37.92/9.50	c  N st   223     87502        90      8010         0     16255     56070    329258     25.20     23.52  --
39.54/9.92	c  N dy   233     93202        90      8010         0     21525     56070    487576     25.21     26.61  --
41.12/10.39	c  N dy   256     99245        90      8010         0     15094     56070    280573     25.25     28.63  --
42.72/10.79	c  S st   273    104847        90      8010         0     20290     56070    432776     25.26     22.51  --
43.12/10.84	c  S st   273    105353        90      8010         0     20760     56070    446537     25.26   no data  --
43.12/10.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
43.12/10.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.12/10.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
43.12/10.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.12/10.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.12/10.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.12/10.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.10/12.85	c lits-rem:      2278  cl-subs:     1500  v-elim:      0  v-fix:    0  time:  7.94 s
51.10/12.85	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
51.10/12.86	c vivif2 --  cl tried    19260 cl shrink        0 lits rem          0 time: 0.02
52.73/13.26	c asymm  cl-useful: 0/5586/8010 lits-rem:0 time: 1.57
52.73/13.26	c calculated reachability. Time: 0.00
52.73/13.26	c  N dy   273    105353        90      8010         0     19260     56070    395753     25.26   no data  --
55.90/14.07	c  N dy   301    115439        90      8010         0     15702     56070    279667     25.30     26.65  --
58.29/14.61	c  N dy   323    122826        90      8010         0     22541     56070    480192     25.30     28.70  --
60.69/15.30	c  N dy   334    131968        90      8010         0     17108     56070    303317     25.25     26.66  --
63.88/16.09	c  N dy   360    142502        90      8010         0     26914     56070    593955     25.25     26.68  --
68.68/17.29	c  N dy   366    158031        90      8010         0     26352     56070    552266     25.12     24.32  --
68.68/17.29	c  S st   366    158031        90      8010         0     26352     56070    552266     25.12     24.32  --
69.08/17.36	c  S st   366    158533        90      8010         0     26832     56070    566642     25.12   no data  --
69.08/17.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
69.08/17.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.08/17.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.08/17.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.08/17.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.08/17.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.08/17.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.47/19.90	c lits-rem:      1772  cl-subs:     2609  v-elim:      0  v-fix:    0  time: 10.02 s
79.47/19.90	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.47/19.91	c vivif2 --  cl tried    24223 cl shrink        0 lits rem          0 time: 0.02
80.27/20.14	c asymm  cl-useful: 0/1949/8010 lits-rem:0 time: 0.93
80.27/20.14	c calculated reachability. Time: 0.00
80.27/20.14	c  N dy   366    158533        90      8010         0     24223     56070    489981     25.12   no data  --
86.26/21.64	c  N dy   396    174106        90      8010         0     22939     56070    437604     25.08     26.45  --
90.66/22.77	c  N dy   435    185258        90      8010         0     16768     56070    244761     25.10     26.65  --
95.05/23.84	c  N dy   494    197300        90      8010         0     27927     56070    573471     25.16     26.53  --
100.66/25.24	c  N dy   552    210098        90      8010         0     22254     56070    384444     25.20     26.54  --
106.23/26.65	c  N dy   608    223586        90      8010         0     34741     56070    753500     25.24     27.83  --
111.03/27.87	c  S st   615    237799        90      8010         0     29345     56070    569719     25.16     22.77  --
111.43/27.95	c  S st   615    238303        90      8010         0     29822     56070    584137     25.16   no data  --
111.43/27.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
111.43/27.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.43/27.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
111.43/27.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.43/27.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.43/27.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
111.43/27.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.03/30.86	c lits-rem:      2224  cl-subs:     2611  v-elim:      0  v-fix:    0  time: 11.47 s
123.03/30.86	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
123.03/30.86	c vivif2 --  cl tried    27211 cl shrink        0 lits rem          0 time: 0.02
123.81/31.05	c asymm  cl-useful: 0/2463/8010 lits-rem:0 time: 0.74
123.81/31.05	c calculated reachability. Time: 0.00
123.81/31.05	c  N dy   615    238303        90      8010         0     27211     56070    507364     25.16   no data  --
131.42/32.98	c  N dy   649    258561        90      8010         0     26610     56070    476307     25.12     26.53  --
141.39/35.46	c  N dy   669    284181        90      8010         0     29980     56070    557439     24.93     26.26  --
150.17/37.66	c  N dy   761    303545        90      8010         0     26689     56070    446348     24.99     26.33  --
151.37/37.96	c  F st   785    306250        90      8010         0     29207     56070    521684     25.01   no data  --
160.17/40.13	c  N dy   825    325223        90      8010         0     24603     56070    365734     25.00     26.41  --
169.34/42.49	c  N dy   916    345232        90      8010         0     43210     56070    913942     25.04     26.39  --
174.95/43.83	c  S st   945    357455        90      8010         0     31283     56070    540740     25.03     24.46  --
175.36/43.92	c  S st   945    357959        90      8010         0     31767     56070    555252     25.03   no data  --
175.36/43.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.36/43.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.36/43.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
175.36/43.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
175.36/43.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
175.36/43.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
175.36/43.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
184.15/46.19	c lits-rem:      1114  cl-subs:     1771  v-elim:      0  v-fix:    0  time:  8.97 s
184.15/46.19	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
184.15/46.20	c vivif2 --  cl tried    29996 cl shrink        0 lits rem          0 time: 0.02
185.33/46.47	c asymm  cl-useful: 0/1758/8010 lits-rem:0 time: 1.08
185.33/46.47	c calculated reachability. Time: 0.00
185.33/46.47	c  N dy   945    357959        90      8010         0     29996     56070    502121     25.03   no data  --
199.31/49.92	c  N dy  1045    378030        90      8010         0     24612     56070    329658     25.08     26.49  --
215.69/54.03	c  N dy  1068    414166        90      8010         0     32937     56070    552917     24.94     26.34  --
226.87/56.86	c  N dy  1171    434225        90      8010         0     51580     56070   1102470     24.98     26.49  --
237.28/59.40	c  N dy  1274    454271        90      8010         0     44308     56070    879026     25.02     28.50  --
248.44/62.28	c  N dy  1370    474361        90      8010         0     36068     56070    615932     25.06     26.51  --
261.23/65.40	c  N dy  1485    494529        90      8010         0     54836     56070   1176849     25.11     26.49  --
271.61/68.03	c  N dy  1544    516147        90      8010         0     47013     56070    914530     25.12     26.50  --
282.80/70.84	c  N dy  1610    536413        90      8010         0     37035     56070    605445     25.12     26.52  --
283.20/70.90	c  S st  1611    536940        90      8010         0     37528     56070    619867     25.12     24.64  --
283.20/71.00	c  S st  1611    537445        90      8010         0     37998     56070    634112     25.12   no data  --
283.60/71.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
283.60/71.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
283.60/71.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
283.60/71.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
283.60/71.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
283.60/71.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
283.60/71.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
297.17/74.41	c lits-rem:      1433  cl-subs:     1703  v-elim:      0  v-fix:    0  time: 13.52 s
297.17/74.41	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
297.17/74.42	c vivif2 --  cl tried    36295 cl shrink        0 lits rem          0 time: 0.02
297.97/74.64	c asymm  cl-useful: 0/1436/8010 lits-rem:0 time: 0.87
297.97/74.64	c calculated reachability. Time: 0.00
297.97/74.64	c  N dy  1611    537445        90      8010         0     36295     56070    580981     25.12   no data  --
309.16/77.45	c  N dy  1674    557453        90      8010         0     54713     56070   1122380     25.13     28.75  --
321.54/80.54	c  N dy  1770    578856        90      8010         0     45006     56070    822444     25.15     26.50  --
335.92/84.17	c  N dy  1867    599909        90      8010         0     33988     56070    476981     25.18     26.52  --
347.51/87.03	c  N dy  1935    620146        90      8010         0     52726     56070   1027364     25.18     26.52  --
365.08/91.43	c  N dy  1986    646634        90      8010         0     45566     56070    793039     25.16     26.52  --
378.27/94.72	c  N dy  2027    666841        90      8010         0     64219     56070   1342455     25.16     26.66  --
389.05/97.46	c  N dy  2070    688077        90      8010         0     51526     56070    959428     25.14     26.48  --
403.03/100.94	c  N dy  2126    708591        90      8010         0     37304     56070    525651     25.13     26.51  --
416.61/104.40	c  N dy  2196    728767        90      8010         0     55957     56070   1074313     25.14     26.57  --
436.99/109.49	c  N dy  2293    757945        90      8010         0     48818     56070    843148     25.15     26.56  --
454.96/113.90	c  N dy  2341    783793        90      8010         0     37575     56070    492051     25.13     26.50  --
467.75/117.10	c  N dy  2407    804865        90      8010         0     57038     56070   1067267     25.14     26.59  --
468.55/117.36	c  S st  2418    806167        90      8010         0     58246     56070   1103300     25.14   no data  --
469.35/117.52	c  S st  2418    806668        90      8010         0     58717     56070   1117178     25.14   no data  --
469.35/117.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
469.35/117.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
469.35/117.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
469.35/117.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.35/117.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.35/117.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
469.35/117.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
508.90/127.42	c lits-rem:      2531  cl-subs:     4193  v-elim:      0  v-fix:    0  time: 39.25 s
508.90/127.42	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
508.90/127.43	c vivif2 --  cl tried    54524 cl shrink        0 lits rem          0 time: 0.05
510.09/127.78	c asymm  cl-useful: 0/969/8010 lits-rem:0 time: 1.39
510.09/127.78	c calculated reachability. Time: 0.00
510.09/127.78	c  N dy  2418    806668        90      8010         0     54524     56070    983973     25.14   no data  --
595.98/149.25	c  N dy  2488    936708        90      8010         0     63346     56070   1181005     24.83     26.33  --
615.95/154.28	c  N dy  2544    964586        90      8010         0     50640     56070    808780     24.81     26.19  --
633.52/158.63	c  N dy  2674    984669        90      8010         0     69272     56070   1362945     24.84     26.31  --
651.90/163.20	c  N dy  2813   1004692        90      8010         0     48303     56070    728926     24.88     27.56  --
667.08/167.07	c  N dy  2917   1024701        90      8010         0     66825     56070   1280066     24.90     28.26  --
687.05/172.09	c  N dy  3002   1046736        90      8010         0     46525     56070    648002     24.90     26.26  --
703.05/176.08	c  N dy  3119   1066808        90      8010         0     65123     56070   1200184     24.93     28.33  --
708.62/177.41	c  F st  3159   1071875        90      8010         0     69848     56070   1342127     24.94   no data  --
721.80/180.73	c  N dy  3188   1086888        90      8010         0     42132     56070    501846     24.93     28.78  --
742.98/186.03	c  N dy  3249   1119036        90      8010         0     71638     56070   1355878     24.90     26.61  --
769.34/192.68	c  N dy  3363   1145862        90      8010         0     53975     56070    829430     24.91     26.40  --
790.11/197.81	c  N dy  3449   1166499        90      8010         0     73118     56070   1394829     24.93     26.31  --
813.68/203.70	c  N dy  3561   1186753        90      8010         0     48511     56070    658431     24.94     26.30  --
831.25/208.14	c  N dy  3647   1206800        90      8010         0     67088     56070   1208682     24.96     28.55  --
836.05/209.31	c  S st  3678   1210004        90      8010         0     70047     56070   1298256     24.96   no data  --
836.85/209.57	c  S st  3678   1210508        90      8010         0     70520     56070   1312538     24.96   no data  --
836.85/209.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
836.85/209.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
837.25/209.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
837.25/209.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
837.25/209.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
837.25/209.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
837.25/209.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
922.77/231.01	c lits-rem:      3347  cl-subs:     4457  v-elim:      0  v-fix:    0  time: 85.23 s
922.77/231.01	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
922.77/231.02	c vivif2 --  cl tried    66063 cl shrink        0 lits rem          0 time: 0.06
924.34/231.42	c asymm  cl-useful: 0/827/8010 lits-rem:0 time: 1.59
924.34/231.42	c calculated reachability. Time: 0.00
924.34/231.42	c  N dy  3678   1210508        90      8010         0     66063     56070   1164907     24.96   no data  --
946.30/236.90	c  N dy  3737   1230589        90      8010         0     84569     56070   1706070     24.96     28.88  --
965.88/241.81	c  N dy  3833   1250617        90      8010         0     58913     56070    943222     24.98     27.05  --
984.28/246.47	c  N dy  3920   1271503        90      8010         0     78268     56070   1517487     24.99     26.40  --
1009.02/252.67	c  N dy  4017   1291566        90      8010         0     51567     56070    705299     25.00     27.23  --
1033.79/258.83	c  N dy  4121   1317667        90      8010         0     75694     56070   1414176     25.01     26.39  --
1061.35/265.73	c  N dy  4239   1337722        90      8010         0     48025     56070    582159     25.02     27.17  --
1079.32/270.27	c  N dy  4337   1358025        90      8010         0     66873     56070   1141065     25.04     26.39  --
1103.69/276.38	c  N dy  4441   1378044        90      8010         0     85458     56070   1694195     25.05     26.72  --
1126.06/281.98	c  N dy  4542   1398085        90      8010         0     56803     56070    817875     25.06     28.78  --
1146.45/287.09	c  N dy  4589   1423307        90      8010         0     80032     56070   1492171     25.05     26.50  --
1171.21/293.22	c  N dy  4710   1443319        90      8010         0     50500     56070    615706     25.07     26.73  --
1187.98/297.46	c  N dy  4838   1463409        90      8010         0     69150     56070   1174643     25.09     27.02  --
1209.15/302.73	c  N dy  4929   1484059        90      8010         0     88244     56070   1741745     25.10     26.43  --
1230.72/308.13	c  N dy  5002   1505637        90      8010         0     59102     56070    846728     25.10     26.47  --
1251.49/313.31	c  N dy  5091   1528577        90      8010         0     80346     56070   1476703     25.11     26.43  --
1278.28/320.09	c  N dy  5191   1550899        90      8010         0     51028     56070    593479     25.12     26.45  --
1295.86/324.45	c  N dy  5321   1570994        90      8010         0     69689     56070   1153592     25.14     26.51  --
1318.23/330.05	c  N dy  5393   1592860        90      8010         0     89957     56070   1753395     25.14     26.47  --
1341.37/335.81	c  N dy  5450   1613572        90      8010         0     58083     56070    775427     25.14     26.47  --
1363.34/341.31	c  N dy  5516   1638628        90      8010         0     81143     56070   1451246     25.13     26.54  --
1385.31/346.88	c  N dy  5540   1660052        90      8010         0    100795     56070   2025720     25.12     26.48  --
1406.88/352.29	c  N dy  5657   1680109        90      8010         0     67757     56070   1060098     25.14     27.47  --
1427.26/357.40	c  N dy  5738   1700277        90      8010         0     86411     56070   1615499     25.15     26.47  --
1440.05/360.50	c  S st  5774   1710509        90      8010         0     95869     56070   1892411     25.14     24.12  --
1440.86/360.78	c  S st  5774   1711015        90      8010         0     96346     56070   1906889     25.14   no data  --
1440.86/360.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1440.86/360.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1441.26/360.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1441.26/360.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1441.26/360.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1441.26/360.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1441.26/360.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1873.46/469.07	c lits-rem:      5287  cl-subs:     7565  v-elim:      0  v-fix:    0  time: 431.90 s
1873.46/469.07	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1873.46/469.09	c vivif2 --  cl tried    88781 cl shrink        0 lits rem          0 time: 0.08
1875.06/469.41	c asymm  cl-useful: 0/557/8010 lits-rem:0 time: 1.30
1875.06/469.42	c calculated reachability. Time: 0.00
1875.06/469.42	c  N dy  5774   1711015        90      8010         0     88781     56070   1660575     25.14   no data  --
1902.24/476.27	c  N dy  5886   1731977        90      8010         0     55783     56070    682893     25.16     26.57  --
1920.22/480.70	c  N dy  5982   1752015        90      8010         0     74342     56070   1236247     25.17     27.64  --
1978.52/495.31	c  N dy  6079   1817097        90      8010         0     80580     56070   1384908     25.11     26.44  --
2003.31/501.57	c  N dy  6175   1837194        90      8010         0     99166     56070   1936158     25.12     26.44  --
2027.26/507.51	c  N dy  6264   1857323        90      8010         0     63552     56070    881409     25.12     26.45  --
2050.02/513.22	c  N dy  6382   1877420        90      8010         0     82139     56070   1436253     25.14     27.82  --
2078.41/520.30	c  N dy  6520   1897518        90      8010         0    100819     56070   1999121     25.16     27.63  --
2102.36/526.37	c  N dy  6607   1917608        90      8010         0     63926     56070    868923     25.16     26.79  --
2124.72/531.99	c  N dy  6703   1937649        90      8010         0     82484     56070   1421444     25.17     27.10  --
2153.49/539.16	c  N dy  6761   1961011        90      8010         0    104066     56070   2058327     25.17     26.61  --
2178.26/545.33	c  N dy  6798   1984952        90      8010         0     69737     56070   1013094     25.16     26.69  --
2197.83/550.21	c  N dy  6826   2006240        90      8010         0     89359     56070   1586229     25.15     26.70  --
2226.59/557.42	c  N dy  6926   2026418        90      8010         0    108025     56070   2140869     25.16     26.56  --
2250.95/563.53	c  N dy  7016   2047308        90      8010         0     70145     56070   1016675     25.16     26.54  --
2291.30/573.63	c  N dy  7112   2087037        90      8010         0    106714     56070   2100189     25.16     26.53  --
2318.86/580.59	c  N dy  7225   2107643        90      8010         0     67671     56070    926121     25.17     26.58  --
2341.23/586.19	c  N dy  7302   2130227        90      8010         0     88529     56070   1540497     25.17     26.52  --
2370.00/593.33	c  N dy  7397   2150397        90      8010         0    107233     56070   2097612     25.18     26.52  --
2401.15/601.12	c  N dy  7497   2170553        90      8010         0     66722     56070    878319     25.18     26.52  --
2423.52/606.73	c  N dy  7577   2191360        90      8010         0     85837     56070   1445757     25.19     26.52  --
2445.89/612.30	c  S st  7636   2211017        90      8010         0    103910     56070   1976548     25.19   no data  --
2446.69/612.58	c  S st  7636   2211518        90      8010         0    104383     56070   1991252     25.19   no data  --
2446.69/612.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2446.69/612.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2447.11/612.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2447.11/612.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2447.11/612.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2447.11/612.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2447.11/612.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2897.69/725.49	c lits-rem:      4876  cl-subs:     8710  v-elim:      0  v-fix:    0  time: 450.43 s
2897.69/725.49	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2898.09/725.52	c vivif2 --  cl tried    95673 cl shrink        0 lits rem          0 time: 0.09
2899.29/725.90	c asymm  cl-useful: 0/785/8010 lits-rem:0 time: 1.53
2899.70/725.90	c calculated reachability. Time: 0.00
2899.70/725.90	c  N dy  7636   2211518        90      8010         0     95673     56070   1718890     25.19   no data  --
2932.04/734.05	c  N dy  7754   2231568        90      8010         0    114201     56070   2273274     25.20     27.22  --
2959.20/740.80	c  N dy  7852   2255622        90      8010         0     76766     56070   1161349     25.20     26.57  --
2981.98/746.53	c  N dy  7920   2275665        90      8010         0     95293     56070   1708975     25.21     27.24  --
3013.95/754.51	c  N dy  8048   2295872        90      8010         0    114041     56070   2272155     25.22     26.69  --
3038.70/760.70	c  N dy  8129   2315960        90      8010         0     71771     56070    991957     25.22     26.56  --
3061.07/766.32	c  N dy  8239   2335989        90      8010         0     90343     56070   1547363     25.23     26.71  --
3088.24/773.15	c  N dy  8330   2356056        90      8010         0    108840     56070   2096584     25.24     27.08  --
3122.99/781.82	c  N dy  8443   2376368        90      8010         0     65881     56070    797259     25.24     26.63  --
3145.36/787.45	c  N dy  8507   2397008        90      8010         0     84931     56070   1364672     25.25     26.64  --
3175.31/794.95	c  N dy  8643   2417039        90      8010         0    103569     56070   1926913     25.26     26.62  --
3200.88/801.33	c  N dy  8677   2437137        90      8010         0    122042     56070   2468479     25.25     28.05  --
3230.05/808.67	c  N dy  8770   2464088        90      8010         0     84060     56070   1316360     25.25     26.59  --
3255.21/814.91	c  N dy  8820   2484349        90      8010         0    102761     56070   1866561     25.25     26.69  --
3287.56/823.01	c  N dy  8881   2505901        90      8010         0    122736     56070   2460632     25.25     26.73  --
3313.93/829.60	c  N dy  8997   2525992        90      8010         0     77593     56070   1111702     25.26     27.95  --
3338.69/835.87	c  N dy  9102   2546472        90      8010         0     96585     56070   1681923     25.27     26.74  --
3369.87/843.66	c  N dy  9200   2567151        90      8010         0    115746     56070   2256343     25.28     26.62  --
3399.42/851.04	c  N dy  9250   2590213        90      8010         0     72169     56070    923497     25.28     26.75  --
3431.39/859.05	c  N dy  9301   2622569        90      8010         0    101790     56070   1774847     25.26     26.61  --
3466.13/867.79	c  N dy  9315   2651691        90      8010         0    128479     56070   2558146     25.24     26.60  --
3490.50/873.85	c  N dy  9420   2671790        90      8010         0     81709     56070   1200736     25.24     27.71  --
3519.27/881.01	c  N dy  9529   2693634        90      8010         0    101873     56070   1803897     25.25     26.61  --
3550.44/888.89	c  S st  9632   2711520        90      8010         0    118459     56070   2303553     25.26   no data  --
3552.01/889.29	c  S st  9632   2712022        90      8010         0    118936     56070   2317926     25.26   no data  --
3552.41/889.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3552.41/889.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3552.41/889.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.29
3552.81/889.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3552.81/889.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3552.81/889.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3552.81/889.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4676.51/1170.71	c lits-rem:      5717  cl-subs:     8927  v-elim:      0  v-fix:    0  time: 1123.35 s
4676.51/1170.71	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4676.51/1170.73	c vivif2 --  cl tried   110009 cl shrink        0 lits rem          0 time: 0.11
4678.51/1171.22	c asymm  cl-useful: 0/605/8010 lits-rem:0 time: 1.93
4678.51/1171.22	c calculated reachability. Time: 0.00
4678.51/1171.22	c  N dy  9632   2712022        90      8010         0    110009     56070   2022595     25.26   no data  --
4736.85/1185.85	c  N dy  9751   2745367        90      8010         0     74636     56070    969779     25.26     26.83  --
4761.19/1191.93	c  N dy  9798   2765815        90      8010         0     93488     56070   1528595     25.26     26.62  --
4793.15/1199.98	c  N dy  9871   2786684        90      8010         0    112776     56070   2099350     25.26     26.62  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175188-1304096673/watcher-3175188-1304096673 -o /tmp/evaluation-result-3175188-1304096673/solver-3175188-1304096673 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175188-1304096673.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 6.63 7.79 7.96 7/180 3469
/proc/meminfo: memFree=24786604/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 599897823 52465664 353 33554432000 4194304 4650419 140735461196320 18446744073709551615 47597032036278 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 12809 353 303 112 0 7774 0
[pid=3469/tid=3470] ppid=3467 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 599897823 52465664 353 33554432000 4194304 4650419 140735461196320 18446744073709551615 47597032036274 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 599897823 52465664 353 33554432000 4194304 4650419 140735461196320 18446744073709551615 47597032036274 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 599897823 52465664 353 33554432000 4194304 4650419 140735461196320 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0162429 s]
/proc/loadavg: 6.63 7.79 7.96 7/180 3469
/proc/meminfo: memFree=24786604/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=281924 CPUtime=0.04 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 1457 0 0 0 4 0 0 0 18 0 4 0 599897823 288690176 1355 33554432000 4194304 4650419 140735461196320 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 70481 1355 366 112 0 65446 0
[pid=3469/tid=3470] ppid=3467 vsize=281924 CPUtime=0.01 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 256 0 0 0 1 0 0 0 18 0 4 0 599897823 288690176 1355 33554432000 4194304 4650419 140735461196320 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=281924 CPUtime=0.01 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 247 0 0 0 1 0 0 0 18 0 4 0 599897823 288690176 1355 33554432000 4194304 4650419 140735461196320 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=281924 CPUtime=0 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 278 0 0 0 0 0 0 0 25 0 4 0 599897823 288690176 1355 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 281924

[startup+0.100227 s]
/proc/loadavg: 6.63 7.79 7.96 7/180 3469
/proc/meminfo: memFree=24786604/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=282056 CPUtime=0.38 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 1640 0 0 0 38 0 0 0 18 0 4 0 599897823 288825344 1538 33554432000 4194304 4650419 140735461196320 18446744073709551615 4370675 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 70514 1538 366 112 0 65479 0
[pid=3469/tid=3470] ppid=3467 vsize=282056 CPUtime=0.09 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 278 0 0 0 9 0 0 0 18 0 4 0 599897823 288825344 1538 33554432000 4194304 4650419 140735461196320 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=282056 CPUtime=0.09 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 269 0 0 0 9 0 0 0 18 0 4 0 599897823 288825344 1538 33554432000 4194304 4650419 140735461196320 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=282056 CPUtime=0.09 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 395 0 0 0 9 0 0 0 25 0 4 0 599897823 288825344 1538 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282056

[startup+0.300192 s]
/proc/loadavg: 6.63 7.79 7.96 7/180 3469
/proc/meminfo: memFree=24786604/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=286332 CPUtime=1.17 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 4156 0 0 0 117 0 0 0 18 0 4 0 599897823 293203968 3495 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 71583 3495 390 112 0 66548 0
[pid=3469/tid=3470] ppid=3467 vsize=286332 CPUtime=0.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 974 0 0 0 29 0 0 0 18 0 4 0 599897823 293203968 3495 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=286332 CPUtime=0.29 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 966 0 0 0 29 0 0 0 18 0 4 0 599897823 293203968 3495 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=286332 CPUtime=0.29 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 799 0 0 0 29 0 0 0 25 0 4 0 599897823 293203968 3495 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 286332

[startup+0.701118 s]
/proc/loadavg: 6.63 7.79 7.96 7/180 3469
/proc/meminfo: memFree=24786604/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=288108 CPUtime=2.77 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 6757 0 0 0 277 0 0 0 18 0 4 0 599897823 295022592 4116 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 72027 4116 390 112 0 66992 0
[pid=3469/tid=3470] ppid=3467 vsize=288108 CPUtime=0.69 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 1670 0 0 0 69 0 0 0 18 0 4 0 599897823 295022592 4116 33554432000 4194304 4650419 140735461196320 18446744073709551615 4360084 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=288108 CPUtime=0.69 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 1668 0 0 0 69 0 0 0 18 0 4 0 599897823 295022592 4116 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=288108 CPUtime=0.69 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 1330 0 0 0 69 0 0 0 25 0 4 0 599897823 295022592 4116 33554432000 4194304 4650419 140735461196320 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 288108

[startup+1.50097 s]
/proc/loadavg: 6.63 7.79 7.96 9/184 3473
/proc/meminfo: memFree=24761472/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=289324 CPUtime=5.97 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 11005 0 0 0 596 1 0 0 20 0 4 0 599897823 296267776 4936 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 72331 4936 391 112 0 67296 0
[pid=3469/tid=3470] ppid=3467 vsize=289324 CPUtime=1.49 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 2746 0 0 0 149 0 0 0 19 0 4 0 599897823 296267776 4936 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=289324 CPUtime=1.49 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 2705 0 0 0 149 0 0 0 20 0 4 0 599897823 296267776 4936 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=289324 CPUtime=1.48 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 2441 0 0 0 148 0 0 0 25 0 4 0 599897823 296267776 4936 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 289324

[startup+3.10068 s]
/proc/loadavg: 6.63 7.79 7.96 9/184 3473
/proc/meminfo: memFree=24727996/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=296416 CPUtime=12.36 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 20963 0 0 0 1234 2 0 0 25 0 4 0 599897823 303529984 12858 33554432000 4194304 4650419 140735461196320 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 74104 12858 392 112 0 69069 0
[pid=3469/tid=3470] ppid=3467 vsize=296416 CPUtime=3.09 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 4598 0 0 0 309 0 0 0 25 0 4 0 599897823 303529984 12858 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=296416 CPUtime=3.08 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 5729 0 0 0 308 0 0 0 25 0 4 0 599897823 303529984 12858 33554432000 4194304 4650419 140735461196320 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=296416 CPUtime=3.07 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 5880 0 0 0 307 0 0 0 25 0 4 0 599897823 303529984 12858 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 296416

[startup+6.30108 s]
/proc/loadavg: 6.82 7.81 7.96 9/184 3473
/proc/meminfo: memFree=24678924/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=296656 CPUtime=25.14 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 29017 0 0 0 2510 4 0 0 25 0 4 0 599897823 303775744 16867 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 74164 16867 392 112 0 69129 0
[pid=3469/tid=3470] ppid=3467 vsize=296656 CPUtime=6.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 7372 0 0 0 628 1 0 0 25 0 4 0 599897823 303775744 16867 33554432000 4194304 4650419 140735461196320 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=296656 CPUtime=6.29 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 7708 0 0 0 628 1 0 0 25 0 4 0 599897823 303775744 16867 33554432000 4194304 4650419 140735461196320 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=296656 CPUtime=6.26 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 7973 0 0 0 625 1 0 0 25 0 4 0 599897823 303775744 16867 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 296656

[startup+12.7009 s]
/proc/loadavg: 6.91 7.81 7.96 9/184 3474
/proc/meminfo: memFree=24623640/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=297000 CPUtime=50.7 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 42113 0 0 0 5063 7 0 0 25 0 4 0 599897823 304128000 23758 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 74250 23758 392 112 0 69215 0
[pid=3469/tid=3470] ppid=3467 vsize=297000 CPUtime=12.69 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 10308 0 0 0 1267 2 0 0 25 0 4 0 599897823 304128000 23758 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=297000 CPUtime=12.69 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 10467 0 0 0 1267 2 0 0 25 0 4 0 599897823 304128000 23758 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=297000 CPUtime=12.62 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 12904 0 0 0 1261 1 0 0 25 0 4 0 599897823 304128000 23758 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 297000

[startup+25.5005 s]
/proc/loadavg: 7.15 7.82 7.96 9/184 3474
/proc/meminfo: memFree=24566096/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=327440 CPUtime=101.84 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 61798 0 0 0 10172 12 0 0 25 0 4 0 599897823 335298560 30085 33554432000 4194304 4650419 140735461196320 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 81860 30085 392 112 0 76825 0
[pid=3469/tid=3470] ppid=3467 vsize=327440 CPUtime=25.49 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 15575 0 0 0 2546 3 0 0 25 0 4 0 599897823 335298560 30085 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=327440 CPUtime=25.48 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 15475 0 0 0 2545 3 0 0 25 0 4 0 599897823 335298560 30085 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=327440 CPUtime=25.34 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 19197 0 0 0 2531 3 0 0 25 0 4 0 599897823 335298560 30085 33554432000 4194304 4650419 140735461196320 18446744073709551615 4363862 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 327440

[startup+51.1008 s]
/proc/loadavg: 7.44 7.83 7.96 9/184 3475
/proc/meminfo: memFree=24520276/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=339740 CPUtime=204.1 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 91531 0 0 0 20390 20 0 0 25 0 4 0 599897823 347893760 34400 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 84935 34400 392 112 0 79900 0
[pid=3469/tid=3470] ppid=3467 vsize=339740 CPUtime=51.09 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 24597 0 0 0 5104 5 0 0 25 0 4 0 599897823 347893760 34400 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=339740 CPUtime=51.08 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 24420 0 0 0 5103 5 0 0 25 0 4 0 599897823 347893760 34400 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=339740 CPUtime=50.81 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 29050 0 0 0 5075 6 0 0 25 0 4 0 599897823 347893760 34400 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 339740

[startup+102.306 s]
/proc/loadavg: 7.84 7.89 7.97 9/184 3476
/proc/meminfo: memFree=24449072/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=355184 CPUtime=408.65 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 136063 0 0 0 40830 35 0 0 25 0 4 0 599897823 363708416 42741 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 88796 42741 392 112 0 83761 0
[pid=3469/tid=3470] ppid=3467 vsize=355184 CPUtime=102.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 34602 0 0 0 10221 8 0 0 25 0 4 0 599897823 363708416 42741 33554432000 4194304 4650419 140735461196320 18446744073709551615 4439120 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=355184 CPUtime=102.29 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 38928 0 0 0 10219 10 0 0 25 0 4 0 599897823 363708416 42741 33554432000 4194304 4650419 140735461196320 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=355184 CPUtime=101.74 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 45789 0 0 0 10162 12 0 0 25 0 4 0 599897823 363708416 42741 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 355184

[startup+162.301 s]

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

[pid=3469] ppid=3467 vsize=445968 CPUtime=2805.41 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 440204 0 0 0 280371 170 0 0 25 0 4 0 599897823 456671232 78429 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 111492 78429 392 112 0 106457 0
[pid=3469/tid=3470] ppid=3467 vsize=445968 CPUtime=702.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 118718 0 0 0 70183 46 0 0 25 0 4 0 599897823 456671232 78429 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=445968 CPUtime=702.29 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 115462 0 0 0 70188 41 0 0 25 0 4 0 599897823 456671232 78429 33554432000 4194304 4650419 140735461196320 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=445968 CPUtime=698.48 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 142364 0 0 0 69791 57 0 0 25 0 4 0 599897823 456671232 78429 33554432000 4194304 4650419 140735461196320 18446744073709551615 4367518 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 445968

[startup+762.307 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 3496
/proc/meminfo: memFree=24059404/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=452648 CPUtime=3045.11 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 457454 0 0 0 304332 179 0 0 25 0 4 0 599897823 463511552 78272 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 113162 78272 392 112 0 108127 0
[pid=3469/tid=3470] ppid=3467 vsize=452648 CPUtime=762.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 124445 0 0 0 76180 49 0 0 25 0 4 0 599897823 463511552 78272 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=452648 CPUtime=762.3 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 118771 0 0 0 76188 42 0 0 25 0 4 0 599897823 463511552 78272 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=452648 CPUtime=758.16 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 149142 0 0 0 75754 62 0 0 25 0 4 0 599897823 463511552 78272 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 452648

[startup+822.3 s]
/proc/loadavg: 8.10 8.10 8.03 9/184 3497
/proc/meminfo: memFree=24017712/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=478984 CPUtime=3284.76 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 478641 0 0 0 328287 189 0 0 25 0 4 0 599897823 490479616 86134 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 119746 86134 392 112 0 114711 0
[pid=3469/tid=3470] ppid=3467 vsize=478984 CPUtime=822.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 131724 0 0 0 82176 53 0 0 25 0 4 0 599897823 490479616 86134 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=478984 CPUtime=822.3 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 124027 0 0 0 82185 45 0 0 25 0 4 0 599897823 490479616 86134 33554432000 4194304 4650419 140735461196320 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=478984 CPUtime=817.83 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 156300 0 0 0 81718 65 0 0 25 0 4 0 599897823 490479616 86134 33554432000 4194304 4650419 140735461196320 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 478984

[startup+882.3 s]
/proc/loadavg: 8.08 8.09 8.03 9/184 3499
/proc/meminfo: memFree=24022164/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=479352 CPUtime=3524.44 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 499205 0 0 0 352242 202 0 0 25 0 4 0 599897823 490856448 86651 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 119838 86651 392 112 0 114803 0
[pid=3469/tid=3470] ppid=3467 vsize=479352 CPUtime=882.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 138485 0 0 0 88172 57 0 0 25 0 4 0 599897823 490856448 86651 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=479352 CPUtime=882.3 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 130780 0 0 0 88181 49 0 0 25 0 4 0 599897823 490856448 86651 33554432000 4194304 4650419 140735461196320 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=479352 CPUtime=877.5 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 163225 0 0 0 87681 69 0 0 25 0 4 0 599897823 490856448 86651 33554432000 4194304 4650419 140735461196320 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 479352

[startup+942.301 s]
/proc/loadavg: 8.03 8.07 8.03 9/184 3500
/proc/meminfo: memFree=23939816/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=610544 CPUtime=3764.13 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 517468 0 0 0 376204 209 0 0 25 0 4 0 599897823 625197056 97892 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 152636 97892 392 112 0 147601 0
[pid=3469/tid=3470] ppid=3467 vsize=610544 CPUtime=942.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 146521 0 0 0 94169 60 0 0 25 0 4 0 599897823 625197056 97892 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476365 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=610544 CPUtime=942.3 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 135297 0 0 0 94178 52 0 0 25 0 4 0 599897823 625197056 97892 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=610544 CPUtime=937.18 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 168704 0 0 0 93648 70 0 0 25 0 4 0 599897823 625197056 97892 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 610544

[startup+1002.3 s]
/proc/loadavg: 8.05 8.07 8.03 9/184 3502
/proc/meminfo: memFree=23969312/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=610664 CPUtime=4003.8 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 534552 0 0 0 400165 215 0 0 25 0 4 0 599897823 625319936 96126 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476356 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 152666 96126 392 112 0 147631 0
[pid=3469/tid=3470] ppid=3467 vsize=610664 CPUtime=1002.3 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 150187 0 0 0 100169 61 0 0 25 0 4 0 599897823 625319936 96126 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=610664 CPUtime=1002.3 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 140764 0 0 0 100174 56 0 0 25 0 4 0 599897823 625319936 96126 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=610664 CPUtime=996.86 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 176655 0 0 0 99614 72 0 0 25 0 4 0 599897823 625319936 96126 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 610664

[startup+1062.3 s]
/proc/loadavg: 8.05 8.07 8.03 9/184 3504
/proc/meminfo: memFree=23919444/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=610664 CPUtime=4243.48 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 550837 0 0 0 424130 218 0 0 25 0 4 0 599897823 625319936 96360 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 152666 96360 392 112 0 147631 0
[pid=3469/tid=3470] ppid=3467 vsize=610664 CPUtime=1062.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 158609 0 0 0 106167 62 0 0 25 0 4 0 599897823 625319936 96360 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=610664 CPUtime=1062.31 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 141564 0 0 0 106174 57 0 0 25 0 4 0 599897823 625319936 96360 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=610664 CPUtime=1056.53 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 183718 0 0 0 105580 73 0 0 25 0 4 0 599897823 625319936 96360 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 610664

[startup+1122.3 s]
/proc/loadavg: 8.05 8.07 8.03 9/184 3505
/proc/meminfo: memFree=23940256/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=610664 CPUtime=4483.16 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 564605 0 0 0 448094 222 0 0 25 0 4 0 599897823 625319936 96347 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 152666 96347 392 112 0 147631 0
[pid=3469/tid=3470] ppid=3467 vsize=610664 CPUtime=1122.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 165593 0 0 0 112166 63 0 0 25 0 4 0 599897823 625319936 96347 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=610664 CPUtime=1122.31 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 141564 0 0 0 112174 57 0 0 25 0 4 0 599897823 625319936 96347 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=610664 CPUtime=1116.2 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 190502 0 0 0 111545 75 0 0 25 0 4 0 599897823 625319936 96347 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 610664

[startup+1182.3 s]
/proc/loadavg: 8.13 8.09 8.03 9/184 3507
/proc/meminfo: memFree=23947792/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=715224 CPUtime=4722.84 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 575262 0 0 0 472059 225 0 0 25 0 4 0 599897823 732389376 97737 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 178806 97737 392 112 0 173771 0
[pid=3469/tid=3470] ppid=3467 vsize=715224 CPUtime=1182.29 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 171471 0 0 0 118164 65 0 0 25 0 4 0 599897823 732389376 97737 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=715224 CPUtime=1182.31 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 141564 0 0 0 118174 57 0 0 25 0 4 0 599897823 732389376 97737 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=715224 CPUtime=1175.88 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 195188 0 0 0 117512 76 0 0 25 0 4 0 599897823 732389376 97737 33554432000 4194304 4650419 140735461196320 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 715224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.08 8.03 5/179 3508
/proc/meminfo: memFree=24406996/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=584612 CPUtime=4800.35 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 580495 0 0 0 479808 227 0 0 25 0 4 0 599897823 598642688 95108 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 146153 95108 392 112 0 141118 0
[pid=3469/tid=3470] ppid=3467 vsize=584612 CPUtime=1201.7 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 173974 0 0 0 120104 66 0 0 25 0 4 0 599897823 598642688 95108 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=584612 CPUtime=1201.72 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 141564 0 0 0 120115 57 0 0 25 0 4 0 599897823 598642688 95108 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=584612 CPUtime=1195.18 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 197814 0 0 0 119440 78 0 0 25 0 4 0 599897823 598642688 95108 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 584612

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

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

[startup+1201.7 s]
/proc/loadavg: 8.09 8.08 8.03 5/179 3508
/proc/meminfo: memFree=24406996/32951124 swapFree=67111348/67111528
[pid=3469] ppid=3467 vsize=584612 CPUtime=4800.35 cores=1,3,5,7
/proc/3469/stat : 3469 (strangenight1-m) R 3467 3469 3013 0 -1 4202496 580495 0 0 0 479808 227 0 0 25 0 4 0 599897823 598642688 95108 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3469/statm: 146153 95108 392 112 0 141118 0
[pid=3469/tid=3470] ppid=3467 vsize=584612 CPUtime=1201.7 cores=1,3,5,7
/proc/3469/task/3470/stat : 3470 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 173974 0 0 0 120104 66 0 0 25 0 4 0 599897823 598642688 95108 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3469/tid=3471] ppid=3467 vsize=584612 CPUtime=1201.72 cores=1,3,5,7
/proc/3469/task/3471/stat : 3471 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 141564 0 0 0 120115 57 0 0 25 0 4 0 599897823 598642688 95108 33554432000 4194304 4650419 140735461196320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3469/tid=3472] ppid=3467 vsize=584612 CPUtime=1195.18 cores=1,3,5,7
/proc/3469/task/3472/stat : 3472 (strangenight1-m) R 3467 3469 3013 0 -1 4202560 197814 0 0 0 119440 78 0 0 25 0 4 0 599897823 598642688 95108 33554432000 4194304 4650419 140735461196320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 584612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.4
CPU user time (s): 4798.11
CPU system time (s): 2.29465
CPU usage (%): 399.458
Max. virtual memory (cumulated for all children) (KiB): 715224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.11
system time used= 2.29465
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580496
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= 606
involuntary context switches= 33895

runsolver used 1.84772 second user time and 4.72728 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 19:04:33
IDJOB=3175188
IDBENCH=82806
IDSOLVER=1588
FILE ID=node111/3175188-1304096673
RUNJOBID= node111-1304096673-3446
PBS_JOBID= 13170585
Free space on /tmp= 70892 MiB

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

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

MD5SUM BENCH= 3ecea073a44f0b1adf464774647edbfb
RANDOM SEED=2142166282

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24787080 kB
Buffers:       1281856 kB
Cached:        6326788 kB
SwapCached:        124 kB
Active:        3285068 kB
Inactive:      4391464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24787080 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12604 kB
Writeback:           0 kB
AnonPages:       67792 kB
Mapped:          15264 kB
Slab:           425272 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   276828 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= 70892 MiB
End job on node111 at 2011-04-29 19:24:37