Trace number 3289792

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.19 1201.86

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom23.cnf
MD5SUMe560aa6505ddce6d3784f70d5b7aff66
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables57800
Number of clauses193923
Sum of the clauses size495331
Maximum clause length1803
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 298497
Number of clauses of size 394437
Number of clauses of size 4275
Number of clauses of size 521
Number of clauses of size over 5692

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-3289792-1304129278.cnf'
0.00/0.00	c -- header says num vars:          57800
0.00/0.00	c -- header says num clauses:      193923
0.29/0.37	c -- clauses added:            0 learnts,       193923 normals,            0 xors
0.29/0.37	c -- vars added      57800
0.29/0.37	c Parsing time:  0.32 s
0.29/0.37	c  N st     0         0     57800     94196     87665         0    467419         0   no data   no data  --
2.89/1.08	c asymm  cl-useful: 431/28223/94196 lits-rem:1357 time: 2.82
29.24/7.67	c Flit:    50 Blit:   5054 bXBeca:    0 bXProp: 9392 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 37.5M T: 25.99
29.24/7.68	c Cleaning up after failed var search:     0.04 s 
33.22/8.60	c Calc non-exist non-lernt bins v-fix:     0 done:  24240 time:  3.66 s
33.22/8.60	c Cache  BProp: 23 Set: 0 BXProp: 0 T: 0.02
33.22/8.65	c Subs w/ non-existent bins:    667 time:  0.18 s
33.22/8.69	c Replacing     9392 vars Replaced   265656 lits Time:     0.17 s 
33.63/8.73	c bin-w-bin subsume rem          989 bins  time:  0.04 s
33.63/8.75	c subs with bin:       18  lits-rem:        26  v-fix:    0  time:  0.07 s
33.63/8.79	c Removed useless bin:      48  fixed:     0  bprops:   2.97M  time:  0.19 s
35.18/9.10	c lits-rem:         1  cl-subs:     2449  v-elim:  13608  v-fix:    0  time:  1.18 s
35.18/9.10	c learnt bin added due to v-elim: 0
35.58/9.29	c Finding binary XORs  T:     0.75 s  found:      26
35.98/9.30	c Replacing       26 vars Replaced      276 lits Time:     0.04 s 
35.98/9.36	c Finding non-binary XORs:     0.17 s (found:    6184, avg size: 3.3)
35.98/9.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1106 locsubst:     0 time:   0.06
35.98/9.38	c calculated reachability. Time: 0.06
35.98/9.38	c Calc default polars -  time:   0.02 s pos:    4641 undec:   32038 neg:   21121
35.98/9.38	c =========================================================================================
35.98/9.38	c types(t): F = full restart, N = normal restart
35.98/9.38	c types(t): S = simplification begin/end, E = solution found
35.98/9.38	c restart types(rt): st = static, dy = dynamic
35.98/9.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
35.98/9.38	c  B st     0         0     26079     42315     39549         0    297212         0   no data   no data  --
37.59/9.75	c Decided on static restart strategy
38.78/10.05	c  N dy    10      4052     26076     42315     39623      3910    297210    131680     27.77      9.92  --
43.97/11.32	c  N dy    14      9273     26075     42315     39901     25536    297248    378180     11.85      9.17  --
49.56/12.70	c  N dy    26     14704     26075     42315     39993     34574    297252    824207    238.04     11.11  --
56.75/14.56	c  N dy    39     21268     26075     42315     40022     22355    297251    226839    134.38     12.13  --
62.74/16.03	c  N dy    52     27465     26074     42315     40056     28426    297251    663183    171.63     12.59  --
64.75/16.56	c  S st    60     30001     26074     42315     40086     30893    297251    744666     42.39     12.33  --
65.53/16.75	c  S st    60     30506     26074     42315     40135     31348    297251    752481     42.39     12.33  --
65.53/16.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    550 locsubst:     0 time:   0.06
65.53/16.77	c Cache  BProp: 23 Set: 0 BXProp: 0 T: 0.01
101.86/25.82	c Flit:   141 Blit:      9 bXBeca:    0 bXProp:  353 Bin: 142660 BRemL:  44586 BRemN:     22 CBin:       0 P: 50.7M T: 36.06
101.86/25.83	c Cleaning up after failed var search:     0.04 s 
102.26/25.93	c Calc non-exist non-lernt bins v-fix:     0 done:  25157 time:  0.40 s
102.26/25.93	c Cache  BProp: 31 Set: 0 BXProp: 10 T: 0.03
102.66/26.02	c Subs w/ non-existent bins:    309 time:  0.33 s
102.66/26.03	c Replacing      364 vars Replaced    37699 lits Time:     0.06 s 
102.66/26.08	c bin-w-bin subsume rem          394 bins  time:  0.10 s
103.06/26.17	c subs with bin:      175  lits-rem:       980  v-fix:    0  time:  0.34 s
103.06/26.19	c Removed useless bin:      85  fixed:     0  bprops:   0.90M  time:  0.10 s
105.84/26.80	c lits-rem:     11794  cl-subs:    12683  v-elim:  10023  v-fix:    0  time:  2.41 s
105.84/26.80	c learnt bin added due to v-elim: 0
105.84/26.83	c vivif2 --  cl tried    43482 cl shrink      560 lits rem        668 time: 0.14
105.84/26.85	c vivif2 --  cl tried    16515 cl shrink       10 lits rem         11 time: 0.05
106.64/27.09	c asymm  cl-useful: 110/13293/43155 lits-rem:330 time: 0.99
107.04/27.11	c calculated reachability. Time: 0.05
107.04/27.11	c  N dy    60     30506     16242     43045     41777     16514    256270    112861     42.39     12.33  --
107.04/27.11	c  F st    60     30506     16242     43045     41777     16514    256270    112861     42.39     12.33  --
108.27/27.47	c Decided on dynamic restart strategy
110.65/28.01	c Finding binary XORs  T:     0.67 s  found:      32
111.04/28.13	c  N dy    77     34634     16238     43033     63273     22640    258452    337642     35.45     12.28  --
114.23/28.94	c  N dy   102     38661     16236     43033     63279     26583    258452    481764     37.36     12.10  --
117.83/29.84	c  N dy   128     42674     16236     43033     63285     30481    258452    630739     35.98     11.88  --
120.63/30.55	c  S st   150     45761     16236     43033     63286     33519    258452    746456     39.76     11.84  --
121.44/30.75	c  S st   150     46269     16236     43033     63286     34024    258452    755095     39.76     11.84  --
121.44/30.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    255 locsubst:     0 time:   0.06
121.44/30.77	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
127.02/32.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   15 Bin:   4298 BRemL:  23790 BRemN:   1032 CBin:       0 P: 16.7M T:  5.57
127.42/32.20	c Calc non-exist non-lernt bins v-fix:     0 done:  15980 time:  0.14 s
127.42/32.20	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
127.42/32.29	c Subs w/ non-existent bins:   1281 time:  0.37 s
127.82/32.31	c Replacing       47 vars Replaced     1357 lits Time:     0.07 s 
127.82/32.35	c bin-w-bin subsume rem         1045 bins  time:  0.03 s
128.61/32.52	c subs with bin:      231  lits-rem:       246  v-fix:    0  time:  0.67 s
128.61/32.53	c Removed useless bin:     204  fixed:     0  bprops:   0.37M  time:  0.05 s
133.81/33.86	c lits-rem:       821  cl-subs:     3288  v-elim:   1126  v-fix:    0  time:  5.33 s
133.81/33.86	c learnt bin added due to v-elim: 0
133.81/33.89	c vivif2 --  cl tried    42380 cl shrink       14 lits rem         20 time: 0.11
134.21/33.94	c vivif2 --  cl tried    26891 cl shrink      137 lits rem        148 time: 0.18
134.21/33.95	c asymm  cl-useful: 1/862/42378 lits-rem:3 time: 0.06
134.21/33.97	c calculated reachability. Time: 0.04
134.21/33.97	c  N dy   150     46269     15666     42377     36024     26890    254116    404411     39.76     11.84  --
138.21/34.95	c  N dy   173     50810     15665     42377     36030     31338    254116    571487     48.43     11.66  --
142.20/35.91	c  N dy   201     54891     15661     42377     37737     18270    254170    135466     44.20     11.54  --
144.60/36.57	c  N dy   229     59018     15658     42377     37748     22318    254170    275117     41.64     11.39  --
148.21/37.47	c  N dy   255     63338     15656     42377     37754     26558    254169    441606     43.87     11.41  --
151.79/38.36	c  N dy   283     67429     15656     42377     39020     30720    254199    605524     39.75     11.38  --
153.78/38.82	c  S st   297     69403     15656     42377     39021     32649    254198    687274     32.95     11.39  --
154.58/39.02	c  S st   297     69905     15656     42377     39026     33144    254198    698486     32.95     11.39  --
154.58/39.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    115 locsubst:     0 time:   0.06
154.58/39.03	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
159.78/40.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   15 Bin:   1175 BRemL:   2315 BRemN:     65 CBin:       0 P: 18.9M T:  5.10
159.78/40.34	c Calc non-exist non-lernt bins v-fix:     0 done:  15540 time:  0.12 s
159.78/40.34	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
160.18/40.44	c Subs w/ non-existent bins:    148 time:  0.40 s
160.18/40.46	c Replacing       15 vars Replaced      297 lits Time:     0.07 s 
160.58/40.50	c bin-w-bin subsume rem          110 bins  time:  0.03 s
161.39/40.74	c subs with bin:       78  lits-rem:        41  v-fix:    0  time:  0.97 s
161.39/40.76	c Removed useless bin:       3  fixed:     0  bprops:   0.33M  time:  0.05 s
172.56/43.57	c ORs :   7208 avg-s:  2.2 cl-sh:  8073 l-rem:   9048 b-add:    523 v-rep:   0 cl-rem: 260 avg s: 3.4 T:    2.92
182.14/45.93	c Added 17 vars  tried: 80000 time: 9.39
182.14/45.93	c ORs :     17 avg-s:  0.0 cl-sh:  1928 l-rem:   1928 b-add:     37 v-rep:   0 cl-rem: 0 avg s: nan T:    9.42
182.14/45.95	c lits-rem:       776  cl-subs:     1804  v-elim:    913  v-fix:    0  time: 20.76 s
182.14/45.95	c learnt bin added due to v-elim: 0
182.14/45.98	c vivif2 --  cl tried    41722 cl shrink       19 lits rem         56 time: 0.11
182.54/46.04	c vivif2 --  cl tried    30177 cl shrink       91 lits rem        182 time: 0.23
182.96/46.18	c asymm  cl-useful: 112/2535/41722 lits-rem:280 time: 0.56
182.96/46.20	c calculated reachability. Time: 0.04
182.96/46.20	c  N dy   297     69905     15484     41721     36559     30175    250862    570546     32.95     11.39  --
182.96/46.20	c  F st   297     69905     15484     41721     36559     30175    250862    570546     32.95     11.39  --
185.74/46.81	c Decided on static restart strategy
190.13/47.98	c  N dy   304     74823     15484     41721     36919     35230    250912   1481216    313.45     12.14  --
201.72/50.81	c  N dy   308     80845     15484     41721     37244     21822    250958    810733    360.65     13.68  --
203.71/51.31	c Finding binary XORs  T:     0.53 s  found:       3
214.50/54.04	c  N dy   312     86443     15484     41721     37867     27436    250992   2616473    311.58     15.57  --
223.68/56.32	c  N dy   318     92720     15484     41721     37867     33643    250992   3683842    356.95     16.01  --
232.47/58.51	c  N dy   325     99086     15484     41721     37867     39900    250992   4837855    186.00     16.47  --
240.85/60.67	c  S st   330    104858     15484     41721     37871     24503    250992    930725    105.28     18.13  --
241.65/60.86	c  S st   330    105360     15484     41721     38023     25023    250992    939734    105.28     18.13  --
241.65/60.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      5 locsubst:     0 time:   0.05
241.65/60.87	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
246.86/62.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    624 BRemL:   2083 BRemN:     58 CBin:       0 P: 15.8M T:  4.91
246.86/62.13	c Calc non-exist non-lernt bins v-fix:     0 done:  15479 time:  0.12 s
246.86/62.14	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
247.26/62.24	c Subs w/ non-existent bins:     94 time:  0.41 s
247.26/62.25	c Replacing        3 vars Replaced       51 lits Time:     0.04 s 
247.26/62.29	c bin-w-bin subsume rem          545 bins  time:  0.04 s
249.65/62.80	c subs with bin:       39  lits-rem:        26  v-fix:    0  time:  2.04 s
249.65/62.82	c Removed useless bin:       8  fixed:     0  bprops:   0.33M  time:  0.05 s
257.24/64.72	c ORs :   7257 avg-s:  2.3 cl-sh:   112 l-rem:    139 b-add:     29 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    3.46
257.24/64.74	c lits-rem:      1081  cl-subs:     1615  v-elim:    898  v-fix:    0  time:  7.69 s
257.24/64.74	c learnt bin added due to v-elim: 0
257.24/64.77	c vivif2 --  cl tried    41614 cl shrink        5 lits rem          5 time: 0.12
257.66/64.82	c vivif2 --  cl tried    23359 cl shrink       10 lits rem         12 time: 0.20
258.06/64.98	c asymm  cl-useful: 94/2178/41612 lits-rem:202 time: 0.63
258.06/64.99	c calculated reachability. Time: 0.04
258.06/64.99	c  N dy   330    105360     15454     41612     35747     23359    250377    783528    105.28     18.13  --
284.02/71.47	c  N dy   335    115048     15454     41612     35747     32974    250377   4327435    451.52     19.84  --
322.75/81.15	c  N dy   336    123648     15454     41612     35819     41547    250389   8980153    591.66     22.03  --
342.72/86.19	c  N dy   341    137849     15461     41612     35941     33156    250421   2453013    235.85     20.87  --
382.26/96.07	c  N dy   343    148994     15461     41612     35996     44173    250421   8235982    698.84     20.20  --
414.23/104.06	c  S st   350    158040     15461     41612     35996     29486    250421   4212111    618.40     19.74  --
415.03/104.27	c  S st   350    158540     15461     41612     36016     29984    250421   4220529    618.40     19.74  --
415.03/104.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.07
415.03/104.29	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
425.80/106.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    178 BRemL:    245 BRemN:      6 CBin:       0 P: 21.5M T: 10.78
426.20/107.02	c Calc non-exist non-lernt bins v-fix:     0 done:  15459 time:  0.12 s
426.20/107.03	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
426.60/107.18	c Subs w/ non-existent bins:     16 time:  0.62 s
427.00/107.20	c Replacing        1 vars Replaced       14 lits Time:     0.07 s 
427.41/107.33	c bin-w-bin subsume rem           31 bins  time:  0.03 s
429.80/107.96	c subs with bin:       14  lits-rem:        33  v-fix:    0  time:  2.52 s
429.80/107.97	c Removed useless bin:       0  fixed:     0  bprops:   0.33M  time:  0.04 s
451.39/113.33	c ORs :   7262 avg-s:  2.3 cl-sh:    46 l-rem:     53 b-add:      4 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    3.30
451.39/113.37	c lits-rem:         5  cl-subs:     1594  v-elim:    843  v-fix:    0  time: 21.57 s
451.39/113.37	c learnt bin added due to v-elim: 0
451.77/113.40	c vivif2 --  cl tried    41581 cl shrink        2 lits rem          2 time: 0.11
452.17/113.50	c vivif2 --  cl tried    28381 cl shrink       32 lits rem         44 time: 0.40
453.37/113.89	c asymm  cl-useful: 97/2758/41581 lits-rem:159 time: 1.55
453.77/113.90	c calculated reachability. Time: 0.04
453.77/113.90	c  N dy   350    158540     15455     41580     35899     28381    250031   3624785    618.40     19.74  --
496.11/124.56	c  N dy   359    168999     15455     41580     35977     38706    250035   9247105    451.19     19.40  --
527.27/132.30	c  N dy   365    179786     15462     41580     36048     24786    250067    613271    299.57     19.14  --
547.24/137.32	c  N dy   370    191877     15461     41580     36099     36766    250071   3348034    226.30     19.75  --
579.99/145.58	c  N dy   376    204546     15461     41580     36134     49347    250070   7702221    152.21     21.25  --
610.75/153.29	c  N dy   377    223472     15461     41580     36136     42395    250070   3055457    188.12     20.61  --
643.10/161.31	c  N dy   383    237811     15463     41580     36204     29908    250090   1259980    286.13     21.73  --
643.10/161.38	c  S st   383    237811     15463     41580     36204     29908    250090   1259980    286.13     21.73  --
643.90/161.59	c  S st   383    238314     15463     41580     36207     30405    250090   1269224    286.13     21.73  --
644.32/161.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
644.32/161.61	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
650.29/163.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:    219 BRemL:    304 BRemN:      7 CBin:       0 P: 23.4M T:  6.32
650.69/163.22	c Calc non-exist non-lernt bins v-fix:     0 done:  15463 time:  0.12 s
650.69/163.23	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
651.09/163.35	c Subs w/ non-existent bins:     13 time:  0.50 s
651.09/163.38	c Replacing        5 vars Replaced      162 lits Time:     0.09 s 
651.49/163.42	c bin-w-bin subsume rem            9 bins  time:  0.04 s
653.89/164.09	c subs with bin:       13  lits-rem:       126  v-fix:    0  time:  2.66 s
654.29/164.10	c Removed useless bin:       3  fixed:     0  bprops:   0.34M  time:  0.05 s
663.07/166.39	c ORs :   7261 avg-s:  2.3 cl-sh:    32 l-rem:     37 b-add:      4 v-rep:   0 cl-rem: 0 avg s: nan T:    3.27
663.47/166.42	c lits-rem:       174  cl-subs:     1497  v-elim:    847  v-fix:    0  time:  9.26 s
663.47/166.42	c learnt bin added due to v-elim: 0
663.47/166.45	c vivif2 --  cl tried    41535 cl shrink        0 lits rem          0 time: 0.12
663.88/166.52	c vivif2 --  cl tried    28876 cl shrink        6 lits rem         15 time: 0.29
664.28/166.68	c asymm  cl-useful: 39/6206/41535 lits-rem:42 time: 0.65
664.68/166.70	c calculated reachability. Time: 0.04
664.68/166.70	c  N dy   383    238314     15453     41534     35913     28876    249813   1078442    286.13     21.73  --
691.84/173.52	c  N dy   393    255456     15453     41534     35928     45862    249813   3533982     91.82     21.37  --
724.59/181.78	c  N dy   402    274436     15453     41534     35950     36885    249813   2129662    201.23     21.06  --
759.74/190.55	c  N dy   409    293531     15453     41534     35989     55784    249813   4869616    174.85     20.77  --
760.54/190.70	c Finding binary XORs  T:     0.52 s  found:       0
799.30/200.41	c  N dy   411    313006     15452     41533     35652     46320    249796   2618947    148.80     20.55  --
848.03/212.60	c  N dy   415    336287     15452     41533     35706     39710    249796   2413667    153.05     20.18  --
886.40/222.26	c  N dy   424    357471     15452     41533     35739     60659    249810   5199162    148.99     19.78  --
887.57/222.57	c  S st   424    357471     15452     41533     35739     60659    249810   5199162    148.99     19.78  --
888.77/222.86	c  S st   424    357974     15452     41533     35740     61160    249810   5206742    148.99     19.78  --
888.77/222.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
888.77/222.89	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
904.75/226.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     68 BRemL:    192 BRemN:      7 CBin:       0 P: 55.6M T: 15.83
904.75/226.88	c Calc non-exist non-lernt bins v-fix:     0 done:  15452 time:  0.13 s
904.75/226.88	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
906.74/227.35	c Subs w/ non-existent bins:      8 time:  1.86 s
906.74/227.37	c Replacing        1 vars Replaced       16 lits Time:     0.08 s 
907.55/227.51	c bin-w-bin subsume rem            6 bins  time:  0.03 s
913.54/229.08	c subs with bin:       24  lits-rem:       551  v-fix:    0  time:  6.28 s
913.54/229.09	c Removed useless bin:       0  fixed:     0  bprops:   0.33M  time:  0.05 s
1124.04/281.79	c ORs :   7261 avg-s:  2.3 cl-sh:    31 l-rem:     31 b-add:      5 v-rep:   0 cl-rem: 3 avg s: 5.7 T:    4.28
1126.84/282.49	c Added 51 vars  tried: 80000 time: 2.80
1127.24/282.60	c ORs :     51 avg-s:  0.0 cl-sh: 11535 l-rem:  11535 b-add:    102 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    3.22
1127.66/282.66	c lits-rem:      1246  cl-subs:     6513  v-elim:    858  v-fix:    0  time: 213.95 s
1127.66/282.66	c learnt bin added due to v-elim: 0
1127.66/282.69	c vivif2 --  cl tried    41575 cl shrink        0 lits rem          0 time: 0.11
1129.23/283.03	c vivif2 --  cl tried    54616 cl shrink      788 lits rem        952 time: 1.34
1130.03/283.26	c asymm  cl-useful: 11/3445/41575 lits-rem:11 time: 0.93
1130.03/283.27	c calculated reachability. Time: 0.04
1130.03/283.27	c  N dy   424    357974     15500     41575     35707     54616    250033   4290857    148.99     19.78  --
1161.20/291.07	c  N dy   447    378322     15500     41575     35808     44142    250037   3380997    137.29     20.56  --
1184.78/296.94	c  N dy   513    398529     15500     41575     35811     32395    250037    785929    103.70     20.63  --
1222.71/306.40	c  N dy   587    419077     15500     41575     35913     52625    250037   6832356    522.66     20.84  --
1263.46/316.60	c  N dy   621    439510     15500     41575     36003     40243    250037   2836798    479.81     21.17  --
1301.01/326.06	c  N dy   707    462251     15500     41575     36015     62686    250037   7185169    321.62     21.46  --
1332.18/333.89	c  N dy   772    482522     15500     41575     36026     49104    250037   3067451     78.05     21.53  --
1360.97/341.09	c  N dy   844    503076     15500     41575     36029     34872    250037    749116     52.41     21.88  --
1386.12/347.30	c  N dy   924    523151     15500     41575     36055     54712    250037   2534822    109.73     22.05  --
1408.49/352.92	c  S st   979    536962     15500     41575     36090     68299    250037   4311887    168.99     22.19  --
1409.69/353.27	c  S st   979    537462     15500     41575     36091     68797    250037   4323140    168.99     22.19  --
1409.69/353.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1409.69/353.29	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
1421.68/356.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    132 BRemL:    457 BRemN:      2 CBin:       0 P: 54.0M T: 11.63
1421.68/356.24	c Calc non-exist non-lernt bins v-fix:     0 done:  15500 time:  0.12 s
1421.68/356.24	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
1423.27/356.64	c Subs w/ non-existent bins:      1 time:  1.59 s
1423.67/356.78	c bin-w-bin subsume rem            5 bins  time:  0.03 s
1430.06/358.36	c subs with bin:       95  lits-rem:       380  v-fix:    0  time:  6.31 s
1430.06/358.37	c Removed useless bin:       0  fixed:     0  bprops:   0.34M  time:  0.05 s
1464.81/367.02	c ORs :   7310 avg-s:  2.3 cl-sh:    47 l-rem:     47 b-add:      1 v-rep:   0 cl-rem: 3 avg s: 4.0 T:    6.83
1464.81/367.08	c lits-rem:       294  cl-subs:     6974  v-elim:    847  v-fix:    0  time: 34.77 s
1464.81/367.08	c learnt bin added due to v-elim: 0
1465.22/367.10	c vivif2 --  cl tried    41568 cl shrink        0 lits rem          0 time: 0.11
1466.04/367.40	c vivif2 --  cl tried    61730 cl shrink      874 lits rem       1897 time: 1.18
1467.22/367.60	c asymm  cl-useful: 2/2692/41568 lits-rem:6 time: 0.81
1467.22/367.62	c calculated reachability. Time: 0.04
1467.22/367.62	c  N dy   979    537462     15500     41566     35765     61729    249982   3636478    168.99     22.19  --
1467.22/367.62	c  F st   979    537462     15500     41566     35765     61729    249982   3636478    168.99     22.19  --
1469.62/368.21	c Decided on static restart strategy
1567.89/392.82	c  N dy   990    584585     15500     41566     35788     72813    249982   6384090    166.03     21.71  --
1605.85/402.37	c  N dy   993    610200     15501     41566     35816     61506    249986   2674245     67.66     21.41  --
1662.98/416.65	c  N dy  1003    639047     15501     41566     35826     52321    249986   2270065     64.75     21.23  --
1734.90/434.61	c  N dy  1005    668304     15499     41566     35852     42790    249986   1155733     69.25     21.07  --
1779.64/445.84	c  N dy  1011    691663     15499     41566     35885     65847    250000   4270001     93.40     21.01  --
1829.18/458.26	c  N dy  1016    716553     15499     41566     35896     50944    250000   2288695     93.64     20.87  --
1841.17/461.23	c Finding binary XORs  T:     0.52 s  found:       3
1904.30/477.04	c  N dy  1019    744988     15501     41558     34944     78534    249974   8536808    287.87     20.87  --
1978.21/495.52	c  N dy  1025    785740     15501     41558     34946     77979    249974   3233647     55.78     20.57  --
2012.96/504.25	c  N dy  1031    806193     15501     41558     35014     56784    249974   1944514     67.44     20.39  --
2013.36/504.36	c  S st  1031    806193     15501     41558     35014     56784    249974   1944514     67.44     20.39  --
2014.56/504.69	c  S st  1031    806695     15501     41558     35015     57283    249974   1959350     67.44     20.39  --
2014.96/504.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2014.96/504.71	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
2024.95/507.28	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    148 BRemL:    388 BRemN:      5 CBin:       0 P: 51.8M T: 10.29
2025.35/507.32	c Calc non-exist non-lernt bins v-fix:     0 done:  15500 time:  0.13 s
2025.35/507.32	c Cache  BProp: 30 Set: 0 BXProp: 0 T: 0.01
2026.55/507.62	c Subs w/ non-existent bins:     21 time:  1.18 s
2026.55/507.65	c Replacing        4 vars Replaced       69 lits Time:     0.12 s 
2026.95/507.71	c bin-w-bin subsume rem            9 bins  time:  0.03 s
2030.14/508.55	c subs with bin:       32  lits-rem:       197  v-fix:    0  time:  3.34 s
2030.14/508.56	c Removed useless bin:       5  fixed:     0  bprops:   0.33M  time:  0.05 s
2045.73/512.43	c ORs :   7306 avg-s:  2.3 cl-sh:    16 l-rem:     16 b-add:      5 v-rep:   0 cl-rem: 1 avg s: 4.0 T:    3.13
2050.54/513.67	c Added 33 vars  tried: 80000 time: 4.91
2050.94/513.72	c ORs :     33 avg-s:  0.0 cl-sh:  8330 l-rem:   8330 b-add:     66 v-rep:   0 cl-rem: 0 avg s: nan T:    5.14
2050.94/513.76	c lits-rem:       147  cl-subs:     3367  v-elim:    844  v-fix:    0  time: 20.77 s
2050.94/513.76	c learnt bin added due to v-elim: 0
2050.94/513.79	c vivif2 --  cl tried    41563 cl shrink        0 lits rem          0 time: 0.12
2051.72/513.99	c vivif2 --  cl tried    53863 cl shrink       42 lits rem         44 time: 0.80
2052.52/514.16	c asymm  cl-useful: 0/4413/41563 lits-rem:0 time: 0.65
2052.52/514.17	c calculated reachability. Time: 0.04
2052.52/514.17	c  N dy  1031    806695     15526     41563     34602     53863    250071   1752726     67.44     20.39  --
2140.81/536.22	c  N dy  1036    835567     15526     41563     34625     82534    250071   9450794    332.42     20.19  --
2184.37/547.19	c  N dy  1042    857360     15526     41563     34643     61777    250071   4131931    102.21     20.03  --
2234.31/559.66	c  N dy  1050    879846     15526     41563     34706     84091    250071   7407655    124.60     19.88  --
2280.64/571.25	c  N dy  1054    900934     15526     41563     34739     61436    250071   3551253    184.39     19.83  --
2364.55/592.22	c  N dy  1058    924447     15526     41563     34744     84722    250071   7932817    181.40     19.83  --
2400.90/601.32	c  N dy  1070    944822     15526     41563     34779     60404    250071   2588182    143.88     19.73  --
2446.85/612.83	c  N dy  1078    969462     15526     41563     34794     84731    250071   4026100     93.92     19.57  --
2553.12/639.47	c  N dy  1085   1012066     15526     41563     34797     81513    250071   5705017    192.63     19.53  --
2635.05/659.93	c  N dy  1090   1040948     15528     41563     34835     63463    250079   3190936     69.34     19.53  --
2687.37/673.07	c  N dy  1092   1061493     15528     41563     34850     83681    250079   5834336    259.64     19.58  --
2742.10/686.71	c  N dy  1099   1082509     15528     41563     34854     57033    250079   1892265    176.39     19.61  --
2791.65/699.16	c  N dy  1107   1104451     15528     41563     34870     78714    250079   4959133    218.16     19.63  --
2833.21/709.59	c  N dy  1138   1129502     15528     41563     34872     55052    250078   1859002     87.90     19.60  --
2903.53/727.14	c  N dy  1144   1162384     15528     41563     34892     87527    250078   4311462     76.34     19.44  --
2982.64/746.99	c  N dy  1151   1199944     15528     41563     34913     75304    250078   3197551     39.69     19.30  --
3004.99/752.56	c  S st  1153   1210042     15528     41563     34927     85272    250078   4057226     59.71     19.29  --
3006.59/752.99	c  S st  1153   1210543     15528     41563     34927     85772    250078   4071121     59.71     19.29  --
3006.99/753.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3006.99/753.02	c Cache  BProp: 31 Set: 1 BXProp: 0 T: 0.01
3017.39/755.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    239 BRemL:    236 BRemN:      0 CBin:       0 P: 60.0M T: 10.32
3017.39/755.64	c Calc non-exist non-lernt bins v-fix:     0 done:  15527 time:  0.13 s
3017.39/755.64	c Cache  BProp: 31 Set: 0 BXProp: 0 T: 0.01
3019.77/756.27	c Subs w/ non-existent bins:      3 time:  2.53 s
3020.17/756.32	c Replacing        1 vars Replaced       22 lits Time:     0.18 s 
3020.57/756.44	c bin-w-bin subsume rem            4 bins  time:  0.03 s
3026.58/757.94	c subs with bin:      108  lits-rem:       266  v-fix:    0  time:  5.99 s
3026.58/757.95	c Removed useless bin:       1  fixed:     0  bprops:   0.33M  time:  0.05 s
3215.56/805.22	c ORs :   7337 avg-s:  2.3 cl-sh:    11 l-rem:     11 b-add:      1 v-rep:   0 cl-rem: 1 avg s: 4.0 T:    4.65
3219.55/806.28	c Added 51 vars  tried: 80000 time: 4.23
3219.96/806.38	c ORs :     51 avg-s:  0.0 cl-sh: 10795 l-rem:  10795 b-add:    102 v-rep:   0 cl-rem: 0 avg s: nan T:    4.63
3220.33/806.45	c lits-rem:        62  cl-subs:     6323  v-elim:    851  v-fix:    0  time: 193.74 s
3220.33/806.45	c learnt bin added due to v-elim: 0
3220.33/806.48	c vivif2 --  cl tried    41600 cl shrink        1 lits rem          1 time: 0.12
3222.33/806.96	c vivif2 --  cl tried    79343 cl shrink      984 lits rem       1646 time: 1.94
3223.13/807.15	c asymm  cl-useful: 0/1838/41599 lits-rem:0 time: 0.76
3223.13/807.16	c calculated reachability. Time: 0.04
3223.13/807.17	c  N dy  1153   1210543     15576     41599     34617     79339    250321   3551904     59.71     19.29  --
3239.51/811.20	c Finding binary XORs  T:     0.52 s  found:       0
3257.49/815.78	c  N dy  1204   1230622     15576     41599     34671     98939    250321   4346619     41.74     19.19  --
3285.06/822.70	c  N dy  1313   1250752     15576     41599     34685     68333    250321   2513417     80.13     19.19  --
3323.01/832.10	c  N dy  1342   1272099     15575     41599     34700     89436    250321   3786837     52.36     19.08  --
3354.17/839.95	c  N dy  1351   1293164     15575     41599     34701     59030    250321   1567059     94.31     18.98  --
3385.74/847.87	c  N dy  1381   1313210     15575     41599     34701     78658    250321   2564117    104.86     18.92  --
3419.29/856.27	c  N dy  1506   1333256     15575     41599     34792     98160    250321   3537529     46.48     18.89  --
3451.66/864.39	c  N dy  1632   1353260     15575     41599     34792     65696    250321   1647771     71.13     18.87  --
3492.03/874.43	c  N dy  1697   1376763     15575     41599     34792     88901    250321   3344625     45.18     18.80  --
3525.57/882.84	c  N dy  1703   1397188     15575     41599     34800     56027    250321   1063794     80.68     18.71  --
3573.92/894.90	c  N dy  1710   1421545     15576     41599     34834     79928    250325   2463235     33.15     18.62  --
3634.25/910.03	c  N dy  1727   1444724     15576     41599     34838    102773    250325   3743389     65.85     18.53  --
3676.20/920.53	c  N dy  1734   1466116     15576     41599     34849     69868    250325   1797451     58.85     18.44  --
3717.36/930.88	c  N dy  1820   1490467     15576     41599     34849     93593    250325   2855717     76.55     18.39  --
3768.50/943.61	c  N dy  1847   1510548     15576     41599     34946     58383    250325   1072579     39.04     18.33  --
3798.86/951.25	c  N dy  1968   1530552     15577     41599     34954     77922    250331   2215852     45.87     18.35  --
3834.02/960.00	c  N dy  2013   1551757     15577     41599     34955     98866    250331   3464011     68.06     18.31  --
3936.32/985.63	c  N dy  2018   1598603     15577     41599     34979     89213    250331   2446224     31.64     18.16  --
4009.02/1003.85	c  N dy  2029   1625413     15577     41599     34995     58499    250331    954705     43.10     18.10  --
4038.99/1011.30	c  N dy  2137   1645440     15577     41599     34996     78047    250331   2032062     43.80     18.09  --
4073.75/1020.05	c  N dy  2160   1668916     15577     41599     35003    101075    250331   2906202     35.25     18.04  --
4119.29/1031.42	c  N dy  2170   1697993     15577     41599     35006     71447    250331   1656510     47.33     17.95  --
4138.49/1036.25	c  S st  2178   1710543     15577     41599     35006     83784    250331   2367255     47.12     17.92  --
4139.66/1036.59	c  S st  2178   1711043     15577     41599     35006     84281    250331   2379532     47.12     17.92  --
4140.06/1036.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4140.06/1036.61	c Cache  BProp: 31 Set: 0 BXProp: 1 T: 0.01
4149.66/1039.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     54 BRemL:    240 BRemN:      1 CBin:       0 P: 60.1M T:  9.55
4149.66/1039.03	c Calc non-exist non-lernt bins v-fix:     0 done:  15577 time:  0.14 s
4149.66/1039.03	c Cache  BProp: 31 Set: 0 BXProp: 0 T: 0.01
4151.67/1039.51	c Subs w/ non-existent bins:      1 time:  1.91 s
4151.67/1039.55	c Replacing        1 vars Replaced      158 lits Time:     0.15 s 
4152.05/1039.64	c bin-w-bin subsume rem           12 bins  time:  0.04 s
4156.07/1040.62	c subs with bin:       49  lits-rem:       170  v-fix:    0  time:  3.91 s
4156.07/1040.63	c Removed useless bin:       0  fixed:     0  bprops:   0.34M  time:  0.05 s
4173.65/1045.09	c ORs :   7395 avg-s:  2.3 cl-sh:     8 l-rem:      8 b-add:      0 v-rep:   0 cl-rem: 9 avg s: 4.1 T:    4.93
4179.21/1046.40	c Added 51 vars  tried: 80000 time: 5.22
4179.21/1046.45	c ORs :     51 avg-s:  0.0 cl-sh:  8503 l-rem:   8503 b-add:    103 v-rep:   0 cl-rem: 0 avg s: nan T:    5.41
4179.61/1046.50	c lits-rem:       856  cl-subs:     7317  v-elim:    846  v-fix:    0  time: 23.44 s
4179.61/1046.50	c learnt bin added due to v-elim: 0
4179.61/1046.53	c vivif2 --  cl tried    41643 cl shrink        0 lits rem          0 time: 0.12
4180.81/1046.88	c vivif2 --  cl tried    76895 cl shrink      154 lits rem        361 time: 1.42
4181.61/1047.04	c asymm  cl-useful: 0/5340/41643 lits-rem:0 time: 0.64
4181.61/1047.06	c calculated reachability. Time: 0.04
4181.61/1047.06	c  N dy  2178   1711043     15627     41643     34889     76895    250585   2066355     47.12     17.92  --
4215.98/1055.65	c  N dy  2294   1731092     15627     41643     34900     96619    250585   3695638     51.48     17.90  --
4252.35/1064.77	c  N dy  2417   1751143     15627     41643     34900    116277    250585   4970910     61.84     17.92  --
4287.91/1073.66	c  N dy  2493   1771328     15627     41643     34905     77408    250585   3494897    180.32     17.89  --
4323.07/1082.45	c  N dy  2595   1791384     15627     41643     34980     97193    250585   5470378     42.55     17.89  --
4355.01/1090.45	c  N dy  2652   1812267     15627     41643     34980    117773    250585   6612941     35.37     17.85  --
4384.19/1097.80	c Finding binary XORs  T:     0.51 s  found:       0
4388.17/1098.74	c  N dy  2756   1832308     15627     41643     34980     77484    250585   2337093     48.23     17.86  --
4424.15/1107.73	c  N dy  2820   1854082     15627     41643     34999     98923    250585   3855468     36.66     17.84  --
4463.71/1117.64	c  N dy  2840   1874685     15627     41643     34999    119292    250585   4840817     38.64     17.80  --
4504.03/1127.72	c  N dy  2848   1896236     15627     41643     35024     79620    250585   1725039     39.09     17.73  --
4555.99/1140.78	c  N dy  2857   1917663     15627     41643     35031    100867    250585   2718426     32.90     17.66  --
4604.72/1152.97	c  N dy  2918   1937693     15627     41643     35032    120617    250585   3711139     49.66     17.62  --
4637.48/1161.10	c  N dy  3035   1957700     15627     41643     35039     78047    250585   2413628     91.29     17.62  --
4673.44/1170.19	c  N dy  3139   1977725     15627     41643     35041     97760    250585   4071892    104.91     17.63  --
4719.79/1181.71	c  N dy  3235   1997735     15627     41643     35043    117495    250585   6245482     47.94     17.66  --
4763.73/1192.77	c  N dy  3304   2020631     15627     41643     35055     77030    250584   2549346    117.94     17.63  --

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-3289792-1304129278/watcher-3289792-1304129278 -o /tmp/evaluation-result-3289792-1304129278/solver-3289792-1304129278 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3289792-1304129278.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: 3.70 4.45 6.01 5/180 29172
/proc/meminfo: memFree=29741432/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=24708 CPUtime=0 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 1456 0 0 0 0 0 0 0 22 0 1 0 603158513 25300992 1395 33554432000 4194304 4797429 140734572200080 18446744073709551615 4366107 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29172/statm: 6177 1397 341 148 0 1106 0

[startup+0.0648039 s]
/proc/loadavg: 3.70 4.45 6.01 5/180 29172
/proc/meminfo: memFree=29741432/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=70680 CPUtime=0.05 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 14965 0 0 0 4 1 0 0 22 0 1 0 603158513 72376320 11717 33554432000 4194304 4797429 140734572200080 18446744073709551615 4688061 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29172/statm: 17670 11722 342 148 0 12599 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 70680

[startup+0.100791 s]
/proc/loadavg: 3.70 4.45 6.01 5/180 29172
/proc/meminfo: memFree=29741432/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=105688 CPUtime=0.09 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 23975 0 0 0 7 2 0 0 22 0 1 0 603158513 108224512 17119 33554432000 4194304 4797429 140734572200080 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29172/statm: 26422 17131 342 148 0 21351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 105688

[startup+0.300763 s]
/proc/loadavg: 3.70 4.45 6.01 5/180 29172
/proc/meminfo: memFree=29741432/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=153048 CPUtime=0.29 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 32742 0 0 0 26 3 0 0 23 0 1 0 603158513 156721152 25618 33554432000 4194304 4797429 140734572200080 18446744073709551615 256415052485 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29172/statm: 38262 25619 350 148 0 33191 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 153048

[startup+0.700618 s]
/proc/loadavg: 3.70 4.45 6.01 5/180 29172
/proc/meminfo: memFree=29741432/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=258212 CPUtime=1.68 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 35506 0 0 0 164 4 0 0 25 0 4 0 603158513 264409088 28280 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427384 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 64553 28280 376 148 0 59482 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 258212

[startup+1.50047 s]
/proc/loadavg: 3.80 4.46 6.01 9/184 29176
/proc/meminfo: memFree=29618784/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=818080 CPUtime=4.87 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 52517 0 0 0 479 8 0 0 25 0 4 0 603158513 837713920 43407 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427899 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 204520 43407 384 148 0 199449 0
[pid=29172/tid=29174] ppid=29170 vsize=818080 CPUtime=1.12 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 4379 0 0 0 111 1 0 0 25 0 4 0 603158550 837713920 43408 33554432000 4194304 4797429 140734572200080 18446744073709551615 4428755 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=818080 CPUtime=1.11 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 4490 0 0 0 111 0 0 0 18 0 4 0 603158550 837713920 43408 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=818080 CPUtime=1.12 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 3940 0 0 0 112 0 0 0 25 0 4 0 603158550 837713920 43411 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 818080

[startup+3.10116 s]
/proc/loadavg: 3.80 4.46 6.01 9/184 29176
/proc/meminfo: memFree=29474952/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1026308 CPUtime=11.26 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 104618 0 0 0 1107 19 0 0 25 0 4 0 603158513 1050939392 95508 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427384 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 256577 95510 384 148 0 251506 0
[pid=29172/tid=29174] ppid=29170 vsize=1026308 CPUtime=2.72 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 17526 0 0 0 268 4 0 0 25 0 4 0 603158550 1050939392 95510 33554432000 4194304 4797429 140734572200080 18446744073709551615 256415052833 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1026308 CPUtime=2.7 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 17391 0 0 0 267 3 0 0 20 0 4 0 603158550 1050939392 95510 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427899 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1026308 CPUtime=2.72 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 16915 0 0 0 269 3 0 0 25 0 4 0 603158550 1050939392 95510 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427994 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.26
Current children cumulated vsize (KiB) 1026308

[startup+6.30056 s]
/proc/loadavg: 4.14 4.52 6.02 9/184 29176
/proc/meminfo: memFree=29170908/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1206820 CPUtime=24.03 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 147592 0 0 0 2371 32 0 0 25 0 4 0 603158513 1235783680 138482 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427299 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 301705 138482 385 148 0 296634 0
[pid=29172/tid=29174] ppid=29170 vsize=1206820 CPUtime=5.91 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 28108 0 0 0 584 7 0 0 22 0 4 0 603158550 1235783680 138482 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427914 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1206820 CPUtime=5.89 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 28549 0 0 0 582 7 0 0 25 0 4 0 603158550 1235783680 138482 33554432000 4194304 4797429 140734572200080 18446744073709551615 4428025 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1206820 CPUtime=5.9 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 27500 0 0 0 585 5 0 0 22 0 4 0 603158550 1235783680 138482 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.03
Current children cumulated vsize (KiB) 1206820

[startup+12.7004 s]
/proc/loadavg: 4.45 4.58 6.03 9/184 29176
/proc/meminfo: memFree=29034676/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1337120 CPUtime=49.56 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 183336 0 0 0 4914 42 0 0 25 0 4 0 603158513 1369210880 172294 33554432000 4194304 4797429 140734572200080 18446744073709551615 4341372 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 334280 172294 419 148 0 329209 0
[pid=29172/tid=29174] ppid=29170 vsize=1337120 CPUtime=12.31 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 36325 0 0 0 1221 10 0 0 25 0 4 0 603158550 1369210880 172294 33554432000 4194304 4797429 140734572200080 18446744073709551615 4242048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1337120 CPUtime=12.25 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 39116 0 0 0 1216 9 0 0 25 0 4 0 603158550 1369210880 172294 33554432000 4194304 4797429 140734572200080 18446744073709551615 4259149 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1337120 CPUtime=12.29 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 36597 0 0 0 1222 7 0 0 25 0 4 0 603158550 1369210880 172294 33554432000 4194304 4797429 140734572200080 18446744073709551615 4236512 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.56
Current children cumulated vsize (KiB) 1337120

[startup+25.5009 s]
/proc/loadavg: 5.06 4.71 6.05 9/184 29177
/proc/meminfo: memFree=28925812/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1394204 CPUtime=100.65 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 220413 0 0 0 10013 52 0 0 25 0 4 0 603158513 1427664896 195530 33554432000 4194304 4797429 140734572200080 18446744073709551615 4346313 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 348551 195530 422 148 0 343480 0
[pid=29172/tid=29174] ppid=29170 vsize=1394204 CPUtime=25.1 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 42114 0 0 0 2498 12 0 0 25 0 4 0 603158550 1427664896 195530 33554432000 4194304 4797429 140734572200080 18446744073709551615 4424408 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1394204 CPUtime=25.02 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 47071 0 0 0 2490 12 0 0 25 0 4 0 603158550 1427664896 195530 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427651 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1394204 CPUtime=25.04 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 52747 0 0 0 2493 11 0 0 25 0 4 0 603158550 1427664896 195530 33554432000 4194304 4797429 140734572200080 18446744073709551615 4523765 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.65
Current children cumulated vsize (KiB) 1394204

[startup+51.1011 s]
/proc/loadavg: 6.27 5.04 6.12 9/184 29178
/proc/meminfo: memFree=28878204/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1419324 CPUtime=202.91 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 237173 0 0 0 20232 59 0 0 25 0 4 0 603158513 1453387776 206111 33554432000 4194304 4797429 140734572200080 18446744073709551615 4425692 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 354831 206111 423 148 0 349760 0
[pid=29172/tid=29174] ppid=29170 vsize=1419324 CPUtime=50.7 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 44194 0 0 0 5057 13 0 0 25 0 4 0 603158550 1453387776 206111 33554432000 4194304 4797429 140734572200080 18446744073709551615 4424812 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1419324 CPUtime=50.61 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 49098 0 0 0 5048 13 0 0 25 0 4 0 603158550 1453387776 206111 33554432000 4194304 4797429 140734572200080 18446744073709551615 4241580 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1419324 CPUtime=50.5 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 55531 0 0 0 5038 12 0 0 25 0 4 0 603158550 1453387776 206111 33554432000 4194304 4797429 140734572200080 18446744073709551615 4429363 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.91
Current children cumulated vsize (KiB) 1419324

[startup+102.306 s]
/proc/loadavg: 7.35 5.52 6.23 9/184 29179
/proc/meminfo: memFree=28856384/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1435424 CPUtime=407.45 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 272914 0 0 0 40675 70 0 0 25 0 4 0 603158513 1469874176 207982 33554432000 4194304 4797429 140734572200080 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 358856 207982 423 148 0 353785 0
[pid=29172/tid=29174] ppid=29170 vsize=1435424 CPUtime=101.91 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 46726 0 0 0 10177 14 0 0 25 0 4 0 603158550 1469874176 207982 33554432000 4194304 4797429 140734572200080 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1435424 CPUtime=101.81 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 51378 0 0 0 10168 13 0 0 25 0 4 0 603158550 1469874176 207982 33554432000 4194304 4797429 140734572200080 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1435424 CPUtime=101.42 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 57354 0 0 0 10130 12 0 0 25 0 4 0 603158550 1469874176 207982 33554432000 4194304 4797429 140734572200080 18446744073709551615 4373003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.45
Current children cumulated vsize (KiB) 1435424

[startup+162.301 s]
/proc/loadavg: 7.81 5.98 6.34 9/184 29180
/proc/meminfo: memFree=28823620/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1511492 CPUtime=647.1 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 309668 0 0 0 64627 83 0 0 25 0 4 0 603158513 1547767808 212714 33554432000 4194304 4797429 140734572200080 18446744073709551615 4430142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 377873 212714 423 148 0 372802 0
[pid=29172/tid=29174] ppid=29170 vsize=1511492 CPUtime=161.9 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 48628 0 0 0 16175 15 0 0 25 0 4 0 603158550 1547767808 212714 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1511492 CPUtime=161.81 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 53684 0 0 0 16166 15 0 0 25 0 4 0 603158550 1547767808 212714 33554432000 4194304 4797429 140734572200080 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1511492 CPUtime=161.1 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 58963 0 0 0 16097 13 0 0 25 0 4 0 603158550 1547767808 212714 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427651 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.1
Current children cumulated vsize (KiB) 1511492

[startup+222.301 s]
/proc/loadavg: 7.97 6.36 6.45 9/184 29182
/proc/meminfo: memFree=28795680/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1515336 CPUtime=886.77 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 334403 0 0 0 88584 93 0 0 25 0 4 0 603158513 1551704064 218026 33554432000 4194304 4797429 140734572200080 18446744073709551615 4415712 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 378834 218026 423 148 0 373763 0
[pid=29172/tid=29174] ppid=29170 vsize=1515336 CPUtime=221.9 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 49344 0 0 0 22174 16 0 0 25 0 4 0 603158550 1551704064 218026 33554432000 4194304 4797429 140734572200080 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1515336 CPUtime=221.8 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 55140 0 0 0 22165 15 0 0 25 0 4 0 603158550 1551704064 218026 33554432000 4194304 4797429 140734572200080 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1515336 CPUtime=220.77 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 60363 0 0 0 22064 13 0 0 25 0 4 0 603158550 1551704064 218026 33554432000 4194304 4797429 140734572200080 18446744073709551615 4346799 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 886.77
Current children cumulated vsize (KiB) 1515336

[startup+282.301 s]

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

[pid=29172] ppid=29170 vsize=1549944 CPUtime=2564.73 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 475187 0 0 0 256320 153 0 0 25 0 4 0 603158513 1587142656 231346 33554432000 4194304 4797429 140734572200080 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 387486 231346 423 148 0 382415 0
[pid=29172/tid=29174] ppid=29170 vsize=1549944 CPUtime=641.05 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 56835 0 0 0 64085 20 0 0 25 0 4 0 603158550 1587142656 231346 33554432000 4194304 4797429 140734572200080 18446744073709551615 4242459 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1549944 CPUtime=641.77 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 62879 0 0 0 64158 19 0 0 25 0 4 0 603158550 1587142656 231346 33554432000 4194304 4797429 140734572200080 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1549944 CPUtime=639.58 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 66753 0 0 0 63943 15 0 0 25 0 4 0 603158550 1587142656 231346 33554432000 4194304 4797429 140734572200080 18446744073709551615 4630247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2564.73
Current children cumulated vsize (KiB) 1549944

[startup+702.3 s]
/proc/loadavg: 4.05 4.81 5.72 5/175 29212
/proc/meminfo: memFree=28823772/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1552260 CPUtime=2804.42 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 493808 0 0 0 280281 161 0 0 25 0 4 0 603158513 1589514240 232508 33554432000 4194304 4797429 140734572200080 18446744073709551615 4423639 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 388065 232508 423 148 0 382994 0
[pid=29172/tid=29174] ppid=29170 vsize=1552260 CPUtime=700.77 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 57866 0 0 0 70056 21 0 0 25 0 4 0 603158550 1589514240 232508 33554432000 4194304 4797429 140734572200080 18446744073709551615 4226038 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1552260 CPUtime=701.77 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 63639 0 0 0 70157 20 0 0 25 0 4 0 603158550 1589514240 232508 33554432000 4194304 4797429 140734572200080 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1552260 CPUtime=699.58 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 67050 0 0 0 69942 16 0 0 25 0 4 0 603158550 1589514240 232508 33554432000 4194304 4797429 140734572200080 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.42
Current children cumulated vsize (KiB) 1552260

[startup+762.306 s]
/proc/loadavg: 4.10 4.68 5.62 5/175 29214
/proc/meminfo: memFree=28828476/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1554848 CPUtime=3044.17 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 509913 0 0 0 304250 167 0 0 25 0 4 0 603158513 1592164352 231094 33554432000 4194304 4797429 140734572200080 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 388712 231094 423 148 0 383641 0
[pid=29172/tid=29174] ppid=29170 vsize=1554848 CPUtime=760.48 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 58457 0 0 0 76027 21 0 0 25 0 4 0 603158550 1592164352 231094 33554432000 4194304 4797429 140734572200080 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1554848 CPUtime=761.77 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 65394 0 0 0 76157 20 0 0 25 0 4 0 603158550 1592164352 231094 33554432000 4194304 4797429 140734572200080 18446744073709551615 4352398 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1554848 CPUtime=759.59 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 68353 0 0 0 75942 17 0 0 25 0 4 0 603158550 1592164352 231094 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.17
Current children cumulated vsize (KiB) 1554848

[startup+822.301 s]
/proc/loadavg: 4.03 4.55 5.51 5/175 29215
/proc/meminfo: memFree=28828448/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1562976 CPUtime=3283.86 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 517203 0 0 0 328216 170 0 0 25 0 4 0 603158513 1600487424 231211 33554432000 4194304 4797429 140734572200080 18446744073709551615 4425072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 390744 231211 423 148 0 385673 0
[pid=29172/tid=29174] ppid=29170 vsize=1562976 CPUtime=820.18 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 59895 0 0 0 81997 21 0 0 25 0 4 0 603158550 1600487424 231211 33554432000 4194304 4797429 140734572200080 18446744073709551615 4243256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1562976 CPUtime=821.77 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 66823 0 0 0 82156 21 0 0 25 0 4 0 603158550 1600487424 231211 33554432000 4194304 4797429 140734572200080 18446744073709551615 4429438 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1562976 CPUtime=819.58 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 68821 0 0 0 81941 17 0 0 25 0 4 0 603158550 1600487424 231211 33554432000 4194304 4797429 140734572200080 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.86
Current children cumulated vsize (KiB) 1562976

[startup+882.301 s]
/proc/loadavg: 4.01 4.45 5.41 5/175 29217
/proc/meminfo: memFree=28828180/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1567488 CPUtime=3523.58 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 531901 0 0 0 352181 177 0 0 25 0 4 0 603158513 1605107712 230995 33554432000 4194304 4797429 140734572200080 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 391872 230995 423 148 0 386801 0
[pid=29172/tid=29174] ppid=29170 vsize=1567488 CPUtime=879.91 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 60144 0 0 0 87969 22 0 0 25 0 4 0 603158550 1605107712 230995 33554432000 4194304 4797429 140734572200080 18446744073709551615 4647984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1567488 CPUtime=881.76 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 68077 0 0 0 88155 21 0 0 25 0 4 0 603158550 1605107712 230995 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427648 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1567488 CPUtime=879.57 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 69716 0 0 0 87940 17 0 0 25 0 4 0 603158550 1605107712 230995 33554432000 4194304 4797429 140734572200080 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.58
Current children cumulated vsize (KiB) 1567488

[startup+942.301 s]
/proc/loadavg: 4.06 4.38 5.33 5/175 29218
/proc/meminfo: memFree=28815888/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1567700 CPUtime=3763.31 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 541068 0 0 0 376148 183 0 0 25 0 4 0 603158513 1605324800 234256 33554432000 4194304 4797429 140734572200080 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 391925 234256 423 148 0 386854 0
[pid=29172/tid=29174] ppid=29170 vsize=1567700 CPUtime=939.64 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 60601 0 0 0 93942 22 0 0 25 0 4 0 603158550 1605324800 234256 33554432000 4194304 4797429 140734572200080 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1567700 CPUtime=941.77 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 68484 0 0 0 94155 22 0 0 25 0 4 0 603158550 1605324800 234256 33554432000 4194304 4797429 140734572200080 18446744073709551615 4428583 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1567700 CPUtime=939.58 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 70745 0 0 0 93940 18 0 0 25 0 4 0 603158550 1605324800 234256 33554432000 4194304 4797429 140734572200080 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.31
Current children cumulated vsize (KiB) 1567700

[startup+1002.3 s]
/proc/loadavg: 4.08 4.32 5.25 5/175 29220
/proc/meminfo: memFree=28813156/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1567552 CPUtime=4003.02 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 551763 0 0 0 400114 188 0 0 25 0 4 0 603158513 1605173248 234892 33554432000 4194304 4797429 140734572200080 18446744073709551615 4341300 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 391888 234892 423 148 0 386817 0
[pid=29172/tid=29174] ppid=29170 vsize=1567552 CPUtime=999.35 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 61525 0 0 0 99912 23 0 0 25 0 4 0 603158550 1605173248 234892 33554432000 4194304 4797429 140734572200080 18446744073709551615 4246166 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1567552 CPUtime=1001.77 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 68956 0 0 0 100155 22 0 0 25 0 4 0 603158550 1605173248 234892 33554432000 4194304 4797429 140734572200080 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1567552 CPUtime=999.57 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 71010 0 0 0 99939 18 0 0 25 0 4 0 603158550 1605173248 234892 33554432000 4194304 4797429 140734572200080 18446744073709551615 4341518 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.02
Current children cumulated vsize (KiB) 1567552

[startup+1062.3 s]
/proc/loadavg: 4.08 4.28 5.17 5/175 29221
/proc/meminfo: memFree=28806444/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1572072 CPUtime=4242.75 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 564958 0 0 0 424079 196 0 0 25 0 4 0 603158513 1609801728 236655 33554432000 4194304 4797429 140734572200080 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 393018 236655 423 148 0 387947 0
[pid=29172/tid=29174] ppid=29170 vsize=1572072 CPUtime=1059.07 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 62129 0 0 0 105883 24 0 0 25 0 4 0 603158550 1609801728 236655 33554432000 4194304 4797429 140734572200080 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1572072 CPUtime=1061.77 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 70317 0 0 0 106154 23 0 0 25 0 4 0 603158550 1609801728 236655 33554432000 4194304 4797429 140734572200080 18446744073709551615 4427217 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1572072 CPUtime=1059.58 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 72130 0 0 0 105939 19 0 0 25 0 4 0 603158550 1609801728 236655 33554432000 4194304 4797429 140734572200080 18446744073709551615 4225982 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.75
Current children cumulated vsize (KiB) 1572072

[startup+1122.3 s]
/proc/loadavg: 4.08 4.24 5.10 5/175 29223
/proc/meminfo: memFree=28816340/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1575152 CPUtime=4482.46 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 582412 0 0 0 448043 203 0 0 25 0 4 0 603158513 1612955648 234058 33554432000 4194304 4797429 140734572200080 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 393788 234058 423 148 0 388717 0
[pid=29172/tid=29174] ppid=29170 vsize=1575152 CPUtime=1118.78 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 63132 0 0 0 111854 24 0 0 25 0 4 0 603158550 1612955648 234058 33554432000 4194304 4797429 140734572200080 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1575152 CPUtime=1121.77 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 70868 0 0 0 112154 23 0 0 25 0 4 0 603158550 1612955648 234058 33554432000 4194304 4797429 140734572200080 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1575152 CPUtime=1119.58 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 72743 0 0 0 111939 19 0 0 25 0 4 0 603158550 1612955648 234058 33554432000 4194304 4797429 140734572200080 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.46
Current children cumulated vsize (KiB) 1575152

[startup+1182.3 s]
/proc/loadavg: 4.07 4.21 5.04 5/175 29225
/proc/meminfo: memFree=28793624/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1575816 CPUtime=4722.19 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 595460 0 0 0 472011 208 0 0 25 0 4 0 603158513 1613635584 239795 33554432000 4194304 4797429 140734572200080 18446744073709551615 4391326 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 393954 239795 423 148 0 388883 0
[pid=29172/tid=29174] ppid=29170 vsize=1575816 CPUtime=1178.5 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 64265 0 0 0 117825 25 0 0 25 0 4 0 603158550 1613635584 239795 33554432000 4194304 4797429 140734572200080 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1575816 CPUtime=1181.77 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 72497 0 0 0 118154 23 0 0 25 0 4 0 603158550 1613635584 239795 33554432000 4194304 4797429 140734572200080 18446744073709551615 4504008 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1575816 CPUtime=1179.57 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 73434 0 0 0 117938 19 0 0 25 0 4 0 603158550 1613635584 239795 33554432000 4194304 4797429 140734572200080 18446744073709551615 4642182 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.19
Current children cumulated vsize (KiB) 1575816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 4.05 4.19 5.01 5/175 29225
/proc/meminfo: memFree=28800564/32950928 swapFree=67111364/67111528
[pid=29172] ppid=29170 vsize=1575828 CPUtime=4800.11 cores=0,2,4,6
/proc/29172/stat : 29172 (techdemo) R 29170 29172 27972 0 -1 4202496 603596 0 0 0 479799 212 0 0 25 0 4 0 603158513 1613647872 237687 33554432000 4194304 4797429 140734572200080 18446744073709551615 4424967 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29172/statm: 393957 237687 423 148 0 388886 0
[pid=29172/tid=29174] ppid=29170 vsize=1575828 CPUtime=1197.9 cores=0,2,4,6
/proc/29172/task/29174/stat : 29174 (techdemo) R 29170 29172 27972 0 -1 4202560 64738 0 0 0 119765 25 0 0 25 0 4 0 603158550 1613647872 237687 33554432000 4194304 4797429 140734572200080 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29172/tid=29175] ppid=29170 vsize=1575828 CPUtime=1201.28 cores=0,2,4,6
/proc/29172/task/29175/stat : 29175 (techdemo) R 29170 29172 27972 0 -1 4202560 72959 0 0 0 120104 24 0 0 25 0 4 0 603158550 1613647872 237687 33554432000 4194304 4797429 140734572200080 18446744073709551615 4430115 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29172/tid=29176] ppid=29170 vsize=1575828 CPUtime=1199.08 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (techdemo) R 29170 29172 27972 0 -1 4202560 73990 0 0 0 119889 19 0 0 25 0 4 0 603158550 1613647872 237687 33554432000 4194304 4797429 140734572200080 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 1575828

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.86
CPU time (s): 4800.19
CPU user time (s): 4798.02
CPU system time (s): 2.17267
CPU usage (%): 399.395
Max. virtual memory (cumulated for all children) (KiB): 1679008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.02
system time used= 2.17267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603597
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= 13607
involuntary context switches= 25597

runsolver used 1.86172 second user time and 4.05338 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 04:07:58
IDJOB=3289792
IDBENCH=83137
IDSOLVER=1584
FILE ID=node115/3289792-1304129278
RUNJOBID= node115-1304129278-29149
PBS_JOBID= 13170743
Free space on /tmp= 72868 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289792-1304129278/watcher-3289792-1304129278 -o /tmp/evaluation-result-3289792-1304129278/solver-3289792-1304129278 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3289792-1304129278.cnf

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

MD5SUM BENCH= e560aa6505ddce6d3784f70d5b7aff66
RANDOM SEED=1007763834

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29741712 kB
Buffers:        821336 kB
Cached:        1895964 kB
SwapCached:          0 kB
Active:         197636 kB
Inactive:      2587156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29741712 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           19168 kB
Writeback:          16 kB
AnonPages:       67048 kB
Mapped:          15216 kB
Slab:           361552 kB
PageTables:       4984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   662464 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= 72868 MiB
End job on node115 at 2011-04-30 04:28:02