Trace number 3175008

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.43 1201.74

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf
MD5SUMc26a52ff3714cab8bc335a81bb8af922
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 variables250
Number of clauses21250
Sum of the clauses size148750
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 521250

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-3175008-1304077324.cnf'
0.00/0.00	c -- header says num vars:            250
0.00/0.00	c -- header says num clauses:       21250
0.00/0.02	c -- clauses added:            0 learnts,        21250 normals,            0 xors
0.00/0.02	c -- vars added        250
0.00/0.02	c Parsing time:  0.05 s
0.00/0.02	c  N st     0         0       250     21250         0         0    148750         0   no data   no data  --
1.17/0.38	c asymm  cl-useful: 0/14648/21250 lits-rem:0 time: 1.46
1.17/0.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
1.56/0.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.56/0.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.56/0.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
1.56/0.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.96/0.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.39 s
1.96/0.50	c Finding binary XORs  T:     0.00 s  found:       0
1.96/0.51	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
1.96/0.51	c calculated reachability. Time: 0.00
1.96/0.51	c Calc default polars -  time:   0.00 s pos:     116 undec:       2 neg:     132
1.96/0.51	c =========================================================================================
1.96/0.51	c types(t): F = full restart, N = normal restart
1.96/0.51	c types(t): S = simplification begin/end, E = solution found
1.96/0.51	c restart types(rt): st = static, dy = dynamic
1.96/0.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.96/0.51	c  B st     0         0       250     21250         0         0    148750         0   no data   no data  --
2.76/0.76	c  N dy    13      4087       250     21250         0      3967    148750    264947     58.48     61.65  --
4.37/1.12	c  N dy    24      9843       250     21250         0      7178    148750    420950     57.76     60.96  --
5.17/1.38	c  N dy    33     13938       250     21250         0      7034    148750    345849     57.48     61.08  --
6.36/1.68	c  N dy    44     18008       250     21250         0      5507    148750    185019     56.88     60.52  --
7.56/1.98	c  N dy    67     22357       250     21250         0      9756    148750    467833     57.33     61.51  --
8.35/2.18	c  F st    81     25000       250     21250         0     12348    148750    639937     57.51     59.13  --
9.17/2.34	c  N st    85     27034       250     21250         0      7683    148750    271788     57.51   no data  --
9.95/2.55	c  S st    87     30000       250     21250         0     10577    148750    468424     57.51   no data  --
10.35/2.60	c  S st    87     30505       250     21250         0     11080    148750    500288     57.51   no data  --
10.35/2.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
10.35/2.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.35/2.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
10.35/2.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
10.35/2.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.73/6.28	c lits-rem:      2262  cl-subs:      289  v-elim:      0  v-fix:    0  time: 14.53 s
25.93/6.56	c asymm  cl-useful: 0/5578/21250 lits-rem:0 time: 1.14
25.93/6.56	c calculated reachability. Time: 0.00
25.93/6.56	c  N dy    87     30505       250     21250         0     10791    148750    471232     57.51   no data  --
27.53/6.96	c  N dy   105     35048       250     21250         0     15217    148750    765190     57.64     60.74  --
28.72/7.28	c  N dy   120     39078       250     21250         0     11436    148750    465444     57.70     60.87  --
30.32/7.63	c  N dy   140     43188       250     21250         0     15435    148750    729982     57.83     61.00  --
31.14/7.86	c  S st   153     45757       250     21250         0      9198    148750    262106     57.85   no data  --
31.55/7.91	c  S st   153     46260       250     21250         0      9699    148750    294017     57.85   no data  --
31.55/7.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.55/7.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.55/7.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
31.55/7.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.55/7.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.55/7.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
31.55/7.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.51/10.93	c lits-rem:       628  cl-subs:       34  v-elim:      0  v-fix:    0  time: 11.97 s
43.51/10.93	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
43.51/10.94	c vivif2 --  cl tried     9665 cl shrink        0 lits rem          0 time: 0.01
43.51/10.98	c asymm  cl-useful: 0/1024/21250 lits-rem:0 time: 0.16
43.51/10.98	c calculated reachability. Time: 0.00
43.51/10.98	c  N dy   153     46260       250     21250         0      9665    148750    290016     57.85   no data  --
45.10/11.35	c  N dy   161     50883       250     21250         0     14175    148750    587518     57.74     60.94  --
46.70/11.74	c  N dy   178     55459       250     21250         0     18643    148750    884068     57.77     60.85  --
47.91/12.08	c  N dy   198     59547       250     21250         0     12895    148750    453702     57.87     64.45  --
49.50/12.45	c  N dy   213     63952       250     21250         0     17209    148750    740785     57.88     60.96  --
51.09/12.86	c  N dy   232     68131       250     21250         0     21292    148750   1011375     57.89     65.12  --
51.49/12.98	c  S st   238     69390       250     21250         0     11786    148750    326502     57.89   no data  --
51.89/13.04	c  S st   238     69897       250     21250         0     12291    148750    357827     57.89   no data  --
51.89/13.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
51.89/13.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.89/13.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
51.89/13.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.89/13.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.89/13.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
51.89/13.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
64.28/16.16	c lits-rem:       681  cl-subs:       58  v-elim:      0  v-fix:    0  time: 12.32 s
64.28/16.16	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
64.28/16.16	c vivif2 --  cl tried    12233 cl shrink        0 lits rem          0 time: 0.01
65.47/16.40	c asymm  cl-useful: 0/6343/21250 lits-rem:0 time: 0.95
65.47/16.40	c calculated reachability. Time: 0.00
65.47/16.40	c  N dy   238     69897       250     21250         0     12233    148750    351731     57.89   no data  --
67.07/16.80	c  N dy   259     74447       250     21250         0     16682    148750    647498     57.96     62.05  --
68.67/17.28	c  N dy   284     79238       250     21250         0     21371    148750    957754     58.01     61.07  --
71.09/17.80	c  N dy   303     84454       250     21250         0     14741    148750    470291     58.01     61.38  --
71.87/18.09	c  F st   318     87500       250     21250         0     17723    148750    666599     58.03   no data  --
73.46/18.41	c  N st   323     90799       250     21250         0     20956    148750    882490     58.03   no data  --
75.86/19.10	c  N dy   339     96838       250     21250         0     14146    148750    375744     57.98     61.69  --
78.66/19.76	c  N dy   357    103743       250     21250         0     20915    148750    824692     57.97     61.15  --
79.06/19.87	c  S st   359    104845       250     21250         0     21990    148750    895345     57.96     55.58  --
79.47/19.96	c  S st   359    105346       250     21250         0     22486    148750    927780     57.96   no data  --
79.47/19.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
79.47/19.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.47/19.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.08
79.87/20.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.87/20.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.87/20.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
79.87/20.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.63/24.70	c lits-rem:      1024  cl-subs:      551  v-elim:      0  v-fix:    0  time: 18.69 s
98.63/24.70	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
98.63/24.71	c vivif2 --  cl tried    21935 cl shrink        0 lits rem          0 time: 0.04
99.83/25.02	c asymm  cl-useful: 0/4138/21250 lits-rem:0 time: 1.25
99.83/25.02	c calculated reachability. Time: 0.00
99.83/25.02	c  N dy   359    105346       250     21250         0     21935    148750    876491     57.96   no data  --
102.62/25.73	c  N dy   383    112149       250     21250         0     14893    148750    373453     57.98     61.16  --
105.42/26.40	c  N dy   404    119309       250     21250         0     21899    148750    831047     57.91     60.98  --
109.02/27.31	c  N dy   435    127403       250     21250         0     15129    148750    336332     57.93     61.06  --
112.21/28.16	c  N dy   464    136072       250     21250         0     23612    148750    895781     57.92     61.29  --
116.21/29.12	c  N dy   491    144757       250     21250         0     16447    148750    371388     57.90     60.97  --
119.43/29.97	c  N dy   515    154005       250     21250         0     25487    148750    969207     57.86     60.94  --
121.40/30.40	c  S st   533    158019       250     21250         0     29433    148750   1229518     57.88     54.37  --
121.40/30.49	c  S st   533    158520       250     21250         0     29931    148750   1261469     57.88   no data  --
121.40/30.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
121.40/30.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.80/30.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
121.80/30.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
121.80/30.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
121.80/30.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
121.80/30.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
158.97/39.83	c lits-rem:       554  cl-subs:      803  v-elim:      0  v-fix:    0  time: 37.02 s
158.97/39.84	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
158.97/39.85	c vivif2 --  cl tried    29128 cl shrink        0 lits rem          0 time: 0.05
160.15/40.17	c asymm  cl-useful: 0/3450/21250 lits-rem:0 time: 1.30
160.15/40.18	c calculated reachability. Time: 0.00
160.15/40.18	c  N dy   533    158520       250     21250         0     29128    148750   1188167     57.88   no data  --
165.34/41.46	c  N dy   576    168696       250     21250         0     22463    148750    716847     57.94     61.11  --
171.33/42.94	c  N dy   624    179949       250     21250         0     33462    148750   1446592     57.95     61.37  --
176.93/44.30	c  N dy   670    191518       250     21250         0     27155    148750    972699     57.98     61.11  --
183.32/45.90	c  N dy   711    203830       250     21250         0     20598    148750    482984     58.00     61.07  --
188.91/47.39	c  N dy   756    216857       250     21250         0     33359    148750   1331170     57.98     61.42  --
196.09/49.13	c  N dy   803    230731       250     21250         0     27376    148750    880492     57.96     61.09  --
199.69/50.06	c  S st   827    237780       250     21250         0     34268    148750   1333606     57.95     59.28  --
200.09/50.18	c  S st   827    238285       250     21250         0     34764    148750   1365210     57.95   no data  --
200.09/50.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
200.09/50.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
200.49/50.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
200.49/50.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
200.49/50.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
200.49/50.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
200.49/50.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
245.64/61.58	c lits-rem:       892  cl-subs:      877  v-elim:      0  v-fix:    0  time: 45.20 s
245.64/61.58	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
246.04/61.60	c vivif2 --  cl tried    33887 cl shrink        0 lits rem          0 time: 0.06
247.23/61.94	c asymm  cl-useful: 0/3081/21250 lits-rem:0 time: 1.37
247.23/61.94	c calculated reachability. Time: 0.00
247.23/61.94	c  N dy   827    238285       250     21250         0     33887    148750   1284753     57.95   no data  --
254.82/63.88	c  N dy   887    253685       250     21250         0     28407    148750    894917     57.99     61.94  --
263.21/65.95	c  N dy   950    270225       250     21250         0     23089    148750    486894     58.01     61.54  --
271.20/67.99	c  N dy  1003    288145       250     21250         0     40584    148750   1640287     57.97     61.25  --
279.98/70.15	c  F st  1051    306250       250     21250         0     35815    148750   1277849     57.95     57.65  --
280.38/70.23	c  N st  1053    306876       250     21250         0     36419    148750   1318665     57.95   no data  --
290.39/72.75	c  N dy  1111    326732       250     21250         0     32372    148750    989190     57.95     61.33  --
301.56/75.51	c  N dy  1185    346999       250     21250         0     27744    148750    632057     57.96     61.13  --
307.16/76.90	c  S st  1205    357427       250     21250         0     37922    148750   1308460     57.91     52.13  --
307.56/77.02	c  S st  1205    357931       250     21250         0     38425    148750   1339926     57.91   no data  --
307.56/77.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
307.56/77.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
307.56/77.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
307.56/77.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
307.56/77.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
307.56/77.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
307.56/77.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
341.91/85.60	c lits-rem:       542  cl-subs:      957  v-elim:      0  v-fix:    0  time: 33.98 s
341.91/85.60	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
341.91/85.62	c vivif2 --  cl tried    37468 cl shrink        0 lits rem          0 time: 0.06
343.12/85.98	c asymm  cl-useful: 0/2840/21250 lits-rem:0 time: 1.42
343.12/85.98	c calculated reachability. Time: 0.00
343.12/85.98	c  N dy  1205    357931       250     21250         0     37468    148750   1256111     57.91   no data  --
355.49/89.06	c  N dy  1292    378006       250     21250         0     31682    148750    838855     57.94     62.08  --
370.26/92.75	c  N dy  1357    401316       250     21250         0     28085    148750    550056     57.89     60.97  --
381.46/95.55	c  N dy  1429    421523       250     21250         0     47868    148750   1852814     57.88     60.97  --
393.04/98.44	c  N dy  1502    441837       250     21250         0     40321    148750   1301379     57.87     61.10  --
405.42/101.51	c  N dy  1563    462637       250     21250         0     32349    148750    719918     57.86     60.93  --
417.41/104.51	c  N dy  1632    483898       250     21250         0     53124    148750   2095144     57.86     61.14  --
428.59/107.34	c  N dy  1692    503954       250     21250         0     43373    148750   1396299     57.84     61.00  --
441.78/110.61	c  N dy  1766    524296       250     21250         0     32972    148750    656989     57.84     60.95  --
448.17/112.30	c  S st  1814    536898       250     21250         0     45305    148750   1474841     57.85     57.81  --
448.98/112.43	c  S st  1814    537399       250     21250         0     45802    148750   1505233     57.85   no data  --
448.98/112.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
448.98/112.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
448.98/112.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
449.36/112.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
449.36/112.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
449.36/112.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
449.36/112.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
522.87/130.96	c lits-rem:      1782  cl-subs:      840  v-elim:      0  v-fix:    0  time: 73.67 s
522.87/130.96	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
522.87/130.98	c vivif2 --  cl tried    44962 cl shrink        0 lits rem          0 time: 0.06
523.69/131.19	c asymm  cl-useful: 0/1398/21250 lits-rem:0 time: 0.83
523.69/131.19	c calculated reachability. Time: 0.00
523.69/131.19	c  N dy  1814    537399       250     21250         0     44962    148750   1426102     57.85   no data  --
538.04/134.75	c  N dy  1865    557448       250     21250         0     33266    148750    618260     57.82     61.45  --
550.84/137.95	c  N dy  1937    577470       250     21250         0     52863    148750   1913225     57.83     60.97  --
564.81/141.41	c  N dy  2013    597480       250     21250         0     40173    148750   1023337     57.83     61.06  --
577.60/144.61	c  N dy  2074    617861       250     21250         0     60078    148750   2342762     57.83     61.17  --
590.78/147.90	c  N dy  2135    638965       250     21250         0     47423    148750   1449529     57.81     61.34  --
606.36/151.81	c  N dy  2198    659142       250     21250         0     67133    148750   2754120     57.79     61.03  --
618.75/154.96	c  N dy  2264    679494       250     21250         0     52825    148750   1747086     57.78     61.19  --
649.91/162.76	c  N dy  2313    721269       250     21250         0     58303    148750   2068020     57.59     61.00  --
667.48/167.19	c  N dy  2398    743971       250     21250         0     44427    148750   1093036     57.60     61.35  --
683.06/171.02	c  N dy  2496    764045       250     21250         0     64030    148750   2392462     57.63     61.15  --
700.64/175.47	c  N dy  2567    785798       250     21250         0     48205    148750   1278761     57.62     60.85  --
716.63/179.42	c  N dy  2641    805825       250     21250         0     67741    148750   2572144     57.63     61.76  --
716.63/179.50	c  S st  2644    806098       250     21250         0     68013    148750   2590397     57.63   no data  --
717.81/179.71	c  S st  2644    806600       250     21250         0     68510    148750   2621946     57.63   no data  --
717.81/179.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
717.81/179.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
717.81/179.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
718.21/179.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
718.21/179.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
718.21/179.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
718.21/179.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1633.79/409.09	c lits-rem:      2181  cl-subs:     1911  v-elim:      0  v-fix:    0  time: 914.96 s
1633.79/409.09	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
1634.19/409.12	c vivif2 --  cl tried    66599 cl shrink        0 lits rem          0 time: 0.11
1635.79/409.51	c asymm  cl-useful: 0/2489/21250 lits-rem:0 time: 1.55
1635.79/409.51	c calculated reachability. Time: 0.00
1635.79/409.51	c  N dy  2644    806600       250     21250         0     66599    148750   2448343     57.63   no data  --
1652.58/413.75	c  N dy  2727    827926       250     21250         0     49372    148750   1305631     57.64     60.87  --
1669.34/417.93	c  N dy  2815    848099       250     21250         0     69095    148750   2609791     57.66     61.52  --
1686.52/422.23	c  N dy  2912    868685       250     21250         0     50155    148750   1303692     57.67     60.71  --
1702.90/426.31	c  N dy  2984    888991       250     21250         0     69997    148750   2624451     57.68     60.96  --
1719.67/430.59	c  N dy  3064    909247       250     21250         0     49742    148750   1220630     57.68     61.54  --
1736.47/434.71	c  N dy  3141    929464       250     21250         0     69484    148750   2531774     57.69     61.12  --
1755.23/439.41	c  N dy  3193    951714       250     21250         0     50177    148750   1201819     57.67     60.79  --
1773.20/443.97	c  N dy  3270    972892       250     21250         0     70866    148750   2569675     57.67     61.43  --
1792.38/448.72	c  N dy  3355    993152       250     21250         0     48662    148750   1038481     57.68     60.74  --
1809.16/452.90	c  N dy  3423   1013153       250     21250         0     68206    148750   2328853     57.68     61.08  --
1830.73/458.38	c  N dy  3499   1034099       250     21250         0     45696    148750    782478     57.68     60.94  --
1847.50/462.53	c  N dy  3574   1054363       250     21250         0     65496    148750   2089038     57.69     60.98  --
1867.48/467.56	c  F st  3649   1071875       250     21250         0     82622    148750   3217301     57.69   no data  --
1871.48/468.51	c  N st  3654   1075169       250     21250         0     85832    148750   3432568     57.69   no data  --
1890.27/473.23	c  N dy  3731   1095963       250     21250         0     62168    148750   1820585     57.69     61.28  --
1911.43/478.55	c  N dy  3817   1116041       250     21250         0     81797    148750   3122862     57.70     65.57  --
1930.59/483.32	c  N dy  3902   1136067       250     21250         0     56423    148750   1383868     57.71     61.20  --
1948.17/487.73	c  N dy  3966   1156185       250     21250         0     76079    148750   2683168     57.71     61.07  --
1969.74/493.12	c  N dy  4046   1176439       250     21250         0     49943    148750    901004     57.72     60.89  --
1986.12/497.20	c  N dy  4111   1196508       250     21250         0     69570    148750   2195446     57.72     60.84  --
2000.12/500.78	c  S st  4168   1209901       250     21250         0     82646    148750   3057912     57.72   no data  --
2001.30/501.02	c  S st  4168   1210410       250     21250         0     83151    148750   3090546     57.72   no data  --
2001.30/501.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2001.30/501.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2001.30/501.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
2001.70/501.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2001.70/501.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2001.70/501.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
2001.70/501.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3755.76/940.27	c lits-rem:      3339  cl-subs:     2134  v-elim:      0  v-fix:    0  time: 1753.23 s
3755.76/940.27	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
3756.16/940.30	c vivif2 --  cl tried    81017 cl shrink        0 lits rem          0 time: 0.13
3757.78/940.75	c asymm  cl-useful: 0/1818/21250 lits-rem:0 time: 1.79
3757.78/940.76	c calculated reachability. Time: 0.00
3757.78/940.76	c  N dy  4168   1210410       250     21250         0     81017    148750   2894976     57.72   no data  --
3779.34/946.12	c  N dy  4258   1230670       250     21250         0     53978    148750   1115830     57.73     60.78  --
3797.33/950.66	c  N dy  4343   1250711       250     21250         0     73524    148750   2409049     57.74     60.80  --
3820.88/956.56	c  N dy  4422   1271177       250     21250         0     93490    148750   3725118     57.74     60.99  --
3838.46/960.96	c  N dy  4480   1291235       250     21250         0     65193    148750   1804512     57.73     61.23  --
3859.22/966.16	c  N dy  4555   1311262       250     21250         0     84742    148750   3098268     57.73     60.95  --
3882.40/971.93	c  N dy  4619   1332850       250     21250         0     57041    148750   1200332     57.72     61.15  --
3901.16/976.61	c  N dy  4691   1352916       250     21250         0     76665    148750   2498773     57.73     60.88  --
3924.35/982.47	c  N dy  4764   1373040       250     21250         0     96322    148750   3799796     57.73     61.47  --
3945.51/987.73	c  N dy  4844   1394302       250     21250         0     67272    148750   1824996     57.73     61.07  --
3969.08/993.64	c  N dy  4934   1415041       250     21250         0     87525    148750   3162071     57.73     60.83  --
3995.44/1000.27	c  N dy  5032   1435652       250     21250         0     56870    148750   1077306     57.74     61.02  --
4015.42/1005.21	c  N dy  5107   1455716       250     21250         0     76448    148750   2373562     57.74     61.15  --
4039.00/1011.19	c  N dy  5181   1476022       250     21250         0     96290    148750   3686574     57.75     61.50  --
4060.57/1016.57	c  N dy  5258   1496671       250     21250         0     64686    148750   1541275     57.75     60.97  --
4082.55/1022.06	c  N dy  5340   1517323       250     21250         0     84895    148750   2882583     57.76     61.11  --
4109.31/1028.78	c  N dy  5424   1537495       250     21250         0    104555    148750   4181455     57.76     61.57  --
4128.06/1033.47	c  N dy  5498   1557557       250     21250         0     71386    148750   1930767     57.76     60.94  --
4149.63/1038.88	c  N dy  5557   1577704       250     21250         0     91033    148750   3230991     57.76     60.94  --
4176.00/1045.49	c  N dy  5640   1598465       250     21250         0     57606    148750    970231     57.76     61.49  --
4195.58/1050.36	c  N dy  5725   1618517       250     21250         0     77195    148750   2267991     57.77     64.78  --
4219.16/1056.29	c  N dy  5799   1638678       250     21250         0     96904    148750   3571211     57.77     60.95  --
4244.71/1062.64	c  N dy  5879   1659627       250     21250         0     62708    148750   1246854     57.78     61.48  --
4265.08/1067.78	c  N dy  5968   1679762       250     21250         0     82403    148750   2557629     57.79     60.85  --
4291.44/1074.33	c  N dy  6071   1699873       250     21250         0    102054    148750   3863854     57.80     60.97  --
4305.82/1077.94	c  S st  6111   1710410       250     21250         0     56644    148750    793401     57.80     57.43  --
4306.65/1078.12	c  S st  6111   1710915       250     21250         0     57146    148750    824790     57.80   no data  --
4306.65/1078.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4306.65/1078.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4306.65/1078.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
4306.65/1078.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4306.65/1078.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4306.65/1078.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
4306.65/1078.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4336.19/1085.58	c lits-rem:        98  cl-subs:       64  v-elim:      0  v-fix:    0  time: 29.47 s
4336.19/1085.58	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
4336.19/1085.59	c vivif2 --  cl tried    57082 cl shrink        0 lits rem          0 time: 0.04
4337.81/1085.99	c asymm  cl-useful: 0/2255/21250 lits-rem:0 time: 1.61
4338.19/1086.00	c calculated reachability. Time: 0.00
4338.19/1086.00	c  N dy  6111   1710915       250     21250         0     57082    148750    818947     57.80   no data  --
4355.76/1090.48	c  N dy  6153   1731534       250     21250         0     77178    148750   2148070     57.79     60.97  --
4379.32/1096.31	c  N dy  6227   1751597       250     21250         0     96764    148750   3443508     57.79     64.47  --
4406.10/1103.01	c  N dy  6308   1771667       250     21250         0     59762    148750    944710     57.79     61.52  --
4425.29/1107.85	c  N dy  6380   1792048       250     21250         0     79635    148750   2252951     57.79     61.02  --
4450.04/1114.00	c  N dy  6457   1812176       250     21250         0     99346    148750   3560217     57.79     60.93  --
4478.79/1121.26	c  N dy  6549   1833909       250     21250         0     62926    148750   1092339     57.79     61.02  --
4498.77/1126.22	c  N dy  6613   1854029       250     21250         0     82593    148750   2400640     57.79     61.61  --
4524.33/1132.68	c  N dy  6665   1875882       250     21250         0    103889    148750   3805726     57.78     61.03  --
4551.09/1139.39	c  N dy  6752   1896149       250     21250         0     65084    148750   1183134     57.79     60.94  --
4571.86/1144.57	c  N dy  6827   1916825       250     21250         0     85293    148750   2522737     57.79     60.91  --
4598.63/1151.21	c  N dy  6894   1937917       250     21250         0    105910    148750   3888459     57.78     61.06  --
4625.39/1157.91	c  N dy  6986   1958136       250     21250         0     66056    148750   1193550     57.79     61.67  --
4647.76/1163.54	c  N dy  7080   1979376       250     21250         0     86845    148750   2575265     57.80     60.89  --
4673.32/1169.97	c  N dy  7151   1999477       250     21250         0    106452    148750   3873135     57.80     61.58  --
4701.68/1177.09	c  N dy  7230   2019538       250     21250         0     65488    148750   1098864     57.80     61.13  --
4722.06/1182.15	c  N dy  7304   2039754       250     21250         0     85260    148750   2401159     57.80     60.92  --
4747.23/1188.49	c  N dy  7377   2060920       250     21250         0    105942    148750   3772139     57.80     60.85  --
4775.99/1195.69	c  N dy  7465   2081722       250     21250         0     64715    148750    988148     57.81     61.01  --
4795.97/1200.64	c  N dy  7542   2101756       250     21250         0     84301    148750   2281039     57.81     61.20  --

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-3175008-1304077324/watcher-3175008-1304077324 -o /tmp/evaluation-result-3175008-1304077324/solver-3175008-1304077324 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175008-1304077324.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: 3.45 3.97 4.79 3/176 32658
/proc/meminfo: memFree=30937740/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 414 0 0 0 0 0 0 0 18 0 4 0 500148326 52465664 353 33554432000 4194304 4650419 140737113326064 18446744073709551615 47791776503730 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 12809 353 303 112 0 7774 0
[pid=32658/tid=32660] ppid=32654 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 500148326 52465664 353 33554432000 4194304 4650419 140737113326064 18446744073709551615 47791776503730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 500148326 52465664 353 33554432000 4194304 4650419 140737113326064 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 500148326 52465664 353 33554432000 4194304 4650419 140737113326064 18446744073709551615 220828034102 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.283173 s]
/proc/loadavg: 3.45 3.97 4.79 3/176 32658
/proc/meminfo: memFree=30937740/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=283976 CPUtime=1.1 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 3520 0 1 0 109 1 0 0 20 0 4 0 500148326 290791424 3429 33554432000 4194304 4650419 140737113326064 18446744073709551615 4536603 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 70994 3429 367 112 0 65959 0
[pid=32658/tid=32660] ppid=32654 vsize=283976 CPUtime=0.27 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 645 0 0 0 27 0 0 0 18 0 4 0 500148326 290791424 3429 33554432000 4194304 4650419 140737113326064 18446744073709551615 4371148 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=283976 CPUtime=0.27 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 672 0 0 0 27 0 0 0 18 0 4 0 500148326 290791424 3430 33554432000 4194304 4650419 140737113326064 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=283976 CPUtime=0.27 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 1095 0 0 0 27 0 0 0 18 0 4 0 500148326 290791424 3430 33554432000 4194304 4650419 140737113326064 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 283976

[startup+0.300296 s]
/proc/loadavg: 3.45 3.97 4.79 3/176 32658
/proc/meminfo: memFree=30937740/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=283976 CPUtime=1.17 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 3552 0 1 0 116 1 0 0 20 0 4 0 500148326 290791424 3461 33554432000 4194304 4650419 140737113326064 18446744073709551615 4370682 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 70994 3461 367 112 0 65959 0
[pid=32658/tid=32660] ppid=32654 vsize=283976 CPUtime=0.28 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 647 0 0 0 28 0 0 0 18 0 4 0 500148326 290791424 3461 33554432000 4194304 4650419 140737113326064 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=283976 CPUtime=0.28 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 675 0 0 0 28 0 0 0 18 0 4 0 500148326 290791424 3461 33554432000 4194304 4650419 140737113326064 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=283976 CPUtime=0.28 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 1120 0 0 0 28 0 0 0 18 0 4 0 500148326 290791424 3461 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365227 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) 283976

[startup+0.40028 s]
/proc/loadavg: 3.45 3.97 4.79 3/176 32658
/proc/meminfo: memFree=30937740/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=291576 CPUtime=1.56 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 6136 0 1 0 155 1 0 0 20 0 4 0 500148326 298573824 4767 33554432000 4194304 4650419 140737113326064 18446744073709551615 220815933648 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 72894 4787 379 112 0 67859 0
[pid=32658/tid=32660] ppid=32654 vsize=291576 CPUtime=0.38 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 1391 0 0 0 38 0 0 0 18 0 4 0 500148326 298573824 4796 33554432000 4194304 4650419 140737113326064 18446744073709551615 220815897285 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=291576 CPUtime=0.38 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 1165 0 0 0 38 0 0 0 18 0 4 0 500148326 298573824 4803 33554432000 4194304 4650419 140737113326064 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=291576 CPUtime=0.38 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 1759 0 0 0 38 0 0 0 18 0 4 0 500148326 298573824 4816 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 291576

[startup+0.700226 s]
/proc/loadavg: 3.45 3.97 4.79 3/176 32658
/proc/meminfo: memFree=30937740/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=295004 CPUtime=2.76 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 10085 0 1 0 274 2 0 0 21 0 4 0 500148326 302084096 8438 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 73751 8438 391 112 0 68716 0
[pid=32658/tid=32660] ppid=32654 vsize=295004 CPUtime=0.68 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 2445 0 0 0 68 0 0 0 18 0 4 0 500148326 302084096 8438 33554432000 4194304 4650419 140737113326064 18446744073709551615 4520360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=295004 CPUtime=0.68 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 2562 0 0 0 68 0 0 0 18 0 4 0 500148326 302084096 8438 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=295004 CPUtime=0.68 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 2076 0 0 0 68 0 0 0 18 0 4 0 500148326 302084096 8438 33554432000 4194304 4650419 140737113326064 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 295004

[startup+1.50108 s]
/proc/loadavg: 3.45 3.97 4.79 9/184 32666
/proc/meminfo: memFree=30863320/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=307636 CPUtime=5.95 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 16368 0 1 0 592 3 0 0 23 0 4 0 500148326 315019264 10761 33554432000 4194304 4650419 140737113326064 18446744073709551615 4334120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 76909 10761 391 112 0 71874 0
[pid=32658/tid=32660] ppid=32654 vsize=307636 CPUtime=1.48 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 3965 0 0 0 148 0 0 0 19 0 4 0 500148326 315019264 10761 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=307636 CPUtime=1.48 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 4102 0 0 0 148 0 0 0 20 0 4 0 500148326 315019264 10761 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=307636 CPUtime=1.47 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 3653 0 0 0 147 0 0 0 20 0 4 0 500148326 315019264 10761 33554432000 4194304 4650419 140737113326064 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 307636

[startup+3.10079 s]
/proc/loadavg: 3.45 3.97 4.79 10/184 32666
/proc/meminfo: memFree=30847076/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=308804 CPUtime=12.35 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 29448 0 1 0 1229 6 0 0 25 0 4 0 500148326 316215296 14422 33554432000 4194304 4650419 140737113326064 18446744073709551615 4438671 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 77201 14422 393 112 0 72166 0
[pid=32658/tid=32660] ppid=32654 vsize=308804 CPUtime=3.08 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 6828 0 0 0 307 1 0 0 23 0 4 0 500148326 316215296 14422 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=308804 CPUtime=3.08 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 6888 0 0 0 307 1 0 0 25 0 4 0 500148326 316215296 14422 33554432000 4194304 4650419 140737113326064 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=308804 CPUtime=3.07 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 5925 0 0 0 307 0 0 0 25 0 4 0 500148326 316215296 14422 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 308804

[startup+6.3002 s]
/proc/loadavg: 3.81 4.04 4.81 10/184 32667
/proc/meminfo: memFree=30722956/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=328284 CPUtime=25.13 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 42260 0 1 0 2505 8 0 0 25 0 4 0 500148326 336162816 25909 33554432000 4194304 4650419 140737113326064 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 82071 25909 393 112 0 77036 0
[pid=32658/tid=32660] ppid=32654 vsize=328284 CPUtime=6.28 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 8386 0 0 0 627 1 0 0 25 0 4 0 500148326 336162816 25909 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=328284 CPUtime=6.28 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 12191 0 0 0 627 1 0 0 25 0 4 0 500148326 336162816 25909 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=328284 CPUtime=6.25 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 11587 0 0 0 623 2 0 0 25 0 4 0 500148326 336162816 25909 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 328284

[startup+12.701 s]
/proc/loadavg: 4.23 4.12 4.83 10/184 32667
/proc/meminfo: memFree=30674848/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=344028 CPUtime=50.7 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 61404 0 1 0 5058 12 0 0 25 0 4 0 500148326 352284672 31590 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 86007 31590 393 112 0 80972 0
[pid=32658/tid=32660] ppid=32654 vsize=344028 CPUtime=12.68 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 14631 0 0 0 1266 2 0 0 25 0 4 0 500148326 352284672 31590 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=344028 CPUtime=12.68 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 15010 0 0 0 1266 2 0 0 25 0 4 0 500148326 352284672 31590 33554432000 4194304 4650419 140737113326064 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=344028 CPUtime=12.61 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 17398 0 0 0 1258 3 0 0 25 0 4 0 500148326 352284672 31590 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364772 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) 344028

[startup+25.5067 s]
/proc/loadavg: 5.13 4.33 4.88 10/184 32667
/proc/meminfo: memFree=30557028/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=356940 CPUtime=101.84 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 86871 0 1 0 10165 19 0 0 25 0 4 0 500148326 365506560 46002 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 89235 46002 393 112 0 84200 0
[pid=32658/tid=32660] ppid=32654 vsize=356940 CPUtime=25.48 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 21891 0 0 0 2543 5 0 0 25 0 4 0 500148326 365506560 46002 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476483 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=356940 CPUtime=25.48 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 24017 0 0 0 2544 4 0 0 25 0 4 0 500148326 365506560 46002 33554432000 4194304 4650419 140737113326064 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=356940 CPUtime=25.35 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 21138 0 0 0 2531 4 0 0 25 0 4 0 500148326 365506560 46002 33554432000 4194304 4650419 140737113326064 18446744073709551615 4366943 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) 356940

[startup+51.1009 s]
/proc/loadavg: 6.11 4.62 4.96 10/184 32668
/proc/meminfo: memFree=30471800/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=372176 CPUtime=204.08 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 139385 0 1 0 20372 36 0 0 25 0 4 0 500148326 381108224 57180 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 93044 57180 393 112 0 88009 0
[pid=32658/tid=32660] ppid=32654 vsize=372176 CPUtime=51.08 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 32157 0 0 0 5099 9 0 0 25 0 4 0 500148326 381108224 57180 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=372176 CPUtime=51.08 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 34334 0 0 0 5102 6 0 0 25 0 4 0 500148326 381108224 57180 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=372176 CPUtime=50.81 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 36715 0 0 0 5070 11 0 0 25 0 4 0 500148326 381108224 57180 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 372176

[startup+102.3 s]
/proc/loadavg: 7.27 5.17 5.13 10/184 32669
/proc/meminfo: memFree=30354080/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=446852 CPUtime=408.62 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 207928 0 1 0 40804 58 0 0 25 0 4 0 500148326 457576448 70877 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 111713 70877 393 112 0 106678 0
[pid=32658/tid=32660] ppid=32654 vsize=446852 CPUtime=102.28 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 45331 0 0 0 10216 12 0 0 25 0 4 0 500148326 457576448 70877 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=446852 CPUtime=102.28 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 48451 0 0 0 10217 11 0 0 25 0 4 0 500148326 457576448 70877 33554432000 4194304 4650419 140737113326064 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=446852 CPUtime=101.74 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 62648 0 0 0 10154 20 0 0 25 0 4 0 500148326 457576448 70877 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 446852

[startup+162.3 s]

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

[pid=32658] ppid=32654 vsize=774676 CPUtime=2805.42 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 599453 0 1 0 280305 237 0 0 25 0 4 0 500148326 793268224 118428 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 193669 118428 393 112 0 188634 0
[pid=32658/tid=32660] ppid=32654 vsize=774676 CPUtime=702.29 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 169824 0 0 0 70144 85 0 0 25 0 4 0 500148326 793268224 118428 33554432000 4194304 4650419 140737113326064 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=774676 CPUtime=702.3 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 181738 0 0 0 70165 65 0 0 25 0 4 0 500148326 793268224 118428 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=774676 CPUtime=698.49 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 114866 0 0 0 69809 40 0 0 25 0 4 0 500148326 793268224 118428 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 774676

[startup+762.301 s]
/proc/loadavg: 8.08 7.76 6.62 10/184 32687
/proc/meminfo: memFree=29904908/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=830964 CPUtime=3045.11 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 620558 0 1 0 304264 247 0 0 25 0 4 0 500148326 850907136 120801 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 207741 120801 393 112 0 202706 0
[pid=32658/tid=32660] ppid=32654 vsize=830964 CPUtime=762.3 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 180834 0 0 0 76137 93 0 0 25 0 4 0 500148326 850907136 120801 33554432000 4194304 4650419 140737113326064 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=830964 CPUtime=762.3 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 185414 0 0 0 76164 66 0 0 25 0 4 0 500148326 850907136 120801 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=830964 CPUtime=758.17 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 114866 0 0 0 75777 40 0 0 25 0 4 0 500148326 850907136 120801 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476309 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) 830964

[startup+822.301 s]
/proc/loadavg: 8.03 7.80 6.71 10/184 32688
/proc/meminfo: memFree=29896820/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=774972 CPUtime=3284.79 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 643938 0 1 0 328220 259 0 0 25 0 4 0 500148326 793571328 117901 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 193743 117901 393 112 0 188708 0
[pid=32658/tid=32660] ppid=32654 vsize=774972 CPUtime=822.31 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 196698 0 0 0 82126 105 0 0 25 0 4 0 500148326 793571328 117901 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=774972 CPUtime=822.3 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188674 0 0 0 82164 66 0 0 25 0 4 0 500148326 793571328 117901 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=774972 CPUtime=817.84 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 114866 0 0 0 81744 40 0 0 25 0 4 0 500148326 793571328 117901 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476474 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 774972

[startup+882.301 s]
/proc/loadavg: 8.01 7.84 6.78 10/184 32690
/proc/meminfo: memFree=29904972/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=727012 CPUtime=3524.49 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 670176 0 1 0 352175 274 0 0 25 0 4 0 500148326 744460288 119866 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 181753 119866 393 112 0 176718 0
[pid=32658/tid=32660] ppid=32654 vsize=727012 CPUtime=882.31 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 202591 0 0 0 88122 109 0 0 25 0 4 0 500148326 744460288 119866 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=727012 CPUtime=882.31 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188731 0 0 0 88165 66 0 0 25 0 4 0 500148326 744460288 119866 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=727012 CPUtime=877.52 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 127214 0 0 0 87703 49 0 0 25 0 4 0 500148326 744460288 119866 33554432000 4194304 4650419 140737113326064 18446744073709551615 4355007 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.49
Current children cumulated vsize (KiB) 727012

[startup+942.301 s]
/proc/loadavg: 8.00 7.86 6.86 10/184 32691
/proc/meminfo: memFree=29883624/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=740604 CPUtime=3764.15 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 692881 0 1 0 376130 285 0 0 25 0 4 0 500148326 758378496 124302 33554432000 4194304 4650419 140737113326064 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 185151 124302 393 112 0 180116 0
[pid=32658/tid=32660] ppid=32654 vsize=740604 CPUtime=942.3 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 202681 0 0 0 94121 109 0 0 25 0 4 0 500148326 758378496 124302 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=740604 CPUtime=942.31 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188737 0 0 0 94165 66 0 0 25 0 4 0 500148326 758378496 124302 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=740604 CPUtime=937.19 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 139697 0 0 0 93661 58 0 0 25 0 4 0 500148326 758378496 124302 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 740604

[startup+1002.31 s]
/proc/loadavg: 8.00 7.89 6.93 10/184 32693
/proc/meminfo: memFree=29864600/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=751808 CPUtime=4003.85 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 718038 0 1 0 400082 303 0 0 25 0 4 0 500148326 769851392 125229 33554432000 4194304 4650419 140737113326064 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 187952 125229 393 112 0 182917 0
[pid=32658/tid=32660] ppid=32654 vsize=751808 CPUtime=1002.31 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 202685 0 0 0 100122 109 0 0 25 0 4 0 500148326 769851392 125229 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=751808 CPUtime=1002.31 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188779 0 0 0 100165 66 0 0 25 0 4 0 500148326 769851392 125229 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=751808 CPUtime=996.87 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 147247 0 0 0 99623 64 0 0 25 0 4 0 500148326 769851392 125229 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.85
Current children cumulated vsize (KiB) 751808

[startup+1062.3 s]
/proc/loadavg: 8.00 7.90 6.99 10/184 32695
/proc/meminfo: memFree=29903132/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=673084 CPUtime=4243.51 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 742206 0 1 0 424029 322 0 0 25 0 4 0 500148326 689238016 118239 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 168271 118239 393 112 0 163236 0
[pid=32658/tid=32660] ppid=32654 vsize=673084 CPUtime=1062.3 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 202685 0 0 0 106121 109 0 0 25 0 4 0 500148326 689238016 118239 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=673084 CPUtime=1062.31 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188876 0 0 0 106165 66 0 0 25 0 4 0 500148326 689238016 118239 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=673084 CPUtime=1056.54 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 159217 0 0 0 105581 73 0 0 25 0 4 0 500148326 689238016 118239 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.51
Current children cumulated vsize (KiB) 673084

[startup+1122.3 s]
/proc/loadavg: 8.04 7.93 7.06 10/184 32696
/proc/meminfo: memFree=29865012/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=780016 CPUtime=4483.19 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 774036 0 1 0 447977 342 0 0 25 0 4 0 500148326 798736384 128958 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 195004 128958 393 112 0 189969 0
[pid=32658/tid=32660] ppid=32654 vsize=780016 CPUtime=1122.31 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 202685 0 0 0 112122 109 0 0 25 0 4 0 500148326 798736384 128958 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=780016 CPUtime=1122.31 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188876 0 0 0 112165 66 0 0 25 0 4 0 500148326 798736384 128958 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=780016 CPUtime=1116.21 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 175382 0 0 0 111538 83 0 0 25 0 4 0 500148326 798736384 128958 33554432000 4194304 4650419 140737113326064 18446744073709551615 4334047 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.19
Current children cumulated vsize (KiB) 780016

[startup+1182.3 s]
/proc/loadavg: 8.05 7.96 7.12 10/184 32707
/proc/meminfo: memFree=29866136/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=758876 CPUtime=4722.86 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 807957 0 1 0 471924 362 0 0 25 0 4 0 500148326 777089024 129480 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 189719 129480 393 112 0 184684 0
[pid=32658/tid=32660] ppid=32654 vsize=758876 CPUtime=1182.31 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 209341 0 0 0 118118 113 0 0 25 0 4 0 500148326 777089024 129480 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=758876 CPUtime=1182.31 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188876 0 0 0 118165 66 0 0 25 0 4 0 500148326 777089024 129480 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=758876 CPUtime=1175.89 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 185241 0 0 0 117500 89 0 0 25 0 4 0 500148326 777089024 129480 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 758876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 7.98 7.14 10/184 32707
/proc/meminfo: memFree=29847644/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=701564 CPUtime=4800.37 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 821726 0 1 0 479667 370 0 0 25 0 4 0 500148326 718401536 132902 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 175391 132902 393 112 0 170356 0
[pid=32658/tid=32660] ppid=32654 vsize=701564 CPUtime=1201.72 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 214667 0 0 0 120056 116 0 0 25 0 4 0 500148326 718401536 132902 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=701564 CPUtime=1201.72 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188876 0 0 0 120106 66 0 0 25 0 4 0 500148326 718401536 132902 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=701564 CPUtime=1195.18 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188254 0 0 0 119427 91 0 0 25 0 4 0 500148326 718401536 132902 33554432000 4194304 4650419 140737113326064 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 701564

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.10 7.98 7.14 10/184 32707
/proc/meminfo: memFree=29847644/32951124 swapFree=67105204/67111528
[pid=32658] ppid=32654 vsize=701564 CPUtime=4800.37 cores=1,3,5,7
/proc/32658/stat : 32658 (strangenight1-m) R 32654 32658 30400 0 -1 4202496 821726 0 1 0 479667 370 0 0 25 0 4 0 500148326 718401536 132902 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32658/statm: 175391 132902 393 112 0 170356 0
[pid=32658/tid=32660] ppid=32654 vsize=701564 CPUtime=1201.72 cores=1,3,5,7
/proc/32658/task/32660/stat : 32660 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 214667 0 0 0 120056 116 0 0 25 0 4 0 500148326 718401536 132902 33554432000 4194304 4650419 140737113326064 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32658/tid=32662] ppid=32654 vsize=701564 CPUtime=1201.72 cores=1,3,5,7
/proc/32658/task/32662/stat : 32662 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188876 0 0 0 120106 66 0 0 25 0 4 0 500148326 718401536 132902 33554432000 4194304 4650419 140737113326064 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32658/tid=32664] ppid=32654 vsize=701564 CPUtime=1195.18 cores=1,3,5,7
/proc/32658/task/32664/stat : 32664 (strangenight1-m) R 32654 32658 30400 0 -1 4202560 188254 0 0 0 119427 91 0 0 25 0 4 0 500148326 718401536 132902 33554432000 4194304 4650419 140737113326064 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 701564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.43
CPU user time (s): 4796.7
CPU system time (s): 3.72543
CPU usage (%): 399.458
Max. virtual memory (cumulated for all children) (KiB): 874492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.7
system time used= 3.72543
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 821728
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1729
involuntary context switches= 24739

runsolver used 1.69174 second user time and 4.86926 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 13:42:04
IDJOB=3175008
IDBENCH=82626
IDSOLVER=1588
FILE ID=node147/3175008-1304077324
RUNJOBID= node147-1304077324-32640
PBS_JOBID= 13170424
Free space on /tmp= 72660 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175008-1304077324/watcher-3175008-1304077324 -o /tmp/evaluation-result-3175008-1304077324/solver-3175008-1304077324 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175008-1304077324.cnf

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

MD5SUM BENCH= c26a52ff3714cab8bc335a81bb8af922
RANDOM SEED=1522611363

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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:      30938176 kB
Buffers:        262688 kB
Cached:        1364244 kB
SwapCached:       2456 kB
Active:         129392 kB
Inactive:      1558060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30938176 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:           13688 kB
Writeback:           0 kB
AnonPages:       58592 kB
Mapped:          14400 kB
Slab:           261148 kB
PageTables:       4748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186060 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= 72644 MiB
End job on node147 at 2011-04-29 14:02:08