Trace number 3257621

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.27 1201.92

General information on the benchmark

NameCRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
MD5SUM36c3169a5cad0483dd15befcefc4323e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark689.141
Satisfiable
(Un)Satisfiability was proved
Number of variables526
Number of clauses146535
Sum of the clauses size858954
Maximum clause length14
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 22476
Number of clauses of size 34
Number of clauses of size 41387
Number of clauses of size 57328
Number of clauses of size over 5135276

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-3257621-1304034062.cnf'
0.00/0.00	c -- header says num vars:            526
0.00/0.00	c -- header says num clauses:      146535
0.19/0.26	c -- clauses added:            0 learnts,       146535 normals,            0 xors
0.19/0.26	c -- vars added        526
0.19/0.26	c Parsing time:  0.25 s
0.19/0.26	c  N st     0         0       526    143995      2476         0    858890         0   no data   no data  --
0.40/0.36	c asymm  cl-useful: 336/3489/101755 lits-rem:1419 time: 0.24
0.79/0.47	c Flit:    22 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  0.16
0.79/0.47	c Calc non-exist non-lernt bins v-fix:     0 done:    440 time:  0.01 s
0.79/0.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.79/0.47	c Subs w/ non-existent bins:  28831 time:  0.12 s
1.59/0.66	c bin-w-bin subsume rem          787 bins  time:  0.00 s
1.59/0.66	c subs with bin:        0  lits-rem:      4137  v-fix:    0  time:  0.04 s
1.59/0.66	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
3.61/1.17	c lits-rem:      4133  cl-subs:       79  v-elim:    258  v-fix:    0  time:  1.44 s
3.61/1.17	c learnt bin added due to v-elim: 0
3.61/1.17	c Finding binary XORs  T:     0.00 s  found:       0
3.61/1.17	c Finding non-binary XORs:     0.19 s (found:       0, avg size: nan)
3.61/1.17	c calculated reachability. Time: 0.00
3.61/1.17	c Calc default polars -  time:   0.00 s pos:      56 undec:     226 neg:     244
3.61/1.17	c =========================================================================================
3.61/1.17	c types(t): F = full restart, N = normal restart
3.61/1.17	c types(t): S = simplification begin/end, E = solution found
3.61/1.17	c restart types(rt): st = static, dy = dynamic
3.61/1.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.61/1.17	c  B st     0         0       406     59198       895         0    372694         0   no data   no data  --
3.61/1.17	c Decided on static restart strategy
3.61/1.17	c  N dy    21      4060       406     59198       898      3813    372555     53656     10.04      9.97  --
3.99/1.27	c  N dy    51      8114       404     59198       915      7524    372363     98513     12.19      9.60  --
4.79/1.47	c  N dy    80     12157       404     59198       915     11413    372294    159256     17.09     10.26  --
5.19/1.59	c  N dy   108     16173       404     59198       915     15299    372252    221605     15.45     10.69  --
6.39/1.82	c  N dy   136     20174       404     59198       915      9679    372233     72878     17.16     11.14  --
6.79/1.99	c  N dy   164     24286       404     59198       915     13683    372200    151609     22.44     11.81  --
7.60/2.19	c  N dy   192     28341       404     59198       915     17639    372163    223191     18.94     12.01  --
8.38/2.30	c  S st   204     30001       404     59198       915     19243    372138    249847     17.21     12.03  --
8.38/2.37	c  S st   204     30502       404     59198       915     19701    372098    253976     17.21     12.03  --
8.38/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
8.38/2.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.78/2.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.3M T:  0.31
8.78/2.45	c Calc non-exist non-lernt bins v-fix:     0 done:    404 time:  0.00 s
8.78/2.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.78/2.46	c Subs w/ non-existent bins:      0 time:  0.04 s
8.78/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.51	c subs with bin:        9  lits-rem:       659  v-fix:    0  time:  0.10 s
9.17/2.51	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
16.80/4.44	c lits-rem:     12996  cl-subs:     6279  v-elim:    404  v-fix:    0  time:  7.71 s
16.80/4.44	c learnt bin added due to v-elim: 0
16.80/4.45	c vivif2 --  cl tried    51868 cl shrink        0 lits rem          0 time: 0.02
16.80/4.45	c vivif2 --  cl tried    16094 cl shrink        0 lits rem          0 time: 0.01
17.17/4.52	c asymm  cl-useful: 50/3230/51868 lits-rem:66 time: 0.25
17.17/4.52	c calculated reachability. Time: 0.00
17.17/4.52	c  N dy   204     30502       404     51868       882     16094    313455    207732     17.21     12.03  --
17.17/4.52	c  F st   204     30502       404     51868       882     16094    313455    207732     17.21     12.03  --
17.57/4.62	c Decided on static restart strategy
17.97/4.73	c  N dy   224     34549       404     51868       883     20014    313444    273716     17.92     12.05  --
18.77/4.95	c  N dy   253     38687       404     51868       890     24167    313438    348888     17.14     12.21  --
19.57/5.19	c  N dy   281     42814       403     51868       896     28187    313433    432040     24.04     12.54  --
20.37/5.38	c  S st   302     45753       403     51868       896     16093    313430    126065     15.24     12.55  --
20.78/5.44	c  S st   302     46253       403     51868       896     16582    313428    132265     15.24     12.55  --
20.78/5.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
20.78/5.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.19/5.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.9M T:  0.28
21.19/5.51	c Calc non-exist non-lernt bins v-fix:     0 done:    403 time:  0.00 s
21.19/5.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.19/5.52	c Subs w/ non-existent bins:     19 time:  0.04 s
21.19/5.53	c Replacing        2 vars Replaced      177 lits Time:     0.04 s 
21.19/5.54	c bin-w-bin subsume rem            1 bins  time:  0.00 s
21.19/5.55	c subs with bin:      286  lits-rem:      1134  v-fix:    0  time:  0.06 s
21.19/5.55	c Removed useless bin:       3  fixed:     0  bprops:   0.01M  time:  0.00 s
24.36/6.34	c lits-rem:      4675  cl-subs:     2738  v-elim:    401  v-fix:    0  time:  3.16 s
24.36/6.34	c learnt bin added due to v-elim: 0
24.36/6.35	c vivif2 --  cl tried    48522 cl shrink        0 lits rem          0 time: 0.02
24.36/6.35	c vivif2 --  cl tried    14730 cl shrink        0 lits rem          0 time: 0.01
24.76/6.43	c asymm  cl-useful: 0/3021/48522 lits-rem:0 time: 0.32
24.76/6.43	c calculated reachability. Time: 0.00
24.76/6.43	c  N dy   302     46253       401     48522       872     14730    290496    116225     15.24     12.55  --
25.57/6.63	c  N dy   330     50330       401     48522       872     18734    290489    192570     18.39     12.62  --
26.35/6.82	c  N dy   358     54460       401     48522       872     22773    290487    269734     20.64     12.73  --
27.15/7.04	c  N dy   386     58473       401     48522       872     26701    290487    345858     16.89     12.83  --
27.95/7.28	c  N dy   414     62477       401     48522       872     30628    290487    417323     17.32     12.85  --
29.15/7.54	c  N dy   442     66522       401     48522       872     34595    290485    496029     17.85     12.96  --
29.97/7.76	c  S st   462     69380       401     48522       872     19153    290481    151501     21.14     13.03  --
30.34/7.81	c  S st   462     69881       401     48522       872     19642    290479    158281     21.14     13.03  --
30.34/7.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30.34/7.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.74/7.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.8M T:  0.36
30.74/7.90	c Calc non-exist non-lernt bins v-fix:     0 done:    401 time:  0.00 s
30.74/7.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.74/7.91	c Subs w/ non-existent bins:      0 time:  0.03 s
30.74/7.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.74/7.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
30.74/7.93	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
34.74/8.97	c ORs :     12 avg-s:  2.0 cl-sh:   300 l-rem:    300 b-add:      0 v-rep:   0 cl-rem: 980 avg s: 6.4 T:    0.08
37.14/9.50	c Added 5 vars  tried: 80000 time: 2.12
37.14/9.51	c ORs :      5 avg-s:  0.0 cl-sh:   541 l-rem:    541 b-add:     10 v-rep:   0 cl-rem: 50 avg s: 6.6 T:    2.13
37.14/9.51	c lits-rem:      1612  cl-subs:      860  v-elim:    401  v-fix:    0  time:  6.34 s
37.14/9.51	c learnt bin added due to v-elim: 0
37.14/9.52	c vivif2 --  cl tried    47443 cl shrink        0 lits rem          0 time: 0.02
37.14/9.52	c vivif2 --  cl tried    18836 cl shrink        0 lits rem          0 time: 0.01
37.54/9.61	c asymm  cl-useful: 0/3760/47443 lits-rem:0 time: 0.33
37.54/9.61	c calculated reachability. Time: 0.00
37.54/9.61	c  N dy   462     69881       406     47443       882     18836    283269    149002     21.14     13.03  --
37.54/9.61	c  F st   462     69881       406     47443       882     18836    283269    149002     21.14     13.03  --
37.54/9.69	c Decided on static restart strategy
38.35/9.82	c  N dy   485     74404       406     47443       885     23276    283267    236104     16.95     13.14  --
46.33/11.81	c  N dy   493    104821       406     47443       887     32307    283259    475116     31.34     14.22  --
46.33/11.84	c  S st   493    104821       406     47443       887     32307    283259    475116     31.34     14.22  --
46.73/11.92	c  S st   493    105324       406     47443       887     32825    283259    480907     31.34     14.22  --
46.73/11.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.73/11.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.14/12.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      9 BRemL:      0 BRemN:      0 CBin:       0 P: 11.6M T:  0.61
47.14/12.08	c Calc non-exist non-lernt bins v-fix:     0 done:    406 time:  0.01 s
47.14/12.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.14/12.09	c Subs w/ non-existent bins:      8 time:  0.05 s
47.55/12.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.55/12.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
47.55/12.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
56.33/14.35	c ORs :     16 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 4.0 T:    0.02
56.33/14.36	c lits-rem:      5871  cl-subs:     3632  v-elim:    538  v-fix:    0  time:  8.92 s
56.33/14.36	c learnt bin added due to v-elim: 0
56.33/14.37	c vivif2 --  cl tried    46743 cl shrink       14 lits rem         14 time: 0.02
56.33/14.37	c vivif2 --  cl tried    29897 cl shrink        0 lits rem          0 time: 0.02
56.71/14.43	c asymm  cl-useful: 1/2575/46729 lits-rem:1 time: 0.24
56.71/14.43	c calculated reachability. Time: 0.00
56.71/14.43	c  N dy   493    105324       405     46729       894     29897    278209    405199     31.34     14.22  --
58.31/14.89	c  N dy   541    112096       405     46729       894     36552    278207    526799     16.69     14.16  --
60.73/15.46	c  N dy   591    119363       405     46729       894     21919    278206    153360     20.69     14.17  --
62.70/15.90	c  N dy   644    127090       405     46729       894     29477    278200    305364     19.85     14.17  --
64.72/16.43	c  N dy   701    135280       405     46729       895     37514    278196    462148     21.47     14.16  --
69.90/17.75	c  N dy   745    157987       405     46729       896     36568    278189    579418     33.16     14.31  --
69.90/17.78	c  S st   745    157987       405     46729       896     36568    278189    579418     33.16     14.31  --
70.30/17.86	c  S st   745    158492       405     46729       896     37063    278188    586462     33.16     14.31  --
70.30/17.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
70.30/17.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
71.10/18.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:     14 CBin:       0 P: 15.2M T:  0.88
71.10/18.09	c Calc non-exist non-lernt bins v-fix:     0 done:    405 time:  0.01 s
71.10/18.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
71.50/18.10	c Subs w/ non-existent bins:      5 time:  0.05 s
71.50/18.12	c bin-w-bin subsume rem           15 bins  time:  0.00 s
71.50/18.15	c subs with bin:      158  lits-rem:       212  v-fix:    0  time:  0.15 s
71.50/18.15	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
81.88/20.77	c ORs :     16 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 21 avg s: 5.0 T:    0.04
81.88/20.79	c lits-rem:      5905  cl-subs:     3404  v-elim:    400  v-fix:    0  time: 10.51 s
81.88/20.79	c learnt bin added due to v-elim: 0
81.88/20.79	c vivif2 --  cl tried    46526 cl shrink        0 lits rem          0 time: 0.02
81.88/20.80	c vivif2 --  cl tried    33678 cl shrink        0 lits rem          0 time: 0.03
82.30/20.85	c asymm  cl-useful: 0/1147/46526 lits-rem:0 time: 0.18
82.30/20.85	c calculated reachability. Time: 0.00
82.30/20.85	c  N dy   745    158492       405     46526       867     33678    276808    490464     33.16     14.31  --
119.82/30.25	c  N dy   754    237738       405     46526       867     33649    276806    372882     23.09     15.14  --
119.82/30.27	c  S st   754    237738       405     46526       867     33649    276806    372882     23.09     15.14  --
120.22/30.34	c  S st   754    238242       425     46526      1004     34240    276969    379979     23.09     15.14  --
120.22/30.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
120.22/30.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.02/30.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      2 BRemL:      2 BRemN:      3 CBin:       0 P: 17.0M T:  0.79
121.02/30.55	c Calc non-exist non-lernt bins v-fix:     0 done:    425 time:  0.00 s
121.02/30.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.02/30.56	c Subs w/ non-existent bins:     61 time:  0.05 s
121.02/30.56	c Replacing        1 vars Replaced       15 lits Time:     0.02 s 
121.02/30.57	c bin-w-bin subsume rem           38 bins  time:  0.00 s
121.02/30.59	c subs with bin:        6  lits-rem:       106  v-fix:    0  time:  0.08 s
121.02/30.60	c Removed useless bin:      53  fixed:     0  bprops:   0.01M  time:  0.00 s
127.01/32.09	c ORs :     16 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 5 avg s: 4.0 T:    0.03
127.41/32.11	c lits-rem:      6657  cl-subs:     2614  v-elim:    400  v-fix:    0  time:  6.04 s
127.41/32.11	c learnt bin added due to v-elim: 0
127.41/32.11	c vivif2 --  cl tried    46405 cl shrink        0 lits rem          0 time: 0.02
127.41/32.12	c vivif2 --  cl tried    31675 cl shrink        0 lits rem          0 time: 0.03
127.41/32.17	c asymm  cl-useful: 0/878/46405 lits-rem:0 time: 0.22
127.41/32.18	c calculated reachability. Time: 0.00
127.41/32.18	c  N dy   754    238242       424     46405       908     31675    276114    319882     23.09     15.14  --
168.16/42.38	c  N dy   772    357363       428     46405       928     33949    276134    324981     33.20     16.06  --
168.56/42.40	c  S st   772    357363       428     46405       928     33949    276134    324981     33.20     16.06  --
168.56/42.47	c  S st   772    357864       443     46405       969     34475    276200    332280     33.20     16.06  --
168.56/42.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
168.56/42.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
169.36/42.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      2 BRemL:      1 BRemN:      8 CBin:       0 P: 18.8M T:  0.83
169.36/42.68	c Calc non-exist non-lernt bins v-fix:     0 done:    443 time:  0.01 s
169.36/42.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
169.36/42.69	c Subs w/ non-existent bins:      0 time:  0.05 s
169.76/42.71	c Replacing        4 vars Replaced      383 lits Time:     0.05 s 
169.76/42.72	c bin-w-bin subsume rem            8 bins  time:  0.00 s
169.76/42.73	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  0.06 s
169.76/42.74	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
175.75/44.26	c ORs :     16 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 4.2 T:    0.02
175.75/44.28	c lits-rem:      6008  cl-subs:     1673  v-elim:    399  v-fix:    0  time:  6.15 s
175.75/44.28	c learnt bin added due to v-elim: 0
175.75/44.28	c vivif2 --  cl tried    45420 cl shrink        0 lits rem          0 time: 0.02
175.75/44.29	c vivif2 --  cl tried    31886 cl shrink        0 lits rem          0 time: 0.02
176.15/44.34	c asymm  cl-useful: 0/952/45420 lits-rem:0 time: 0.22
176.15/44.34	c calculated reachability. Time: 0.00
176.15/44.34	c  N dy   772    357864       439     45420       924     31886    269269    292644     33.20     16.06  --
259.64/65.28	c  N dy   892    536797       439     45420       924     40917    269267    498367     48.72     20.81  --
260.04/65.30	c  S st   892    536797       439     45420       924     40917    269267    498367     48.72     20.81  --
260.04/65.39	c  S st   892    537297       439     45420       926     41426    269267    504797     48.72     20.81  --
260.44/65.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
260.44/65.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
261.24/65.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 22.7M T:  1.11
261.24/65.68	c Calc non-exist non-lernt bins v-fix:     0 done:    439 time:  0.01 s
261.24/65.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
261.24/65.69	c Subs w/ non-existent bins:      0 time:  0.06 s
261.64/65.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
261.64/65.74	c subs with bin:       41  lits-rem:       327  v-fix:    0  time:  0.15 s
261.64/65.74	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
272.02/68.36	c ORs :     16 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 26 avg s: 10.5 T:    0.04
277.61/69.70	c Added 5 vars  tried: 80000 time: 5.37
277.61/69.73	c ORs :      5 avg-s:  0.0 cl-sh:  4714 l-rem:   4714 b-add:     10 v-rep:   0 cl-rem: 6 avg s: 4.7 T:    5.47
277.61/69.74	c lits-rem:      2574  cl-subs:     2193  v-elim:    399  v-fix:    0  time: 15.97 s
277.61/69.74	c learnt bin added due to v-elim: 0
277.61/69.75	c vivif2 --  cl tried    45382 cl shrink        0 lits rem          0 time: 0.02
277.61/69.76	c vivif2 --  cl tried    39203 cl shrink        0 lits rem          0 time: 0.04
278.01/69.82	c asymm  cl-useful: 1/522/45382 lits-rem:1 time: 0.24
278.01/69.82	c calculated reachability. Time: 0.00
278.01/69.82	c  N dy   892    537297       444     45382       936     39203    269049    436734     48.72     20.81  --
278.01/69.82	c  F st   892    537297       444     45382       936     39203    269049    436734     48.72     20.81  --
278.81/70.01	c Decided on static restart strategy
447.00/112.15	c  N dy   952    805946       444     45382       936     70296    269044   1558511     45.99     21.85  --
447.41/112.22	c  S st   952    805946       444     45382       936     70296    269044   1558511     45.99     21.85  --
447.78/112.37	c  S st   952    806451       464     45382      1004     70886    269139   1564313     45.99     21.85  --
447.78/112.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
447.78/112.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
451.80/113.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 48.3M T:  3.85
451.80/113.35	c Calc non-exist non-lernt bins v-fix:     0 done:    464 time:  0.01 s
451.80/113.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
451.80/113.38	c Subs w/ non-existent bins:      0 time:  0.11 s
451.80/113.39	c Replacing        4 vars Replaced      445 lits Time:     0.04 s 
452.17/113.42	c bin-w-bin subsume rem            8 bins  time:  0.00 s
452.97/113.65	c subs with bin:        7  lits-rem:      5132  v-fix:    0  time:  0.94 s
452.97/113.65	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
481.74/120.83	c ORs :     21 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 37 avg s: 20.5 T:    0.18
481.74/120.87	c lits-rem:      2639  cl-subs:     4052  v-elim:    399  v-fix:    0  time: 28.81 s
481.74/120.87	c learnt bin added due to v-elim: 0
481.74/120.87	c vivif2 --  cl tried    45372 cl shrink        0 lits rem          0 time: 0.03
481.74/120.90	c vivif2 --  cl tried    66800 cl shrink        0 lits rem          0 time: 0.09
482.15/120.99	c asymm  cl-useful: 0/227/45372 lits-rem:0 time: 0.39
482.15/121.00	c calculated reachability. Time: 0.00
482.15/121.00	c  N dy   952    806451       460     45372       980     66800    269060   1393733     45.99     21.85  --
739.79/185.47	c  N dy   976   1209676       460     45372       981     96551    269059   2741439     52.68     21.02  --
740.59/185.60	c  S st   976   1209676       460     45372       981     96551    269059   2741439     52.68     21.02  --
740.99/185.77	c  S st   976   1210178       470     45372      1025     97096    269123   2749003     52.68     21.02  --
740.99/185.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
740.99/185.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
744.98/186.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 44.2M T:  3.88
744.98/186.75	c Calc non-exist non-lernt bins v-fix:     0 done:    470 time:  0.02 s
744.98/186.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
744.98/186.79	c Subs w/ non-existent bins:      0 time:  0.18 s
745.38/186.81	c Replacing        6 vars Replaced      556 lits Time:     0.06 s 
745.38/186.86	c bin-w-bin subsume rem           12 bins  time:  0.00 s
746.19/187.06	c subs with bin:        7  lits-rem:         0  v-fix:    0  time:  0.79 s
746.19/187.06	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
997.83/250.02	c ORs :     21 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 28 avg s: 41.5 T:    0.26
997.83/250.06	c lits-rem:       638  cl-subs:    21946  v-elim:    415  v-fix:    0  time: 251.64 s
997.83/250.06	c learnt bin added due to v-elim: 0
997.83/250.07	c vivif2 --  cl tried    45365 cl shrink        0 lits rem          0 time: 0.03
998.23/250.10	c vivif2 --  cl tried    75122 cl shrink        1 lits rem          5 time: 0.13
998.63/250.20	c asymm  cl-useful: 0/177/45365 lits-rem:0 time: 0.39
998.63/250.20	c calculated reachability. Time: 0.00
998.63/250.20	c  N dy   976   1210178       464     45365       989     75122    269040   1881456     52.68     21.02  --
1562.26/391.36	c  N dy   977   1710178       464     45365       989     81202    269038   1877541     70.39     24.48  --
1562.66/391.43	c  S st   977   1710178       464     45365       989     81202    269038   1877541     70.39     24.48  --
1562.66/391.43	c Finding binary XORs  T:     0.00 s  found:       5
1562.66/391.44	c Replacing        5 vars Replaced       76 lits Time:     0.03 s 
1563.48/391.63	c  S st   977   1710679       479     45365      1035     81806    269118   1884101     70.39     24.48  --
1563.48/391.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1563.48/391.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1567.05/392.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      1 BRemN:      0 CBin:       0 P: 46.9M T:  3.61
1567.05/392.55	c Calc non-exist non-lernt bins v-fix:     0 done:    479 time:  0.01 s
1567.05/392.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1567.05/392.58	c Subs w/ non-existent bins:      0 time:  0.14 s
1567.47/392.62	c bin-w-bin subsume rem           10 bins  time:  0.00 s
1567.87/392.74	c subs with bin:      139  lits-rem:       237  v-fix:    0  time:  0.48 s
1567.87/392.74	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1618.59/405.40	c ORs :     21 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 29 avg s: 16.9 T:    0.18
1658.53/415.49	c Added 5 vars  tried: 80000 time: 40.30
1662.12/416.35	c ORs :      5 avg-s:  0.0 cl-sh: 36077 l-rem:  36077 b-add:     11 v-rep:   0 cl-rem: 3 avg s: 4.7 T:   43.73
1662.12/416.39	c lits-rem:      2270  cl-subs:     3857  v-elim:    399  v-fix:    0  time: 94.47 s
1662.12/416.39	c learnt bin added due to v-elim: 0
1662.12/416.39	c vivif2 --  cl tried    45253 cl shrink        0 lits rem          0 time: 0.03
1662.52/416.42	c vivif2 --  cl tried    77894 cl shrink        1 lits rem          1 time: 0.12
1662.92/416.51	c asymm  cl-useful: 0/286/45253 lits-rem:0 time: 0.36
1662.92/416.52	c calculated reachability. Time: 0.00
1662.92/416.52	c  N dy   977   1710679       484     45253      1035     77894    268230   1667706     70.39     24.48  --
1674.90/419.55	c  N dy  1118   1730746       484     45253      1039     97742    268232   2320710     38.39     24.47  --
2260.50/566.14	c  N dy  1131   2210679       484     45253      1039     69674    268231    716740     38.48     25.80  --
2260.50/566.17	c  S st  1131   2210679       484     45253      1039     69674    268231    716740     38.48     25.80  --
2261.30/566.31	c  S st  1131   2211182       499     45253      1083     70262    268299    723340     38.48     25.80  --
2261.30/566.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2261.30/566.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2263.30/566.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 41.5M T:  2.14
2263.30/566.85	c Calc non-exist non-lernt bins v-fix:     0 done:    498 time:  0.01 s
2263.30/566.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2263.30/566.87	c Subs w/ non-existent bins:      0 time:  0.09 s
2263.30/566.89	c Replacing        2 vars Replaced       75 lits Time:     0.06 s 
2263.70/566.91	c bin-w-bin subsume rem            4 bins  time:  0.00 s
2263.70/566.96	c subs with bin:       55  lits-rem:       188  v-fix:    0  time:  0.18 s
2263.70/566.96	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
2276.88/570.29	c ORs :     26 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 19 avg s: 8.9 T:    0.10
2277.28/570.31	c lits-rem:      3170  cl-subs:     1911  v-elim:    398  v-fix:    0  time: 13.40 s
2277.28/570.31	c learnt bin added due to v-elim: 0
2277.28/570.32	c vivif2 --  cl tried    44594 cl shrink        0 lits rem          0 time: 0.03
2277.28/570.33	c vivif2 --  cl tried    68156 cl shrink        1 lits rem          1 time: 0.07
2277.68/570.41	c asymm  cl-useful: 0/401/44594 lits-rem:0 time: 0.30
2277.68/570.41	c calculated reachability. Time: 0.00
2277.68/570.41	c  N dy  1131   2211182       496     44594      1055     68156    263461    680334     38.48     25.80  --
2290.07/573.58	c  N dy  1272   2231259       496     44594      1055     87896    263461   1258084     23.27     25.74  --
2731.06/683.98	c  N dy  1389   2711183       514     44594      1107    142276    263544   3674879     48.67     24.56  --
2731.88/684.17	c  S st  1389   2711183       514     44594      1107    142276    263544   3674879     48.67     24.56  --
2733.46/684.55	c  S st  1389   2711685       538     44594      1188    142843    263664   3681031     48.67     24.56  --
2733.46/684.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2733.46/684.56	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
2738.65/685.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bin:      0 BRemL:      5 BRemN:      0 CBin:       0 P: 60.1M T:  5.32
2738.65/685.90	c Calc non-exist non-lernt bins v-fix:     0 done:    538 time:  0.02 s
2738.65/685.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2739.05/685.97	c Subs w/ non-existent bins:      0 time:  0.28 s
2741.85/686.67	c Replacing       10 vars Replaced    41210 lits Time:     2.82 s 
2742.25/686.74	c bin-w-bin subsume rem           20 bins  time:  0.00 s
2743.04/686.94	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.79 s
2743.04/686.94	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
3091.77/774.27	c ORs :     26 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 9 avg s: 6.2 T:    0.47
3147.30/788.19	c Added 6 vars  tried: 80000 time: 55.57
3164.47/792.46	c ORs :      6 avg-s:  0.0 cl-sh: 92297 l-rem:  92297 b-add:     13 v-rep:   0 cl-rem: 3 avg s: 4.7 T:   72.63
3164.87/792.52	c lits-rem:      5136  cl-subs:    16718  v-elim:    421  v-fix:    0  time: 421.70 s
3164.87/792.52	c learnt bin added due to v-elim: 0
3164.87/792.52	c vivif2 --  cl tried    44595 cl shrink        0 lits rem          0 time: 0.03
3164.87/792.59	c vivif2 --  cl tried   126115 cl shrink        1 lits rem          2 time: 0.25
3165.27/792.68	c asymm  cl-useful: 0/403/44595 lits-rem:0 time: 0.37
3165.27/792.69	c calculated reachability. Time: 0.00
3165.27/792.69	c  N dy  1389   2711685       534     44595      1138    126115    263532   3015488     48.67     24.56  --
3165.27/792.69	c  F st  1389   2711685       534     44595      1138    126115    263532   3015488     48.67     24.56  --
3168.06/793.35	c Decided on static restart strategy
3772.05/944.51	c  N dy  1408   3211686       534     44595      1139     89277    263530   1425184     57.53     25.91  --
3772.05/944.58	c  S st  1408   3211686       534     44595      1139     89277    263530   1425184     57.53     25.91  --
3772.05/944.58	c Finding binary XORs  T:     0.00 s  found:       1
3772.85/944.77	c  S st  1408   3212190       534     44595      1139     89784    263530   1431221     57.53     25.91  --
3772.85/944.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3772.85/944.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3776.44/945.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 51.9M T:  3.31
3776.44/945.61	c Calc non-exist non-lernt bins v-fix:     0 done:    534 time:  0.01 s
3776.44/945.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3776.44/945.65	c Subs w/ non-existent bins:      0 time:  0.15 s
3776.44/945.66	c Replacing        1 vars Replaced      282 lits Time:     0.04 s 
3776.44/945.69	c bin-w-bin subsume rem            2 bins  time:  0.00 s
3777.24/945.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.45 s
3777.24/945.80	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
3806.79/953.21	c ORs :     32 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 10.0 T:    0.27
3806.79/953.24	c lits-rem:      4691  cl-subs:     4142  v-elim:    398  v-fix:    0  time: 29.71 s
3806.79/953.24	c learnt bin added due to v-elim: 0
3806.79/953.25	c vivif2 --  cl tried    44594 cl shrink        0 lits rem          0 time: 0.03
3806.79/953.28	c vivif2 --  cl tried    85642 cl shrink        1 lits rem          1 time: 0.12
3807.19/953.36	c asymm  cl-useful: 0/275/44594 lits-rem:0 time: 0.32
3807.19/953.36	c calculated reachability. Time: 0.00
3807.19/953.36	c  N dy  1408   3212190       533     44594      1135     85642    263519   1229443     57.53     25.91  --
4446.71/1113.48	c  N dy  1410   3712192       533     44594      1135     85094    263517    717725     51.61     26.01  --
4447.11/1113.52	c  S st  1410   3712192       533     44594      1135     85094    263517    717725     51.61     26.01  --
4447.51/1113.67	c  S st  1410   3712696       557     44594      1207     85691    263633    724843     51.61     26.01  --
4447.51/1113.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4447.51/1113.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4450.33/1114.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:      0 BRemL:      1 BRemN:      0 CBin:       0 P: 52.8M T:  2.70
4450.33/1114.36	c Calc non-exist non-lernt bins v-fix:     0 done:    557 time:  0.01 s
4450.33/1114.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4450.33/1114.38	c Subs w/ non-existent bins:      0 time:  0.11 s
4450.33/1114.40	c Replacing        5 vars Replaced      766 lits Time:     0.04 s 
4450.70/1114.42	c bin-w-bin subsume rem           10 bins  time:  0.00 s
4450.70/1114.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
4450.70/1114.45	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
4462.29/1117.36	c ORs :     32 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 8 avg s: 5.0 T:    0.12
4462.29/1117.38	c lits-rem:      3417  cl-subs:     3134  v-elim:    398  v-fix:    0  time: 11.73 s
4462.29/1117.38	c learnt bin added due to v-elim: 0
4462.29/1117.39	c vivif2 --  cl tried    44556 cl shrink        0 lits rem          0 time: 0.03
4462.69/1117.41	c vivif2 --  cl tried    82587 cl shrink        1 lits rem          2 time: 0.08
4462.69/1117.48	c asymm  cl-useful: 0/293/44556 lits-rem:0 time: 0.29
4462.69/1117.49	c calculated reachability. Time: 0.00
4462.69/1117.49	c  N dy  1410   3712696       552     44556      1176     82587    263391    681475     51.61     26.01  --

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-3257621-1304034062/watcher-3257621-1304034062 -o /tmp/evaluation-result-3257621-1304034062/solver-3257621-1304034062 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3257621-1304034062.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: 7.36 7.87 7.63 6/180 13871
/proc/meminfo: memFree=24786208/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=50420 CPUtime=0 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 907 0 0 0 0 0 0 0 25 0 1 0 495822485 51630080 838 33554432000 4194304 4797429 140736368030992 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13871/statm: 12605 838 348 148 0 7534 0

[startup+0.0527061 s]
/proc/loadavg: 7.36 7.87 7.63 6/180 13871
/proc/meminfo: memFree=24786208/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=54888 CPUtime=0.04 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 2836 0 0 0 4 0 0 0 25 0 1 0 495822485 56205312 2751 33554432000 4194304 4797429 140736368030992 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13871/statm: 13722 2751 349 148 0 8651 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 54888

[startup+0.1007 s]
/proc/loadavg: 7.36 7.87 7.63 6/180 13871
/proc/meminfo: memFree=24786208/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=59428 CPUtime=0.09 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 4833 0 0 0 9 0 0 0 25 0 1 0 495822485 60854272 4649 33554432000 4194304 4797429 140736368030992 18446744073709551615 4358744 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13871/statm: 14857 4651 349 148 0 9786 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59428

[startup+0.300619 s]
/proc/loadavg: 7.36 7.87 7.63 6/180 13871
/proc/meminfo: memFree=24786208/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=175076 CPUtime=0.4 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 12266 0 0 0 39 1 0 0 25 0 4 0 495822485 179277824 11191 33554432000 4194304 4797429 140736368030992 18446744073709551615 4345091 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 43769 11191 373 148 0 38698 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 175076

[startup+0.700548 s]
/proc/loadavg: 7.36 7.87 7.63 6/180 13871
/proc/meminfo: memFree=24786208/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=721004 CPUtime=2 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 25428 0 0 0 196 4 0 0 25 0 4 0 495822485 738308096 17617 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568003 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 180251 17617 405 148 0 175180 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 721004

[startup+1.50041 s]
/proc/loadavg: 7.36 7.87 7.63 10/184 13875
/proc/meminfo: memFree=24707064/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=724140 CPUtime=5.19 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 27193 0 0 0 515 4 0 0 25 0 4 0 495822485 741519360 19154 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424812 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 181035 19154 422 148 0 175964 0
[pid=13871/tid=13873] ppid=13869 vsize=724140 CPUtime=1.22 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 3954 0 0 0 122 0 0 0 19 0 4 0 495822511 741519360 19154 33554432000 4194304 4797429 140736368030992 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=724140 CPUtime=1.22 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 3810 0 0 0 122 0 0 0 19 0 4 0 495822511 741519360 19154 33554432000 4194304 4797429 140736368030992 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=724140 CPUtime=1.22 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 3502 0 0 0 122 0 0 0 25 0 4 0 495822511 741519360 19154 33554432000 4194304 4797429 140736368030992 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 724140

[startup+3.10112 s]
/proc/loadavg: 7.36 7.87 7.63 9/184 13875
/proc/meminfo: memFree=24701620/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=724448 CPUtime=11.58 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 29260 0 0 0 1153 5 0 0 25 0 4 0 495822485 741834752 19761 33554432000 4194304 4797429 140736368030992 18446744073709551615 4523996 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 181112 19761 420 148 0 176041 0
[pid=13871/tid=13873] ppid=13869 vsize=724448 CPUtime=2.82 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 4140 0 0 0 282 0 0 0 23 0 4 0 495822511 741834752 19761 33554432000 4194304 4797429 140736368030992 18446744073709551615 4524974 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=724448 CPUtime=2.82 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 3856 0 0 0 282 0 0 0 23 0 4 0 495822511 741834752 19761 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=724448 CPUtime=2.81 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 3702 0 0 0 281 0 0 0 25 0 4 0 495822511 741834752 19761 33554432000 4194304 4797429 140736368030992 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 724448

[startup+6.30055 s]
/proc/loadavg: 7.41 7.87 7.64 9/184 13875
/proc/meminfo: memFree=24691768/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=727216 CPUtime=24.36 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 31177 0 0 0 2431 5 0 0 25 0 4 0 495822485 744669184 20462 33554432000 4194304 4797429 140736368030992 18446744073709551615 4567765 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 181804 20462 422 148 0 176733 0
[pid=13871/tid=13873] ppid=13869 vsize=727216 CPUtime=6.02 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 4233 0 0 0 602 0 0 0 25 0 4 0 495822511 744669184 20462 33554432000 4194304 4797429 140736368030992 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=727216 CPUtime=6.02 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 3961 0 0 0 602 0 0 0 25 0 4 0 495822511 744669184 20462 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=727216 CPUtime=6 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 3761 0 0 0 600 0 0 0 25 0 4 0 495822511 744669184 20462 33554432000 4194304 4797429 140736368030992 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.36
Current children cumulated vsize (KiB) 727216

[startup+12.7004 s]
/proc/loadavg: 7.46 7.87 7.64 9/184 13875
/proc/meminfo: memFree=24680500/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=729820 CPUtime=49.92 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 35106 0 0 0 4986 6 0 0 25 0 4 0 495822485 747335680 22093 33554432000 4194304 4797429 140736368030992 18446744073709551615 4524484 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 182455 22093 423 148 0 177384 0
[pid=13871/tid=13873] ppid=13869 vsize=729820 CPUtime=12.43 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 4306 0 0 0 1242 1 0 0 25 0 4 0 495822511 747335680 22093 33554432000 4194304 4797429 140736368030992 18446744073709551615 4495571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=729820 CPUtime=12.42 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 4088 0 0 0 1242 0 0 0 25 0 4 0 495822511 747335680 22093 33554432000 4194304 4797429 140736368030992 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=729820 CPUtime=12.36 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 3850 0 0 0 1236 0 0 0 25 0 4 0 495822511 747335680 22093 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (KiB) 729820

[startup+25.5011 s]
/proc/loadavg: 7.58 7.88 7.64 9/184 13875
/proc/meminfo: memFree=24674040/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=727888 CPUtime=101.06 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 43423 0 0 0 10098 8 0 0 25 0 4 0 495822485 745357312 22110 33554432000 4194304 4797429 140736368030992 18446744073709551615 212039352006 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 181972 22111 422 148 0 176901 0
[pid=13871/tid=13873] ppid=13869 vsize=727888 CPUtime=25.23 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 5317 0 0 0 2522 1 0 0 25 0 4 0 495822511 745357312 22111 33554432000 4194304 4797429 140736368030992 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=727888 CPUtime=25.22 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 5011 0 0 0 2522 0 0 0 25 0 4 0 495822511 745357312 22111 33554432000 4194304 4797429 140736368030992 18446744073709551615 4526784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=727888 CPUtime=25.09 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 4593 0 0 0 2509 0 0 0 25 0 4 0 495822511 745357312 22112 33554432000 4194304 4797429 140736368030992 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.06
Current children cumulated vsize (KiB) 727888

[startup+51.1005 s]
/proc/loadavg: 7.72 7.89 7.65 9/184 13876
/proc/meminfo: memFree=24652296/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=733300 CPUtime=203.31 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 60770 0 0 0 20318 13 0 0 25 0 4 0 495822485 750899200 24812 33554432000 4194304 4797429 140736368030992 18446744073709551615 4345032 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 183325 24812 422 148 0 178254 0
[pid=13871/tid=13873] ppid=13869 vsize=733300 CPUtime=50.83 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 6349 0 0 0 5082 1 0 0 25 0 4 0 495822511 750899200 24812 33554432000 4194304 4797429 140736368030992 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=733300 CPUtime=50.83 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 6072 0 0 0 5082 1 0 0 25 0 4 0 495822511 750899200 24812 33554432000 4194304 4797429 140736368030992 18446744073709551615 4358674 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=733300 CPUtime=50.56 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 5448 0 0 0 5055 1 0 0 25 0 4 0 495822511 750899200 24812 33554432000 4194304 4797429 140736368030992 18446744073709551615 4428984 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.31
Current children cumulated vsize (KiB) 733300

[startup+102.306 s]
/proc/loadavg: 7.91 7.92 7.67 9/184 13877
/proc/meminfo: memFree=24636888/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=739000 CPUtime=407.86 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 88030 0 0 0 40764 22 0 0 25 0 4 0 495822485 756736000 26888 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 184750 26888 422 148 0 179679 0
[pid=13871/tid=13873] ppid=13869 vsize=739000 CPUtime=102.03 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 7876 0 0 0 10201 2 0 0 25 0 4 0 495822511 756736000 26888 33554432000 4194304 4797429 140736368030992 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=739000 CPUtime=102.03 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 7464 0 0 0 10202 1 0 0 25 0 4 0 495822511 756736000 26888 33554432000 4194304 4797429 140736368030992 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=739000 CPUtime=101.49 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 6672 0 0 0 10148 1 0 0 25 0 4 0 495822511 756736000 26888 33554432000 4194304 4797429 140736368030992 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.86
Current children cumulated vsize (KiB) 739000

[startup+162.301 s]
/proc/loadavg: 8.11 7.97 7.70 9/184 13879
/proc/meminfo: memFree=24605476/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=745616 CPUtime=647.51 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 110756 0 0 0 64722 29 0 0 25 0 4 0 495822485 763510784 31386 33554432000 4194304 4797429 140736368030992 18446744073709551615 4351621 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 186404 31386 422 148 0 181333 0
[pid=13871/tid=13873] ppid=13869 vsize=745616 CPUtime=162.03 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 9132 0 0 0 16201 2 0 0 25 0 4 0 495822511 763510784 31386 33554432000 4194304 4797429 140736368030992 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=745616 CPUtime=162.03 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 9021 0 0 0 16201 2 0 0 25 0 4 0 495822511 763510784 31386 33554432000 4194304 4797429 140736368030992 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=745616 CPUtime=161.16 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 8864 0 0 0 16114 2 0 0 25 0 4 0 495822511 763510784 31386 33554432000 4194304 4797429 140736368030992 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.51
Current children cumulated vsize (KiB) 745616

[startup+222.301 s]
/proc/loadavg: 8.22 8.02 7.74 9/184 13880
/proc/meminfo: memFree=24581128/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=753660 CPUtime=887.18 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 128682 0 0 0 88684 34 0 0 25 0 4 0 495822485 771747840 36983 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 188415 36983 423 148 0 183344 0
[pid=13871/tid=13873] ppid=13869 vsize=753660 CPUtime=222.02 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 11597 0 0 0 22200 2 0 0 25 0 4 0 495822511 771747840 36983 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=753660 CPUtime=222.03 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 11772 0 0 0 22200 3 0 0 25 0 4 0 495822511 771747840 36983 33554432000 4194304 4797429 140736368030992 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=753660 CPUtime=220.83 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 10517 0 0 0 22081 2 0 0 25 0 4 0 495822511 771747840 36983 33554432000 4194304 4797429 140736368030992 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.18
Current children cumulated vsize (KiB) 753660

[startup+282.3 s]

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

[pid=13871] ppid=13869 vsize=771888 CPUtime=2804.56 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 269784 0 0 0 280366 90 0 0 25 0 4 0 495822485 790413312 46887 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 192972 46887 429 148 0 187901 0
[pid=13871/tid=13873] ppid=13869 vsize=771888 CPUtime=702.02 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 21835 0 0 0 70196 6 0 0 25 0 4 0 495822511 790413312 46887 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=771888 CPUtime=702.04 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 22174 0 0 0 70196 8 0 0 25 0 4 0 495822511 790413312 46887 33554432000 4194304 4797429 140736368030992 18446744073709551615 4430083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=771888 CPUtime=698.23 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 21377 0 0 0 69816 7 0 0 25 0 4 0 495822511 790413312 46887 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.56
Current children cumulated vsize (KiB) 771888

[startup+762.306 s]
/proc/loadavg: 8.06 8.03 7.85 9/184 13895
/proc/meminfo: memFree=24499908/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=773560 CPUtime=3044.26 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 274221 0 0 0 304334 92 0 0 25 0 4 0 495822485 792125440 47388 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 193390 47388 429 148 0 188319 0
[pid=13871/tid=13873] ppid=13869 vsize=773560 CPUtime=762.04 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 23334 0 0 0 76197 7 0 0 25 0 4 0 495822511 792125440 47388 33554432000 4194304 4797429 140736368030992 18446744073709551615 4428734 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=773560 CPUtime=762.05 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 23503 0 0 0 76197 8 0 0 25 0 4 0 495822511 792125440 47388 33554432000 4194304 4797429 140736368030992 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=773560 CPUtime=757.91 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 22986 0 0 0 75783 8 0 0 25 0 4 0 495822511 792125440 47388 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.26
Current children cumulated vsize (KiB) 773560

[startup+822.301 s]
/proc/loadavg: 8.02 8.02 7.85 9/184 13896
/proc/meminfo: memFree=24498372/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=777892 CPUtime=3283.9 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 289823 0 0 0 328291 99 0 0 25 0 4 0 495822485 796561408 48137 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 194473 48137 429 148 0 189402 0
[pid=13871/tid=13873] ppid=13869 vsize=777892 CPUtime=822.02 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 24469 0 0 0 82195 7 0 0 25 0 4 0 495822511 796561408 48137 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=777892 CPUtime=822.04 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 24554 0 0 0 82196 8 0 0 25 0 4 0 495822511 796561408 48137 33554432000 4194304 4797429 140736368030992 18446744073709551615 4509659 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=777892 CPUtime=817.58 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 24545 0 0 0 81750 8 0 0 25 0 4 0 495822511 796561408 48137 33554432000 4194304 4797429 140736368030992 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.9
Current children cumulated vsize (KiB) 777892

[startup+882.301 s]
/proc/loadavg: 8.01 8.02 7.86 9/184 13898
/proc/meminfo: memFree=24479236/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=781088 CPUtime=3523.58 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 309665 0 0 0 352249 109 0 0 25 0 4 0 495822485 799834112 52250 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 195272 52250 429 148 0 190201 0
[pid=13871/tid=13873] ppid=13869 vsize=781088 CPUtime=882.02 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 25755 0 0 0 88194 8 0 0 25 0 4 0 495822511 799834112 52250 33554432000 4194304 4797429 140736368030992 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=781088 CPUtime=882.05 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 25741 0 0 0 88196 9 0 0 25 0 4 0 495822511 799834112 52250 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=781088 CPUtime=877.27 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 25085 0 0 0 87718 9 0 0 25 0 4 0 495822511 799834112 52250 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.58
Current children cumulated vsize (KiB) 781088

[startup+942.3 s]
/proc/loadavg: 8.11 8.04 7.88 9/184 13900
/proc/meminfo: memFree=24469252/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=782792 CPUtime=3763.26 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 329416 0 0 0 376208 118 0 0 25 0 4 0 495822485 801579008 53425 33554432000 4194304 4797429 140736368030992 18446744073709551615 4345115 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 195698 53425 429 148 0 190627 0
[pid=13871/tid=13873] ppid=13869 vsize=782792 CPUtime=942.02 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 27114 0 0 0 94193 9 0 0 25 0 4 0 495822511 801579008 53425 33554432000 4194304 4797429 140736368030992 18446744073709551615 4425824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=782792 CPUtime=942.04 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 26892 0 0 0 94195 9 0 0 25 0 4 0 495822511 801579008 53425 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=782792 CPUtime=936.94 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 26280 0 0 0 93685 9 0 0 25 0 4 0 495822511 801579008 53425 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.26
Current children cumulated vsize (KiB) 782792

[startup+1002.3 s]
/proc/loadavg: 8.08 8.05 7.89 9/184 13901
/proc/meminfo: memFree=24480376/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=787344 CPUtime=4002.92 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 348047 0 0 0 400167 125 0 0 25 0 4 0 495822485 806240256 49751 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 196836 49751 429 148 0 191765 0
[pid=13871/tid=13873] ppid=13869 vsize=787344 CPUtime=1002.02 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 28402 0 0 0 100193 9 0 0 25 0 4 0 495822511 806240256 49751 33554432000 4194304 4797429 140736368030992 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=787344 CPUtime=1002.04 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 28347 0 0 0 100194 10 0 0 25 0 4 0 495822511 806240256 49751 33554432000 4194304 4797429 140736368030992 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=787344 CPUtime=996.61 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 27437 0 0 0 99652 9 0 0 25 0 4 0 495822511 806240256 49751 33554432000 4194304 4797429 140736368030992 18446744073709551615 4523971 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.92
Current children cumulated vsize (KiB) 787344

[startup+1062.3 s]
/proc/loadavg: 8.06 8.05 7.90 9/184 13903
/proc/meminfo: memFree=24467316/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=789584 CPUtime=4242.6 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 363459 0 0 0 424128 132 0 0 25 0 4 0 495822485 808534016 52651 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 197396 52651 429 148 0 192325 0
[pid=13871/tid=13873] ppid=13869 vsize=789584 CPUtime=1062.03 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 28890 0 0 0 106193 10 0 0 25 0 4 0 495822511 808534016 52651 33554432000 4194304 4797429 140736368030992 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=789584 CPUtime=1062.05 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 29003 0 0 0 106194 11 0 0 25 0 4 0 495822511 808534016 52651 33554432000 4194304 4797429 140736368030992 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=789584 CPUtime=1056.29 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 27902 0 0 0 105619 10 0 0 25 0 4 0 495822511 808534016 52651 33554432000 4194304 4797429 140736368030992 18446744073709551615 4519816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.6
Current children cumulated vsize (KiB) 789584

[startup+1122.3 s]
/proc/loadavg: 8.13 8.07 7.91 9/184 13904
/proc/meminfo: memFree=24468120/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=790680 CPUtime=4482.27 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 378730 0 0 0 448089 138 0 0 25 0 4 0 495822485 809656320 51742 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 197670 51742 429 148 0 192599 0
[pid=13871/tid=13873] ppid=13869 vsize=790680 CPUtime=1122.02 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 30168 0 0 0 112192 10 0 0 25 0 4 0 495822511 809656320 51742 33554432000 4194304 4797429 140736368030992 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=790680 CPUtime=1122.04 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 30164 0 0 0 112193 11 0 0 25 0 4 0 495822511 809656320 51742 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=790680 CPUtime=1115.96 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 29170 0 0 0 111586 10 0 0 25 0 4 0 495822511 809656320 51742 33554432000 4194304 4797429 140736368030992 18446744073709551615 4593466 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.27
Current children cumulated vsize (KiB) 790680

[startup+1182.3 s]
/proc/loadavg: 8.19 8.09 7.93 9/184 13906
/proc/meminfo: memFree=24465356/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=796328 CPUtime=4721.94 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 390782 0 0 0 472052 142 0 0 25 0 4 0 495822485 815439872 51510 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424812 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 199082 51510 429 148 0 194011 0
[pid=13871/tid=13873] ppid=13869 vsize=796328 CPUtime=1182.02 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 31253 0 0 0 118191 11 0 0 25 0 4 0 495822511 815439872 51510 33554432000 4194304 4797429 140736368030992 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=796328 CPUtime=1182.04 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 31255 0 0 0 118193 11 0 0 25 0 4 0 495822511 815439872 51510 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=796328 CPUtime=1175.64 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 30455 0 0 0 117554 10 0 0 25 0 4 0 495822511 815439872 51510 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.94
Current children cumulated vsize (KiB) 796328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.13 8.08 7.93 5/179 13917
/proc/meminfo: memFree=24596568/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=796328 CPUtime=4800.23 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 392936 0 0 0 479880 143 0 0 25 0 4 0 495822485 815439872 53569 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424610 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 199082 53569 429 148 0 194011 0
[pid=13871/tid=13873] ppid=13869 vsize=796328 CPUtime=1201.62 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 31435 0 0 0 120151 11 0 0 25 0 4 0 495822511 815439872 53569 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=796328 CPUtime=1201.65 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 31475 0 0 0 120153 12 0 0 25 0 4 0 495822511 815439872 53569 33554432000 4194304 4797429 140736368030992 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=796328 CPUtime=1195.13 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 30616 0 0 0 119503 10 0 0 25 0 4 0 495822511 815439872 53569 33554432000 4194304 4797429 140736368030992 18446744073709551615 4358575 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 796328

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.13 8.08 7.93 5/179 13917
/proc/meminfo: memFree=24596568/32951124 swapFree=67111524/67111528
[pid=13871] ppid=13869 vsize=796328 CPUtime=4800.23 cores=0,2,4,6
/proc/13871/stat : 13871 (techdemo) R 13869 13871 13269 0 -1 4202496 392936 0 0 0 479880 143 0 0 25 0 4 0 495822485 815439872 53569 33554432000 4194304 4797429 140736368030992 18446744073709551615 4424610 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13871/statm: 199082 53569 429 148 0 194011 0
[pid=13871/tid=13873] ppid=13869 vsize=796328 CPUtime=1201.62 cores=0,2,4,6
/proc/13871/task/13873/stat : 13873 (techdemo) R 13869 13871 13269 0 -1 4202560 31435 0 0 0 120151 11 0 0 25 0 4 0 495822511 815439872 53569 33554432000 4194304 4797429 140736368030992 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13871/tid=13874] ppid=13869 vsize=796328 CPUtime=1201.65 cores=0,2,4,6
/proc/13871/task/13874/stat : 13874 (techdemo) R 13869 13871 13269 0 -1 4202560 31475 0 0 0 120153 12 0 0 25 0 4 0 495822511 815439872 53569 33554432000 4194304 4797429 140736368030992 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13871/tid=13875] ppid=13869 vsize=796328 CPUtime=1195.13 cores=0,2,4,6
/proc/13871/task/13875/stat : 13875 (techdemo) R 13869 13871 13269 0 -1 4202560 30616 0 0 0 119503 10 0 0 25 0 4 0 495822511 815439872 53569 33554432000 4194304 4797429 140736368030992 18446744073709551615 4358575 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 796328

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.92
CPU time (s): 4800.27
CPU user time (s): 4798.82
CPU system time (s): 1.44978
CPU usage (%): 399.383
Max. virtual memory (cumulated for all children) (KiB): 900240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.82
system time used= 1.44978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392937
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= 974
involuntary context switches= 25334

runsolver used 2.02269 second user time and 4.52831 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-29 01:41:02
IDJOB=3257621
IDBENCH=71153
IDSOLVER=1584
FILE ID=node146/3257621-1304034062
RUNJOBID= node146-1304032857-13750
PBS_JOBID= 13170306
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_2vars_11gates_u2_autoenc.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257621-1304034062/watcher-3257621-1304034062 -o /tmp/evaluation-result-3257621-1304034062/solver-3257621-1304034062 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3257621-1304034062.cnf

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

MD5SUM BENCH= 36c3169a5cad0483dd15befcefc4323e
RANDOM SEED=274767669

node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24786364 kB
Buffers:       1631600 kB
Cached:        5925108 kB
SwapCached:          4 kB
Active:        1255444 kB
Inactive:      6392352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24786364 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           21408 kB
Writeback:           0 kB
AnonPages:       90852 kB
Mapped:          15464 kB
Slab:           452884 kB
PageTables:       4276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   683040 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= 72984 MiB
End job on node146 at 2011-04-29 02:01:06