Trace number 3250975

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.12 1201.94

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
MD5SUM002a4cb53ea02f66e0c3418dc8834f7c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.82957
Satisfiable
(Un)Satisfiability was proved
Number of variables2561
Number of clauses490309
Sum of the clauses size983079
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2490259
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3250975-1304183219.cnf'
0.00/0.00	c -- header says num vars:           2561
0.00/0.00	c -- header says num clauses:      490309
0.29/0.36	c -- clauses added:            0 learnts,       490309 normals,            0 xors
0.29/0.36	c -- vars added       2561
0.29/0.36	c Parsing time:  0.35 s
0.29/0.37	c  N st     0         0      2561        50    490259         0    983079         0   no data   no data  --
0.29/0.37	c asymm  cl-useful: 0/50/50 lits-rem:0 time: 0.00
0.75/0.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.5M T:  0.33
0.75/0.55	c Calc non-exist non-lernt bins v-fix:     0 done:   2561 time:  0.19 s
0.75/0.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.75/0.55	c Subs w/ non-existent bins:      0 time:  0.00 s
1.15/0.63	c bin-w-bin subsume rem            0 bins  time:  0.32 s
1.55/0.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.33 s
1.55/0.76	c Removed useless bin:       0  fixed:     0  bprops:   1.97M  time:  0.19 s
2.35/0.93	c lits-rem:        34  cl-subs:        0  v-elim:   1656  v-fix:    0  time:  0.63 s
2.35/0.93	c learnt bin added due to v-elim: 0
2.35/0.94	c Finding binary XORs  T:     0.04 s  found:       0
2.35/0.97	c Finding non-binary XORs:     0.08 s (found:       0, avg size: nan)
2.35/0.97	c calculated reachability. Time: 0.01
2.35/0.97	c Calc default polars -  time:   0.02 s pos:       0 undec:      50 neg:    2511
2.35/0.97	c =========================================================================================
2.35/0.97	c types(t): F = full restart, N = normal restart
2.35/0.97	c types(t): S = simplification begin/end, E = solution found
2.35/0.97	c restart types(rt): st = static, dy = dynamic
2.35/0.97	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
2.35/0.97	c  B st     0         0      2511      8833    478915         0   1468395         0   no data   no data  --
4.34/1.41	c Decided on static restart strategy
6.34/1.95	c  N dy    20      4114      2511      8833    478915      3928   1468395    556771    191.33     20.79  --
9.94/2.89	c  N dy    50      8239      2511      8833    478915      5558   1468395    665171    172.02     18.73  --
14.73/4.05	c  N dy    79     12373      2511      8833    478915      5461   1468395    597488    162.42     19.01  --
18.72/5.07	c  N dy   107     16376      2511      8833    478915      9353   1468394   1107110    175.25     18.61  --
23.51/6.27	c  N dy   135     20409      2511      8833    478915      7797   1468394    864252    168.93     18.49  --
28.30/7.40	c  N dy   163     24434      2511      8833    478915     11732   1468394   1367868     77.90     18.45  --
33.52/8.78	c  N dy   191     28491      2511      8833    478915      9051   1468394    977425    174.97     18.78  --
35.50/9.29	c  S st   202     30001      2511      8833    478915     10507   1468394   1189276    147.21     18.82  --
36.30/9.42	c  S st   202     30502      2511      8833    478915     11004   1468394   1268304    147.21     18.82  --
36.30/9.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
36.30/9.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.27/12.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 13.83
50.27/12.95	c Calc non-exist non-lernt bins v-fix:     0 done:   2511 time:  0.20 s
50.27/12.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.27/12.99	c Subs w/ non-existent bins:      0 time:  0.15 s
51.09/13.11	c bin-w-bin subsume rem            0 bins  time:  0.34 s
56.26/14.49	c subs with bin:        0  lits-rem:      1666  v-fix:    0  time:  5.50 s
56.66/14.54	c Removed useless bin:       0  fixed:     0  bprops:   1.93M  time:  0.18 s
63.86/16.34	c lits-rem:      2208  cl-subs:     1267  v-elim:   2511  v-fix:    0  time:  7.19 s
63.86/16.34	c learnt bin added due to v-elim: 0
63.86/16.37	c vivif2 --  cl tried     8833 cl shrink     7371 lits rem      92021 time: 0.13
63.86/16.39	c vivif2 --  cl tried     9737 cl shrink        0 lits rem          0 time: 0.10
64.68/16.58	c asymm  cl-useful: 244/705/8833 lits-rem:564 time: 0.75
64.68/16.59	c calculated reachability. Time: 0.01
64.68/16.59	c  N dy   202     30502      2511      8833    478915      9737   1371286   1109677    147.21     18.82  --
64.68/16.59	c  F st   202     30502      2511      8833    478915      9737   1371286   1109677    147.21     18.82  --
67.46/17.24	c Decided on static restart strategy
69.85/17.90	c  N dy   222     34632      2511      8833    478915     13760   1371286   1760036    142.44     19.12  --
74.64/19.09	c  N dy   250     38690      2511      8833    478915     10005   1371286   1023550    133.49     18.93  --
79.44/20.27	c  N dy   278     42777      2511      8833    478915     13960   1371286   1615630    173.61     19.06  --
84.24/21.44	c  S st   299     45755      2511      8833    478915     16848   1371286   2069183    167.76     19.04  --
84.64/21.56	c  S st   299     46257      2511      8833    478915     17347   1371286   2142687    167.76     19.04  --
84.64/21.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
84.64/21.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.83/25.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 15.25
100.21/25.45	c Calc non-exist non-lernt bins v-fix:     0 done:   2511 time:  0.20 s
100.21/25.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.61/25.50	c Subs w/ non-existent bins:      0 time:  0.22 s
101.01/25.63	c bin-w-bin subsume rem            0 bins  time:  0.33 s
107.01/27.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.90 s
107.01/27.15	c Removed useless bin:       0  fixed:     0  bprops:   1.93M  time:  0.18 s
120.59/30.55	c lits-rem:      1476  cl-subs:     1542  v-elim:   2511  v-fix:    0  time: 13.58 s
120.59/30.55	c learnt bin added due to v-elim: 0
120.59/30.56	c vivif2 --  cl tried     8833 cl shrink        0 lits rem          0 time: 0.03
120.99/30.61	c vivif2 --  cl tried    15805 cl shrink        0 lits rem          0 time: 0.18
121.81/30.85	c asymm  cl-useful: 2/426/8833 lits-rem:3 time: 0.97
121.81/30.86	c calculated reachability. Time: 0.01
121.81/30.86	c  N dy   299     46257      2511      8833    478915     15805   1370685   1883670    167.76     19.04  --
126.58/32.00	c  N dy   327     50361      2511      8833    478915     11114   1370685   1213694    173.10     18.85  --
131.37/33.26	c  N dy   354     54376      2511      8833    478915     15017   1370685   1861805    157.13     18.83  --
138.16/34.91	c  N dy   382     58507      2511      8833    478915     19042   1370685   2454423    166.15     18.84  --
142.95/36.10	c  N dy   410     62556      2511      8833    478915     13295   1370685   1569913    199.02     19.03  --
147.35/37.27	c  N dy   438     66617      2511      8833    478915     17242   1370685   2097968    109.68     19.05  --
151.75/38.33	c  S st   458     69386      2511      8833    478915     19919   1370685   2462772    145.18     18.99  --
152.16/38.46	c  S st   458     69886      2511      8833    478915     20419   1370685   2524156    145.18     18.99  --
152.16/38.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
152.16/38.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.92/42.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 14.77
167.32/42.22	c Calc non-exist non-lernt bins v-fix:     0 done:   2511 time:  0.19 s
167.32/42.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.32/42.29	c Subs w/ non-existent bins:      0 time:  0.26 s
168.12/42.42	c bin-w-bin subsume rem            0 bins  time:  0.33 s
175.71/44.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.80 s
176.11/44.42	c Removed useless bin:       0  fixed:     0  bprops:   1.93M  time:  0.19 s
190.09/47.99	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.70
220.06/55.44	c Added 26 vars  tried: 80000 time: 29.74
221.66/55.81	c ORs :     26 avg-s:  0.0 cl-sh: 48203 l-rem:  48203 b-add:     52 v-rep:   0 cl-rem: 0 avg s: nan T:   31.25
221.66/55.84	c lits-rem:       278  cl-subs:     1641  v-elim:   2511  v-fix:    0  time: 45.63 s
221.66/55.84	c learnt bin added due to v-elim: 0
221.66/55.85	c vivif2 --  cl tried     8859 cl shrink        0 lits rem          0 time: 0.03
222.06/55.90	c vivif2 --  cl tried    18778 cl shrink        0 lits rem          0 time: 0.21
222.47/56.06	c asymm  cl-useful: 0/863/8859 lits-rem:0 time: 0.61
222.47/56.07	c calculated reachability. Time: 0.01
222.47/56.07	c  N dy   458     69886      2537      8859    478967     18778   1369189   2215732    145.18     18.99  --
222.47/56.07	c  F st   458     69886      2537      8859    478967     18778   1369189   2215732    145.18     18.99  --
224.85/56.62	c Decided on static restart strategy
228.05/57.44	c  N dy   481     74464      2537      8859    478973     12569   1369189   1122016    111.24     18.85  --
233.24/58.70	c  N dy   515     79279      2537      8859    478974     17229   1369189   1673082    113.99     18.73  --
240.46/60.52	c  N dy   550     84422      2537      8859    478982     22168   1369189   2467564    203.75     18.82  --
245.62/61.88	c  N dy   589     89953      2537      8859    478985     15960   1369189   1524706    129.73     18.76  --
251.62/63.39	c  N dy   630     95702      2537      8859    478985     21572   1369189   2334933    172.12     18.84  --
258.41/65.04	c  N dy   674    101946      2537      8859    478985     15030   1369189   1449233    136.73     18.66  --
262.02/65.99	c  S st   695    104830      2537      8859    478986     17810   1369189   1818959    150.96     18.66  --
262.80/66.11	c  S st   695    105331      2537      8859    478986     18309   1369189   1890988    150.96     18.66  --
262.80/66.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
262.80/66.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
276.78/69.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   3831 BRemL:     59 BRemN:      0 CBin:       0 P: 60.0M T: 14.12
277.18/69.71	c Calc non-exist non-lernt bins v-fix:     0 done:   2537 time:  0.20 s
277.18/69.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
277.18/69.77	c Subs w/ non-existent bins:      0 time:  0.23 s
277.58/69.89	c bin-w-bin subsume rem            0 bins  time:  0.33 s
284.39/71.52	c subs with bin:        0  lits-rem:        81  v-fix:    0  time:  6.48 s
284.39/71.55	c Removed useless bin:       0  fixed:     0  bprops:   1.28M  time:  0.14 s
295.55/74.31	c ORs :     69 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 16 avg s: 3.0 T:    0.86
295.55/74.34	c lits-rem:       243  cl-subs:     2255  v-elim:   3550  v-fix:    0  time: 11.13 s
295.55/74.34	c learnt bin added due to v-elim: 0
295.55/74.35	c vivif2 --  cl tried    10347 cl shrink      611 lits rem        611 time: 0.04
295.95/74.40	c vivif2 --  cl tried    16054 cl shrink      683 lits rem       1027 time: 0.20
296.35/74.59	c asymm  cl-useful: 0/339/9736 lits-rem:0 time: 0.76
296.75/74.60	c calculated reachability. Time: 0.01
296.75/74.60	c  N dy   695    105331      2534      9736    481823     16054   1369968   1598228    150.96     18.66  --
303.95/76.45	c  N dy   743    112095      2534      9736    481823     22633   1369968   2409801    141.32     18.45  --
312.33/78.52	c  N dy   794    119345      2534      9736    481823     16142   1369968   1439020    123.86     18.46  --
321.53/80.80	c  N dy   847    127057      2534      9736    481823     23630   1369968   2503798    136.65     18.36  --
333.11/83.78	c  N dy   903    135278      2534      9736    481823     17042   1369968   1500475    147.16     18.25  --
343.09/86.22	c  N dy   963    143936      2534      9736    481823     25471   1369968   2744248    177.19     18.19  --
352.69/88.68	c  N dy  1028    153228      2534      9736    481823     18953   1369968   1620076    123.39     17.97  --
358.28/90.01	c  S st  1061    157996      2534      9736    481823     23600   1369968   2268041    137.79     17.92  --
358.69/90.15	c  S st  1061    158499      2534      9736    481823     24100   1369968   2346407    137.79     17.92  --
358.69/90.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
358.69/90.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
373.86/93.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    143 BRemL:     23 BRemN:    611 CBin:       0 P: 60.0M T: 15.22
374.26/94.02	c Calc non-exist non-lernt bins v-fix:     0 done:   2534 time:  0.20 s
374.26/94.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
374.66/94.10	c Subs w/ non-existent bins:      0 time:  0.30 s
375.06/94.24	c bin-w-bin subsume rem          564 bins  time:  0.34 s
381.84/95.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.78 s
381.84/95.97	c Removed useless bin:       0  fixed:     0  bprops:   1.32M  time:  0.14 s
394.62/99.20	c ORs :     69 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.86
395.03/99.23	c lits-rem:       197  cl-subs:     1616  v-elim:   2502  v-fix:    0  time: 12.99 s
395.03/99.23	c learnt bin added due to v-elim: 0
395.03/99.24	c vivif2 --  cl tried     9736 cl shrink        3 lits rem          3 time: 0.04
395.03/99.29	c vivif2 --  cl tried    22484 cl shrink       26 lits rem         26 time: 0.23
396.23/99.51	c asymm  cl-useful: 0/356/9733 lits-rem:0 time: 0.85
396.23/99.52	c calculated reachability. Time: 0.01
396.23/99.52	c  N dy  1061    158499      2534      9733    480771     22484   1368742   2127583    137.79     17.92  --
410.21/103.06	c  N dy  1131    168652      2534      9733    480771     32342   1368742   3533908    144.97     17.98  --
421.39/105.87	c  N dy  1207    179551      2534      9733    480771     26449   1368742   2498233    131.47     17.87  --
437.37/109.84	c  N dy  1287    191086      2534      9733    480771     20154   1368742   1678987    118.16     17.99  --
450.97/113.26	c  N dy  1372    203408      2534      9733    480773     32116   1368742   3201574    125.54     17.99  --
465.33/116.87	c  N dy  1464    216445      2534      9733    480773     26319   1368742   2479246    134.42     17.89  --
481.73/120.94	c  N dy  1560    230363      2534      9733    480773     20402   1368742   1701838    101.66     17.80  --
491.70/123.43	c  S st  1611    237748      2534      9733    480773     27541   1368742   2659317    117.42     17.82  --
492.10/123.54	c  S st  1611    238250      2534      9733    480773     28038   1368742   2738473    117.42     17.82  --
492.10/123.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
492.10/123.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
507.27/127.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      2 BRemN:      6 CBin:       0 P: 60.0M T: 15.14
507.67/127.40	c Calc non-exist non-lernt bins v-fix:     0 done:   2534 time:  0.20 s
507.67/127.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
507.67/127.49	c Subs w/ non-existent bins:      0 time:  0.35 s
508.49/127.64	c bin-w-bin subsume rem            3 bins  time:  0.34 s
514.46/129.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.11 s
514.86/129.20	c Removed useless bin:       0  fixed:     0  bprops:   1.32M  time:  0.14 s
530.85/133.29	c ORs :     69 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.88
531.25/133.33	c lits-rem:       318  cl-subs:     1864  v-elim:   2502  v-fix:    0  time: 16.47 s
531.25/133.33	c learnt bin added due to v-elim: 0
531.25/133.34	c vivif2 --  cl tried     9733 cl shrink        0 lits rem          0 time: 0.03
531.65/133.40	c vivif2 --  cl tried    26174 cl shrink        0 lits rem          0 time: 0.28
532.45/133.64	c asymm  cl-useful: 0/295/9733 lits-rem:0 time: 0.93
532.45/133.65	c calculated reachability. Time: 0.01
532.45/133.65	c  N dy  1611    238250      2534      9733    480762     26174   1368729   2525511    117.42     17.82  --
560.41/140.65	c  N dy  1715    253558      2615      9733    492793     23063   1372025   1554218    169.70     17.90  --
584.38/146.60	c  N dy  1827    269783      2615      9733    492793     38810   1372025   3911974    126.94     17.96  --
613.14/153.82	c  N dy  1945    287120      2615      9733    492793     33106   1372025   2764273    131.69     18.06  --
639.10/160.30	c  N dy  2073    305573      2615      9733    492793     28099   1372025   1970796     95.06     18.03  --
660.67/165.73	c  N dy  2209    325129      2615      9733    493685     47011   1372025   4238373     97.01     17.90  --
690.24/173.17	c  N dy  2348    345254      2615      9733    493685     43004   1372025   3810814    108.09     17.97  --
709.42/177.96	c  S st  2432    357375      2615      9733    493685     30352   1372025   2098600    111.67     18.03  --
710.23/178.11	c  S st  2432    357877      2615      9733    493685     30852   1372025   2160148    111.67     18.03  --
710.23/178.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
710.23/178.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
723.41/181.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     19 BRemL:    213 BRemN:    701 CBin:       0 P: 60.0M T: 13.23
723.41/181.49	c Calc non-exist non-lernt bins v-fix:     0 done:   2615 time:  0.21 s
723.41/181.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
723.81/181.59	c Subs w/ non-existent bins:   1496 time:  0.38 s
724.59/181.72	c bin-w-bin subsume rem         1119 bins  time:  0.34 s
730.98/183.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.33 s
730.98/183.33	c Removed useless bin:     227  fixed:     0  bprops:   0.73M  time:  0.10 s
741.40/185.94	c ORs :     69 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    0.84
741.40/185.97	c lits-rem:       199  cl-subs:     1444  v-elim:   2502  v-fix:    0  time: 10.55 s
741.40/185.97	c learnt bin added due to v-elim: 0
741.40/185.98	c vivif2 --  cl tried     9733 cl shrink        0 lits rem          0 time: 0.03
741.77/186.05	c vivif2 --  cl tried    27909 cl shrink       10 lits rem         10 time: 0.28
742.57/186.25	c asymm  cl-useful: 0/315/9733 lits-rem:0 time: 0.78
742.57/186.26	c calculated reachability. Time: 0.01
742.57/186.26	c  N dy  2432    357877      2615      9733    491454     27899   1370169   2021795    111.67     18.03  --
767.75/192.58	c  N dy  2571    377920      2683      9733    500359     50401   1372379   4634966    149.73     18.05  --
790.10/198.14	c  N dy  2713    397985      2683      9733    500359     43973   1372379   3618355    131.24     17.90  --
813.27/203.91	c  N dy  2854    418083      2683      9733    500359     36868   1372379   2882029    179.96     17.85  --
837.66/210.04	c  N dy  2995    438220      2683      9733    500359     29019   1372379   1760208    106.78     17.79  --
860.41/215.78	c  N dy  3136    458300      2683      9733    500359     48522   1372379   4008152     99.50     17.73  --
885.58/222.09	c  N dy  3275    478371      2683      9733    500359     39733   1372379   3014387    192.39     17.69  --
909.94/228.13	c  N dy  3416    498498      2683      9733    501290     30084   1372379   1838669    126.41     17.59  --
933.52/234.04	c  N dy  3557    518572      2683      9733    501290     49685   1372379   4169204    114.54     17.58  --
956.71/239.85	c  S st  3686    536815      2683      9733    501290     37221   1372379   2629848    136.38     17.53  --
957.09/239.97	c  S st  3686    537315      2683      9733    501290     37716   1372379   2696872    136.38     17.53  --
957.09/239.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
957.09/239.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
971.47/243.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:    272 BRemN:   2098 CBin:       0 P: 60.1M T: 14.15
971.47/243.59	c Calc non-exist non-lernt bins v-fix:     0 done:   2683 time:  0.22 s
971.47/243.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
971.87/243.69	c Subs w/ non-existent bins:    971 time:  0.44 s
972.27/243.72	c Replacing        2 vars Replaced       22 lits Time:     0.08 s 
972.67/243.86	c bin-w-bin subsume rem          836 bins  time:  0.34 s
978.68/245.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.06 s
979.06/245.41	c Removed useless bin:     139  fixed:     0  bprops:   0.67M  time:  0.09 s
991.05/248.44	c ORs :     69 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 6 avg s: 3.0 T:    0.92
991.05/248.47	c lits-rem:        82  cl-subs:     1364  v-elim:   2502  v-fix:    0  time: 12.26 s
991.05/248.47	c learnt bin added due to v-elim: 0
991.05/248.48	c vivif2 --  cl tried     9733 cl shrink        0 lits rem          0 time: 0.04
991.46/248.57	c vivif2 --  cl tried    35375 cl shrink        3 lits rem          3 time: 0.36
992.24/248.77	c asymm  cl-useful: 0/158/9733 lits-rem:0 time: 0.78
992.24/248.78	c calculated reachability. Time: 0.01
992.24/248.78	c  N dy  3686    537315      2681      9733    497944     35372   1367897   2526503    136.38     17.53  --
992.24/248.78	c  F st  3686    537315      2681      9733    497944     35372   1367897   2526503    136.38     17.53  --
994.64/249.38	c Decided on static restart strategy
1016.22/254.78	c  N dy  3818    557402      2681      9733    497944     54866   1367897   4931557    146.39     17.46  --
1039.38/260.53	c  N dy  3960    577518      2681      9733    497944     43863   1367897   3344693     87.90     17.41  --
1062.17/266.23	c  N dy  4100    597603      2750      9733    507068     66931   1370197   5636985    119.55     17.35  --
1069.35/268.04	c Finding binary XORs  T:     0.05 s  found:       6
1086.52/272.35	c  N dy  4241    617696      2750      9733    507068     52789   1370197   4433154    172.81     17.35  --
1111.68/278.66	c  N dy  4380    637709      2750      9733    507068     38373   1370197   2536412    138.87     17.32  --
1134.06/284.30	c  N dy  4521    657720      2750      9733    507068     57853   1370197   4781324    116.16     17.26  --
1159.62/290.61	c  N dy  4662    677729      2750      9733    507068     42890   1370197   3174750    136.29     17.25  --
1184.39/296.81	c  N dy  4803    697824      2750      9733    507068     62391   1370197   5807780    130.55     17.25  --
1210.36/303.35	c  N dy  4944    717935      2750      9733    507607     46760   1370199   3666311    112.05     17.22  --
1233.93/309.25	c  N dy  5085    737987      2750      9733    507607     66264   1370199   5849045    113.69     17.16  --
1257.50/315.19	c  N dy  5225    758004      2750      9733    507607     49673   1370199   3759988    126.06     17.15  --
1281.07/321.00	c  N dy  5366    778029      2750      9733    507607     69128   1370199   6072669    107.24     17.12  --
1307.44/327.66	c  N dy  5505    798054      2750      9733    507629     51548   1370199   4373680    172.05     17.11  --
1318.22/330.34	c  S st  5560    805972      2750      9733    507629     59182   1370199   5313154     85.03     17.09  --
1318.62/330.46	c  S st  5560    806473      2750      9733    507629     59682   1370199   5391081     85.03     17.09  --
1318.62/330.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1318.62/330.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1337.39/335.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:    292 BRemN:   1825 CBin:       0 P: 60.0M T: 18.58
1337.39/335.19	c Calc non-exist non-lernt bins v-fix:     0 done:   2750 time:  0.23 s
1337.39/335.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1338.19/335.36	c Subs w/ non-existent bins:   1002 time:  0.69 s
1338.19/335.39	c Replacing        7 vars Replaced      913 lits Time:     0.11 s 
1339.39/335.60	c bin-w-bin subsume rem          769 bins  time:  0.35 s
1346.18/337.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.93 s
1346.18/337.36	c Removed useless bin:     211  fixed:     0  bprops:   0.65M  time:  0.10 s
1448.88/363.03	c ORs :     69 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 3.0 T:    1.11
1478.41/370.48	c Added 28 vars  tried: 80000 time: 29.73
1480.81/371.07	c ORs :     28 avg-s:  0.0 cl-sh: 56276 l-rem:  56276 b-add:     56 v-rep:   0 cl-rem: 13 avg s: 3.0 T:   32.09
1481.21/371.13	c lits-rem:       953  cl-subs:     3815  v-elim:   2502  v-fix:    0  time: 134.89 s
1481.21/371.13	c learnt bin added due to v-elim: 0
1481.21/371.14	c vivif2 --  cl tried     9757 cl shrink        0 lits rem          0 time: 0.04
1481.61/371.28	c vivif2 --  cl tried    54852 cl shrink       10 lits rem         10 time: 0.56
1482.81/371.52	c asymm  cl-useful: 0/238/9757 lits-rem:0 time: 0.97
1482.81/371.54	c calculated reachability. Time: 0.01
1482.81/371.54	c  N dy  5560    806473      2771      9757    504583     54842   1364306   4804638     85.03     17.09  --
1514.79/379.55	c  N dy  5695    826507      2771      9757    504598     74324   1364306   8240736    154.89     17.16  --
1547.93/387.88	c  N dy  5827    846602      2771      9757    504601     56257   1364306   5662911    115.74     17.27  --
1609.05/403.11	c  N dy  5959    866626      2771      9757    504618     75340   1364306   8317566    179.45     17.40  --
1635.42/409.71	c  N dy  6095    886702      2771      9757    504618     56294   1364306   6087843    180.08     17.74  --
1672.99/419.17	c  N dy  6231    906833      2771      9757    504618     75738   1364306  10345557    208.24     18.17  --
1715.72/429.85	c  N dy  6366    926925      2771      9757    504618     55437   1364306   6713728    312.77     18.48  --
1766.05/442.45	c  N dy  6504    946977      2771      9757    508658     74650   1364306  10610810    178.89     18.60  --
1798.80/450.69	c  N dy  6642    967006      2809      9757    513312     54374   1364689   5527153    204.91     18.85  --
1846.34/462.57	c  N dy  6775    987078      2809      9757    513312     73600   1364689   9428498    185.24     19.25  --
1888.31/473.01	c  N dy  6907   1007145      2809      9757    513325     51347   1364689   4387732    184.63     19.51  --
1931.03/483.76	c  N dy  7042   1027150      2809      9757    513325     70704   1364689   8386878    165.41     20.02  --
1982.16/496.58	c  N dy  7178   1047286      2809      9757    513727     47529   1364689   4116568    257.71     20.31  --
2032.50/509.12	c  N dy  7315   1067366      2809      9757    513727     66715   1364689   8774386    213.65     20.71  --
2096.81/525.27	c  N dy  7450   1087384      2838      9757    516138     85998   1364813  11966732    151.31     20.96  --
2129.59/533.46	c  N dy  7587   1107503      2838      9757    516138     62141   1364813   6432386    180.65     21.11  --
2216.65/555.29	c  N dy  7719   1127577      2838      9757    517195     81399   1364813   9244487    220.37     21.40  --
2250.60/563.78	c  N dy  7852   1147661      2838      9757    517195     56508   1364813   6214383    237.81     21.71  --
2283.38/572.00	c  N dy  7990   1167791      2868      9757    519932     75872   1364941  10391069    305.00     22.01  --
2338.49/585.73	c  N dy  8124   1187815      2868      9757    519932     49923   1364941   4227024    245.94     22.52  --
2371.27/593.93	c  N dy  8260   1207906      2868      9757    519932     69330   1364941   7791016    120.49     22.76  --
2378.44/595.80	c  S st  8273   1209710      2868      9757    519932     71078   1364941   8002718    128.10     22.77  --
2379.24/595.97	c  S st  8273   1210211      2868      9757    519932     71579   1364941   8043385    128.10     22.77  --
2379.64/596.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2379.64/596.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2398.03/600.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     39 BRemL:   1502 BRemN:   1103 CBin:       0 P: 60.0M T: 18.59
2398.41/600.71	c Calc non-exist non-lernt bins v-fix:     0 done:   2868 time:  0.23 s
2398.41/600.71	c Cache  BProp: 0 Set: 0 BXProp: 3 T: 0.00
2399.21/600.93	c Subs w/ non-existent bins:    118 time:  0.86 s
2399.61/601.08	c Replacing        4 vars Replaced     4548 lits Time:     0.62 s 
2400.81/601.35	c bin-w-bin subsume rem          241 bins  time:  0.35 s
2407.20/602.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.26 s
2407.20/602.94	c Removed useless bin:       9  fixed:     0  bprops:   0.63M  time:  0.09 s
2598.96/650.96	c ORs :    143 avg-s:  2.0 cl-sh:   118 l-rem:    118 b-add:      2 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    1.42
2640.10/661.26	c Added 29 vars  tried: 80000 time: 41.13
2642.51/661.83	c ORs :     29 avg-s:  0.0 cl-sh: 51567 l-rem:  51567 b-add:     58 v-rep:   0 cl-rem: 21 avg s: 3.0 T:   43.40
2642.91/661.90	c lits-rem:       446  cl-subs:     9682  v-elim:   3318  v-fix:    0  time: 235.51 s
2642.91/661.90	c learnt bin added due to v-elim: 0
2642.91/661.91	c vivif2 --  cl tried    10753 cl shrink      393 lits rem        393 time: 0.04
2643.72/662.11	c vivif2 --  cl tried    61761 cl shrink     1735 lits rem       3998 time: 0.79
2644.50/662.38	c asymm  cl-useful: 0/263/10361 lits-rem:0 time: 1.08
2644.90/662.40	c calculated reachability. Time: 0.01
2644.90/662.40	c  N dy  8273   1210211      2891     10361    516549     61761   1361546   6087998    128.10     22.77  --
2694.44/674.80	c  N dy  8406   1230286      2891     10361    516591     80934   1361548  12087690    361.68     22.88  --
2729.59/683.68	c  N dy  8543   1250388      2891     10361    516591     54300   1361548   5193553    196.22     23.04  --
2767.94/693.27	c  N dy  8679   1270475      2891     10361    516591     73732   1361548   9588326    243.53     23.23  --
2840.25/711.39	c  N dy  8814   1290597      2891     10361    516591     93270   1361548  13600452    167.57     23.33  --
2880.19/721.34	c  N dy  8949   1310726      2893     10361    521048     65697   1361556   6476270    167.50     23.38  --
2939.31/736.15	c  N dy  9084   1330851      2893     10361    521048     85178   1361556   9424017    149.14     23.54  --
2995.26/750.20	c  N dy  9219   1350982      2893     10361    521048     56495   1361556   4540529    191.20     23.94  --
3050.77/764.01	c  N dy  9351   1370987      2893     10361    521048     76040   1361556   8345794    291.07     24.16  --
3124.28/782.41	c  N dy  9484   1391107      2895     10361    521376     95539   1361564  11565640    198.11     24.42  --
3157.85/790.90	c  N dy  9620   1411170      2895     10361    521376     65464   1361564   7239143    276.46     24.52  --
3230.53/809.00	c  N dy  9754   1431278      2895     10361    521376     84880   1361564  12133870    256.74     24.66  --
3291.25/824.29	c Finding binary XORs  T:     0.05 s  found:       1
3320.44/831.52	c  N dy  9889   1451383      2895     10361    521517     54023   1361564   4387140    278.74     24.78  --
3384.33/847.56	c  N dy 10023   1471464      2896     10361    521546     73492   1361568   9980623    251.77     25.01  --
3455.84/865.45	c  N dy 10156   1491517      2896     10361    521546     93023   1361568  14195501    138.80     25.03  --
3501.77/876.99	c  N dy 10289   1511568      2896     10361    521546     61113   1361568   5289111    205.97     25.09  --
3557.72/890.92	c  N dy 10421   1531674      2896     10361    521550     80622   1361568   8970524    220.91     25.18  --
3619.64/906.47	c  N dy 10553   1551759      2896     10361    521550     99912   1361568  12917526    133.15     25.33  --
3679.54/921.44	c  N dy 10684   1571780      2896     10361    521550     66879   1361568   5927846    123.61     25.41  --
3717.48/930.92	c  N dy 10819   1591805      2896     10361    521550     86407   1361568  10355334    219.50     25.59  --
3771.41/944.40	c  N dy 10955   1611937      2896     10361    521550    106001   1361568  14883201    216.91     25.76  --
3807.77/953.59	c  N dy 11091   1631959      2896     10361    521550     72132   1361568   8244772    310.93     25.90  --
3868.09/968.62	c  N dy 11227   1652005      2896     10361    521550     91566   1361568  13910357    354.20     26.04  --
3940.01/986.64	c  N dy 11361   1672047      2896     10361    521550     56714   1361568   4668271    380.28     26.25  --
4013.50/1005.01	c  N dy 11494   1692198      2896     10361    521550     76183   1361568  10650912    280.36     26.44  --
4122.55/1032.31	c  S st 11612   1710212      2896     10361    521550     93573   1361568  15827287    350.50     26.65  --
4123.75/1032.66	c  S st 11612   1710715      2896     10361    521550     94074   1361568  15876232    350.50     26.65  --
4124.15/1032.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
4124.15/1032.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4168.09/1043.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:   1725 BRemN:    718 CBin:       0 P: 60.1M T: 44.03
4168.09/1043.78	c Calc non-exist non-lernt bins v-fix:     0 done:   2896 time:  0.23 s
4168.09/1043.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4169.28/1044.08	c Subs w/ non-existent bins:      0 time:  1.18 s
4169.68/1044.13	c Replacing        1 vars Replaced       21 lits Time:     0.21 s 
4171.29/1044.56	c bin-w-bin subsume rem          371 bins  time:  0.35 s
4179.27/1046.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.85 s
4179.27/1046.55	c Removed useless bin:      18  fixed:     0  bprops:   0.62M  time:  0.10 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3250975-1304183219/watcher-3250975-1304183219 -o /tmp/evaluation-result-3250975-1304183219/solver-3250975-1304183219 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3250975-1304183219.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 5.40 7.33 7.68 3/174 14240
/proc/meminfo: memFree=22986592/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=52400 CPUtime=0 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 1375 0 0 0 0 0 0 0 21 0 1 0 529921559 53657600 1311 33554432000 4194304 4797429 140737299369200 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14240/statm: 13100 1312 347 148 0 8029 0

[startup+0.016758 s]
/proc/loadavg: 5.40 7.33 7.68 3/174 14240
/proc/meminfo: memFree=22986592/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=55108 CPUtime=0.01 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 1976 0 0 0 1 0 0 0 21 0 1 0 529921559 56430592 1846 33554432000 4194304 4797429 140737299369200 18446744073709551615 274473628357 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14240/statm: 13777 1847 348 148 0 8706 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 55108

[startup+0.100714 s]
/proc/loadavg: 5.40 7.33 7.68 3/174 14240
/proc/meminfo: memFree=22986592/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=65140 CPUtime=0.09 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 4467 0 0 0 9 0 0 0 21 0 1 0 529921559 66703360 4337 33554432000 4194304 4797429 140737299369200 18446744073709551615 4356687 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14240/statm: 16285 4337 348 148 0 11214 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65140

[startup+0.300684 s]
/proc/loadavg: 5.40 7.33 7.68 3/174 14240
/proc/meminfo: memFree=22986592/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=87876 CPUtime=0.29 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 10159 0 0 0 28 1 0 0 22 0 1 0 529921559 89985024 10029 33554432000 4194304 4797429 140737299369200 18446744073709551615 274473628357 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14240/statm: 21969 10029 348 148 0 16898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87876

[startup+0.7005 s]
/proc/loadavg: 5.40 7.33 7.68 3/174 14240
/proc/meminfo: memFree=22986592/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=721240 CPUtime=1.55 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 17733 0 0 0 146 9 0 0 24 0 4 0 529921559 738549760 17573 33554432000 4194304 4797429 140737299369200 18446744073709551615 4520392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 180310 17573 389 148 0 175239 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 721240

[startup+1.50036 s]
/proc/loadavg: 5.40 7.33 7.68 9/184 14253
/proc/meminfo: memFree=22771120/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=724504 CPUtime=4.74 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 25429 0 0 0 464 10 0 0 25 0 4 0 529921559 741892096 25248 33554432000 4194304 4797429 140737299369200 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 181126 25248 411 148 0 176055 0
[pid=14240/tid=14248] ppid=14238 vsize=724504 CPUtime=1.08 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 3493 0 0 0 105 3 0 0 19 0 4 0 529921596 741892096 25248 33554432000 4194304 4797429 140737299369200 18446744073709551615 4424735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=724504 CPUtime=1.08 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 3582 0 0 0 105 3 0 0 19 0 4 0 529921596 741892096 25248 33554432000 4194304 4797429 140737299369200 18446744073709551615 4424846 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=724504 CPUtime=1.12 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 2635 0 0 0 112 0 0 0 19 0 4 0 529921596 741892096 25248 33554432000 4194304 4797429 140737299369200 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 724504

[startup+3.10108 s]
/proc/loadavg: 5.77 7.38 7.69 9/184 14253
/proc/meminfo: memFree=22697216/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=740524 CPUtime=11.14 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 32942 0 0 0 1103 11 0 0 25 0 4 0 529921559 758296576 27689 33554432000 4194304 4797429 140737299369200 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 185131 27689 412 148 0 180060 0
[pid=14240/tid=14248] ppid=14238 vsize=740524 CPUtime=2.68 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 5416 0 0 0 265 3 0 0 23 0 4 0 529921596 758296576 27689 33554432000 4194304 4797429 140737299369200 18446744073709551615 4387833 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=740524 CPUtime=2.68 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 5415 0 0 0 265 3 0 0 22 0 4 0 529921596 758296576 27689 33554432000 4194304 4797429 140737299369200 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=740524 CPUtime=2.72 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 4336 0 0 0 272 0 0 0 23 0 4 0 529921596 758296576 27690 33554432000 4194304 4797429 140737299369200 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.14
Current children cumulated vsize (KiB) 740524

[startup+6.30052 s]
/proc/loadavg: 5.77 7.38 7.69 9/184 14253
/proc/meminfo: memFree=22646872/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=745812 CPUtime=23.91 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 39891 0 0 0 2378 13 0 0 25 0 4 0 529921559 763711488 31144 33554432000 4194304 4797429 140737299369200 18446744073709551615 4354783 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 186453 31144 415 148 0 181382 0
[pid=14240/tid=14248] ppid=14238 vsize=745812 CPUtime=5.88 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 6478 0 0 0 585 3 0 0 25 0 4 0 529921596 763711488 31144 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=745812 CPUtime=5.87 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 6351 0 0 0 583 4 0 0 25 0 4 0 529921596 763711488 31144 33554432000 4194304 4797429 140737299369200 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=745812 CPUtime=5.92 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 5329 0 0 0 592 0 0 0 25 0 4 0 529921596 763711488 31144 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.91
Current children cumulated vsize (KiB) 745812

[startup+12.7004 s]
/proc/loadavg: 6.11 7.40 7.70 9/184 14253
/proc/meminfo: memFree=22583396/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=752800 CPUtime=49.48 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 51619 0 0 0 4931 17 0 0 25 0 4 0 529921559 770867200 34863 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429174 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 188200 34863 416 148 0 183129 0
[pid=14240/tid=14248] ppid=14238 vsize=752800 CPUtime=12.28 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 9421 0 0 0 1225 3 0 0 25 0 4 0 529921596 770867200 34863 33554432000 4194304 4797429 140737299369200 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=752800 CPUtime=12.27 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 9106 0 0 0 1222 5 0 0 25 0 4 0 529921596 770867200 34863 33554432000 4194304 4797429 140737299369200 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=752800 CPUtime=12.31 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 8117 0 0 0 1230 1 0 0 25 0 4 0 529921596 770867200 34863 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.48
Current children cumulated vsize (KiB) 752800

[startup+25.5011 s]
/proc/loadavg: 6.40 7.41 7.70 9/184 14254
/proc/meminfo: memFree=22551864/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=753936 CPUtime=100.61 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 59463 0 0 0 10042 19 0 0 25 0 4 0 529921559 772030464 39684 33554432000 4194304 4797429 140737299369200 18446744073709551615 4642241 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 188484 39684 418 148 0 183413 0
[pid=14240/tid=14248] ppid=14238 vsize=753936 CPUtime=25.07 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 10004 0 0 0 2504 3 0 0 25 0 4 0 529921596 772030464 39684 33554432000 4194304 4797429 140737299369200 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=753936 CPUtime=25.07 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 9636 0 0 0 2502 5 0 0 25 0 4 0 529921596 772030464 39684 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=753936 CPUtime=25.12 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 8767 0 0 0 2511 1 0 0 25 0 4 0 529921596 772030464 39684 33554432000 4194304 4797429 140737299369200 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.61
Current children cumulated vsize (KiB) 753936

[startup+51.1006 s]
/proc/loadavg: 7.03 7.48 7.71 9/184 14255
/proc/meminfo: memFree=22513412/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=762504 CPUtime=202.88 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 75742 0 0 0 20264 24 0 0 25 0 4 0 529921559 780804096 44462 33554432000 4194304 4797429 140737299369200 18446744073709551615 4495559 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 190626 44462 419 148 0 185555 0
[pid=14240/tid=14248] ppid=14238 vsize=762504 CPUtime=50.68 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 12694 0 0 0 5064 4 0 0 25 0 4 0 529921596 780804096 44462 33554432000 4194304 4797429 140737299369200 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=762504 CPUtime=50.67 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 12261 0 0 0 5061 6 0 0 25 0 4 0 529921596 780804096 44462 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=762504 CPUtime=50.72 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 11312 0 0 0 5070 2 0 0 25 0 4 0 529921596 780804096 44462 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.88
Current children cumulated vsize (KiB) 762504

[startup+102.307 s]
/proc/loadavg: 7.69 7.58 7.73 9/184 14256
/proc/meminfo: memFree=22446912/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=769340 CPUtime=407.43 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 107203 0 0 0 40710 33 0 0 25 0 4 0 529921559 787804160 50424 33554432000 4194304 4797429 140737299369200 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 192335 50424 419 148 0 187264 0
[pid=14240/tid=14248] ppid=14238 vsize=769340 CPUtime=101.88 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 14252 0 0 0 10183 5 0 0 25 0 4 0 529921596 787804160 50424 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=769340 CPUtime=101.88 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 15524 0 0 0 10180 8 0 0 25 0 4 0 529921596 787804160 50424 33554432000 4194304 4797429 140737299369200 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=769340 CPUtime=101.92 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 14268 0 0 0 10189 3 0 0 25 0 4 0 529921596 787804160 50424 33554432000 4194304 4797429 140737299369200 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.43
Current children cumulated vsize (KiB) 769340

[startup+162.301 s]
/proc/loadavg: 8.01 7.68 7.76 9/184 14257
/proc/meminfo: memFree=22424416/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=775400 CPUtime=647.1 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 150150 0 0 0 64665 45 0 0 25 0 4 0 529921559 794009600 53414 33554432000 4194304 4797429 140737299369200 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 193850 53414 419 148 0 188779 0
[pid=14240/tid=14248] ppid=14238 vsize=775400 CPUtime=161.88 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 17634 0 0 0 16182 6 0 0 25 0 4 0 529921596 794009600 53414 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=775400 CPUtime=161.87 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 18445 0 0 0 16179 8 0 0 25 0 4 0 529921596 794009600 53414 33554432000 4194304 4797429 140737299369200 18446744073709551615 4509088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=775400 CPUtime=161.91 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 17708 0 0 0 16188 3 0 0 25 0 4 0 529921596 794009600 53414 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.1
Current children cumulated vsize (KiB) 775400

[startup+222.301 s]
/proc/loadavg: 8.12 7.77 7.78 9/184 14259
/proc/meminfo: memFree=22386820/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=780024 CPUtime=886.78 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 189886 0 0 0 88623 55 0 0 25 0 4 0 529921559 798744576 59163 33554432000 4194304 4797429 140737299369200 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 195006 59163 421 148 0 189935 0
[pid=14240/tid=14248] ppid=14238 vsize=780024 CPUtime=221.88 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 20726 0 0 0 22181 7 0 0 25 0 4 0 529921596 798744576 59163 33554432000 4194304 4797429 140737299369200 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=780024 CPUtime=221.87 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 20500 0 0 0 22178 9 0 0 25 0 4 0 529921596 798744576 59163 33554432000 4194304 4797429 140737299369200 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=780024 CPUtime=221.92 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 19203 0 0 0 22188 4 0 0 25 0 4 0 529921596 798744576 59163 33554432000 4194304 4797429 140737299369200 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 886.78
Current children cumulated vsize (KiB) 780024

[startup+282.301 s]

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

[pid=14240] ppid=14238 vsize=870108 CPUtime=2804.29 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 453924 0 0 0 280296 133 0 0 25 0 4 0 529921559 890990592 89936 33554432000 4194304 4797429 140737299369200 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 217527 89936 421 148 0 212456 0
[pid=14240/tid=14248] ppid=14238 vsize=870108 CPUtime=701.88 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 41606 0 0 0 70174 14 0 0 25 0 4 0 529921596 890990592 89936 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=870108 CPUtime=701.88 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 40015 0 0 0 70172 16 0 0 25 0 4 0 529921596 890990592 89936 33554432000 4194304 4797429 140737299369200 18446744073709551615 4360002 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=870108 CPUtime=701.91 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 38679 0 0 0 70183 8 0 0 25 0 4 0 529921596 890990592 89936 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.29
Current children cumulated vsize (KiB) 870108

[startup+762.306 s]
/proc/loadavg: 8.02 8.01 7.90 9/184 14273
/proc/meminfo: memFree=22197256/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=872360 CPUtime=3044 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 481645 0 0 0 304258 142 0 0 25 0 4 0 529921559 893296640 88246 33554432000 4194304 4797429 140737299369200 18446744073709551615 4424979 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 218090 88246 421 148 0 213019 0
[pid=14240/tid=14248] ppid=14238 vsize=872360 CPUtime=761.89 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 43002 0 0 0 76174 15 0 0 25 0 4 0 529921596 893296640 88246 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=872360 CPUtime=761.88 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 42905 0 0 0 76172 16 0 0 25 0 4 0 529921596 893296640 88246 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=872360 CPUtime=761.93 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 39926 0 0 0 76184 9 0 0 25 0 4 0 529921596 893296640 88246 33554432000 4194304 4797429 140737299369200 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044
Current children cumulated vsize (KiB) 872360

[startup+822.301 s]
/proc/loadavg: 8.07 8.02 7.91 9/184 14275
/proc/meminfo: memFree=22133020/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=877668 CPUtime=3283.67 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 509590 0 0 0 328217 150 0 0 25 0 4 0 529921559 898732032 96407 33554432000 4194304 4797429 140737299369200 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 219417 96407 421 148 0 214346 0
[pid=14240/tid=14248] ppid=14238 vsize=877668 CPUtime=821.88 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 46028 0 0 0 82173 15 0 0 25 0 4 0 529921596 898732032 96407 33554432000 4194304 4797429 140737299369200 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=877668 CPUtime=821.88 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 44264 0 0 0 82171 17 0 0 25 0 4 0 529921596 898732032 96407 33554432000 4194304 4797429 140737299369200 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=877668 CPUtime=821.92 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 43195 0 0 0 82182 10 0 0 25 0 4 0 529921596 898732032 96407 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.67
Current children cumulated vsize (KiB) 877668

[startup+882.3 s]
/proc/loadavg: 8.16 8.05 7.92 9/184 14277
/proc/meminfo: memFree=22161908/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=878772 CPUtime=3523.35 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 540314 0 0 0 352175 160 0 0 25 0 4 0 529921559 899862528 91145 33554432000 4194304 4797429 140737299369200 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 219693 91145 421 148 0 214622 0
[pid=14240/tid=14248] ppid=14238 vsize=878772 CPUtime=881.88 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 47178 0 0 0 88172 16 0 0 25 0 4 0 529921596 899862528 91145 33554432000 4194304 4797429 140737299369200 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=878772 CPUtime=881.89 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 47328 0 0 0 88171 18 0 0 25 0 4 0 529921596 899862528 91145 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=878772 CPUtime=881.92 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 44430 0 0 0 88182 10 0 0 25 0 4 0 529921596 899862528 91145 33554432000 4194304 4797429 140737299369200 18446744073709551615 4428025 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.35
Current children cumulated vsize (KiB) 878772

[startup+942.301 s]
/proc/loadavg: 8.18 8.07 7.93 9/184 14278
/proc/meminfo: memFree=22109700/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=881860 CPUtime=3763.03 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 569296 0 0 0 376134 169 0 0 25 0 4 0 529921559 903024640 98417 33554432000 4194304 4797429 140737299369200 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 220465 98417 421 148 0 215394 0
[pid=14240/tid=14248] ppid=14238 vsize=881860 CPUtime=941.88 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 50099 0 0 0 94171 17 0 0 25 0 4 0 529921596 903024640 98417 33554432000 4194304 4797429 140737299369200 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=881860 CPUtime=941.88 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 48754 0 0 0 94170 18 0 0 25 0 4 0 529921596 903024640 98417 33554432000 4194304 4797429 140737299369200 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=881860 CPUtime=941.92 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 47368 0 0 0 94181 11 0 0 25 0 4 0 529921596 903024640 98417 33554432000 4194304 4797429 140737299369200 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.03
Current children cumulated vsize (KiB) 881860

[startup+1002.3 s]
/proc/loadavg: 8.18 8.08 7.94 9/184 14280
/proc/meminfo: memFree=22110932/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=882928 CPUtime=4002.71 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 604759 0 0 0 400090 181 0 0 25 0 4 0 529921559 904118272 99174 33554432000 4194304 4797429 140737299369200 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 220732 99174 421 148 0 215661 0
[pid=14240/tid=14248] ppid=14238 vsize=882928 CPUtime=1001.87 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 51440 0 0 0 100170 17 0 0 25 0 4 0 529921596 904118272 99174 33554432000 4194304 4797429 140737299369200 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=882928 CPUtime=1001.89 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 50236 0 0 0 100170 19 0 0 25 0 4 0 529921596 904118272 99174 33554432000 4194304 4797429 140737299369200 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=882928 CPUtime=1001.92 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 48683 0 0 0 100181 11 0 0 25 0 4 0 529921596 904118272 99174 33554432000 4194304 4797429 140737299369200 18446744073709551615 4531952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.71
Current children cumulated vsize (KiB) 882928

[startup+1062.3 s]
/proc/loadavg: 8.18 8.10 7.95 9/184 14281
/proc/meminfo: memFree=22027836/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=953768 CPUtime=4242.4 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 631336 0 0 0 424052 188 0 0 25 0 4 0 529921559 976658432 113566 33554432000 4194304 4797429 140737299369200 18446744073709551615 4524576 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 238442 113566 421 148 0 233371 0
[pid=14240/tid=14248] ppid=14238 vsize=953768 CPUtime=1061.88 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 54383 0 0 0 106170 18 0 0 25 0 4 0 529921596 976658432 113566 33554432000 4194304 4797429 140737299369200 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=953768 CPUtime=1061.89 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 53176 0 0 0 106169 20 0 0 25 0 4 0 529921596 976658432 113566 33554432000 4194304 4797429 140737299369200 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=953768 CPUtime=1061.93 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 52105 0 0 0 106181 12 0 0 25 0 4 0 529921596 976658432 113566 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.4
Current children cumulated vsize (KiB) 953768

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 7.96 9/184 14283
/proc/meminfo: memFree=22007736/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=953768 CPUtime=4482.08 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 636580 0 0 0 448018 190 0 0 25 0 4 0 529921559 976658432 118789 33554432000 4194304 4797429 140737299369200 18446744073709551615 4506608 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 238442 118789 423 148 0 233371 0
[pid=14240/tid=14248] ppid=14238 vsize=953768 CPUtime=1121.87 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 56253 0 0 0 112169 18 0 0 25 0 4 0 529921596 976658432 118789 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=953768 CPUtime=1121.88 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 54810 0 0 0 112168 20 0 0 25 0 4 0 529921596 976658432 118789 33554432000 4194304 4797429 140737299369200 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=953768 CPUtime=1121.93 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 53722 0 0 0 112181 12 0 0 25 0 4 0 529921596 976658432 118789 33554432000 4194304 4797429 140737299369200 18446744073709551615 4415782 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.08
Current children cumulated vsize (KiB) 953768

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 7.96 9/184 14285
/proc/meminfo: memFree=22009704/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=954272 CPUtime=4721.75 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 641624 0 0 0 471983 192 0 0 25 0 4 0 529921559 977174528 119672 33554432000 4194304 4797429 140737299369200 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 238568 119672 423 148 0 233497 0
[pid=14240/tid=14248] ppid=14238 vsize=954272 CPUtime=1181.87 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 57554 0 0 0 118168 19 0 0 25 0 4 0 529921596 977174528 119672 33554432000 4194304 4797429 140737299369200 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=954272 CPUtime=1181.88 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 57290 0 0 0 118167 21 0 0 25 0 4 0 529921596 977174528 119672 33554432000 4194304 4797429 140737299369200 18446744073709551615 4520168 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=954272 CPUtime=1181.93 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 54985 0 0 0 118180 13 0 0 25 0 4 0 529921596 977174528 119672 33554432000 4194304 4797429 140737299369200 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.75
Current children cumulated vsize (KiB) 954272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.07 8.08 7.96 9/184 14285
/proc/meminfo: memFree=22029920/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=955520 CPUtime=4800.07 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 646296 0 0 0 479813 194 0 0 25 0 4 0 529921559 978452480 115840 33554432000 4194304 4797429 140737299369200 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 238880 115840 423 148 0 233809 0
[pid=14240/tid=14248] ppid=14238 vsize=955520 CPUtime=1201.48 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 59862 0 0 0 120128 20 0 0 25 0 4 0 529921596 978452480 115840 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=955520 CPUtime=1201.5 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 57740 0 0 0 120128 22 0 0 25 0 4 0 529921596 978452480 115840 33554432000 4194304 4797429 140737299369200 18446744073709551615 4524611 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=955520 CPUtime=1201.53 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 56899 0 0 0 120140 13 0 0 25 0 4 0 529921596 978452480 115840 33554432000 4194304 4797429 140737299369200 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 955520

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

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

[startup+1201.9 s]
/proc/loadavg: 8.07 8.08 7.96 9/184 14285
/proc/meminfo: memFree=22029920/32950928 swapFree=67111524/67111528
[pid=14240] ppid=14238 vsize=955520 CPUtime=4800.07 cores=0,2,4,6
/proc/14240/stat : 14240 (techdemo) R 14238 14240 13200 0 -1 4202496 646296 0 0 0 479813 194 0 0 25 0 4 0 529921559 978452480 115840 33554432000 4194304 4797429 140737299369200 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14240/statm: 238880 115840 423 148 0 233809 0
[pid=14240/tid=14248] ppid=14238 vsize=955520 CPUtime=1201.48 cores=0,2,4,6
/proc/14240/task/14248/stat : 14248 (techdemo) R 14238 14240 13200 0 -1 4202560 59862 0 0 0 120128 20 0 0 25 0 4 0 529921596 978452480 115840 33554432000 4194304 4797429 140737299369200 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14240/tid=14249] ppid=14238 vsize=955520 CPUtime=1201.5 cores=0,2,4,6
/proc/14240/task/14249/stat : 14249 (techdemo) R 14238 14240 13200 0 -1 4202560 57740 0 0 0 120128 22 0 0 25 0 4 0 529921596 978452480 115840 33554432000 4194304 4797429 140737299369200 18446744073709551615 4524611 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14240/tid=14250] ppid=14238 vsize=955520 CPUtime=1201.53 cores=0,2,4,6
/proc/14240/task/14250/stat : 14250 (techdemo) R 14238 14240 13200 0 -1 4202560 56899 0 0 0 120140 13 0 0 25 0 4 0 529921596 978452480 115840 33554432000 4194304 4797429 140737299369200 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 955520

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.12
CPU user time (s): 4798.16
CPU system time (s): 1.9637
CPU usage (%): 399.366
Max. virtual memory (cumulated for all children) (KiB): 983732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.16
system time used= 1.9637
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646296
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= 1658
involuntary context switches= 22190

runsolver used 1.9677 second user time and 4.40133 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-30 19:06:59
IDJOB=3250975
IDBENCH=88207
IDSOLVER=1584
FILE ID=node125/3250975-1304183219
RUNJOBID= node125-1304183219-14226
PBS_JOBID= 13172427
Free space on /tmp= 73008 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250975-1304183219/watcher-3250975-1304183219 -o /tmp/evaluation-result-3250975-1304183219/solver-3250975-1304183219 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3250975-1304183219.cnf

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

MD5SUM BENCH= 002a4cb53ea02f66e0c3418dc8834f7c
RANDOM SEED=711913920

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.74
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.828
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.828
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:     32950928 kB
MemFree:      22986748 kB
Buffers:       2135668 kB
Cached:        7236772 kB
SwapCached:          4 kB
Active:        2589240 kB
Inactive:      6850484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22986748 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           22016 kB
Writeback:          20 kB
AnonPages:       66512 kB
Mapped:          14428 kB
Slab:           461516 kB
PageTables:       4676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   193456 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= 72988 MiB
End job on node125 at 2011-04-30 19:27:03