Trace number 3369099

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.32 1203.47

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
MD5SUMe096925b96a6999132833f44e4f216d7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.3388
Satisfiable
(Un)Satisfiability was proved
Number of variables1638
Number of clauses253275
Sum of the clauses size508108
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2253235
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

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-3369099-1305434367.cnf'
0.00/0.00	c -- header says num vars:           1638
0.00/0.00	c -- header says num clauses:      253275
0.06/0.05	c -- clauses added:            0 learnts,       253275 normals,            0 xors
0.06/0.05	c -- vars added       1638
0.06/0.05	c Parsing time:  0.09 s
0.06/0.06	c  N st     0         0      1638        40    253235         0    508108         0   no data   no data  --
0.06/0.06	c asymm  cl-useful: 0/40/40 lits-rem:0 time: 0.00
0.06/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
0.06/0.19	c bin-w-bin subsume rem            0 bins  time:  0.18 s
0.06/0.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
0.06/0.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1638 time:  0.10 s
0.06/0.25	c Removed useless bin:       0  fixed:     0  props:   1.27M  time:  0.10 s
0.66/0.93	c lits-rem:       138  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.32 s
0.66/0.93	c Finding binary XORs  T:     0.02 s  found:       0
0.66/0.93	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.66/0.93	c calculated reachability. Time: 0.00
0.66/0.93	c Calc default polars -  time:   0.01 s pos:       0 undec:      40 neg:    1598
0.66/0.93	c =========================================================================================
0.66/0.93	c types(t): F = full restart, N = normal restart
0.66/0.93	c types(t): S = simplification begin/end, E = solution found
0.66/0.93	c restart types(rt): st = static, dy = dynamic
0.66/0.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.66/0.93	c  B st     0         0      1598      5278    246359         0    737693         0   no data   no data  --
0.66/0.93	c  N dy    20      4361      1598      5278    246359      4246    737683    657435     12.85     13.53  --
4.45/1.18	c  N dy    36      8598      1598      5278    246359      5938    737659    662154     12.29     12.95  --
6.28/1.67	c  N dy    41     12718      1598      5278    246359      5827    737659    470804     11.26     11.89  --
8.26/2.18	c  N dy    53     17304      1598      5278    246359     10290    737654    923329     10.99     11.59  --
9.87/2.59	c  N dy    80     21406      1598      5278    246359      8810    737650    703519     11.50     14.71  --
11.50/2.96	c  F st    88     25002      1598      5278    246359     12347    737650    943742     11.17      9.99  --
11.85/3.07	c  N st    90     25629      1598      5278    246359     12945    737650    982197     11.17   no data  --
13.85/3.50	c  N dy    94     30000      1598      5278    246359     10546    737650    688561     11.17   no data  --
13.85/3.50	c  S st    94     30000      1598      5278    246359     10546    737650    688561     11.17   no data  --
13.85/3.55	c  S st    94     30500      1598      5278    246359     11044    737649    745198     11.17   no data  --
13.85/3.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
13.85/3.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.05/3.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.2M T:  1.38
15.47/3.97	c bin-w-bin subsume rem            0 bins  time:  0.12 s
20.63/5.29	c subs with bin:        0  lits-rem:      4316  v-fix:    0  time:  5.26 s
21.03/5.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
21.03/5.34	c Removed useless bin:       0  fixed:     0  props:   1.24M  time:  0.10 s
34.59/8.76	c lits-rem:      3565  cl-subs:      674  v-elim:      0  v-fix:    0  time: 13.63 s
35.39/8.97	c asymm  cl-useful: 914/1654/5278 lits-rem:12309 time: 0.85
35.39/8.98	c calculated reachability. Time: 0.01
35.39/8.98	c  N dy    94     30500      1598      5278    246359     10370    714802    699115     11.17   no data  --
36.99/9.38	c  N dy   107     34571      1598      5278    246359     14330    714802   1154815     11.11     11.71  --
38.97/9.86	c  N dy   118     38760      1598      5278    246359     10727    714802    630413     10.94     11.69  --
41.37/10.42	c  N dy   124     42949      1598      5278    246359     14817    714802    910349     10.75     11.41  --
42.56/10.78	c  S st   137     45752      1598      5278    246359      8819    714802    459769     10.79   no data  --
42.96/10.82	c  S st   137     46255      1598      5278    246359      9321    714802    501151     10.79   no data  --
42.96/10.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
42.96/10.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
44.16/11.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 14.1M T:  1.27
44.16/11.19	c bin-w-bin subsume rem            0 bins  time:  0.12 s
49.74/12.50	c subs with bin:        0  lits-rem:      3162  v-fix:    0  time:  5.20 s
49.74/12.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
49.74/12.55	c Removed useless bin:       0  fixed:     0  props:   1.24M  time:  0.10 s
61.71/15.59	c lits-rem:       485  cl-subs:      133  v-elim:      0  v-fix:    0  time: 12.13 s
62.11/15.60	c vivif2 --  cl tried     5278 cl shrink     3091 lits rem      35121 time: 0.04
62.11/15.62	c vivif2 --  cl tried     9188 cl shrink        0 lits rem          0 time: 0.06
62.91/15.82	c asymm  cl-useful: 0/1611/5278 lits-rem:0 time: 0.82
62.91/15.83	c calculated reachability. Time: 0.00
62.91/15.83	c  N dy   137     46255      1598      5278    246359      9188    675744    493349     10.79   no data  --
64.90/16.32	c  N dy   143     50683      1598      5278    246359     13516    675744    794514     10.66     11.27  --
66.50/16.76	c  N dy   163     54687      1598      5278    246359     17429    675744   1237103     10.75     11.54  --
68.53/17.24	c  N dy   175     58760      1598      5278    246359     11659    675744    628609     10.65     13.47  --
70.09/17.68	c  N dy   200     62829      1598      5278    246359     15632    675744   1113213     10.88     14.79  --
72.51/18.25	c  N dy   217     67746      1598      5278    246359     20377    675744   1405164     10.83     11.79  --
73.27/18.48	c  S st   222     69382      1598      5278    246359     11274    675744    606411     10.79   no data  --
73.67/18.53	c  S st   222     69884      1598      5278    246359     11776    675744    666464     10.79   no data  --
73.67/18.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
73.67/18.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.87/18.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.2M T:  1.36
75.27/18.93	c bin-w-bin subsume rem            0 bins  time:  0.12 s
80.86/20.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.50 s
80.86/20.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
80.86/20.36	c Removed useless bin:       0  fixed:     0  props:   1.24M  time:  0.10 s
92.82/23.37	c lits-rem:       710  cl-subs:      231  v-elim:      0  v-fix:    0  time: 12.00 s
92.82/23.37	c vivif2 --  cl tried     5278 cl shrink        0 lits rem          0 time: 0.01
92.82/23.39	c vivif2 --  cl tried    11545 cl shrink        0 lits rem          0 time: 0.07
93.63/23.59	c asymm  cl-useful: 0/1555/5278 lits-rem:0 time: 0.80
93.63/23.59	c calculated reachability. Time: 0.00
93.63/23.59	c  N dy   222     69884      1598      5278    246359     11545    675735    661575     10.79   no data  --
96.01/24.15	c  N dy   236     75329      1598      5278    246359     16836    675735   1010871     10.68     11.29  --
98.41/24.77	c  N dy   249     80491      1598      5278    246359     21879    675735   1500023     10.60     11.19  --
101.20/25.47	c  N dy   276     86358      1598      5278    246360     15869    675735    940645     10.61     11.38  --
102.00/25.60	c  F st   279     87500      1598      5278    246360     16983    675735   1050386     10.61     10.00  --
104.79/26.35	c  N dy   285     92695      1598      5278    246360     22016    675735   1708587     10.61   no data  --
108.77/27.34	c  N dy   308     99211      1598      5278    246360     15765    675735    865289     10.65     11.25  --
111.58/28.04	c  S st   348    104827      1598      5278    246361     21268    675735   1584997     10.88   no data  --
112.00/28.12	c  S st   348    105330      1598      5278    246361     21770    675735   1630013     10.88   no data  --
112.00/28.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
112.00/28.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.37/28.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 23.1M T:  2.34
114.77/28.80	c bin-w-bin subsume rem            0 bins  time:  0.12 s
119.95/30.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.28 s
119.95/30.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
119.95/30.18	c Removed useless bin:       0  fixed:     0  props:   1.24M  time:  0.10 s
131.51/33.07	c lits-rem:      1328  cl-subs:      456  v-elim:      0  v-fix:    0  time: 11.54 s
131.51/33.08	c vivif2 --  cl tried     5278 cl shrink        0 lits rem          0 time: 0.01
131.91/33.11	c vivif2 --  cl tried    21314 cl shrink      144 lits rem        154 time: 0.14
132.72/33.33	c asymm  cl-useful: 0/1631/5278 lits-rem:0 time: 0.86
132.72/33.33	c calculated reachability. Time: 0.00
132.72/33.33	c  N dy   348    105330      1598      5278    246361     21314    675735   1597355     10.88   no data  --
137.11/34.45	c  N dy   391    112085      1598      5278    246362     14262    675735    763823     11.16     11.84  --
141.09/35.45	c  N dy   434    119279      1598      5278    246362     21268    675735   1599990     11.33     26.30  --
147.53/37.07	c  N dy   480    127745      1598      5278    246362     14874    675735    718589     11.51     12.13  --
151.07/37.98	c  N dy   496    135966      1598      5278    246362     22908    675735   1324959     11.41     27.20  --
155.89/39.15	c  N dy   519    144790      1598      5278    246362     15922    675735    719993     11.34     11.96  --
160.68/40.33	c  N dy   563    154164      1598      5278    246363     25062    675735   1647834     11.42     12.05  --
163.03/40.98	c  S st   569    157995      1598      5278    246363     28776    675735   1867961     11.37      8.51  --
163.43/41.06	c  S st   569    158497      1598      5278    246363     29274    675735   1907568     11.37   no data  --
163.43/41.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
163.43/41.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
165.82/41.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 25.5M T:  2.43
166.22/41.77	c bin-w-bin subsume rem            0 bins  time:  0.12 s
171.81/43.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.52 s
171.81/43.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
172.21/43.20	c Removed useless bin:       0  fixed:     0  props:   1.24M  time:  0.10 s
184.58/46.38	c lits-rem:      1638  cl-subs:     1084  v-elim:      0  v-fix:    0  time: 12.66 s
184.58/46.38	c vivif2 --  cl tried     5278 cl shrink        0 lits rem          0 time: 0.02
184.98/46.43	c vivif2 --  cl tried    28190 cl shrink       69 lits rem         69 time: 0.18
185.78/46.65	c asymm  cl-useful: 0/1103/5278 lits-rem:0 time: 0.90
185.78/46.66	c calculated reachability. Time: 0.01
185.78/46.66	c  N dy   569    158497      1598      5278    246363     28190    675735   1864879     11.37   no data  --
192.15/48.28	c  N dy   604    168686      1598      5278    246363     21522    675735   1220490     11.35     13.53  --
198.54/49.89	c  N dy   639    179537      1598      5278    246364     32046    675735   1995715     11.33     15.82  --
205.72/51.66	c  N dy   668    191380      1598      5278    246364     26056    675735   1264740     11.28     11.98  --
212.11/53.21	c  N dy   704    203697      1598      5278    246364     19566    675735    844994     11.20     11.85  --
219.28/55.05	c  N dy   758    216973      1598      5278    246364     32481    675735   2131317     11.23     11.82  --
228.85/57.45	c  N dy   813    231055      1598      5278    246364     26717    675735   1193483     11.30     11.91  --
232.03/58.28	c  S st   833    237745      1598      5278    246364     33267    675735   1907974     11.28     11.24  --
232.43/58.37	c  S st   833    238246      1598      5278    246364     33766    675735   1949203     11.28   no data  --
232.43/58.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
232.43/58.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
234.86/58.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 24.3M T:  2.43
235.27/59.08	c bin-w-bin subsume rem            0 bins  time:  0.12 s
240.81/60.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.58 s
241.21/60.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
241.21/60.52	c Removed useless bin:       0  fixed:     0  props:   1.24M  time:  0.10 s
253.58/63.62	c lits-rem:      1145  cl-subs:     1333  v-elim:      0  v-fix:    0  time: 12.33 s
253.58/63.62	c vivif2 --  cl tried     5278 cl shrink        0 lits rem          0 time: 0.01
253.58/63.67	c vivif2 --  cl tried    32433 cl shrink       17 lits rem         17 time: 0.20
254.38/63.89	c asymm  cl-useful: 0/720/5278 lits-rem:0 time: 0.87
254.78/63.90	c calculated reachability. Time: 0.00
254.78/63.90	c  N dy   833    238246      1598      5278    246364     32433    675735   1903876     11.28   no data  --
263.55/66.19	c  N dy   912    253661      1598      5278    246365     27013    675735   1545604     11.39     12.17  --
275.52/69.11	c  N dy   984    269924      1598      5278    246365     21417    675735    875472     11.45     21.82  --
285.49/71.62	c  N dy  1063    288005      1598      5278    246366     39006    675735   2396397     11.52     12.30  --
296.29/74.36	c  F st  1110    306250      1598      5278    246366     34380    675735   1676224     11.43   no data  --
296.70/74.42	c  N st  1111    306502      1598      5278    246366     34623    675735   1697561     11.43   no data  --
309.04/77.57	c  N dy  1192    326750      1598      5278    246367     31014    675735   1797166     11.51     12.17  --
325.79/81.70	c  N dy  1311    347221      1598      5278    246367     26634    675735   1148392     11.70     12.41  --
330.97/83.08	c  S st  1347    357370      1598      5278    246367     36444    675735   1843236     11.70      7.92  --
331.39/83.14	c  S st  1347    357873      1598      5278    246367     36945    675735   1895486     11.70   no data  --
331.39/83.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
331.39/83.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
333.76/83.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 23.5M T:  2.25
334.16/83.80	c bin-w-bin subsume rem            0 bins  time:  0.12 s
339.75/85.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.80 s
339.75/85.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
339.75/85.30	c Removed useless bin:       0  fixed:     0  props:   1.24M  time:  0.08 s
352.11/88.33	c lits-rem:       771  cl-subs:     1761  v-elim:      0  v-fix:    0  time: 12.06 s
352.11/88.33	c vivif2 --  cl tried     5278 cl shrink        1 lits rem          1 time: 0.01
352.11/88.39	c vivif2 --  cl tried    35184 cl shrink       56 lits rem         58 time: 0.22
352.91/88.60	c asymm  cl-useful: 0/1109/5278 lits-rem:0 time: 0.86
353.34/88.61	c calculated reachability. Time: 0.00
353.34/88.61	c  N dy  1347    357873      1598      5278    246367     35184    675734   1843234     11.70   no data  --
366.07/91.83	c  N dy  1415    378039      1598      5278    246367     29546    675734   1285146     11.69     12.32  --
378.03/94.81	c  N dy  1461    398042      1598      5278    246368     48940    675734   2557232     11.62     12.50  --
390.80/98.07	c  N dy  1534    418335      1598      5278    246370     42424    675734   2517995     11.62     12.27  --
406.40/101.95	c  N dy  1622    438393      1598      5278    246370     34708    675734   1626425     11.68     14.34  --
420.71/105.56	c  N dy  1721    458450      1598      5278    246371     54163    675734   3479640     11.75     27.31  --
435.88/109.30	c  N dy  1817    478902      1598      5278    246371     45920    675734   3013011     11.83     12.49  --
452.63/113.52	c  N dy  1913    498912      1598      5278    246372     36256    675734   1895422     11.90     13.25  --
469.38/117.77	c  N dy  2000    518921      1598      5278    246372     55751    675734   3831280     11.94     17.62  --
483.34/121.20	c  S st  2076    536810      1598      5278    246372     42997    675734   2666322     11.99     10.74  --
483.34/121.29	c  S st  2076    537312      1598      5278    246372     43498    675734   2726961     11.99   no data  --
483.74/121.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
483.74/121.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
486.93/122.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 31.7M T:  3.30
487.33/122.24	c bin-w-bin subsume rem            0 bins  time:  0.12 s
493.32/123.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.93 s
493.32/123.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
493.32/123.78	c Removed useless bin:       0  fixed:     0  props:   1.23M  time:  0.10 s
520.07/130.44	c lits-rem:      1222  cl-subs:     1785  v-elim:      0  v-fix:    0  time: 26.55 s
520.07/130.45	c vivif2 --  cl tried     5278 cl shrink        2 lits rem          2 time: 0.01
520.48/130.51	c vivif2 --  cl tried    41713 cl shrink      183 lits rem        210 time: 0.26
521.24/130.76	c asymm  cl-useful: 0/541/5278 lits-rem:0 time: 0.99
521.24/130.77	c calculated reachability. Time: 0.01
521.24/130.77	c  N dy  2076    537312      1598      5278    246372     41713    675732   2673995     11.99   no data  --
541.19/135.71	c  N dy  2150    557377      1598      5278    246372     61200    675732   4502782     12.00     31.06  --
557.14/139.71	c  N dy  2209    577509      1598      5278    246373     49609    675732   3026480     11.97     12.73  --
575.50/144.35	c  N dy  2290    598139      1598      5278    246373     37606    675732   1783368     11.99     12.68  --
591.04/148.30	c  N dy  2353    618199      1598      5278    246373     56958    675732   3425945     11.99     12.63  --
608.99/152.74	c  N dy  2430    638253      1598      5278    246373     43436    675732   2266521     12.01     17.38  --
628.54/157.65	c  N dy  2510    659365      1598      5278    246373     63993    675732   4200473     12.01     12.68  --
645.30/161.88	c  N dy  2608    679426      1598      5278    246375     49575    675732   3004502     12.05     12.95  --
667.64/167.45	c  N dy  2678    699590      1598      5278    246375     69173    675732   4844026     12.05     12.69  --
681.61/170.99	c  N dy  2735    720078      1598      5278    246375     54027    675732   2742551     12.02     12.97  --
698.75/175.27	c  N dy  2815    740425      1598      5278    246376     37828    675732   1721261     12.03     12.87  --
716.71/179.78	c  N dy  2924    760651      1598      5278    246378     57505    675732   3900251     12.07     12.80  --
743.04/186.33	c  N dy  3008    780967      1598      5278    246378     40308    675732   1812298     12.08     12.76  --
760.18/190.62	c  N dy  3085    801021      1598      5278    246378     59756    675732   3663881     12.09     12.93  --
765.37/191.95	c  S st  3102    805970      1598      5278    246378     64584    675732   4045799     12.09     11.48  --
765.79/192.10	c  S st  3102    806471      1598      5278    246378     65083    675732   4094949     12.09   no data  --
766.21/192.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
766.21/192.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
771.34/193.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 42.8M T:  5.37
772.14/193.62	c bin-w-bin subsume rem            0 bins  time:  0.12 s
780.12/195.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.10 s
780.12/195.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
780.52/195.71	c Removed useless bin:       0  fixed:     0  props:   1.23M  time:  0.10 s
872.27/218.78	c lits-rem:      2501  cl-subs:     3882  v-elim:      0  v-fix:    0  time: 91.94 s
872.27/218.78	c vivif2 --  cl tried     5278 cl shrink        2 lits rem          2 time: 0.01
872.67/218.88	c vivif2 --  cl tried    61201 cl shrink      211 lits rem        212 time: 0.41
873.87/219.16	c asymm  cl-useful: 0/904/5278 lits-rem:0 time: 1.12
873.87/219.17	c calculated reachability. Time: 0.00
873.87/219.17	c  N dy  3102    806471      1598      5278    246378     61201    675730   4004638     12.09   no data  --
894.21/224.23	c  N dy  3173    826501      1598      5278    246380     42818    675730   2200524     12.09     13.13  --
912.16/228.70	c  N dy  3230    846513      1598      5278    246381     62054    675730   3770116     12.07     29.23  --
934.10/234.24	c  N dy  3294    867478      1598      5278    246382     43713    675730   2107735     12.08     12.96  --
952.05/238.73	c  N dy  3371    887685      1598      5278    246382     63329    675730   3676822     12.08     12.76  --
974.39/244.38	c  N dy  3444    907724      1598      5278    246384     42940    675730   1983499     12.08     13.41  --
989.14/248.10	c  N dy  3490    927773      1598      5278    246384     62451    675730   3703564     12.05     12.78  --
1012.28/253.82	c  N dy  3579    947980      1598      5278    246385     41327    675730   1839622     12.07     12.75  --
1029.07/258.11	c  N dy  3652    967984      1598      5278    246385     60730    675730   3621097     12.08     12.75  --
1053.37/264.16	c  N dy  3741    988082      1598      5278    246386     80230    675730   5525704     12.11     27.55  --
1074.11/269.36	c  N dy  3802   1009682      1598      5278    246387     59420    675730   3298257     12.10     12.97  --
1095.65/274.74	c  N dy  3878   1029986      1598      5278    246389     79133    675730   5140124     12.11     12.78  --
1116.83/280.08	c  N dy  3955   1050063      1598      5278    246389     55962    675730   3090348     12.11     18.88  --
1141.93/286.35	c  N dy  4021   1070092      1598      5278    246389     75344    675730   4607141     12.11     12.76  --
1143.91/286.85	c  F st  4029   1071877      1598      5278    246389     77102    675730   4831237     12.12   no data  --
1164.66/292.01	c  N dy  4078   1090545      1598      5278    246389     51565    675730   2777932     12.11     12.90  --
1185.40/297.23	c  N dy  4163   1110634      1598      5278    246390     71083    675730   4473034     12.13     14.64  --
1212.93/304.12	c  N dy  4246   1131096      1598      5278    246392     46307    675730   2121104     12.14     12.87  --
1232.07/308.97	c  N dy  4332   1151618      1598      5278    246392     66250    675730   4109405     12.16     12.81  --
1263.58/316.84	c  N dy  4440   1171941      1598      5278    246393     85936    675730   6134683     12.18     12.90  --
1287.95/322.92	c  N dy  4521   1191984      1598      5278    246394     59832    675730   3648814     12.19     22.90  --
1313.85/329.49	c  S st  4615   1209708      1598      5278    246395     77071    675730   5345673     12.22   no data  --
1314.68/329.68	c  S st  4615   1210208      1598      5278    246395     77571    675730   5397458     12.22   no data  --
1315.04/329.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1315.04/329.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1323.05/331.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 56.6M T:  8.13
1323.81/331.94	c bin-w-bin subsume rem            0 bins  time:  0.12 s
1331.40/333.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.56 s
1331.40/333.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
1331.40/333.89	c Removed useless bin:       0  fixed:     0  props:   1.23M  time:  0.10 s
1542.03/386.62	c lits-rem:      6339  cl-subs:     4868  v-elim:      0  v-fix:    0  time: 210.15 s
1542.03/386.62	c vivif2 --  cl tried     5278 cl shrink        4 lits rem          4 time: 0.01
1542.45/386.75	c vivif2 --  cl tried    72703 cl shrink     1366 lits rem       1874 time: 0.51
1543.61/387.05	c asymm  cl-useful: 0/678/5278 lits-rem:0 time: 1.21
1543.61/387.06	c calculated reachability. Time: 0.01
1543.61/387.06	c  N dy  4615   1210208      1598      5278    246395     72703    675726   5286508     12.22   no data  --
1575.93/395.10	c  N dy  4710   1230243      1598      5278    246399     92139    675726   7309302     12.24     12.91  --
1597.07/400.45	c  N dy  4795   1250262      1598      5278    246399     65009    675726   3974168     12.25     15.20  --
1623.39/407.04	c  N dy  4859   1270510      1598      5278    246401     84653    675726   6022303     12.24     12.96  --
1651.73/414.10	c  N dy  4946   1290747      1598      5278    246403     56756    675726   2932563     12.26     13.05  --
1675.24/420.02	c  N dy  5030   1311337      1598      5278    246405     76788    675726   5107070     12.27     13.04  --
1705.96/427.76	c  N dy  5100   1331338      1598      5278    246407     96173    675726   6707616     12.27     12.94  --
1727.15/433.04	c  N dy  5184   1351350      1598      5278    246408     67078    675726   4072717     12.28     21.04  --
1757.46/440.67	c  N dy  5296   1371450      1598      5278    246409     86656    675726   6095261     12.31     19.52  --
1785.35/447.64	c  N dy  5369   1391470      1598      5278    246410     56558    675726   3099874     12.31     16.43  --
1808.48/453.45	c  N dy  5463   1411552      1598      5278    246410     76114    675726   5040344     12.33     17.19  --
1843.18/462.15	c  N dy  5559   1431710      1598      5278    246412     95668    675726   7040766     12.35     13.11  --
1869.51/468.71	c  N dy  5626   1452597      1598      5278    246414     65455    675726   3821797     12.35     13.32  --
1896.23/475.45	c  N dy  5704   1473452      1598      5278    246414     85704    675726   5746008     12.36     13.11  --
1933.73/484.84	c  N dy  5772   1493845      1598      5278    246414     54024    675726   2849253     12.36     13.08  --
1957.27/490.78	c  N dy  5854   1514087      1598      5278    246419     73667    675726   4635847     12.37     13.02  --
1988.38/498.59	c  N dy  5924   1534151      1598      5278    246420     93134    675726   6430804     12.36     18.91  --
2020.30/506.51	c  N dy  5987   1554266      1598      5278    246420     60223    675726   3373012     12.36     13.09  --
2047.47/513.39	c  N dy  6052   1574306      1598      5278    246423     79617    675726   5209273     12.35     13.07  --
2084.92/522.73	c  N dy  6111   1594989      1598      5278    246423     99602    675726   7037913     12.35     13.22  --
2115.63/530.45	c  N dy  6224   1615098      1598      5278    246424     65861    675726   3599199     12.37     13.39  --
2141.56/536.94	c  N dy  6280   1635500      1598      5278    246424     85632    675726   5600355     12.36     13.05  --
2182.26/547.18	c  N dy  6392   1655512      1598      5278    246424    105160    675726   7570562     12.39     13.14  --
2208.17/553.68	c  N dy  6440   1676054      1598      5278    246424     70738    675726   4000180     12.37     13.10  --
2236.14/560.67	c  N dy  6507   1696367      1598      5278    246424     90535    675726   5842933     12.37     13.09  --
2259.63/566.58	c  S st  6566   1710208      1598      5278    246425    103958    675726   7118450     12.37   no data  --
2260.83/566.85	c  S st  6566   1710711      1598      5278    246425    104459    675726   7173912     12.37   no data  --
2260.83/566.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2260.83/566.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2270.40/569.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 66.6M T:  9.60
2271.60/569.54	c bin-w-bin subsume rem            0 bins  time:  0.12 s
2279.18/571.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.56 s
2279.18/571.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
2279.18/571.48	c Removed useless bin:       0  fixed:     0  props:   1.22M  time:  0.10 s
2573.17/645.14	c lits-rem:      1344  cl-subs:     5049  v-elim:      0  v-fix:    0  time: 293.39 s
2573.17/645.14	c vivif2 --  cl tried     5278 cl shrink        4 lits rem          4 time: 0.01
2574.01/645.35	c vivif2 --  cl tried    99410 cl shrink     2624 lits rem       4719 time: 0.81
2575.15/645.64	c asymm  cl-useful: 0/586/5278 lits-rem:0 time: 1.18
2575.15/645.65	c calculated reachability. Time: 0.00
2575.15/645.65	c  N dy  6566   1710711      1598      5278    246426     99409    675722   7032882     12.37   no data  --
2605.47/653.29	c  N dy  6637   1730751      1598      5278    246429     63527    675722   3216766     12.38     13.12  --
2631.40/659.74	c  N dy  6752   1750892      1598      5278    246431     83077    675722   5207623     12.40     13.13  --
2666.91/668.69	c  N dy  6848   1770893      1598      5278    246432    102409    675722   6980097     12.42     24.24  --
2698.43/676.53	c  N dy  6916   1791724      1598      5278    246434     66299    675722   3259191     12.42     13.10  --
2722.79/682.66	c  N dy  6997   1812178      1598      5278    246435     86132    675722   5268692     12.44     13.10  --
2759.45/691.82	c  N dy  7127   1832767      1598      5278    246436    106189    675722   7396062     12.47     13.17  --
2788.60/699.15	c  N dy  7204   1852851      1598      5278    246438     68453    675722   3707142     12.48     18.15  --
2817.29/706.35	c  N dy  7296   1873158      1598      5278    246438     88127    675722   5625990     12.49     13.16  --
2856.79/716.28	c  N dy  7414   1893226      1598      5278    246439    107661    675722   7786443     12.51     23.26  --
2890.68/724.73	c  N dy  7450   1913634      1598      5278    246440     69201    675722   3377933     12.50     13.18  --
2915.42/730.92	c  N dy  7545   1933663      1598      5278    246440     88702    675722   5356117     12.51     26.37  --
2949.72/739.57	c  N dy  7662   1953843      1598      5278    246440    108330    675722   7443771     12.54     13.25  --
2983.22/747.96	c  N dy  7716   1975292      1598      5278    246442     69859    675722   3410784     12.53     13.44  --
3010.76/754.84	c  N dy  7781   1997708      1598      5278    246444     91478    675722   5409365     12.53     13.19  --
3040.68/762.38	c  N dy  7856   2017711      1598      5278    246446    110889    675722   7260514     12.53     13.38  --
3068.60/769.33	c  N dy  7938   2037850      1598      5278    246447     70324    675722   3456710     12.54     13.75  --
3094.12/775.79	c  N dy  8021   2058178      1598      5278    246448     90004    675722   5310339     12.54     13.22  --
3128.43/784.38	c  N dy  8109   2078229      1598      5278    246449    109528    675722   7328277     12.55     13.40  --
3164.73/793.46	c  N dy  8173   2099448      1598      5278    246451     69018    675722   3317988     12.56     13.28  --
3190.66/799.94	c  N dy  8248   2119856      1598      5278    246451     88828    675722   5211931     12.56     13.22  --
3228.55/809.49	c  N dy  8320   2142883      1598      5278    246451    111179    675722   7387192     12.56     13.37  --
3264.45/818.44	c  N dy  8411   2163704      1598      5278    246452     69340    675722   3293592     12.56     13.24  --
3289.97/824.81	c  N dy  8484   2184414      1598      5278    246452     89382    675722   5118671     12.57     13.26  --
3322.70/833.03	c  N dy  8561   2204476      1598      5278    246452    108883    675722   7055392     12.57     14.71  --
3335.86/836.38	c  S st  8597   2210713      1598      5278    246452    114981    675722   7681635     12.57   no data  --
3337.09/836.69	c  S st  8597   2211214      1598      5278    246452    115479    675722   7741223     12.57   no data  --
3337.50/836.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
3337.50/836.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3349.82/839.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 74.1M T: 12.45
3351.02/840.11	c bin-w-bin subsume rem            1 bins  time:  0.12 s
3359.43/842.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.67 s
3359.79/842.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
3359.79/842.34	c Removed useless bin:       0  fixed:     0  props:   1.22M  time:  0.10 s
3695.27/926.46	c lits-rem:      3792  cl-subs:     5229  v-elim:      0  v-fix:    0  time: 335.08 s
3695.27/926.47	c vivif2 --  cl tried     5278 cl shrink        5 lits rem          5 time: 0.02
3696.07/926.67	c vivif2 --  cl tried   110250 cl shrink     2115 lits rem       3150 time: 0.82
3697.65/927.01	c asymm  cl-useful: 0/321/5278 lits-rem:0 time: 1.34
3697.65/927.02	c calculated reachability. Time: 0.01
3697.65/927.02	c  N dy  8597   2211214      1598      5278    246451    110250    675717   7587592     12.57   no data  --
3734.76/936.34	c  N dy  8708   2231235      1598      5278    246460     66698    675717   3072457     12.59     33.75  --
3756.69/941.89	c  N dy  8774   2251904      1598      5278    246463     86717    675717   4820453     12.59     13.45  --
3783.83/948.61	c  N dy  8849   2271977      1598      5278    246463    106242    675717   6545170     12.60     27.04  --
3821.30/958.05	c  N dy  8974   2292201      1598      5278    246463    125921    675717   8541224     12.63     13.36  --
3845.25/964.00	c  N dy  9025   2313363      1598      5278    246466     82155    675717   4282711     12.62     13.34  --
3874.36/971.35	c  N dy  9139   2333918      1598      5278    246466    102119    675717   6322124     12.65     13.83  --
3908.67/979.90	c  N dy  9221   2354561      1598      5278    246467    122174    675717   8511313     12.66     13.34  --
3940.58/987.90	c  N dy  9328   2374633      1598      5278    246467     76703    675717   3959336     12.68     17.11  --
3967.32/994.68	c  N dy  9411   2395133      1598      5278    246468     96495    675717   5665897     12.69     13.39  --
4000.41/1002.97	c  N dy  9496   2415296      1598      5278    246469    116101    675717   7761985     12.70     13.85  --
4044.69/1014.02	c  N dy  9599   2439955      1598      5278    246472     74044    675717   3338837     12.71     13.61  --
4069.03/1020.12	c  N dy  9703   2460030      1598      5278    246474     93543    675717   5191889     12.73     18.90  --
4102.94/1028.66	c  N dy  9821   2480119      1598      5278    246475    113058    675717   6936383     12.75     18.90  --
4144.03/1039.01	c  N dy  9914   2500139      1598      5278    246475    132502    675717   8904458     12.76     13.46  --
4173.14/1046.23	c  N dy 10013   2520172      1598      5278    246476     85043    675717   4370632     12.77     18.94  --
4202.65/1053.68	c  N dy 10115   2540258      1598      5278    246476    104452    675717   6149483     12.78     17.93  --
4240.16/1063.08	c  N dy 10186   2560344      1598      5278    246476    123907    675717   7932658     12.78     13.72  --
4279.24/1072.82	c  N dy 10303   2581483      1598      5278    246478     76626    675717   3766825     12.80     13.62  --
4309.97/1080.58	c  N dy 10407   2603056      1598      5278    246481     97587    675717   5779606     12.81     13.58  --
4343.07/1088.82	c  N dy 10496   2623068      1598      5278    246481    117009    675717   7745330     12.82     39.66  --
4393.33/1101.42	c  N dy 10635   2643094      1598      5278    246482    136519    675717   9791359     12.86     17.94  --
4416.91/1107.39	c  N dy 10718   2663113      1598      5278    246483     86983    675717   4619598     12.87     20.69  --
4448.38/1115.20	c  N dy 10810   2683315      1598      5278    246484    106595    675717   6349690     12.88     13.89  --
4486.28/1124.73	c  N dy 10890   2704019      1598      5278    246485    126683    675717   8172228     12.88     13.83  --
4501.03/1128.42	c  S st 10927   2711217      1598      5278    246485    133642    675717   8855052     12.89      7.13  --
4502.23/1128.73	c  S st 10927   2711718      1598      5278    246485    134141    675717   8915035     12.89   no data  --
4502.23/1128.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4502.23/1128.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4516.59/1132.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 87.4M T: 14.26
4517.83/1132.64	c bin-w-bin subsume rem            0 bins  time:  0.12 s
4524.17/1134.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.25 s
4524.17/1134.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1598 time:  0.10 s
4524.17/1134.25	c Removed useless bin:       0  fixed:     0  props:   1.22M  time:  0.10 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369099-1305434367/watcher-3369099-1305434367 -o /tmp/evaluation-result-3369099-1305434367/solver-3369099-1305434367 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369099-1305434367.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.82 7.84 7.83 2/346 12561
/proc/meminfo: memFree=26149200/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=208884 CPUtime=0.01 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 1829 0 0 0 1 0 0 0 23 0 4 0 655039356 213897216 1742 33554432000 4194304 4650419 140736085677696 18446744073709551615 216634558647 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 52221 1744 343 112 0 47186 0
[pid=12561/tid=12562] ppid=12559 vsize=209148 CPUtime=0 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 501 0 0 0 0 0 0 0 24 0 4 0 655039357 214167552 1933 33554432000 4194304 4650419 140736085677696 18446744073709551615 4546990 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=209148 CPUtime=0 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 91 0 0 0 0 0 0 0 24 0 4 0 655039357 214167552 1935 33554432000 4194304 4650419 140736085677696 18446744073709551615 216634515259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=209148 CPUtime=0 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 515 0 0 0 0 0 0 0 24 0 4 0 655039357 214167552 1937 33554432000 4194304 4650419 140736085677696 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.028182 s]
/proc/loadavg: 6.82 7.84 7.83 2/346 12561
/proc/meminfo: memFree=26149200/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=285400 CPUtime=0.06 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 4244 0 0 0 4 2 0 0 18 0 4 0 655039356 292249600 4157 33554432000 4194304 4650419 140736085677696 18446744073709551615 216634176545 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 71383 4300 343 112 0 66348 0
[pid=12561/tid=12562] ppid=12559 vsize=285664 CPUtime=0.02 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 1015 0 0 0 2 0 0 0 18 0 4 0 655039357 292519936 4348 33554432000 4194304 4650419 140736085677696 18446744073709551615 4372880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=285796 CPUtime=0 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) D 12559 12561 11874 0 -1 4202560 925 0 0 0 0 0 0 0 18 0 4 0 655039357 292655104 4519 33554432000 4194304 4650419 140736085677696 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=285796 CPUtime=0.01 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 1156 0 0 0 1 0 0 0 18 0 4 0 655039357 292655104 4567 33554432000 4194304 4650419 140736085677696 18446744073709551615 216634176197 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 285400

[startup+0.194116 s]
/proc/loadavg: 6.82 7.84 7.83 2/346 12561
/proc/meminfo: memFree=26149200/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=288840 CPUtime=0.66 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 10881 0 0 0 58 8 0 0 18 0 4 0 655039356 295772160 10785 33554432000 4194304 4650419 140736085677696 18446744073709551615 4550138 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 72210 10957 383 112 0 67175 0
[pid=12561/tid=12562] ppid=12559 vsize=288972 CPUtime=0.24 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 3166 0 0 0 23 1 0 0 18 0 4 0 655039357 295907328 12366 33554432000 4194304 4650419 140736085677696 18446744073709551615 4450098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=288972 CPUtime=0.21 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) D 12559 12561 11874 0 -1 4202560 3340 0 0 0 18 3 0 0 18 0 4 0 655039357 295907328 12821 33554432000 4194304 4650419 140736085677696 18446744073709551615 216634212107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=288972 CPUtime=0.22 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 2386 0 0 0 22 0 0 0 18 0 4 0 655039357 295907328 12852 33554432000 4194304 4650419 140736085677696 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 288840

[startup+1.04083 s]
/proc/loadavg: 6.82 7.84 7.83 2/346 12561
/proc/meminfo: memFree=26149200/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=298788 CPUtime=4.05 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 21712 0 0 0 394 11 0 0 19 0 4 0 655039356 305958912 17456 33554432000 4194304 4650419 140736085677696 18446744073709551615 4311310 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 74697 17456 392 112 0 69662 0
[pid=12561/tid=12562] ppid=12559 vsize=298788 CPUtime=1.03 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 6022 0 0 0 101 2 0 0 19 0 4 0 655039357 305958912 17456 33554432000 4194304 4650419 140736085677696 18446744073709551615 4330710 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=298788 CPUtime=0.99 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 5107 0 0 0 96 3 0 0 19 0 4 0 655039357 305958912 17456 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=298788 CPUtime=1 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 4350 0 0 0 99 1 0 0 19 0 4 0 655039357 305958912 17456 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 298788

[startup+1.14081 s]
/proc/loadavg: 6.82 7.84 7.83 2/346 12561
/proc/meminfo: memFree=26149200/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=298920 CPUtime=4.45 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 22104 0 0 0 434 11 0 0 19 0 4 0 655039356 306094080 17848 33554432000 4194304 4650419 140736085677696 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 74730 17848 392 112 0 69695 0
[pid=12561/tid=12562] ppid=12559 vsize=298920 CPUtime=1.13 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 6111 0 0 0 111 2 0 0 19 0 4 0 655039357 306094080 17848 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=298920 CPUtime=1.09 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 5158 0 0 0 106 3 0 0 19 0 4 0 655039357 306094080 17848 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=298920 CPUtime=1.1 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 4478 0 0 0 109 1 0 0 19 0 4 0 655039357 306094080 17848 33554432000 4194304 4650419 140736085677696 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 298920

[startup+1.50075 s]
/proc/loadavg: 6.82 7.84 7.83 2/346 12561
/proc/meminfo: memFree=26149200/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=299640 CPUtime=5.89 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 24256 0 0 0 578 11 0 0 19 0 4 0 655039356 306831360 18519 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 74910 18519 392 112 0 69875 0
[pid=12561/tid=12562] ppid=12559 vsize=299640 CPUtime=1.48 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 6414 0 0 0 146 2 0 0 19 0 4 0 655039357 306831360 18519 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=299640 CPUtime=1.45 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 5852 0 0 0 142 3 0 0 20 0 4 0 655039357 306831360 18519 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=299640 CPUtime=1.46 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 5344 0 0 0 145 1 0 0 19 0 4 0 655039357 306831360 18519 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 299640

[startup+3.10047 s]
/proc/loadavg: 6.82 7.84 7.83 9/356 12574
/proc/meminfo: memFree=25914204/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=301364 CPUtime=12.26 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 34796 0 0 0 1212 14 0 0 25 0 4 0 655039356 308596736 21291 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 75341 21291 393 112 0 70306 0
[pid=12561/tid=12562] ppid=12559 vsize=301364 CPUtime=3.08 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 9713 0 0 0 306 2 0 0 25 0 4 0 655039357 308596736 21291 33554432000 4194304 4650419 140736085677696 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=301364 CPUtime=3.02 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 7770 0 0 0 299 3 0 0 25 0 4 0 655039357 308596736 21291 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=301364 CPUtime=3.06 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 8003 0 0 0 304 2 0 0 25 0 4 0 655039357 308596736 21291 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 301364

[startup+6.3009 s]
/proc/loadavg: 6.91 7.84 7.83 9/356 12575
/proc/meminfo: memFree=25814748/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=313160 CPUtime=25.02 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 52700 0 0 0 2485 17 0 0 25 0 4 0 655039356 320675840 36388 33554432000 4194304 4650419 140736085677696 18446744073709551615 4439648 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 78290 36388 394 112 0 73255 0
[pid=12561/tid=12562] ppid=12559 vsize=313160 CPUtime=6.28 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 15155 0 0 0 625 3 0 0 25 0 4 0 655039357 320675840 36388 33554432000 4194304 4650419 140736085677696 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=313160 CPUtime=6.19 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 10827 0 0 0 615 4 0 0 25 0 4 0 655039357 320675840 36388 33554432000 4194304 4650419 140736085677696 18446744073709551615 4439648 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=313160 CPUtime=6.26 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 12180 0 0 0 624 2 0 0 25 0 4 0 655039357 320675840 36388 33554432000 4194304 4650419 140736085677696 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 313160

[startup+12.7008 s]
/proc/loadavg: 7.00 7.85 7.83 9/356 12575
/proc/meminfo: memFree=25699096/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=315796 CPUtime=50.57 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 70957 0 0 0 5037 20 0 0 25 0 4 0 655039356 323375104 43340 33554432000 4194304 4650419 140736085677696 18446744073709551615 4439421 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 78949 43340 394 112 0 73914 0
[pid=12561/tid=12562] ppid=12559 vsize=315796 CPUtime=12.7 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 19437 0 0 0 1266 4 0 0 25 0 4 0 655039357 323375104 43343 33554432000 4194304 4650419 140736085677696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=315796 CPUtime=12.53 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 14970 0 0 0 1248 5 0 0 25 0 4 0 655039357 323375104 43343 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=315796 CPUtime=12.67 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 19218 0 0 0 1263 4 0 0 25 0 4 0 655039357 323375104 43343 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 315796

[startup+25.5005 s]
/proc/loadavg: 7.15 7.85 7.83 9/356 12575
/proc/meminfo: memFree=25580696/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=448072 CPUtime=101.6 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 106545 0 0 0 10132 28 0 0 25 0 4 0 655039356 458825728 62408 33554432000 4194304 4650419 140736085677696 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 112018 62408 394 112 0 106983 0
[pid=12561/tid=12562] ppid=12559 vsize=448072 CPUtime=25.49 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 31983 0 0 0 2542 7 0 0 25 0 4 0 655039357 458825728 62409 33554432000 4194304 4650419 140736085677696 18446744073709551615 4426641 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=448072 CPUtime=25.18 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 21801 0 0 0 2512 6 0 0 25 0 4 0 655039357 458825728 62409 33554432000 4194304 4650419 140736085677696 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=448072 CPUtime=25.45 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 29631 0 0 0 2539 6 0 0 25 0 4 0 655039357 458825728 62409 33554432000 4194304 4650419 140736085677696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 448072

[startup+51.101 s]
/proc/loadavg: 7.54 7.88 7.84 9/356 12576
/proc/meminfo: memFree=25342812/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=486372 CPUtime=203.72 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 156140 0 0 0 20335 37 0 0 25 0 4 0 655039356 498044928 87637 33554432000 4194304 4650419 140736085677696 18446744073709551615 4333763 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 121593 87637 394 112 0 116558 0
[pid=12561/tid=12562] ppid=12559 vsize=486372 CPUtime=51.09 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 47331 0 0 0 5099 10 0 0 25 0 4 0 655039357 498044928 87637 33554432000 4194304 4650419 140736085677696 18446744073709551615 4433093 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=486372 CPUtime=50.51 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 26247 0 0 0 5044 7 0 0 25 0 4 0 655039357 498044928 87637 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=486372 CPUtime=51.05 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 44074 0 0 0 5096 9 0 0 25 0 4 0 655039357 498044928 87637 33554432000 4194304 4650419 140736085677696 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.72
Current children cumulated vsize (KiB) 486372

[startup+102.301 s]
/proc/loadavg: 7.85 7.91 7.85 9/356 12577
/proc/meminfo: memFree=25128164/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=723776 CPUtime=407.95 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 261413 0 0 0 40738 57 0 0 25 0 4 0 655039356 741146624 110287 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12561/statm: 180944 110287 394 112 0 175909 0
[pid=12561/tid=12562] ppid=12559 vsize=723776 CPUtime=102.28 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 82555 0 0 0 10212 16 0 0 25 0 4 0 655039357 741146624 110287 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=723776 CPUtime=101.15 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 51866 0 0 0 10104 11 0 0 25 0 4 0 655039357 741146624 110287 33554432000 4194304 4650419 140736085677696 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=723776 CPUtime=102.24 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 64787 0 0 0 10211 13 0 0 25 0 4 0 655039357 741146624 110287 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 723776

[startup+162.3 s]

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

[pid=12561] ppid=12559 vsize=1248048 CPUtime=2801.33 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 1196866 0 0 0 279826 307 0 0 25 0 4 0 655039356 1278001152 230694 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12561/statm: 312012 230694 394 112 0 306977 0
[pid=12561/tid=12562] ppid=12559 vsize=1248048 CPUtime=702.24 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 302454 0 0 0 70145 79 0 0 25 0 4 0 655039357 1278001152 230694 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1248048 CPUtime=697.47 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 374611 0 0 0 69657 90 0 0 25 0 4 0 655039357 1278001152 230694 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1248048 CPUtime=702.19 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 263918 0 0 0 70147 72 0 0 25 0 4 0 655039357 1278001152 230694 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.33
Current children cumulated vsize (KiB) 1248048

[startup+762.301 s]
/proc/loadavg: 8.13 8.05 7.94 9/356 12595
/proc/meminfo: memFree=24286180/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=1337828 CPUtime=3040.68 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 1263028 0 0 0 303741 327 0 0 25 0 4 0 655039356 1369935872 235535 33554432000 4194304 4650419 140736085677696 18446744073709551615 4363331 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12561/statm: 334457 235535 394 112 0 329422 0
[pid=12561/tid=12562] ppid=12559 vsize=1337828 CPUtime=762.24 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 322995 0 0 0 76139 85 0 0 25 0 4 0 655039357 1369935872 235535 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1337828 CPUtime=757.48 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 390735 0 0 0 75653 95 0 0 25 0 4 0 655039357 1369935872 235535 33554432000 4194304 4650419 140736085677696 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1337828 CPUtime=762.19 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 278898 0 0 0 76143 76 0 0 25 0 4 0 655039357 1369935872 235535 33554432000 4194304 4650419 140736085677696 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.68
Current children cumulated vsize (KiB) 1337828

[startup+822.3 s]
/proc/loadavg: 8.22 8.09 7.95 9/356 12596
/proc/meminfo: memFree=24202572/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=1209136 CPUtime=3280.04 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 1317619 0 0 0 327656 348 0 0 25 0 4 0 655039356 1238155264 235703 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12561/statm: 302284 235703 394 112 0 297249 0
[pid=12561/tid=12562] ppid=12559 vsize=1209136 CPUtime=822.23 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 334374 0 0 0 82134 89 0 0 25 0 4 0 655039357 1238155264 235703 33554432000 4194304 4650419 140736085677696 18446744073709551615 4368078 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1209136 CPUtime=817.49 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 414600 0 0 0 81646 103 0 0 25 0 4 0 655039357 1238155264 235703 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1209136 CPUtime=822.2 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 279850 0 0 0 82144 76 0 0 25 0 4 0 655039357 1238155264 235703 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3280.04
Current children cumulated vsize (KiB) 1209136

[startup+882.301 s]
/proc/loadavg: 8.21 8.10 7.96 9/356 12598
/proc/meminfo: memFree=24137956/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=1340468 CPUtime=3519.35 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 1383056 0 0 0 351573 362 0 0 25 0 4 0 655039356 1372639232 248969 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12561/statm: 335117 248969 394 112 0 330082 0
[pid=12561/tid=12562] ppid=12559 vsize=1340468 CPUtime=882.21 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 349177 0 0 0 88126 95 0 0 25 0 4 0 655039357 1372639232 248969 33554432000 4194304 4650419 140736085677696 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1340468 CPUtime=877.48 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 459260 0 0 0 87638 110 0 0 25 0 4 0 655039357 1372639232 248969 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1340468 CPUtime=882.18 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 281507 0 0 0 88142 76 0 0 25 0 4 0 655039357 1372639232 248969 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365535 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.35
Current children cumulated vsize (KiB) 1340468

[startup+942.313 s]
/proc/loadavg: 8.14 8.09 7.97 9/356 12600
/proc/meminfo: memFree=24017640/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=1387272 CPUtime=3758.73 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 1642224 0 0 0 375465 408 0 0 25 0 4 0 655039356 1420566528 259212 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12561/statm: 346818 259212 394 112 0 341783 0
[pid=12561/tid=12562] ppid=12559 vsize=1387272 CPUtime=941.99 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 368851 0 0 0 94097 102 0 0 25 0 4 0 655039357 1420566528 259212 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1387272 CPUtime=937.5 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 673193 0 0 0 93609 141 0 0 25 0 4 0 655039357 1420566528 259212 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1387272 CPUtime=942.2 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 299394 0 0 0 94137 83 0 0 25 0 4 0 655039357 1420566528 259212 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.73
Current children cumulated vsize (KiB) 1387272

[startup+1002.3 s]
/proc/loadavg: 8.16 8.11 7.98 9/356 12601
/proc/meminfo: memFree=24019120/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=1384492 CPUtime=3998.02 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 1690940 0 0 0 399375 427 0 0 25 0 4 0 655039356 1417719808 261106 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12561/statm: 346123 261106 394 112 0 341088 0
[pid=12561/tid=12562] ppid=12559 vsize=1384492 CPUtime=1001.33 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 377262 0 0 0 100028 105 0 0 25 0 4 0 655039357 1417719808 261106 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1384492 CPUtime=997.49 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 687134 0 0 0 99603 146 0 0 25 0 4 0 655039357 1417719808 261106 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1384492 CPUtime=1002.18 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 310128 0 0 0 100130 88 0 0 25 0 4 0 655039357 1417719808 261106 33554432000 4194304 4650419 140736085677696 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3998.02
Current children cumulated vsize (KiB) 1384492

[startup+1062.3 s]
/proc/loadavg: 8.06 8.08 7.98 9/356 12603
/proc/meminfo: memFree=24073152/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=1450036 CPUtime=4237.36 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 1760810 0 0 0 423291 445 0 0 25 0 4 0 655039356 1484836864 258201 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12561/statm: 362509 258201 394 112 0 357474 0
[pid=12561/tid=12562] ppid=12559 vsize=1450036 CPUtime=1060.67 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 382751 0 0 0 105958 109 0 0 25 0 4 0 655039357 1484836864 258201 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1450036 CPUtime=1057.48 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 730524 0 0 0 105597 151 0 0 25 0 4 0 655039357 1484836864 258201 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1450036 CPUtime=1062.19 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 317674 0 0 0 106127 92 0 0 25 0 4 0 655039357 1484836864 258201 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4237.36
Current children cumulated vsize (KiB) 1450036

[startup+1122.3 s]
/proc/loadavg: 8.02 8.07 7.98 9/356 12604
/proc/meminfo: memFree=23949876/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=1522528 CPUtime=4476.71 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 2036771 0 0 0 447177 494 0 0 25 0 4 0 655039356 1559068672 272311 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12561/statm: 380632 272311 394 112 0 375597 0
[pid=12561/tid=12562] ppid=12559 vsize=1522528 CPUtime=1120.02 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 397052 0 0 0 111887 115 0 0 25 0 4 0 655039357 1559068672 272311 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1522528 CPUtime=1117.48 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 962228 0 0 0 111565 183 0 0 25 0 4 0 655039357 1559068672 272311 33554432000 4194304 4650419 140736085677696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1522528 CPUtime=1122.19 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 327749 0 0 0 112124 95 0 0 25 0 4 0 655039357 1559068672 272311 33554432000 4194304 4650419 140736085677696 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.71
Current children cumulated vsize (KiB) 1522528

[startup+1182.3 s]
/proc/loadavg: 8.06 8.07 7.98 9/356 12606
/proc/meminfo: memFree=23878688/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=1546420 CPUtime=4716.03 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 2079407 0 0 0 471093 510 0 0 25 0 4 0 655039356 1583534080 281466 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12561/statm: 386605 281466 394 112 0 381570 0
[pid=12561/tid=12562] ppid=12559 vsize=1546420 CPUtime=1179.36 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 416590 0 0 0 117814 122 0 0 25 0 4 0 655039357 1583534080 281466 33554432000 4194304 4650419 140736085677696 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1546420 CPUtime=1177.49 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 976415 0 0 0 117559 190 0 0 25 0 4 0 655039357 1583534080 281466 33554432000 4194304 4650419 140736085677696 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1546420 CPUtime=1182.19 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 327788 0 0 0 118124 95 0 0 25 0 4 0 655039357 1583534080 281466 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4716.03
Current children cumulated vsize (KiB) 1546420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.04 8.06 7.98 9/356 12606
/proc/meminfo: memFree=23805504/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=1677500 CPUtime=4800.23 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 2085569 0 0 0 479511 512 0 0 25 0 4 0 655039356 1717760000 287620 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12561/statm: 419375 287620 394 112 0 414340 0
[pid=12561/tid=12562] ppid=12559 vsize=1677500 CPUtime=1200.23 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 419260 0 0 0 119900 123 0 0 25 0 4 0 655039357 1717760000 287620 33554432000 4194304 4650419 140736085677696 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1677500 CPUtime=1198.6 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 979907 0 0 0 119669 191 0 0 25 0 4 0 655039357 1717760000 287620 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1677500 CPUtime=1203.3 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 327788 0 0 0 120235 95 0 0 25 0 4 0 655039357 1717760000 287620 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1677500

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

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

[startup+1203.4 s]
/proc/loadavg: 8.04 8.06 7.98 9/356 12606
/proc/meminfo: memFree=23805504/32951124 swapFree=53501236/67111528
[pid=12561] ppid=12559 vsize=1677500 CPUtime=4800.23 cores=0,2,4,6
/proc/12561/stat : 12561 (strangenight1-m) R 12559 12561 11874 0 -1 4202496 2085569 0 0 0 479511 512 0 0 25 0 4 0 655039356 1717760000 287620 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12561/statm: 419375 287620 394 112 0 414340 0
[pid=12561/tid=12562] ppid=12559 vsize=1677500 CPUtime=1200.23 cores=0,2,4,6
/proc/12561/task/12562/stat : 12562 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 419260 0 0 0 119900 123 0 0 25 0 4 0 655039357 1717760000 287620 33554432000 4194304 4650419 140736085677696 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12561/tid=12563] ppid=12559 vsize=1677500 CPUtime=1198.6 cores=0,2,4,6
/proc/12561/task/12563/stat : 12563 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 979907 0 0 0 119669 191 0 0 25 0 4 0 655039357 1717760000 287620 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12561/tid=12564] ppid=12559 vsize=1677500 CPUtime=1203.3 cores=0,2,4,6
/proc/12561/task/12564/stat : 12564 (strangenight1-m) R 12559 12561 11874 0 -1 4202560 327788 0 0 0 120235 95 0 0 25 0 4 0 655039357 1717760000 287620 33554432000 4194304 4650419 140736085677696 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1677500

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.47
CPU time (s): 4800.32
CPU user time (s): 4795.15
CPU system time (s): 5.17421
CPU usage (%): 398.874
Max. virtual memory (cumulated for all children) (KiB): 1677500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.15
system time used= 5.17421
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2085571
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= 2973
involuntary context switches= 20555

runsolver used 3.70144 second user time and 9.46256 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 06:39:27
IDJOB=3369099
IDBENCH=88229
IDSOLVER=1846
FILE ID=node103/3369099-1305434367
RUNJOBID= node103-1305434367-12547
PBS_JOBID= 13324609
Free space on /tmp= 73044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p30-s19690873.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369099-1305434367/watcher-3369099-1305434367 -o /tmp/evaluation-result-3369099-1305434367/solver-3369099-1305434367 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369099-1305434367.cnf

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

MD5SUM BENCH= e096925b96a6999132833f44e4f216d7
RANDOM SEED=1898338510

node103.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.858
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.71
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.858
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.858
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.858
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.77
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.858
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.858
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.858
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.83
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26149604 kB
Buffers:        309364 kB
Cached:        3953024 kB
SwapCached:     340192 kB
Active:        1348028 kB
Inactive:      5183504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26149604 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           14096 kB
Writeback:           0 kB
AnonPages:     1939300 kB
Mapped:          10200 kB
Slab:           152480 kB
PageTables:      52940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78296440 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= 73028 MiB
End job on node103 at 2011-05-15 06:59:33