Trace number 3289378

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.28 1202.56

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top25.cnf
MD5SUM1d36146d5d79c91e0605a19242395228
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark527.919
Satisfiable
(Un)Satisfiability was proved
Number of variables71356
Number of clauses227126
Sum of the clauses size555264
Maximum clause length2747
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2137909
Number of clauses of size 387742
Number of clauses of size 4324
Number of clauses of size 523
Number of clauses of size over 51127

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-3289378-1304128582.cnf'
0.00/0.00	c -- header says num vars:          71356
0.00/0.00	c -- header says num clauses:      227126
0.39/0.43	c -- clauses added:            0 learnts,       227126 normals,            0 xors
0.39/0.43	c -- vars added      71356
0.39/0.43	c Parsing time:  0.38 s
0.39/0.44	c  N st     0         0     71356     87168    126336         0    522328         0   no data   no data  --
1.87/0.84	c asymm  cl-useful: 65/6424/87168 lits-rem:115 time: 1.62
36.22/9.48	c Flit:   725 Blit:  11619 bXBeca:    0 bXProp: 19957 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 34.42
36.62/9.50	c Cleaning up after failed var search:     0.07 s 
43.02/11.11	c Calc non-exist non-lernt bins v-fix:     0 done:  20431 time:  6.20 s
43.02/11.12	c Cache  BProp: 0 Set: 0 BXProp: 65 T: 0.02
43.02/11.16	c Subs w/ non-existent bins:    432 time:  0.17 s
43.39/11.20	c Replacing    20023 vars Replaced   384037 lits Time:     0.14 s 
43.39/11.22	c bin-w-bin subsume rem         1931 bins  time:  0.04 s
43.39/11.24	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  0.06 s
43.79/11.38	c Removed useless bin:      62  fixed:     0  bprops:  10.00M  time:  0.54 s
44.58/11.60	c lits-rem:        14  cl-subs:     2673  v-elim:  11503  v-fix:    0  time:  0.82 s
44.58/11.60	c learnt bin added due to v-elim: 0
44.98/11.60	c Finding binary XORs  T:     0.03 s  found:     273
44.98/11.61	c Replacing      273 vars Replaced     2599 lits Time:     0.04 s 
44.98/11.65	c Finding non-binary XORs:     0.10 s (found:    2811, avg size: 3.4)
44.98/11.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    607 locsubst:     0 time:   0.04
44.98/11.66	c Calc default polars -  time:   0.02 s pos:    4814 undec:   50577 neg:   15965
44.98/11.66	c =========================================================================================
44.98/11.66	c types(t): F = full restart, N = normal restart
44.98/11.66	c types(t): S = simplification begin/end, E = solution found
44.98/11.66	c restart types(rt): st = static, dy = dynamic
44.98/11.66	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
44.98/11.66	c  B st     0         0     22122     35801     40108         0    246477         0   no data   no data  --
46.18/11.93	c Decided on dynamic restart strategy
46.99/12.17	c  N dy    21      4110     22100     35801     40291      3819    246476     77202     16.66      9.47  --
49.77/12.82	c  N dy    51      8164     22099     35801     41604     19936    246476    200898     22.45      9.67  --
52.55/13.54	c  N dy    81     12274     22089     35801     41997     24612    246476    294460     27.67      9.55  --
55.77/14.34	c  N dy   111     16306     22074     35801     42140     28416    246476    385949     27.05      9.73  --
58.95/15.11	c  N dy   140     20330     22061     35801     42187     16324    246476     65011     33.38     10.01  --
61.34/15.75	c  N dy   169     24352     22050     35801     42261     20200    246476    155886     28.15      9.96  --
64.56/16.51	c  N dy   198     28355     22039     35801     42358     24052    246476    256700     27.59      9.97  --
65.74/16.84	c  S st   210     30000     22035     35801     42372     25662    246476    297047     23.01      9.99  --
66.54/17.00	c  S st   210     30502     22028     35801     42423     26095    246476    304097     23.01      9.99  --
66.54/17.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    290 locsubst:     0 time:   0.05
66.54/17.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
84.50/21.57	c Flit:   111 Blit:   4263 bXBeca:    0 bXProp:  979 Bin:  71650 BRemL:  14686 BRemN:    419 CBin:       0 P: 26.3M T: 18.13
84.50/21.58	c Cleaning up after failed var search:     0.05 s 
84.90/21.64	c Calc non-exist non-lernt bins v-fix:     0 done:  12929 time:  0.24 s
84.90/21.65	c Cache  BProp: 11 Set: 0 BXProp: 2 T: 0.02
84.90/21.68	c Subs w/ non-existent bins:    445 time:  0.14 s
84.90/21.69	c Replacing     1097 vars Replaced    34361 lits Time:     0.05 s 
85.30/21.71	c bin-w-bin subsume rem         1167 bins  time:  0.03 s
85.30/21.74	c subs with bin:      922  lits-rem:      5177  v-fix:    0  time:  0.11 s
85.30/21.76	c Removed useless bin:      47  fixed:     0  bprops:   0.54M  time:  0.05 s
86.11/22.00	c lits-rem:      6063  cl-subs:     7305  v-elim:   4577  v-fix:    0  time:  0.97 s
86.11/22.00	c learnt bin added due to v-elim: 0
86.53/22.01	c vivif2 --  cl tried    23863 cl shrink      172 lits rem        240 time: 0.04
86.53/22.01	c vivif2 --  cl tried     6793 cl shrink      269 lits rem        997 time: 0.02
87.30/22.23	c asymm  cl-useful: 120/16328/23841 lits-rem:244 time: 0.87
87.30/22.24	c calculated reachability. Time: 0.04
87.30/22.24	c  N dy   210     30502      8610     23794     19376      6775    165318     38166     23.01      9.99  --
87.30/22.24	c  F st   210     30502      8610     23794     19376      6775    165318     38166     23.01      9.99  --
88.50/22.50	c Decided on static restart strategy
97.68/24.84	c  N dy   217     45753      8610     23794     19398     21075    165317    550697     56.21     12.46  --
97.68/24.87	c  S st   217     45753      8610     23794     19398     21075    165317    550697     56.21     12.46  --
98.48/25.07	c  S st   217     46254      8610     23794     26694     22260    167049    573348     56.21     12.46  --
98.48/25.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    136 locsubst:     0 time:   0.04
98.48/25.08	c Cache  BProp: 11 Set: 0 BXProp: 0 T: 0.01
102.48/26.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bin:   1701 BRemL:   4467 BRemN:   1368 CBin:       0 P: 16.4M T:  3.69
102.48/26.03	c Calc non-exist non-lernt bins v-fix:     0 done:   8470 time:  0.10 s
102.48/26.03	c Cache  BProp: 11 Set: 0 BXProp: 0 T: 0.00
102.88/26.11	c Subs w/ non-existent bins:    246 time:  0.33 s
102.88/26.13	c Replacing       14 vars Replaced      265 lits Time:     0.06 s 
102.88/26.15	c bin-w-bin subsume rem          786 bins  time:  0.02 s
103.28/26.28	c subs with bin:       79  lits-rem:        82  v-fix:    0  time:  0.52 s
103.28/26.28	c Removed useless bin:      89  fixed:     0  bprops:   0.26M  time:  0.03 s
111.67/28.30	c lits-rem:       838  cl-subs:     2274  v-elim:    729  v-fix:    0  time:  8.07 s
111.67/28.30	c learnt bin added due to v-elim: 0
111.67/28.32	c vivif2 --  cl tried    23582 cl shrink       14 lits rem         18 time: 0.04
111.67/28.37	c vivif2 --  cl tried    19013 cl shrink      219 lits rem        234 time: 0.22
112.07/28.40	c asymm  cl-useful: 0/828/23580 lits-rem:0 time: 0.14
112.07/28.42	c calculated reachability. Time: 0.04
112.07/28.42	c  N dy   217     46254      8392     23580     20950     19004    162676    476873     56.21     12.46  --
118.06/29.94	c  N dy   218     54484      8391     23580     20950     26936    162676    773964     45.55     12.99  --
118.86/30.12	c Finding binary XORs  T:     0.63 s  found:       1
129.25/32.78	c  N dy   219     69381      8388     23579     21962     25850    162575    843439     55.25     14.00  --
129.65/32.82	c  S st   219     69381      8388     23579     21962     25850    162575    843439     55.25     14.00  --
130.05/32.96	c  S st   219     69883      8388     23579     21963     26350    162575    855645     55.25     14.00  --
130.05/32.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     70 locsubst:     0 time:   0.04
130.05/32.98	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.01
133.64/33.85	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    438 BRemL:    889 BRemN:     13 CBin:       0 P: 21.0M T:  3.51
133.64/33.88	c Calc non-exist non-lernt bins v-fix:     0 done:   8317 time:  0.09 s
133.64/33.88	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.00
134.04/33.93	c Subs w/ non-existent bins:     31 time:  0.22 s
134.04/33.95	c Replacing        1 vars Replaced       14 lits Time:     0.05 s 
134.04/33.97	c bin-w-bin subsume rem           16 bins  time:  0.02 s
134.44/34.06	c subs with bin:       47  lits-rem:        33  v-fix:    0  time:  0.35 s
134.44/34.06	c Removed useless bin:       7  fixed:     0  bprops:   0.26M  time:  0.03 s
141.22/35.72	c ORs :   5630 avg-s:  2.6 cl-sh:  2366 l-rem:   4422 b-add:    275 v-rep:   0 cl-rem: 34 avg s: 4.4 T:    2.15
161.62/40.80	c Added 9 vars  tried: 80000 time: 20.28
161.62/40.81	c ORs :      9 avg-s:  0.0 cl-sh:  1229 l-rem:   1229 b-add:     19 v-rep:   0 cl-rem: 6 avg s: 5.7 T:   20.29
161.62/40.82	c lits-rem:       777  cl-subs:     1985  v-elim:    655  v-fix:    0  time: 26.98 s
161.62/40.82	c learnt bin added due to v-elim: 0
161.62/40.83	c vivif2 --  cl tried    23488 cl shrink       26 lits rem         30 time: 0.03
161.62/40.86	c vivif2 --  cl tried    20268 cl shrink      162 lits rem        348 time: 0.14
162.40/41.08	c asymm  cl-useful: 154/4248/23485 lits-rem:208 time: 0.86
162.40/41.09	c calculated reachability. Time: 0.02
162.40/41.09	c  N dy   219     69883      8319     23485     21557     20268    160545    319097     55.25     14.00  --
162.40/41.09	c  F st   219     69883      8319     23485     21557     20268    160545    319097     55.25     14.00  --
164.00/41.44	c Decided on static restart strategy
169.59/42.83	c  N dy   226     80905      8319     23485     21566     31028    160544    686656     33.33     13.25  --
186.77/47.11	c  N dy   229    104824      8317     23485     22251     37993    160596   1163605     83.59     13.18  --
186.77/47.16	c  S st   229    104824      8317     23485     22251     37993    160596   1163605     83.59     13.18  --
187.58/47.38	c  S st   229    105328      8317     23485     22252     38494    160596   1176011     83.59     13.18  --
187.58/47.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
187.58/47.39	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.00
195.15/49.21	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:    7 Bin:    411 BRemL:    547 BRemN:     18 CBin:       0 P: 40.3M T:  7.29
195.15/49.24	c Calc non-exist non-lernt bins v-fix:     0 done:   8313 time:  0.09 s
195.15/49.24	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.00
195.55/49.38	c Subs w/ non-existent bins:    176 time:  0.58 s
195.95/49.40	c Replacing        7 vars Replaced      275 lits Time:     0.08 s 
195.95/49.44	c bin-w-bin subsume rem          275 bins  time:  0.02 s
197.14/49.75	c subs with bin:       64  lits-rem:       167  v-fix:    0  time:  1.22 s
197.14/49.76	c Removed useless bin:      22  fixed:     0  bprops:   0.26M  time:  0.03 s
208.33/52.57	c ORs :   5607 avg-s:  2.6 cl-sh:    62 l-rem:    180 b-add:      8 v-rep:   0 cl-rem: 11 avg s: 9.1 T:    2.31
208.33/52.59	c lits-rem:       388  cl-subs:     5027  v-elim:    664  v-fix:    0  time: 11.33 s
208.33/52.59	c learnt bin added due to v-elim: 0
208.73/52.60	c vivif2 --  cl tried    23168 cl shrink        5 lits rem          5 time: 0.04
209.13/52.71	c vivif2 --  cl tried    33481 cl shrink      639 lits rem       2737 time: 0.43
209.55/52.85	c asymm  cl-useful: 106/1221/23168 lits-rem:128 time: 0.57
209.55/52.86	c calculated reachability. Time: 0.02
209.55/52.86	c  N dy   229    105328      8293     23168     21492     33476    158192   1033049     83.59     13.18  --
251.88/63.47	c  N dy   230    157992      8293     23168     21495     43134    158192   2145102     53.89     14.27  --
252.28/63.56	c  S st   230    157992      8293     23168     21495     43134    158192   2145102     53.89     14.27  --
253.08/63.72	c  S st   230    158493      8292     23168     21980     43694    158220   2158233     53.89     14.27  --
253.08/63.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
253.08/63.73	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.00
260.26/65.53	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    190 BRemL:    349 BRemN:      9 CBin:       0 P: 39.6M T:  7.17
260.26/65.55	c Calc non-exist non-lernt bins v-fix:     0 done:   8291 time:  0.09 s
260.26/65.55	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.00
260.66/65.69	c Subs w/ non-existent bins:     12 time:  0.58 s
261.06/65.72	c Replacing        1 vars Replaced       26 lits Time:     0.10 s 
261.06/65.78	c bin-w-bin subsume rem           21 bins  time:  0.02 s
262.68/66.17	c subs with bin:       25  lits-rem:        77  v-fix:    0  time:  1.56 s
262.68/66.18	c Removed useless bin:       0  fixed:     0  bprops:   0.25M  time:  0.03 s
291.42/73.34	c ORs :   5610 avg-s:  2.6 cl-sh:    78 l-rem:    109 b-add:      4 v-rep:   0 cl-rem: 8 avg s: 8.1 T:    5.11
291.42/73.37	c lits-rem:        96  cl-subs:     3171  v-elim:    657  v-fix:    0  time: 28.76 s
291.42/73.37	c learnt bin added due to v-elim: 0
291.42/73.38	c vivif2 --  cl tried    23088 cl shrink       18 lits rem         20 time: 0.03
292.22/73.59	c vivif2 --  cl tried    40543 cl shrink     3341 lits rem      19713 time: 0.82
293.03/73.75	c asymm  cl-useful: 9/2159/23088 lits-rem:12 time: 0.63
293.03/73.76	c calculated reachability. Time: 0.03
293.03/73.76	c  N dy   230    158493      8282     23088     21667     40542    157653   1916813     53.89     14.27  --
355.33/89.38	c  N dy   231    237739      8281     23088     21667     44828    157653    654537     29.40     14.64  --
355.73/89.41	c  S st   231    237739      8281     23088     21667     44828    157653    654537     29.40     14.64  --
356.13/89.59	c  S st   231    238242      8284     23088     22001     45386    157673    669573     29.40     14.64  --
356.13/89.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
356.53/89.60	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.00
362.12/91.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    132 BRemL:    209 BRemN:      2 CBin:       0 P: 54.1M T:  5.99
362.52/91.12	c Calc non-exist non-lernt bins v-fix:     0 done:   8282 time:  0.09 s
362.52/91.12	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.00
362.92/91.24	c Subs w/ non-existent bins:     43 time:  0.47 s
362.92/91.25	c Replacing        1 vars Replaced       13 lits Time:     0.06 s 
362.92/91.28	c bin-w-bin subsume rem            7 bins  time:  0.02 s
363.33/91.38	c subs with bin:       14  lits-rem:        22  v-fix:    0  time:  0.41 s
363.33/91.39	c Removed useless bin:       0  fixed:     0  bprops:   0.25M  time:  0.03 s
373.70/93.95	c ORs :   5588 avg-s:  2.6 cl-sh:    17 l-rem:     19 b-add:      0 v-rep:   0 cl-rem: 18 avg s: 10.2 T:    2.15
373.70/93.96	c lits-rem:      3971  cl-subs:     4323  v-elim:    667  v-fix:    0  time: 10.30 s
373.70/93.96	c learnt bin added due to v-elim: 0
373.70/93.97	c vivif2 --  cl tried    22977 cl shrink        2 lits rem          2 time: 0.04
374.10/94.05	c vivif2 --  cl tried    41068 cl shrink        7 lits rem          7 time: 0.32
374.50/94.17	c asymm  cl-useful: 26/3621/22977 lits-rem:35 time: 0.46
374.50/94.18	c calculated reachability. Time: 0.02
374.50/94.18	c  N dy   231    238242      8261     22975     21761     41065    156712    585586     29.40     14.64  --
408.06/102.53	c  N dy   233    271575      8261     22975     21761     48342    156712   1942386    120.62     14.99  --
408.46/102.66	c Finding binary XORs  T:     0.47 s  found:       1
445.21/111.84	c  N dy   234    314640      8259     22971     21963     35475    156651    503828     41.09     15.13  --
476.37/119.63	c  N dy   242    354491      8259     22971     22043     45339    156651   1586354     79.98     15.29  --
478.76/120.25	c  S st   243    357365      8259     22971     22082     48161    156651   1684820     38.54     15.27  --
479.56/120.43	c  S st   243    357865      8259     22971     22082     48658    156651   1696688     38.54     15.27  --
479.56/120.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
479.56/120.44	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.01
488.35/122.65	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    147 BRemL:    318 BRemN:     12 CBin:       0 P: 60.0M T:  8.82
488.35/122.67	c Calc non-exist non-lernt bins v-fix:     0 done:   8256 time:  0.09 s
488.35/122.67	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.00
489.15/122.83	c Subs w/ non-existent bins:     95 time:  0.63 s
489.15/122.85	c Replacing        1 vars Replaced      189 lits Time:     0.09 s 
489.55/122.90	c bin-w-bin subsume rem            5 bins  time:  0.02 s
490.76/123.29	c subs with bin:       30  lits-rem:       157  v-fix:    0  time:  1.54 s
490.76/123.29	c Removed useless bin:       1  fixed:     0  bprops:   0.25M  time:  0.03 s
501.53/125.98	c ORs :   5589 avg-s:  2.6 cl-sh:    58 l-rem:     68 b-add:      5 v-rep:   0 cl-rem: 4 avg s: 42.5 T:    3.27
501.93/126.01	c lits-rem:       353  cl-subs:     4170  v-elim:    654  v-fix:    0  time: 10.84 s
501.93/126.01	c learnt bin added due to v-elim: 0
501.93/126.02	c vivif2 --  cl tried    22869 cl shrink        6 lits rem          7 time: 0.03
502.33/126.14	c vivif2 --  cl tried    44453 cl shrink     1580 lits rem       4988 time: 0.52
502.73/126.29	c asymm  cl-useful: 1/3254/22866 lits-rem:4 time: 0.59
503.13/126.30	c calculated reachability. Time: 0.02
503.13/126.30	c  N dy   243    357865      8250     22865     21703     44453    155901   1483468     38.54     15.27  --
650.93/163.35	c  N dy   245    497030      8248     22865     21711     52771    155901   2053230    127.53     17.01  --
688.50/172.73	c  N dy   251    536797      8245     22865     22211     57947    156003   1721669     67.26     17.07  --
688.90/172.81	c  S st   251    536797      8245     22865     22211     57947    156003   1721669     67.26     17.07  --
689.68/173.01	c  S st   251    537298      8245     22865     22211     58445    156003   1731742     67.26     17.07  --
689.68/173.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
689.68/173.03	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.00
697.28/174.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bin:    202 BRemL:    376 BRemN:     26 CBin:       0 P: 60.0M T:  7.73
697.28/174.99	c Calc non-exist non-lernt bins v-fix:     0 done:   8244 time:  0.09 s
697.28/174.99	c Cache  BProp: 13 Set: 0 BXProp: 0 T: 0.00
698.06/175.19	c Subs w/ non-existent bins:    130 time:  0.80 s
698.46/175.21	c Replacing        9 vars Replaced      219 lits Time:     0.10 s 
698.46/175.26	c bin-w-bin subsume rem           25 bins  time:  0.02 s
700.86/175.80	c subs with bin:       35  lits-rem:       153  v-fix:    0  time:  2.16 s
700.86/175.81	c Removed useless bin:      13  fixed:     0  bprops:   0.25M  time:  0.03 s
716.44/179.73	c ORs :   5568 avg-s:  2.5 cl-sh:     7 l-rem:      7 b-add:      7 v-rep:   0 cl-rem: 3 avg s: 7.3 T:    2.73
716.44/179.76	c lits-rem:       285  cl-subs:     4544  v-elim:    659  v-fix:    0  time: 15.78 s
716.44/179.76	c learnt bin added due to v-elim: 0
716.44/179.77	c vivif2 --  cl tried    22701 cl shrink        7 lits rem          8 time: 0.04
717.24/179.92	c vivif2 --  cl tried    53663 cl shrink      225 lits rem        489 time: 0.61
717.64/180.09	c asymm  cl-useful: 1/3145/22701 lits-rem:3 time: 0.66
718.04/180.10	c calculated reachability. Time: 0.02
718.04/180.10	c  N dy   251    537298      8225     22700     21630     53662    155099   1534562     67.26     17.07  --
718.04/180.10	c  F st   251    537298      8225     22700     21630     53662    155099   1534562     67.26     17.07  --
720.04/180.63	c Decided on static restart strategy
793.96/199.19	c  N dy   262    608481      8223     22700     21779     52048    155104    903402     80.54     16.91  --
794.74/199.32	c Finding binary XORs  T:     0.48 s  found:       1
816.71/204.90	c  N dy   267    630666      8221     22690     21519     73861    154990   2375587     53.54     17.05  --
873.82/219.17	c  N dy   272    682343      8221     22690     21524     48882    154990   1310942     88.91     17.00  --
917.77/230.14	c  N dy   277    724875      8220     22690     21759     51386    155010    937261     75.16     16.93  --
938.14/235.23	c  N dy   283    746700      8220     22690     21829     72857    155010   2018248     53.38     16.87  --
963.30/241.54	c  N dy   285    775983      8216     22690     21955     61489    155020   1185395     29.28     16.80  --
990.88/248.47	c  N dy   292    805948      8216     22690     21957     49614    155020    609431     53.42     16.66  --
991.28/248.50	c  S st   292    805948      8216     22690     21957     49614    155020    609431     53.42     16.66  --
991.69/248.68	c  S st   292    806452      8216     22690     21958     50114    155020    621434     53.42     16.66  --
991.69/248.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
991.69/248.69	c Cache  BProp: 14 Set: 0 BXProp: 3 T: 0.01
997.66/250.18	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    5 Bin:    236 BRemL:    629 BRemN:      6 CBin:       0 P: 60.0M T:  5.93
998.06/250.20	c Calc non-exist non-lernt bins v-fix:     0 done:   8215 time:  0.09 s
998.06/250.20	c Cache  BProp: 14 Set: 0 BXProp: 0 T: 0.01
998.46/250.33	c Subs w/ non-existent bins:     51 time:  0.52 s
998.46/250.35	c Replacing        8 vars Replaced      265 lits Time:     0.07 s 
998.46/250.38	c bin-w-bin subsume rem           16 bins  time:  0.02 s
999.26/250.50	c subs with bin:       89  lits-rem:       530  v-fix:    0  time:  0.49 s
999.26/250.51	c Removed useless bin:       5  fixed:     0  bprops:   0.24M  time:  0.03 s
1010.05/253.25	c ORs :   5562 avg-s:  2.5 cl-sh:   151 l-rem:    173 b-add:     24 v-rep:   0 cl-rem: 0 avg s: nan T:    2.26
1038.41/260.31	c Added 6 vars  tried: 80000 time: 28.21
1038.41/260.32	c ORs :      6 avg-s:  0.0 cl-sh:  1061 l-rem:   1061 b-add:     12 v-rep:   0 cl-rem: 0 avg s: nan T:   28.23
1038.41/260.34	c lits-rem:      1482  cl-subs:     2609  v-elim:    655  v-fix:    0  time: 39.26 s
1038.41/260.34	c learnt bin added due to v-elim: 0
1038.41/260.35	c vivif2 --  cl tried    22622 cl shrink        3 lits rem          5 time: 0.03
1038.81/260.44	c vivif2 --  cl tried    47247 cl shrink      296 lits rem       5350 time: 0.38
1039.21/260.56	c asymm  cl-useful: 4/4023/22622 lits-rem:12 time: 0.48
1039.21/260.57	c calculated reachability. Time: 0.02
1039.21/260.57	c  N dy   292    806452      8208     22618     21172     47241    154533    566916     53.42     16.66  --
1107.91/277.73	c  N dy   295    871442      8208     22618     21174     68688    154533   1603274     65.93     16.59  --
1183.40/296.65	c  N dy   300    931110      8208     22618     21361     84369    154557   2723476     85.25     16.58  --
1211.37/303.60	c  N dy   304    956920      8208     22618     21445     65683    154563   1888134     96.72     16.64  --
1239.32/310.69	c  N dy   305    981296      8208     22618     21447     89787    154563   3304592     96.24     16.61  --
1268.90/318.02	c  N dy   311   1010115      8208     22618     21484     72819    154571   2006798    104.36     16.62  --
1306.03/327.30	c  N dy   313   1045170      8208     22618     21505     60832    154571   1308236     99.71     16.50  --
1306.43/327.42	c Finding binary XORs  T:     0.47 s  found:       4
1394.11/349.64	c  N dy   319   1126554      8208     22618     21559     92610    154595   2316288     40.35     16.53  --
1459.92/366.18	c  N dy   321   1175830      8208     22618     21620     93493    154603   3386383     56.62     16.50  --
1496.67/375.31	c  N dy   322   1209678      8208     22618     21678     77503    154603   1780067     84.56     16.44  --
1496.67/375.37	c  S st   322   1209678      8208     22618     21678     77503    154603   1780067     84.56     16.44  --
1497.87/375.62	c  S st   322   1210179      8208     22618     21698     78001    154603   1791401     84.56     16.44  --
1497.87/375.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1497.87/375.63	c Cache  BProp: 14 Set: 0 BXProp: 0 T: 0.01
1505.85/377.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    154 BRemL:    442 BRemN:     26 CBin:       0 P: 60.0M T:  8.08
1505.85/377.68	c Calc non-exist non-lernt bins v-fix:     0 done:   8208 time:  0.09 s
1505.85/377.68	c Cache  BProp: 14 Set: 0 BXProp: 0 T: 0.00
1507.06/377.93	c Subs w/ non-existent bins:     55 time:  0.99 s
1507.06/377.94	c Replacing        5 vars Replaced       81 lits Time:     0.05 s 
1507.06/377.99	c bin-w-bin subsume rem           22 bins  time:  0.02 s
1508.25/378.29	c subs with bin:      148  lits-rem:       245  v-fix:    0  time:  1.19 s
1508.65/378.30	c Removed useless bin:       6  fixed:     0  bprops:   0.24M  time:  0.03 s
1539.01/385.97	c ORs :   5575 avg-s:  2.5 cl-sh:     6 l-rem:      9 b-add:      5 v-rep:   0 cl-rem: 4 avg s: 7.0 T:    2.51
1539.41/386.00	c lits-rem:       472  cl-subs:     4702  v-elim:    657  v-fix:    0  time: 30.77 s
1539.41/386.00	c learnt bin added due to v-elim: 0
1539.41/386.01	c vivif2 --  cl tried    22564 cl shrink        2 lits rem          3 time: 0.04
1539.82/386.20	c vivif2 --  cl tried    73155 cl shrink      171 lits rem        409 time: 0.73
1540.23/386.28	c asymm  cl-useful: 1/893/22564 lits-rem:3 time: 0.32
1540.23/386.29	c calculated reachability. Time: 0.03
1540.23/386.29	c  N dy   322   1210179      8197     22563     21198     73154    154307   1620263     84.56     16.44  --
1568.17/393.25	c  N dy   324   1232738      8197     22563     21198     95050    154307   2628227     39.15     16.37  --
1590.54/398.84	c  N dy   329   1255958      8197     22563     21276     68114    154315   1238944     58.07     16.33  --
1617.31/405.54	c  N dy   332   1276040      8197     22563     21279     87860    154315   2447218     48.70     16.34  --
1641.29/411.59	c  N dy   336   1296132      8197     22563     21316     56815    154317    622703     34.90     16.34  --
1672.05/419.27	c  N dy   340   1319475      8196     22563     21333     79833    154317   2147887     60.26     16.42  --
1731.14/434.08	c  N dy   343   1370253      8196     22563     21337     77668    154317   1612173     57.72     16.38  --
1758.61/440.94	c  N dy   349   1394649      8196     22563     21488    101539    154341   2650594     31.74     16.38  --
1803.31/452.27	c  N dy   351   1437614      8196     22563     21490     90106    154341   1605931     54.42     16.28  --
1939.67/486.46	c  N dy   358   1563117      8196     22563     21537    103745    154343   4186700     42.92     15.86  --
1966.03/493.00	c  N dy   359   1584863      8196     22563     21661     69957    154347   1480854     97.80     15.91  --
2036.74/510.71	c  N dy   362   1638933      8195     22563     21667     66228    154347   1054679     48.71     15.89  --
2037.14/510.84	c Finding binary XORs  T:     0.47 s  found:       3
2083.89/522.58	c  N dy   363   1676925      8195     22555     21476    103041    154233   3489171     88.99     15.95  --
2119.44/531.49	c  N dy   367   1707533      8195     22555     21508     75312    154233   1572317     86.43     15.95  --
2122.22/532.12	c  S st   369   1710180      8195     22555     21525     77888    154233   1652918     18.70     15.94  --
2123.02/532.33	c  S st   369   1710682      8195     22555     21525     78387    154233   1666545     18.70     15.94  --
2123.02/532.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2123.02/532.35	c Cache  BProp: 14 Set: 0 BXProp: 0 T: 0.01
2130.61/534.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:    175 BRemL:    635 BRemN:      6 CBin:       0 P: 60.0M T:  7.62
2130.61/534.28	c Calc non-exist non-lernt bins v-fix:     0 done:   8195 time:  0.09 s
2130.61/534.28	c Cache  BProp: 14 Set: 0 BXProp: 0 T: 0.00
2131.81/534.56	c Subs w/ non-existent bins:     38 time:  1.11 s
2131.81/534.57	c Replacing        7 vars Replaced      399 lits Time:     0.05 s 
2132.22/534.62	c bin-w-bin subsume rem           13 bins  time:  0.02 s
2133.80/535.05	c subs with bin:      142  lits-rem:       175  v-fix:    0  time:  1.73 s
2133.80/535.06	c Removed useless bin:       5  fixed:     0  bprops:   0.25M  time:  0.03 s
2151.79/539.59	c ORs :   5571 avg-s:  2.5 cl-sh:    43 l-rem:     64 b-add:     19 v-rep:   0 cl-rem: 7 avg s: 7.4 T:    2.78
2159.78/541.57	c Added 15 vars  tried: 80000 time: 7.89
2159.78/541.59	c ORs :     15 avg-s:  0.0 cl-sh:  4437 l-rem:   4437 b-add:     30 v-rep:   0 cl-rem: 0 avg s: nan T:    7.96
2160.18/541.62	c lits-rem:       341  cl-subs:     4913  v-elim:    655  v-fix:    0  time: 26.21 s
2160.18/541.62	c learnt bin added due to v-elim: 0
2160.18/541.63	c vivif2 --  cl tried    22522 cl shrink        1 lits rem          1 time: 0.04
2160.98/541.83	c vivif2 --  cl tried    73316 cl shrink      159 lits rem        396 time: 0.81
2161.38/541.96	c asymm  cl-useful: 13/1310/22521 lits-rem:59 time: 0.50
2161.38/541.97	c calculated reachability. Time: 0.03
2161.38/541.97	c  N dy   369   1710682      8198     22521     21007     73308    154096   1479484     18.70     15.94  --
2182.14/547.11	c  N dy   377   1731744      8198     22521     21044     94051    154096   2384848     45.53     15.93  --
2207.71/553.58	c  N dy   381   1752915      8198     22521     21045    114875    154096   3226024     40.74     15.91  --
2244.06/562.66	c  N dy   387   1788930      8198     22521     21064     91531    154096   1810259     52.28     15.86  --
2319.55/581.57	c  N dy   388   1857734      8197     22521     21067     97548    154096   1933519     27.43     15.97  --
2692.25/674.84	c  N dy   393   2159941      8197     22521     21123     80894    154110   1235730     44.84     15.64  --
2723.41/682.62	c  N dy   394   2180508      8198     22521     21320    101125    154118   2881419     76.14     15.68  --
2771.74/694.74	c  N dy   397   2210684      8198     22521     21326     65622    154118    558550     61.23     15.70  --
2771.74/694.77	c  S st   397   2210684      8198     22521     21326     65622    154118    558550     61.23     15.70  --
2772.54/694.97	c  S st   397   2211184      8198     22521     21326     66121    154118    573302     61.23     15.70  --
2772.54/694.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2772.54/694.98	c Cache  BProp: 15 Set: 0 BXProp: 0 T: 0.01
2778.93/696.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    153 BRemL:    350 BRemN:     10 CBin:       0 P: 60.0M T:  6.30
2778.93/696.58	c Calc non-exist non-lernt bins v-fix:     0 done:   8197 time:  0.10 s
2778.93/696.58	c Cache  BProp: 15 Set: 0 BXProp: 0 T: 0.01
2779.73/696.73	c Subs w/ non-existent bins:     21 time:  0.57 s
2779.73/696.75	c Replacing        2 vars Replaced       38 lits Time:     0.08 s 
2779.73/696.77	c bin-w-bin subsume rem           16 bins  time:  0.02 s
2780.13/696.85	c subs with bin:       65  lits-rem:        71  v-fix:    0  time:  0.31 s
2780.13/696.86	c Removed useless bin:       0  fixed:     0  bprops:   0.25M  time:  0.03 s
2787.72/698.72	c ORs :   5569 avg-s:  2.5 cl-sh:   135 l-rem:    267 b-add:      5 v-rep:   0 cl-rem: 1 avg s: 8.0 T:    2.23
2787.72/698.74	c lits-rem:      1307  cl-subs:     1524  v-elim:    665  v-fix:    0  time:  7.52 s
2787.72/698.74	c learnt bin added due to v-elim: 0
2787.72/698.75	c vivif2 --  cl tried    22482 cl shrink        1 lits rem          1 time: 0.04
2788.12/698.86	c vivif2 --  cl tried    64505 cl shrink      247 lits rem       1445 time: 0.45
2788.52/698.97	c asymm  cl-useful: 20/630/22482 lits-rem:22 time: 0.42
2788.52/698.98	c calculated reachability. Time: 0.02
2788.52/698.98	c  N dy   397   2211184      8177     22482     21005     64504    153763    554451     61.23     15.70  --
2812.49/704.99	c  N dy   401   2234004      8177     22482     21025     86787    153763   1583491     37.32     15.69  --
2813.31/705.11	c Finding binary XORs  T:     0.47 s  found:       0
2960.29/741.98	c  N dy   403   2336243      8177     22482     21025    120396    153763   5196491    101.40     15.77  --
3533.10/885.32	c  N dy   405   2711186      8177     22482     21099    139365    153765   8820151    196.09     16.26  --
3533.92/885.60	c  S st   405   2711186      8177     22482     21099    139365    153765   8820151    196.09     16.26  --
3535.90/886.05	c  S st   405   2711691      8177     22482     21336    139931    153765   8836300    196.09     16.26  --
3535.90/886.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3535.90/886.07	c Cache  BProp: 15 Set: 0 BXProp: 0 T: 0.01
3561.07/892.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     62 BRemL:    179 BRemN:      1 CBin:       0 P: 60.0M T: 24.91
3561.07/892.34	c Calc non-exist non-lernt bins v-fix:     0 done:   8177 time:  0.10 s
3561.07/892.34	c Cache  BProp: 15 Set: 0 BXProp: 0 T: 0.01
3563.87/893.00	c Subs w/ non-existent bins:      3 time:  2.64 s
3564.27/893.19	c bin-w-bin subsume rem            6 bins  time:  0.02 s
3570.65/894.79	c subs with bin:       53  lits-rem:        51  v-fix:    0  time:  6.38 s
3571.05/894.80	c Removed useless bin:       0  fixed:     0  bprops:   0.24M  time:  0.03 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-3289378-1304128582/watcher-3289378-1304128582 -o /tmp/evaluation-result-3289378-1304128582/solver-3289378-1304128582 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3289378-1304128582.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.74 7.99 8.00 5/180 23187
/proc/meminfo: memFree=29093064/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=24216 CPUtime=0 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 1344 0 0 0 0 0 0 0 25 0 1 0 524460529 24797184 1283 33554432000 4194304 4797429 140734614974224 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23187/statm: 6054 1284 341 148 0 983 0

[startup+0.102113 s]
/proc/loadavg: 7.74 7.99 8.00 5/180 23187
/proc/meminfo: memFree=29093064/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=105692 CPUtime=0.09 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 24057 0 0 0 7 2 0 0 25 0 1 0 524460529 108228608 17201 33554432000 4194304 4797429 140734614974224 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23187/statm: 26423 17202 342 148 0 21352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 105692

[startup+0.201094 s]
/proc/loadavg: 7.74 7.99 8.00 5/180 23187
/proc/meminfo: memFree=29093064/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=197536 CPUtime=0.19 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 40963 0 0 0 15 4 0 0 25 0 1 0 524460529 202276864 26879 33554432000 4194304 4797429 140734614974224 18446744073709551615 212435677893 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23187/statm: 49384 26881 350 148 0 44313 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 197536

[startup+0.301075 s]
/proc/loadavg: 7.74 7.99 8.00 5/180 23187
/proc/meminfo: memFree=29093064/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=209328 CPUtime=0.29 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 44459 0 0 0 24 5 0 0 25 0 1 0 524460529 214351872 30263 33554432000 4194304 4797429 140734614974224 18446744073709551615 212435677893 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23187/statm: 52332 30264 350 148 0 47261 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 209328

[startup+0.700961 s]
/proc/loadavg: 7.74 7.99 8.00 5/180 23187
/proc/meminfo: memFree=29093064/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=321092 CPUtime=1.47 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 49571 0 0 0 142 5 0 0 25 0 4 0 524460529 328798208 35152 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427366 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 80273 35152 375 148 0 75202 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 321092

[startup+1.50081 s]
/proc/loadavg: 7.74 7.99 8.00 9/184 23191
/proc/meminfo: memFree=28941008/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=733928 CPUtime=4.66 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 54461 0 0 0 460 6 0 0 25 0 4 0 524460529 751542272 38298 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427317 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 183482 38298 384 148 0 178411 0
[pid=23187/tid=23189] ppid=23185 vsize=733928 CPUtime=1.05 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 1223 0 0 0 105 0 0 0 25 0 4 0 524460573 751542272 38298 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427387 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=733928 CPUtime=1.04 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 1079 0 0 0 104 0 0 0 25 0 4 0 524460573 751542272 38298 33554432000 4194304 4797429 140734614974224 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=733928 CPUtime=1.05 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 1388 0 0 0 105 0 0 0 18 0 4 0 524460573 751542272 38298 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427200 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 733928

[startup+3.1005 s]
/proc/loadavg: 7.74 7.99 8.00 9/184 23191
/proc/meminfo: memFree=28934932/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=738452 CPUtime=11.06 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 55417 0 0 0 1099 7 0 0 25 0 4 0 524460529 756174848 39254 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427326 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 184613 39254 384 148 0 179542 0
[pid=23187/tid=23189] ppid=23185 vsize=738452 CPUtime=2.65 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 1490 0 0 0 265 0 0 0 25 0 4 0 524460573 756174848 39254 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=738452 CPUtime=2.64 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 1345 0 0 0 264 0 0 0 25 0 4 0 524460573 756174848 39254 33554432000 4194304 4797429 140734614974224 18446744073709551615 4428520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=738452 CPUtime=2.65 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 1536 0 0 0 265 0 0 0 20 0 4 0 524460573 756174848 39254 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.06
Current children cumulated vsize (KiB) 738452

[startup+6.30089 s]
/proc/loadavg: 7.76 7.99 8.00 9/184 23191
/proc/meminfo: memFree=28935684/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=738452 CPUtime=23.84 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 55438 0 0 0 2377 7 0 0 25 0 4 0 524460529 756174848 39275 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427317 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 184613 39275 384 148 0 179542 0
[pid=23187/tid=23189] ppid=23185 vsize=738452 CPUtime=5.85 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 1497 0 0 0 585 0 0 0 25 0 4 0 524460573 756174848 39275 33554432000 4194304 4797429 140734614974224 18446744073709551615 4240903 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=738452 CPUtime=5.82 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 1351 0 0 0 582 0 0 0 25 0 4 0 524460573 756174848 39275 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=738452 CPUtime=5.85 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 1536 0 0 0 585 0 0 0 25 0 4 0 524460573 756174848 39275 33554432000 4194304 4797429 140734614974224 18446744073709551615 4332833 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.84
Current children cumulated vsize (KiB) 738452

[startup+12.7007 s]
/proc/loadavg: 7.78 7.99 8.00 9/184 23191
/proc/meminfo: memFree=28431248/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1353976 CPUtime=49.37 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 188854 0 0 0 4897 40 0 0 19 0 4 0 524460529 1386471424 171184 33554432000 4194304 4797429 140734614974224 18446744073709551615 4424644 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 338494 171184 420 148 0 333423 0
[pid=23187/tid=23189] ppid=23185 vsize=1353976 CPUtime=12.25 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 45057 0 0 0 1215 10 0 0 19 0 4 0 524460573 1386471424 171184 33554432000 4194304 4797429 140734614974224 18446744073709551615 4377465 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1353976 CPUtime=12.17 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 30848 0 0 0 1211 6 0 0 19 0 4 0 524460573 1386471424 171184 33554432000 4194304 4797429 140734614974224 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1353976 CPUtime=12.24 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 28227 0 0 0 1216 8 0 0 19 0 4 0 524460573 1386471424 171184 33554432000 4194304 4797429 140734614974224 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (KiB) 1353976

[startup+25.5012 s]
/proc/loadavg: 7.90 8.01 8.00 9/184 23192
/proc/meminfo: memFree=28308352/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1532132 CPUtime=100.48 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 219441 0 0 0 9998 50 0 0 25 0 4 0 524460529 1568903168 194572 33554432000 4194304 4797429 140734614974224 18446744073709551615 4428962 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 383033 194572 424 148 0 377962 0
[pid=23187/tid=23189] ppid=23185 vsize=1532132 CPUtime=25.04 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 52751 0 0 0 2492 12 0 0 25 0 4 0 524460573 1568903168 194572 33554432000 4194304 4797429 140734614974224 18446744073709551615 4524363 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1532132 CPUtime=24.89 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 40692 0 0 0 2480 9 0 0 25 0 4 0 524460573 1568903168 194572 33554432000 4194304 4797429 140734614974224 18446744073709551615 4360128 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1532132 CPUtime=25.05 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 35102 0 0 0 2494 11 0 0 25 0 4 0 524460573 1568903168 194572 33554432000 4194304 4797429 140734614974224 18446744073709551615 4642069 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.48
Current children cumulated vsize (KiB) 1532132

[startup+51.1004 s]
/proc/loadavg: 7.93 8.00 8.00 9/184 23192
/proc/meminfo: memFree=28282184/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1566204 CPUtime=202.74 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 233237 0 0 0 20220 54 0 0 25 0 4 0 524460529 1603792896 201280 33554432000 4194304 4797429 140734614974224 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 391551 201280 425 148 0 386480 0
[pid=23187/tid=23189] ppid=23185 vsize=1566204 CPUtime=50.64 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 54284 0 0 0 5051 13 0 0 25 0 4 0 524460573 1603792896 201280 33554432000 4194304 4797429 140734614974224 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1566204 CPUtime=50.35 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 43704 0 0 0 5026 9 0 0 25 0 4 0 524460573 1603792896 201280 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427914 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1566204 CPUtime=50.64 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 37245 0 0 0 5053 11 0 0 25 0 4 0 524460573 1603792896 201280 33554432000 4194304 4797429 140734614974224 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.74
Current children cumulated vsize (KiB) 1566204

[startup+102.301 s]
/proc/loadavg: 7.97 8.00 8.00 9/184 23194
/proc/meminfo: memFree=28258760/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1594244 CPUtime=407.28 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 257076 0 0 0 40668 60 0 0 25 0 4 0 524460529 1632505856 206047 33554432000 4194304 4797429 140734614974224 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 398561 206047 425 148 0 393490 0
[pid=23187/tid=23189] ppid=23185 vsize=1594244 CPUtime=101.85 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 56477 0 0 0 10172 13 0 0 25 0 4 0 524460573 1632505856 206047 33554432000 4194304 4797429 140734614974224 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1594244 CPUtime=101.27 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 46383 0 0 0 10117 10 0 0 25 0 4 0 524460573 1632505856 206047 33554432000 4194304 4797429 140734614974224 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1594244 CPUtime=101.85 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 41275 0 0 0 10173 12 0 0 25 0 4 0 524460573 1632505856 206047 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.28
Current children cumulated vsize (KiB) 1594244

[startup+162.3 s]
/proc/loadavg: 7.99 8.00 8.00 9/184 23195
/proc/meminfo: memFree=28252260/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1603164 CPUtime=646.94 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 282313 0 0 0 64625 69 0 0 25 0 4 0 524460529 1641639936 208560 33554432000 4194304 4797429 140734614974224 18446744073709551615 4426003 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 400791 208560 425 148 0 395720 0
[pid=23187/tid=23189] ppid=23185 vsize=1603164 CPUtime=161.84 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 58805 0 0 0 16170 14 0 0 25 0 4 0 524460573 1641639936 208560 33554432000 4194304 4797429 140734614974224 18446744073709551615 4528213 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1603164 CPUtime=160.94 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 47279 0 0 0 16084 10 0 0 25 0 4 0 524460573 1641639936 208560 33554432000 4194304 4797429 140734614974224 18446744073709551615 4650499 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1603164 CPUtime=161.83 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 43195 0 0 0 16171 12 0 0 25 0 4 0 524460573 1641639936 208560 33554432000 4194304 4797429 140734614974224 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 646.94
Current children cumulated vsize (KiB) 1603164

[startup+222.307 s]
/proc/loadavg: 8.05 8.01 8.00 9/184 23197
/proc/meminfo: memFree=28237460/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1612044 CPUtime=886.63 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 304422 0 0 0 88586 77 0 0 25 0 4 0 524460529 1650733056 210610 33554432000 4194304 4797429 140734614974224 18446744073709551615 4425001 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 403011 210610 425 148 0 397940 0
[pid=23187/tid=23189] ppid=23185 vsize=1612044 CPUtime=221.86 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 60459 0 0 0 22171 15 0 0 25 0 4 0 524460573 1650733056 210610 33554432000 4194304 4797429 140734614974224 18446744073709551615 4404775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1612044 CPUtime=220.62 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 49672 0 0 0 22051 11 0 0 25 0 4 0 524460573 1650733056 210610 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427648 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1612044 CPUtime=221.85 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 45158 0 0 0 22172 13 0 0 25 0 4 0 524460573 1650733056 210610 33554432000 4194304 4797429 140734614974224 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 886.63
Current children cumulated vsize (KiB) 1612044

[startup+282.3 s]

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

[pid=23187] ppid=23185 vsize=1641812 CPUtime=2562.43 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 421838 0 0 0 256117 126 0 0 25 0 4 0 524460529 1681215488 219674 33554432000 4194304 4797429 140734614974224 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 410453 219674 425 148 0 405382 0
[pid=23187/tid=23189] ppid=23185 vsize=1641812 CPUtime=640.9 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 69999 0 0 0 64071 19 0 0 25 0 4 0 524460573 1681215488 219674 33554432000 4194304 4797429 140734614974224 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1641812 CPUtime=638.15 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 59071 0 0 0 63800 15 0 0 25 0 4 0 524460573 1681215488 219674 33554432000 4194304 4797429 140734614974224 18446744073709551615 4531994 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1641812 CPUtime=641.7 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 53557 0 0 0 64154 16 0 0 25 0 4 0 524460573 1681215488 219674 33554432000 4194304 4797429 140734614974224 18446744073709551615 4428762 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2562.43
Current children cumulated vsize (KiB) 1641812

[startup+702.3 s]
/proc/loadavg: 8.07 8.13 8.07 9/184 23688
/proc/meminfo: memFree=28198012/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1644976 CPUtime=2802.11 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 435591 0 0 0 280079 132 0 0 25 0 4 0 524460529 1684455424 221026 33554432000 4194304 4797429 140734614974224 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 411244 221026 425 148 0 406173 0
[pid=23187/tid=23189] ppid=23185 vsize=1644976 CPUtime=700.9 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 70910 0 0 0 70071 19 0 0 25 0 4 0 524460573 1684455424 221026 33554432000 4194304 4797429 140734614974224 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1644976 CPUtime=697.82 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 59687 0 0 0 69767 15 0 0 25 0 4 0 524460573 1684455424 221026 33554432000 4194304 4797429 140734614974224 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1644976 CPUtime=701.7 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 54287 0 0 0 70153 17 0 0 25 0 4 0 524460573 1684455424 221026 33554432000 4194304 4797429 140734614974224 18446744073709551615 4528117 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.11
Current children cumulated vsize (KiB) 1644976

[startup+762.301 s]
/proc/loadavg: 8.14 8.14 8.07 9/184 23689
/proc/meminfo: memFree=28188936/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1645208 CPUtime=3041.8 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 452728 0 0 0 304040 140 0 0 25 0 4 0 524460529 1684692992 222393 33554432000 4194304 4797429 140734614974224 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 411302 222393 425 148 0 406231 0
[pid=23187/tid=23189] ppid=23185 vsize=1645208 CPUtime=760.91 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 72013 0 0 0 76071 20 0 0 25 0 4 0 524460573 1684692992 222393 33554432000 4194304 4797429 140734614974224 18446744073709551615 4520020 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1645208 CPUtime=757.49 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 60899 0 0 0 75733 16 0 0 25 0 4 0 524460573 1684692992 222393 33554432000 4194304 4797429 140734614974224 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1645208 CPUtime=761.7 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 55073 0 0 0 76153 17 0 0 25 0 4 0 524460573 1684692992 222393 33554432000 4194304 4797429 140734614974224 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.8
Current children cumulated vsize (KiB) 1645208

[startup+822.301 s]
/proc/loadavg: 8.12 8.13 8.07 9/184 23691
/proc/meminfo: memFree=28169660/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1646244 CPUtime=3281.45 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 466408 0 0 0 327999 146 0 0 25 0 4 0 524460529 1685753856 224869 33554432000 4194304 4797429 140734614974224 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 411561 224870 425 148 0 406490 0
[pid=23187/tid=23189] ppid=23185 vsize=1646244 CPUtime=820.91 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 72516 0 0 0 82071 20 0 0 25 0 4 0 524460573 1685753856 224870 33554432000 4194304 4797429 140734614974224 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1646244 CPUtime=817.15 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 62034 0 0 0 81699 16 0 0 25 0 4 0 524460573 1685753856 224870 33554432000 4194304 4797429 140734614974224 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1646244 CPUtime=821.7 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 55567 0 0 0 82152 18 0 0 25 0 4 0 524460573 1685753856 224870 33554432000 4194304 4797429 140734614974224 18446744073709551615 4650650 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.45
Current children cumulated vsize (KiB) 1646244

[startup+882.306 s]
/proc/loadavg: 8.04 8.10 8.07 9/184 23692
/proc/meminfo: memFree=28147180/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1648608 CPUtime=3521.15 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 485584 0 0 0 351961 154 0 0 25 0 4 0 524460529 1688174592 229848 33554432000 4194304 4797429 140734614974224 18446744073709551615 4389468 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 412152 229848 425 148 0 407081 0
[pid=23187/tid=23189] ppid=23185 vsize=1648608 CPUtime=880.92 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 74022 0 0 0 88071 21 0 0 25 0 4 0 524460573 1688174592 229848 33554432000 4194304 4797429 140734614974224 18446744073709551615 4242459 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1648608 CPUtime=876.83 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 63204 0 0 0 87666 17 0 0 21 0 4 0 524460573 1688174592 229848 33554432000 4194304 4797429 140734614974224 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1648608 CPUtime=881.7 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 56186 0 0 0 88152 18 0 0 25 0 4 0 524460573 1688174592 229848 33554432000 4194304 4797429 140734614974224 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3521.15
Current children cumulated vsize (KiB) 1648608

[startup+942.301 s]
/proc/loadavg: 8.01 8.08 8.06 9/184 23694
/proc/meminfo: memFree=28113160/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1687420 CPUtime=3760.8 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 497295 0 0 0 375924 156 0 0 25 0 4 0 524460529 1727918080 240158 33554432000 4194304 4797429 140734614974224 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 421855 240158 428 148 0 416784 0
[pid=23187/tid=23189] ppid=23185 vsize=1687420 CPUtime=940.92 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 74496 0 0 0 94071 21 0 0 25 0 4 0 524460573 1727918080 240158 33554432000 4194304 4797429 140734614974224 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1687420 CPUtime=936.49 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 64214 0 0 0 93632 17 0 0 25 0 4 0 524460573 1727918080 240158 33554432000 4194304 4797429 140734614974224 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1687420 CPUtime=941.7 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 57288 0 0 0 94151 19 0 0 25 0 4 0 524460573 1727918080 240158 33554432000 4194304 4797429 140734614974224 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.8
Current children cumulated vsize (KiB) 1687420

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 8.06 9/184 23696
/proc/meminfo: memFree=28104928/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1687968 CPUtime=4000.48 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 499740 0 0 0 399890 158 0 0 25 0 4 0 524460529 1728479232 239876 33554432000 4194304 4797429 140734614974224 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 421992 239876 428 148 0 416921 0
[pid=23187/tid=23189] ppid=23185 vsize=1687968 CPUtime=1000.91 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 75397 0 0 0 100070 21 0 0 25 0 4 0 524460573 1728479232 239876 33554432000 4194304 4797429 140734614974224 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1687968 CPUtime=996.16 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 65289 0 0 0 99598 18 0 0 25 0 4 0 524460573 1728479232 239876 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1687968 CPUtime=1001.7 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 57757 0 0 0 100151 19 0 0 25 0 4 0 524460573 1728479232 239876 33554432000 4194304 4797429 140734614974224 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4000.48
Current children cumulated vsize (KiB) 1687968

[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 8.06 9/184 23697
/proc/meminfo: memFree=28106260/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1688540 CPUtime=4240.16 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 501859 0 0 0 423857 159 0 0 25 0 4 0 524460529 1729064960 240580 33554432000 4194304 4797429 140734614974224 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 422135 240580 428 148 0 417064 0
[pid=23187/tid=23189] ppid=23185 vsize=1688540 CPUtime=1060.92 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 75896 0 0 0 106070 22 0 0 25 0 4 0 524460573 1729064960 240580 33554432000 4194304 4797429 140734614974224 18446744073709551615 4642182 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1688540 CPUtime=1055.83 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 65818 0 0 0 105565 18 0 0 25 0 4 0 524460573 1729064960 240580 33554432000 4194304 4797429 140734614974224 18446744073709551615 4520016 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1688540 CPUtime=1061.71 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 58848 0 0 0 106151 20 0 0 25 0 4 0 524460573 1729064960 240580 33554432000 4194304 4797429 140734614974224 18446744073709551615 4242099 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4240.16
Current children cumulated vsize (KiB) 1688540

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 8.07 9/184 23699
/proc/meminfo: memFree=28112548/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1688864 CPUtime=4479.82 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 504203 0 0 0 447822 160 0 0 25 0 4 0 524460529 1729396736 240034 33554432000 4194304 4797429 140734614974224 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 422216 240034 428 148 0 417145 0
[pid=23187/tid=23189] ppid=23185 vsize=1688864 CPUtime=1120.92 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 76831 0 0 0 112070 22 0 0 25 0 4 0 524460573 1729396736 240034 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1688864 CPUtime=1115.5 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 66750 0 0 0 111531 19 0 0 25 0 4 0 524460573 1729396736 240034 33554432000 4194304 4797429 140734614974224 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1688864 CPUtime=1121.7 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 59325 0 0 0 112150 20 0 0 25 0 4 0 524460573 1729396736 240034 33554432000 4194304 4797429 140734614974224 18446744073709551615 4427347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4479.82
Current children cumulated vsize (KiB) 1688864

[startup+1182.3 s]
/proc/loadavg: 8.02 8.05 8.05 9/184 23731
/proc/meminfo: memFree=29592192/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1688904 CPUtime=4719.5 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 506157 0 0 0 471788 162 0 0 25 0 4 0 524460529 1729437696 240523 33554432000 4194304 4797429 140734614974224 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 422226 240523 428 148 0 417155 0
[pid=23187/tid=23189] ppid=23185 vsize=1688904 CPUtime=1180.92 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 77317 0 0 0 118069 23 0 0 25 0 4 0 524460573 1729437696 240523 33554432000 4194304 4797429 140734614974224 18446744073709551615 4429762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1688904 CPUtime=1175.18 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 67293 0 0 0 117499 19 0 0 25 0 4 0 524460573 1729437696 240523 33554432000 4194304 4797429 140734614974224 18446744073709551615 4524363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1688904 CPUtime=1181.7 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 60250 0 0 0 118149 21 0 0 25 0 4 0 524460573 1729437696 240523 33554432000 4194304 4797429 140734614974224 18446744073709551615 4346421 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4719.5
Current children cumulated vsize (KiB) 1688904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.01 8.04 8.05 9/184 23732
/proc/meminfo: memFree=29584996/32951124 swapFree=67111416/67111528
[pid=23187] ppid=23185 vsize=1688904 CPUtime=4800.2 cores=0,2,4,6
/proc/23187/stat : 23187 (techdemo) R 23185 23187 23020 0 -1 4202496 506678 0 0 0 479858 162 0 0 25 0 4 0 524460529 1729437696 241026 33554432000 4194304 4797429 140734614974224 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23187/statm: 422226 241026 428 148 0 417155 0
[pid=23187/tid=23189] ppid=23185 vsize=1688904 CPUtime=1201.13 cores=0,2,4,6
/proc/23187/task/23189/stat : 23189 (techdemo) R 23185 23187 23020 0 -1 4202560 77473 0 0 0 120090 23 0 0 25 0 4 0 524460573 1729437696 241026 33554432000 4194304 4797429 140734614974224 18446744073709551615 4519888 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23187/tid=23190] ppid=23185 vsize=1688904 CPUtime=1195.26 cores=0,2,4,6
/proc/23187/task/23190/stat : 23190 (techdemo) R 23185 23187 23020 0 -1 4202560 67485 0 0 0 119507 19 0 0 25 0 4 0 524460573 1729437696 241026 33554432000 4194304 4797429 140734614974224 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23187/tid=23191] ppid=23185 vsize=1688904 CPUtime=1201.91 cores=0,2,4,6
/proc/23187/task/23191/stat : 23191 (techdemo) R 23185 23187 23020 0 -1 4202560 60423 0 0 0 120170 21 0 0 25 0 4 0 524460573 1729437696 241026 33554432000 4194304 4797429 140734614974224 18446744073709551615 4642210 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1688904

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): 1202.56
CPU time (s): 4800.28
CPU user time (s): 4798.6
CPU system time (s): 1.67574
CPU usage (%): 399.172
Max. virtual memory (cumulated for all children) (KiB): 1751680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.6
system time used= 1.67575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506678
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= 11167
involuntary context switches= 23669

runsolver used 2.04369 second user time and 4.52831 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 03:56:22
IDJOB=3289378
IDBENCH=83121
IDSOLVER=1584
FILE ID=node102/3289378-1304128582
RUNJOBID= node102-1304127309-23038
PBS_JOBID= 13170771
Free space on /tmp= 71548 MiB

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

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

MD5SUM BENCH= 1d36146d5d79c91e0605a19242395228
RANDOM SEED=2103634176

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:      29093344 kB
Buffers:        609516 kB
Cached:        1292616 kB
SwapCached:          0 kB
Active:        1647412 kB
Inactive:      1792480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29093344 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           11872 kB
Writeback:           0 kB
AnonPages:     1537248 kB
Mapped:          15740 kB
Slab:           351988 kB
PageTables:       7824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2328976 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= 72452 MiB
End job on node102 at 2011-04-30 04:16:26