Trace number 3250491

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.15 1201.72

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
MD5SUMb891f70c80006fb02dca40f266c0cec1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables254
Number of clauses34661
Sum of the clauses size157137
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 285
Number of clauses of size 331908
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52668

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-3250491-1304133031.cnf'
0.00/0.00	c -- header says num vars:            254
0.00/0.00	c -- header says num clauses:       34661
0.04/0.05	c -- clauses added:            0 learnts,        34661 normals,            0 xors
0.04/0.05	c -- vars added        254
0.04/0.05	c Parsing time:  0.05 s
0.04/0.06	c  N st     0         0       254     34576        85         0    157137         0   no data   no data  --
0.61/0.27	c asymm  cl-useful: 0/8358/34576 lits-rem:0 time: 0.85
0.61/0.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.02
0.61/0.28	c Calc non-exist non-lernt bins v-fix:     0 done:    254 time:  0.00 s
0.61/0.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.61/0.28	c Subs w/ non-existent bins:      0 time:  0.00 s
0.61/0.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.61/0.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.61/0.30	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
0.61/0.43	c lits-rem:         0  cl-subs:        0  v-elim:    168  v-fix:    0  time:  0.53 s
0.61/0.43	c learnt bin added due to v-elim: 0
0.61/0.43	c Finding binary XORs  T:     0.00 s  found:       0
0.61/0.48	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
0.61/0.48	c calculated reachability. Time: 0.00
0.61/0.48	c Calc default polars -  time:   0.00 s pos:     254 undec:       0 neg:       0
0.61/0.48	c =========================================================================================
0.61/0.48	c types(t): F = full restart, N = normal restart
0.61/0.48	c types(t): S = simplification begin/end, E = solution found
0.61/0.48	c restart types(rt): st = static, dy = dynamic
0.61/0.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.61/0.48	c  B st     0         0       254     34576        85         0    157137         0   no data   no data  --
0.61/0.73	c Decided on static restart strategy
0.61/0.97	c  N dy    20      4103       254     34576        85      3901    157137     96508     23.94     13.00  --
5.40/1.44	c  N dy    48      8124       254     34576        85      4989    157137    113794     25.35     13.68  --
7.39/1.91	c  N dy    77     12252       254     34576        85      8928    157137    208501     24.03     13.34  --
9.00/2.38	c  N dy   105     16305       254     34576        85      8181    157137    169528     23.77     13.28  --
11.01/2.87	c  N dy   133     20323       254     34576        85      6027    157137    111437     24.39     13.51  --
12.99/3.34	c  N dy   161     24324       254     34576        85      9838    157137    199833     23.03     13.43  --
14.99/3.83	c  N dy   190     28456       254     34576        85     13759    157137    295824     24.27     13.47  --
15.81/4.04	c  S st   201     30001       254     34576        85      8077    157137    144653     22.52     13.42  --
16.18/4.10	c  S st   201     30501       254     34576        85      8571    157137    157662     22.52     13.42  --
16.18/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
16.18/4.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.18/4.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.3M T:  0.12
16.18/4.13	c Calc non-exist non-lernt bins v-fix:     0 done:    254 time:  0.00 s
16.18/4.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.18/4.13	c Subs w/ non-existent bins:      0 time:  0.01 s
16.18/4.14	c bin-w-bin subsume rem            0 bins  time:  0.02 s
16.18/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
16.18/4.15	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
22.17/5.63	c lits-rem:        62  cl-subs:     1211  v-elim:    254  v-fix:    0  time:  5.91 s
22.17/5.63	c learnt bin added due to v-elim: 0
22.17/5.63	c vivif2 --  cl tried    34576 cl shrink        0 lits rem          0 time: 0.01
22.17/5.63	c vivif2 --  cl tried     7360 cl shrink        0 lits rem          0 time: 0.00
22.97/5.88	c asymm  cl-useful: 0/10744/34576 lits-rem:0 time: 0.97
22.97/5.88	c calculated reachability. Time: 0.00
22.97/5.88	c  N dy   201     30501       254     34576        85      7360    157137    141572     22.52     13.42  --
22.97/5.88	c  F st   201     30501       254     34576        85      7360    157137    141572     22.52     13.42  --
24.18/6.12	c Decided on static restart strategy
24.96/6.35	c  N dy   221     34599       254     34576        85     11313    157137    234388     25.11     13.38  --
26.96/6.83	c  N dy   249     38614       254     34576        85     15123    157137    325661     22.90     13.30  --
28.98/7.32	c  N dy   277     42655       254     34576        85     10736    157137    208665     23.90     13.28  --
30.56/7.71	c  S st   299     45752       254     34576        85     13703    157137    280884     22.16     13.28  --
30.56/7.78	c  S st   299     46254       254     34576        85     14201    157137    294856     22.16     13.28  --
30.56/7.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.56/7.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.96/7.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  0.25
30.96/7.84	c Calc non-exist non-lernt bins v-fix:     0 done:    254 time:  0.00 s
30.96/7.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.96/7.85	c Subs w/ non-existent bins:      0 time:  0.02 s
30.96/7.86	c bin-w-bin subsume rem            0 bins  time:  0.02 s
30.96/7.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
30.96/7.87	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
37.77/9.56	c lits-rem:       108  cl-subs:     1045  v-elim:    254  v-fix:    0  time:  6.76 s
37.77/9.56	c learnt bin added due to v-elim: 0
37.77/9.56	c vivif2 --  cl tried    34576 cl shrink        0 lits rem          0 time: 0.01
37.77/9.56	c vivif2 --  cl tried    13156 cl shrink        0 lits rem          0 time: 0.01
38.95/9.81	c asymm  cl-useful: 0/9515/34576 lits-rem:0 time: 0.99
38.95/9.81	c calculated reachability. Time: 0.00
38.95/9.81	c  N dy   299     46254       254     34576        85     13156    157137    275832     22.16     13.28  --
40.95/10.31	c  N dy   328     50381       254     34576        85     17085    157137    367590     23.41     13.20  --
42.94/10.83	c  N dy   357     54508       254     34576        85     11792    157137    219813     22.96     13.18  --
44.94/11.31	c  N dy   385     58533       254     34576        85     15646    157137    310835     22.92     13.20  --
46.93/11.81	c  N dy   413     62557       254     34576        85     19509    157137    402579     24.37     13.19  --
48.93/12.30	c  N dy   442     66658       254     34576        85     13176    157137    242132     24.10     13.22  --
50.13/12.65	c  S st   462     69382       254     34576        85     15777    157137    302957     22.91     13.21  --
50.55/12.72	c  S st   462     69885       254     34576        85     16280    157137    315897     22.91     13.21  --
50.55/12.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
50.55/12.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.55/12.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  0.33
50.55/12.80	c Calc non-exist non-lernt bins v-fix:     0 done:    254 time:  0.00 s
50.55/12.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.95/12.81	c Subs w/ non-existent bins:      0 time:  0.02 s
50.95/12.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
50.95/12.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
50.95/12.83	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
58.12/14.62	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.00
66.51/16.71	c Added 3 vars  tried: 80000 time: 8.37
66.51/16.72	c ORs :      3 avg-s:  0.0 cl-sh:  2164 l-rem:   2164 b-add:      6 v-rep:   0 cl-rem: 21 avg s: 3.0 T:    8.42
66.51/16.73	c lits-rem:       118  cl-subs:     1249  v-elim:    254  v-fix:    0  time: 15.60 s
66.51/16.73	c learnt bin added due to v-elim: 0
66.51/16.73	c vivif2 --  cl tried    34558 cl shrink        0 lits rem          0 time: 0.01
66.51/16.74	c vivif2 --  cl tried    15031 cl shrink        0 lits rem          0 time: 0.01
67.31/16.91	c asymm  cl-useful: 0/5941/34558 lits-rem:0 time: 0.71
67.31/16.92	c calculated reachability. Time: 0.00
67.31/16.92	c  N dy   462     69885       257     34558        91     15031    156772    292264     22.91     13.21  --
67.31/16.92	c  F st   462     69885       257     34558        91     15031    156772    292264     22.91     13.21  --
68.12/17.18	c Decided on static restart strategy
69.70/17.50	c  N dy   485     74435       257     34558        91     19352    156772    389178     22.63     13.14  --
72.10/18.11	c  N dy   518     79192       257     34558        91     12715    156772    219952     23.87     13.11  --
74.50/18.73	c  N dy   554     84309       257     34558        91     17573    156772    337768     23.44     13.13  --
77.31/19.42	c  N dy   592     89713       257     34558        91     22726    156772    465003     25.21     13.17  --
80.09/20.17	c  N dy   632     95441       257     34558        91     16043    156772    292473     22.49     13.20  --
83.29/20.95	c  N dy   675    101578       257     34558        91     21884    156772    432805     23.98     13.22  --
84.89/21.39	c  S st   698    104827       257     34558        91     24989    156772    506152     22.68     13.21  --
85.29/21.46	c  S st   698    105327       257     34558        91     25482    156772    519190     22.68     13.21  --
85.29/21.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
85.29/21.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.11/21.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.4M T:  0.64
86.11/21.63	c Calc non-exist non-lernt bins v-fix:     0 done:    257 time:  0.01 s
86.11/21.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.11/21.64	c Subs w/ non-existent bins:      0 time:  0.02 s
86.11/21.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
86.11/21.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
86.11/21.67	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
91.27/22.90	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
91.27/22.91	c lits-rem:       122  cl-subs:     2539  v-elim:    254  v-fix:    0  time:  4.96 s
91.27/22.91	c learnt bin added due to v-elim: 0
91.27/22.91	c vivif2 --  cl tried    34558 cl shrink        0 lits rem          0 time: 0.01
91.27/22.92	c vivif2 --  cl tried    22943 cl shrink        0 lits rem          0 time: 0.02
91.67/23.02	c asymm  cl-useful: 0/1377/34558 lits-rem:0 time: 0.40
91.67/23.02	c calculated reachability. Time: 0.00
91.67/23.02	c  N dy   698    105327       257     34558        91     22943    156772    475342     22.68     13.21  --
95.27/23.92	c  N dy   746    112156       257     34558        91     16376    156772    298972     22.09     13.21  --
98.88/24.88	c  N dy   797    119464       257     34558        91     23366    156772    464113     22.70     13.21  --
103.27/25.92	c  N dy   851    127223       257     34558        91     16708    156772    291488     23.35     13.18  --
107.25/26.99	c  N dy   909    135450       257     34558        91     24561    156772    474085     23.41     13.16  --
112.06/28.20	c  N dy   970    144158       257     34558        91     17859    156772    297506     22.22     13.15  --
116.86/29.39	c  N dy  1035    153390       257     34558        91     26687    156772    503667     23.55     13.12  --
119.64/30.06	c  S st  1068    157991       257     34558        91     31034    156772    603827     24.36     13.10  --
120.04/30.14	c  S st  1068    158492       257     34558        91     31531    156772    617473     24.36     13.10  --
120.04/30.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
120.04/30.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.85/30.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.9M T:  0.91
120.85/30.37	c Calc non-exist non-lernt bins v-fix:     0 done:    257 time:  0.00 s
120.85/30.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.85/30.38	c Subs w/ non-existent bins:      0 time:  0.03 s
120.85/30.39	c bin-w-bin subsume rem            0 bins  time:  0.02 s
121.25/30.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
121.25/30.41	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
129.22/32.43	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
129.22/32.44	c lits-rem:       381  cl-subs:     2925  v-elim:    254  v-fix:    0  time:  8.12 s
129.22/32.44	c learnt bin added due to v-elim: 0
129.22/32.45	c vivif2 --  cl tried    34558 cl shrink        0 lits rem          0 time: 0.01
129.22/32.45	c vivif2 --  cl tried    28606 cl shrink        0 lits rem          0 time: 0.03
129.64/32.56	c asymm  cl-useful: 0/1270/34558 lits-rem:0 time: 0.41
129.64/32.56	c calculated reachability. Time: 0.00
129.64/32.56	c  N dy  1068    158492       257     34558        91     28606    156772    568514     24.36     13.10  --
135.21/33.95	c  N dy  1139    168613       257     34558        91     22302    156772    389285     23.87     13.05  --
141.20/35.46	c  N dy  1215    179400       257     34558        91     32629    156772    624915     23.38     13.02  --
147.21/37.00	c  N dy  1296    190925       257     34558        91     26661    156772    475943     22.02     13.02  --
154.39/38.76	c  N dy  1382    203127       257     34558        91     20463    156772    319250     23.64     13.01  --
161.58/40.56	c  N dy  1473    216170       257     34558        91     32877    156772    605981     21.41     12.98  --
169.18/42.50	c  N dy  1570    230049       269     34558       115     27295    156820    465515     23.75     12.98  --
173.99/43.63	c  S st  1624    237738       269     34558       115     34641    156820    635320     23.48     12.96  --
174.36/43.70	c  S st  1624    238245       269     34558       115     35141    156820    648158     23.48     12.96  --
174.36/43.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
174.36/43.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.16/43.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 15.5M T:  1.12
175.16/43.98	c Calc non-exist non-lernt bins v-fix:     0 done:    269 time:  0.01 s
175.16/43.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.16/43.99	c Subs w/ non-existent bins:      0 time:  0.03 s
175.56/44.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
175.56/44.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
175.56/44.03	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
184.75/46.39	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
185.15/46.40	c lits-rem:       483  cl-subs:     3435  v-elim:    254  v-fix:    0  time:  9.48 s
185.15/46.40	c learnt bin added due to v-elim: 0
185.15/46.40	c vivif2 --  cl tried    34558 cl shrink        0 lits rem          0 time: 0.01
185.15/46.41	c vivif2 --  cl tried    31706 cl shrink        0 lits rem          0 time: 0.04
185.55/46.52	c asymm  cl-useful: 0/912/34558 lits-rem:0 time: 0.44
185.55/46.52	c calculated reachability. Time: 0.00
185.55/46.52	c  N dy  1624    238245       269     34558       115     31706    156820    594077     23.48     12.96  --
194.34/48.72	c  N dy  1731    253535       269     34558       115     26543    156820    446748     21.97     12.96  --
203.92/51.17	c  N dy  1845    269815       269     34558       115     21348    156820    319547     23.14     12.95  --
213.90/53.63	c  N dy  1966    287114       269     34558       115     37836    156820    700771     23.06     12.94  --
224.70/56.34	c  N dy  2093    305498       269     34558       115     33710    156820    604051     22.34     12.96  --
236.27/59.26	c  N dy  2230    325137       269     34558       115     29786    156820    505232     25.08     12.97  --
248.68/62.39	c  N dy  2371    345279       281     34558       143     25461    156872    399078     22.55     12.99  --
255.85/64.13	c  S st  2456    357369       281     34558       143     37020    156871    673813     23.07     12.99  --
256.25/64.22	c  S st  2456    357872       281     34558       143     37513    156871    685746     23.07     12.99  --
256.25/64.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
256.25/64.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
257.47/64.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 18.9M T:  1.34
257.47/64.56	c Calc non-exist non-lernt bins v-fix:     0 done:    281 time:  0.01 s
257.47/64.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
257.47/64.57	c Subs w/ non-existent bins:      0 time:  0.04 s
257.47/64.57	c Replacing        1 vars Replaced       54 lits Time:     0.02 s 
257.47/64.59	c bin-w-bin subsume rem            2 bins  time:  0.01 s
257.84/64.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
257.84/64.61	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
266.63/66.89	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
267.03/66.90	c lits-rem:       505  cl-subs:     2789  v-elim:    254  v-fix:    0  time:  9.17 s
267.03/66.90	c learnt bin added due to v-elim: 0
267.03/66.91	c vivif2 --  cl tried    34557 cl shrink        0 lits rem          0 time: 0.01
267.03/66.92	c vivif2 --  cl tried    34725 cl shrink        0 lits rem          0 time: 0.04
267.43/67.02	c asymm  cl-useful: 0/784/34557 lits-rem:0 time: 0.41
267.43/67.02	c calculated reachability. Time: 0.00
267.43/67.02	c  N dy  2456    357872       280     34557       137     34725    156840    639780     23.07     12.99  --
280.22/70.21	c  N dy  2596    377906       280     34557       137     29301    156840    486239     22.95     13.01  --
292.62/73.34	c  N dy  2736    397954       280     34557       137     48423    156840    936723     23.82     13.02  --
304.98/76.47	c  N dy  2876    418024       280     34557       137     41976    156840    778560     23.56     13.02  --
318.17/79.70	c  N dy  3016    438141       280     34557       137     34715    156840    587381     23.73     13.02  --
330.95/82.91	c  N dy  3157    458241       292     34557       165     53993    156892   1039986     21.68     13.04  --
343.33/86.01	c  N dy  3298    478312       292     34557       165     45687    156891    815831     23.54     13.04  --
356.11/89.28	c  N dy  3439    498351       292     34557       165     36396    156891    587594     21.32     13.06  --
369.70/92.61	c  N dy  3580    518486       292     34557       165     55612    156891   1032592     22.90     13.07  --
381.68/95.60	c  S st  3709    536808       292     34557       165     43727    156891    744547     23.43     13.09  --
381.68/95.69	c  S st  3709    537312       292     34557       165     44225    156891    756183     23.43     13.09  --
381.68/95.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
381.68/95.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
383.68/96.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.0M T:  1.81
383.68/96.14	c Calc non-exist non-lernt bins v-fix:     0 done:    292 time:  0.01 s
383.68/96.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
383.68/96.15	c Subs w/ non-existent bins:      0 time:  0.04 s
383.68/96.16	c Replacing        1 vars Replaced       21 lits Time:     0.02 s 
383.68/96.18	c bin-w-bin subsume rem            2 bins  time:  0.02 s
384.08/96.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
384.08/96.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
394.06/98.75	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
402.07/100.74	c Added 3 vars  tried: 80000 time: 7.95
402.07/100.78	c ORs :      3 avg-s:  0.0 cl-sh:  3671 l-rem:   3671 b-add:      6 v-rep:   0 cl-rem: 25 avg s: 3.0 T:    8.11
402.07/100.80	c lits-rem:       576  cl-subs:     2924  v-elim:    254  v-fix:    0  time: 18.37 s
402.07/100.80	c learnt bin added due to v-elim: 0
402.47/100.80	c vivif2 --  cl tried    34534 cl shrink        0 lits rem          0 time: 0.01
402.47/100.81	c vivif2 --  cl tried    41302 cl shrink        0 lits rem          0 time: 0.04
402.85/100.93	c asymm  cl-useful: 0/631/34534 lits-rem:0 time: 0.45
402.85/100.93	c calculated reachability. Time: 0.00
402.85/100.93	c  N dy  3709    537312       294     34534       165     41302    156631    703161     23.43     13.09  --
402.85/100.93	c  F st  3709    537312       294     34534       165     41302    156631    703161     23.43     13.09  --
404.05/101.29	c Decided on static restart strategy
416.43/104.32	c  N dy  3840    557322       294     34534       165     60386    156631   1141582     23.81     13.10  --
428.83/107.47	c  N dy  3980    577366       294     34534       165     49375    156631    872779     23.73     13.11  --
442.40/110.89	c  N dy  4120    597376       294     34534       165     37180    156631    564367     23.00     13.11  --
455.58/114.15	c  N dy  4260    617406       294     34534       165     56275    156631   1011289     24.80     13.11  --
469.16/117.50	c  N dy  4400    637465       294     34534       165     43159    156631    687724     22.71     13.12  --
469.56/117.66	c Finding binary XORs  T:     0.00 s  found:       0
594.99/149.07	c  N dy  4514    805969       309     34534       199     66600    156695   1251937     23.88     13.45  --
595.40/149.13	c  S st  4514    805969       309     34534       199     66600    156695   1251937     23.88     13.45  --
595.80/149.24	c  S st  4514    806471       325     34534       238     67182    156767   1265103     23.88     13.45  --
595.80/149.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
595.80/149.25	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
598.59/149.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      1 BRemL:      0 BRemN:      2 CBin:       0 P: 34.1M T:  2.69
598.59/149.92	c Calc non-exist non-lernt bins v-fix:     0 done:    325 time:  0.01 s
598.59/149.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
598.59/149.94	c Subs w/ non-existent bins:      0 time:  0.07 s
598.59/149.95	c Replacing        4 vars Replaced      228 lits Time:     0.05 s 
598.59/149.98	c bin-w-bin subsume rem            6 bins  time:  0.02 s
598.99/150.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.12 s
598.99/150.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
615.76/154.23	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 8.0 T:    0.05
615.76/154.26	c lits-rem:      1672  cl-subs:     4553  v-elim:    254  v-fix:    0  time: 16.94 s
615.76/154.26	c learnt bin added due to v-elim: 0
615.76/154.26	c vivif2 --  cl tried    34534 cl shrink        0 lits rem          0 time: 0.01
615.76/154.28	c vivif2 --  cl tried    62628 cl shrink        0 lits rem          0 time: 0.08
616.56/154.40	c asymm  cl-useful: 0/731/34534 lits-rem:0 time: 0.46
616.56/154.40	c calculated reachability. Time: 0.00
616.56/154.40	c  N dy  4514    806471       321     34534       219     62628    156739   1169174     23.88     13.45  --
963.69/241.37	c  N dy  4520   1209706       321     34534       219     80890    156739   1424987     24.04     13.42  --
964.09/241.43	c  S st  4520   1209706       321     34534       219     80890    156739   1424987     24.04     13.42  --
964.09/241.44	c Finding binary XORs  T:     0.00 s  found:       4
964.09/241.44	c Replacing        4 vars Replaced       82 lits Time:     0.03 s 
964.51/241.56	c  S st  4520   1210210       333     34534       251     81489    156803   1437070     24.04     13.42  --
964.51/241.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
964.51/241.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
967.69/242.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 43.1M T:  3.24
967.69/242.38	c Calc non-exist non-lernt bins v-fix:     0 done:    333 time:  0.01 s
967.69/242.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
968.09/242.40	c Subs w/ non-existent bins:      0 time:  0.08 s
968.09/242.43	c bin-w-bin subsume rem            8 bins  time:  0.01 s
968.09/242.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
968.09/242.47	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
986.48/247.05	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 13.0 T:    0.10
996.04/249.41	c Added 4 vars  tried: 80000 time: 9.45
997.64/249.80	c ORs :      4 avg-s:  0.0 cl-sh: 13157 l-rem:  13157 b-add:     12 v-rep:   0 cl-rem: 0 avg s: nan T:   11.00
997.64/249.83	c lits-rem:        54  cl-subs:     6231  v-elim:    254  v-fix:    0  time: 29.40 s
997.64/249.83	c learnt bin added due to v-elim: 0
997.64/249.83	c vivif2 --  cl tried    34534 cl shrink        0 lits rem          0 time: 0.01
997.64/249.86	c vivif2 --  cl tried    75257 cl shrink        0 lits rem          0 time: 0.09
998.04/249.97	c asymm  cl-useful: 0/639/34534 lits-rem:0 time: 0.45
998.04/249.97	c calculated reachability. Time: 0.00
998.04/249.97	c  N dy  4520   1210210       337     34534       255     75257    156811   1297684     24.04     13.42  --
1471.00/368.31	c  N dy  4526   1710210       337     34534       255    107307    156811   1988381     21.59     13.27  --
1471.40/368.40	c  S st  4526   1710210       337     34534       255    107307    156811   1988381     21.59     13.27  --
1471.80/368.56	c  S st  4526   1710712       337     34534       255    107805    156811   2000384     21.59     13.27  --
1471.80/368.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1471.80/368.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1476.59/369.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 58.1M T:  4.74
1476.59/369.75	c Calc non-exist non-lernt bins v-fix:     0 done:    337 time:  0.01 s
1476.59/369.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1476.59/369.78	c Subs w/ non-existent bins:      0 time:  0.11 s
1476.99/369.83	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1476.99/369.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.25 s
1476.99/369.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1516.94/379.87	c ORs :     10 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.12
1517.34/379.91	c lits-rem:       843  cl-subs:    13388  v-elim:    254  v-fix:    0  time: 40.02 s
1517.34/379.91	c learnt bin added due to v-elim: 0
1517.34/379.91	c vivif2 --  cl tried    34534 cl shrink        0 lits rem          0 time: 0.01
1517.34/379.94	c vivif2 --  cl tried    94417 cl shrink        0 lits rem          0 time: 0.12
1517.74/380.07	c asymm  cl-useful: 0/451/34534 lits-rem:0 time: 0.52
1517.74/380.08	c calculated reachability. Time: 0.00
1517.74/380.08	c  N dy  4526   1710712       337     34534       255     94417    156811   1745332     21.59     13.27  --
2052.61/513.93	c  N dy  4528   2210712       337     34534       255    113134    156811   2062217     23.60     13.09  --
2053.01/514.03	c  S st  4528   2210712       337     34534       255    113134    156811   2062217     23.60     13.09  --
2053.81/514.20	c  S st  4528   2211214       348     34534       280    113668    156859   2073454     23.60     13.09  --
2053.81/514.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2053.81/514.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2058.62/515.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P: 60.0M T:  5.02
2058.62/515.47	c Calc non-exist non-lernt bins v-fix:     0 done:    348 time:  0.02 s
2058.62/515.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2059.02/515.50	c Subs w/ non-existent bins:      0 time:  0.12 s
2059.02/515.51	c Replacing        1 vars Replaced       14 lits Time:     0.04 s 
2059.02/515.56	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2059.40/515.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.26 s
2059.40/515.63	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2098.94/525.56	c ORs :     10 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 10.0 T:    0.20
2099.34/525.61	c lits-rem:      2949  cl-subs:    10242  v-elim:    254  v-fix:    0  time: 39.84 s
2099.34/525.61	c learnt bin added due to v-elim: 0
2099.34/525.61	c vivif2 --  cl tried    34534 cl shrink        0 lits rem          0 time: 0.01
2099.34/525.64	c vivif2 --  cl tried   103425 cl shrink        0 lits rem          0 time: 0.13
2099.74/525.78	c asymm  cl-useful: 0/309/34534 lits-rem:0 time: 0.57
2099.74/525.79	c calculated reachability. Time: 0.00
2099.74/525.79	c  N dy  4528   2211214       347     34534       276    103425    156851   1888320     23.60     13.09  --
2710.92/678.78	c  N dy  4529   2711214       347     34534       276    127203    156851   2373450     24.96     12.90  --
2711.32/678.89	c  S st  4529   2711214       347     34534       276    127203    156851   2373450     24.96     12.90  --
2712.12/679.06	c  S st  4529   2711723       351     34534       285    127713    156867   2386206     24.96     12.90  --
2712.12/679.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2712.12/679.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2717.32/680.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.2M T:  5.02
2717.32/680.33	c Calc non-exist non-lernt bins v-fix:     0 done:    351 time:  0.02 s
2717.32/680.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2717.32/680.37	c Subs w/ non-existent bins:      0 time:  0.14 s
2717.73/680.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2717.73/680.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.30 s
2717.73/680.50	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
2763.65/691.93	c ORs :     10 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 4.0 T:    0.15
2763.65/691.98	c lits-rem:       297  cl-subs:    11583  v-elim:    254  v-fix:    0  time: 45.85 s
2763.65/691.98	c learnt bin added due to v-elim: 0
2763.65/691.98	c vivif2 --  cl tried    34534 cl shrink        0 lits rem          0 time: 0.01
2764.05/692.02	c vivif2 --  cl tried   116129 cl shrink        0 lits rem          0 time: 0.15
2764.45/692.15	c asymm  cl-useful: 0/343/34534 lits-rem:0 time: 0.53
2764.45/692.16	c calculated reachability. Time: 0.00
2764.45/692.16	c  N dy  4529   2711723       351     34534       285    116129    156867   2176455     24.96     12.90  --
2764.45/692.16	c  F st  4529   2711723       351     34534       285    116129    156867   2176455     24.96     12.90  --
2767.24/692.83	c Decided on static restart strategy
3347.66/838.12	c  N dy  4536   3211724       351     34534       285     93923    156866   1442966     20.97     12.77  --
3347.66/838.19	c  S st  4536   3211724       351     34534       285     93923    156866   1442966     20.97     12.77  --
3347.66/838.19	c Finding binary XORs  T:     0.00 s  found:       0
3348.46/838.32	c  S st  4536   3212227       353     34534       291     94430    156874   1455599     20.97     12.77  --
3348.46/838.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3348.46/838.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3352.85/839.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.35
3352.85/839.42	c Calc non-exist non-lernt bins v-fix:     0 done:    353 time:  0.01 s
3352.85/839.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3352.85/839.45	c Subs w/ non-existent bins:      0 time:  0.10 s
3352.85/839.48	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3353.25/839.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.16 s
3353.25/839.52	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
3373.62/844.62	c ORs :     10 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.10
3380.41/846.34	c Added 4 vars  tried: 80000 time: 6.90
3380.41/846.39	c ORs :      4 avg-s:  0.0 cl-sh:  4664 l-rem:   4664 b-add:     15 v-rep:   0 cl-rem: 14 avg s: 3.3 T:    7.08
3380.81/846.42	c lits-rem:        40  cl-subs:    13076  v-elim:    254  v-fix:    0  time: 27.54 s
3380.81/846.42	c learnt bin added due to v-elim: 0
3380.81/846.42	c vivif2 --  cl tried    34519 cl shrink        0 lits rem          0 time: 0.01
3380.81/846.44	c vivif2 --  cl tried    81352 cl shrink        0 lits rem          0 time: 0.10
3381.23/846.57	c asymm  cl-useful: 0/379/34519 lits-rem:0 time: 0.48
3381.23/846.57	c calculated reachability. Time: 0.00
3381.23/846.57	c  N dy  4536   3212227       357     34519       306     81352    156767   1273080     20.97     12.77  --
4199.71/1051.46	c  N dy  4537   3712228       357     34519       307     95830    156767   1632966     37.29     14.05  --
4200.11/1051.54	c  S st  4537   3712228       357     34519       307     95830    156767   1632966     37.29     14.05  --
4200.51/1051.70	c  S st  4537   3712730       357     34519       307     96331    156767   1645791     37.29     14.05  --
4200.91/1051.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4200.91/1051.70	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
4205.70/1052.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  4.90
4205.70/1052.93	c Calc non-exist non-lernt bins v-fix:     0 done:    357 time:  0.01 s
4205.70/1052.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4205.70/1052.96	c Subs w/ non-existent bins:      0 time:  0.11 s
4206.10/1053.03	c Replacing        1 vars Replaced     3336 lits Time:     0.25 s 
4206.10/1053.06	c bin-w-bin subsume rem            2 bins  time:  0.01 s
4206.50/1053.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.22 s
4206.50/1053.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
4228.47/1058.65	c ORs :     14 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 4.0 T:    0.19
4228.47/1058.69	c lits-rem:       240  cl-subs:     3453  v-elim:    254  v-fix:    0  time: 22.26 s
4228.47/1058.69	c learnt bin added due to v-elim: 0
4228.47/1058.69	c vivif2 --  cl tried    34519 cl shrink        0 lits rem          0 time: 0.01
4228.87/1058.72	c vivif2 --  cl tried    92877 cl shrink        0 lits rem          0 time: 0.12
4229.28/1058.85	c asymm  cl-useful: 0/358/34519 lits-rem:0 time: 0.51
4229.28/1058.86	c calculated reachability. Time: 0.00
4229.28/1058.86	c  N dy  4537   3712730       356     34519       303     92877    156763   1547152     37.29     14.05  --

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

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

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


[startup+0 s]
/proc/loadavg: 6.15 7.54 7.02 2/172 29549
/proc/meminfo: memFree=29742392/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=50276 CPUtime=0 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 826 0 0 0 0 0 0 0 23 0 1 0 603533821 51482624 757 33554432000 4194304 4797429 140736029961280 18446744073709551615 256415052485 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29549/statm: 12569 758 347 148 0 7498 0

[startup+0.0497591 s]
/proc/loadavg: 6.15 7.54 7.02 2/172 29549
/proc/meminfo: memFree=29742392/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=57312 CPUtime=0.04 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 3265 0 0 0 4 0 0 0 23 0 1 0 603533821 58687488 3006 33554432000 4194304 4797429 140736029961280 18446744073709551615 4407927 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29549/statm: 14360 2987 349 148 0 9289 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 57312

[startup+0.100627 s]
/proc/loadavg: 6.15 7.54 7.02 2/172 29549
/proc/meminfo: memFree=29742392/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=153572 CPUtime=0.21 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 3570 0 0 0 21 0 0 0 25 0 4 0 603533821 157257728 3221 33554432000 4194304 4797429 140736029961280 18446744073709551615 4429104 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 38393 3221 375 148 0 33322 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 153572

[startup+0.708807 s]
/proc/loadavg: 6.15 7.54 7.02 2/172 29549
/proc/meminfo: memFree=29742392/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=689920 CPUtime=4.09 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 9597 0 0 0 408 1 0 0 18 0 4 0 603533821 706478080 7457 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 172480 7457 410 148 0 167409 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 689920

[startup+1.17442 s]
/proc/loadavg: 6.15 7.54 7.02 2/172 29549
/proc/meminfo: memFree=29742392/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=690224 CPUtime=4.49 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 9725 0 0 0 448 1 0 0 19 0 4 0 603533821 706789376 7581 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 172556 7581 410 148 0 167485 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 690224

[startup+1.50036 s]
/proc/loadavg: 6.15 7.54 7.02 2/172 29549
/proc/meminfo: memFree=29742392/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=690884 CPUtime=5.8 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 10204 0 0 0 579 1 0 0 19 0 4 0 603533821 707465216 8049 33554432000 4194304 4797429 140736029961280 18446744073709551615 4422918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 172721 8049 411 148 0 167650 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 690884

[startup+3.10106 s]
/proc/loadavg: 6.30 7.55 7.02 9/184 29561
/proc/meminfo: memFree=29668488/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=695736 CPUtime=12.19 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 12794 0 0 0 1217 2 0 0 23 0 4 0 603533821 712433664 9590 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424383 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 173934 9590 415 148 0 168863 0
[pid=29549/tid=29556] ppid=29547 vsize=695736 CPUtime=3.02 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 2086 0 0 0 302 0 0 0 23 0 4 0 603533827 712433664 9590 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=695736 CPUtime=3.02 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 2026 0 0 0 302 0 0 0 23 0 4 0 603533827 712433664 9590 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=695736 CPUtime=3.03 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 2020 0 0 0 303 0 0 0 25 0 4 0 603533827 712433664 9590 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524050 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 695736

[startup+6.30046 s]
/proc/loadavg: 6.30 7.55 7.02 9/184 29561
/proc/meminfo: memFree=29661052/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=697024 CPUtime=24.96 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 14179 0 0 0 2494 2 0 0 25 0 4 0 603533821 713752576 10404 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 174256 10404 416 148 0 169185 0
[pid=29549/tid=29556] ppid=29547 vsize=697024 CPUtime=6.22 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 2160 0 0 0 622 0 0 0 25 0 4 0 603533827 713752576 10404 33554432000 4194304 4797429 140736029961280 18446744073709551615 4351789 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=697024 CPUtime=6.2 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 2125 0 0 0 620 0 0 0 25 0 4 0 603533827 713752576 10404 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=697024 CPUtime=6.22 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 2206 0 0 0 622 0 0 0 25 0 4 0 603533827 713752576 10404 33554432000 4194304 4797429 140736029961280 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 697024

[startup+12.7002 s]
/proc/loadavg: 6.56 7.56 7.03 9/184 29562
/proc/meminfo: memFree=29654136/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=702592 CPUtime=50.55 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 18748 0 0 0 5052 3 0 0 25 0 4 0 603533821 719454208 11247 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 175648 11247 418 148 0 170577 0
[pid=29549/tid=29556] ppid=29547 vsize=702592 CPUtime=12.64 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 2731 0 0 0 1263 1 0 0 25 0 4 0 603533827 719454208 11247 33554432000 4194304 4797429 140736029961280 18446744073709551615 4428962 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=702592 CPUtime=12.57 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 2803 0 0 0 1257 0 0 0 25 0 4 0 603533827 719454208 11247 33554432000 4194304 4797429 140736029961280 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=702592 CPUtime=12.63 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 2831 0 0 0 1263 0 0 0 25 0 4 0 603533827 719454208 11247 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424970 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 702592

[startup+25.5008 s]
/proc/loadavg: 6.78 7.57 7.04 9/184 29562
/proc/meminfo: memFree=29640892/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=707156 CPUtime=101.66 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 24846 0 0 0 10162 4 0 0 25 0 4 0 603533821 724127744 13043 33554432000 4194304 4797429 140736029961280 18446744073709551615 4425824 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 176789 13043 420 148 0 171718 0
[pid=29549/tid=29556] ppid=29547 vsize=707156 CPUtime=25.43 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 3559 0 0 0 2542 1 0 0 25 0 4 0 603533827 724127744 13043 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524398 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=707156 CPUtime=25.3 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 3659 0 0 0 2530 0 0 0 25 0 4 0 603533827 724127744 13043 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=707156 CPUtime=25.42 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 3589 0 0 0 2542 0 0 0 25 0 4 0 603533827 724127744 13043 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 707156

[startup+51.101 s]
/proc/loadavg: 7.26 7.62 7.07 9/184 29563
/proc/meminfo: memFree=29619440/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=713332 CPUtime=203.92 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 37091 0 0 0 20385 7 0 0 25 0 4 0 603533821 730451968 15320 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424380 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 178333 15320 422 148 0 173262 0
[pid=29549/tid=29556] ppid=29547 vsize=713332 CPUtime=51.03 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 4638 0 0 0 5102 1 0 0 25 0 4 0 603533827 730451968 15320 33554432000 4194304 4797429 140736029961280 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=713332 CPUtime=50.76 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 4642 0 0 0 5076 0 0 0 25 0 4 0 603533827 730451968 15320 33554432000 4194304 4797429 140736029961280 18446744073709551615 4495473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=713332 CPUtime=51.01 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 4782 0 0 0 5101 0 0 0 25 0 4 0 603533827 730451968 15320 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 713332

[startup+102.3 s]
/proc/loadavg: 7.76 7.70 7.13 9/184 29564
/proc/meminfo: memFree=29597836/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=720736 CPUtime=408.44 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 56560 0 0 0 40831 13 0 0 25 0 4 0 603533821 738033664 18265 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 180184 18265 422 148 0 175113 0
[pid=29549/tid=29556] ppid=29547 vsize=720736 CPUtime=102.23 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 6273 0 0 0 10222 1 0 0 25 0 4 0 603533827 738033664 18265 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=720736 CPUtime=101.68 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 6445 0 0 0 10167 1 0 0 25 0 4 0 603533827 738033664 18265 33554432000 4194304 4797429 140736029961280 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=720736 CPUtime=102.21 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 6798 0 0 0 10220 1 0 0 25 0 4 0 603533827 738033664 18265 33554432000 4194304 4797429 140736029961280 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 720736

[startup+162.301 s]
/proc/loadavg: 7.96 7.77 7.19 9/184 29566
/proc/meminfo: memFree=29570756/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=730068 CPUtime=648.14 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 79810 0 0 0 64793 21 0 0 25 0 4 0 603533821 747589632 21828 33554432000 4194304 4797429 140736029961280 18446744073709551615 4351609 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 182517 21828 422 148 0 177446 0
[pid=29549/tid=29556] ppid=29547 vsize=730068 CPUtime=162.24 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 8664 0 0 0 16222 2 0 0 25 0 4 0 603533827 747589632 21828 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=730068 CPUtime=161.36 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 8472 0 0 0 16135 1 0 0 25 0 4 0 603533827 747589632 21828 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=730068 CPUtime=162.21 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 8953 0 0 0 16219 2 0 0 25 0 4 0 603533827 747589632 21828 33554432000 4194304 4797429 140736029961280 18446744073709551615 4495561 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 648.14
Current children cumulated vsize (KiB) 730068

[startup+222.301 s]
/proc/loadavg: 8.03 7.82 7.24 9/184 29567
/proc/meminfo: memFree=29556580/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=735268 CPUtime=887.79 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 98078 0 0 0 88752 27 0 0 25 0 4 0 603533821 752914432 23825 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 183817 23825 422 148 0 178746 0
[pid=29549/tid=29556] ppid=29547 vsize=735268 CPUtime=222.23 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 10093 0 0 0 22221 2 0 0 25 0 4 0 603533827 752914432 23825 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=735268 CPUtime=221.02 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 10239 0 0 0 22101 1 0 0 25 0 4 0 603533827 752914432 23825 33554432000 4194304 4797429 140736029961280 18446744073709551615 4523971 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=735268 CPUtime=222.2 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 10798 0 0 0 22217 3 0 0 25 0 4 0 603533827 752914432 23825 33554432000 4194304 4797429 140736029961280 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.79
Current children cumulated vsize (KiB) 735268

[startup+282.306 s]
/proc/loadavg: 8.06 7.87 7.29 9/184 29569
/proc/meminfo: memFree=29539296/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=740004 CPUtime=1127.49 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 115717 0 0 0 112717 32 0 0 25 0 4 0 603533821 757764096 25278 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 185001 25278 422 148 0 179930 0
[pid=29549/tid=29556] ppid=29547 vsize=740004 CPUtime=282.24 cores=0,2,4,6

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

[pid=29549] ppid=29547 vsize=767216 CPUtime=2565.52 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 201320 0 0 0 256490 62 0 0 25 0 4 0 603533821 785629184 33900 33554432000 4194304 4797429 140736029961280 18446744073709551615 4413516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 191804 33900 422 148 0 186733 0
[pid=29549/tid=29556] ppid=29547 vsize=767216 CPUtime=642.25 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 19605 0 0 0 64219 6 0 0 25 0 4 0 603533827 785629184 33900 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=767216 CPUtime=638.75 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 19972 0 0 0 63871 4 0 0 25 0 4 0 603533827 785629184 33900 33554432000 4194304 4797429 140736029961280 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=767216 CPUtime=642.17 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 20514 0 0 0 64210 7 0 0 25 0 4 0 603533827 785629184 33900 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424383 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.52
Current children cumulated vsize (KiB) 767216

[startup+702.301 s]
/proc/loadavg: 8.06 8.03 7.57 9/184 29580
/proc/meminfo: memFree=29467032/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=768476 CPUtime=2805.2 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 213226 0 0 0 280454 66 0 0 25 0 4 0 603533821 786919424 35318 33554432000 4194304 4797429 140736029961280 18446744073709551615 4387378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 192119 35318 423 148 0 187048 0
[pid=29549/tid=29556] ppid=29547 vsize=768476 CPUtime=702.26 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 21099 0 0 0 70219 7 0 0 25 0 4 0 603533827 786919424 35318 33554432000 4194304 4797429 140736029961280 18446744073709551615 4428966 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=768476 CPUtime=698.43 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 21336 0 0 0 69839 4 0 0 25 0 4 0 603533827 786919424 35318 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=768476 CPUtime=702.17 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 21864 0 0 0 70209 8 0 0 25 0 4 0 603533827 786919424 35318 33554432000 4194304 4797429 140736029961280 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.2
Current children cumulated vsize (KiB) 768476

[startup+762.301 s]
/proc/loadavg: 8.02 8.02 7.59 9/184 29582
/proc/meminfo: memFree=29450864/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=772636 CPUtime=3044.87 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 226294 0 0 0 304417 70 0 0 25 0 4 0 603533821 791179264 37050 33554432000 4194304 4797429 140736029961280 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 193159 37050 423 148 0 188088 0
[pid=29549/tid=29556] ppid=29547 vsize=772636 CPUtime=762.25 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 22575 0 0 0 76218 7 0 0 25 0 4 0 603533827 791179264 37050 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=772636 CPUtime=758.1 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 22659 0 0 0 75805 5 0 0 25 0 4 0 603533827 791179264 37050 33554432000 4194304 4797429 140736029961280 18446744073709551615 4567880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=772636 CPUtime=762.16 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 23270 0 0 0 76208 8 0 0 25 0 4 0 603533827 791179264 37050 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.87
Current children cumulated vsize (KiB) 772636

[startup+822.3 s]
/proc/loadavg: 8.12 8.05 7.63 9/184 29583
/proc/meminfo: memFree=29439776/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=776976 CPUtime=3284.57 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 239307 0 0 0 328382 75 0 0 25 0 4 0 603533821 795623424 38829 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 194244 38829 423 148 0 189173 0
[pid=29549/tid=29556] ppid=29547 vsize=776976 CPUtime=822.27 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 23356 0 0 0 82219 8 0 0 25 0 4 0 603533827 795623424 38829 33554432000 4194304 4797429 140736029961280 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=776976 CPUtime=817.78 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 23243 0 0 0 81773 5 0 0 25 0 4 0 603533827 795623424 38829 33554432000 4194304 4797429 140736029961280 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=776976 CPUtime=822.17 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 23953 0 0 0 82208 9 0 0 25 0 4 0 603533827 795623424 38829 33554432000 4194304 4797429 140736029961280 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.57
Current children cumulated vsize (KiB) 776976

[startup+882.301 s]
/proc/loadavg: 8.11 8.05 7.65 9/184 29585
/proc/meminfo: memFree=29426084/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=778072 CPUtime=3524.22 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 250531 0 0 0 352343 79 0 0 25 0 4 0 603533821 796745728 38676 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424460 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 194518 38676 423 148 0 189447 0
[pid=29549/tid=29556] ppid=29547 vsize=778072 CPUtime=882.26 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 24563 0 0 0 88217 9 0 0 25 0 4 0 603533827 796745728 38676 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=778072 CPUtime=877.46 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 24521 0 0 0 87740 6 0 0 25 0 4 0 603533827 796745728 38676 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=778072 CPUtime=882.16 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 25173 0 0 0 88207 9 0 0 25 0 4 0 603533827 796745728 38676 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.22
Current children cumulated vsize (KiB) 778072

[startup+942.307 s]
/proc/loadavg: 8.11 8.06 7.67 9/184 29586
/proc/meminfo: memFree=29428784/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=781764 CPUtime=3763.91 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 263962 0 0 0 376306 85 0 0 25 0 4 0 603533821 800526336 39185 33554432000 4194304 4797429 140736029961280 18446744073709551615 4351787 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 195441 39185 423 148 0 190370 0
[pid=29549/tid=29556] ppid=29547 vsize=781764 CPUtime=942.27 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 26268 0 0 0 94218 9 0 0 25 0 4 0 603533827 800526336 39185 33554432000 4194304 4797429 140736029961280 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=781764 CPUtime=937.13 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 26132 0 0 0 93707 6 0 0 25 0 4 0 603533827 800526336 39185 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=781764 CPUtime=942.16 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 26500 0 0 0 94206 10 0 0 25 0 4 0 603533827 800526336 39185 33554432000 4194304 4797429 140736029961280 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.91
Current children cumulated vsize (KiB) 781764

[startup+1002.3 s]
/proc/loadavg: 8.15 8.07 7.70 9/184 29588
/proc/meminfo: memFree=29417692/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=784572 CPUtime=4003.57 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 275633 0 0 0 400266 91 0 0 25 0 4 0 603533821 803401728 41879 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 196143 41879 423 148 0 191072 0
[pid=29549/tid=29556] ppid=29547 vsize=784572 CPUtime=1002.26 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 27801 0 0 0 100216 10 0 0 25 0 4 0 603533827 803401728 41879 33554432000 4194304 4797429 140736029961280 18446744073709551615 4642256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=784572 CPUtime=996.81 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 27711 0 0 0 99674 7 0 0 25 0 4 0 603533827 803401728 41879 33554432000 4194304 4797429 140736029961280 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=784572 CPUtime=1002.15 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 27851 0 0 0 100205 10 0 0 25 0 4 0 603533827 803401728 41879 33554432000 4194304 4797429 140736029961280 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.57
Current children cumulated vsize (KiB) 784572

[startup+1062.3 s]
/proc/loadavg: 8.15 8.09 7.73 9/184 29590
/proc/meminfo: memFree=29399908/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=784716 CPUtime=4243.24 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 285370 0 0 0 424229 95 0 0 25 0 4 0 603533821 803549184 42935 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 196179 42935 423 148 0 191108 0
[pid=29549/tid=29556] ppid=29547 vsize=784716 CPUtime=1062.26 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 28354 0 0 0 106216 10 0 0 25 0 4 0 603533827 803549184 42935 33554432000 4194304 4797429 140736029961280 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=784716 CPUtime=1056.48 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 28280 0 0 0 105640 8 0 0 25 0 4 0 603533827 803549184 42935 33554432000 4194304 4797429 140736029961280 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=784716 CPUtime=1062.14 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 28668 0 0 0 106204 10 0 0 25 0 4 0 603533827 803549184 42935 33554432000 4194304 4797429 140736029961280 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.24
Current children cumulated vsize (KiB) 784716

[startup+1122.3 s]
/proc/loadavg: 8.11 8.08 7.75 9/184 29591
/proc/meminfo: memFree=29389824/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=788776 CPUtime=4482.92 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 299829 0 0 0 448191 101 0 0 25 0 4 0 603533821 807706624 44271 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 197194 44271 423 148 0 192123 0
[pid=29549/tid=29556] ppid=29547 vsize=788776 CPUtime=1122.27 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 29585 0 0 0 112216 11 0 0 25 0 4 0 603533827 807706624 44271 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=788776 CPUtime=1116.15 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 29728 0 0 0 111607 8 0 0 25 0 4 0 603533827 807706624 44271 33554432000 4194304 4797429 140736029961280 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=788776 CPUtime=1122.14 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 30054 0 0 0 112203 11 0 0 25 0 4 0 603533827 807706624 44271 33554432000 4194304 4797429 140736029961280 18446744073709551615 4430024 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.92
Current children cumulated vsize (KiB) 788776

[startup+1182.3 s]
/proc/loadavg: 8.09 8.08 7.76 9/184 29593
/proc/meminfo: memFree=29393232/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=792268 CPUtime=4722.6 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 312921 0 0 0 472154 106 0 0 25 0 4 0 603533821 811282432 44222 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 198067 44222 422 148 0 192996 0
[pid=29549/tid=29556] ppid=29547 vsize=792268 CPUtime=1182.27 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 30841 0 0 0 118215 12 0 0 25 0 4 0 603533827 811282432 44222 33554432000 4194304 4797429 140736029961280 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=792268 CPUtime=1175.83 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 30979 0 0 0 117574 9 0 0 25 0 4 0 603533827 811282432 44222 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=792268 CPUtime=1182.13 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 31226 0 0 0 118202 11 0 0 25 0 4 0 603533827 811282432 44222 33554432000 4194304 4797429 140736029961280 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.6
Current children cumulated vsize (KiB) 792268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.08 7.77 9/184 29593
/proc/meminfo: memFree=29394700/32950928 swapFree=67111364/67111528
[pid=29549] ppid=29547 vsize=793056 CPUtime=4800.11 cores=0,2,4,6
/proc/29549/stat : 29549 (techdemo) R 29547 29549 29250 0 -1 4202496 316798 0 0 0 479904 107 0 0 25 0 4 0 603533821 812089344 43768 33554432000 4194304 4797429 140736029961280 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29549/statm: 198264 43768 422 148 0 193193 0
[pid=29549/tid=29556] ppid=29547 vsize=793056 CPUtime=1201.68 cores=0,2,4,6
/proc/29549/task/29556/stat : 29556 (techdemo) R 29547 29549 29250 0 -1 4202560 31006 0 0 0 120156 12 0 0 25 0 4 0 603533827 812089344 43768 33554432000 4194304 4797429 140736029961280 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29549/tid=29557] ppid=29547 vsize=793056 CPUtime=1195.13 cores=0,2,4,6
/proc/29549/task/29557/stat : 29557 (techdemo) R 29547 29549 29250 0 -1 4202560 31164 0 0 0 119504 9 0 0 25 0 4 0 603533827 812089344 43768 33554432000 4194304 4797429 140736029961280 18446744073709551615 4424338 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29549/tid=29558] ppid=29547 vsize=793056 CPUtime=1201.55 cores=0,2,4,6
/proc/29549/task/29558/stat : 29558 (techdemo) R 29547 29549 29250 0 -1 4202560 31442 0 0 0 120143 12 0 0 25 0 4 0 603533827 812089344 43768 33554432000 4194304 4797429 140736029961280 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 793056

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.15
CPU user time (s): 4799.07
CPU system time (s): 1.07883
CPU usage (%): 399.439
Max. virtual memory (cumulated for all children) (KiB): 905224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.07
system time used= 1.07883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316799
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= 1279
involuntary context switches= 24221

runsolver used 1.9947 second user time and 4.5833 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 05:10:32
IDJOB=3250491
IDBENCH=83275
IDSOLVER=1584
FILE ID=node115/3250491-1304133031
RUNJOBID= node115-1304133031-29534
PBS_JOBID= 13170791
Free space on /tmp= 72880 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_508.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250491-1304133031/watcher-3250491-1304133031 -o /tmp/evaluation-result-3250491-1304133031/solver-3250491-1304133031 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3250491-1304133031.cnf

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

MD5SUM BENCH= b891f70c80006fb02dca40f266c0cec1
RANDOM SEED=2076463621

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29743672 kB
Buffers:        824496 kB
Cached:        1894216 kB
SwapCached:          0 kB
Active:         192792 kB
Inactive:      2589696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29743672 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           15996 kB
Writeback:          16 kB
AnonPages:       63288 kB
Mapped:          14464 kB
Slab:           361348 kB
PageTables:       4436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185508 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= 72864 MiB
End job on node115 at 2011-04-30 05:30:35