Trace number 3266641

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 TechDemo-Alpha-mt? (TO) 4800.23 1202.02

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
MD5SUM4b4e8a8187c1b8536d6b504b16289d38
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.732887
Satisfiable
(Un)Satisfiability was proved
Number of variables1106
Number of clauses129272
Sum of the clauses size259580
Maximum clause length37
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2129237
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 535

Solver Data 

0.00/0.04	c Outputting solution to console
0.00/0.04	c This is CryptoMiniSat 2.9.0
0.00/0.04	c compiled with gcc version 4.4.5
0.00/0.04	c Using 4 thread(s)
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3266641-1304183049.cnf'
0.00/0.05	c -- header says num vars:           1106
0.00/0.05	c -- header says num clauses:      129272
0.05/0.14	c -- clauses added:            0 learnts,       129272 normals,            0 xors
0.05/0.14	c -- vars added       1106
0.05/0.14	c Parsing time:  0.09 s
0.05/0.15	c  N st     0         0      1106        35    129237         0    259580         0   no data   no data  --
0.05/0.15	c asymm  cl-useful: 0/35/35 lits-rem:0 time: 0.00
0.05/0.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.7M T:  0.11
0.05/0.25	c Calc non-exist non-lernt bins v-fix:     0 done:   1106 time:  0.05 s
0.05/0.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.05/0.25	c Subs w/ non-existent bins:      0 time:  0.00 s
0.05/0.25	c bin-w-bin subsume rem            0 bins  time:  0.08 s
0.05/0.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
0.05/0.25	c Removed useless bin:       0  fixed:     0  bprops:   0.52M  time:  0.05 s
0.48/0.28	c lits-rem:       542  cl-subs:        0  v-elim:    701  v-fix:    0  time:  0.13 s
0.48/0.28	c learnt bin added due to v-elim: 0
0.48/0.29	c Finding binary XORs  T:     0.01 s  found:       0
0.48/0.29	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.48/0.29	c calculated reachability. Time: 0.00
0.48/0.29	c Calc default polars -  time:   0.00 s pos:       0 undec:      35 neg:    1071
0.48/0.29	c =========================================================================================
0.48/0.29	c types(t): F = full restart, N = normal restart
0.48/0.29	c types(t): S = simplification begin/end, E = solution found
0.48/0.29	c restart types(rt): st = static, dy = dynamic
0.48/0.29	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.48/0.29	c  B st     0         0      1071      3670    124496         0    380540         0   no data   no data  --
1.46/0.57	c Decided on static restart strategy
3.48/1.06	c  N dy    20      4077      1071      3670    124496      3873    380530    610325    199.10     13.84  --
7.45/2.01	c  N dy    49      8214      1071      3670    124497      5452    380519    694523     83.34     12.80  --
12.26/3.20	c  N dy    77     12288      1071      3670    124498      5318    380516    580433    148.94     12.73  --
15.84/4.18	c  N dy   106     16356      1071      3670    124498      9266    380513    946190     83.13     12.48  --
20.24/5.24	c  N dy   135     20381      1071      3670    124499      7710    380513    554906     50.13     12.09  --
23.83/6.13	c  N dy   163     24386      1071      3670    124499     11546    380507    862621    113.50     12.04  --
27.43/7.01	c  N dy   192     28411      1071      3670    124499      8900    380503    710084    110.57     12.33  --
29.03/7.43	c  S st   204     30002      1071      3670    124499     10440    380503    849609     93.64     12.46  --
29.43/7.56	c  S st   204     30504      1071      3670    124499     10941    380502    877098     93.64     12.46  --
29.43/7.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
29.43/7.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.81/9.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 38.6M T:  8.26
37.81/9.65	c Calc non-exist non-lernt bins v-fix:     0 done:   1071 time:  0.05 s
37.81/9.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.81/9.66	c Subs w/ non-existent bins:      0 time:  0.06 s
38.22/9.71	c bin-w-bin subsume rem            0 bins  time:  0.09 s
43.80/11.16	c subs with bin:        0  lits-rem:       954  v-fix:    0  time:  5.79 s
43.80/11.17	c Removed useless bin:       0  fixed:     0  bprops:   0.50M  time:  0.04 s
49.39/12.55	c lits-rem:      3326  cl-subs:     1201  v-elim:   1071  v-fix:    0  time:  5.52 s
49.39/12.55	c learnt bin added due to v-elim: 0
49.39/12.56	c vivif2 --  cl tried     3670 cl shrink     2804 lits rem      27742 time: 0.03
49.39/12.57	c vivif2 --  cl tried     9740 cl shrink        1 lits rem          1 time: 0.05
50.59/12.81	c asymm  cl-useful: 96/408/3670 lits-rem:187 time: 0.95
50.59/12.81	c calculated reachability. Time: 0.00
50.59/12.81	c  N dy   204     30504      1071      3670    124499      9740    349519    771266     93.64     12.46  --
50.59/12.81	c  F st   204     30504      1071      3670    124499      9740    349519    771266     93.64     12.46  --
52.98/13.44	c Decided on static restart strategy
55.79/14.10	c  N dy   224     34597      1071      3670    124499     13677    349515   1221312    129.29     13.01  --
59.78/15.19	c  N dy   252     38604      1071      3670    124499      9876    349512    729312     98.99     13.35  --
64.57/16.35	c  N dy   280     42627      1071      3670    124501     13753    349509   1090001    124.05     13.62  --
68.97/17.43	c  S st   303     45759      1071      3670    124501     16740    349509   1356025     96.14     13.63  --
69.38/17.59	c  S st   303     46261      1071      3670    124501      8651    349509    552179     96.14     13.63  --
69.38/17.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
69.38/17.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.95/19.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 37.8M T:  5.61
75.35/19.01	c Calc non-exist non-lernt bins v-fix:     0 done:   1071 time:  0.06 s
75.35/19.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.35/19.02	c Subs w/ non-existent bins:      0 time:  0.05 s
75.35/19.06	c bin-w-bin subsume rem            0 bins  time:  0.10 s
81.34/20.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.84 s
81.34/20.53	c Removed useless bin:       0  fixed:     0  bprops:   0.50M  time:  0.04 s
93.28/23.55	c lits-rem:      1473  cl-subs:      156  v-elim:   1071  v-fix:    0  time: 12.01 s
93.28/23.55	c learnt bin added due to v-elim: 0
93.28/23.55	c vivif2 --  cl tried     3670 cl shrink        2 lits rem          2 time: 0.01
93.28/23.56	c vivif2 --  cl tried     8495 cl shrink        7 lits rem          7 time: 0.04
94.07/23.76	c asymm  cl-useful: 0/587/3670 lits-rem:0 time: 0.77
94.07/23.76	c calculated reachability. Time: 0.00
94.07/23.76	c  N dy   303     46261      1071      3670    124501      8495    349125    542159     96.14     13.63  --
97.62/24.60	c  N dy   331     50284      1071      3670    124501     12367    349125    821573     78.07     13.59  --
102.37/25.80	c  N dy   359     54357      1071      3670    124501     16287    349125   1362429    128.81     13.79  --
108.36/27.37	c  N dy   387     58481      1071      3670    124501     10689    349125    765071    123.31     13.77  --
112.70/28.50	c  N dy   416     62563      1071      3670    124503     14622    349125   1113714     59.70     13.85  --
119.01/30.00	c  N dy   444     66576      1071      3670    124503     18454    349125   1486547    104.45     13.97  --
124.14/31.38	c  S st   464     69392      1071      3670    124504     10578    349125    607981     74.83     13.95  --
124.54/31.47	c  S st   464     69892      1071      3670    124504     11078    349125    643759     74.83     13.95  --
124.54/31.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
124.54/31.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
132.43/33.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 56.5M T:  7.83
132.43/33.47	c Calc non-exist non-lernt bins v-fix:     0 done:   1071 time:  0.06 s
132.43/33.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
132.43/33.49	c Subs w/ non-existent bins:      0 time:  0.06 s
132.83/33.52	c bin-w-bin subsume rem            0 bins  time:  0.10 s
138.75/35.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.10 s
138.75/35.08	c Removed useless bin:       0  fixed:     0  bprops:   0.50M  time:  0.05 s
152.18/38.42	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.19
159.27/40.20	c Added 11 vars  tried: 80000 time: 7.02
159.27/40.22	c ORs :     11 avg-s:  0.0 cl-sh:  7401 l-rem:   7401 b-add:     22 v-rep:   0 cl-rem: 0 avg s: nan T:    7.11
159.27/40.23	c lits-rem:       364  cl-subs:      364  v-elim:   1071  v-fix:    0  time: 20.31 s
159.27/40.23	c learnt bin added due to v-elim: 0
159.27/40.23	c vivif2 --  cl tried     3681 cl shrink        2 lits rem          2 time: 0.00
159.27/40.24	c vivif2 --  cl tried    10714 cl shrink        8 lits rem          8 time: 0.05
160.06/40.41	c asymm  cl-useful: 0/421/3681 lits-rem:0 time: 0.67
160.06/40.41	c calculated reachability. Time: 0.00
160.06/40.41	c  N dy   464     69892      1082      3681    124526     10714    348509    618673     74.83     13.95  --
160.06/40.41	c  F st   464     69892      1082      3681    124526     10714    348509    618673     74.83     13.95  --
161.63/40.85	c Decided on static restart strategy
164.04/41.46	c  N dy   487     74504      1082      3681    124543     15151    348509   1385195    140.79     15.81  --
171.22/43.21	c  N dy   520     79331      1082      3681    124552     19764    348509   2230438    181.34     17.39  --
179.21/45.28	c  N dy   555     84478      1082      3681    124558     13208    348509    920546    142.51     18.44  --
185.60/46.83	c  N dy   593     89994      1082      3681    124561     18529    348509   1707552    133.51     19.72  --
194.40/49.00	c  N dy   632     95742      1082      3681    124566     24064    348509   2596150    203.22     20.55  --
200.81/50.64	c  N dy   675    101988      1082      3681    124566     17558    348509   1501875    136.32     21.80  --
205.20/51.72	c  S st   695    104839      1082      3681    124566     20271    348509   1986008    161.63     23.13  --
205.58/51.86	c  S st   695    105339      1082      3681    124566     20770    348509   2013349    161.63     23.13  --
205.58/51.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
205.58/51.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
223.15/56.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1114 BRemL:     12 BRemN:      0 CBin:       0 P: 60.0M T: 17.44
223.15/56.24	c Calc non-exist non-lernt bins v-fix:     0 done:   1082 time:  0.06 s
223.15/56.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
223.15/56.27	c Subs w/ non-existent bins:      0 time:  0.11 s
223.55/56.33	c bin-w-bin subsume rem            0 bins  time:  0.08 s
229.15/57.79	c subs with bin:        0  lits-rem:        93  v-fix:    0  time:  5.82 s
229.15/57.79	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.03 s
245.13/61.77	c ORs :     27 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.18
245.13/61.78	c lits-rem:       586  cl-subs:     3731  v-elim:   1503  v-fix:    0  time: 15.93 s
245.13/61.78	c learnt bin added due to v-elim: 0
245.13/61.79	c vivif2 --  cl tried     4162 cl shrink      222 lits rem        222 time: 0.01
245.53/61.82	c vivif2 --  cl tried    17039 cl shrink      938 lits rem       1439 time: 0.14
246.73/62.12	c asymm  cl-useful: 0/94/3940 lits-rem:0 time: 1.21
246.73/62.13	c calculated reachability. Time: 0.00
246.73/62.13	c  N dy   695    105339      1080      3940    125400     17039    348752   1400600    161.63     23.13  --
255.91/64.45	c  N dy   741    112164      1080      3940    125400     23574    348752   2310736    148.16     23.94  --
265.51/66.88	c  N dy   789    119337      1080      3940    125400     17068    348752   1290356    174.76     24.98  --
275.88/69.47	c  N dy   841    127082      1080      3940    125400     24393    348752   2262932    194.67     25.75  --
287.87/72.42	c  N dy   896    135292      1080      3940    125400     17843    348752   1249772    145.07     26.49  --
301.47/75.83	c  N dy   954    143934      1080      3940    125400     25969    348752   2285761    137.90     26.81  --
317.03/79.72	c  N dy  1015    153184      1080      3940    125400     19582    348752   1464333    120.71     27.25  --
323.02/81.28	c  S st  1048    158008      1080      3940    125400     24232    348752   2163704    153.72     27.52  --
323.84/81.44	c  S st  1048    158508      1080      3940    125400     24730    348752   2198263    153.72     27.52  --
323.84/81.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
323.84/81.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
341.02/85.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:    222 CBin:       0 P: 60.0M T: 17.19
341.02/85.77	c Calc non-exist non-lernt bins v-fix:     0 done:   1080 time:  0.06 s
341.02/85.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
341.02/85.80	c Subs w/ non-existent bins:      0 time:  0.12 s
341.42/85.86	c bin-w-bin subsume rem          221 bins  time:  0.08 s
348.19/87.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.82 s
348.19/87.57	c Removed useless bin:       0  fixed:     0  bprops:   0.35M  time:  0.04 s
363.77/91.46	c ORs :     27 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.18
363.77/91.48	c lits-rem:      1442  cl-subs:     3159  v-elim:   1063  v-fix:    0  time: 15.61 s
363.77/91.48	c learnt bin added due to v-elim: 0
363.77/91.48	c vivif2 --  cl tried     3940 cl shrink        0 lits rem          0 time: 0.01
364.17/91.51	c vivif2 --  cl tried    21571 cl shrink        0 lits rem          0 time: 0.11
364.97/91.79	c asymm  cl-useful: 0/190/3940 lits-rem:0 time: 1.11
364.97/91.79	c calculated reachability. Time: 0.00
364.97/91.79	c  N dy  1048    158508      1080      3940    124957     21571    348308   1724975    153.72     27.52  --
383.34/96.31	c  N dy  1116    168685      1115      3940    127558     31216    348446   2978919    151.70     27.82  --
398.54/100.19	c  N dy  1189    179552      1115      3940    127558     25543    348446   2261444    126.62     27.92  --
421.28/105.86	c  N dy  1267    191109      1115      3940    127558     19490    348446   1389116    202.58     28.74  --
443.66/111.40	c  N dy  1349    203379      1115      3940    127558     31148    348446   3106945    190.55     29.74  --
467.63/117.43	c  N dy  1436    216497      1115      3940    128781     25844    348656   2189425    151.83     30.76  --
496.79/124.79	c  N dy  1529    230465      1115      3940    128781     19968    348656   1225640    164.46     30.98  --
506.37/127.10	c  S st  1579    237762      1115      3940    128781     26919    348656   2150936    101.46     31.16  --
506.77/127.25	c  S st  1579    238262      1115      3940    128781     27419    348656   2181912    101.46     31.16  --
506.77/127.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
506.77/127.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
523.55/131.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:     78 BRemN:      1 CBin:       0 P: 60.0M T: 16.66
523.55/131.45	c Calc non-exist non-lernt bins v-fix:     0 done:   1115 time:  0.06 s
523.55/131.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
523.55/131.49	c Subs w/ non-existent bins:    105 time:  0.15 s
523.95/131.54	c bin-w-bin subsume rem          105 bins  time:  0.08 s
530.74/133.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.65 s
530.74/133.21	c Removed useless bin:      22  fixed:     0  bprops:   0.20M  time:  0.02 s
547.93/137.59	c ORs :     27 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.18
548.31/137.61	c lits-rem:      2741  cl-subs:     3018  v-elim:   1063  v-fix:    0  time: 17.56 s
548.31/137.61	c learnt bin added due to v-elim: 0
548.31/137.61	c vivif2 --  cl tried     3940 cl shrink        0 lits rem          0 time: 0.01
548.31/137.64	c vivif2 --  cl tried    24296 cl shrink        4 lits rem         21 time: 0.13
549.11/137.89	c asymm  cl-useful: 0/249/3940 lits-rem:0 time: 1.00
549.51/137.90	c calculated reachability. Time: 0.00
549.51/137.90	c  N dy  1579    238262      1115      3940    128576     24295    348610   1787086    101.46     31.16  --
575.48/144.49	c  N dy  1680    253525      1163      3940    132415     39607    349420   3972358    153.11     31.65  --
601.44/150.95	c  N dy  1789    269739      1163      3940    132415     34716    349420   3106989    151.79     32.02  --
635.41/159.49	c  N dy  1905    287087      1163      3940    133416     30180    349420   2391407    108.69     31.77  --
679.35/170.43	c  N dy  2027    305420      1163      3940    133421     25672    349420   1750109    154.16     32.04  --
715.70/179.53	c  N dy  2157    325024      1163      3940    133421     44371    349420   4462226    166.60     32.69  --
749.67/188.03	c  N dy  2290    345041      1163      3940    133421     40612    349420   3896314    153.52     33.11  --
775.62/194.57	c  S st  2372    357394      1212      3940    136905     28950    350302   2025289    213.48     33.32  --
776.43/194.71	c  S st  2372    357895      1212      3940    136905     29451    350302   2061403    213.48     33.32  --
776.43/194.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
776.43/194.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
794.01/199.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:   1278 BRemL:    567 BRemN:    329 CBin:       0 P: 60.0M T: 17.53
794.01/199.13	c Calc non-exist non-lernt bins v-fix:     0 done:   1212 time:  0.06 s
794.01/199.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
794.01/199.17	c Subs w/ non-existent bins:    654 time:  0.16 s
794.01/199.18	c Replacing        4 vars Replaced      558 lits Time:     0.04 s 
794.38/199.24	c bin-w-bin subsume rem          548 bins  time:  0.08 s
799.98/200.62	c subs with bin:        1  lits-rem:        21  v-fix:    0  time:  5.52 s
799.98/200.62	c Removed useless bin:      83  fixed:     0  bprops:   0.17M  time:  0.02 s
812.76/203.89	c ORs :     27 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.17
813.16/203.91	c lits-rem:      1426  cl-subs:     2207  v-elim:   1063  v-fix:    0  time: 13.13 s
813.16/203.91	c learnt bin added due to v-elim: 0
813.16/203.91	c vivif2 --  cl tried     3940 cl shrink        0 lits rem          0 time: 0.01
813.16/203.95	c vivif2 --  cl tried    26588 cl shrink       41 lits rem        132 time: 0.14
814.36/204.21	c asymm  cl-useful: 0/115/3940 lits-rem:0 time: 1.04
814.36/204.21	c calculated reachability. Time: 0.00
814.36/204.21	c  N dy  2372    357895      1208      3940    136650     26583    349454   1766345    213.48     33.32  --
853.11/213.93	c  N dy  2505    377988      1208      3940    136650     45792    349454   4643989    123.50     33.66  --
890.68/223.33	c  N dy  2638    398090      1208      3940    136656     40917    349466   3539520    130.86     34.31  --
937.79/235.10	c  N dy  2771    418205      1208      3940    136656     34230    349466   2512957    174.75     35.11  --
985.73/247.15	c  N dy  2902    438268      1208      3940    136656     53437    349466   5073514    159.31     35.57  --
1025.67/257.15	c  N dy  3037    458408      1208      3940    136656     45768    349466   4119907    156.94     35.90  --
1079.22/270.51	c  N dy  3168    478513      1208      3940    136656     37158    349466   2894508    183.78     36.67  --
1139.52/285.64	c  N dy  3299    498567      1208      3940    136656     56427    349466   5745968    172.65     37.40  --
1180.28/295.84	c  N dy  3433    518629      1208      3940    136656     46865    349466   3962307    165.56     37.54  --
1223.81/306.76	c  S st  3554    536843      1208      3940    136656     34572    349466   2385947    182.05     37.66  --
1224.63/306.92	c  S st  3554    537343      1208      3940    136656     35072    349466   2419602    182.05     37.66  --
1224.63/306.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1224.63/306.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1240.99/311.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      6 BRemN:   1081 CBin:       0 P: 60.0M T: 16.39
1240.99/311.05	c Calc non-exist non-lernt bins v-fix:     0 done:   1208 time:  0.06 s
1240.99/311.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1240.99/311.09	c Subs w/ non-existent bins:      6 time:  0.19 s
1241.39/311.16	c bin-w-bin subsume rem            6 bins  time:  0.08 s
1247.37/312.65	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  5.95 s
1247.37/312.65	c Removed useless bin:       0  fixed:     0  bprops:   0.17M  time:  0.02 s
1261.76/316.20	c ORs :     27 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.17
1283.72/321.75	c Added 13 vars  tried: 80000 time: 22.19
1284.12/321.89	c ORs :     13 avg-s:  0.0 cl-sh: 20028 l-rem:  20028 b-add:     26 v-rep:   0 cl-rem: 7 avg s: 3.0 T:   22.76
1284.52/321.92	c lits-rem:       407  cl-subs:     3525  v-elim:   1063  v-fix:    0  time: 37.02 s
1284.52/321.92	c learnt bin added due to v-elim: 0
1284.52/321.92	c vivif2 --  cl tried     3953 cl shrink        0 lits rem          0 time: 0.01
1284.52/321.96	c vivif2 --  cl tried    31530 cl shrink      154 lits rem        154 time: 0.16
1285.32/322.20	c asymm  cl-useful: 0/137/3953 lits-rem:0 time: 0.94
1285.32/322.20	c calculated reachability. Time: 0.00
1285.32/322.20	c  N dy  3554    537343      1221      3953    135745     31376    346843   2084500    182.05     37.66  --
1285.32/322.20	c  F st  3554    537343      1221      3953    135745     31376    346843   2084500    182.05     37.66  --
1288.12/322.86	c Decided on static restart strategy
1319.68/330.79	c  N dy  3680    557466      1221      3953    135754     50739    346843   4345435    106.69     37.21  --
1357.22/340.18	c  N dy  3814    577607      1221      3953    135754     39506    346843   3161472    152.34     37.85  --
1411.16/353.61	c  N dy  3947    597748      1221      3953    135755     58935    346843   6515116    226.17     38.59  --
1450.30/363.43	c  N dy  4079    617759      1221      3953    137235     46531    346843   4564516    122.69     38.61  --
1473.07/369.14	c Finding binary XORs  T:     0.02 s  found:       1
1514.64/379.55	c  N dy  4210    637797      1260      3953    139770     33576    347563   1732034     86.73     38.13  --
1550.97/388.65	c  N dy  4341    657893      1260      3953    139772     52961    347563   4607836    163.50     38.30  --
1615.29/404.78	c  N dy  4469    678027      1299      3953    142691     38563    348007   2379131    151.62     38.64  --
1666.80/417.64	c  N dy  4598    698159      1299      3953    142691     57963    348007   5615816    146.01     38.63  --
1721.93/431.44	c  N dy  4728    718264      1299      3953    143333     42396    348007   2593575     76.59     38.56  --
1760.70/441.19	c  N dy  4860    738403      1299      3953    143333     61821    348007   4572387     96.07     38.24  --
1805.02/452.29	c  N dy  4991    758538      1341      3953    145057     45597    348183   3274531    220.52     38.07  --
1864.14/467.04	c  N dy  5122    778582      1341      3953    145057     64977    348183   6782180    190.40     37.96  --
1918.49/480.63	c  N dy  5255    798740      1341      3953    146063     47715    348183   3695065    179.20     37.68  --
1938.04/485.59	c  S st  5303    806014      1341      3953    146063     54725    348183   4843293    115.18     37.57  --
1939.24/485.82	c  S st  5303    806514      1341      3953    146063     55224    348183   4877052    115.18     37.57  --
1939.24/485.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1939.24/485.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1964.40/492.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:   2440 BRemN:     36 CBin:       0 P: 60.0M T: 25.40
1964.80/492.21	c Calc non-exist non-lernt bins v-fix:     0 done:   1341 time:  0.07 s
1964.80/492.21	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
1964.80/492.29	c Subs w/ non-existent bins:    436 time:  0.33 s
1965.20/492.31	c Replacing        3 vars Replaced      327 lits Time:     0.07 s 
1965.60/492.43	c bin-w-bin subsume rem          540 bins  time:  0.09 s
1971.99/494.09	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  6.63 s
1971.99/494.09	c Removed useless bin:       5  fixed:     0  bprops:   0.16M  time:  0.02 s
2042.30/511.68	c ORs :     60 avg-s:  2.0 cl-sh:     7 l-rem:      7 b-add:      1 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.34
2079.45/520.97	c Added 14 vars  tried: 80000 time: 37.14
2081.47/521.41	c ORs :     14 avg-s:  0.0 cl-sh: 41941 l-rem:  41941 b-add:     28 v-rep:   0 cl-rem: 10 avg s: 3.0 T:   38.86
2081.47/521.45	c lits-rem:       532  cl-subs:    14141  v-elim:   1838  v-fix:    0  time: 109.25 s
2081.47/521.45	c learnt bin added due to v-elim: 0
2081.47/521.45	c vivif2 --  cl tried     4483 cl shrink      250 lits rem        250 time: 0.01
2081.85/521.51	c vivif2 --  cl tried    40641 cl shrink      301 lits rem        477 time: 0.25
2082.65/521.77	c asymm  cl-useful: 0/105/4233 lits-rem:0 time: 1.04
2082.65/521.78	c calculated reachability. Time: 0.00
2082.65/521.78	c  N dy  5303    806514      1350      4233    142758     40633    347862   3482358    115.18     37.57  --
2131.78/534.01	c  N dy  5434    826537      1350      4233    142759     60042    347862   6184166    166.59     37.23  --
2191.70/549.04	c  N dy  5568    846644      1350      4233    142759     42189    347862   2912620    143.65     36.95  --
2242.43/561.70	c  N dy  5701    866764      1350      4233    144182     61626    347862   5973544    201.47     36.82  --
2309.56/578.51	c  N dy  5833    886766      1379      4233    145215     42498    347976   2825484    186.14     36.59  --
2365.87/592.69	c  N dy  5965    906831      1379      4233    145215     61847    347976   5884700    135.11     36.48  --
2445.36/612.54	c  N dy  6098    926883      1390      4233    145642     41775    348020   2560851    115.54     36.27  --
2492.10/624.26	c  N dy  6229    946990      1390      4233    145642     61213    348020   5026661    144.05     35.98  --
2567.20/643.00	c  N dy  6358    967078      1390      4233    145718     80548    348020   7676501    116.29     35.78  --
2612.75/654.46	c  N dy  6489    987167      1415      4233    146772     59525    348124   5143707    146.96     35.55  --
2708.21/678.35	c  N dy  6619   1007292      1415      4233    146773     79009    348124   8098943    142.99     35.45  --
2773.31/694.61	c  N dy  6750   1027430      1415      4233    146819     57043    348124   4564249    125.73     35.37  --
2870.38/718.94	c  N dy  6880   1047549      1415      4233    146819     76468    348124   7108809    183.51     35.24  --
2927.90/733.31	c  N dy  7011   1067607      1415      4233    146819     53336    348124   4018700    147.98     35.14  --
2997.01/750.61	c  N dy  7141   1087656      1415      4233    146819     72848    348124   6558133    152.00     35.10  --
3080.10/771.49	c  N dy  7271   1107727      1415      4233    146819     48641    348124   3322744    145.00     35.04  --
3130.43/784.02	c  N dy  7403   1127866      1415      4233    146819     68204    348124   6106761    182.77     34.95  --
3201.14/801.76	c  N dy  7534   1147937      1415      4233    146819     87658    348124   8552060    141.93     34.75  --
3251.86/814.45	c  N dy  7666   1167950      1415      4233    146819     62573    348124   5139696    151.00     34.70  --
3312.18/829.55	c  N dy  7796   1188030      1415      4233    146819     82119    348124   7771010    107.36     34.60  --
3364.13/842.52	c  N dy  7927   1208072      1415      4233    146819     55929    348124   3871979    130.57     34.58  --
3370.50/844.16	c  S st  7939   1209773      1415      4233    146819     57576    348124   4082531    131.07     34.57  --
3371.70/844.42	c  S st  7939   1210274      1415      4233    146819     58073    348124   4117399    131.07     34.57  --
3371.70/844.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3371.70/844.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3390.09/849.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:   2203 BRemN:   1046 CBin:       0 P: 60.1M T: 18.33
3390.09/849.04	c Calc non-exist non-lernt bins v-fix:     0 done:   1415 time:  0.07 s
3390.09/849.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3390.50/849.13	c Subs w/ non-existent bins:      0 time:  0.33 s
3390.50/849.15	c Replacing        1 vars Replaced       14 lits Time:     0.07 s 
3390.90/849.24	c bin-w-bin subsume rem          225 bins  time:  0.09 s
3398.07/851.09	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  7.39 s
3398.47/851.10	c Removed useless bin:       0  fixed:     0  bprops:   0.16M  time:  0.03 s
3434.44/860.16	c ORs :     96 avg-s:  2.0 cl-sh:    25 l-rem:     25 b-add:      1 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    0.50
3458.39/866.17	c Added 15 vars  tried: 80000 time: 23.98
3459.99/866.52	c ORs :     15 avg-s:  0.0 cl-sh: 38879 l-rem:  38879 b-add:     30 v-rep:   0 cl-rem: 11 avg s: 3.0 T:   25.40
3459.99/866.56	c lits-rem:       305  cl-subs:     6783  v-elim:   1768  v-fix:    0  time: 61.78 s
3459.99/866.56	c learnt bin added due to v-elim: 0
3459.99/866.57	c vivif2 --  cl tried     4642 cl shrink      175 lits rem        175 time: 0.01
3460.39/866.66	c vivif2 --  cl tried    51282 cl shrink     1936 lits rem       3420 time: 0.37
3461.58/866.92	c asymm  cl-useful: 0/115/4467 lits-rem:0 time: 1.04
3461.58/866.93	c calculated reachability. Time: 0.00
3461.58/866.93	c  N dy  7939   1210274      1427      4467    143117     51282    345598   3324590    131.07     34.57  --
3519.90/881.60	c  N dy  8070   1230363      1427      4467    143135     70844    345598   6289797    103.83     34.52  --
3589.41/898.99	c  N dy  8203   1250490      1427      4467    143167     90410    345598   8841163    104.36     34.44  --
3639.34/911.43	c  N dy  8336   1270512      1427      4467    144722     63197    345598   4590842     76.62     34.28  --
3709.65/929.01	c  N dy  8468   1290611      1432      4467    144964     82581    345622   6838985    156.96     34.14  --
3779.16/946.43	c  N dy  8596   1310646      1432      4467    144964     54609    345622   3527151    163.34     34.13  --
3823.50/957.59	c  N dy  8729   1330686      1432      4467    144969     74097    345622   6698479    146.95     33.98  --
3877.02/970.97	c  N dy  8861   1350811      1453      4467    145310     93586    345706   9531296    107.57     33.85  --
3883.81/972.67	c Finding binary XORs  T:     0.02 s  found:       1
3921.36/982.01	c  N dy  8993   1370850      1453      4467    145311     64474    345706   4309822     82.15     33.72  --
3963.70/992.67	c  N dy  9125   1390989      1453      4467    145311     84107    345706   6993529    122.62     33.64  --
4032.81/1009.96	c  N dy  9255   1411085      1453      4467    145440     54114    345706   3038771    113.36     33.54  --
4073.95/1020.25	c  N dy  9388   1431220      1471      4467    145866     73664    345778   5091048    107.71     33.45  --
4131.08/1034.55	c  N dy  9519   1451328      1471      4467    145866     93300    345778   7515482    125.40     33.45  --
4180.21/1046.81	c  N dy  9652   1471440      1471      4467    145866     62369    345778   4325753    149.55     33.35  --
4234.15/1060.31	c  N dy  9785   1491541      1471      4467    145869     81866    345778   7000497    117.33     33.19  --
4284.07/1072.89	c  N dy  9918   1511559      1471      4467    145869    101325    345778  10225617    188.69     33.10  --
4322.04/1082.40	c  N dy 10051   1531691      1471      4467    145870     69366    345778   5470122    181.18     32.99  --
4373.95/1095.35	c  N dy 10182   1551709      1471      4467    145870     88828    345778   8202026    160.06     32.91  --
4457.04/1116.10	c  N dy 10313   1571798      1471      4467    145871     55897    345778   3127281     97.68     32.89  --
4498.98/1126.60	c  N dy 10446   1591805      1471      4467    145871     75326    345778   5411219    114.46     32.79  --
4546.54/1138.55	c  N dy 10577   1611904      1471      4467    145871     94802    345778   7785121    127.99     32.70  --
4614.02/1155.46	c  N dy 10707   1632004      1471      4467    145871     60818    345778   3432883    118.73     32.61  --
4670.75/1169.67	c  N dy 10837   1652006      1471      4467    145871     80311    345778   5888617    119.76     32.58  --
4735.08/1185.77	c  N dy 10969   1672007      1471      4467    145871     99781    345778   8537375    127.06     32.54  --
4771.41/1194.83	c  N dy 11101   1692033      1471      4467    145871     64793    345778   4285107    162.95     32.43  --

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-3266641-1304183049/watcher-3266641-1304183049 -o /tmp/evaluation-result-3266641-1304183049/solver-3266641-1304183049 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3266641-1304183049.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: 5.32 7.40 7.79 2/177 32557
/proc/meminfo: memFree=25789400/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=11800 CPUtime=0 cores=1,3,5,7
/proc/32557/stat : 32557 (runsolver) S 32555 32557 31591 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 1 0 529903082 12083200 52 33554432000 4194304 5434984 140734439583712 18446744073709551615 4881607 0 2147483391 4096 24578 18446744071700214583 0 0 17 5 0 0 0
/proc/32557/statm: 2950 52 31 303 0 2644 0

[startup+0.0328729 s]
/proc/loadavg: 5.32 7.40 7.79 2/177 32557
/proc/meminfo: memFree=25789400/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=8652 CPUtime=0 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) S 32555 32557 31591 0 -1 4194304 98 0 0 0 0 0 0 0 17 0 1 0 529903082 8859648 53 33554432000 4194304 4797429 140736360183040 18446744073709551615 232330968711 0 2147483391 4096 0 18446744071699453118 0 0 17 7 0 0 0
/proc/32557/statm: 2163 53 41 148 0 44 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8652

[startup+0.104877 s]
/proc/loadavg: 5.32 7.40 7.79 2/177 32557
/proc/meminfo: memFree=25789400/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=58072 CPUtime=0.05 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 2726 0 0 0 5 0 0 0 17 0 1 0 529903082 59465728 2661 33554432000 4194304 4797429 140736360183040 18446744073709551615 232335553221 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/32557/statm: 14518 2662 348 148 0 9447 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 58072

[startup+0.344796 s]
/proc/loadavg: 5.32 7.40 7.79 2/177 32557
/proc/meminfo: memFree=25789400/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=686272 CPUtime=0.84 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 7578 0 0 0 81 3 0 0 18 0 4 0 529903082 702742528 7436 33554432000 4194304 4797429 140736360183040 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 171568 7436 409 148 0 166497 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 686272

[startup+0.700711 s]
/proc/loadavg: 5.32 7.40 7.79 2/177 32557
/proc/meminfo: memFree=25789400/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=686952 CPUtime=2.26 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 9140 0 0 0 223 3 0 0 18 0 4 0 529903082 703438848 8994 33554432000 4194304 4797429 140736360183040 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 171738 8994 411 148 0 166667 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 686952

[startup+1.50057 s]
/proc/loadavg: 5.32 7.40 7.79 6/185 32567
/proc/meminfo: memFree=25227544/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=695916 CPUtime=5.45 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 13388 0 0 0 540 5 0 0 19 0 4 0 529903082 712617984 9903 33554432000 4194304 4797429 140736360183040 18446744073709551615 232335589131 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 173979 9903 412 148 0 168908 0
[pid=32557/tid=32560] ppid=32555 vsize=695916 CPUtime=1.33 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 2043 0 0 0 133 0 0 0 19 0 4 0 529903096 712617984 9903 33554432000 4194304 4797429 140736360183040 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=695916 CPUtime=1.33 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 2520 0 0 0 132 1 0 0 19 0 4 0 529903096 712617984 9903 33554432000 4194304 4797429 140736360183040 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=695916 CPUtime=1.32 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 2256 0 0 0 132 0 0 0 19 0 4 0 529903096 712617984 9903 33554432000 4194304 4797429 140736360183040 18446744073709551615 4425880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 695916

[startup+3.10029 s]
/proc/loadavg: 5.30 7.36 7.77 6/185 32567
/proc/meminfo: memFree=24889284/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=698804 CPUtime=11.85 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 17432 0 0 0 1179 6 0 0 23 0 4 0 529903082 715575296 12755 33554432000 4194304 4797429 140736360183040 18446744073709551615 4422927 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 174701 12755 415 148 0 169630 0
[pid=32557/tid=32560] ppid=32555 vsize=698804 CPUtime=2.93 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 2784 0 0 0 293 0 0 0 23 0 4 0 529903096 715575296 12755 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=698804 CPUtime=2.93 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 3417 0 0 0 292 1 0 0 23 0 4 0 529903096 715575296 12755 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=698804 CPUtime=2.92 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 3137 0 0 0 291 1 0 0 23 0 4 0 529903096 715575296 12755 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 698804

[startup+6.30072 s]
/proc/loadavg: 5.30 7.36 7.77 9/188 32570
/proc/meminfo: memFree=24598512/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=704684 CPUtime=24.63 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 23347 0 0 0 2454 9 0 0 25 0 4 0 529903082 721596416 17480 33554432000 4194304 4797429 140736360183040 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 176171 17480 415 148 0 171100 0
[pid=32557/tid=32560] ppid=32555 vsize=704684 CPUtime=6.13 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 3825 0 0 0 613 0 0 0 25 0 4 0 529903096 721596416 17480 33554432000 4194304 4797429 140736360183040 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=704684 CPUtime=6.13 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 4920 0 0 0 611 2 0 0 19 0 4 0 529903096 721596416 17480 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=704684 CPUtime=6.1 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 4666 0 0 0 609 1 0 0 19 0 4 0 529903096 721596416 17480 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.63
Current children cumulated vsize (KiB) 704684

[startup+12.7006 s]
/proc/loadavg: 5.47 7.33 7.76 6/185 32597
/proc/meminfo: memFree=25624572/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=705820 CPUtime=50.19 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 28128 0 0 0 5008 11 0 0 25 0 4 0 529903082 722759680 18920 33554432000 4194304 4797429 140736360183040 18446744073709551615 4430000 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 176455 18920 416 148 0 171384 0
[pid=32557/tid=32560] ppid=32555 vsize=705820 CPUtime=12.53 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 4560 0 0 0 1253 0 0 0 25 0 4 0 529903096 722759680 18920 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520765 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=705820 CPUtime=12.53 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 5852 0 0 0 1251 2 0 0 25 0 4 0 529903096 722759680 18920 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=705820 CPUtime=12.46 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 5051 0 0 0 1245 1 0 0 25 0 4 0 529903096 722759680 18920 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.19
Current children cumulated vsize (KiB) 705820

[startup+25.5003 s]
/proc/loadavg: 5.93 7.37 7.77 11/189 32604
/proc/meminfo: memFree=25421320/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=707412 CPUtime=101.18 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 33607 0 0 0 10105 13 0 0 25 0 4 0 529903082 724389888 20034 33554432000 4194304 4797429 140736360183040 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 176853 20034 418 148 0 171782 0
[pid=32557/tid=32560] ppid=32555 vsize=707412 CPUtime=25.34 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 5073 0 0 0 2533 1 0 0 25 0 4 0 529903096 724389888 20034 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=707412 CPUtime=25.19 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 6226 0 0 0 2517 2 0 0 25 0 4 0 529903096 724389888 20034 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=707412 CPUtime=25.19 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 5926 0 0 0 2517 2 0 0 25 0 4 0 529903096 724389888 20034 33554432000 4194304 4797429 140736360183040 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.18
Current children cumulated vsize (KiB) 707412

[startup+51.1008 s]
/proc/loadavg: 6.98 7.50 7.80 9/188 32604
/proc/meminfo: memFree=25399752/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=710868 CPUtime=202.78 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 47988 0 0 0 20259 19 0 0 25 0 4 0 529903082 727928832 22020 33554432000 4194304 4797429 140736360183040 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 177717 22020 419 148 0 172646 0
[pid=32557/tid=32560] ppid=32555 vsize=710868 CPUtime=50.93 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 6156 0 0 0 5092 1 0 0 25 0 4 0 529903096 727928832 22020 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=710868 CPUtime=50.78 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 7412 0 0 0 5076 2 0 0 25 0 4 0 529903096 727928832 22020 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=710868 CPUtime=50.65 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 7106 0 0 0 5063 2 0 0 25 0 4 0 529903096 727928832 22020 33554432000 4194304 4797429 140736360183040 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.78
Current children cumulated vsize (KiB) 710868

[startup+102.307 s]
/proc/loadavg: 7.67 7.60 7.81 9/188 32606
/proc/meminfo: memFree=25345424/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=716492 CPUtime=407.33 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 71197 0 0 0 40706 27 0 0 25 0 4 0 529903082 733687808 28694 33554432000 4194304 4797429 140736360183040 18446744073709551615 4424779 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 179123 28694 419 148 0 174052 0
[pid=32557/tid=32560] ppid=32555 vsize=716492 CPUtime=102.14 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 7988 0 0 0 10212 2 0 0 25 0 4 0 529903096 733687808 28694 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=716492 CPUtime=101.99 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 9198 0 0 0 10196 3 0 0 25 0 4 0 529903096 733687808 28694 33554432000 4194304 4797429 140736360183040 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=716492 CPUtime=101.57 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 8694 0 0 0 10155 2 0 0 25 0 4 0 529903096 733687808 28694 33554432000 4194304 4797429 140736360183040 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.33
Current children cumulated vsize (KiB) 716492

[startup+162.301 s]
/proc/loadavg: 8.24 7.76 7.85 9/188 32607
/proc/meminfo: memFree=25314604/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=721764 CPUtime=646.99 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 99524 0 0 0 64662 37 0 0 25 0 4 0 529903082 739086336 31307 33554432000 4194304 4797429 140736360183040 18446744073709551615 4389652 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 180441 31307 421 148 0 175370 0
[pid=32557/tid=32560] ppid=32555 vsize=721764 CPUtime=162.14 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 10459 0 0 0 16210 4 0 0 25 0 4 0 529903096 739086336 31307 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=721764 CPUtime=161.98 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 11052 0 0 0 16195 3 0 0 25 0 4 0 529903096 739086336 31307 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=721764 CPUtime=161.24 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 10361 0 0 0 16122 2 0 0 25 0 4 0 529903096 739086336 31307 33554432000 4194304 4797429 140736360183040 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 646.99
Current children cumulated vsize (KiB) 721764

[startup+222.3 s]
/proc/loadavg: 8.25 7.85 7.88 9/188 32609
/proc/meminfo: memFree=25291768/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=724556 CPUtime=886.66 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 125701 0 0 0 88621 45 0 0 25 0 4 0 529903082 741945344 33484 33554432000 4194304 4797429 140736360183040 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 181139 33484 421 148 0 176068 0
[pid=32557/tid=32560] ppid=32555 vsize=724556 CPUtime=222.14 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 12327 0 0 0 22210 4 0 0 25 0 4 0 529903096 741945344 33484 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=724556 CPUtime=221.99 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 12999 0 0 0 22195 4 0 0 25 0 4 0 529903096 741945344 33484 33554432000 4194304 4797429 140736360183040 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=724556 CPUtime=220.92 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 12029 0 0 0 22089 3 0 0 25 0 4 0 529903096 741945344 33484 33554432000 4194304 4797429 140736360183040 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 886.66
Current children cumulated vsize (KiB) 724556

[startup+282.301 s]

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

[pid=32557] ppid=32555 vsize=745072 CPUtime=2564.42 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 279686 0 0 0 256337 105 0 0 25 0 4 0 529903082 762953728 53481 33554432000 4194304 4797429 140736360183040 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 186268 53481 421 148 0 181197 0
[pid=32557/tid=32560] ppid=32555 vsize=745072 CPUtime=642.15 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 23735 0 0 0 64206 9 0 0 25 0 4 0 529903096 762953728 53481 33554432000 4194304 4797429 140736360183040 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=745072 CPUtime=642 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 25172 0 0 0 64192 8 0 0 25 0 4 0 529903096 762953728 53481 33554432000 4194304 4797429 140736360183040 18446744073709551615 232335541452 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=745072 CPUtime=638.63 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 23857 0 0 0 63857 6 0 0 25 0 4 0 529903096 762953728 53481 33554432000 4194304 4797429 140736360183040 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.42
Current children cumulated vsize (KiB) 745072

[startup+702.301 s]
/proc/loadavg: 8.30 8.15 8.00 9/188 32622
/proc/meminfo: memFree=25127032/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=748476 CPUtime=2804.08 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 301218 0 0 0 280293 115 0 0 25 0 4 0 529903082 766439424 52073 33554432000 4194304 4797429 140736360183040 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 187119 52073 421 148 0 182048 0
[pid=32557/tid=32560] ppid=32555 vsize=748476 CPUtime=702.15 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 25750 0 0 0 70205 10 0 0 25 0 4 0 529903096 766439424 52073 33554432000 4194304 4797429 140736360183040 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=748476 CPUtime=702 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 27220 0 0 0 70190 10 0 0 25 0 4 0 529903096 766439424 52073 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=748476 CPUtime=698.3 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 26070 0 0 0 69823 7 0 0 25 0 4 0 529903096 766439424 52073 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.08
Current children cumulated vsize (KiB) 748476

[startup+762.307 s]
/proc/loadavg: 8.25 8.17 8.01 9/188 32623
/proc/meminfo: memFree=25103832/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=752428 CPUtime=3043.77 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 317744 0 0 0 304255 122 0 0 25 0 4 0 529903082 770486272 55721 33554432000 4194304 4797429 140736360183040 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 188107 55721 421 148 0 183036 0
[pid=32557/tid=32560] ppid=32555 vsize=752428 CPUtime=762.16 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 27946 0 0 0 76205 11 0 0 25 0 4 0 529903096 770486272 55721 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=752428 CPUtime=762.01 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 29372 0 0 0 76190 11 0 0 25 0 4 0 529903096 770486272 55721 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=752428 CPUtime=757.97 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 27237 0 0 0 75789 8 0 0 25 0 4 0 529903096 770486272 55721 33554432000 4194304 4797429 140736360183040 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3043.77
Current children cumulated vsize (KiB) 752428

[startup+822.301 s]
/proc/loadavg: 8.22 8.18 8.02 9/188 32625
/proc/meminfo: memFree=25085076/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=753380 CPUtime=3283.43 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 338198 0 0 0 328211 132 0 0 25 0 4 0 529903082 771461120 56312 33554432000 4194304 4797429 140736360183040 18446744073709551615 4424654 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 188345 56312 421 148 0 183274 0
[pid=32557/tid=32560] ppid=32555 vsize=753380 CPUtime=822.15 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 28906 0 0 0 82204 11 0 0 25 0 4 0 529903096 771461120 56312 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=753380 CPUtime=822 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 30359 0 0 0 82189 11 0 0 25 0 4 0 529903096 771461120 56312 33554432000 4194304 4797429 140736360183040 18446744073709551615 4250371 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=753380 CPUtime=817.64 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 29237 0 0 0 81755 9 0 0 25 0 4 0 529903096 771461120 56312 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.43
Current children cumulated vsize (KiB) 753380

[startup+882.3 s]
/proc/loadavg: 8.28 8.21 8.04 9/188 32626
/proc/meminfo: memFree=25075008/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=754900 CPUtime=3523.09 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 353755 0 0 0 352172 137 0 0 25 0 4 0 529903082 773017600 57939 33554432000 4194304 4797429 140736360183040 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 188725 57939 421 148 0 183654 0
[pid=32557/tid=32560] ppid=32555 vsize=754900 CPUtime=882.16 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 30971 0 0 0 88204 12 0 0 25 0 4 0 529903096 773017600 57939 33554432000 4194304 4797429 140736360183040 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=754900 CPUtime=882 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 32407 0 0 0 88188 12 0 0 25 0 4 0 529903096 773017600 57939 33554432000 4194304 4797429 140736360183040 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=754900 CPUtime=877.31 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 30111 0 0 0 87722 9 0 0 25 0 4 0 529903096 773017600 57939 33554432000 4194304 4797429 140736360183040 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.09
Current children cumulated vsize (KiB) 754900

[startup+942.301 s]
/proc/loadavg: 8.26 8.23 8.06 9/188 32628
/proc/meminfo: memFree=25046848/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=756520 CPUtime=3762.77 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 369614 0 0 0 376132 145 0 0 25 0 4 0 529903082 774676480 61009 33554432000 4194304 4797429 140736360183040 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 189130 61009 421 148 0 184059 0
[pid=32557/tid=32560] ppid=32555 vsize=756520 CPUtime=942.15 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 31846 0 0 0 94203 12 0 0 25 0 4 0 529903096 774676480 61009 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=756520 CPUtime=942 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 33322 0 0 0 94188 12 0 0 25 0 4 0 529903096 774676480 61009 33554432000 4194304 4797429 140736360183040 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=756520 CPUtime=936.99 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 32221 0 0 0 93689 10 0 0 25 0 4 0 529903096 774676480 61009 33554432000 4194304 4797429 140736360183040 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3762.77
Current children cumulated vsize (KiB) 756520

[startup+1002.3 s]
/proc/loadavg: 8.20 8.22 8.06 9/188 32630
/proc/meminfo: memFree=25063684/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=760372 CPUtime=4002.45 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 394778 0 0 0 400089 156 0 0 25 0 4 0 529903082 778620928 60041 33554432000 4194304 4797429 140736360183040 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 190093 60041 421 148 0 185022 0
[pid=32557/tid=32560] ppid=32555 vsize=760372 CPUtime=1002.15 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 34039 0 0 0 100202 13 0 0 25 0 4 0 529903096 778620928 60041 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=760372 CPUtime=1002 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 35511 0 0 0 100187 13 0 0 25 0 4 0 529903096 778620928 60041 33554432000 4194304 4797429 140736360183040 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=760372 CPUtime=996.66 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 34273 0 0 0 99655 11 0 0 25 0 4 0 529903096 778620928 60041 33554432000 4194304 4797429 140736360183040 18446744073709551615 4534004 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.45
Current children cumulated vsize (KiB) 760372

[startup+1062.3 s]
/proc/loadavg: 8.26 8.23 8.08 9/188 32631
/proc/meminfo: memFree=25037376/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=762388 CPUtime=4242.13 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 415163 0 0 0 424048 165 0 0 25 0 4 0 529903082 780685312 62785 33554432000 4194304 4797429 140736360183040 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 190597 62785 421 148 0 185526 0
[pid=32557/tid=32560] ppid=32555 vsize=762388 CPUtime=1062.15 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 35011 0 0 0 106202 13 0 0 25 0 4 0 529903096 780685312 62785 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=762388 CPUtime=1062 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 36475 0 0 0 106187 13 0 0 25 0 4 0 529903096 780685312 62785 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=762388 CPUtime=1056.33 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 35208 0 0 0 105622 11 0 0 25 0 4 0 529903096 780685312 62785 33554432000 4194304 4797429 140736360183040 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.13
Current children cumulated vsize (KiB) 762388

[startup+1122.3 s]
/proc/loadavg: 8.24 8.23 8.09 9/188 32633
/proc/meminfo: memFree=25028180/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=762200 CPUtime=4481.81 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 439758 0 0 0 448005 176 0 0 25 0 4 0 529903082 780492800 58174 33554432000 4194304 4797429 140736360183040 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 190550 58174 421 148 0 185479 0
[pid=32557/tid=32560] ppid=32555 vsize=762200 CPUtime=1122.16 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 36911 0 0 0 112202 14 0 0 25 0 4 0 529903096 780492800 58174 33554432000 4194304 4797429 140736360183040 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=762200 CPUtime=1122 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 38556 0 0 0 112186 14 0 0 25 0 4 0 529903096 780492800 58174 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=762200 CPUtime=1116 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 37134 0 0 0 111588 12 0 0 25 0 4 0 529903096 780492800 58174 33554432000 4194304 4797429 140736360183040 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4481.81
Current children cumulated vsize (KiB) 762200

[startup+1182.3 s]
/proc/loadavg: 8.24 8.23 8.10 9/188 32634
/proc/meminfo: memFree=24993804/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=762652 CPUtime=4721.49 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 455477 0 0 0 471965 184 0 0 25 0 4 0 529903082 780955648 64422 33554432000 4194304 4797429 140736360183040 18446744073709551615 4354759 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 190663 64422 421 148 0 185592 0
[pid=32557/tid=32560] ppid=32555 vsize=762652 CPUtime=1182.15 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 37783 0 0 0 118201 14 0 0 25 0 4 0 529903096 780955648 64422 33554432000 4194304 4797429 140736360183040 18446744073709551615 4430024 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=762652 CPUtime=1182.01 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 39397 0 0 0 118186 15 0 0 25 0 4 0 529903096 780955648 64422 33554432000 4194304 4797429 140736360183040 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=762652 CPUtime=1175.68 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 38045 0 0 0 117555 13 0 0 25 0 4 0 529903096 780955648 64422 33554432000 4194304 4797429 140736360183040 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.49
Current children cumulated vsize (KiB) 762652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.24 8.23 8.10 9/188 32635
/proc/meminfo: memFree=25023676/32951124 swapFree=67111412/67111528
[pid=32557] ppid=32555 vsize=763136 CPUtime=4800.19 cores=1,3,5,7
/proc/32557/stat : 32557 (techdemo) R 32555 32557 31591 0 -1 4202496 466945 0 0 0 479831 188 0 0 25 0 4 0 529903082 781451264 60441 33554432000 4194304 4797429 140736360183040 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32557/statm: 190784 60441 421 148 0 185713 0
[pid=32557/tid=32560] ppid=32555 vsize=763136 CPUtime=1201.87 cores=1,3,5,7
/proc/32557/task/32560/stat : 32560 (techdemo) R 32555 32557 31591 0 -1 4202560 39266 0 0 0 120172 15 0 0 25 0 4 0 529903096 781451264 60441 33554432000 4194304 4797429 140736360183040 18446744073709551615 4428729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32557/tid=32561] ppid=32555 vsize=763136 CPUtime=1201.71 cores=1,3,5,7
/proc/32557/task/32561/stat : 32561 (techdemo) R 32555 32557 31591 0 -1 4202560 40935 0 0 0 120156 15 0 0 25 0 4 0 529903096 781451264 60441 33554432000 4194304 4797429 140736360183040 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32557/tid=32562] ppid=32555 vsize=763136 CPUtime=1195.27 cores=1,3,5,7
/proc/32557/task/32562/stat : 32562 (techdemo) R 32555 32557 31591 0 -1 4202560 38456 0 0 0 119514 13 0 0 25 0 4 0 529903096 781451264 60441 33554432000 4194304 4797429 140736360183040 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 763136

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.02
CPU time (s): 4800.23
CPU user time (s): 4798.34
CPU system time (s): 1.89671
CPU usage (%): 399.346
Max. virtual memory (cumulated for all children) (KiB): 872624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.34
system time used= 1.89671
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466946
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= 897
involuntary context switches= 21286

runsolver used 1.84972 second user time and 4.72328 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-30 19:04:09
IDJOB=3266641
IDBENCH=88202
IDSOLVER=1584
FILE ID=node132/3266641-1304183049
RUNJOBID= node132-1304183049-32545
PBS_JOBID= 13172423
Free space on /tmp= 72160 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266641-1304183049/watcher-3266641-1304183049 -o /tmp/evaluation-result-3266641-1304183049/solver-3266641-1304183049 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3266641-1304183049.cnf

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

MD5SUM BENCH= 4b4e8a8187c1b8536d6b504b16289d38
RANDOM SEED=870606683

node132.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.833
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.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.833
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:      25792484 kB
Buffers:        700392 kB
Cached:        5910292 kB
SwapCached:        112 kB
Active:        1528696 kB
Inactive:      5146704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25792484 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:           33844 kB
Writeback:           0 kB
AnonPages:       64156 kB
Mapped:          14512 kB
Slab:           419484 kB
PageTables:       4852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72144 MiB
End job on node132 at 2011-04-30 19:24:13