Trace number 3368617

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.36 1203.66

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368617-1305398713.cnf'
0.00/0.01	c -- header says num vars:            250
0.00/0.01	c -- header says num clauses:       21250
1.17/0.38	c -- clauses added:            0 learnts,        21250 normals,            0 xors
1.17/0.38	c -- vars added        250
1.17/0.38	c Parsing time:  0.05 s
1.17/0.38	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.43
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.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.56/0.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.56/0.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
1.56/0.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.56/0.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.38 s
1.56/0.81	c Finding binary XORs  T:     0.00 s  found:       0
1.56/0.81	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.56/0.81	c calculated reachability. Time: 0.00
1.56/0.81	c Calc default polars -  time:   0.00 s pos:     116 undec:       2 neg:     132
1.56/0.81	c =========================================================================================
1.56/0.81	c types(t): F = full restart, N = normal restart
1.56/0.81	c types(t): S = simplification begin/end, E = solution found
1.56/0.81	c restart types(rt): st = static, dy = dynamic
1.56/0.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.56/0.81	c  B st     0         0       250     21250         0         0    148750         0   no data   no data  --
4.37/1.19	c  N dy    13      4087       250     21250         0      3967    148750    264947     58.48     61.65  --
4.37/1.19	c  N dy    24      9843       250     21250         0      7178    148750    420950     57.76     60.96  --
5.18/1.40	c  N dy    33     13938       250     21250         0      7034    148750    345849     57.48     61.08  --
6.35/1.67	c  N dy    44     18008       250     21250         0      5507    148750    185019     56.88     60.52  --
7.55/1.97	c  N dy    67     22357       250     21250         0      9756    148750    467833     57.33     61.51  --
8.35/2.17	c  F st    81     25000       250     21250         0     12348    148750    639937     57.51     59.13  --
9.15/2.33	c  N st    85     27034       250     21250         0      7683    148750    271788     57.51   no data  --
9.99/2.54	c  S st    87     30000       250     21250         0     10577    148750    468424     57.51   no data  --
9.99/2.59	c  S st    87     30505       250     21250         0     11080    148750    500288     57.51   no data  --
9.99/2.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
9.99/2.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.34/2.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
10.34/2.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.34/2.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
10.34/2.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.69/6.23	c lits-rem:      2262  cl-subs:      289  v-elim:      0  v-fix:    0  time: 14.36 s
25.89/6.51	c asymm  cl-useful: 0/5578/21250 lits-rem:0 time: 1.13
25.89/6.51	c calculated reachability. Time: 0.00
25.89/6.51	c  N dy    87     30505       250     21250         0     10791    148750    471232     57.51   no data  --
27.11/6.91	c  N dy   105     35048       250     21250         0     15217    148750    765190     57.64     60.74  --
28.68/7.23	c  N dy   120     39078       250     21250         0     11436    148750    465444     57.70     60.87  --
29.88/7.58	c  N dy   140     43188       250     21250         0     15435    148750    729982     57.83     61.00  --
31.08/7.82	c  S st   153     45757       250     21250         0      9198    148750    262106     57.85   no data  --
31.08/7.87	c  S st   153     46260       250     21250         0      9699    148750    294017     57.85   no data  --
31.08/7.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.08/7.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.08/7.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
31.08/7.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.08/7.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.08/7.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
31.08/7.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.04/10.88	c lits-rem:       628  cl-subs:       34  v-elim:      0  v-fix:    0  time: 11.90 s
43.04/10.89	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
43.04/10.89	c vivif2 --  cl tried     9665 cl shrink        0 lits rem          0 time: 0.01
43.44/10.93	c asymm  cl-useful: 0/1024/21250 lits-rem:0 time: 0.17
43.44/10.93	c calculated reachability. Time: 0.00
43.44/10.93	c  N dy   153     46260       250     21250         0      9665    148750    290016     57.85   no data  --
44.66/11.31	c  N dy   161     50883       250     21250         0     14175    148750    587518     57.74     60.94  --
46.62/11.70	c  N dy   178     55459       250     21250         0     18643    148750    884068     57.77     60.85  --
47.83/12.04	c  N dy   198     59547       250     21250         0     12895    148750    453702     57.87     64.45  --
49.46/12.41	c  N dy   213     63952       250     21250         0     17209    148750    740785     57.88     60.96  --
51.01/12.83	c  N dy   232     68131       250     21250         0     21292    148750   1011375     57.89     65.12  --
51.42/12.95	c  S st   238     69390       250     21250         0     11786    148750    326502     57.89   no data  --
51.82/13.01	c  S st   238     69897       250     21250         0     12291    148750    357827     57.89   no data  --
51.82/13.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
51.82/13.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.82/13.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
51.82/13.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.82/13.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.82/13.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
51.82/13.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.78/16.07	c lits-rem:       681  cl-subs:       58  v-elim:      0  v-fix:    0  time: 12.07 s
63.78/16.07	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
63.78/16.07	c vivif2 --  cl tried    12233 cl shrink        0 lits rem          0 time: 0.01
64.98/16.34	c asymm  cl-useful: 0/6343/21250 lits-rem:0 time: 1.05
64.98/16.34	c calculated reachability. Time: 0.00
64.98/16.34	c  N dy   238     69897       250     21250         0     12233    148750    351731     57.89   no data  --
66.59/16.73	c  N dy   259     74447       250     21250         0     16682    148750    647498     57.96     62.05  --
68.56/17.20	c  N dy   284     79238       250     21250         0     21371    148750    957754     58.01     61.07  --
70.56/17.73	c  N dy   303     84454       250     21250         0     14741    148750    470291     58.01     61.38  --
71.75/18.01	c  F st   318     87500       250     21250         0     17723    148750    666599     58.03   no data  --
72.95/18.33	c  N st   323     90799       250     21250         0     20956    148750    882490     58.03   no data  --
75.37/18.99	c  N dy   339     96838       250     21250         0     14146    148750    375744     57.98     61.69  --
78.13/19.65	c  N dy   357    103743       250     21250         0     20915    148750    824692     57.97     61.15  --
78.53/19.77	c  S st   359    104845       250     21250         0     21990    148750    895345     57.96     55.58  --
78.93/19.86	c  S st   359    105346       250     21250         0     22486    148750    927780     57.96   no data  --
78.93/19.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
78.93/19.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.93/19.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.08
79.33/19.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.33/19.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.33/19.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
79.33/19.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.07/24.61	c lits-rem:      1024  cl-subs:      551  v-elim:      0  v-fix:    0  time: 18.71 s
98.07/24.61	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
98.07/24.62	c vivif2 --  cl tried    21935 cl shrink        0 lits rem          0 time: 0.04
99.27/24.95	c asymm  cl-useful: 0/4138/21250 lits-rem:0 time: 1.31
99.27/24.95	c calculated reachability. Time: 0.00
99.27/24.95	c  N dy   359    105346       250     21250         0     21935    148750    876491     57.96   no data  --
102.11/25.68	c  N dy   383    112149       250     21250         0     14893    148750    373453     57.98     61.16  --
104.86/26.34	c  N dy   404    119309       250     21250         0     21899    148750    831047     57.91     60.98  --
108.45/27.25	c  N dy   435    127403       250     21250         0     15129    148750    336332     57.93     61.06  --
112.04/28.10	c  N dy   464    136072       250     21250         0     23612    148750    895781     57.92     61.29  --
115.62/29.05	c  N dy   491    144757       250     21250         0     16447    148750    371388     57.90     60.97  --
118.82/29.91	c  N dy   515    154005       250     21250         0     25487    148750    969207     57.86     60.94  --
120.80/30.34	c  S st   533    158019       250     21250         0     29433    148750   1229518     57.88     54.37  --
121.20/30.43	c  S st   533    158520       250     21250         0     29931    148750   1261469     57.88   no data  --
121.20/30.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
121.20/30.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.20/30.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
121.20/30.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
121.20/30.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
121.20/30.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
121.20/30.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
158.30/39.70	c lits-rem:       554  cl-subs:      803  v-elim:      0  v-fix:    0  time: 36.71 s
158.30/39.70	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
158.30/39.72	c vivif2 --  cl tried    29128 cl shrink        0 lits rem          0 time: 0.06
159.49/40.04	c asymm  cl-useful: 0/3450/21250 lits-rem:0 time: 1.30
159.49/40.05	c calculated reachability. Time: 0.00
159.49/40.05	c  N dy   533    158520       250     21250         0     29128    148750   1188167     57.88   no data  --
164.67/41.35	c  N dy   576    168696       250     21250         0     22463    148750    716847     57.94     61.11  --
170.66/42.80	c  N dy   624    179949       250     21250         0     33462    148750   1446592     57.95     61.37  --
175.86/44.14	c  N dy   670    191518       250     21250         0     27155    148750    972699     57.98     61.11  --
182.23/45.75	c  N dy   711    203830       250     21250         0     20598    148750    482984     58.00     61.07  --
188.21/47.24	c  N dy   756    216857       250     21250         0     33359    148750   1331170     57.98     61.42  --
194.99/48.95	c  N dy   803    230731       250     21250         0     27376    148750    880492     57.96     61.09  --
198.63/49.86	c  S st   827    237780       250     21250         0     34268    148750   1333606     57.95     59.28  --
198.98/49.96	c  S st   827    238285       250     21250         0     34764    148750   1365210     57.95   no data  --
198.98/49.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
198.98/49.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
198.98/49.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
199.38/50.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
199.38/50.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
199.38/50.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
199.38/50.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
244.04/61.23	c lits-rem:       892  cl-subs:      877  v-elim:      0  v-fix:    0  time: 44.59 s
244.04/61.23	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
244.04/61.24	c vivif2 --  cl tried    33887 cl shrink        0 lits rem          0 time: 0.06
245.25/61.58	c asymm  cl-useful: 0/3081/21250 lits-rem:0 time: 1.37
245.25/61.59	c calculated reachability. Time: 0.00
245.25/61.59	c  N dy   827    238285       250     21250         0     33887    148750   1284753     57.95   no data  --
253.22/63.50	c  N dy   887    253685       250     21250         0     28407    148750    894917     57.99     61.94  --
261.19/65.55	c  N dy   950    270225       250     21250         0     23089    148750    486894     58.01     61.54  --
269.17/67.59	c  N dy  1003    288145       250     21250         0     40584    148750   1640287     57.97     61.25  --
277.94/69.74	c  F st  1051    306250       250     21250         0     35815    148750   1277849     57.95     57.65  --
278.34/69.82	c  N st  1053    306876       250     21250         0     36419    148750   1318665     57.95   no data  --
288.32/72.32	c  N dy  1111    326732       250     21250         0     32372    148750    989190     57.95     61.33  --
299.11/75.06	c  N dy  1185    346999       250     21250         0     27744    148750    632057     57.96     61.13  --
304.26/76.31	c  S st  1205    357427       250     21250         0     37922    148750   1308460     57.91     52.13  --
304.66/76.45	c  S st  1205    357931       250     21250         0     38425    148750   1339926     57.91   no data  --
304.66/76.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
304.66/76.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
304.66/76.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
305.06/76.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
305.06/76.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
305.06/76.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
305.06/76.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
339.01/85.10	c lits-rem:       542  cl-subs:      957  v-elim:      0  v-fix:    0  time: 34.16 s
339.36/85.10	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
339.36/85.11	c vivif2 --  cl tried    37468 cl shrink        0 lits rem          0 time: 0.05
340.55/85.46	c asymm  cl-useful: 0/2840/21250 lits-rem:0 time: 1.40
340.55/85.46	c calculated reachability. Time: 0.00
340.55/85.47	c  N dy  1205    357931       250     21250         0     37468    148750   1256111     57.91   no data  --
352.92/88.54	c  N dy  1292    378006       250     21250         0     31682    148750    838855     57.94     62.08  --
367.68/92.21	c  N dy  1357    401316       250     21250         0     28085    148750    550056     57.89     60.97  --
378.84/95.09	c  N dy  1429    421523       250     21250         0     47868    148750   1852814     57.88     60.97  --
390.41/97.97	c  N dy  1502    441837       250     21250         0     40321    148750   1301379     57.87     61.10  --
402.77/101.04	c  N dy  1563    462637       250     21250         0     32349    148750    719918     57.86     60.93  --
414.73/104.01	c  N dy  1632    483898       250     21250         0     53124    148750   2095144     57.86     61.14  --
425.91/106.83	c  N dy  1692    503954       250     21250         0     43373    148750   1396299     57.84     61.00  --
439.07/110.10	c  N dy  1766    524296       250     21250         0     32972    148750    656989     57.84     60.95  --
445.45/111.77	c  S st  1814    536898       250     21250         0     45305    148750   1474841     57.85     57.81  --
445.84/111.89	c  S st  1814    537399       250     21250         0     45802    148750   1505233     57.85   no data  --
446.24/111.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
446.24/111.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
446.24/111.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
446.24/111.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
446.24/111.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
446.24/111.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
446.24/111.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
518.88/130.11	c lits-rem:      1782  cl-subs:      840  v-elim:      0  v-fix:    0  time: 72.29 s
518.88/130.11	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
518.88/130.13	c vivif2 --  cl tried    44962 cl shrink        0 lits rem          0 time: 0.06
519.63/130.34	c asymm  cl-useful: 0/1398/21250 lits-rem:0 time: 0.83
519.63/130.34	c calculated reachability. Time: 0.00
519.63/130.34	c  N dy  1814    537399       250     21250         0     44962    148750   1426102     57.85   no data  --
533.58/133.89	c  N dy  1865    557448       250     21250         0     33266    148750    618260     57.82     61.45  --
546.35/137.06	c  N dy  1937    577470       250     21250         0     52863    148750   1913225     57.83     60.97  --
560.71/140.63	c  N dy  2013    597480       250     21250         0     40173    148750   1023337     57.83     61.06  --
573.47/143.80	c  N dy  2074    617861       250     21250         0     60078    148750   2342762     57.83     61.17  --
586.23/147.05	c  N dy  2135    638965       250     21250         0     47423    148750   1449529     57.81     61.34  --
601.81/150.92	c  N dy  2198    659142       250     21250         0     67133    148750   2754120     57.79     61.03  --
614.16/154.08	c  N dy  2264    679494       250     21250         0     52825    148750   1747086     57.78     61.19  --
645.27/161.81	c  N dy  2313    721269       250     21250         0     58303    148750   2068020     57.59     61.00  --
662.81/166.20	c  N dy  2398    743971       250     21250         0     44427    148750   1093036     57.60     61.35  --
677.96/170.00	c  N dy  2496    764045       250     21250         0     64030    148750   2392462     57.63     61.15  --
694.36/174.17	c  N dy  2567    785798       250     21250         0     48205    148750   1278761     57.62     60.85  --
710.68/178.27	c  N dy  2641    805825       250     21250         0     67741    148750   2572144     57.63     61.76  --
711.08/178.35	c  S st  2644    806098       250     21250         0     68013    148750   2590397     57.63   no data  --
711.91/178.55	c  S st  2644    806600       250     21250         0     68510    148750   2621946     57.63   no data  --
711.91/178.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
711.91/178.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
712.26/178.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
712.26/178.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
712.26/178.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
712.26/178.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
712.26/178.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1615.23/405.02	c lits-rem:      2181  cl-subs:     1911  v-elim:      0  v-fix:    0  time: 902.03 s
1615.23/405.02	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
1615.23/405.05	c vivif2 --  cl tried    66599 cl shrink        0 lits rem          0 time: 0.11
1616.80/405.42	c asymm  cl-useful: 0/2489/21250 lits-rem:0 time: 1.51
1616.80/405.43	c calculated reachability. Time: 0.00
1616.80/405.43	c  N dy  2644    806600       250     21250         0     66599    148750   2448343     57.63   no data  --
1633.54/409.66	c  N dy  2727    827926       250     21250         0     49372    148750   1305631     57.64     60.87  --
1649.91/413.80	c  N dy  2815    848099       250     21250         0     69095    148750   2609791     57.66     61.52  --
1667.05/418.07	c  N dy  2912    868685       250     21250         0     50155    148750   1303692     57.67     60.71  --
1683.40/422.11	c  N dy  2984    888991       250     21250         0     69997    148750   2624451     57.68     60.96  --
1700.15/426.35	c  N dy  3064    909247       250     21250         0     49742    148750   1220630     57.68     61.54  --
1716.55/430.47	c  N dy  3141    929464       250     21250         0     69484    148750   2531774     57.69     61.12  --
1734.85/435.05	c  N dy  3193    951714       250     21250         0     50177    148750   1201819     57.67     60.79  --
1753.20/439.61	c  N dy  3270    972892       250     21250         0     70866    148750   2569675     57.67     61.43  --
1771.95/444.34	c  N dy  3355    993152       250     21250         0     48662    148750   1038481     57.68     60.74  --
1788.30/448.44	c  N dy  3423   1013153       250     21250         0     68206    148750   2328853     57.68     61.08  --
1809.83/453.88	c  N dy  3499   1034099       250     21250         0     45696    148750    782478     57.68     60.94  --
1826.23/457.98	c  N dy  3574   1054363       250     21250         0     65496    148750   2089038     57.69     60.98  --
1844.52/462.53	c  F st  3649   1071875       250     21250         0     82622    148750   3217301     57.69   no data  --
1847.74/463.39	c  N st  3654   1075169       250     21250         0     85832    148750   3432568     57.69   no data  --
1865.71/467.83	c  N dy  3731   1095963       250     21250         0     62168    148750   1820585     57.69     61.28  --
1888.00/473.44	c  N dy  3817   1116041       250     21250         0     81797    148750   3122862     57.70     65.57  --
1908.35/478.59	c  N dy  3902   1136067       250     21250         0     56423    148750   1383868     57.71     61.20  --
1925.50/482.88	c  N dy  3966   1156185       250     21250         0     76079    148750   2683168     57.71     61.07  --
1946.63/488.19	c  N dy  4046   1176439       250     21250         0     49943    148750    901004     57.72     60.89  --
1962.98/492.23	c  N dy  4111   1196508       250     21250         0     69570    148750   2195446     57.72     60.84  --
1976.94/495.75	c  S st  4168   1209901       250     21250         0     82646    148750   3057912     57.72   no data  --
1977.74/495.99	c  S st  4168   1210410       250     21250         0     83151    148750   3090546     57.72   no data  --
1978.14/496.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1978.14/496.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1978.14/496.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1978.54/496.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1978.54/496.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1978.54/496.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
1978.54/496.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3709.84/930.29	c lits-rem:      3339  cl-subs:     2134  v-elim:      0  v-fix:    0  time: 1730.61 s
3709.84/930.29	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
3710.24/930.32	c vivif2 --  cl tried    81017 cl shrink        0 lits rem          0 time: 0.14
3711.84/930.77	c asymm  cl-useful: 0/1818/21250 lits-rem:0 time: 1.78
3711.84/930.77	c calculated reachability. Time: 0.00
3711.84/930.77	c  N dy  4168   1210410       250     21250         0     81017    148750   2894976     57.72   no data  --
3733.38/936.10	c  N dy  4258   1230670       250     21250         0     53978    148750   1115830     57.73     60.78  --
3751.32/940.63	c  N dy  4343   1250711       250     21250         0     73524    148750   2409049     57.74     60.80  --
3774.44/946.48	c  N dy  4422   1271177       250     21250         0     93490    148750   3725118     57.74     60.99  --
3791.98/950.83	c  N dy  4480   1291235       250     21250         0     65193    148750   1804512     57.73     61.23  --
3812.34/955.97	c  N dy  4555   1311262       250     21250         0     84742    148750   3098268     57.73     60.95  --
3835.08/961.69	c  N dy  4619   1332850       250     21250         0     57041    148750   1200332     57.72     61.15  --
3853.80/966.35	c  N dy  4691   1352916       250     21250         0     76665    148750   2498773     57.73     60.88  --
3876.94/972.18	c  N dy  4764   1373040       250     21250         0     96322    148750   3799796     57.73     61.47  --
3897.28/977.29	c  N dy  4844   1394302       250     21250         0     67272    148750   1824996     57.73     61.07  --
3920.41/983.05	c  N dy  4934   1415041       250     21250         0     87525    148750   3162071     57.73     60.83  --
3946.73/989.60	c  N dy  5032   1435652       250     21250         0     56870    148750   1077306     57.74     61.02  --
3966.69/994.64	c  N dy  5107   1455716       250     21250         0     76448    148750   2373562     57.74     61.15  --
3990.21/1000.58	c  N dy  5181   1476022       250     21250         0     96290    148750   3686574     57.75     61.50  --
4011.74/1005.92	c  N dy  5258   1496671       250     21250         0     64686    148750   1541275     57.75     60.97  --
4033.28/1011.35	c  N dy  5340   1517323       250     21250         0     84895    148750   2882583     57.76     61.11  --
4060.00/1018.01	c  N dy  5424   1537495       250     21250         0    104555    148750   4181455     57.76     61.57  --
4078.35/1022.65	c  N dy  5498   1557557       250     21250         0     71386    148750   1930767     57.76     60.94  --
4099.89/1028.02	c  N dy  5557   1577704       250     21250         0     91033    148750   3230991     57.76     60.94  --
4125.80/1034.54	c  N dy  5640   1598465       250     21250         0     57606    148750    970231     57.76     61.49  --
4144.95/1039.37	c  N dy  5725   1618517       250     21250         0     77195    148750   2267991     57.77     64.78  --
4168.50/1045.25	c  N dy  5799   1638678       250     21250         0     96904    148750   3571211     57.77     60.95  --
4193.62/1051.55	c  N dy  5879   1659627       250     21250         0     62708    148750   1246854     57.78     61.48  --
4213.95/1056.68	c  N dy  5968   1679762       250     21250         0     82403    148750   2557629     57.79     60.85  --
4239.87/1063.14	c  N dy  6071   1699873       250     21250         0    102054    148750   3863854     57.80     60.97  --
4253.83/1066.69	c  S st  6111   1710410       250     21250         0     56644    148750    793401     57.80     57.43  --
4254.63/1066.87	c  S st  6111   1710915       250     21250         0     57146    148750    824790     57.80   no data  --
4254.63/1066.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4254.63/1066.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4255.03/1066.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
4255.03/1066.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4255.03/1066.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4255.03/1066.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
4255.03/1066.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4283.74/1074.17	c lits-rem:        98  cl-subs:       64  v-elim:      0  v-fix:    0  time: 28.81 s
4283.74/1074.17	c vivif2 --  cl tried    21250 cl shrink        0 lits rem          0 time: 0.01
4283.74/1074.19	c vivif2 --  cl tried    57082 cl shrink        0 lits rem          0 time: 0.05
4285.34/1074.59	c asymm  cl-useful: 0/2255/21250 lits-rem:0 time: 1.60
4285.34/1074.59	c calculated reachability. Time: 0.00
4285.34/1074.59	c  N dy  6111   1710915       250     21250         0     57082    148750    818947     57.80   no data  --
4303.29/1079.05	c  N dy  6153   1731534       250     21250         0     77178    148750   2148070     57.79     60.97  --
4326.44/1084.86	c  N dy  6227   1751597       250     21250         0     96764    148750   3443508     57.79     64.47  --
4352.76/1091.48	c  N dy  6308   1771667       250     21250         0     59762    148750    944710     57.79     61.52  --
4371.88/1096.28	c  N dy  6380   1792048       250     21250         0     79635    148750   2252951     57.79     61.02  --
4396.22/1102.36	c  N dy  6457   1812176       250     21250         0     99346    148750   3560217     57.79     60.93  --
4424.93/1109.54	c  N dy  6549   1833909       250     21250         0     62926    148750   1092339     57.79     61.02  --
4444.47/1114.44	c  N dy  6613   1854029       250     21250         0     82593    148750   2400640     57.79     61.61  --
4469.99/1120.83	c  N dy  6665   1875882       250     21250         0    103889    148750   3805726     57.78     61.03  --
4496.32/1127.47	c  N dy  6752   1896149       250     21250         0     65084    148750   1183134     57.79     60.94  --
4517.05/1132.63	c  N dy  6827   1916825       250     21250         0     85293    148750   2522737     57.79     60.91  --
4542.98/1139.18	c  N dy  6894   1937917       250     21250         0    105910    148750   3888459     57.78     61.06  --
4569.70/1145.82	c  N dy  6986   1958136       250     21250         0     66056    148750   1193550     57.79     61.67  --
4591.64/1151.33	c  N dy  7080   1979376       250     21250         0     86845    148750   2575265     57.80     60.89  --
4616.76/1157.68	c  N dy  7151   1999477       250     21250         0    106452    148750   3873135     57.80     61.58  --
4645.09/1164.70	c  N dy  7230   2019538       250     21250         0     65488    148750   1098864     57.80     61.13  --
4665.42/1169.84	c  N dy  7304   2039754       250     21250         0     85260    148750   2401159     57.80     60.92  --
4690.58/1176.12	c  N dy  7377   2060920       250     21250         0    105942    148750   3772139     57.80     60.85  --
4718.87/1183.27	c  N dy  7465   2081722       250     21250         0     64715    148750    988148     57.81     61.01  --
4738.42/1188.17	c  N dy  7542   2101756       250     21250         0     84301    148750   2281039     57.81     61.20  --
4768.72/1195.76	c  N dy  7613   2128370       250     21250         0    110302    148750   4015669     57.79     60.91  --
4796.64/1202.70	c  N dy  7705   2148534       250     21250         0     67450    148750   1118916     57.80     61.49  --

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

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

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


[startup+0 s]
/proc/loadavg: 6.33 7.71 7.96 5/367 7222
/proc/meminfo: memFree=30334376/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 632287586 52465664 352 33554432000 4194304 4650419 140733405249280 18446744073709551615 47052841105330 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 12809 352 303 112 0 7774 0
[pid=7222/tid=7223] ppid=7220 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 632287586 52465664 352 33554432000 4194304 4650419 140733405249280 18446744073709551615 47052841105330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632287586 52465664 352 33554432000 4194304 4650419 140733405249280 18446744073709551615 212039711729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632287586 52465664 352 33554432000 4194304 4650419 140733405249280 18446744073709551615 47052841105334 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.074905 s]
/proc/loadavg: 6.33 7.71 7.96 5/367 7222
/proc/meminfo: memFree=30334376/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=283368 CPUtime=0.27 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 3091 0 0 0 27 0 0 0 18 0 4 0 632287586 290168832 2996 33554432000 4194304 4650419 140733405249280 18446744073709551615 4371088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 70842 2996 367 112 0 65807 0
[pid=7222/tid=7223] ppid=7220 vsize=283368 CPUtime=0.07 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 640 0 0 0 7 0 0 0 18 0 4 0 632287586 290168832 2996 33554432000 4194304 4650419 140733405249280 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=283368 CPUtime=0.06 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 645 0 0 0 6 0 0 0 25 0 4 0 632287586 290168832 2996 33554432000 4194304 4650419 140733405249280 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=283368 CPUtime=0.06 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 733 0 0 0 6 0 0 0 18 0 4 0 632287586 290168832 2996 33554432000 4194304 4650419 140733405249280 18446744073709551615 4330898 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 283368

[startup+0.100899 s]
/proc/loadavg: 6.33 7.71 7.96 5/367 7222
/proc/meminfo: memFree=30334376/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=283368 CPUtime=0.37 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 3154 0 0 0 37 0 0 0 18 0 4 0 632287586 290168832 3059 33554432000 4194304 4650419 140733405249280 18446744073709551615 4370732 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 70842 3059 367 112 0 65807 0
[pid=7222/tid=7223] ppid=7220 vsize=283368 CPUtime=0.09 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 647 0 0 0 9 0 0 0 18 0 4 0 632287586 290168832 3059 33554432000 4194304 4650419 140733405249280 18446744073709551615 4370630 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=283368 CPUtime=0.08 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 652 0 0 0 8 0 0 0 25 0 4 0 632287586 290168832 3059 33554432000 4194304 4650419 140733405249280 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=283368 CPUtime=0.09 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 775 0 0 0 9 0 0 0 18 0 4 0 632287586 290168832 3059 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 283368

[startup+0.300864 s]
/proc/loadavg: 6.33 7.71 7.96 5/367 7222
/proc/meminfo: memFree=30334376/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=283500 CPUtime=1.17 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 3558 0 0 0 117 0 0 0 18 0 4 0 632287586 290304000 3463 33554432000 4194304 4650419 140733405249280 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 70875 3463 367 112 0 65840 0
[pid=7222/tid=7223] ppid=7220 vsize=283500 CPUtime=0.29 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 683 0 0 0 29 0 0 0 18 0 4 0 632287586 290304000 3463 33554432000 4194304 4650419 140733405249280 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=283500 CPUtime=0.28 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 688 0 0 0 28 0 0 0 25 0 4 0 632287586 290304000 3463 33554432000 4194304 4650419 140733405249280 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=283500 CPUtime=0.29 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 1071 0 0 0 29 0 0 0 18 0 4 0 632287586 290304000 3463 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283500

[startup+0.815751 s]
/proc/loadavg: 6.33 7.71 7.96 5/367 7222
/proc/meminfo: memFree=30334376/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=276600 CPUtime=3.22 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 11998 0 0 0 321 1 0 0 18 0 4 0 632287586 283238400 7886 33554432000 4194304 4650419 140733405249280 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 69150 7886 391 112 0 64115 0
[pid=7222/tid=7223] ppid=7220 vsize=276600 CPUtime=0.8 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 2945 0 0 0 80 0 0 0 18 0 4 0 632287586 283238400 7887 33554432000 4194304 4650419 140733405249280 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=276600 CPUtime=0.79 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 3004 0 0 0 79 0 0 0 18 0 4 0 632287586 283238400 7887 33554432000 4194304 4650419 140733405249280 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=276600 CPUtime=0.8 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 2654 0 0 0 80 0 0 0 19 0 4 0 632287586 283238400 7887 33554432000 4194304 4650419 140733405249280 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 276600

[startup+1.50065 s]
/proc/loadavg: 6.33 7.71 7.96 9/371 7226
/proc/meminfo: memFree=30266036/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=297008 CPUtime=5.95 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 16515 0 0 0 593 2 0 0 19 0 4 0 632287586 304136192 9325 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 74252 9325 391 112 0 69217 0
[pid=7222/tid=7223] ppid=7220 vsize=297008 CPUtime=1.49 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 4072 0 0 0 149 0 0 0 19 0 4 0 632287586 304136192 9325 33554432000 4194304 4650419 140733405249280 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=297008 CPUtime=1.46 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 4081 0 0 0 146 0 0 0 19 0 4 0 632287586 304136192 9325 33554432000 4194304 4650419 140733405249280 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=297008 CPUtime=1.49 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 3835 0 0 0 148 1 0 0 20 0 4 0 632287586 304136192 9325 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 297008

[startup+3.10037 s]
/proc/loadavg: 6.33 7.71 7.96 9/371 7226
/proc/meminfo: memFree=30253000/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=298176 CPUtime=12.34 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 29888 0 0 0 1229 5 0 0 23 0 4 0 632287586 305332224 13125 33554432000 4194304 4650419 140733405249280 18446744073709551615 4438865 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 74544 13125 393 112 0 69509 0
[pid=7222/tid=7223] ppid=7220 vsize=298176 CPUtime=3.09 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 7040 0 0 0 308 1 0 0 22 0 4 0 632287586 305332224 13125 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=298176 CPUtime=3.04 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 6798 0 0 0 304 0 0 0 23 0 4 0 632287586 305332224 13125 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=298176 CPUtime=3.08 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 6294 0 0 0 307 1 0 0 25 0 4 0 632287586 305332224 13125 33554432000 4194304 4650419 140733405249280 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 298176

[startup+6.3008 s]
/proc/loadavg: 6.46 7.71 7.96 9/371 7226
/proc/meminfo: memFree=30127016/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=317964 CPUtime=25.09 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 43489 0 0 0 2503 6 0 0 25 0 4 0 632287586 325595136 25296 33554432000 4194304 4650419 140733405249280 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 79491 25296 393 112 0 74456 0
[pid=7222/tid=7223] ppid=7220 vsize=317964 CPUtime=6.29 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 9488 0 0 0 628 1 0 0 25 0 4 0 632287586 325595136 25296 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=317964 CPUtime=6.21 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 11952 0 0 0 620 1 0 0 22 0 4 0 632287586 325595136 25296 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=317964 CPUtime=6.29 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 11916 0 0 0 626 3 0 0 22 0 4 0 632287586 325595136 25296 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 317964

[startup+12.7007 s]
/proc/loadavg: 6.59 7.72 7.96 9/371 7226
/proc/meminfo: memFree=30074436/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=319824 CPUtime=50.61 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 62908 0 0 0 5051 10 0 0 25 0 4 0 632287586 327499776 31889 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 79956 31889 393 112 0 74921 0
[pid=7222/tid=7223] ppid=7220 vsize=319824 CPUtime=12.69 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 16722 0 0 0 1267 2 0 0 25 0 4 0 632287586 327499776 31889 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=319824 CPUtime=12.53 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 14561 0 0 0 1252 1 0 0 25 0 4 0 632287586 327499776 31889 33554432000 4194304 4650419 140733405249280 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=319824 CPUtime=12.68 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 17280 0 0 0 1264 4 0 0 25 0 4 0 632287586 327499776 31889 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 319824

[startup+25.5004 s]
/proc/loadavg: 6.98 7.75 7.97 9/371 7227
/proc/meminfo: memFree=29965704/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=330736 CPUtime=101.69 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 86504 0 0 0 10154 15 0 0 25 0 4 0 632287586 338673664 46103 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 82684 46103 393 112 0 77649 0
[pid=7222/tid=7223] ppid=7220 vsize=330736 CPUtime=25.49 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 23234 0 0 0 2546 3 0 0 25 0 4 0 632287586 338673664 46108 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=330736 CPUtime=25.18 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 19082 0 0 0 2516 2 0 0 25 0 4 0 632287586 338673664 46108 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=330736 CPUtime=25.5 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 22942 0 0 0 2545 5 0 0 25 0 4 0 632287586 338673664 46108 33554432000 4194304 4650419 140733405249280 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 330736

[startup+51.1008 s]
/proc/loadavg: 7.33 7.77 7.97 9/371 7227
/proc/meminfo: memFree=29841784/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=462708 CPUtime=203.76 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 133410 0 0 0 20346 30 0 0 25 0 4 0 632287586 473812992 60275 33554432000 4194304 4650419 140733405249280 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 115677 60275 393 112 0 110642 0
[pid=7222/tid=7223] ppid=7220 vsize=462708 CPUtime=51.08 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 31841 0 0 0 5102 6 0 0 25 0 4 0 632287586 473812992 60275 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=462708 CPUtime=50.48 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 25856 0 0 0 5044 4 0 0 25 0 4 0 632287586 473812992 60275 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=462708 CPUtime=51.08 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 40693 0 0 0 5096 12 0 0 25 0 4 0 632287586 473812992 60275 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476454 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 462708

[startup+102.301 s]
/proc/loadavg: 7.76 7.81 7.97 9/371 7229
/proc/meminfo: memFree=29746508/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=475724 CPUtime=407.97 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 202108 0 0 0 40742 55 0 0 25 0 4 0 632287586 487141376 71159 33554432000 4194304 4650419 140733405249280 18446744073709551615 4366248 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 118931 71159 393 112 0 113896 0
[pid=7222/tid=7223] ppid=7220 vsize=475724 CPUtime=102.28 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 49673 0 0 0 10216 12 0 0 25 0 4 0 632287586 487141376 71159 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=475724 CPUtime=101.08 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 30883 0 0 0 10102 6 0 0 25 0 4 0 632287586 487141376 71159 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=475724 CPUtime=102.29 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 70614 0 0 0 10206 23 0 0 25 0 4 0 632287586 487141376 71159 33554432000 4194304 4650419 140733405249280 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.97
Current children cumulated vsize (KiB) 475724

[startup+162.301 s]

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

[pid=7222] ppid=7220 vsize=764860 CPUtime=2800.91 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 591645 0 0 0 279870 221 0 0 25 0 4 0 632287586 783216640 116112 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 191215 116112 393 112 0 186180 0
[pid=7222/tid=7223] ppid=7220 vsize=764860 CPUtime=702.3 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 186549 0 0 0 70141 89 0 0 25 0 4 0 632287586 783216640 116112 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=764860 CPUtime=693.98 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95510 0 0 0 69360 38 0 0 25 0 4 0 632287586 783216640 116112 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=764860 CPUtime=702.3 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 188751 0 0 0 70174 56 0 0 25 0 4 0 632287586 783216640 116112 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476428 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.91
Current children cumulated vsize (KiB) 764860

[startup+762.301 s]
/proc/loadavg: 8.13 8.08 8.02 9/371 7246
/proc/meminfo: memFree=29273008/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=821148 CPUtime=3040.21 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 623488 0 0 0 303785 236 0 0 25 0 4 0 632287586 840855552 118234 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 205287 118234 393 112 0 200252 0
[pid=7222/tid=7223] ppid=7220 vsize=821148 CPUtime=762.3 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 200381 0 0 0 76130 100 0 0 25 0 4 0 632287586 840855552 118234 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=821148 CPUtime=753.28 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95511 0 0 0 75290 38 0 0 25 0 4 0 632287586 840855552 118234 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=821148 CPUtime=762.3 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 197635 0 0 0 76172 58 0 0 25 0 4 0 632287586 840855552 118234 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.21
Current children cumulated vsize (KiB) 821148

[startup+822.301 s]
/proc/loadavg: 8.04 8.07 8.02 9/371 7248
/proc/meminfo: memFree=29283132/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=765156 CPUtime=3279.51 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 655143 0 0 0 327704 247 0 0 25 0 4 0 632287586 783519744 115581 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 191289 115581 393 112 0 186254 0
[pid=7222/tid=7223] ppid=7220 vsize=765156 CPUtime=822.29 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 215879 0 0 0 82120 109 0 0 25 0 4 0 632287586 783519744 115581 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=765156 CPUtime=812.56 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95511 0 0 0 81218 38 0 0 25 0 4 0 632287586 783519744 115581 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=765156 CPUtime=822.3 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 204797 0 0 0 82172 58 0 0 25 0 4 0 632287586 783519744 115581 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.51
Current children cumulated vsize (KiB) 765156

[startup+882.3 s]
/proc/loadavg: 8.08 8.07 8.02 9/371 7250
/proc/meminfo: memFree=29258280/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=765484 CPUtime=3518.8 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 692036 0 0 0 351620 260 0 0 25 0 4 0 632287586 783855616 122036 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476421 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 191371 122036 393 112 0 186336 0
[pid=7222/tid=7223] ppid=7220 vsize=765484 CPUtime=882.29 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 224634 0 0 0 88115 114 0 0 25 0 4 0 632287586 783855616 122036 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=765484 CPUtime=871.86 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95513 0 0 0 87148 38 0 0 25 0 4 0 632287586 783855616 122036 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=765484 CPUtime=882.3 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 222142 0 0 0 88164 66 0 0 25 0 4 0 632287586 783855616 122036 33554432000 4194304 4650419 140733405249280 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.8
Current children cumulated vsize (KiB) 765484

[startup+942.301 s]
/proc/loadavg: 8.09 8.07 8.02 9/371 7251
/proc/meminfo: memFree=29272116/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=780708 CPUtime=3758.1 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 726769 0 0 0 375537 273 0 0 25 0 4 0 632287586 799444992 125048 33554432000 4194304 4650419 140733405249280 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 195177 125048 393 112 0 190142 0
[pid=7222/tid=7223] ppid=7220 vsize=780708 CPUtime=942.3 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 234953 0 0 0 94114 116 0 0 25 0 4 0 632287586 799444992 125048 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=780708 CPUtime=931.15 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95513 0 0 0 93077 38 0 0 25 0 4 0 632287586 799444992 125048 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=780708 CPUtime=942.3 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 234531 0 0 0 94157 73 0 0 25 0 4 0 632287586 799444992 125048 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.1
Current children cumulated vsize (KiB) 780708

[startup+1002.3 s]
/proc/loadavg: 8.09 8.07 8.02 9/371 7262
/proc/meminfo: memFree=29268364/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=833864 CPUtime=3997.41 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 764421 0 0 0 399453 288 0 0 25 0 4 0 632287586 853876736 125212 33554432000 4194304 4650419 140733405249280 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 208466 125212 393 112 0 203431 0
[pid=7222/tid=7223] ppid=7220 vsize=833864 CPUtime=1002.31 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 248653 0 0 0 100114 117 0 0 25 0 4 0 632287586 853876736 125216 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=833864 CPUtime=990.45 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95524 0 0 0 99007 38 0 0 25 0 4 0 632287586 853876736 125216 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=833864 CPUtime=1002.32 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 242942 0 0 0 100152 80 0 0 25 0 4 0 632287586 853876736 125216 33554432000 4194304 4650419 140733405249280 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.41
Current children cumulated vsize (KiB) 833864

[startup+1062.3 s]
/proc/loadavg: 8.13 8.08 8.02 9/371 7263
/proc/meminfo: memFree=29239536/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=836052 CPUtime=4236.68 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 807457 0 0 0 423359 309 0 0 25 0 4 0 632287586 856117248 133181 33554432000 4194304 4650419 140733405249280 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 209013 133181 393 112 0 203978 0
[pid=7222/tid=7223] ppid=7220 vsize=836052 CPUtime=1062.3 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 262683 0 0 0 106110 120 0 0 25 0 4 0 632287586 856117248 133181 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=836052 CPUtime=1049.73 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95524 0 0 0 104935 38 0 0 25 0 4 0 632287586 856117248 133181 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=836052 CPUtime=1062.31 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 256783 0 0 0 106142 89 0 0 25 0 4 0 632287586 856117248 133181 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.68
Current children cumulated vsize (KiB) 836052

[startup+1122.31 s]
/proc/loadavg: 8.10 8.08 8.02 9/371 7265
/proc/meminfo: memFree=29244568/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=782724 CPUtime=4476.03 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 844974 0 0 0 447277 326 0 0 25 0 4 0 632287586 801509376 130199 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 195681 130199 393 112 0 190646 0
[pid=7222/tid=7223] ppid=7220 vsize=782724 CPUtime=1122.31 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 276839 0 0 0 112109 122 0 0 25 0 4 0 632287586 801509376 130199 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=782724 CPUtime=1109.03 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95524 0 0 0 110865 38 0 0 25 0 4 0 632287586 801509376 130199 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=782724 CPUtime=1122.33 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 268173 0 0 0 112137 96 0 0 25 0 4 0 632287586 801509376 130199 33554432000 4194304 4650419 140733405249280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.03
Current children cumulated vsize (KiB) 782724

[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 8.03 9/371 7267
/proc/meminfo: memFree=29226168/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=896292 CPUtime=4715.27 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 878302 0 0 0 471183 344 0 0 25 0 4 0 632287586 917803008 133504 33554432000 4194304 4650419 140733405249280 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 224073 133504 393 112 0 219038 0
[pid=7222/tid=7223] ppid=7220 vsize=896292 CPUtime=1182.3 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 289625 0 0 0 118103 127 0 0 25 0 4 0 632287586 917803008 133504 33554432000 4194304 4650419 140733405249280 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=896292 CPUtime=1168.32 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95524 0 0 0 116794 38 0 0 25 0 4 0 632287586 917803008 133504 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=896292 CPUtime=1182.32 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 275640 0 0 0 118131 101 0 0 25 0 4 0 632287586 917803008 133504 33554432000 4194304 4650419 140733405249280 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.27
Current children cumulated vsize (KiB) 896292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.14 8.10 8.03 10/371 7267
/proc/meminfo: memFree=29246132/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=841996 CPUtime=4800.29 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 893788 0 0 0 479676 353 0 0 25 0 4 0 632287586 862203904 129314 33554432000 4194304 4650419 140733405249280 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 210499 129314 393 112 0 205464 0
[pid=7222/tid=7223] ppid=7220 vsize=841996 CPUtime=1203.62 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 295466 0 0 0 120232 130 0 0 25 0 4 0 632287586 862203904 129320 33554432000 4194304 4650419 140733405249280 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=841996 CPUtime=1189.37 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95524 0 0 0 118899 38 0 0 25 0 4 0 632287586 862203904 129320 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=841996 CPUtime=1203.64 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 281520 0 0 0 120260 104 0 0 25 0 4 0 632287586 862203904 129320 33554432000 4194304 4650419 140733405249280 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 841996

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

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

[startup+1203.6 s]
/proc/loadavg: 8.14 8.10 8.03 10/371 7267
/proc/meminfo: memFree=29246132/32951124 swapFree=51873460/67111528
[pid=7222] ppid=7220 vsize=841996 CPUtime=4800.29 cores=1,3,5,7
/proc/7222/stat : 7222 (strangenight1-m) R 7220 7222 7181 0 -1 4202496 893788 0 0 0 479676 353 0 0 25 0 4 0 632287586 862203904 129314 33554432000 4194304 4650419 140733405249280 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7222/statm: 210499 129314 393 112 0 205464 0
[pid=7222/tid=7223] ppid=7220 vsize=841996 CPUtime=1203.62 cores=1,3,5,7
/proc/7222/task/7223/stat : 7223 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 295466 0 0 0 120232 130 0 0 25 0 4 0 632287586 862203904 129320 33554432000 4194304 4650419 140733405249280 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7222/tid=7224] ppid=7220 vsize=841996 CPUtime=1189.37 cores=1,3,5,7
/proc/7222/task/7224/stat : 7224 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 95524 0 0 0 118899 38 0 0 25 0 4 0 632287586 862203904 129320 33554432000 4194304 4650419 140733405249280 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7222/tid=7225] ppid=7220 vsize=841996 CPUtime=1203.64 cores=1,3,5,7
/proc/7222/task/7225/stat : 7225 (strangenight1-m) R 7220 7222 7181 0 -1 4202560 281520 0 0 0 120260 104 0 0 25 0 4 0 632287586 862203904 129320 33554432000 4194304 4650419 140733405249280 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 841996

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.66
CPU time (s): 4800.36
CPU user time (s): 4796.81
CPU system time (s): 3.55646
CPU usage (%): 398.815
Max. virtual memory (cumulated for all children) (KiB): 896984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.81
system time used= 3.55646
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 893798
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= 1973
involuntary context switches= 21851

runsolver used 3.74843 second user time and 10.5304 second system time

The end

Launcher Data 

Begin job on node146 at 2011-05-14 20:45:13
IDJOB=3368617
IDBENCH=82626
IDSOLVER=1846
FILE ID=node146/3368617-1305398713
RUNJOBID= node146-1305398713-7200
PBS_JOBID= 13324493
Free space on /tmp= 73264 MiB

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

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

MD5SUM BENCH= c26a52ff3714cab8bc335a81bb8af922
RANDOM SEED=1544034868

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.830
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.75
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.830
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:      30335772 kB
Buffers:         46488 kB
Cached:          98728 kB
SwapCached:      56048 kB
Active:         714044 kB
Inactive:      1677960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30335772 kB
SwapTotal:    67111528 kB
SwapFree:     51873460 kB
Dirty:           13688 kB
Writeback:           0 kB
AnonPages:     2197572 kB
Mapped:          17368 kB
Slab:            96420 kB
PageTables:      59084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81833708 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= 73260 MiB
End job on node146 at 2011-05-14 21:05:19