Trace number 3251371

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.41 1201.93

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
MD5SUM683c9f75b69575e6451b8563d12f176b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.85272
Satisfiable
(Un)Satisfiability was proved
Number of variables1981
Number of clauses333838
Sum of the clauses size669567
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2333793
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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-3251371-1304183683.cnf'
0.00/0.00	c -- header says num vars:           1981
0.00/0.00	c -- header says num clauses:      333838
0.19/0.25	c -- clauses added:            0 learnts,       333838 normals,            0 xors
0.19/0.25	c -- vars added       1981
0.19/0.25	c Parsing time:  0.24 s
0.19/0.25	c  N st     0         0      1981        45    333793         0    669567         0   no data   no data  --
0.19/0.25	c asymm  cl-useful: 0/45/45 lits-rem:0 time: 0.00
1.23/0.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  0.33
1.23/0.52	c Calc non-exist non-lernt bins v-fix:     0 done:   1981 time:  0.12 s
1.23/0.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1.23/0.52	c Subs w/ non-existent bins:      0 time:  0.00 s
1.23/0.52	c bin-w-bin subsume rem            0 bins  time:  0.21 s
1.23/0.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.20 s
1.23/0.52	c Removed useless bin:       0  fixed:     0  bprops:   1.34M  time:  0.12 s
1.23/0.59	c lits-rem:       186  cl-subs:        0  v-elim:   1275  v-fix:    0  time:  0.32 s
1.23/0.59	c learnt bin added due to v-elim: 0
1.63/0.60	c Finding binary XORs  T:     0.03 s  found:       0
1.63/0.62	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.63/0.62	c calculated reachability. Time: 0.01
1.63/0.62	c Calc default polars -  time:   0.01 s pos:       0 undec:      45 neg:    1936
1.63/0.62	c =========================================================================================
1.63/0.62	c types(t): F = full restart, N = normal restart
1.63/0.62	c types(t): S = simplification begin/end, E = solution found
1.63/0.62	c restart types(rt): st = static, dy = dynamic
1.63/0.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.63/0.62	c  B st     0         0      1936      4791    327066         0    905466         0   no data   no data  --
2.82/0.93	c Decided on static restart strategy
4.82/1.43	c  N dy    21      4135      1936      4791    327066      4000    905458    601025    128.50     16.02  --
8.03/2.28	c  N dy    49      8143      1936      4791    327066      5464    905458    715313    166.62     15.68  --
12.03/3.22	c  N dy    77     12165      1936      4791    327066      5257    905458    559757    153.92     15.76  --
15.61/4.13	c  N dy   105     16299      1936      4791    327066      9264    905458   1245000    179.02     15.51  --
19.20/5.05	c  N dy   133     20362      1936      4791    327066      7743    905458    925730    168.86     15.52  --
22.39/5.86	c  N dy   162     24490      1936      4791    327066     11733    905456   1491720    128.72     16.10  --
25.62/6.61	c  N dy   191     28544      1936      4791    327066      9076    905456    926658    137.87     16.15  --
26.79/6.96	c  S st   202     30000      1936      4791    327066     10490    905456   1097327    120.95     16.10  --
27.19/7.05	c  S st   202     30501      1936      4791    327066     10982    905455   1167263    120.95     16.10  --
27.19/7.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.19/7.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.17/9.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 33.2M T:  7.88
35.17/9.07	c Calc non-exist non-lernt bins v-fix:     0 done:   1936 time:  0.14 s
35.17/9.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.57/9.10	c Subs w/ non-existent bins:      0 time:  0.10 s
35.57/9.18	c bin-w-bin subsume rem            0 bins  time:  0.22 s
41.57/10.64	c subs with bin:        0  lits-rem:       704  v-fix:    0  time:  5.84 s
41.57/10.67	c Removed useless bin:       0  fixed:     0  bprops:   1.32M  time:  0.12 s
46.36/11.87	c lits-rem:      1915  cl-subs:     1110  v-elim:   1936  v-fix:    0  time:  4.78 s
46.36/11.87	c learnt bin added due to v-elim: 0
46.36/11.88	c vivif2 --  cl tried     4791 cl shrink     3724 lits rem      30830 time: 0.05
46.76/11.90	c vivif2 --  cl tried     9872 cl shrink        0 lits rem          0 time: 0.08
47.58/12.11	c asymm  cl-useful: 54/759/4791 lits-rem:81 time: 0.83
47.58/12.12	c calculated reachability. Time: 0.01
47.58/12.12	c  N dy   202     30501      1936      4791    327066      9872    872170   1041840    120.95     16.10  --
47.58/12.12	c  F st   202     30501      1936      4791    327066      9872    872170   1041840    120.95     16.10  --
49.56/12.61	c Decided on static restart strategy
51.16/13.09	c  N dy   221     34524      1936      4791    327066     13786    872170   1597204    153.65     16.38  --
54.35/13.89	c  N dy   249     38621      1936      4791    327066     10110    872170    998229    120.60     16.36  --
58.35/14.84	c  N dy   277     42735      1936      4791    327066     14108    872170   1561797    147.58     16.44  --
62.35/15.83	c  S st   298     45751      1936      4791    327066     17037    872170   2054095    190.45     16.59  --
62.75/15.96	c  S st   298     46252      1936      4791    327066      8839    872170    790454    190.45     16.59  --
62.75/15.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
62.75/15.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
70.33/17.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 40.5M T:  7.32
70.33/17.84	c Calc non-exist non-lernt bins v-fix:     0 done:   1936 time:  0.13 s
70.33/17.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
70.33/17.86	c Subs w/ non-existent bins:      0 time:  0.08 s
70.73/17.93	c bin-w-bin subsume rem            0 bins  time:  0.22 s
75.93/19.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.28 s
75.93/19.28	c Removed useless bin:       0  fixed:     0  bprops:   1.32M  time:  0.12 s
81.92/20.70	c lits-rem:       398  cl-subs:      176  v-elim:   1936  v-fix:    0  time:  5.67 s
81.92/20.70	c learnt bin added due to v-elim: 0
81.92/20.71	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.01
81.92/20.72	c vivif2 --  cl tried     8663 cl shrink        0 lits rem          0 time: 0.07
82.33/20.90	c asymm  cl-useful: 0/650/4791 lits-rem:0 time: 0.69
82.73/20.90	c calculated reachability. Time: 0.01
82.73/20.90	c  N dy   298     46252      1936      4791    327066      8663    871965    776572    190.45     16.59  --
85.91/21.76	c  N dy   326     50331      1936      4791    327066     12658    871965   1237216    119.62     16.51  --
89.50/22.65	c  N dy   355     54439      1936      4791    327066     16668    871965   1893703    189.90     16.73  --
94.71/23.90	c  N dy   384     58516      1936      4791    327066     10923    871965   1165024    211.88     16.93  --
99.91/25.29	c  N dy   412     62525      1936      4791    327066     14797    871965   1990765    212.21     17.06  --
105.48/26.67	c  N dy   441     66613      1936      4791    327066     18746    871965   2769873    208.95     17.18  --
111.48/28.12	c  S st   461     69381      1936      4791    327066     10760    871965   1149803    208.65     17.25  --
111.88/28.22	c  S st   461     69885      1936      4791    327066     11262    871965   1221389    208.65     17.25  --
111.88/28.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
111.88/28.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.26/31.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 57.4M T: 12.60
124.66/31.42	c Calc non-exist non-lernt bins v-fix:     0 done:   1936 time:  0.14 s
124.66/31.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.66/31.45	c Subs w/ non-existent bins:      0 time:  0.10 s
125.06/31.53	c bin-w-bin subsume rem            0 bins  time:  0.22 s
130.26/32.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.35 s
130.26/32.90	c Removed useless bin:       0  fixed:     0  bprops:   1.32M  time:  0.12 s
136.25/34.35	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.38
146.63/36.91	c Added 20 vars  tried: 80000 time: 10.20
147.03/37.00	c ORs :     20 avg-s:  0.0 cl-sh: 20073 l-rem:  20073 b-add:     40 v-rep:   0 cl-rem: 0 avg s: nan T:   10.58
147.03/37.02	c lits-rem:       266  cl-subs:      253  v-elim:   1936  v-fix:    0  time: 16.46 s
147.03/37.02	c learnt bin added due to v-elim: 0
147.03/37.02	c vivif2 --  cl tried     4811 cl shrink        0 lits rem          0 time: 0.01
147.03/37.04	c vivif2 --  cl tried    11009 cl shrink        0 lits rem          0 time: 0.09
147.83/37.23	c asymm  cl-useful: 0/508/4811 lits-rem:0 time: 0.73
147.83/37.24	c calculated reachability. Time: 0.01
147.83/37.24	c  N dy   461     69885      1956      4811    327106     11009    870779   1164134    208.65     17.25  --
147.83/37.24	c  F st   461     69885      1956      4811    327106     11009    870779   1164134    208.65     17.25  --
149.43/37.67	c Decided on static restart strategy
151.82/38.22	c  N dy   484     74437      1956      4811    327108     15384    870779   1755392    135.45     17.08  --
156.22/39.34	c  N dy   517     79245      1956      4811    327112     19986    870779   2405691    154.24     17.32  --
161.01/40.53	c  N dy   553     84396      1956      4811    327119     13359    870779   1498362    244.98     17.81  --
167.00/42.06	c  N dy   590     89819      1956      4811    327120     18442    870779   2577941    224.17     18.85  --
175.79/44.25	c  N dy   629     95580      1956      4811    327121     23914    870779   3616416    148.16     19.50  --
182.19/45.84	c  N dy   671    101736      1956      4811    327124     17336    870779   2250949    225.03     20.15  --
186.18/46.87	c  S st   693    104827      1956      4811    327126     20238    870779   2859321    207.75     20.58  --
186.98/47.02	c  S st   693    105327      1956      4811    327126     20737    870779   2923636    207.75     20.58  --
186.98/47.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
186.98/47.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
213.74/53.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1744 BRemL:     23 BRemN:      0 CBin:       0 P: 60.0M T: 26.63
213.74/53.73	c Calc non-exist non-lernt bins v-fix:     0 done:   1956 time:  0.14 s
213.74/53.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
213.74/53.77	c Subs w/ non-existent bins:      0 time:  0.17 s
214.15/53.89	c bin-w-bin subsume rem            0 bins  time:  0.22 s
220.13/55.31	c subs with bin:        0  lits-rem:       109  v-fix:    0  time:  5.66 s
220.13/55.33	c Removed useless bin:       0  fixed:     0  bprops:   0.94M  time:  0.10 s
244.10/61.33	c ORs :     39 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 9 avg s: 3.0 T:    0.41
244.10/61.36	c lits-rem:       751  cl-subs:     6074  v-elim:   3093  v-fix:    0  time: 24.06 s
244.10/61.36	c learnt bin added due to v-elim: 0
244.10/61.36	c vivif2 --  cl tried     6802 cl shrink      478 lits rem        478 time: 0.02
244.50/61.41	c vivif2 --  cl tried    14663 cl shrink      675 lits rem        889 time: 0.17
245.70/61.75	c asymm  cl-useful: 0/284/6324 lits-rem:0 time: 1.36
245.70/61.76	c calculated reachability. Time: 0.01
245.70/61.76	c  N dy   693    105327      1949      6324    327284     14663    872234   1902522    207.75     20.58  --
256.88/64.56	c  N dy   739    112177      1949      6324    327284     21118    872234   3643395    279.57     20.72  --
272.06/68.33	c  N dy   788    119477      1949      6324    327284     14918    872234   1901546    244.96     21.11  --
286.84/72.00	c  N dy   838    127150      1949      6324    327284     22188    872234   3769917    272.68     21.04  --
305.22/76.68	c  N dy   893    135350      1949      6324    327300     15815    872234   1926954    168.30     21.45  --
321.60/80.74	c  N dy   951    144037      2031      6324    336249     31579    877456   3807999    173.25     21.62  --
334.38/83.96	c  N dy  1014    153261      2031      6324    336249     21548    877456   1518146    148.25     21.86  --
340.37/85.45	c  S st  1046    157991      2031      6324    336249     26128    877456   2262138    164.88     21.97  --
340.77/85.58	c  S st  1046    158493      2031      6324    336250     26629    877456   2325884    164.88     21.97  --
340.77/85.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
340.77/85.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
359.95/90.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:   1996 BRemL:    371 BRemN:    619 CBin:       0 P: 60.1M T: 19.14
360.35/90.42	c Calc non-exist non-lernt bins v-fix:     0 done:   2031 time:  0.15 s
360.35/90.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
360.35/90.47	c Subs w/ non-existent bins:   2454 time:  0.22 s
360.35/90.49	c Replacing        4 vars Replaced     1700 lits Time:     0.10 s 
361.15/90.60	c bin-w-bin subsume rem         2824 bins  time:  0.23 s
367.14/92.18	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  6.31 s
367.14/92.19	c Removed useless bin:    1028  fixed:     0  bprops:   0.52M  time:  0.08 s
379.52/95.29	c ORs :     39 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 3.0 T:    0.59
379.92/95.31	c lits-rem:       356  cl-subs:     1649  v-elim:   1922  v-fix:    0  time: 12.45 s
379.92/95.31	c learnt bin added due to v-elim: 0
379.92/95.32	c vivif2 --  cl tried     6324 cl shrink        5 lits rem          5 time: 0.02
379.92/95.36	c vivif2 --  cl tried    22522 cl shrink       27 lits rem         33 time: 0.16
381.13/95.61	c asymm  cl-useful: 0/537/6319 lits-rem:0 time: 0.99
381.13/95.61	c calculated reachability. Time: 0.01
381.13/95.61	c  N dy  1046    158493      2027      6319    333419     22504    874141   2068625    164.88     21.97  --
397.09/99.63	c  N dy  1115    168750      2027      6319    333419     32392    874141   3762782    167.96     22.04  --
409.48/102.74	c  N dy  1190    179552      2027      6319    333419     25921    874141   2462055    211.98     22.10  --
429.05/107.69	c  N dy  1269    191147      2027      6319    333419     19431    874141   1393166    129.49     22.30  --
446.62/112.07	c  N dy  1351    203383      2027      6319    333420     31172    874141   3519463    172.05     22.21  --
465.02/116.61	c  N dy  1439    216415      2027      6319    333420     25890    874141   2085459    132.24     21.95  --
488.97/122.60	c  N dy  1532    230251      2027      6319    333420     39086    874141   4736221    240.29     21.81  --
497.76/124.90	c  S st  1583    237741      2027      6319    333420     26735    874141   2714228    244.45     21.75  --
498.56/125.05	c  S st  1583    238242      2027      6319    333420     27235    874141   2776294    244.45     21.75  --
498.56/125.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
498.56/125.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
524.53/131.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      8 BRemN:   3474 CBin:       0 P: 60.0M T: 26.03
524.93/131.61	c Calc non-exist non-lernt bins v-fix:     0 done:   2027 time:  0.14 s
524.93/131.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
524.93/131.66	c Subs w/ non-existent bins:      0 time:  0.20 s
525.33/131.77	c bin-w-bin subsume rem           16 bins  time:  0.22 s
531.32/133.20	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  5.73 s
531.32/133.22	c Removed useless bin:       0  fixed:     0  bprops:   0.51M  time:  0.07 s
546.90/137.11	c ORs :     39 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.54
546.90/137.14	c lits-rem:      1234  cl-subs:     2001  v-elim:   1922  v-fix:    0  time: 15.66 s
546.90/137.14	c learnt bin added due to v-elim: 0
546.90/137.14	c vivif2 --  cl tried     6318 cl shrink        0 lits rem          0 time: 0.02
546.90/137.19	c vivif2 --  cl tried    25227 cl shrink      162 lits rem        162 time: 0.18
548.51/137.54	c asymm  cl-useful: 0/272/6318 lits-rem:0 time: 1.39
548.51/137.55	c calculated reachability. Time: 0.01
548.51/137.55	c  N dy  1583    238242      2027      6318    330084     25065    867192   2396837    244.45     21.75  --
572.06/143.40	c  N dy  1685    253461      2027      6318    330084     39588    867192   5348701    129.72     21.76  --
595.63/149.30	c  N dy  1794    269786      2027      6318    330084     34994    867192   4347132    250.10     21.74  --
624.38/156.50	c  N dy  1908    287048      2112      6318    337369     31744    868726   3365081    217.62     21.92  --
654.75/164.10	c  N dy  2031    305465      2112      6318    337370     26565    868726   2497100    313.73     22.06  --
687.11/172.23	c  N dy  2163    325089      2112      6318    337370     45403    868726   5824417    128.67     21.91  --
717.87/179.96	c  N dy  2297    345215      2112      6318    337370     41482    868726   4002069    142.87     21.87  --
741.04/185.72	c  S st  2379    357363      2112      6318    337370     29032    868726   2318816    178.34     21.88  --
741.46/185.85	c  S st  2379    357865      2112      6318    337370     29531    868726   2388674    178.34     21.88  --
741.46/185.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
741.46/185.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
761.01/190.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:   1827 BRemL:    258 BRemN:     64 CBin:       0 P: 60.0M T: 19.35
761.01/190.74	c Calc non-exist non-lernt bins v-fix:     0 done:   2112 time:  0.15 s
761.01/190.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
761.41/190.80	c Subs w/ non-existent bins:    593 time:  0.23 s
761.41/190.82	c Replacing        5 vars Replaced      967 lits Time:     0.07 s 
761.81/190.92	c bin-w-bin subsume rem          739 bins  time:  0.23 s
767.40/192.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.57 s
767.40/192.33	c Removed useless bin:     161  fixed:     0  bprops:   0.45M  time:  0.07 s
780.58/195.64	c ORs :     39 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    0.46
780.58/195.67	c lits-rem:       526  cl-subs:     2236  v-elim:   1922  v-fix:    0  time: 13.31 s
780.58/195.67	c learnt bin added due to v-elim: 0
780.58/195.67	c vivif2 --  cl tried     6318 cl shrink        0 lits rem          0 time: 0.02
781.00/195.72	c vivif2 --  cl tried    26699 cl shrink        3 lits rem          7 time: 0.19
782.18/196.02	c asymm  cl-useful: 0/353/6318 lits-rem:0 time: 1.19
782.18/196.03	c calculated reachability. Time: 0.01
782.18/196.03	c  N dy  2379    357865      2107      6318    337963     26697    868250   2163276    178.34     21.88  --
820.95/205.78	c  N dy  2512    377984      2107      6318    337983     47496    868290   6406050    137.62     21.90  --
856.87/214.79	c  N dy  2646    398116      2107      6318    337983     41283    868290   4254893    209.78     21.81  --
885.64/221.95	c  N dy  2781    418216      2107      6318    337983     34375    868290   3636545    158.66     21.83  --
928.78/232.70	c  N dy  2915    438287      2178      6318    345728     58166    871772   8168375    174.87     21.89  --
964.74/241.71	c  N dy  3048    458317      2178      6318    345728     47927    871772   6034661    304.87     21.97  --
1010.67/253.27	c  N dy  3180    478382      2178      6318    345729     38091    871772   4021765    266.05     22.00  --
1031.46/258.50	c Finding binary XORs  T:     0.03 s  found:       4
1049.82/263.09	c  N dy  3314    498481      2178      6318    345729     57342    871772   8460843    307.15     21.95  --
1100.15/275.67	c  N dy  3445    518556      2178      6318    346274     47281    871772   6700665    221.21     21.97  --
1139.30/285.41	c  S st  3569    536797      2178      6318    346292     34982    871772   2953581    270.99     21.91  --
1139.70/285.56	c  S st  3569    537298      2178      6318    346292     35480    871772   3021245    270.99     21.91  --
1139.70/285.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1139.70/285.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1167.68/292.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    224 BRemN:   1202 CBin:       0 P: 60.0M T: 27.77
1167.68/292.56	c Calc non-exist non-lernt bins v-fix:     0 done:   2178 time:  0.16 s
1167.68/292.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1168.08/292.63	c Subs w/ non-existent bins:   1615 time:  0.28 s
1168.08/292.65	c Replacing        4 vars Replaced       35 lits Time:     0.07 s 
1168.46/292.77	c bin-w-bin subsume rem         1490 bins  time:  0.24 s
1174.05/294.10	c subs with bin:        3  lits-rem:         3  v-fix:    0  time:  5.34 s
1174.05/294.12	c Removed useless bin:     344  fixed:     0  bprops:   0.44M  time:  0.07 s
1190.43/298.20	c ORs :     39 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.48
1215.60/304.50	c Added 22 vars  tried: 80000 time: 25.18
1216.79/304.83	c ORs :     22 avg-s:  0.0 cl-sh: 39475 l-rem:  39475 b-add:     44 v-rep:   0 cl-rem: 20 avg s: 3.0 T:   26.48
1216.79/304.86	c lits-rem:      1426  cl-subs:     1179  v-elim:   1922  v-fix:    0  time: 42.91 s
1216.79/304.86	c learnt bin added due to v-elim: 0
1216.79/304.87	c vivif2 --  cl tried     6335 cl shrink        0 lits rem          0 time: 0.02
1217.19/304.92	c vivif2 --  cl tried    32666 cl shrink      572 lits rem        578 time: 0.22
1218.39/305.26	c asymm  cl-useful: 0/373/6335 lits-rem:0 time: 1.34
1218.39/305.27	c calculated reachability. Time: 0.01
1218.39/305.27	c  N dy  3569    537298      2196      6335    343640     32095    867637   2764931    270.99     21.91  --
1218.39/305.27	c  F st  3569    537298      2196      6335    343640     32095    867637   2764931    270.99     21.91  --
1220.81/305.87	c Decided on static restart strategy
1258.74/315.39	c  N dy  3696    557368      2196      6335    343641     51342    867637   7687262    241.95     21.98  --
1323.04/331.42	c  N dy  3830    577505      2196      6335    343641     41073    867637   5190783    300.95     22.10  --
1366.59/342.36	c  N dy  3963    597588      2196      6335    343641     60215    867637   9370338    181.95     22.10  --
1413.34/354.01	c  N dy  4097    617708      2196      6335    343641     48446    867637   6518054    277.36     22.16  --
1460.87/365.97	c  N dy  4233    637797      2230      6335    348018     36249    868383   2845976    155.47     22.09  --
1498.81/375.47	c  N dy  4368    657861      2230      6335    348022     55636    868383   6529810    194.81     21.97  --
1546.35/387.34	c  N dy  4503    677964      2230      6335    348022     40975    868383   3820411    247.03     21.94  --
1591.48/398.65	c  N dy  4637    698089      2268      6335    353720     61429    869297   8146194    199.30     22.05  --
1631.04/408.54	c  N dy  4772    718164      2268      6335    353720     45480    869297   4126891    186.65     21.93  --
1669.38/418.13	c  N dy  4906    738204      2268      6335    353720     64760    869297   8642723    274.06     22.02  --
1712.94/429.09	c  N dy  5040    758288      2268      6335    353720     47957    869297   5384250    246.28     22.23  --
1774.46/444.44	c  N dy  5173    778420      2268      6335    354295     67252    869297  10368311    264.97     22.37  --
1815.99/454.82	c  N dy  5307    798444      2287      6335    356438     49940    869557   5893140    245.43     22.54  --
1841.14/461.11	c  S st  5357    805948      2287      6335    356438     57130    869557   7892154    315.72     22.62  --
1841.94/461.34	c  S st  5357    806451      2287      6335    356438     57632    869557   7967510    315.72     22.62  --
1841.94/461.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1841.94/461.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1881.09/471.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bin:    214 BRemL:   1108 BRemN:   1907 CBin:       0 P: 60.0M T: 38.87
1881.09/471.14	c Calc non-exist non-lernt bins v-fix:     0 done:   2287 time:  0.17 s
1881.09/471.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1881.49/471.25	c Subs w/ non-existent bins:    764 time:  0.45 s
1881.89/471.38	c Replacing        8 vars Replaced     7360 lits Time:     0.52 s 
1883.09/471.60	c bin-w-bin subsume rem         1368 bins  time:  0.24 s
1890.28/473.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.34 s
1890.28/473.46	c Removed useless bin:     108  fixed:     0  bprops:   0.42M  time:  0.07 s
2119.57/530.84	c ORs :     86 avg-s:  2.0 cl-sh:     8 l-rem:      8 b-add:      0 v-rep:   0 cl-rem: 6 avg s: 3.0 T:    1.12
2158.31/540.56	c Added 24 vars  tried: 80000 time: 38.84
2161.51/541.36	c ORs :     24 avg-s:  0.0 cl-sh: 59362 l-rem:  59362 b-add:     48 v-rep:   0 cl-rem: 27 avg s: 3.0 T:   42.02
2161.91/541.42	c lits-rem:      1064  cl-subs:     8563  v-elim:   2737  v-fix:    0  time: 271.45 s
2161.91/541.42	c learnt bin added due to v-elim: 0
2161.91/541.43	c vivif2 --  cl tried     7653 cl shrink      489 lits rem        489 time: 0.03
2162.31/541.53	c vivif2 --  cl tried    48282 cl shrink      189 lits rem        274 time: 0.38
2164.31/542.01	c asymm  cl-useful: 0/196/7165 lits-rem:0 time: 1.94
2164.31/542.02	c calculated reachability. Time: 0.01
2164.31/542.02	c  N dy  5357    806451      2298      7165    351346     48269    865525   6111688    315.72     22.62  --
2230.62/558.69	c  N dy  5490    826496      2298      7165    351460     67671    865525  10274935    242.63     22.66  --
2278.55/570.65	c  N dy  5624    846593      2298      7165    351460     49920    865525   4501891    137.95     22.52  --
2308.12/578.01	c  N dy  5758    866624      2298      7165    354400     69207    865525   8691324    273.40     22.55  --
2338.88/585.73	c  N dy  5892    886685      2298      7165    354400     50286    865525   5095604    178.91     22.58  --
2379.63/595.99	c  N dy  6026    906738      2298      7165    354423     69633    865525   8646179    219.32     22.59  --
2434.34/609.61	c  N dy  6160    926740      2298      7165    354423     49487    865525   4813936    162.13     22.62  --
2475.09/619.80	c  N dy  6294    946811      2302      7165    355038     69002    865541   8777983    157.47     22.59  --
2521.83/631.59	c  N dy  6429    966941      2302      7165    355038     47888    865541   4332832    205.20     22.61  --
2562.18/641.69	c  N dy  6564    987026      2302      7165    355038     67308    865541   7440311    132.32     22.57  --
2600.14/651.11	c  N dy  6698   1007169      2302      7165    355038     45264    865541   3669897    139.11     22.52  --
2630.09/658.65	c  N dy  6832   1027192      2302      7165    355056     64629    865541   7812179    229.06     22.53  --
2679.24/670.92	c  N dy  6966   1047311      2302      7165    355056     83946    865541  11762191    218.48     22.72  --
2711.98/679.19	c  N dy  7099   1067353      2302      7165    355061     60823    865541   7166638    124.28     22.80  --
2760.31/691.23	c  N dy  7233   1087377      2306      7165    355319     80438    865561  10365810    156.95     22.73  --
2798.28/700.78	c  N dy  7368   1107456      2306      7165    355319     56366    865561   5825371    204.81     22.70  --
2840.20/711.25	c  N dy  7503   1127563      2306      7165    355319     75795    865561   9989967    116.96     22.80  --
2879.35/721.04	c  N dy  7637   1147659      2306      7165    355319     50565    865561   4726644    193.66     22.86  --
2924.89/732.50	c  N dy  7768   1167697      2306      7165    355371     69861    865561   8912511    202.42     22.92  --
2984.01/747.22	c  N dy  7901   1187822      2309      7165    355705     89358    865573  12046892    262.70     22.82  --
3021.16/756.59	c  N dy  8035   1207924      2309      7165    355705     63293    865573   7540505    245.84     22.86  --
3027.95/758.29	c  S st  8047   1209677      2309      7165    355705     64980    865573   7941268    236.24     22.85  --
3030.35/758.86	c  S st  8047   1210178      2309      7165    355705     65477    865573   8017676    236.24     22.85  --
3030.35/758.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3030.35/758.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3065.50/767.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    143 BRemL:    359 BRemN:   1778 CBin:       0 P: 60.0M T: 34.85
3065.50/767.65	c Calc non-exist non-lernt bins v-fix:     0 done:   2309 time:  0.17 s
3065.50/767.65	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
3065.92/767.78	c Subs w/ non-existent bins:      0 time:  0.51 s
3066.32/767.81	c Replacing        1 vars Replaced       19 lits Time:     0.12 s 
3067.10/768.02	c bin-w-bin subsume rem          482 bins  time:  0.24 s
3076.29/770.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.44 s
3076.69/770.40	c Removed useless bin:       4  fixed:     0  bprops:   0.41M  time:  0.07 s
3353.11/839.68	c ORs :    146 avg-s:  2.0 cl-sh:    32 l-rem:     32 b-add:      0 v-rep:   0 cl-rem: 6 avg s: 3.2 T:    0.96
3380.27/846.43	c Added 24 vars  tried: 80000 time: 26.95
3382.29/846.97	c ORs :     24 avg-s:  0.0 cl-sh: 43711 l-rem:  43711 b-add:     48 v-rep:   0 cl-rem: 14 avg s: 3.0 T:   29.13
3382.69/847.04	c lits-rem:      1447  cl-subs:     8703  v-elim:   2678  v-fix:    0  time: 306.13 s
3382.69/847.04	c learnt bin added due to v-elim: 0
3382.69/847.05	c vivif2 --  cl tried     8021 cl shrink      205 lits rem        205 time: 0.03
3383.06/847.17	c vivif2 --  cl tried    56761 cl shrink      535 lits rem       1324 time: 0.48
3384.66/847.53	c asymm  cl-useful: 0/363/7816 lits-rem:0 time: 1.43
3384.66/847.54	c calculated reachability. Time: 0.01
3384.66/847.54	c  N dy  8047   1210178      2329      7816    352591     56761    861918   6291342    236.24     22.85  --
3434.21/859.92	c  N dy  8181   1230208      2329      7816    352668     76095    861918  10202057    243.00     22.92  --
3437.00/860.69	c Finding binary XORs  T:     0.04 s  found:       0
3481.33/871.71	c  N dy  8316   1250304      2329      7816    352672     49378    861918   4150522    204.55     22.94  --
3522.89/882.13	c  N dy  8452   1270318      2329      7816    352674     68821    861918   8075607    169.63     22.88  --
3582.80/897.19	c  N dy  8589   1290450      2329      7816    352683     88487    861918  11514625    137.54     22.81  --
3629.93/908.99	c  N dy  8724   1310451      2335      7816    354617     60482    861942   6036594    257.19     22.83  --
3675.87/920.42	c  N dy  8859   1330578      2335      7816    354632     80066    861942  10527975    172.90     22.84  --
3743.38/937.32	c  N dy  8995   1350692      2335      7816    354758     51083    861942   4199311    187.32     22.86  --
3780.53/946.69	c  N dy  9126   1370845      2335      7816    354758     70497    861942   8283199    191.12     22.88  --
3841.24/961.83	c  N dy  9261   1390893      2335      7816    354773     89961    861942  11961760    208.69     22.95  --
3879.59/971.49	c  N dy  9393   1411004      2338      7816    354912     59849    861954   5865973    206.87     23.00  --
3920.34/981.63	c  N dy  9526   1431020      2338      7816    354912     79191    861954   9849346    213.47     23.01  --
3973.87/995.08	c  N dy  9660   1451143      2338      7816    354912     98702    861954  13736890    188.46     23.03  --
4008.62/1003.74	c  N dy  9793   1471196      2338      7816    354912     67714    861954   7563507    225.32     23.09  --
4058.15/1016.15	c  N dy  9926   1491243      2338      7816    354912     86929    861954  11422705    197.70     23.17  --
4118.07/1031.17	c  N dy 10061   1511358      2338      7816    354924     55336    861954   4557010    117.32     23.20  --
4154.83/1040.39	c  N dy 10196   1531438      2347      7816    355566     75237    862124   7869927    189.75     23.23  --
4203.97/1052.62	c  N dy 10330   1551538      2347      7816    355566     94762    862124  11474213    199.82     23.28  --
4253.48/1065.08	c  N dy 10465   1571625      2347      7816    355566     61851    862124   5281915    129.35     23.26  --
4289.44/1074.01	c  N dy 10599   1591741      2347      7816    355566     81485    862124   9193650    180.81     23.26  --
4330.18/1084.25	c  N dy 10733   1611744      2347      7816    355739    100874    862124  12864124    195.13     23.27  --
4375.74/1095.68	c  N dy 10866   1631798      2347      7816    355742     66893    862124   6405456    203.81     23.25  --
4418.47/1106.34	c  N dy 10997   1651871      2347      7816    355742     86313    862124  10591751    236.20     23.25  --
4476.40/1120.89	c  N dy 11133   1671951      2347      7816    355743    105817    862124  14493751    185.00     23.25  --
4525.51/1133.12	c  N dy 11265   1692026      2347      7816    355743     70943    862124   8144082    231.24     23.24  --
4575.45/1145.66	c  S st 11387   1710178      2347      7816    355743     88525    862124  11340077    180.69     23.27  --
4577.87/1146.26	c  S st 11387   1710681      2347      7816    355743     89027    862124  11411891    180.69     23.27  --
4577.87/1146.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4577.87/1146.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4607.41/1153.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    551 BRemN:    526 CBin:       0 P: 60.1M T: 29.54
4607.81/1153.72	c Calc non-exist non-lernt bins v-fix:     0 done:   2347 time:  0.17 s
4607.81/1153.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4608.63/1153.90	c Subs w/ non-existent bins:     71 time:  0.72 s
4609.40/1154.19	c bin-w-bin subsume rem          253 bins  time:  0.24 s
4616.60/1155.94	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  7.03 s
4616.60/1155.96	c Removed useless bin:      20  fixed:     0  bprops:   0.41M  time:  0.07 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3251371-1304183683/watcher-3251371-1304183683 -o /tmp/evaluation-result-3251371-1304183683/solver-3251371-1304183683 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3251371-1304183683.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.45 7.94 7.54 2/177 28323
/proc/meminfo: memFree=30435248/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=52384 CPUtime=0 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 1355 0 0 0 0 0 0 0 22 0 1 0 529970685 53641216 1290 33554432000 4194304 4797429 140735360768416 18446744073709551615 4365507 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/28323/statm: 13096 1291 347 148 0 8025 0

[startup+0.05361 s]
/proc/loadavg: 7.45 7.94 7.54 2/177 28323
/proc/meminfo: memFree=30435248/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=57500 CPUtime=0.05 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 2647 0 0 0 5 0 0 0 22 0 1 0 529970685 58880000 2582 33554432000 4194304 4797429 140735360768416 18446744073709551615 212435677893 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/28323/statm: 14375 2585 348 148 0 9304 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 57500

[startup+0.1006 s]
/proc/loadavg: 7.45 7.94 7.54 2/177 28323
/proc/meminfo: memFree=30435248/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=64100 CPUtime=0.09 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 4308 0 0 0 9 0 0 0 22 0 1 0 529970685 65638400 4243 33554432000 4194304 4797429 140735360768416 18446744073709551615 212435677893 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/28323/statm: 16025 4244 348 148 0 10954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64100

[startup+0.300468 s]
/proc/loadavg: 7.45 7.94 7.54 2/177 28323
/proc/meminfo: memFree=30435248/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=704140 CPUtime=0.43 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 11578 0 0 0 41 2 0 0 18 0 4 0 529970685 721039360 11478 33554432000 4194304 4797429 140735360768416 18446744073709551615 212435677893 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 176035 11481 380 148 0 170964 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 704140

[startup+0.700393 s]
/proc/loadavg: 7.45 7.94 7.54 2/177 28323
/proc/meminfo: memFree=30435248/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=705552 CPUtime=2.03 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 15382 0 0 0 200 3 0 0 18 0 4 0 529970685 722485248 15240 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 176388 15240 409 148 0 171317 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 705552

[startup+1.50024 s]
/proc/loadavg: 7.45 7.94 7.54 10/184 28330
/proc/meminfo: memFree=30324708/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=706512 CPUtime=5.22 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 18417 0 0 0 518 4 0 0 19 0 4 0 529970685 723468288 18260 33554432000 4194304 4797429 140735360768416 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 176628 18260 411 148 0 171557 0
[pid=28323/tid=28328] ppid=28321 vsize=706512 CPUtime=1.23 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 2534 0 0 0 122 1 0 0 25 0 4 0 529970710 723468288 18260 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=706512 CPUtime=1.23 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 2762 0 0 0 123 0 0 0 25 0 4 0 529970710 723468288 18260 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=706512 CPUtime=1.23 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 2615 0 0 0 123 0 0 0 19 0 4 0 529970710 723468288 18260 33554432000 4194304 4797429 140735360768416 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 706512

[startup+3.10093 s]
/proc/loadavg: 7.45 7.94 7.54 9/184 28330
/proc/meminfo: memFree=30307844/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=718680 CPUtime=11.62 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 26433 0 0 0 1157 5 0 0 23 0 4 0 529970685 735928320 20622 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424921 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 179670 20622 415 148 0 174599 0
[pid=28323/tid=28328] ppid=28321 vsize=718680 CPUtime=2.84 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 4348 0 0 0 282 2 0 0 25 0 4 0 529970710 735928320 20622 33554432000 4194304 4797429 140735360768416 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=718680 CPUtime=2.82 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 4523 0 0 0 282 0 0 0 25 0 4 0 529970710 735928320 20622 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=718680 CPUtime=2.84 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 4572 0 0 0 283 1 0 0 24 0 4 0 529970710 735928320 20622 33554432000 4194304 4797429 140735360768416 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.62
Current children cumulated vsize (KiB) 718680

[startup+6.30033 s]
/proc/loadavg: 7.58 7.96 7.54 9/184 28330
/proc/meminfo: memFree=30254956/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=721224 CPUtime=24.4 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 36525 0 0 0 2432 8 0 0 25 0 4 0 529970685 738533376 27073 33554432000 4194304 4797429 140735360768416 18446744073709551615 4352309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 180306 27073 415 148 0 175235 0
[pid=28323/tid=28328] ppid=28321 vsize=721224 CPUtime=6.03 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 6206 0 0 0 601 2 0 0 25 0 4 0 529970710 738533376 27073 33554432000 4194304 4797429 140735360768416 18446744073709551615 4506642 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=721224 CPUtime=6.01 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 6131 0 0 0 600 1 0 0 25 0 4 0 529970710 738533376 27073 33554432000 4194304 4797429 140735360768416 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=721224 CPUtime=6.03 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 7017 0 0 0 602 1 0 0 25 0 4 0 529970710 738533376 27073 33554432000 4194304 4797429 140735360768416 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.4
Current children cumulated vsize (KiB) 721224

[startup+12.7011 s]
/proc/loadavg: 7.61 7.96 7.55 9/184 28331
/proc/meminfo: memFree=30250212/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=732140 CPUtime=49.96 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 43571 0 0 0 4986 10 0 0 25 0 4 0 529970685 749711360 28940 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 183035 28940 416 148 0 177964 0
[pid=28323/tid=28328] ppid=28321 vsize=732140 CPUtime=12.43 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 7521 0 0 0 1241 2 0 0 25 0 4 0 529970710 749711360 28940 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=732140 CPUtime=12.38 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 7493 0 0 0 1236 2 0 0 25 0 4 0 529970710 749711360 28940 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=732140 CPUtime=12.44 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 8298 0 0 0 1242 2 0 0 25 0 4 0 529970710 749711360 28940 33554432000 4194304 4797429 140735360768416 18446744073709551615 212435672417 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (KiB) 732140

[startup+25.5007 s]
/proc/loadavg: 7.77 7.97 7.56 9/184 28331
/proc/meminfo: memFree=30227636/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=734936 CPUtime=101.09 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 53732 0 0 0 10096 13 0 0 25 0 4 0 529970685 752574464 31714 33554432000 4194304 4797429 140735360768416 18446744073709551615 4423629 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 183734 31714 418 148 0 178663 0
[pid=28323/tid=28328] ppid=28321 vsize=734936 CPUtime=25.23 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 8181 0 0 0 2520 3 0 0 25 0 4 0 529970710 752574464 31714 33554432000 4194304 4797429 140735360768416 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=734936 CPUtime=25.11 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 8118 0 0 0 2509 2 0 0 25 0 4 0 529970710 752574464 31714 33554432000 4194304 4797429 140735360768416 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=734936 CPUtime=25.24 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 8950 0 0 0 2522 2 0 0 25 0 4 0 529970710 752574464 31714 33554432000 4194304 4797429 140735360768416 18446744073709551615 4531964 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 734936

[startup+51.1008 s]
/proc/loadavg: 7.85 7.97 7.57 9/184 28332
/proc/meminfo: memFree=30192868/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=744508 CPUtime=203.36 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 73754 0 0 0 20319 17 0 0 25 0 4 0 529970685 762376192 35849 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429177 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 186127 35849 419 148 0 181056 0
[pid=28323/tid=28328] ppid=28321 vsize=744508 CPUtime=50.83 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 10307 0 0 0 5079 4 0 0 25 0 4 0 529970710 762376192 35849 33554432000 4194304 4797429 140735360768416 18446744073709551615 4495554 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=744508 CPUtime=50.57 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 10370 0 0 0 5055 2 0 0 25 0 4 0 529970710 762376192 35849 33554432000 4194304 4797429 140735360768416 18446744073709551615 4415600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=744508 CPUtime=50.84 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 11563 0 0 0 5081 3 0 0 25 0 4 0 529970710 762376192 35849 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.36
Current children cumulated vsize (KiB) 744508

[startup+102.306 s]
/proc/loadavg: 8.02 8.00 7.60 9/184 28333
/proc/meminfo: memFree=30140572/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=761876 CPUtime=407.9 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 106805 0 0 0 40764 26 0 0 25 0 4 0 529970685 780161024 43593 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 190469 43593 421 148 0 185398 0
[pid=28323/tid=28328] ppid=28321 vsize=761876 CPUtime=102.03 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 13211 0 0 0 10199 4 0 0 25 0 4 0 529970710 780161024 43593 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=761876 CPUtime=101.5 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 13179 0 0 0 10147 3 0 0 25 0 4 0 529970710 780161024 43593 33554432000 4194304 4797429 140735360768416 18446744073709551615 4427936 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=761876 CPUtime=102.04 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 14552 0 0 0 10200 4 0 0 25 0 4 0 529970710 780161024 43593 33554432000 4194304 4797429 140735360768416 18446744073709551615 4273512 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.9
Current children cumulated vsize (KiB) 761876

[startup+162.301 s]
/proc/loadavg: 8.09 8.03 7.63 9/184 28335
/proc/meminfo: memFree=30093796/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=766100 CPUtime=647.56 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 146956 0 0 0 64719 37 0 0 25 0 4 0 529970685 784486400 52228 33554432000 4194304 4797429 140735360768416 18446744073709551615 4341372 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 191525 52228 421 148 0 186454 0
[pid=28323/tid=28328] ppid=28321 vsize=766100 CPUtime=162.03 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 16268 0 0 0 16197 6 0 0 25 0 4 0 529970710 784486400 52228 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=766100 CPUtime=161.18 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 15363 0 0 0 16114 4 0 0 25 0 4 0 529970710 784486400 52228 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429184 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=766100 CPUtime=162.04 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 17982 0 0 0 16200 4 0 0 25 0 4 0 529970710 784486400 52228 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.56
Current children cumulated vsize (KiB) 766100

[startup+222.3 s]
/proc/loadavg: 8.17 8.07 7.67 9/184 28336
/proc/meminfo: memFree=30086816/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=770432 CPUtime=887.23 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 185078 0 0 0 88676 47 0 0 25 0 4 0 529970685 788922368 53209 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 192608 53209 423 148 0 187537 0
[pid=28323/tid=28328] ppid=28321 vsize=770432 CPUtime=222.03 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 19317 0 0 0 22197 6 0 0 25 0 4 0 529970710 788922368 53209 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=770432 CPUtime=220.86 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 18041 0 0 0 22081 5 0 0 25 0 4 0 529970710 788922368 53209 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=770432 CPUtime=222.04 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 19707 0 0 0 22199 5 0 0 25 0 4 0 529970710 788922368 53209 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.23
Current children cumulated vsize (KiB) 770432

[startup+282.301 s]

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

[pid=28323] ppid=28321 vsize=819576 CPUtime=2804.65 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 433142 0 0 0 280343 122 0 0 25 0 4 0 529970685 839245824 69430 33554432000 4194304 4797429 140735360768416 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 204894 69430 421 148 0 199823 0
[pid=28323/tid=28328] ppid=28321 vsize=819576 CPUtime=702.04 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 36460 0 0 0 70193 11 0 0 25 0 4 0 529970710 839245824 69430 33554432000 4194304 4797429 140735360768416 18446744073709551615 4238928 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=819576 CPUtime=698.28 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 33580 0 0 0 69819 9 0 0 25 0 4 0 529970710 839245824 69430 33554432000 4194304 4797429 140735360768416 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=819576 CPUtime=702.06 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 34468 0 0 0 70195 11 0 0 25 0 4 0 529970710 839245824 69430 33554432000 4194304 4797429 140735360768416 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.65
Current children cumulated vsize (KiB) 819576

[startup+762.306 s]
/proc/loadavg: 8.16 8.11 7.84 9/184 28351
/proc/meminfo: memFree=29915736/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=822888 CPUtime=3044.35 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 464492 0 0 0 304302 133 0 0 25 0 4 0 529970685 842637312 72846 33554432000 4194304 4797429 140735360768416 18446744073709551615 4428866 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 205722 72846 421 148 0 200651 0
[pid=28323/tid=28328] ppid=28321 vsize=822888 CPUtime=762.04 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 37453 0 0 0 76193 11 0 0 25 0 4 0 529970710 842637312 72846 33554432000 4194304 4797429 140735360768416 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=822888 CPUtime=757.96 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 35766 0 0 0 75786 10 0 0 25 0 4 0 529970710 842637312 72846 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=822888 CPUtime=762.06 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 35758 0 0 0 76195 11 0 0 25 0 4 0 529970710 842637312 72846 33554432000 4194304 4797429 140735360768416 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.35
Current children cumulated vsize (KiB) 822888

[startup+822.301 s]
/proc/loadavg: 8.12 8.10 7.85 9/184 28352
/proc/meminfo: memFree=29893520/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=831492 CPUtime=3284.01 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 472248 0 0 0 328265 136 0 0 25 0 4 0 529970685 851447808 74822 33554432000 4194304 4797429 140735360768416 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 207873 74822 422 148 0 202802 0
[pid=28323/tid=28328] ppid=28321 vsize=831492 CPUtime=822.04 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 39969 0 0 0 82192 12 0 0 25 0 4 0 529970710 851447808 74822 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=831492 CPUtime=817.63 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 37209 0 0 0 81752 11 0 0 25 0 4 0 529970710 851447808 74822 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=831492 CPUtime=822.06 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 37596 0 0 0 82194 12 0 0 25 0 4 0 529970710 851447808 74822 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.01
Current children cumulated vsize (KiB) 831492

[startup+882.301 s]
/proc/loadavg: 8.09 8.10 7.87 9/184 28354
/proc/meminfo: memFree=29880596/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=834708 CPUtime=3523.67 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 492231 0 0 0 352225 142 0 0 25 0 4 0 529970685 854740992 79204 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 208677 79204 421 148 0 203606 0
[pid=28323/tid=28328] ppid=28321 vsize=834708 CPUtime=882.03 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 41031 0 0 0 88191 12 0 0 25 0 4 0 529970710 854740992 79204 33554432000 4194304 4797429 140735360768416 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=834708 CPUtime=877.31 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 38656 0 0 0 87720 11 0 0 25 0 4 0 529970710 854740992 79204 33554432000 4194304 4797429 140735360768416 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=834708 CPUtime=882.06 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 38888 0 0 0 88194 12 0 0 25 0 4 0 529970710 854740992 79204 33554432000 4194304 4797429 140735360768416 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.67
Current children cumulated vsize (KiB) 834708

[startup+942.301 s]
/proc/loadavg: 8.03 8.08 7.87 9/184 28355
/proc/meminfo: memFree=29867920/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=836720 CPUtime=3763.36 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 525121 0 0 0 376183 153 0 0 25 0 4 0 529970685 856801280 75626 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 209180 75626 421 148 0 204109 0
[pid=28323/tid=28328] ppid=28321 vsize=836720 CPUtime=942.03 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 43709 0 0 0 94190 13 0 0 25 0 4 0 529970710 856801280 75626 33554432000 4194304 4797429 140735360768416 18446744073709551615 4415657 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=836720 CPUtime=936.98 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 40848 0 0 0 93687 11 0 0 25 0 4 0 529970710 856801280 75626 33554432000 4194304 4797429 140735360768416 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=836720 CPUtime=942.07 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 41055 0 0 0 94194 13 0 0 25 0 4 0 529970710 856801280 75626 33554432000 4194304 4797429 140735360768416 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.36
Current children cumulated vsize (KiB) 836720

[startup+1002.3 s]
/proc/loadavg: 8.01 8.06 7.88 9/184 28357
/proc/meminfo: memFree=29857972/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=838988 CPUtime=4003.03 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 557503 0 0 0 400139 164 0 0 25 0 4 0 529970685 859123712 79822 33554432000 4194304 4797429 140735360768416 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 209747 79822 421 148 0 204676 0
[pid=28323/tid=28328] ppid=28321 vsize=838988 CPUtime=1002.04 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 44790 0 0 0 100190 14 0 0 25 0 4 0 529970710 859123712 79822 33554432000 4194304 4797429 140735360768416 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=838988 CPUtime=996.66 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 41884 0 0 0 99654 12 0 0 25 0 4 0 529970710 859123712 79822 33554432000 4194304 4797429 140735360768416 18446744073709551615 4356351 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=838988 CPUtime=1002.07 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 42370 0 0 0 100194 13 0 0 25 0 4 0 529970710 859123712 79822 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.03
Current children cumulated vsize (KiB) 838988

[startup+1062.3 s]
/proc/loadavg: 8.00 8.05 7.88 9/184 28359
/proc/meminfo: memFree=29867616/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=840748 CPUtime=4242.7 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 591408 0 0 0 424096 174 0 0 25 0 4 0 529970685 860925952 75014 33554432000 4194304 4797429 140735360768416 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 210187 75014 421 148 0 205116 0
[pid=28323/tid=28328] ppid=28321 vsize=840748 CPUtime=1062.04 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 47270 0 0 0 106189 15 0 0 25 0 4 0 529970710 860925952 75014 33554432000 4194304 4797429 140735360768416 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=840748 CPUtime=1056.33 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 44357 0 0 0 105621 12 0 0 25 0 4 0 529970710 860925952 75014 33554432000 4194304 4797429 140735360768416 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=840748 CPUtime=1062.06 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 44862 0 0 0 106193 13 0 0 25 0 4 0 529970710 860925952 75014 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.7
Current children cumulated vsize (KiB) 840748

[startup+1122.3 s]
/proc/loadavg: 8.00 8.04 7.89 9/184 28360
/proc/meminfo: memFree=29823924/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=841408 CPUtime=4482.37 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 619937 0 0 0 448054 183 0 0 25 0 4 0 529970685 861601792 89321 33554432000 4194304 4797429 140735360768416 18446744073709551615 212435684283 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 210352 89321 421 148 0 205281 0
[pid=28323/tid=28328] ppid=28321 vsize=841408 CPUtime=1122.03 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 48995 0 0 0 112188 15 0 0 25 0 4 0 529970710 861601792 89321 33554432000 4194304 4797429 140735360768416 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=841408 CPUtime=1116.01 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 45462 0 0 0 111588 13 0 0 25 0 4 0 529970710 861601792 89321 33554432000 4194304 4797429 140735360768416 18446744073709551615 4423723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=841408 CPUtime=1122.07 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 46219 0 0 0 112193 14 0 0 25 0 4 0 529970710 861601792 89321 33554432000 4194304 4797429 140735360768416 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.37
Current children cumulated vsize (KiB) 841408

[startup+1182.3 s]
/proc/loadavg: 8.00 8.03 7.90 9/184 28362
/proc/meminfo: memFree=29804304/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=856968 CPUtime=4722.05 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 640347 0 0 0 472015 190 0 0 25 0 4 0 529970685 877535232 91013 33554432000 4194304 4797429 140735360768416 18446744073709551615 4506608 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 214242 91013 424 148 0 209171 0
[pid=28323/tid=28328] ppid=28321 vsize=856968 CPUtime=1182.04 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 50218 0 0 0 118188 16 0 0 25 0 4 0 529970710 877535232 91013 33554432000 4194304 4797429 140735360768416 18446744073709551615 4493225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=856968 CPUtime=1175.69 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 47953 0 0 0 117556 13 0 0 25 0 4 0 529970710 877535232 91013 33554432000 4194304 4797429 140735360768416 18446744073709551615 4573410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=856968 CPUtime=1182.07 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 47374 0 0 0 118193 14 0 0 25 0 4 0 529970710 877535232 91013 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.05
Current children cumulated vsize (KiB) 856968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.00 8.02 7.90 5/179 28363
/proc/meminfo: memFree=30088300/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=857640 CPUtime=4800.36 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 644138 0 0 0 479846 190 0 0 25 0 4 0 529970685 878223360 87531 33554432000 4194304 4797429 140735360768416 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 214410 87531 424 148 0 209339 0
[pid=28323/tid=28328] ppid=28321 vsize=857640 CPUtime=1201.64 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 51954 0 0 0 120148 16 0 0 25 0 4 0 529970710 878223360 87531 33554432000 4194304 4797429 140735360768416 18446744073709551615 4427396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=857640 CPUtime=1195.18 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 48381 0 0 0 119505 13 0 0 25 0 4 0 529970710 878223360 87531 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=857640 CPUtime=1201.67 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 49001 0 0 0 120153 14 0 0 25 0 4 0 529970710 878223360 87531 33554432000 4194304 4797429 140735360768416 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 857640

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

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

[startup+1201.9 s]
/proc/loadavg: 8.00 8.02 7.90 5/179 28363
/proc/meminfo: memFree=30088300/32951124 swapFree=67111416/67111528
[pid=28323] ppid=28321 vsize=857640 CPUtime=4800.36 cores=0,2,4,6
/proc/28323/stat : 28323 (techdemo) R 28321 28323 27352 0 -1 4202496 644138 0 0 0 479846 190 0 0 25 0 4 0 529970685 878223360 87531 33554432000 4194304 4797429 140735360768416 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28323/statm: 214410 87531 424 148 0 209339 0
[pid=28323/tid=28328] ppid=28321 vsize=857640 CPUtime=1201.64 cores=0,2,4,6
/proc/28323/task/28328/stat : 28328 (techdemo) R 28321 28323 27352 0 -1 4202560 51954 0 0 0 120148 16 0 0 25 0 4 0 529970710 878223360 87531 33554432000 4194304 4797429 140735360768416 18446744073709551615 4427396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28323/tid=28329] ppid=28321 vsize=857640 CPUtime=1195.18 cores=0,2,4,6
/proc/28323/task/28329/stat : 28329 (techdemo) R 28321 28323 27352 0 -1 4202560 48381 0 0 0 119505 13 0 0 25 0 4 0 529970710 878223360 87531 33554432000 4194304 4797429 140735360768416 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28323/tid=28330] ppid=28321 vsize=857640 CPUtime=1201.67 cores=0,2,4,6
/proc/28323/task/28330/stat : 28330 (techdemo) R 28321 28323 27352 0 -1 4202560 49001 0 0 0 120153 14 0 0 25 0 4 0 529970710 878223360 87531 33554432000 4194304 4797429 140735360768416 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 857640

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.41
CPU user time (s): 4798.48
CPU system time (s): 1.92571
CPU usage (%): 399.392
Max. virtual memory (cumulated for all children) (KiB): 966616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.48
system time used= 1.92571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644138
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= 908
involuntary context switches= 23764

runsolver used 2.03169 second user time and 4.48832 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 19:14:43
IDJOB=3251371
IDBENCH=88221
IDSOLVER=1584
FILE ID=node102/3251371-1304183683
RUNJOBID= node102-1304183683-28303
PBS_JOBID= 13172418
Free space on /tmp= 72456 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251371-1304183683/watcher-3251371-1304183683 -o /tmp/evaluation-result-3251371-1304183683/solver-3251371-1304183683 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3251371-1304183683.cnf

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

MD5SUM BENCH= 683c9f75b69575e6451b8563d12f176b
RANDOM SEED=249912272

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30435652 kB
Buffers:        637212 kB
Cached:        1393352 kB
SwapCached:          0 kB
Active:         227532 kB
Inactive:      1872508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30435652 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           22556 kB
Writeback:           0 kB
AnonPages:       68752 kB
Mapped:          15264 kB
Slab:           352484 kB
PageTables:       4880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   241680 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= 72460 MiB
End job on node102 at 2011-04-30 19:34:47