Trace number 3291356

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.26 1202.02

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
MD5SUM9edcffddbe07377cf6685697aafad673
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark16.6405
Satisfiable
(Un)Satisfiability was proved
Number of variables8756
Number of clauses55571
Sum of the clauses size187746
Maximum clause length70
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 212786
Number of clauses of size 325852
Number of clauses of size 40
Number of clauses of size 516904
Number of clauses of size over 51

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-3291356-1304178951.cnf'
0.00/0.00	c -- header says num vars:           8756
0.00/0.00	c -- header says num clauses:       55571
0.09/0.12	c -- clauses added:            0 learnts,        55571 normals,            0 xors
0.09/0.12	c -- vars added       8756
0.09/0.12	c Parsing time:  0.11 s
0.09/0.17	c  N st     0         0      8756     42719     12794         0    187620         0   no data   no data  --
1.09/0.41	c asymm  cl-useful: 12/2275/42701 lits-rem:16 time: 0.87
1.09/0.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.1M T:  1.78
1.09/0.89	c Calc non-exist non-lernt bins v-fix:     0 done:   8714 time:  0.10 s
1.09/0.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1.09/0.91	c Subs w/ non-existent bins:      5 time:  0.08 s
3.16/0.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3.16/0.94	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.03 s
3.16/0.95	c Removed useless bin:       0  fixed:     0  bprops:   0.97M  time:  0.06 s
3.16/1.05	c lits-rem:         8  cl-subs:       18  v-elim:    278  v-fix:    0  time:  0.37 s
3.16/1.05	c learnt bin added due to v-elim: 0
3.16/1.05	c Finding binary XORs  T:     0.04 s  found:       0
3.83/1.10	c Finding non-binary XORs:     0.16 s (found:       4, avg size: 3.0)
3.83/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3.83/1.10	c calculated reachability. Time: 0.01
3.83/1.11	c Calc default polars -  time:   0.02 s pos:    4258 undec:     163 neg:    4335
3.83/1.11	c =========================================================================================
3.83/1.11	c types(t): F = full restart, N = normal restart
3.83/1.11	c types(t): S = simplification begin/end, E = solution found
3.83/1.11	c restart types(rt): st = static, dy = dynamic
3.83/1.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.83/1.11	c  B st     0         0      8608     42703     12684         0    188506         0   no data   no data  --
5.09/1.42	c Decided on static restart strategy
6.68/1.80	c  N dy     8      4331      8604     42703     12743      4180    188502     61258     13.71      6.66  --
10.30/2.78	c  N dy    10     10893      8589     42703     12973      7106    188501    109476     28.37      8.40  --
14.29/3.71	c  N dy    15     17309      8587     42703     13025      7692    188494     76323     23.25      8.43  --
17.47/4.52	c  N dy    18     22384      8586     42703     13052     12663    188492    223359     26.91      8.77  --
22.26/5.74	c  N dy    19     30000      8585     42703     13065     12842    188490    235749     38.89      9.22  --
22.26/5.76	c  S st    19     30000      8585     42703     13065     12842    188490    235749     38.89      9.22  --
23.07/5.93	c  S st    19     30501      8584     42703     15160     13566    188546    246071     38.89      9.22  --
23.07/5.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
23.07/5.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.26/6.74	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:   28 Bin:   2308 BRemL:    222 BRemN:     10 CBin:       0 P: 17.5M T:  3.23
26.26/6.77	c Calc non-exist non-lernt bins v-fix:     0 done:   8570 time:  0.12 s
26.26/6.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.66/6.81	c Subs w/ non-existent bins:    103 time:  0.14 s
26.66/6.82	c Replacing       28 vars Replaced     1121 lits Time:     0.05 s 
26.66/6.84	c bin-w-bin subsume rem           67 bins  time:  0.02 s
26.66/6.88	c subs with bin:      434  lits-rem:      1363  v-fix:    0  time:  0.17 s
27.06/6.90	c Removed useless bin:      34  fixed:     0  bprops:   0.56M  time:  0.05 s
29.85/7.60	c lits-rem:       959  cl-subs:     2032  v-elim:    165  v-fix:    0  time:  2.82 s
29.85/7.60	c learnt bin added due to v-elim: 0
29.85/7.62	c vivif2 --  cl tried    41920 cl shrink       40 lits rem         42 time: 0.08
29.85/7.63	c vivif2 --  cl tried    11506 cl shrink      304 lits rem        340 time: 0.04
31.05/7.91	c asymm  cl-useful: 42/2393/41908 lits-rem:42 time: 1.09
31.05/7.91	c Added XOR as norm:3
31.05/7.91	c calculated reachability. Time: 0.02
31.05/7.91	c  N dy    19     30501      8492     41920     16070     11502    184822    184702     38.89      9.22  --
31.05/7.91	c  F st    19     30501      8492     41920     16070     11502    184822    184702     38.89      9.22  --
32.27/8.29	c Decided on static restart strategy
41.43/10.57	c  N dy    26     45751      8491     41920     16123     17793    184822    501412     47.81      9.78  --
41.43/10.60	c  S st    26     45751      8491     41920     16123     17793    184822    501412     47.81      9.78  --
42.23/10.79	c  S st    26     46253      8489     41920     20960     18396    184874    516795     47.81      9.78  --
42.63/10.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
42.63/10.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.83/12.19	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   10 Bin:   1882 BRemL:   1225 BRemN:     18 CBin:       0 P: 22.2M T:  5.57
48.23/12.22	c Calc non-exist non-lernt bins v-fix:     0 done:   8484 time:  0.12 s
48.23/12.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.23/12.27	c Subs w/ non-existent bins:     47 time:  0.19 s
48.23/12.29	c Replacing       10 vars Replaced      782 lits Time:     0.06 s 
48.63/12.32	c bin-w-bin subsume rem           59 bins  time:  0.02 s
49.03/12.43	c subs with bin:      234  lits-rem:      7664  v-fix:    0  time:  0.45 s
49.03/12.44	c Removed useless bin:      19  fixed:     0  bprops:   0.41M  time:  0.04 s
55.81/14.12	c lits-rem:      2049  cl-subs:     1623  v-elim:    160  v-fix:    0  time:  6.72 s
55.81/14.12	c learnt bin added due to v-elim: 0
55.81/14.14	c vivif2 --  cl tried    41712 cl shrink       56 lits rem         58 time: 0.08
55.81/14.18	c vivif2 --  cl tried    16693 cl shrink     2771 lits rem       5406 time: 0.16
56.61/14.32	c asymm  cl-useful: 12/995/41708 lits-rem:12 time: 0.58
56.61/14.33	c calculated reachability. Time: 0.02
56.61/14.33	c  N dy    26     46253      8441     41708     20417     16693    183981    435492     47.81      9.78  --
60.60/15.37	c  N dy    30     52559      8441     41708     20453     13052    183981    153129     29.23      9.90  --
67.01/16.97	c  N dy    34     62209      8436     41708     30497     11776    184069    102291     31.91     10.20  --
72.19/18.25	c  N dy    35     69380      8436     41708     30522     18788    184069    371858     38.68     10.48  --
72.19/18.26	c  S st    35     69380      8436     41708     30522     18788    184069    371858     38.68     10.48  --
72.98/18.44	c  S st    35     69880      8436     41708     30538     19269    184069    379823     38.68     10.48  --
72.98/18.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
72.98/18.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.58/19.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   56 Bin:   3482 BRemL:   3788 BRemN:     41 CBin:       0 P: 22.8M T:  5.64
78.58/19.89	c Calc non-exist non-lernt bins v-fix:     0 done:   8436 time:  0.12 s
78.58/19.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.98/19.94	c Subs w/ non-existent bins:    170 time:  0.18 s
78.98/19.96	c Replacing       56 vars Replaced     5010 lits Time:     0.08 s 
78.98/19.98	c bin-w-bin subsume rem           83 bins  time:  0.03 s
79.38/20.05	c subs with bin:      452  lits-rem:      1753  v-fix:    0  time:  0.26 s
79.38/20.05	c Removed useless bin:      20  fixed:     0  bprops:   0.31M  time:  0.03 s
82.98/20.94	c ORs :     28 avg-s:  3.4 cl-sh:    11 l-rem:     21 b-add:      9 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
88.57/22.33	c Added 4 vars  tried: 80000 time: 5.57
88.57/22.33	c ORs :      4 avg-s:  0.0 cl-sh:   257 l-rem:    257 b-add:      8 v-rep:   0 cl-rem: 0 avg s: nan T:    5.57
88.57/22.35	c lits-rem:      1823  cl-subs:     2569  v-elim:    201  v-fix:    0  time:  9.15 s
88.57/22.35	c learnt bin added due to v-elim: 0
88.57/22.37	c vivif2 --  cl tried    41220 cl shrink       84 lits rem        100 time: 0.09
88.57/22.39	c vivif2 --  cl tried    16673 cl shrink     1167 lits rem       2242 time: 0.08
89.76/22.68	c asymm  cl-useful: 21/1865/41220 lits-rem:21 time: 1.17
89.76/22.69	c calculated reachability. Time: 0.02
89.76/22.69	c  N dy    35     69880      8329     41220     26483     16670    182066    281427     38.68     10.48  --
89.76/22.69	c  F st    35     69880      8329     41220     26483     16670    182066    281427     38.68     10.48  --
91.77/23.11	c Decided on static restart strategy
94.56/23.89	c  N dy    43     76597      8328     41220     26521     23235    182066    469550     32.63     10.44  --
94.96/23.92	c Finding binary XORs  T:     0.05 s  found:      66
99.34/25.00	c  N dy    44     82784      8323     41191     40329     17723    182209    266388     32.45     10.48  --
105.35/26.58	c  N dy    47     91478      8322     41191     40365     13288    182209    115052     28.67     10.55  --
115.34/29.01	c  N dy    48    104820      8322     41191     40381     26374    182209    640240     41.12     10.75  --
115.34/29.04	c  S st    48    104820      8322     41191     40381     26374    182209    640240     41.12     10.75  --
116.12/29.24	c  S st    48    105321      8321     41191     50585     27769    182483    669822     41.12     10.75  --
116.12/29.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
116.12/29.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
124.91/31.42	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   60 Bin:   6050 BRemL:  10902 BRemN:    121 CBin:       0 P: 33.1M T:  8.68
124.91/31.46	c Calc non-exist non-lernt bins v-fix:     0 done:   8318 time:  0.13 s
124.91/31.46	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
125.31/31.53	c Subs w/ non-existent bins:    498 time:  0.29 s
125.31/31.57	c Replacing      126 vars Replaced     8626 lits Time:     0.16 s 
125.71/31.60	c bin-w-bin subsume rem          222 bins  time:  0.04 s
126.11/31.78	c subs with bin:      901  lits-rem:     14781  v-fix:    0  time:  0.70 s
126.11/31.79	c Removed useless bin:      56  fixed:     0  bprops:   0.21M  time:  0.03 s
136.10/34.27	c ORs :     58 avg-s:  3.6 cl-sh:     6 l-rem:      9 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    0.07
136.10/34.28	c lits-rem:      3924  cl-subs:     5366  v-elim:    263  v-fix:    0  time:  9.97 s
136.10/34.28	c learnt bin added due to v-elim: 0
136.50/34.30	c vivif2 --  cl tried    40059 cl shrink      171 lits rem        193 time: 0.09
136.50/34.35	c vivif2 --  cl tried    22203 cl shrink     2700 lits rem       3988 time: 0.17
136.90/34.50	c asymm  cl-useful: 12/800/40049 lits-rem:12 time: 0.59
137.31/34.50	c calculated reachability. Time: 0.02
137.31/34.51	c  N dy    48    105321      8098     40049     35831     22196    177573    462710     41.12     10.75  --
143.28/36.04	c  N dy    51    114067      8091     40049     38003     17014    177703    180808     34.92     10.81  --
180.44/45.33	c  N dy    52    157983      8091     40049     38036     29071    177703    699526     49.58     11.64  --
180.44/45.36	c  S st    52    157983      8091     40049     38036     29071    177703    699526     49.58     11.64  --
181.25/45.58	c  S st    52    158484      8089     40049     44371     30579    178057    722250     49.58     11.64  --
181.25/45.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
181.25/45.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
191.62/48.18	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  186 Bin:   2194 BRemL:   4432 BRemN:    343 CBin:       0 P: 42.2M T: 10.34
192.02/48.21	c Calc non-exist non-lernt bins v-fix:     0 done:   8088 time:  0.12 s
192.02/48.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
192.02/48.29	c Subs w/ non-existent bins:    470 time:  0.28 s
192.42/48.33	c Replacing      186 vars Replaced    13230 lits Time:     0.17 s 
192.42/48.36	c bin-w-bin subsume rem          229 bins  time:  0.03 s
193.22/48.50	c subs with bin:      348  lits-rem:      5724  v-fix:    0  time:  0.54 s
193.22/48.50	c Removed useless bin:      10  fixed:     0  bprops:   0.24M  time:  0.03 s
203.62/51.11	c ORs :    103 avg-s:  3.6 cl-sh:     6 l-rem:     14 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:    0.08
203.62/51.13	c lits-rem:      5206  cl-subs:     4265  v-elim:    232  v-fix:    0  time: 10.47 s
203.62/51.13	c learnt bin added due to v-elim: 0
203.62/51.15	c vivif2 --  cl tried    39047 cl shrink       63 lits rem         69 time: 0.09
203.62/51.19	c vivif2 --  cl tried    26528 cl shrink     1656 lits rem       2194 time: 0.16
204.40/51.35	c asymm  cl-useful: 9/662/39044 lits-rem:9 time: 0.64
204.40/51.36	c calculated reachability. Time: 0.02
204.40/51.36	c  N dy    52    158484      7851     39044     36973     26527    173077    553688     49.58     11.64  --
216.80/54.49	c  N dy    54    175285      7845     39044     40998     26444    173319    471088     35.64     11.71  --
217.18/54.51	c Finding binary XORs  T:     0.06 s  found:     101
217.18/54.53	c Replacing      101 vars Replaced     6854 lits Time:     0.06 s 
226.77/56.90	c  N dy    55    188130      7744     39009     40022     20529    172914    180406     25.67     11.67  --
261.52/65.69	c  N dy    58    233803      7742     39009     44428     26922    173252    342656     23.58     11.92  --
264.73/66.44	c  S st    63    237727      7740     39009     46968     31347    173496    463042     25.78     11.90  --
265.52/66.62	c  S st    63    238228      7740     39009     46975     31840    173496    471162     25.78     11.90  --
265.52/66.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
265.52/66.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
273.92/68.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  225 Bin:   1971 BRemL:   7370 BRemN:    428 CBin:       0 P: 43.9M T:  8.62
274.31/68.81	c Calc non-exist non-lernt bins v-fix:     0 done:   7740 time:  0.13 s
274.31/68.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
274.31/68.87	c Subs w/ non-existent bins:    587 time:  0.23 s
274.71/68.90	c Replacing      225 vars Replaced    10447 lits Time:     0.11 s 
274.71/68.93	c bin-w-bin subsume rem          342 bins  time:  0.04 s
275.11/69.04	c subs with bin:      590  lits-rem:      1624  v-fix:    0  time:  0.44 s
275.11/69.05	c Removed useless bin:      11  fixed:     0  bprops:   0.21M  time:  0.03 s
278.70/69.94	c ORs :    112 avg-s:  3.6 cl-sh:     1 l-rem:      2 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.07
278.70/69.96	c lits-rem:      1588  cl-subs:     5812  v-elim:    235  v-fix:    0  time:  3.64 s
278.70/69.96	c learnt bin added due to v-elim: 0
278.70/69.98	c vivif2 --  cl tried    37345 cl shrink       74 lits rem         81 time: 0.09
279.10/70.01	c vivif2 --  cl tried    26540 cl shrink     1095 lits rem       1557 time: 0.12
279.50/70.16	c asymm  cl-useful: 24/696/37345 lits-rem:24 time: 0.62
279.50/70.17	c calculated reachability. Time: 0.02
279.50/70.17	c  N dy    63    238228      7481     37345     38975     26538    165598    357638     25.78     11.90  --
315.85/79.20	c  N dy    69    279507      7479     37345     41834     24583    165830    205254     23.19     11.97  --
315.85/79.23	c Finding binary XORs  T:     0.06 s  found:     266
315.85/79.25	c Replacing      266 vars Replaced    16513 lits Time:     0.07 s 
379.76/95.29	c  N dy    72    357342      7213     37344     44776     29223    165592    300215     34.83     11.95  --
380.16/95.30	c  S st    72    357342      7213     37344     44776     29223    165592    300215     34.83     11.95  --
380.56/95.47	c  S st    72    357844      7211     37344     49133     31779    166034    324337     34.83     11.95  --
380.56/95.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
380.56/95.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
387.76/97.24	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:  168 Bin:   1619 BRemL:   7648 BRemN:    273 CBin:       0 P: 37.9M T:  7.03
387.76/97.27	c Calc non-exist non-lernt bins v-fix:     0 done:   7209 time:  0.12 s
387.76/97.27	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.01
388.17/97.33	c Subs w/ non-existent bins:    669 time:  0.22 s
388.17/97.35	c Replacing      168 vars Replaced     7689 lits Time:     0.08 s 
388.17/97.37	c bin-w-bin subsume rem          772 bins  time:  0.04 s
388.55/97.43	c subs with bin:      751  lits-rem:      1305  v-fix:    0  time:  0.24 s
388.55/97.44	c Removed useless bin:       3  fixed:     0  bprops:   0.16M  time:  0.03 s
390.55/97.97	c ORs :    119 avg-s:  3.6 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.07
393.74/98.75	c Added 0 vars  tried: 80000 time: 3.12
393.74/98.75	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:    3.12
393.74/98.76	c lits-rem:      1384  cl-subs:     6367  v-elim:    286  v-fix:    0  time:  5.29 s
393.74/98.76	c learnt bin added due to v-elim: 0
393.74/98.79	c vivif2 --  cl tried    35181 cl shrink       63 lits rem         71 time: 0.08
394.14/98.81	c vivif2 --  cl tried    26127 cl shrink      703 lits rem       1039 time: 0.09
395.34/99.11	c asymm  cl-useful: 52/1382/35178 lits-rem:53 time: 1.21
395.34/99.12	c calculated reachability. Time: 0.02
395.34/99.12	c  N dy    72    357844      7004     35178     39660     26121    155899    251338     34.83     11.95  --
637.03/159.65	c  N dy    74    536769      7003     35178     42289     31826    156365    222030     47.66     12.47  --
637.03/159.66	c  S st    74    536769      7003     35178     42289     31826    156365    222030     47.66     12.47  --
637.43/159.70	c Finding binary XORs  T:     0.06 s  found:     802
637.43/159.74	c Replacing      802 vars Replaced    60262 lits Time:     0.16 s 
637.83/159.87	c  S st    74    537270      6200     35152     51712     40791    155821    274874     47.66     12.47  --
637.83/159.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
637.83/159.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
644.21/161.47	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    3 Bin:   1265 BRemL:  10138 BRemN:      4 CBin:       0 P: 36.2M T:  6.34
644.21/161.49	c Calc non-exist non-lernt bins v-fix:     0 done:   6198 time:  0.08 s
644.21/161.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
644.62/161.54	c Subs w/ non-existent bins:    178 time:  0.22 s
644.62/161.56	c Replacing        3 vars Replaced      113 lits Time:     0.05 s 
644.62/161.58	c bin-w-bin subsume rem         4225 bins  time:  0.05 s
645.02/161.62	c subs with bin:     1079  lits-rem:      1096  v-fix:    0  time:  0.17 s
645.02/161.63	c Removed useless bin:       1  fixed:     0  bprops:   0.11M  time:  0.02 s
646.22/161.95	c ORs :    122 avg-s:  3.5 cl-sh:     1 l-rem:      2 b-add:      1 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
646.22/161.96	c lits-rem:       629  cl-subs:    13426  v-elim:    358  v-fix:    0  time:  1.33 s
646.22/161.96	c learnt bin added due to v-elim: 0
646.22/161.98	c vivif2 --  cl tried    31143 cl shrink       36 lits rem         39 time: 0.07
646.62/162.00	c vivif2 --  cl tried    30156 cl shrink      250 lits rem        305 time: 0.08
647.43/162.28	c asymm  cl-useful: 28/1271/31143 lits-rem:28 time: 1.13
647.43/162.29	c calculated reachability. Time: 0.01
647.43/162.29	c  N dy    74    537270      6170     31143     37867     30151    138089    196902     47.66     12.47  --
647.43/162.29	c  F st    74    537270      6170     31143     37867     30151    138089    196902     47.66     12.47  --
649.41/162.70	c Decided on static restart strategy
771.24/193.24	c  N dy    81    629672      6170     31143     37900     48705    138089    827509     27.12     12.60  --
860.72/215.63	c  N dy    82    729759      6169     31143     41307     41031    138956    321657     25.32     12.44  --
888.69/222.62	c  N dy    83    757455      6169     31143     43487     71063    139772   1136641     29.89     12.43  --
888.69/222.65	c Finding binary XORs  T:     0.06 s  found:     470
889.10/222.72	c Replacing      470 vars Replaced    55987 lits Time:     0.31 s 
917.84/229.98	c  N dy    84    786936      5698     31135     42215     60702    138077   1045355     35.95     12.42  --
935.82/234.46	c  S st    86    805905      5698     31135     42492     40816    138109    269321     33.48     12.39  --
936.62/234.60	c  S st    86    806406      5698     31135     42858     41991    138205    281472     33.48     12.39  --
936.62/234.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
936.62/234.60	c Cache  BProp: 0 Set: 0 BXProp: 6 T: 0.01
943.01/236.25	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   61 Bin:    709 BRemL:   7381 BRemN:     91 CBin:       0 P: 43.5M T:  6.58
943.01/236.27	c Calc non-exist non-lernt bins v-fix:     0 done:   5697 time:  0.07 s
943.01/236.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
943.41/236.33	c Subs w/ non-existent bins:    457 time:  0.23 s
943.41/236.34	c Replacing       62 vars Replaced     2978 lits Time:     0.06 s 
943.41/236.37	c bin-w-bin subsume rem         1516 bins  time:  0.04 s
943.81/236.41	c subs with bin:      803  lits-rem:       539  v-fix:    0  time:  0.16 s
943.81/236.41	c Removed useless bin:       2  fixed:     0  bprops:   0.09M  time:  0.02 s
945.41/236.82	c ORs :    120 avg-s:  3.5 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
947.41/237.32	c Added 0 vars  tried: 80000 time: 2.01
947.41/237.32	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:    2.01
947.41/237.34	c lits-rem:       560  cl-subs:     9169  v-elim:    377  v-fix:    0  time:  3.68 s
947.41/237.34	c learnt bin added due to v-elim: 0
947.41/237.35	c vivif2 --  cl tried    28463 cl shrink       45 lits rem         49 time: 0.07
947.41/237.38	c vivif2 --  cl tried    34248 cl shrink      215 lits rem        233 time: 0.09
948.61/237.67	c asymm  cl-useful: 2/1649/28463 lits-rem:6 time: 1.18
948.61/237.68	c calculated reachability. Time: 0.01
948.61/237.68	c  N dy    86    806406      5619     28461     34064     34246    126501    226329     33.48     12.39  --
1167.11/292.37	c  N dy    88    961052      5619     28461     34105     67202    126501   1260520     32.58     12.54  --
1167.51/292.40	c Finding binary XORs  T:     0.06 s  found:     273
1167.51/292.47	c Replacing      273 vars Replaced    35499 lits Time:     0.26 s 
1385.99/347.17	c  N dy    91   1160411      5343     28448     35993     90954    126425   2046372     24.63     12.58  --
1430.34/358.21	c  N dy    94   1209610      5343     28448     38730     47745    127091    248051     27.81     12.50  --
1430.34/358.22	c  S st    94   1209610      5343     28448     38730     47745    127091    248051     27.81     12.50  --
1430.74/358.35	c  S st    94   1210110      5343     28448     38886     48370    127107    258105     27.81     12.50  --
1430.74/358.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1430.74/358.35	c Cache  BProp: 0 Set: 0 BXProp: 114 T: 0.00
1437.53/360.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  123 Bin:    404 BRemL:   5733 BRemN:    258 CBin:       0 P: 58.8M T:  6.95
1437.94/360.12	c Calc non-exist non-lernt bins v-fix:     0 done:   5343 time:  0.09 s
1437.94/360.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1437.94/360.18	c Subs w/ non-existent bins:    885 time:  0.23 s
1437.94/360.19	c Replacing      196 vars Replaced     9379 lits Time:     0.08 s 
1438.34/360.22	c bin-w-bin subsume rem          885 bins  time:  0.04 s
1438.34/360.25	c subs with bin:      828  lits-rem:       488  v-fix:    0  time:  0.12 s
1438.34/360.25	c Removed useless bin:       1  fixed:     0  bprops:   0.06M  time:  0.02 s
1439.52/360.53	c ORs :    118 avg-s:  3.5 cl-sh:     2 l-rem:      4 b-add:      1 v-rep:   0 cl-rem: 0 avg s: nan T:    0.05
1439.52/360.54	c lits-rem:       406  cl-subs:     8009  v-elim:    430  v-fix:    0  time:  1.17 s
1439.52/360.54	c learnt bin added due to v-elim: 0
1439.52/360.56	c vivif2 --  cl tried    26106 cl shrink       27 lits rem         28 time: 0.06
1439.52/360.59	c vivif2 --  cl tried    40906 cl shrink      211 lits rem        230 time: 0.10
1440.72/360.85	c asymm  cl-useful: 0/1366/26104 lits-rem:0 time: 1.06
1440.72/360.86	c calculated reachability. Time: 0.01
1440.72/360.86	c  N dy    94   1210110      5137     26104     31938     40905    116115    217871     27.81     12.50  --
1886.54/472.46	c  N dy    96   1477263      5137     26104     31992     57602    116114    492620     26.41     12.41  --
1886.54/472.49	c Finding binary XORs  T:     0.06 s  found:     227
1886.92/472.52	c Replacing      227 vars Replaced    20024 lits Time:     0.10 s 
1977.12/495.22	c  N dy    97   1572049      4910     26100     34395     99560    116112   1366297     22.03     12.28  --
2020.34/506.16	c  N dy    98   1613089      4910     26100     35060     85808    116228   1124186     23.00     12.22  --
2164.94/542.30	c  N dy   100   1710111      4910     26100     35435     71160    116304    836807     35.67     12.22  --
2164.94/542.33	c  S st   100   1710111      4910     26100     35435     71160    116304    836807     35.67     12.22  --
2165.75/542.52	c  S st   100   1710611      4908     26100     36510     73814    116692    854750     35.67     12.22  --
2165.75/542.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2165.75/542.52	c Cache  BProp: 1 Set: 0 BXProp: 96 T: 0.00
2174.53/544.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  105 Bin:    352 BRemL:   6157 BRemN:    167 CBin:       0 P: 60.0M T:  8.97
2174.53/544.79	c Calc non-exist non-lernt bins v-fix:     0 done:   4908 time:  0.06 s
2174.53/544.79	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
2175.34/544.91	c Subs w/ non-existent bins:    809 time:  0.48 s
2175.34/544.96	c Replacing      185 vars Replaced    18433 lits Time:     0.20 s 
2175.34/545.00	c bin-w-bin subsume rem          809 bins  time:  0.04 s
2176.53/545.23	c subs with bin:     1052  lits-rem:      2022  v-fix:    0  time:  0.92 s
2176.53/545.23	c Removed useless bin:       2  fixed:     0  bprops:   0.05M  time:  0.02 s
2186.92/547.81	c ORs :    118 avg-s:  3.5 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.05
2188.52/548.25	c Added 3 vars  tried: 80000 time: 1.79
2188.52/548.25	c ORs :      3 avg-s:  0.0 cl-sh:   308 l-rem:    308 b-add:      6 v-rep:   0 cl-rem: 7 avg s: 3.3 T:    1.79
2188.52/548.28	c lits-rem:      5324  cl-subs:    12431  v-elim:    508  v-fix:    0  time: 12.16 s
2188.52/548.28	c learnt bin added due to v-elim: 0
2188.52/548.29	c vivif2 --  cl tried    24116 cl shrink       33 lits rem         35 time: 0.06
2188.93/548.36	c vivif2 --  cl tried    61216 cl shrink     1176 lits rem       1606 time: 0.29
2189.71/548.50	c asymm  cl-useful: 0/468/24115 lits-rem:0 time: 0.56
2189.71/548.51	c calculated reachability. Time: 0.01
2189.71/548.51	c  N dy   100   1710611      4715     24115     29118     61214    107184    700342     35.67     12.22  --
3042.17/761.99	c  N dy   102   2190505      4715     24115     29427    118250    107255   2305180     27.54     12.06  --
3042.57/762.04	c Finding binary XORs  T:     0.06 s  found:     359
3043.37/762.26	c Replacing      359 vars Replaced    86876 lits Time:     0.85 s 
3085.70/772.86	c  N dy   103   2210611      4352     24099     32189     76275    107090    708550     36.73     12.06  --
3085.70/772.88	c  S st   103   2210611      4352     24099     32189     76275    107090    708550     36.73     12.06  --
3086.50/773.04	c  S st   103   2211112      4352     24099     32189     76773    107090    719357     36.73     12.06  --
3086.50/773.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3086.50/773.05	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
3094.11/774.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    228 BRemL:   4716 BRemN:      4 CBin:       0 P: 60.0M T:  7.59
3094.11/774.96	c Calc non-exist non-lernt bins v-fix:     0 done:   4352 time:  0.05 s
3094.11/774.96	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
3094.49/775.07	c Subs w/ non-existent bins:     90 time:  0.42 s
3094.49/775.08	c Replacing        2 vars Replaced      157 lits Time:     0.03 s 
3094.89/775.11	c bin-w-bin subsume rem          944 bins  time:  0.03 s
3095.29/775.27	c subs with bin:      981  lits-rem:      1491  v-fix:    0  time:  0.63 s
3095.29/775.27	c Removed useless bin:       1  fixed:     0  bprops:   0.04M  time:  0.02 s
3102.90/777.18	c ORs :    114 avg-s:  3.4 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.05
3103.28/777.20	c lits-rem:      2996  cl-subs:     9684  v-elim:    545  v-fix:    0  time:  7.69 s
3103.28/777.20	c learnt bin added due to v-elim: 0
3103.28/777.21	c vivif2 --  cl tried    22362 cl shrink       13 lits rem         14 time: 0.06
3103.28/777.29	c vivif2 --  cl tried    67785 cl shrink     1678 lits rem       2445 time: 0.29
3104.09/777.42	c asymm  cl-useful: 0/466/22362 lits-rem:0 time: 0.53
3104.09/777.43	c calculated reachability. Time: 0.01
3104.09/777.43	c  N dy   103   2211112      4343     22362     26697     67780     99362    646133     36.73     12.06  --
3140.84/786.63	c  N dy   104   2246065      4343     22362     26706    102204     99362   1481843     17.70     12.02  --
3219.93/806.43	c  N dy   105   2295893      4342     22362     26934     85562     99412   1036486     23.54     12.04  --
3280.64/821.61	c  N dy   108   2339173      4342     22362     27324    129736     99572   2357748     16.67     12.02  --
3442.82/862.21	c  N dy   110   2447794      4343     22362     27828    102917     99720   1225443     16.44     12.00  --
3613.40/904.91	c  N dy   111   2568555      4342     22362     28466     85928     99970    755562     15.72     11.92  --
3613.40/904.94	c Finding binary XORs  T:     0.06 s  found:     218
3613.40/904.97	c Replacing      218 vars Replaced    25469 lits Time:     0.14 s 
3835.51/960.50	c  N dy   112   2711112      4123     22334     28184     85850     99202    807255     27.77     11.89  --
3835.51/960.53	c  S st   112   2711112      4123     22334     28184     85850     99202    807255     27.77     11.89  --
3836.31/960.71	c  S st   112   2711616      4123     22334     28947     87380     99366    822630     27.77     11.89  --
3836.31/960.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3836.31/960.72	c Cache  BProp: 1 Set: 0 BXProp: 16 T: 0.00
3844.29/962.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   40 Bin:    232 BRemL:   4366 BRemN:     59 CBin:       0 P: 60.0M T:  8.12
3844.29/962.76	c Calc non-exist non-lernt bins v-fix:     0 done:   4123 time:  0.05 s
3844.29/962.76	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
3844.69/962.88	c Subs w/ non-existent bins:    331 time:  0.48 s
3845.10/962.91	c Replacing       55 vars Replaced     6903 lits Time:     0.11 s 
3845.10/962.95	c bin-w-bin subsume rem          566 bins  time:  0.03 s
3845.88/963.12	c subs with bin:      888  lits-rem:      2852  v-fix:    0  time:  0.68 s
3845.88/963.12	c Removed useless bin:       3  fixed:     0  bprops:   0.04M  time:  0.02 s
3853.89/965.17	c ORs :    112 avg-s:  3.4 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
3855.07/965.41	c Added 0 vars  tried: 80000 time: 0.95
3855.07/965.41	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.95
3855.07/965.43	c lits-rem:      4445  cl-subs:    10266  v-elim:    598  v-fix:    0  time:  9.24 s
3855.07/965.43	c learnt bin added due to v-elim: 0
3855.07/965.45	c vivif2 --  cl tried    21045 cl shrink       17 lits rem         18 time: 0.05
3855.47/965.53	c vivif2 --  cl tried    77194 cl shrink     1981 lits rem       2929 time: 0.34
3855.87/965.67	c asymm  cl-useful: 0/302/21045 lits-rem:0 time: 0.53
3855.87/965.67	c calculated reachability. Time: 0.01
3855.87/965.67	c  N dy   112   2711616      4058     21045     24029     77192     93486    712195     27.77     11.89  --
3855.87/965.67	c  F st   112   2711616      4058     21045     24029     77192     93486    712195     27.77     11.89  --
3858.28/966.23	c Decided on static restart strategy
3880.26/971.74	c  N dy   119   2737416      4058     21045     24031    102446     93486   1217185     17.30     11.87  --
3976.92/995.96	c  N dy   120   2799519      4058     21045     24064     92244     93494    974852     16.40     11.88  --
4375.58/1095.78	c  N dy   122   3017309      4058     21045     24375     87904     93591    759598     15.83     11.83  --
4375.98/1095.80	c Finding binary XORs  T:     0.06 s  found:     101
4375.98/1095.82	c Replacing      101 vars Replaced    12311 lits Time:     0.09 s 
4427.51/1108.73	c  N dy   124   3052852      3957     21039     24805    124047     93456   1719004     16.49     11.81  --
4747.87/1188.93	c  N dy   129   3211616      3957     21039     24938    128943     93494   2292030     27.28     11.84  --
4748.27/1189.04	c  S st   129   3211616      3957     21039     24938    128943     93494   2292030     27.28     11.84  --
4749.47/1189.33	c  S st   129   3212118      3956     21039     25598    131738     93882   2314057     27.28     11.84  --
4749.47/1189.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4749.47/1189.34	c Cache  BProp: 1 Set: 0 BXProp: 19 T: 0.00
4761.86/1192.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   88 Bin:    149 BRemL:   2849 BRemN:     82 CBin:       0 P: 60.0M T: 12.32
4761.86/1192.44	c Calc non-exist non-lernt bins v-fix:     0 done:   3956 time:  0.05 s
4761.86/1192.44	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
4762.66/1192.69	c Subs w/ non-existent bins:    434 time:  1.02 s
4763.46/1192.82	c Replacing      104 vars Replaced    26666 lits Time:     0.51 s 
4763.87/1192.90	c bin-w-bin subsume rem          323 bins  time:  0.03 s
4766.65/1193.69	c subs with bin:      626  lits-rem:      6374  v-fix:    0  time:  3.14 s
4766.65/1193.69	c Removed useless bin:       3  fixed:     0  bprops:   0.04M  time:  0.02 s
4778.64/1196.62	c ORs :    112 avg-s:  3.4 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.05
4779.84/1196.97	c Added 2 vars  tried: 80000 time: 1.42
4779.84/1196.97	c ORs :      2 avg-s:  0.0 cl-sh:   239 l-rem:    239 b-add:      4 v-rep:   0 cl-rem: 0 avg s: nan T:    1.42
4780.24/1197.02	c lits-rem:      2965  cl-subs:     9853  v-elim:    633  v-fix:    0  time: 13.30 s
4780.24/1197.02	c learnt bin added due to v-elim: 0
4780.24/1197.03	c vivif2 --  cl tried    20055 cl shrink       23 lits rem         25 time: 0.04
4781.04/1197.22	c vivif2 --  cl tried   121717 cl shrink     1777 lits rem       2039 time: 0.76
4781.45/1197.38	c asymm  cl-useful: 0/158/20055 lits-rem:0 time: 0.60
4781.45/1197.38	c calculated reachability. Time: 0.01
4781.45/1197.38	c  N dy   129   3212118      3850     20055     22058    121717     89106   2153792     27.28     11.84  --

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-3291356-1304178951/watcher-3291356-1304178951 -o /tmp/evaluation-result-3291356-1304178951/solver-3291356-1304178951 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3291356-1304178951.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.44 7.92 7.96 3/177 2161
/proc/meminfo: memFree=30688684/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=22152 CPUtime=0 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 840 0 0 0 0 0 0 0 25 0 1 0 529496047 22683648 779 33554432000 4194304 4797429 140735343923056 18446744073709551615 270612771525 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2161/statm: 5538 783 341 148 0 467 0

[startup+0.0988191 s]
/proc/loadavg: 7.44 7.92 7.96 3/177 2161
/proc/meminfo: memFree=30688684/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=74860 CPUtime=0.08 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 7931 0 0 0 8 0 0 0 25 0 1 0 529496047 76656640 6341 33554432000 4194304 4797429 140735343923056 18446744073709551615 4431508 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2161/statm: 18715 6341 350 148 0 13644 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 74860

[startup+0.100815 s]
/proc/loadavg: 7.44 7.92 7.96 3/177 2161
/proc/meminfo: memFree=30688684/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=74860 CPUtime=0.09 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 7956 0 0 0 9 0 0 0 25 0 1 0 529496047 76656640 6366 33554432000 4194304 4797429 140735343923056 18446744073709551615 270612807191 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2161/statm: 18715 6368 350 148 0 13644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 74860

[startup+0.300748 s]
/proc/loadavg: 7.44 7.92 7.96 3/177 2161
/proc/meminfo: memFree=30688684/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=174284 CPUtime=0.69 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 8983 0 0 0 68 1 0 0 18 0 4 0 529496047 178466816 7354 33554432000 4194304 4797429 140735343923056 18446744073709551615 4430142 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2161/statm: 43571 7354 377 148 0 38500 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 174284

[startup+1.08555 s]
/proc/loadavg: 7.44 7.92 7.96 3/177 2161
/proc/meminfo: memFree=30688684/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=717352 CPUtime=3.83 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) S 2159 2161 2123 0 -1 4202496 17244 0 0 0 380 3 0 0 18 0 4 0 529496047 734568448 14635 33554432000 4194304 4797429 140735343923056 18446744073709551615 270613215726 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2161/statm: 179338 14668 407 148 0 174267 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 717352

[startup+1.50054 s]
/proc/loadavg: 7.44 7.92 7.96 9/184 2168
/proc/meminfo: memFree=30590308/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=717352 CPUtime=5.5 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 17837 0 0 0 546 4 0 0 18 0 4 0 529496047 734568448 15224 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2161/statm: 179338 15224 417 148 0 174267 0
[pid=2161/tid=2166] ppid=2159 vsize=717352 CPUtime=1.29 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 2153 0 0 0 129 0 0 0 25 0 4 0 529496059 734568448 15224 33554432000 4194304 4797429 140735343923056 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=717352 CPUtime=1.37 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 2235 0 0 0 137 0 0 0 18 0 4 0 529496059 734568448 15224 33554432000 4194304 4797429 140735343923056 18446744073709551615 4422883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=717352 CPUtime=1.36 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 2279 0 0 0 136 0 0 0 18 0 4 0 529496059 734568448 15224 33554432000 4194304 4797429 140735343923056 18446744073709551615 4422848 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 717352

[startup+3.10125 s]
/proc/loadavg: 7.57 7.94 7.97 9/184 2168
/proc/meminfo: memFree=30580148/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=720388 CPUtime=11.88 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 20642 0 0 0 1183 5 0 0 21 0 4 0 529496047 737677312 16727 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2161/statm: 180097 16727 419 148 0 175026 0
[pid=2161/tid=2166] ppid=2159 vsize=720388 CPUtime=2.88 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 2586 0 0 0 288 0 0 0 25 0 4 0 529496059 737677312 16727 33554432000 4194304 4797429 140735343923056 18446744073709551615 4241128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=720388 CPUtime=2.96 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 3026 0 0 0 296 0 0 0 21 0 4 0 529496059 737677312 16727 33554432000 4194304 4797429 140735343923056 18446744073709551615 4429751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=720388 CPUtime=2.95 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 3068 0 0 0 294 1 0 0 21 0 4 0 529496059 737677312 16727 33554432000 4194304 4797429 140735343923056 18446744073709551615 4241672 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 720388

[startup+6.30068 s]
/proc/loadavg: 7.57 7.94 7.97 9/184 2168
/proc/meminfo: memFree=30570104/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=723692 CPUtime=24.65 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 22841 0 0 0 2460 5 0 0 25 0 4 0 529496047 741060608 17887 33554432000 4194304 4797429 140735343923056 18446744073709551615 4346313 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2161/statm: 180923 17887 420 148 0 175852 0
[pid=2161/tid=2166] ppid=2159 vsize=723692 CPUtime=6.08 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 2725 0 0 0 608 0 0 0 25 0 4 0 529496059 741060608 17887 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=723692 CPUtime=6.16 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 3209 0 0 0 616 0 0 0 25 0 4 0 529496059 741060608 17887 33554432000 4194304 4797429 140735343923056 18446744073709551615 4351547 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=723692 CPUtime=6.14 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 3297 0 0 0 613 1 0 0 25 0 4 0 529496059 741060608 17887 33554432000 4194304 4797429 140735343923056 18446744073709551615 4429027 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 723692

[startup+12.7006 s]
/proc/loadavg: 7.63 7.94 7.97 9/184 2168
/proc/meminfo: memFree=30549160/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=727764 CPUtime=50.22 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 26839 0 0 0 5015 7 0 0 25 0 4 0 529496047 745230336 19639 33554432000 4194304 4797429 140735343923056 18446744073709551615 4524534 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2161/statm: 181941 19639 422 148 0 176870 0
[pid=2161/tid=2166] ppid=2159 vsize=727764 CPUtime=12.46 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 3351 0 0 0 1245 1 0 0 25 0 4 0 529496059 745230336 19639 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=727764 CPUtime=12.56 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 3868 0 0 0 1255 1 0 0 25 0 4 0 529496059 745230336 19639 33554432000 4194304 4797429 140735343923056 18446744073709551615 4425001 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=727764 CPUtime=12.53 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 3994 0 0 0 1252 1 0 0 25 0 4 0 529496059 745230336 19639 33554432000 4194304 4797429 140735343923056 18446744073709551615 4429754 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.22
Current children cumulated vsize (KiB) 727764

[startup+25.5003 s]
/proc/loadavg: 7.69 7.94 7.97 9/184 2168
/proc/meminfo: memFree=30538692/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=736408 CPUtime=101.35 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 34377 0 0 0 10124 11 0 0 25 0 4 0 529496047 754081792 22037 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2161/statm: 184102 22037 423 148 0 179031 0
[pid=2161/tid=2166] ppid=2159 vsize=736408 CPUtime=25.19 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 4460 0 0 0 2518 1 0 0 25 0 4 0 529496059 754081792 22037 33554432000 4194304 4797429 140735343923056 18446744073709551615 4346704 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=736408 CPUtime=25.36 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 5016 0 0 0 2534 2 0 0 25 0 4 0 529496059 754081792 22037 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424159 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=736408 CPUtime=25.33 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 5420 0 0 0 2531 2 0 0 25 0 4 0 529496059 754081792 22037 33554432000 4194304 4797429 140735343923056 18446744073709551615 4422865 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 736408

[startup+51.1068 s]
/proc/loadavg: 7.79 7.94 7.97 9/184 2169
/proc/meminfo: memFree=30508504/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=745556 CPUtime=203.62 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 44976 0 0 0 20348 14 0 0 25 0 4 0 529496047 763449344 26507 33554432000 4194304 4797429 140735343923056 18446744073709551615 4531968 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2161/statm: 186389 26507 423 148 0 181318 0
[pid=2161/tid=2166] ppid=2159 vsize=745556 CPUtime=50.65 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 5587 0 0 0 5063 2 0 0 25 0 4 0 529496059 763449344 26507 33554432000 4194304 4797429 140735343923056 18446744073709551615 4287058 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=745556 CPUtime=50.96 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 6464 0 0 0 5094 2 0 0 25 0 4 0 529496059 763449344 26507 33554432000 4194304 4797429 140735343923056 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=745556 CPUtime=50.93 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 6828 0 0 0 5091 2 0 0 25 0 4 0 529496059 763449344 26507 33554432000 4194304 4797429 140735343923056 18446744073709551615 4427861 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.62
Current children cumulated vsize (KiB) 745556

[startup+102.301 s]
/proc/loadavg: 7.99 7.98 7.98 9/184 2170
/proc/meminfo: memFree=30474948/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=759284 CPUtime=408.13 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 65296 0 0 0 40789 24 0 0 25 0 4 0 529496047 777506816 30893 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 189821 30893 423 148 0 184750 0
[pid=2161/tid=2166] ppid=2159 vsize=759284 CPUtime=101.84 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 7644 0 0 0 10181 3 0 0 25 0 4 0 529496059 777506816 30893 33554432000 4194304 4797429 140735343923056 18446744073709551615 270612759468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=759284 CPUtime=102.16 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 8306 0 0 0 10213 3 0 0 25 0 4 0 529496059 777506816 30893 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428632 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=759284 CPUtime=102.13 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 8865 0 0 0 10210 3 0 0 25 0 4 0 529496059 777506816 30893 33554432000 4194304 4797429 140735343923056 18446744073709551615 4423573 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.13
Current children cumulated vsize (KiB) 759284

[startup+162.301 s]
/proc/loadavg: 8.06 8.01 7.99 9/184 2172
/proc/meminfo: memFree=30449476/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=771384 CPUtime=647.81 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 83037 0 0 0 64747 34 0 0 25 0 4 0 529496047 789897216 32945 33554432000 4194304 4797429 140735343923056 18446744073709551615 4271037 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 192846 32945 423 148 0 187775 0
[pid=2161/tid=2166] ppid=2159 vsize=771384 CPUtime=161.84 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 9615 0 0 0 16180 4 0 0 25 0 4 0 529496059 789897216 32945 33554432000 4194304 4797429 140735343923056 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=771384 CPUtime=162.16 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 10028 0 0 0 16212 4 0 0 25 0 4 0 529496059 789897216 32945 33554432000 4194304 4797429 140735343923056 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=771384 CPUtime=162.13 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 10658 0 0 0 16209 4 0 0 25 0 4 0 529496059 789897216 32945 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428662 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.81
Current children cumulated vsize (KiB) 771384

[startup+222.3 s]
/proc/loadavg: 8.06 8.02 7.99 9/184 2174
/proc/meminfo: memFree=30427608/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=774772 CPUtime=887.48 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 98727 0 0 0 88708 40 0 0 25 0 4 0 529496047 793366528 36055 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 193693 36055 423 148 0 188622 0
[pid=2161/tid=2166] ppid=2159 vsize=774772 CPUtime=221.85 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 10860 0 0 0 22180 5 0 0 25 0 4 0 529496059 793366528 36055 33554432000 4194304 4797429 140735343923056 18446744073709551615 4346677 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=774772 CPUtime=222.16 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 11402 0 0 0 22212 4 0 0 25 0 4 0 529496059 793366528 36055 33554432000 4194304 4797429 140735343923056 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=774772 CPUtime=222.14 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 11818 0 0 0 22209 5 0 0 25 0 4 0 529496059 793366528 36055 33554432000 4194304 4797429 140735343923056 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.48
Current children cumulated vsize (KiB) 774772

[startup+282.301 s]

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

[pid=2161] ppid=2159 vsize=831576 CPUtime=2804.11 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 197691 0 0 0 280322 89 0 0 25 0 4 0 529496047 851533824 50717 33554432000 4194304 4797429 140735343923056 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 207894 50717 423 148 0 202823 0
[pid=2161/tid=2166] ppid=2159 vsize=831576 CPUtime=701.85 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 21328 0 0 0 70176 9 0 0 25 0 4 0 529496059 851533824 50717 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=831576 CPUtime=702.18 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 22030 0 0 0 70209 9 0 0 25 0 4 0 529496059 851533824 50717 33554432000 4194304 4797429 140735343923056 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=831576 CPUtime=701.34 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 22025 0 0 0 70123 11 0 0 25 0 4 0 529496059 851533824 50717 33554432000 4194304 4797429 140735343923056 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.11
Current children cumulated vsize (KiB) 831576

[startup+762.301 s]
/proc/loadavg: 8.07 8.11 8.04 9/184 2200
/proc/meminfo: memFree=30301704/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=831824 CPUtime=3043.77 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 206989 0 0 0 304283 94 0 0 25 0 4 0 529496047 851787776 51215 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 207956 51215 423 148 0 202885 0
[pid=2161/tid=2166] ppid=2159 vsize=831824 CPUtime=761.85 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 22371 0 0 0 76175 10 0 0 25 0 4 0 529496059 851787776 51215 33554432000 4194304 4797429 140735343923056 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=831824 CPUtime=762.17 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 23095 0 0 0 76208 9 0 0 25 0 4 0 529496059 851787776 51215 33554432000 4194304 4797429 140735343923056 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=831824 CPUtime=761.33 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 23002 0 0 0 76122 11 0 0 25 0 4 0 529496059 851787776 51215 33554432000 4194304 4797429 140735343923056 18446744073709551615 4429013 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3043.77
Current children cumulated vsize (KiB) 831824

[startup+822.3 s]
/proc/loadavg: 8.02 8.09 8.04 9/184 2202
/proc/meminfo: memFree=30267812/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=831920 CPUtime=3283.43 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 217305 0 0 0 328244 99 0 0 25 0 4 0 529496047 851886080 51438 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 207980 51438 423 148 0 202909 0
[pid=2161/tid=2166] ppid=2159 vsize=831920 CPUtime=821.85 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 23362 0 0 0 82175 10 0 0 25 0 4 0 529496059 851886080 51438 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=831920 CPUtime=822.17 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 24228 0 0 0 82207 10 0 0 25 0 4 0 529496059 851886080 51438 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428755 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=831920 CPUtime=821.34 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 23942 0 0 0 82122 12 0 0 25 0 4 0 529496059 851886080 51438 33554432000 4194304 4797429 140735343923056 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.43
Current children cumulated vsize (KiB) 831920

[startup+882.301 s]
/proc/loadavg: 8.01 8.07 8.03 9/184 2203
/proc/meminfo: memFree=30263424/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=833220 CPUtime=3523.12 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 227273 0 0 0 352208 104 0 0 25 0 4 0 529496047 853217280 52467 33554432000 4194304 4797429 140735343923056 18446744073709551615 4351775 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 208305 52467 423 148 0 203234 0
[pid=2161/tid=2166] ppid=2159 vsize=833220 CPUtime=881.85 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 24069 0 0 0 88174 11 0 0 25 0 4 0 529496059 853217280 52467 33554432000 4194304 4797429 140735343923056 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=833220 CPUtime=882.17 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 24982 0 0 0 88206 11 0 0 25 0 4 0 529496059 853217280 52467 33554432000 4194304 4797429 140735343923056 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=833220 CPUtime=881.34 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 24681 0 0 0 88122 12 0 0 25 0 4 0 529496059 853217280 52467 33554432000 4194304 4797429 140735343923056 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.12
Current children cumulated vsize (KiB) 833220

[startup+942.301 s]
/proc/loadavg: 8.04 8.07 8.03 9/184 2205
/proc/meminfo: memFree=30254604/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=839680 CPUtime=3762.8 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 237467 0 0 0 376171 109 0 0 25 0 4 0 529496047 859832320 53986 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 209920 53986 423 148 0 204849 0
[pid=2161/tid=2166] ppid=2159 vsize=839680 CPUtime=941.85 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 25198 0 0 0 94174 11 0 0 25 0 4 0 529496059 859832320 53986 33554432000 4194304 4797429 140735343923056 18446744073709551615 4528077 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=839680 CPUtime=942.17 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 26235 0 0 0 94206 11 0 0 25 0 4 0 529496059 859832320 53986 33554432000 4194304 4797429 140735343923056 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=839680 CPUtime=941.34 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 25679 0 0 0 94121 13 0 0 25 0 4 0 529496059 859832320 53986 33554432000 4194304 4797429 140735343923056 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3762.8
Current children cumulated vsize (KiB) 839680

[startup+1002.3 s]
/proc/loadavg: 8.05 8.07 8.03 9/184 2206
/proc/meminfo: memFree=30253700/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=840920 CPUtime=4002.47 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 247010 0 0 0 400133 114 0 0 25 0 4 0 529496047 861102080 54406 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424399 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 210230 54406 423 148 0 205159 0
[pid=2161/tid=2166] ppid=2159 vsize=840920 CPUtime=1001.85 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 26194 0 0 0 100174 11 0 0 25 0 4 0 529496059 861102080 54406 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=840920 CPUtime=1002.17 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 27211 0 0 0 100205 12 0 0 25 0 4 0 529496059 861102080 54406 33554432000 4194304 4797429 140735343923056 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=840920 CPUtime=1001.34 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 26792 0 0 0 100120 14 0 0 25 0 4 0 529496059 861102080 54406 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.47
Current children cumulated vsize (KiB) 840920

[startup+1062.3 s]
/proc/loadavg: 8.12 8.08 8.04 9/184 2208
/proc/meminfo: memFree=30226516/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=857980 CPUtime=4242.15 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 259957 0 0 0 424096 119 0 0 25 0 4 0 529496047 878571520 56548 33554432000 4194304 4797429 140735343923056 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 214495 56548 423 148 0 209424 0
[pid=2161/tid=2166] ppid=2159 vsize=857980 CPUtime=1061.86 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 26918 0 0 0 106174 12 0 0 25 0 4 0 529496059 878571520 56548 33554432000 4194304 4797429 140735343923056 18446744073709551615 4346677 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=857980 CPUtime=1062.18 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 29998 0 0 0 106205 13 0 0 25 0 4 0 529496059 878571520 56548 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428662 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=857980 CPUtime=1061.34 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 29602 0 0 0 106119 15 0 0 25 0 4 0 529496059 878571520 56548 33554432000 4194304 4797429 140735343923056 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.15
Current children cumulated vsize (KiB) 857980

[startup+1122.3 s]
/proc/loadavg: 8.13 8.08 8.04 9/184 2210
/proc/meminfo: memFree=30224860/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=867640 CPUtime=4481.83 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 270852 0 0 0 448060 123 0 0 25 0 4 0 529496047 888463360 58216 33554432000 4194304 4797429 140735343923056 18446744073709551615 4425633 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 216910 58216 423 148 0 211839 0
[pid=2161/tid=2166] ppid=2159 vsize=867640 CPUtime=1121.86 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 29931 0 0 0 112174 12 0 0 25 0 4 0 529496059 888463360 58216 33554432000 4194304 4797429 140735343923056 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=867640 CPUtime=1122.17 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 31184 0 0 0 112204 13 0 0 25 0 4 0 529496059 888463360 58216 33554432000 4194304 4797429 140735343923056 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=867640 CPUtime=1121.34 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 30624 0 0 0 112119 15 0 0 25 0 4 0 529496059 888463360 58216 33554432000 4194304 4797429 140735343923056 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4481.83
Current children cumulated vsize (KiB) 867640

[startup+1182.3 s]
/proc/loadavg: 8.11 8.08 8.04 9/184 2211
/proc/meminfo: memFree=30221596/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=869068 CPUtime=4721.51 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 280729 0 0 0 472022 129 0 0 25 0 4 0 529496047 889925632 58072 33554432000 4194304 4797429 140735343923056 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 217267 58072 423 148 0 212196 0
[pid=2161/tid=2166] ppid=2159 vsize=869068 CPUtime=1181.86 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 30570 0 0 0 118174 12 0 0 25 0 4 0 529496059 889925632 58072 33554432000 4194304 4797429 140735343923056 18446744073709551615 4423672 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=869068 CPUtime=1182.18 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 32424 0 0 0 118204 14 0 0 25 0 4 0 529496059 889925632 58072 33554432000 4194304 4797429 140735343923056 18446744073709551615 4242872 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=869068 CPUtime=1181.34 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 31698 0 0 0 118118 16 0 0 25 0 4 0 529496059 889925632 58072 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.51
Current children cumulated vsize (KiB) 869068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.08 8.07 8.03 5/179 2213
/proc/meminfo: memFree=30462312/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=869892 CPUtime=4800.21 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 284935 0 0 0 479891 130 0 0 25 0 4 0 529496047 890769408 60970 33554432000 4194304 4797429 140735343923056 18446744073709551615 4387760 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 217473 60970 423 148 0 212402 0
[pid=2161/tid=2166] ppid=2159 vsize=869892 CPUtime=1201.56 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 31084 0 0 0 120144 12 0 0 25 0 4 0 529496059 890769408 60970 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428810 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=869892 CPUtime=1201.88 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 32692 0 0 0 120174 14 0 0 25 0 4 0 529496059 890769408 60970 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=869892 CPUtime=1201.05 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 31925 0 0 0 120089 16 0 0 25 0 4 0 529496059 890769408 60970 33554432000 4194304 4797429 140735343923056 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 869892

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

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

[startup+1202 s]
/proc/loadavg: 8.08 8.07 8.03 5/179 2213
/proc/meminfo: memFree=30462312/32951124 swapFree=67111524/67111528
[pid=2161] ppid=2159 vsize=869892 CPUtime=4800.21 cores=1,3,5,7
/proc/2161/stat : 2161 (techdemo) R 2159 2161 2123 0 -1 4202496 284935 0 0 0 479891 130 0 0 25 0 4 0 529496047 890769408 60970 33554432000 4194304 4797429 140735343923056 18446744073709551615 4387760 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2161/statm: 217473 60970 423 148 0 212402 0
[pid=2161/tid=2166] ppid=2159 vsize=869892 CPUtime=1201.56 cores=1,3,5,7
/proc/2161/task/2166/stat : 2166 (techdemo) R 2159 2161 2123 0 -1 4202560 31084 0 0 0 120144 12 0 0 25 0 4 0 529496059 890769408 60970 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428810 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2161/tid=2167] ppid=2159 vsize=869892 CPUtime=1201.88 cores=1,3,5,7
/proc/2161/task/2167/stat : 2167 (techdemo) R 2159 2161 2123 0 -1 4202560 32692 0 0 0 120174 14 0 0 25 0 4 0 529496059 890769408 60970 33554432000 4194304 4797429 140735343923056 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2161/tid=2168] ppid=2159 vsize=869892 CPUtime=1201.05 cores=1,3,5,7
/proc/2161/task/2168/stat : 2168 (techdemo) R 2159 2161 2123 0 -1 4202560 31925 0 0 0 120089 16 0 0 25 0 4 0 529496059 890769408 60970 33554432000 4194304 4797429 140735343923056 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 869892

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.02
CPU time (s): 4800.26
CPU user time (s): 4798.94
CPU system time (s): 1.3198
CPU usage (%): 399.348
Max. virtual memory (cumulated for all children) (KiB): 948700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.94
system time used= 1.3198
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284936
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= 1738
involuntary context switches= 21752

runsolver used 1.91771 second user time and 4.66029 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-30 17:55:51
IDJOB=3291356
IDBENCH=84211
IDSOLVER=1584
FILE ID=node108/3291356-1304178951
RUNJOBID= node108-1304178951-2142
PBS_JOBID= 13172452
Free space on /tmp= 72624 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291356-1304178951/watcher-3291356-1304178951 -o /tmp/evaluation-result-3291356-1304178951/solver-3291356-1304178951 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3291356-1304178951.cnf

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

MD5SUM BENCH= 9edcffddbe07377cf6685697aafad673
RANDOM SEED=561284648

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30689336 kB
Buffers:        608860 kB
Cached:        1172184 kB
SwapCached:          4 kB
Active:         173776 kB
Inactive:      1686556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30689336 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           17852 kB
Writeback:           0 kB
AnonPages:       79480 kB
Mapped:          15656 kB
Slab:           334588 kB
PageTables:       4584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   256676 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= 72620 MiB
End job on node108 at 2011-04-30 18:15:55