Trace number 3172664

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.45 1202.13

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf
MD5SUM17341e8eb76284acaef626682c91dea1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark16.4195
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3172664-1304082974.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.09/0.16	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.09/0.16	c -- vars added      15000
0.09/0.16	c Parsing time:  0.15 s
0.28/0.21	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.28/0.21	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.18
0.28/0.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.14
0.28/0.26	c Calc non-exist non-lernt bins v-fix:     0 done:  15000 time:  0.02 s
0.28/0.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.28/0.26	c Subs w/ non-existent bins:      0 time:  0.01 s
0.66/0.32	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.66/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.66/0.32	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
3.87/1.18	c lits-rem:         0  cl-subs:        0  v-elim:    988  v-fix:    0  time:  0.65 s
3.87/1.18	c learnt bin added due to v-elim: 0
3.87/1.18	c Finding binary XORs  T:     0.01 s  found:       0
3.87/1.18	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
3.87/1.18	c calculated reachability. Time: 0.00
3.87/1.18	c Calc default polars -  time:   0.02 s pos:    6584 undec:    1865 neg:    6551
3.87/1.18	c =========================================================================================
3.87/1.18	c types(t): F = full restart, N = normal restart
3.87/1.18	c types(t): S = simplification begin/end, E = solution found
3.87/1.18	c restart types(rt): st = static, dy = dynamic
3.87/1.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.87/1.18	c  B st     0         0     14463     62297         0         0    189813         0   no data   no data  --
3.87/1.18	c Decided on dynamic restart strategy
5.45/1.50	c  N dy    20      4107     14463     62297         0      4107    189813    673869    159.26    104.12  --
9.44/2.51	c  N dy    48      8119     14463     62297         0      8119    189813   1299227    171.98    102.95  --
13.03/3.49	c  N dy    76     12131     14463     62297         0     12131    189813   1892864    160.89    102.09  --
17.78/4.61	c  N dy   105     16270     14463     62297         0     16270    189813   2536083    149.88    101.99  --
22.18/5.79	c  N dy   134     20417     14463     62297         0     10416    189813    498910    144.28    101.62  --
26.97/6.93	c  N dy   162     24455     14463     62297         0     14453    189813   1125179    146.04    101.86  --
31.37/8.00	c  N dy   191     28568     14463     62297         0     18565    189813   1772100    165.55    102.27  --
33.37/8.56	c  S st   201     30000     14463     62297         0     19997    189813   1987037    153.27    102.07  --
34.18/8.70	c  S st   201     30504     14463     62297         0     20501    189813   2041076    153.27    102.07  --
34.18/8.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
34.18/8.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.58/8.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.72
34.96/8.90	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.02 s
34.96/8.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.96/8.92	c Subs w/ non-existent bins:      0 time:  0.08 s
35.36/9.07	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.36/9.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.36/9.08	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
52.54/13.36	c lits-rem:         3  cl-subs:     1392  v-elim:    266  v-fix:    0  time: 17.10 s
52.54/13.36	c learnt bin added due to v-elim: 0
52.54/13.37	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
52.54/13.39	c vivif2 --  cl tried    19109 cl shrink        0 lits rem          0 time: 0.08
53.33/13.59	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.81
53.33/13.59	c calculated reachability. Time: 0.00
53.33/13.59	c  N dy   201     30504     14463     62297         0     19109    189813   1942552    153.27    102.07  --
53.33/13.59	c  F st   201     30504     14463     62297         0     19109    189813   1942552    153.27    102.07  --
56.15/14.23	c Decided on dynamic restart strategy
58.53/14.85	c  N dy   221     34581     14463     62297         0     23186    189813   2630281    139.57    103.57  --
64.12/16.21	c  N dy   250     38723     14463     62297         0     27328    189813   3259780    151.72    103.36  --
68.91/17.47	c  N dy   279     42828     14463     62297         0     15934    189813    621790    150.68    102.96  --
72.51/18.34	c  S st   300     45758     14463     62297         0     18864    189813   1072236    155.43    102.94  --
72.91/18.49	c  S st   300     46262     14463     62297         0     19368    189813   1130458    155.43    102.94  --
73.31/18.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
73.31/18.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.73/18.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.54
73.73/18.64	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.02 s
73.73/18.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.73/18.65	c Subs w/ non-existent bins:      0 time:  0.05 s
74.13/18.72	c bin-w-bin subsume rem            0 bins  time:  0.02 s
74.13/18.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
74.13/18.73	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
83.69/21.18	c lits-rem:        14  cl-subs:      453  v-elim:    266  v-fix:    0  time:  9.79 s
83.69/21.18	c learnt bin added due to v-elim: 0
83.69/21.19	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
84.09/21.20	c vivif2 --  cl tried    18915 cl shrink        0 lits rem          0 time: 0.06
84.49/21.36	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.65
84.49/21.37	c calculated reachability. Time: 0.00
84.49/21.37	c  N dy   300     46262     14463     62297         0     18915    189813   1102181    155.43    102.94  --
89.68/22.63	c  N dy   329     50380     14463     62297         0     23033    189813   1746993    143.30    103.09  --
94.07/23.75	c  N dy   357     54399     14463     62297         0     27051    189813   2358487    153.58    102.95  --
99.28/25.00	c  N dy   386     58520     14463     62297         0     31172    189813   2971266    140.97    102.72  --
104.48/26.38	c  N dy   414     62548     14463     62297         0     35200    189813   3593073    156.75    102.71  --
110.05/27.75	c  N dy   442     66558     14463     62297         0     20461    189813    801900    142.99    102.51  --
113.67/28.69	c  S st   462     69394     14463     62297         0     23297    189813   1232560    143.20    102.52  --
114.44/28.83	c  S st   462     69895     14463     62297         0     23798    189813   1286902    143.20    102.52  --
114.44/28.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
114.44/28.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.84/28.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.56
114.84/28.98	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.02 s
114.84/28.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
115.25/29.00	c Subs w/ non-existent bins:      0 time:  0.05 s
115.25/29.06	c bin-w-bin subsume rem            0 bins  time:  0.02 s
115.25/29.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
115.25/29.07	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
125.63/31.66	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
132.82/33.43	c Added 0 vars  tried: 80000 time: 7.07
132.82/33.43	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    7.08
132.82/33.47	c lits-rem:         2  cl-subs:      790  v-elim:    266  v-fix:    0  time: 17.57 s
132.82/33.47	c learnt bin added due to v-elim: 0
132.82/33.48	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
132.82/33.49	c vivif2 --  cl tried    23008 cl shrink        0 lits rem          0 time: 0.06
133.62/33.67	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.73
133.62/33.68	c calculated reachability. Time: 0.00
133.62/33.68	c  N dy   462     69895     14463     62297         0     23008    189813   1242546    143.20    102.52  --
133.62/33.68	c  F st   462     69895     14463     62297         0     23008    189813   1242546    143.20    102.52  --
136.41/34.36	c Decided on dynamic restart strategy
139.63/35.13	c  N dy   486     74476     14463     62297         0     27587    189813   1984366    145.29    102.74  --
145.21/36.53	c  N dy   520     79329     14463     62297         0     32440    189813   2722462    147.74    102.71  --
152.00/38.23	c  N dy   556     84478     14463     62297         0     37587    189813   3490985    146.60    102.54  --
159.59/40.17	c  N dy   594     89882     14463     62297         0     22119    189813    722607    155.85    102.52  --
167.17/42.04	c  N dy   634     95627     14463     62297         0     27864    189813   1612591    158.57    102.62  --
174.78/43.96	c  N dy   677    101734     14463     62297         0     33971    189813   2542711    151.69    102.57  --
179.96/45.26	c  S st   699    104842     14463     62297         0     37079    189813   3015184    144.87    102.56  --
180.76/45.45	c  S st   699    105346     14463     62297         0     37583    189813   3073594    144.87    102.56  --
180.76/45.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
180.76/45.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.95/45.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.06
181.95/45.74	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.03 s
181.95/45.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.95/45.76	c Subs w/ non-existent bins:      0 time:  0.11 s
182.75/45.93	c bin-w-bin subsume rem            0 bins  time:  0.02 s
182.75/45.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
182.75/45.94	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
213.10/53.54	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
213.50/53.60	c lits-rem:         0  cl-subs:     1451  v-elim:    266  v-fix:    0  time: 30.57 s
213.50/53.60	c learnt bin added due to v-elim: 0
213.50/53.60	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
213.50/53.64	c vivif2 --  cl tried    36132 cl shrink        0 lits rem          0 time: 0.13
214.72/53.94	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 1.19
214.72/53.94	c calculated reachability. Time: 0.00
214.72/53.94	c  N dy   699    105346     14463     62297         0     36132    189813   2955614    144.87    102.56  --
223.51/56.11	c  N dy   746    112113     14463     62297         0     42899    189813   3994210    146.16    102.44  --
231.90/58.27	c  N dy   797    119309     14463     62297         0     27657    189813   1294905    154.10    102.25  --
241.46/60.64	c  N dy   851    126953     14463     62297         0     35300    189813   2485637    149.64    102.30  --
251.85/63.30	c  N dy   907    135086     14463     62297         0     43428    189813   3782220    169.38    102.51  --
263.06/66.09	c  N dy   967    143811     14463     62297         0     28436    189813   1230997    162.97    102.67  --
275.02/69.00	c  N dy  1031    153054     14463     62297         0     37676    189813   2683215    148.62    102.73  --
282.61/70.96	c  S st  1066    158020     14463     62297         0     42639    189813   3432296    161.31    102.64  --
283.41/71.16	c  S st  1066    158523     14463     62297         0     43142    189813   3487219    161.31    102.64  --
283.41/71.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
283.41/71.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
284.62/71.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.24
284.62/71.49	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.03 s
284.62/71.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.02/71.53	c Subs w/ non-existent bins:      0 time:  0.12 s
285.80/71.71	c bin-w-bin subsume rem            0 bins  time:  0.02 s
285.80/71.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
285.80/71.72	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
324.57/81.42	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
324.57/81.48	c lits-rem:         0  cl-subs:     1880  v-elim:    266  v-fix:    0  time: 38.99 s
324.57/81.48	c learnt bin added due to v-elim: 0
324.57/81.49	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
324.95/81.53	c vivif2 --  cl tried    41262 cl shrink        0 lits rem          0 time: 0.16
326.15/81.87	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 1.38
326.15/81.88	c calculated reachability. Time: 0.00
326.15/81.88	c  N dy  1066    158523     14463     62297         0     41262    189813   3332446    161.31    102.64  --
340.12/85.39	c  N dy  1136    168664     14463     62297         0     26551    189813    742433    173.10    102.65  --
354.51/88.97	c  N dy  1212    179533     14463     62297         0     37419    189813   2424574    168.69    102.75  --
371.28/93.10	c  N dy  1292    191026     14463     62297         0     48910    189813   4215182    157.23    102.75  --
387.66/97.23	c  N dy  1377    203261     14463     62297         0     35218    189813   1865981    153.14    102.75  --
406.44/101.93	c  N dy  1467    216246     14463     62297         0     48203    189813   3895614    170.90    102.76  --
425.63/106.77	c  N dy  1564    230105     14463     62297         0     35098    189813   1731276    173.83    102.88  --
437.60/109.76	c  S st  1618    237784     14463     62297         0     42777    189813   2923854    148.15    102.89  --
438.41/109.96	c  S st  1618    238287     14463     62297         0     43280    189813   2980248    148.15    102.89  --
438.41/109.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
438.41/109.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.59/110.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.22
439.59/110.28	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.03 s
439.59/110.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.99/110.31	c Subs w/ non-existent bins:      0 time:  0.11 s
440.39/110.47	c bin-w-bin subsume rem            0 bins  time:  0.02 s
440.39/110.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
440.39/110.48	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
473.97/118.85	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
474.34/118.91	c lits-rem:         0  cl-subs:     1980  v-elim:    266  v-fix:    0  time: 33.67 s
474.34/118.91	c learnt bin added due to v-elim: 0
474.34/118.92	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
474.34/118.95	c vivif2 --  cl tried    41300 cl shrink        0 lits rem          0 time: 0.14
475.55/119.27	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 1.27
475.55/119.27	c calculated reachability. Time: 0.00
475.55/119.27	c  N dy  1618    238287     14463     62297         0     41300    189813   2855985    148.15    102.89  --
498.32/124.94	c  N dy  1724    253524     14463     62297         0     28557    189813    511953    152.51    102.96  --
519.89/130.34	c  N dy  1837    269709     14463     62297         0     44741    189813   3024578    157.87    103.05  --
544.64/136.50	c  N dy  1958    287020     14463     62297         0     33061    189813   1070510    157.24    103.11  --
569.01/142.62	c  N dy  2087    305476     14463     62297         0     51516    189813   3930287    165.99    103.04  --
595.78/149.31	c  N dy  2224    325056     14463     62297         0     41097    189813   2150297    157.95    103.16  --
625.33/156.76	c  N dy  2364    345083     14463     62297         0     61121    189813   5274009    156.54    103.21  --
642.51/161.09	c  S st  2450    357430     14463     62297         0     42473    189813   2189514    161.90    103.24  --
643.31/161.28	c  S st  2450    357933     14463     62297         0     42976    189813   2245713    161.90    103.24  --
643.31/161.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
643.31/161.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
644.51/161.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  1.18
644.51/161.59	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.03 s
644.51/161.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
644.93/161.61	c Subs w/ non-existent bins:      0 time:  0.08 s
645.33/161.73	c bin-w-bin subsume rem            0 bins  time:  0.02 s
645.33/161.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
645.33/161.74	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
666.90/167.17	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
676.09/169.49	c Added 0 vars  tried: 80000 time: 9.27
676.09/169.49	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    9.27
676.46/169.54	c lits-rem:         1  cl-subs:     2351  v-elim:    266  v-fix:    0  time: 31.16 s
676.46/169.54	c learnt bin added due to v-elim: 0
676.46/169.55	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
676.46/169.57	c vivif2 --  cl tried    40625 cl shrink        0 lits rem          0 time: 0.10
677.66/169.83	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 1.03
677.66/169.83	c calculated reachability. Time: 0.00
677.66/169.83	c  N dy  2450    357933     14463     62297         0     40625    189813   2150471    161.90    103.24  --
708.02/177.40	c  N dy  2589    377995     14463     62297         0     60684    189813   5347416    153.56    103.36  --
736.78/184.69	c  N dy  2729    398078     14463     62297         0     48772    189813   3012497    157.87    103.38  --
768.36/192.59	c  N dy  2870    418190     14463     62297         0     35884    189813    851064    153.06    103.44  --
798.72/200.12	c  N dy  3009    438270     14463     62297         0     55962    189813   3982812    149.04    103.43  --
829.87/207.94	c  N dy  3149    458298     14463     62297         0     41995    189813   1648485    152.19    103.51  --
860.63/215.69	c  N dy  3289    478362     14463     62297         0     62056    189813   4726306    153.29    103.48  --
891.39/223.32	c  N dy  3429    498486     14463     62297         0     47183    189813   2302354    163.19    103.50  --
922.14/231.03	c  N dy  3569    518488     14463     62297         0     67182    189813   5387084    153.48    103.47  --
948.89/237.75	c  S st  3698    536900     14463     62297         0     49598    189813   2467544    147.99    103.43  --
949.69/237.95	c  S st  3698    537403     14463     62297         0     50101    189813   2525165    147.99    103.43  --
949.69/237.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
949.69/237.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
951.29/238.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.6M T:  1.46
951.29/238.33	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.03 s
951.29/238.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
951.29/238.36	c Subs w/ non-existent bins:      0 time:  0.09 s
951.69/238.48	c bin-w-bin subsume rem            0 bins  time:  0.02 s
951.69/238.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
951.69/238.49	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
980.45/245.64	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
980.45/245.69	c lits-rem:         1  cl-subs:     2961  v-elim:    266  v-fix:    0  time: 28.74 s
980.45/245.69	c learnt bin added due to v-elim: 0
980.45/245.69	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
980.85/245.72	c vivif2 --  cl tried    47140 cl shrink        0 lits rem          0 time: 0.11
982.04/246.00	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 1.11
982.04/246.01	c calculated reachability. Time: 0.00
982.04/246.01	c  N dy  3698    537403     14463     62297         0     47140    189813   2416605    147.99    103.43  --
982.04/246.01	c  F st  3698    537403     14463     62297         0     47140    189813   2416605    147.99    103.43  --
984.84/246.77	c Decided on dynamic restart strategy
1013.21/253.81	c  N dy  3828    557457     14463     62297         0     67189    189813   5619636    157.19    103.52  --
1043.56/261.42	c  N dy  3969    577557     14463     62297         0     50291    189813   2442924    149.54    103.50  --
1076.31/269.68	c  N dy  4109    597670     14463     62297         0     70398    189813   5619146    142.47    103.53  --
1107.46/277.49	c  N dy  4249    617773     14463     62297         0     52504    189813   2661860    163.33    103.56  --
1140.63/285.78	c  N dy  4389    637823     14463     62297         0     72553    189813   5805583    159.71    103.57  --
1173.38/293.92	c  N dy  4529    657972     14463     62297         0     53705    189813   2729679    151.53    103.60  --
1206.94/302.35	c  N dy  4669    678094     14463     62297         0     73822    189813   5877091    150.72    103.62  --
1239.29/310.46	c  N dy  4808    698109     14463     62297         0     53841    189813   2591733    167.12    103.66  --
1274.03/319.15	c  N dy  4947    718166     14463     62297         0     73896    189813   5696917    145.81    103.64  --
1308.00/327.63	c  N dy  5086    738227     14463     62297         0     52960    189813   2326227    193.48    103.69  --
1339.58/335.54	c  N dy  5226    758295     14463     62297         0     73025    189813   5392230    141.88    103.65  --
1370.34/343.29	c  N dy  5366    778421     14463     62297         0     51153    189813   1855361    157.26    103.70  --
1401.47/351.00	c  N dy  5506    798467     14463     62297         0     71198    189813   4959843    140.32    103.70  --
1416.65/354.81	c  S st  5560    806104     14463     62297         0     78834    189813   6148736    179.51    103.72  --
1417.45/355.07	c  S st  5560    806609     14463     62297         0     79339    189813   6205037    179.51    103.72  --
1417.45/355.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1417.45/355.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1420.24/355.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.2M T:  2.78
1420.24/355.79	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.03 s
1420.24/355.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1420.64/355.84	c Subs w/ non-existent bins:      0 time:  0.19 s
1421.85/356.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1421.85/356.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1421.85/356.13	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1824.09/456.82	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
1853.26/464.16	c Added 0 vars  tried: 80000 time: 29.29
1853.26/464.16	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:   29.29
1853.66/464.27	c lits-rem:         0  cl-subs:     4543  v-elim:    266  v-fix:    0  time: 431.89 s
1853.66/464.27	c learnt bin added due to v-elim: 0
1853.66/464.27	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
1854.04/464.34	c vivif2 --  cl tried    74796 cl shrink        0 lits rem          0 time: 0.27
1855.64/464.78	c asymm  cl-useful: 0/49855/62297 lits-rem:0 time: 1.76
1855.64/464.78	c calculated reachability. Time: 0.00
1855.64/464.78	c  N dy  5560    806609     14463     62297         0     74796    189813   5920060    179.51    103.72  --
1889.20/473.11	c  N dy  5701    826698     14463     62297         0     51890    189813   1840361    142.78    103.74  --
1921.95/481.30	c  N dy  5840    846754     14463     62297         0     71939    189813   4985007    169.58    103.74  --
1957.51/490.21	c  N dy  5980    866820     14463     62297         0     48008    189813   1068386    161.68    103.76  --
1989.88/498.34	c  N dy  6120    886949     14463     62297         0     68133    189813   4242224    142.57    103.77  --
2027.41/507.72	c  N dy  6259    907010     14463     62297         0     88188    189813   7354500    168.66    103.74  --
2059.79/515.88	c  N dy  6399    927120     14463     62297         0     63303    189813   3318612    147.52    103.77  --
2096.11/524.99	c  N dy  6538    947184     14463     62297         0     83365    189813   6467260    153.12    103.79  --
2132.59/534.12	c  N dy  6678    967222     14463     62297         0     57409    189813   2208601    185.99    103.78  --
2169.31/543.44	c  N dy  6818    987265     14463     62297         0     77448    189813   5338616    156.92    103.77  --
2208.35/553.27	c  N dy  6957   1007274     14463     62297         0     50465    189813    968962    162.31    103.77  --
2241.10/561.49	c  N dy  7097   1027366     14463     62297         0     70556    189813   4123511    160.77    103.78  --
2278.66/570.87	c  N dy  7237   1047503     14463     62297         0     90690    189813   7292085    152.83    103.81  --
2311.00/578.95	c  N dy  7377   1067609     14463     62297         0     62800    189813   2756721    135.90    103.79  --
2343.75/587.15	c  N dy  7516   1087635     14463     62297         0     82825    189813   5916108    156.88    103.80  --
2379.72/596.12	c  N dy  7656   1107711     14463     62297         0     53902    189813   1224518    151.80    103.82  --
2411.65/604.15	c  N dy  7796   1127772     14463     62297         0     73958    189813   4365243    160.06    103.83  --
2449.21/613.55	c  N dy  7936   1147868     14463     62297         0     94051    189813   7594753    167.60    103.87  --
2483.16/622.06	c  N dy  8076   1167924     14463     62297         0     64109    189813   2620514    153.75    103.85  --
2519.11/631.08	c  N dy  8216   1188037     14463     62297         0     84222    189813   5742374    161.38    103.84  --
2559.05/641.06	c  N dy  8356   1208130     14463     62297         0     53318    189813    836589    165.43    103.87  --
2562.25/641.84	c  S st  8369   1209914     14463     62297         0     55102    189813   1124520    163.22    103.88  --
2563.05/642.08	c  S st  8369   1210417     14463     62297         0     55605    189813   1186010    163.22    103.88  --
2563.05/642.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2563.05/642.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2565.05/642.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  1.77
2565.05/642.54	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.03 s
2565.05/642.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2565.05/642.56	c Subs w/ non-existent bins:      0 time:  0.06 s
2565.45/642.63	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2565.45/642.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2565.45/642.64	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
2576.24/645.36	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
2580.63/646.45	c Added 0 vars  tried: 80000 time: 4.34
2580.63/646.45	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    4.34
2580.63/646.49	c lits-rem:        19  cl-subs:     3578  v-elim:    266  v-fix:    0  time: 15.38 s
2580.63/646.49	c learnt bin added due to v-elim: 0
2580.63/646.50	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
2581.03/646.51	c vivif2 --  cl tried    52027 cl shrink        0 lits rem          0 time: 0.06
2581.03/646.57	c asymm  cl-useful: 0/12442/62297 lits-rem:0 time: 0.23
2581.03/646.57	c calculated reachability. Time: 0.00
2581.03/646.57	c  N dy  8369   1210417     14463     62297         0     52027    189813   1125698    163.22    103.88  --
2615.79/655.26	c  N dy  8509   1230539     14463     62297         0     72146    189813   4307525    150.05    103.90  --
2654.53/664.97	c  N dy  8648   1250592     14463     62297         0     92194    189813   7501839    162.39    103.94  --
2693.67/674.76	c  N dy  8788   1270687     14463     62297         0     60297    189813   1769838    164.05    103.94  --
2730.42/683.96	c  N dy  8928   1290756     14463     62297         0     80358    189813   4925923    153.68    103.96  --
2771.56/694.29	c  N dy  9069   1310797     14463     62297         0    100396    189813   8052134    157.76    103.96  --
2809.12/703.61	c  N dy  9210   1330866     14463     62297         0     67474    189813   2715099    137.39    103.95  --
2847.86/713.34	c  N dy  9350   1350872     14463     62297         0     87476    189813   5952417    166.06    104.00  --
2889.83/723.86	c  N dy  9491   1370985     14463     62297         0    107583    189813   9085763    133.60    103.99  --
2922.96/732.19	c  N dy  9631   1391053     14463     62297         0     73655    189813   3620681    154.86    104.02  --
2959.31/741.25	c  N dy  9771   1411181     14463     62297         0     93779    189813   6833317    168.16    104.03  --
2997.26/750.72	c  N dy  9910   1431264     14463     62297         0     58872    189813   1129807    142.58    104.05  --
3030.03/758.94	c  N dy 10049   1451274     14463     62297         0     78877    189813   4378439    172.72    104.09  --
3067.96/768.48	c  N dy 10189   1471369     14463     62297         0     98966    189813   7503276    157.16    104.10  --
3107.90/778.45	c  N dy 10328   1491389     14463     62297         0     62998    189813   1604475    156.59    104.12  --
3143.05/787.21	c  N dy 10467   1511394     14463     62297         0     82998    189813   4741079    145.96    104.12  --
3182.61/797.15	c  N dy 10608   1531455     14463     62297         0    103053    189813   7852216    146.22    104.13  --
3221.75/806.95	c  N dy 10748   1551582     14463     62297         0     66189    189813   1942364    139.12    104.15  --
3258.51/816.18	c  N dy 10887   1571644     14463     62297         0     86249    189813   5144678    162.88    104.17  --
3300.84/826.73	c  N dy 11026   1591649     14463     62297         0    106250    189813   8311103    160.69    104.17  --
3340.78/836.71	c  N dy 11165   1611668     14463     62297         0     68274    189813   2147836    149.91    104.19  --
3378.33/846.11	c  N dy 11305   1631748     14463     62297         0     88353    189813   5266527    148.31    104.18  --
3421.87/857.01	c  N dy 11445   1651827     14463     62297         0    108430    189813   8383679    147.66    104.16  --
3461.42/866.97	c  N dy 11584   1671922     14463     62297         0     69532    189813   2221098    161.09    104.19  --
3500.97/876.82	c  N dy 11723   1691978     14463     62297         0     89587    189813   5428430    141.52    104.21  --
3543.31/887.43	c  S st 11852   1710419     14463     62297         0    108022    189813   8317031    157.97    104.20  --
3544.53/887.77	c  S st 11852   1710924     14463     62297         0    108527    189813   8381005    157.97    104.20  --
3544.53/887.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3544.53/887.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3549.70/889.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.2M T:  4.88
3549.70/889.02	c Calc non-exist non-lernt bins v-fix:     0 done:  14463 time:  0.03 s
3549.70/889.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3549.70/889.09	c Subs w/ non-existent bins:      0 time:  0.26 s
3551.30/889.48	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3551.30/889.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3551.30/889.49	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
4301.07/1077.12	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
4301.47/1077.27	c lits-rem:         0  cl-subs:     6082  v-elim:    266  v-fix:    0  time: 749.98 s
4301.47/1077.27	c learnt bin added due to v-elim: 0
4301.47/1077.27	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
4301.87/1077.37	c vivif2 --  cl tried   102445 cl shrink        0 lits rem          0 time: 0.38
4303.87/1077.83	c asymm  cl-useful: 0/36800/62297 lits-rem:0 time: 1.85
4303.87/1077.84	c calculated reachability. Time: 0.00
4303.87/1077.84	c  N dy 11852   1710924     14463     62297         0    102445    189813   7995598    157.97    104.20  --
4349.40/1089.26	c  N dy 11992   1731019     14463     62297         0     62547    189813    935771    153.28    104.20  --
4386.96/1098.64	c  N dy 12132   1751084     14463     62297         0     82608    189813   4090598    159.55    104.20  --
4429.29/1109.29	c  N dy 12272   1771165     14463     62297         0    102683    189813   7259075    176.63    104.21  --
4476.43/1121.09	c  N dy 12412   1791230     14463     62297         0     61757    189813    645087    160.44    104.22  --
4512.77/1130.10	c  N dy 12552   1811313     14463     62297         0     81836    189813   3804227    158.51    104.23  --
4551.13/1139.73	c  N dy 12692   1831349     14463     62297         0    101867    189813   6983269    167.40    104.25  --
4591.87/1149.93	c  N dy 12833   1851484     14463     62297         0    121998    189813  10181547    155.71    104.26  --
4626.22/1158.54	c  N dy 12973   1871516     14463     62297         0     80040    189813   3396234    155.60    104.28  --
4663.38/1167.85	c  N dy 13112   1891548     14463     62297         0    100068    189813   6577859    167.90    104.29  --
4706.51/1178.64	c  N dy 13251   1911644     14463     62297         0    120162    189813   9700004    161.54    104.28  --
4744.46/1188.12	c  N dy 13390   1931718     14463     62297         0     77242    189813   2805449    155.64    104.29  --
4782.41/1197.61	c  N dy 13531   1951828     14463     62297         0     97348    189813   5945173    155.03    104.29  --

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-3172664-1304082974/watcher-3172664-1304082974 -o /tmp/evaluation-result-3172664-1304082974/solver-3172664-1304082974 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172664-1304082974.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: 6.91 7.85 7.94 2/177 27766
/proc/meminfo: memFree=19033340/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=24708 CPUtime=0 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 1439 0 0 0 0 0 0 0 25 0 1 0 500713299 25300992 1378 33554432000 4194304 4797429 140734181732624 18446744073709551615 233509994681 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27766/statm: 6177 1379 341 148 0 1106 0

[startup+0.0505441 s]
/proc/loadavg: 6.91 7.85 7.94 2/177 27766
/proc/meminfo: memFree=19033340/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=75260 CPUtime=0.04 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 8093 0 0 0 3 1 0 0 25 0 1 0 500713299 77066240 6611 33554432000 4194304 4797429 140734181732624 18446744073709551615 233509958341 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27766/statm: 18815 6612 348 148 0 13744 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 75260

[startup+0.100513 s]
/proc/loadavg: 6.91 7.85 7.94 2/177 27766
/proc/meminfo: memFree=19033340/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=80492 CPUtime=0.09 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 9826 0 0 0 8 1 0 0 25 0 1 0 500713299 82423808 8252 33554432000 4194304 4797429 140734181732624 18446744073709551615 233509958341 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27766/statm: 20123 8252 348 148 0 15052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 80492

[startup+0.300462 s]
/proc/loadavg: 6.91 7.85 7.94 2/177 27766
/proc/meminfo: memFree=19033340/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=783288 CPUtime=0.66 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) S 27764 27766 27728 0 -1 4202496 16988 0 0 0 60 6 0 0 17 0 4 0 500713299 802086912 14054 33554432000 4194304 4797429 140734181732624 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 195822 14057 385 148 0 190751 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 783288

[startup+0.700363 s]
/proc/loadavg: 6.91 7.85 7.94 2/177 27766
/proc/meminfo: memFree=19033340/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=787072 CPUtime=2.26 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 20827 0 0 0 217 9 0 0 18 0 4 0 500713299 805961728 17657 33554432000 4194304 4797429 140734181732624 18446744073709551615 4341181 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 196768 17657 410 148 0 191697 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 787072

[startup+1.50022 s]
/proc/loadavg: 6.91 7.85 7.94 12/184 27773
/proc/meminfo: memFree=18928628/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=787760 CPUtime=5.45 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 23216 0 0 0 536 9 0 0 19 0 4 0 500713299 806666240 20031 33554432000 4194304 4797429 140734181732624 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 196940 20031 412 148 0 191869 0
[pid=27766/tid=27771] ppid=27764 vsize=787760 CPUtime=1.31 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 2435 0 0 0 129 2 0 0 19 0 4 0 500713316 806666240 20031 33554432000 4194304 4797429 140734181732624 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=787760 CPUtime=1.32 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 2890 0 0 0 131 1 0 0 19 0 4 0 500713316 806666240 20031 33554432000 4194304 4797429 140734181732624 18446744073709551615 4423648 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=787760 CPUtime=1.32 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 2662 0 0 0 130 2 0 0 19 0 4 0 500713316 806666240 20031 33554432000 4194304 4797429 140734181732624 18446744073709551615 4424779 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 787760

[startup+3.10093 s]
/proc/loadavg: 6.91 7.85 7.94 9/184 27773
/proc/meminfo: memFree=18908912/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=793452 CPUtime=11.84 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 28194 0 0 0 1173 11 0 0 23 0 4 0 500713299 812494848 24989 33554432000 4194304 4797429 140734181732624 18446744073709551615 4387526 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 198363 24989 413 148 0 193292 0
[pid=27766/tid=27771] ppid=27764 vsize=793452 CPUtime=2.9 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 3556 0 0 0 288 2 0 0 24 0 4 0 500713316 812494848 24989 33554432000 4194304 4797429 140734181732624 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=793452 CPUtime=2.91 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 4025 0 0 0 290 1 0 0 24 0 4 0 500713316 812494848 24989 33554432000 4194304 4797429 140734181732624 18446744073709551615 4424536 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=793452 CPUtime=2.92 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 3808 0 0 0 290 2 0 0 24 0 4 0 500713316 812494848 24989 33554432000 4194304 4797429 140734181732624 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.84
Current children cumulated vsize (KiB) 793452

[startup+6.30036 s]
/proc/loadavg: 7.00 7.85 7.94 9/184 27773
/proc/meminfo: memFree=18850716/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=802624 CPUtime=24.57 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 37925 0 0 0 2437 20 0 0 25 0 4 0 500713299 821886976 31185 33554432000 4194304 4797429 140734181732624 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 200656 31185 416 148 0 195585 0
[pid=27766/tid=27771] ppid=27764 vsize=802624 CPUtime=6.06 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 5719 0 0 0 601 5 0 0 23 0 4 0 500713316 821886976 31185 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=802624 CPUtime=6.11 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 5728 0 0 0 607 4 0 0 23 0 4 0 500713316 821886976 31185 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=802624 CPUtime=6.1 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 6296 0 0 0 605 5 0 0 23 0 4 0 500713316 821886976 31185 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.57
Current children cumulated vsize (KiB) 802624

[startup+12.7002 s]
/proc/loadavg: 7.08 7.85 7.94 9/184 27773
/proc/meminfo: memFree=18825608/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=811360 CPUtime=50.14 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 44788 0 0 0 4992 22 0 0 25 0 4 0 500713299 830832640 37719 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 202840 37719 417 148 0 197769 0
[pid=27766/tid=27771] ppid=27764 vsize=811360 CPUtime=12.43 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 6532 0 0 0 1238 5 0 0 25 0 4 0 500713316 830832640 37719 33554432000 4194304 4797429 140734181732624 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=811360 CPUtime=12.5 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 6628 0 0 0 1246 4 0 0 25 0 4 0 500713316 830832640 37719 33554432000 4194304 4797429 140734181732624 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=811360 CPUtime=12.5 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 7241 0 0 0 1245 5 0 0 25 0 4 0 500713316 830832640 37719 33554432000 4194304 4797429 140734181732624 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.14
Current children cumulated vsize (KiB) 811360

[startup+25.5009 s]
/proc/loadavg: 7.28 7.86 7.94 9/184 27774
/proc/meminfo: memFree=18790936/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=818320 CPUtime=101.27 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 54684 0 0 0 10101 26 0 0 25 0 4 0 500713299 837959680 43078 33554432000 4194304 4797429 140734181732624 18446744073709551615 4387519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 204580 43078 419 148 0 199509 0
[pid=27766/tid=27771] ppid=27764 vsize=818320 CPUtime=25.16 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 7657 0 0 0 2510 6 0 0 25 0 4 0 500713316 837959680 43078 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=818320 CPUtime=25.31 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 7735 0 0 0 2526 5 0 0 25 0 4 0 500713316 837959680 43078 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=818320 CPUtime=25.3 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 8174 0 0 0 2524 6 0 0 25 0 4 0 500713316 837959680 43078 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.27
Current children cumulated vsize (KiB) 818320

[startup+51.1003 s]
/proc/loadavg: 7.52 7.87 7.94 9/184 27774
/proc/meminfo: memFree=18758576/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=835312 CPUtime=203.51 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 73996 0 0 0 20318 33 0 0 25 0 4 0 500713299 855359488 43533 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 208828 43533 420 148 0 203757 0
[pid=27766/tid=27771] ppid=27764 vsize=835312 CPUtime=50.61 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 10078 0 0 0 5055 6 0 0 25 0 4 0 500713316 855359488 43533 33554432000 4194304 4797429 140734181732624 18446744073709551615 4533314 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=835312 CPUtime=50.9 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 10638 0 0 0 5084 6 0 0 25 0 4 0 500713316 855359488 43533 33554432000 4194304 4797429 140734181732624 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=835312 CPUtime=50.89 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 10770 0 0 0 5083 6 0 0 25 0 4 0 500713316 855359488 43533 33554432000 4194304 4797429 140734181732624 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.51
Current children cumulated vsize (KiB) 835312

[startup+102.306 s]
/proc/loadavg: 7.84 7.90 7.94 9/184 27776
/proc/meminfo: memFree=18690964/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=848236 CPUtime=408.05 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 105018 0 0 0 40756 49 0 0 25 0 4 0 500713299 868593664 54387 33554432000 4194304 4797429 140734181732624 18446744073709551615 4424435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 212059 54387 420 148 0 206988 0
[pid=27766/tid=27771] ppid=27764 vsize=848236 CPUtime=101.54 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 12722 0 0 0 10146 8 0 0 25 0 4 0 500713316 868593664 54387 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=848236 CPUtime=102.11 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 12861 0 0 0 10204 7 0 0 25 0 4 0 500713316 868593664 54387 33554432000 4194304 4797429 140734181732624 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=848236 CPUtime=102.11 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 13262 0 0 0 10203 8 0 0 25 0 4 0 500713316 868593664 54387 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 848236

[startup+162.3 s]
/proc/loadavg: 8.05 7.95 7.95 9/184 27777
/proc/meminfo: memFree=18677548/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=858416 CPUtime=647.7 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 145143 0 0 0 64704 66 0 0 25 0 4 0 500713299 879017984 56673 33554432000 4194304 4797429 140734181732624 18446744073709551615 4524200 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 214604 56673 420 148 0 209533 0
[pid=27766/tid=27771] ppid=27764 vsize=858416 CPUtime=161.21 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 16600 0 0 0 16112 9 0 0 25 0 4 0 500713316 879017984 56673 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=858416 CPUtime=162.1 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 16822 0 0 0 16201 9 0 0 25 0 4 0 500713316 879017984 56673 33554432000 4194304 4797429 140734181732624 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=858416 CPUtime=162.1 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 17238 0 0 0 16201 9 0 0 25 0 4 0 500713316 879017984 56673 33554432000 4194304 4797429 140734181732624 18446744073709551615 4492019 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.7
Current children cumulated vsize (KiB) 858416

[startup+222.301 s]
/proc/loadavg: 8.12 7.98 7.96 9/184 27779
/proc/meminfo: memFree=18635760/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=870544 CPUtime=887.37 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 178958 0 0 0 88656 81 0 0 25 0 4 0 500713299 891437056 61360 33554432000 4194304 4797429 140734181732624 18446744073709551615 4422886 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 217636 61360 420 148 0 212565 0
[pid=27766/tid=27771] ppid=27764 vsize=870544 CPUtime=220.88 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 18703 0 0 0 22078 10 0 0 25 0 4 0 500713316 891437056 61360 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=870544 CPUtime=222.11 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 18520 0 0 0 22201 10 0 0 25 0 4 0 500713316 891437056 61360 33554432000 4194304 4797429 140734181732624 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=870544 CPUtime=222.1 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 20800 0 0 0 22200 10 0 0 25 0 4 0 500713316 891437056 61360 33554432000 4194304 4797429 140734181732624 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.37
Current children cumulated vsize (KiB) 870544

[startup+282.301 s]

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

[pid=27766] ppid=27764 vsize=913620 CPUtime=2803.92 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 383400 0 0 0 280218 174 0 0 25 0 4 0 500713299 935546880 79758 33554432000 4194304 4797429 140734181732624 18446744073709551615 4341204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 228405 79758 420 148 0 223334 0
[pid=27766/tid=27771] ppid=27764 vsize=913620 CPUtime=698.28 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 36435 0 0 0 69812 16 0 0 25 0 4 0 500713316 935546880 79758 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=913620 CPUtime=701.97 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 36062 0 0 0 70179 18 0 0 25 0 4 0 500713316 935546880 79758 33554432000 4194304 4797429 140734181732624 18446744073709551615 4424649 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=913620 CPUtime=702.11 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 37520 0 0 0 70194 17 0 0 25 0 4 0 500713316 935546880 79758 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2803.92
Current children cumulated vsize (KiB) 913620

[startup+762.307 s]
/proc/loadavg: 8.06 8.11 8.03 9/184 27796
/proc/meminfo: memFree=18480440/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=915060 CPUtime=3043.62 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 414282 0 0 0 304173 189 0 0 25 0 4 0 500713299 937021440 78952 33554432000 4194304 4797429 140734181732624 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 228765 78952 420 148 0 223694 0
[pid=27766/tid=27771] ppid=27764 vsize=915060 CPUtime=757.96 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 38436 0 0 0 75779 17 0 0 25 0 4 0 500713316 937021440 78952 33554432000 4194304 4797429 140734181732624 18446744073709551615 4430000 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=915060 CPUtime=761.98 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 38811 0 0 0 76179 19 0 0 25 0 4 0 500713316 937021440 78952 33554432000 4194304 4797429 140734181732624 18446744073709551615 4528955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=915060 CPUtime=762.12 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 40807 0 0 0 76194 18 0 0 25 0 4 0 500713316 937021440 78952 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3043.62
Current children cumulated vsize (KiB) 915060

[startup+822.3 s]
/proc/loadavg: 8.13 8.12 8.04 9/184 27798
/proc/meminfo: memFree=18445340/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=931500 CPUtime=3283.26 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 442271 0 0 0 328124 202 0 0 25 0 4 0 500713299 953856000 86765 33554432000 4194304 4797429 140734181732624 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 232875 86765 420 148 0 227804 0
[pid=27766/tid=27771] ppid=27764 vsize=931500 CPUtime=817.62 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 40081 0 0 0 81744 18 0 0 25 0 4 0 500713316 953856000 86765 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=931500 CPUtime=821.97 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 41246 0 0 0 82177 20 0 0 25 0 4 0 500713316 953856000 86765 33554432000 4194304 4797429 140734181732624 18446744073709551615 4526328 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=931500 CPUtime=822.11 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 43106 0 0 0 82193 18 0 0 25 0 4 0 500713316 953856000 86765 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.26
Current children cumulated vsize (KiB) 931500

[startup+882.3 s]
/proc/loadavg: 8.12 8.11 8.04 9/184 27800
/proc/meminfo: memFree=18429460/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=939748 CPUtime=3522.93 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 466269 0 0 0 352078 215 0 0 25 0 4 0 500713299 962301952 90167 33554432000 4194304 4797429 140734181732624 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 234937 90167 420 148 0 229866 0
[pid=27766/tid=27771] ppid=27764 vsize=939748 CPUtime=877.29 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 42141 0 0 0 87711 18 0 0 25 0 4 0 500713316 962301952 90167 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=939748 CPUtime=881.97 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 41917 0 0 0 88177 20 0 0 25 0 4 0 500713316 962301952 90167 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=939748 CPUtime=882.11 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 43771 0 0 0 88192 19 0 0 25 0 4 0 500713316 962301952 90167 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3522.93
Current children cumulated vsize (KiB) 939748

[startup+942.301 s]
/proc/loadavg: 8.11 8.11 8.04 9/184 27801
/proc/meminfo: memFree=18419524/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=939600 CPUtime=3762.61 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 475426 0 0 0 376041 220 0 0 25 0 4 0 500713299 962150400 87532 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 234900 87532 420 148 0 229829 0
[pid=27766/tid=27771] ppid=27764 vsize=939600 CPUtime=936.97 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 43920 0 0 0 93678 19 0 0 25 0 4 0 500713316 962150400 87532 33554432000 4194304 4797429 140734181732624 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=939600 CPUtime=941.98 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 44055 0 0 0 94177 21 0 0 25 0 4 0 500713316 962150400 87532 33554432000 4194304 4797429 140734181732624 18446744073709551615 4247462 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=939600 CPUtime=942.11 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 46044 0 0 0 94191 20 0 0 25 0 4 0 500713316 962150400 87532 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3762.61
Current children cumulated vsize (KiB) 939600

[startup+1002.3 s]
/proc/loadavg: 8.08 8.10 8.04 9/184 27803
/proc/meminfo: memFree=18415404/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=939600 CPUtime=4002.28 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 480354 0 0 0 400005 223 0 0 25 0 4 0 500713299 962150400 92237 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 234900 92237 420 148 0 229829 0
[pid=27766/tid=27771] ppid=27764 vsize=939600 CPUtime=996.64 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 45752 0 0 0 99645 19 0 0 25 0 4 0 500713316 962150400 92237 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=939600 CPUtime=1001.98 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 45601 0 0 0 100174 24 0 0 25 0 4 0 500713316 962150400 92237 33554432000 4194304 4797429 140734181732624 18446744073709551615 4240964 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=939600 CPUtime=1002.11 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 47594 0 0 0 100191 20 0 0 25 0 4 0 500713316 962150400 92237 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.28
Current children cumulated vsize (KiB) 939600

[startup+1062.3 s]
/proc/loadavg: 8.06 8.09 8.04 9/184 27804
/proc/meminfo: memFree=18379916/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=939600 CPUtime=4241.96 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 482760 0 0 0 423971 225 0 0 25 0 4 0 500713299 962150400 94549 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 234900 94549 420 148 0 229829 0
[pid=27766/tid=27771] ppid=27764 vsize=939600 CPUtime=1056.32 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 46842 0 0 0 105612 20 0 0 25 0 4 0 500713316 962150400 94549 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=939600 CPUtime=1061.98 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 46183 0 0 0 106174 24 0 0 25 0 4 0 500713316 962150400 94549 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=939600 CPUtime=1062.12 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 48328 0 0 0 106191 21 0 0 25 0 4 0 500713316 962150400 94549 33554432000 4194304 4797429 140734181732624 18446744073709551615 4341226 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4241.96
Current children cumulated vsize (KiB) 939600

[startup+1122.3 s]
/proc/loadavg: 8.05 8.09 8.04 9/184 27806
/proc/meminfo: memFree=18427012/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=941728 CPUtime=4481.62 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 501068 0 0 0 447927 235 0 0 25 0 4 0 500713299 964329472 86786 33554432000 4194304 4797429 140734181732624 18446744073709551615 4422855 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 235432 86786 420 148 0 230361 0
[pid=27766/tid=27771] ppid=27764 vsize=941728 CPUtime=1115.99 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 47244 0 0 0 111579 20 0 0 25 0 4 0 500713316 964329472 86786 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=941728 CPUtime=1121.98 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 46591 0 0 0 112174 24 0 0 25 0 4 0 500713316 964329472 86786 33554432000 4194304 4797429 140734181732624 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=941728 CPUtime=1122.12 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 49896 0 0 0 112190 22 0 0 25 0 4 0 500713316 964329472 86786 33554432000 4194304 4797429 140734181732624 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4481.62
Current children cumulated vsize (KiB) 941728

[startup+1182.3 s]
/proc/loadavg: 8.02 8.07 8.03 9/184 27808
/proc/meminfo: memFree=18386456/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=941712 CPUtime=4721.29 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 530428 0 0 0 471880 249 0 0 25 0 4 0 500713299 964313088 85038 33554432000 4194304 4797429 140734181732624 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 235428 85038 420 148 0 230357 0
[pid=27766/tid=27771] ppid=27764 vsize=941712 CPUtime=1175.67 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 49805 0 0 0 117546 21 0 0 25 0 4 0 500713316 964313088 85038 33554432000 4194304 4797429 140734181732624 18446744073709551615 4524363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=941712 CPUtime=1181.98 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 49319 0 0 0 118173 25 0 0 25 0 4 0 500713316 964313088 85038 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=941712 CPUtime=1182.12 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 51932 0 0 0 118190 22 0 0 25 0 4 0 500713316 964313088 85038 33554432000 4194304 4797429 140734181732624 18446744073709551615 4492016 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.29
Current children cumulated vsize (KiB) 941712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.01 8.06 8.03 5/179 27809
/proc/meminfo: memFree=18669832/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=941712 CPUtime=4800.41 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 538104 0 0 0 479787 254 0 0 25 0 4 0 500713299 964313088 92652 33554432000 4194304 4797429 140734181732624 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 235428 92652 420 148 0 230357 0
[pid=27766/tid=27771] ppid=27764 vsize=941712 CPUtime=1195.36 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 50187 0 0 0 119515 21 0 0 25 0 4 0 500713316 964313088 92652 33554432000 4194304 4797429 140734181732624 18446744073709551615 4526302 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=941712 CPUtime=1201.8 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 49707 0 0 0 120154 26 0 0 25 0 4 0 500713316 964313088 92652 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=941712 CPUtime=1201.92 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 52333 0 0 0 120170 22 0 0 25 0 4 0 500713316 964313088 92652 33554432000 4194304 4797429 140734181732624 18446744073709551615 4424850 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 941712

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

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

[startup+1202.1 s]
/proc/loadavg: 8.01 8.06 8.03 5/179 27809
/proc/meminfo: memFree=18669832/32951124 swapFree=67111528/67111528
[pid=27766] ppid=27764 vsize=941712 CPUtime=4800.41 cores=0,2,4,6
/proc/27766/stat : 27766 (techdemo) R 27764 27766 27728 0 -1 4202496 538104 0 0 0 479787 254 0 0 25 0 4 0 500713299 964313088 92652 33554432000 4194304 4797429 140734181732624 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27766/statm: 235428 92652 420 148 0 230357 0
[pid=27766/tid=27771] ppid=27764 vsize=941712 CPUtime=1195.36 cores=0,2,4,6
/proc/27766/task/27771/stat : 27771 (techdemo) R 27764 27766 27728 0 -1 4202560 50187 0 0 0 119515 21 0 0 25 0 4 0 500713316 964313088 92652 33554432000 4194304 4797429 140734181732624 18446744073709551615 4526302 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27766/tid=27772] ppid=27764 vsize=941712 CPUtime=1201.8 cores=0,2,4,6
/proc/27766/task/27772/stat : 27772 (techdemo) R 27764 27766 27728 0 -1 4202560 49707 0 0 0 120154 26 0 0 25 0 4 0 500713316 964313088 92652 33554432000 4194304 4797429 140734181732624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27766/tid=27773] ppid=27764 vsize=941712 CPUtime=1201.92 cores=0,2,4,6
/proc/27766/task/27773/stat : 27773 (techdemo) R 27764 27766 27728 0 -1 4202560 52333 0 0 0 120170 22 0 0 25 0 4 0 500713316 964313088 92652 33554432000 4194304 4797429 140734181732624 18446744073709551615 4424850 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 941712

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.13
CPU time (s): 4800.45
CPU user time (s): 4797.89
CPU system time (s): 2.55761
CPU usage (%): 399.329
Max. virtual memory (cumulated for all children) (KiB): 1049568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.89
system time used= 2.55761
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 538104
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= 22105
involuntary context switches= 24246

runsolver used 1.9507 second user time and 4.6263 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-29 15:16:14
IDJOB=3172664
IDBENCH=82682
IDSOLVER=1584
FILE ID=node145/3172664-1304082974
RUNJOBID= node145-1304082974-27746
PBS_JOBID= 13170541
Free space on /tmp= 72196 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172664-1304082974/watcher-3172664-1304082974 -o /tmp/evaluation-result-3172664-1304082974/solver-3172664-1304082974 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172664-1304082974.cnf

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

MD5SUM BENCH= 17341e8eb76284acaef626682c91dea1
RANDOM SEED=122839176

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19034000 kB
Buffers:       2051544 kB
Cached:       11221964 kB
SwapCached:          0 kB
Active:        2557748 kB
Inactive:     10785888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19034000 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           17616 kB
Writeback:           0 kB
AnonPages:       69808 kB
Mapped:          14716 kB
Slab:           507836 kB
PageTables:       4608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   238216 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= 72188 MiB
End job on node145 at 2011-04-29 15:36:19