Trace number 3262813

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.62

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
MD5SUMb5a637600c242725f15a247a84bdea1b
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 variables810
Number of clauses68270
Sum of the clauses size137296
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 268243
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 527

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-3262813-1304136257.cnf'
0.00/0.00	c -- header says num vars:            810
0.00/0.00	c -- header says num clauses:       68270
0.03/0.06	c -- clauses added:            0 learnts,        68270 normals,            0 xors
0.03/0.06	c -- vars added        810
0.03/0.06	c Parsing time:  0.06 s
0.03/0.06	c  N st     0         0       810        27     68243         0    137296         0   no data   no data  --
0.03/0.06	c asymm  cl-useful: 0/27/27 lits-rem:0 time: 0.00
0.30/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.4M T:  0.10
0.30/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:    810 time:  0.03 s
0.30/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.30/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.30/0.12	c bin-w-bin subsume rem            0 bins  time:  0.05 s
0.30/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.30/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.28M  time:  0.02 s
0.30/0.14	c lits-rem:       507  cl-subs:        0  v-elim:    513  v-fix:    0  time:  0.08 s
0.30/0.14	c learnt bin added due to v-elim: 0
0.30/0.14	c Finding binary XORs  T:     0.01 s  found:       0
0.30/0.14	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.30/0.14	c calculated reachability. Time: 0.00
0.30/0.15	c Calc default polars -  time:   0.00 s pos:     385 undec:      27 neg:     398
0.30/0.15	c =========================================================================================
0.30/0.15	c types(t): F = full restart, N = normal restart
0.30/0.15	c types(t): S = simplification begin/end, E = solution found
0.30/0.15	c restart types(rt): st = static, dy = dynamic
0.30/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.30/0.15	c  B st     0         0       783      1365     66095         0    182461         0   no data   no data  --
1.39/0.46	c Decided on static restart strategy
3.39/0.93	c  N dy    20      4071       783      1365     66095      3868    182461    431119    115.28     26.73  --
6.99/1.84	c  N dy    50      8204       783      1365     66097      5478    182461    452279    100.61     21.69  --
10.98/2.86	c  N dy    79     12321       783      1365     66098      5347    182461    323080     54.52     20.01  --
14.98/3.80	c  N dy   108     16428       783      1365     66098      9283    182461    731181     99.08     20.99  --
18.97/4.81	c  N dy   137     20566       783      1365     66098      7858    182461    602291    115.50     21.19  --
24.97/6.37	c  N dy   165     24629       783      1365     66098     11736    182461   1030162    118.42     21.63  --
30.18/7.69	c  N dy   194     28755       783      1365     66098      9168    182461    692419    116.21     21.60  --
32.55/8.22	c  S st   203     30000       783      1365     66098     10372    182461    823017    112.69     21.63  --
32.95/8.36	c  S st   203     30502       783      1365     66098     10872    182461    859730    112.69     21.63  --
32.95/8.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
32.95/8.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
44.94/11.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 28.6M T: 11.99
44.94/11.38	c Calc non-exist non-lernt bins v-fix:     0 done:    783 time:  0.04 s
44.94/11.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
44.94/11.39	c Subs w/ non-existent bins:      0 time:  0.04 s
45.34/11.42	c bin-w-bin subsume rem            0 bins  time:  0.05 s
51.33/12.98	c subs with bin:        0  lits-rem:       867  v-fix:    0  time:  6.23 s
51.33/12.98	c Removed useless bin:       0  fixed:     0  bprops:   0.27M  time:  0.03 s
65.33/16.50	c lits-rem:      3924  cl-subs:     1387  v-elim:    783  v-fix:    0  time: 14.03 s
65.33/16.50	c learnt bin added due to v-elim: 0
65.33/16.50	c vivif2 --  cl tried     1365 cl shrink      869 lits rem       6295 time: 0.01
65.73/16.51	c vivif2 --  cl tried     9485 cl shrink       14 lits rem         14 time: 0.04
67.30/16.94	c asymm  cl-useful: 0/412/1365 lits-rem:0 time: 1.71
67.30/16.94	c calculated reachability. Time: 0.00
67.30/16.94	c  N dy   203     30502       783      1365     66099      9485    174347    729621    112.69     21.63  --
67.30/16.94	c  F st   203     30502       783      1365     66099      9485    174347    729621    112.69     21.63  --
69.72/17.58	c Decided on static restart strategy
73.30/18.43	c  N dy   223     34587       783      1365     66099     13402    174347   1215115    118.36     21.66  --
78.10/19.70	c  N dy   251     38630       783      1365     66103      9692    174347    649045     40.38     21.20  --
81.69/20.59	c  N dy   279     42740       783      1365     66103     13516    174347    821522     79.58     20.22  --
86.08/21.61	c  S st   300     45755       783      1365     66103     16409    174347   1147323    124.58     20.07  --
86.48/21.76	c  S st   300     46259       783      1365     66103     16913    174347   1192244    124.58     20.07  --
86.48/21.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
86.48/21.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.66/26.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 47.9M T: 17.08
103.66/26.05	c Calc non-exist non-lernt bins v-fix:     0 done:    783 time:  0.04 s
103.66/26.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.66/26.07	c Subs w/ non-existent bins:      0 time:  0.06 s
104.06/26.10	c bin-w-bin subsume rem            0 bins  time:  0.05 s
110.44/27.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.41 s
110.44/27.72	c Removed useless bin:       0  fixed:     0  bprops:   0.26M  time:  0.03 s
118.84/29.81	c lits-rem:      1399  cl-subs:     2466  v-elim:    783  v-fix:    0  time:  8.36 s
118.84/29.81	c learnt bin added due to v-elim: 0
118.84/29.81	c vivif2 --  cl tried     1365 cl shrink        1 lits rem          1 time: 0.00
118.84/29.82	c vivif2 --  cl tried    14447 cl shrink        2 lits rem          3 time: 0.06
120.44/30.21	c asymm  cl-useful: 0/159/1365 lits-rem:0 time: 1.54
120.44/30.21	c calculated reachability. Time: 0.00
120.44/30.21	c  N dy   300     46259       783      1365     66103     14447    174346   1034596    124.58     20.07  --
126.03/31.67	c  N dy   328     50374       783      1365     66104      9935    174346    629985    105.69     20.06  --
132.42/33.21	c  N dy   356     54442       783      1365     66104     13798    174346   1059223    104.00     20.17  --
140.03/35.15	c  N dy   384     58525       783      1365     66104     17722    174346   1486557    119.60     20.28  --
145.21/36.47	c  N dy   412     62533       783      1365     66104     12057    174346    787916    104.94     20.18  --
152.00/38.10	c  N dy   439     66536       783      1365     66104     15884    174346   1222249    133.83     20.44  --
158.01/39.64	c  S st   459     69388       783      1365     66104     18614    174346   1500060    117.90     20.42  --
158.79/39.86	c  S st   459     69889       783      1365     66104     19115    174346   1534077    117.90     20.42  --
158.79/39.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
158.79/39.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.96/45.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 23.26
182.36/45.70	c Calc non-exist non-lernt bins v-fix:     0 done:    783 time:  0.03 s
182.36/45.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.36/45.72	c Subs w/ non-existent bins:      0 time:  0.07 s
182.36/45.76	c bin-w-bin subsume rem            0 bins  time:  0.05 s
188.78/47.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.45 s
188.78/47.38	c Removed useless bin:       0  fixed:     0  bprops:   0.26M  time:  0.03 s
202.33/50.75	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
226.30/56.72	c Added 8 vars  tried: 80000 time: 23.88
226.70/56.89	c ORs :      8 avg-s:  0.0 cl-sh: 22650 l-rem:  22650 b-add:     16 v-rep:   0 cl-rem: 0 avg s: nan T:   24.55
227.10/56.91	c lits-rem:      1620  cl-subs:     1668  v-elim:    783  v-fix:    0  time: 38.07 s
227.10/56.91	c learnt bin added due to v-elim: 0
227.10/56.91	c vivif2 --  cl tried     1373 cl shrink        1 lits rem          1 time: 0.00
227.10/56.93	c vivif2 --  cl tried    17447 cl shrink        1 lits rem          1 time: 0.07
228.69/57.37	c asymm  cl-useful: 0/369/1373 lits-rem:0 time: 1.75
228.69/57.37	c calculated reachability. Time: 0.00
228.69/57.37	c  N dy   459     69889       791      1373     66120     17447    174134   1334178    117.90     20.42  --
228.69/57.37	c  F st   459     69889       791      1373     66120     17447    174134   1334178    117.90     20.42  --
232.31/58.29	c Decided on static restart strategy
237.48/59.50	c  N dy   482     74451       791      1373     66121     11367    174134    693966     98.26     20.45  --
241.88/60.68	c  N dy   516     79322       791      1373     66126     16009    174134   1046063     59.34     20.16  --
249.08/62.45	c  N dy   552     84498       791      1373     66126     20967    174134   1520764     67.12     20.16  --
255.47/64.07	c  N dy   590     90026       791      1373     66126     14794    174134    912042    105.80     20.00  --
264.26/66.22	c  N dy   630     95790       791      1373     66133     20251    174134   1368552    110.55     19.91  --
277.83/69.65	c  N dy   673    102009       791      1373     66133     13823    174134    825788     93.92     19.91  --
281.43/70.59	c  S st   692    104834       791      1373     66133     16484    174134   1066146     79.47     19.82  --
282.23/70.72	c  S st   692    105340       791      1373     66133     16984    174134   1097392     79.47     19.82  --
282.23/70.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
282.23/70.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
300.61/75.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1004 BRemL:     16 BRemN:      0 CBin:       0 P: 60.0M T: 18.50
300.61/75.37	c Calc non-exist non-lernt bins v-fix:     0 done:    791 time:  0.03 s
300.61/75.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
300.61/75.38	c Subs w/ non-existent bins:      0 time:  0.06 s
301.01/75.41	c bin-w-bin subsume rem            0 bins  time:  0.05 s
307.43/77.03	c subs with bin:        0  lits-rem:       243  v-fix:    0  time:  6.46 s
307.43/77.04	c Removed useless bin:       0  fixed:     0  bprops:   0.16M  time:  0.02 s
315.81/79.12	c ORs :     15 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.08
315.81/79.13	c lits-rem:       888  cl-subs:     2068  v-elim:   1160  v-fix:    0  time:  8.38 s
315.81/79.13	c learnt bin added due to v-elim: 0
315.81/79.13	c vivif2 --  cl tried     1880 cl shrink      268 lits rem        269 time: 0.00
315.81/79.16	c vivif2 --  cl tried    14916 cl shrink     1213 lits rem       1813 time: 0.10
317.39/79.53	c asymm  cl-useful: 0/352/1614 lits-rem:0 time: 1.47
317.39/79.53	c calculated reachability. Time: 0.00
317.39/79.53	c  N dy   692    105340       788      1614     66869     14916    174351    928219     79.47     19.82  --
325.38/81.57	c  N dy   739    112170       788      1614     66871     21379    174351   1330163     52.33     19.57  --
338.56/84.88	c  N dy   789    119410       788      1614     66871     15033    174351    801944     92.01     19.69  --
350.55/87.86	c  N dy   841    127063       788      1614     66871     22324    174351   1373242     70.03     19.64  --
367.32/92.09	c  N dy   897    135265       788      1614     66871     15891    174351    807048     77.49     19.68  --
378.91/94.90	c  N dy   955    143896       788      1614     66871     24024    174351   1347442     55.42     19.44  --
392.89/98.46	c  N dy  1018    153176       788      1614     66871     17655    174351    914900     78.02     19.33  --
399.30/100.05	c  S st  1051    158010       788      1614     66871     22237    174351   1244381     73.53     19.24  --
400.08/100.20	c  S st  1051    158514       788      1614     66871     22740    174351   1279935     73.53     19.24  --
400.08/100.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
400.08/100.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
417.66/104.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      0 BRemN:    268 CBin:       0 P: 60.0M T: 17.74
417.66/104.65	c Calc non-exist non-lernt bins v-fix:     0 done:    788 time:  0.04 s
417.66/104.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
417.66/104.67	c Subs w/ non-existent bins:      0 time:  0.09 s
418.06/104.71	c bin-w-bin subsume rem          264 bins  time:  0.04 s
424.45/106.37	c subs with bin:       19  lits-rem:         0  v-fix:    0  time:  6.65 s
424.45/106.37	c Removed useless bin:       0  fixed:     0  bprops:   0.18M  time:  0.02 s
433.24/108.50	c ORs :     15 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.09
433.24/108.52	c lits-rem:      1406  cl-subs:     2028  v-elim:    779  v-fix:    0  time:  8.57 s
433.24/108.52	c learnt bin added due to v-elim: 0
433.24/108.52	c vivif2 --  cl tried     1614 cl shrink        1 lits rem          2 time: 0.00
433.24/108.54	c vivif2 --  cl tried    20693 cl shrink       36 lits rem         36 time: 0.08
434.86/108.93	c asymm  cl-useful: 0/410/1614 lits-rem:0 time: 1.56
434.86/108.93	c calculated reachability. Time: 0.00
434.86/108.93	c  N dy  1051    158514       788      1614     66340     20693    173813   1163564     73.53     19.24  --
455.20/114.03	c  N dy  1120    168766       823      1614     70076     32647    176143   1915202     75.48     19.25  --
473.59/118.61	c  N dy  1194    179605       823      1614     70076     25785    176143   1427236     68.76     19.27  --
493.95/123.79	c  N dy  1272    191073       823      1614     70076     18996    176143    821062     76.88     19.12  --
515.92/129.27	c  N dy  1355    203413       823      1614     70077     30701    176143   1690571     76.80     19.10  --
539.10/135.02	c  N dy  1443    216405       823      1614     70081     24698    176143   1208756     83.31     18.97  --
567.46/142.14	c  N dy  1537    230309       823      1614     70082     37799    176143   2146670     71.10     18.89  --
576.64/144.42	c  S st  1589    237771       823      1614     71267     26718    177087   1171343     66.15     18.82  --
577.04/144.55	c  S st  1589    238272       823      1614     71267     27219    177087   1208965     66.15     18.82  --
577.04/144.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
577.04/144.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
594.22/148.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:     19 BRemL:    193 BRemN:    236 CBin:       0 P: 60.0M T: 17.04
594.22/148.83	c Calc non-exist non-lernt bins v-fix:     0 done:    823 time:  0.04 s
594.22/148.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
594.22/148.86	c Subs w/ non-existent bins:   1581 time:  0.11 s
594.22/148.87	c Replacing        2 vars Replaced       28 lits Time:     0.02 s 
594.62/148.90	c bin-w-bin subsume rem         1442 bins  time:  0.05 s
600.62/150.49	c subs with bin:       31  lits-rem:        36  v-fix:    0  time:  6.37 s
600.62/150.49	c Removed useless bin:     505  fixed:     0  bprops:   0.12M  time:  0.02 s
607.81/152.22	c ORs :     15 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.09
607.81/152.23	c lits-rem:       682  cl-subs:     1915  v-elim:    779  v-fix:    0  time:  6.94 s
607.81/152.23	c learnt bin added due to v-elim: 0
607.81/152.23	c vivif2 --  cl tried     1614 cl shrink        1 lits rem          1 time: 0.00
607.81/152.26	c vivif2 --  cl tried    23691 cl shrink      341 lits rem        342 time: 0.10
609.01/152.59	c asymm  cl-useful: 0/165/1614 lits-rem:0 time: 1.31
609.01/152.59	c calculated reachability. Time: 0.00
609.01/152.59	c  N dy  1589    238272       821      1614     68927     23670    175596   1103031     66.15     18.82  --
637.77/159.72	c  N dy  1690    253503       821      1614     68929     37881    175596   1965042     65.83     18.75  --
658.15/164.86	c  N dy  1801    269782       821      1614     68930     33804    175596   1432041     39.96     18.45  --
681.72/170.78	c  N dy  1920    287051       821      1614     68930     29536    175596   1377394     81.63     18.36  --
714.48/178.96	c  N dy  2046    305461       857      1614     71971     26080    177016   1104928     85.19     18.28  --
758.42/189.93	c  N dy  2179    325080       857      1614     71971     44637    177016   2361756     65.38     18.28  --
797.17/199.69	c  N dy  2314    345089       857      1614     71971     40485    177016   2096579     75.29     18.32  --
820.75/205.53	c  S st  2397    357410       857      1614     71976     28366    177016   1173892     83.23     18.21  --
821.17/205.68	c  S st  2397    357911       857      1614     71976     28866    177016   1213758     83.23     18.21  --
821.17/205.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
821.17/205.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
838.33/209.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:    732 BRemL:    181 BRemN:   2332 CBin:       0 P: 60.0M T: 17.14
838.33/209.98	c Calc non-exist non-lernt bins v-fix:     0 done:    857 time:  0.04 s
838.33/209.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
838.74/210.01	c Subs w/ non-existent bins:    634 time:  0.12 s
838.74/210.03	c Replacing        3 vars Replaced     2693 lits Time:     0.07 s 
838.74/210.06	c bin-w-bin subsume rem          607 bins  time:  0.05 s
845.52/211.70	c subs with bin:        4  lits-rem:         4  v-fix:    0  time:  6.57 s
845.52/211.71	c Removed useless bin:      97  fixed:     0  bprops:   0.09M  time:  0.01 s
851.93/213.37	c ORs :     15 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.09
851.93/213.38	c lits-rem:       684  cl-subs:     2137  v-elim:    779  v-fix:    0  time:  6.69 s
851.93/213.38	c learnt bin added due to v-elim: 0
851.93/213.39	c vivif2 --  cl tried     1614 cl shrink        3 lits rem          3 time: 0.00
852.33/213.41	c vivif2 --  cl tried    26090 cl shrink      139 lits rem        143 time: 0.10
853.51/213.70	c asymm  cl-useful: 0/391/1614 lits-rem:0 time: 1.18
853.51/213.71	c calculated reachability. Time: 0.00
853.51/213.71	c  N dy  2397    357911       854      1614     69506     26071    172139   1130052     83.23     18.21  --
896.27/224.48	c  N dy  2533    378023       854      1614     69536     45947    172187   2500785     55.66     18.26  --
928.21/232.48	c  N dy  2668    398171       854      1614     69539     40135    172187   1681811     37.37     18.05  --
956.98/239.68	c  N dy  2803    418217       890      1614     72621     35654    174125   1422320     69.14     17.96  --
996.12/249.47	c  N dy  2937    438301       890      1614     72628     54460    174125   2533257     39.12     17.86  --
1019.32/255.29	c  N dy  3073    458358       890      1614     72633     45848    174125   1824753     73.84     17.75  --
1054.07/263.95	c  N dy  3209    478386       890      1614     72634     36998    174125   1324503     54.41     17.73  --
1092.00/273.41	c Finding binary XORs  T:     0.01 s  found:       3
1100.79/275.62	c  N dy  3344    498524       890      1614     73544     56571    174703   2563321     46.96     17.72  --
1121.96/280.99	c  N dy  3481    518555       890      1614     73544     46686    174703   1561591     60.98     17.60  --
1149.92/287.99	c  S st  3606    536866       890      1614     73547     34444    174703   1067687     60.49     17.60  --
1150.74/288.11	c  S st  3606    537369       890      1614     73547     34946    174703   1102631     60.49     17.60  --
1150.74/288.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1150.74/288.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1166.30/292.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      8 BRemL:    325 BRemN:   1197 CBin:       0 P: 60.0M T: 15.75
1166.30/292.07	c Calc non-exist non-lernt bins v-fix:     0 done:    890 time:  0.04 s
1166.30/292.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1166.70/292.11	c Subs w/ non-existent bins:   1234 time:  0.17 s
1166.70/292.12	c Replacing        4 vars Replaced      469 lits Time:     0.02 s 
1166.70/292.15	c bin-w-bin subsume rem         1083 bins  time:  0.05 s
1173.11/293.74	c subs with bin:      124  lits-rem:        59  v-fix:    0  time:  6.36 s
1173.11/293.75	c Removed useless bin:      75  fixed:     0  bprops:   0.09M  time:  0.01 s
1179.89/295.47	c ORs :     15 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    0.08
1187.08/297.29	c Added 9 vars  tried: 80000 time: 7.28
1187.48/297.33	c ORs :      9 avg-s:  0.0 cl-sh:  9096 l-rem:   9096 b-add:     18 v-rep:   0 cl-rem: 17 avg s: 3.0 T:    7.43
1187.48/297.34	c lits-rem:       713  cl-subs:     3284  v-elim:    779  v-fix:    0  time: 14.37 s
1187.48/297.34	c learnt bin added due to v-elim: 0
1187.48/297.34	c vivif2 --  cl tried     1622 cl shrink        9 lits rem         12 time: 0.00
1187.48/297.38	c vivif2 --  cl tried    30283 cl shrink     1005 lits rem       1100 time: 0.13
1188.68/297.66	c asymm  cl-useful: 0/380/1622 lits-rem:0 time: 1.13
1188.68/297.66	c calculated reachability. Time: 0.00
1188.68/297.66	c  N dy  3606    537369       895      1622     71224     29963    171869   1000544     60.49     17.60  --
1188.68/297.66	c  F st  3606    537369       895      1622     71224     29963    171869   1000544     60.49     17.60  --
1190.70/298.14	c Decided on static restart strategy
1225.44/306.83	c  N dy  3730    557448       895      1622     71304     48714    171869   2771217     72.76     17.88  --
1270.18/318.07	c  N dy  3864    577572       895      1622     71310     38308    171869   1905713    110.12     18.44  --
1316.52/329.66	c  N dy  3997    597699       895      1622     71324     57501    171869   4372622     64.64     19.04  --
1348.91/337.71	c  N dy  4130    617719       895      1622     71330     45799    171869   2418957    104.96     19.21  --
1400.82/350.79	c  N dy  4262    637721       933      1622     74506     33447    172911   1034226     89.06     19.45  --
1435.17/359.37	c  N dy  4394    657739       933      1622     74506     52774    172911   2918867     88.08     19.58  --
1475.93/369.58	c  N dy  4524    677753       933      1622     74524     38168    172911   1380102     65.73     19.64  --
1512.68/378.73	c  N dy  4656    697897       933      1622     74524     57385    172911   3308939     88.31     19.87  --
1558.22/390.18	c  N dy  4787    717970       933      1622     75255     42428    173361   1669418     83.35     20.01  --
1596.98/399.84	c  N dy  4918    737985       933      1622     75255     61699    173361   3285957     81.51     20.18  --
1629.75/408.04	c  N dy  5051    758113       973      1622     77581     46247    174483   2035470    120.27     20.29  --
1674.88/419.33	c  N dy  5183    778254       973      1622     77581     65511    174483   3993265     91.79     20.50  --
1719.62/430.56	c  N dy  5315    798378       973      1622     77581     47751    174483   2318683    118.98     20.80  --
1739.20/435.47	c  S st  5366    806054       973      1622     77581     55087    174483   3113211     83.36     20.89  --
1740.40/435.77	c  S st  5366    806555       973      1622     77581     55587    174483   3146903     83.36     20.89  --
1740.40/435.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1740.40/435.77	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
1777.15/444.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    530 BRemL:   1066 BRemN:   1858 CBin:       0 P: 60.0M T: 36.57
1777.15/444.94	c Calc non-exist non-lernt bins v-fix:     0 done:    973 time:  0.05 s
1777.15/444.94	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
1777.55/445.01	c Subs w/ non-existent bins:   1168 time:  0.28 s
1777.55/445.02	c Replacing        6 vars Replaced      407 lits Time:     0.04 s 
1777.55/445.09	c bin-w-bin subsume rem         1255 bins  time:  0.05 s
1785.54/447.05	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  7.82 s
1785.54/447.05	c Removed useless bin:     141  fixed:     0  bprops:   0.08M  time:  0.02 s
1822.28/456.27	c ORs :     34 avg-s:  2.0 cl-sh:    28 l-rem:     28 b-add:      2 v-rep:   0 cl-rem: 13 avg s: 3.0 T:    0.20
1822.68/456.31	c lits-rem:      1250  cl-subs:     7563  v-elim:   1081  v-fix:    0  time: 36.96 s
1822.68/456.31	c learnt bin added due to v-elim: 0
1822.68/456.31	c vivif2 --  cl tried     1988 cl shrink      248 lits rem        248 time: 0.00
1822.68/456.36	c vivif2 --  cl tried    46846 cl shrink      528 lits rem       1152 time: 0.22
1825.08/456.92	c asymm  cl-useful: 0/142/1740 lits-rem:0 time: 2.23
1825.08/456.92	c calculated reachability. Time: 0.00
1825.08/456.92	c  N dy  5366    806555       964      1740     73657     46822    170548   2381913     83.36     20.89  --
1885.40/472.09	c  N dy  5496    826603      1004      1740     75652     66411    171122   4506369    154.68     21.12  --
1931.75/483.66	c  N dy  5628    846700      1004      1740     75657     48248    171122   2164283     99.69     21.22  --
1974.50/494.30	c  N dy  5760    866757      1004      1740     75657     67124    171122   4076534     91.94     21.30  --
2014.44/504.36	c  N dy  5892    886848      1004      1740     76201     48506    171122   2107067    101.79     21.30  --
2060.81/515.93	c  N dy  6022    906979      1004      1740     76201     67696    171122   4040378    112.87     21.36  --
2109.52/528.13	c  N dy  6153    927005      1004      1740     76201     47788    171122   2049239    130.00     21.42  --
2147.88/537.77	c  N dy  6286    947098      1004      1740     76236     66919    171122   3874044     77.90     21.46  --
2203.81/551.77	c  N dy  6417    967119      1004      1740     76236     46058    171122   1703479     83.19     21.55  --
2251.75/563.71	c  N dy  6547    987250      1004      1740     76236     65350    171122   3305341     91.54     21.58  --
2293.72/574.24	c  N dy  6679   1007304      1004      1740     76237     43341    171122   1442667     92.02     21.60  --
2333.64/584.23	c  N dy  6810   1027348      1004      1740     76237     62231    171122   3256588    123.18     21.66  --
2404.36/601.97	c  N dy  6940   1047463      1004      1740     76237     81232    171122   5025638    111.16     21.69  --
2436.71/610.00	c  N dy  7072   1067548      1004      1740     76237     58579    171122   2912777     90.36     21.84  --
2485.86/622.36	c  N dy  7202   1087650      1004      1740     76237     77488    171122   4725667     97.07     21.92  --
2525.41/632.29	c  N dy  7333   1107719      1004      1740     76242     53998    171122   2224448     67.27     21.95  --
2575.35/644.75	c  N dy  7464   1127772      1004      1740     76242     72784    171122   3935490     86.12     22.05  --
2626.08/657.45	c  N dy  7596   1147836      1004      1740     76242     48375    171122   1704044     73.58     22.09  --
2672.42/669.00	c  N dy  7726   1167842      1004      1740     76242     67153    171122   3334003     89.19     22.11  --
2676.42/670.08	c Finding binary XORs  T:     0.01 s  found:       0
2750.35/688.55	c  N dy  7855   1187960      1004      1740     76242     86003    171122   4963507     81.45     22.19  --
2787.49/697.81	c  N dy  7985   1208036      1004      1740     76250     60477    171124   2694442    103.14     22.23  --
2792.68/699.19	c  S st  7997   1209832      1004      1740     76250     62193    171124   2849005     89.79     22.24  --
2793.88/699.42	c  S st  7997   1210333      1004      1740     76250     62692    171124   2880400     89.79     22.24  --
2793.88/699.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2793.88/699.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2821.84/706.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      2 BRemL:    829 BRemN:   2112 CBin:       0 P: 60.0M T: 28.02
2821.84/706.45	c Calc non-exist non-lernt bins v-fix:     0 done:   1004 time:  0.05 s
2821.84/706.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2822.24/706.54	c Subs w/ non-existent bins:    312 time:  0.34 s
2822.63/706.60	c bin-w-bin subsume rem          411 bins  time:  0.04 s
2830.22/708.53	c subs with bin:        2  lits-rem:        10  v-fix:    0  time:  7.70 s
2830.22/708.53	c Removed useless bin:      57  fixed:     0  bprops:   0.08M  time:  0.02 s
2854.20/714.59	c ORs :     34 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    0.18
2875.37/719.84	c Added 11 vars  tried: 80000 time: 20.98
2876.17/720.05	c ORs :     11 avg-s:  0.0 cl-sh: 21737 l-rem:  21737 b-add:     23 v-rep:   0 cl-rem: 7 avg s: 3.0 T:   21.81
2876.17/720.09	c lits-rem:      1286  cl-subs:     5708  v-elim:    773  v-fix:    0  time: 46.17 s
2876.17/720.09	c learnt bin added due to v-elim: 0
2876.17/720.09	c vivif2 --  cl tried     1751 cl shrink        1 lits rem          1 time: 0.00
2876.57/720.15	c vivif2 --  cl tried    56659 cl shrink      519 lits rem       1210 time: 0.26
2878.57/720.62	c asymm  cl-useful: 0/115/1751 lits-rem:0 time: 1.86
2878.57/720.62	c calculated reachability. Time: 0.00
2878.57/720.62	c  N dy  7997   1210333      1015      1751     72910     56616    166657   2431585     89.79     22.24  --
2917.33/730.33	c  N dy  8131   1230439      1015      1751     72911     75711    166657   4445837     84.80     22.37  --
2969.66/743.48	c  N dy  8263   1250516      1015      1751     72911     49875    166657   1952603    123.26     22.51  --
3005.23/752.31	c  N dy  8397   1270568      1015      1751     72911     69240    166657   4100512    109.55     22.59  --
3071.92/769.06	c  N dy  8528   1290673      1026      1751     73859     88419    166703   5882215     95.06     22.67  --
3115.49/779.94	c  N dy  8660   1310680      1026      1751     73859     60952    166703   2777783     73.78     22.77  --
3153.82/789.51	c  N dy  8793   1330747      1026      1751     73859     80252    166703   4601559     90.88     22.84  --
3198.59/800.79	c  N dy  8925   1350792      1026      1751     74329     51965    166789   1846276    108.96     22.92  --
3231.33/808.98	c  N dy  9056   1370895      1026      1751     74329     71275    166789   3494325     77.78     22.90  --
3282.86/821.81	c  N dy  9186   1390937      1026      1751     74329     90444    166789   5087872    134.06     22.96  --
3312.84/829.39	c  N dy  9320   1411058      1053      1751     75768     60995    166903   2602300     89.44     23.05  --
3363.56/842.04	c  N dy  9450   1431077      1053      1751     75768     79831    166903   4292954     80.80     23.16  --
3431.49/859.04	c  N dy  9581   1451206      1053      1751     75812     98744    166903   6110808    136.30     23.29  --
3465.43/867.60	c  N dy  9714   1471345      1053      1751     75812     68406    166903   2886002     85.84     23.35  --
3520.56/881.32	c  N dy  9844   1491373      1053      1751     75813     87405    166903   4150181     87.70     23.38  --
3555.72/890.18	c  N dy  9976   1511427      1053      1751     75850     56014    166919   1946154     81.27     23.45  --
3593.67/899.60	c  N dy 10108   1531510      1092      1751     77146     75109    167085   3447778     58.79     23.54  --
3641.20/911.52	c  N dy 10241   1551599      1092      1751     77146     94319    167085   5180399    103.98     23.63  --
3681.97/921.74	c  N dy 10372   1571757      1092      1751     77146     62258    167085   2469560     67.75     23.71  --
3734.30/934.80	c  N dy 10499   1591869      1092      1751     77257     81476    167089   3788663     62.21     23.76  --
3774.25/944.89	c  N dy 10630   1611957      1092      1751     77258    100234    167089   5299390     86.31     23.82  --
3807.39/953.10	c  N dy 10763   1632087      1092      1751     77259     67059    167089   2832312     96.72     23.91  --
3848.95/963.55	c  N dy 10894   1652226      1092      1751     77276     86372    167095   4333717     57.96     23.92  --
3888.09/973.33	c  N dy 11026   1672379      1092      1751     77276    105845    167095   6226442     86.81     23.94  --
3918.83/981.06	c  N dy 11156   1692489      1092      1751     77276     71507    167095   2854498    102.83     23.97  --
3954.41/989.98	c  S st 11273   1710334      1092      1751     77276     88530    167095   4322849    101.63     24.06  --
3955.59/990.24	c  S st 11273   1710837      1092      1751     77276     89032    167095   4355017    101.63     24.06  --
3955.59/990.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3955.59/990.25	c Cache  BProp: 0 Set: 0 BXProp: 7 T: 0.00
3981.17/996.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:      0 BRemL:   2356 BRemN:    413 CBin:       0 P: 60.1M T: 25.71
3981.54/996.70	c Calc non-exist non-lernt bins v-fix:     0 done:   1092 time:  0.05 s
3981.54/996.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3981.94/996.85	c Subs w/ non-existent bins:     53 time:  0.57 s
3983.54/997.27	c Replacing       12 vars Replaced    57897 lits Time:     1.69 s 
3983.94/997.36	c bin-w-bin subsume rem           89 bins  time:  0.05 s
3991.94/999.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.87 s
3991.94/999.34	c Removed useless bin:      11  fixed:     0  bprops:   0.08M  time:  0.02 s
4044.67/1012.58	c ORs :     65 avg-s:  2.0 cl-sh:    49 l-rem:     49 b-add:     45 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.41
4075.02/1020.11	c Added 11 vars  tried: 80000 time: 30.08
4077.44/1020.75	c ORs :     11 avg-s:  0.0 cl-sh: 46622 l-rem:  46622 b-add:     22 v-rep:   0 cl-rem: 22 avg s: 3.0 T:   32.60
4077.85/1020.80	c lits-rem:       440  cl-subs:    12521  v-elim:    891  v-fix:    0  time: 85.74 s
4077.85/1020.80	c learnt bin added due to v-elim: 0
4077.85/1020.80	c vivif2 --  cl tried     1898 cl shrink       67 lits rem         67 time: 0.01
4078.22/1020.90	c vivif2 --  cl tried    76390 cl shrink     1305 lits rem       2598 time: 0.39
4079.42/1021.24	c asymm  cl-useful: 0/157/1831 lits-rem:0 time: 1.33
4079.42/1021.24	c calculated reachability. Time: 0.00
4079.42/1021.24	c  N dy 11273   1710837      1090      1831     74353     76388    165939   3350216    101.63     24.06  --
4121.79/1031.81	c  N dy 11404   1730947      1090      1831     74384     95708    165939   5136501     84.35     24.02  --
4160.93/1041.67	c  N dy 11535   1751022      1090      1831     74385     60595    165939   2065859     73.89     23.99  --
4216.04/1055.40	c  N dy 11666   1771117      1090      1831     74398     79494    165939   3485305     64.42     23.98  --
4277.96/1070.90	c  N dy 11799   1791220      1090      1831     75044     98593    165939   4998214     99.57     23.97  --
4349.89/1088.94	c  N dy 11929   1811304      1090      1831     75044     62534    165939   2141166     63.64     23.94  --
4391.02/1099.21	c  N dy 12060   1831408      1127      1831     76578     82006    166163   3578377     66.53     23.92  --
4456.94/1115.75	c  N dy 12190   1851532      1127      1831     76578    101013    166163   4933693     61.23     23.91  --
4532.83/1134.76	c  N dy 12318   1871581      1127      1831     76708     63840    166171   2157500     61.26     23.90  --
4575.58/1145.48	c  N dy 12449   1891628      1151      1831     77552     82969    166273   3458576     77.68     23.88  --
4654.27/1165.17	c  N dy 12576   1911760      1151      1831     77552    101777    166273   4525697     53.80     23.86  --
4734.17/1185.12	c  N dy 12704   1931873      1151      1831     77721     64021    166273   2422495    132.45     23.88  --
4783.72/1197.58	c  N dy 12834   1951968      1151      1831     77739     82956    166273   4083393    103.18     23.87  --

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-3262813-1304136257/watcher-3262813-1304136257 -o /tmp/evaluation-result-3262813-1304136257/solver-3262813-1304136257 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262813-1304136257.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: 8.30 7.99 7.44 6/180 20224
/proc/meminfo: memFree=22995356/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=23096 CPUtime=0 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 996 0 0 0 0 0 0 0 25 0 1 0 525226181 23650304 936 33554432000 4194304 4797429 140735142895584 18446744073709551615 244446613687 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20224/statm: 5774 936 346 148 0 703 0

[startup+0.0385919 s]
/proc/loadavg: 8.30 7.99 7.44 6/180 20224
/proc/meminfo: memFree=22995356/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=54540 CPUtime=0.03 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 1841 0 0 0 3 0 0 0 25 0 1 0 525226181 55848960 1777 33554432000 4194304 4797429 140735142895584 18446744073709551615 244446606021 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20224/statm: 13635 1779 348 148 0 8564 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 54540

[startup+0.126009 s]
/proc/loadavg: 8.30 7.99 7.44 6/180 20224
/proc/meminfo: memFree=22995356/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=678852 CPUtime=0.3 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 3365 0 0 0 30 0 0 0 25 0 4 0 525226181 695144448 3268 33554432000 4194304 4797429 140735142895584 18446744073709551615 244446641812 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 169713 3269 399 148 0 164642 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 678852

[startup+0.300477 s]
/proc/loadavg: 8.30 7.99 7.44 6/180 20224
/proc/meminfo: memFree=22995356/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=679380 CPUtime=0.99 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 4799 0 0 0 99 0 0 0 25 0 4 0 525226181 695685120 4680 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 169845 4680 409 148 0 164774 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 679380

[startup+0.700404 s]
/proc/loadavg: 8.30 7.99 7.44 6/180 20224
/proc/meminfo: memFree=22995356/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=680060 CPUtime=2.59 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 6150 0 0 0 259 0 0 0 25 0 4 0 525226181 696381440 6025 33554432000 4194304 4797429 140735142895584 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 170015 6025 411 148 0 164944 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 680060

[startup+1.50025 s]
/proc/loadavg: 8.35 8.01 7.45 9/184 20228
/proc/meminfo: memFree=22969532/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=685240 CPUtime=5.79 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 8967 0 0 0 578 1 0 0 25 0 4 0 525226181 701685760 6586 33554432000 4194304 4797429 140735142895584 18446744073709551615 4377434 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 171310 6587 412 148 0 166239 0
[pid=20224/tid=20226] ppid=20222 vsize=685240 CPUtime=1.43 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 1663 0 0 0 143 0 0 0 25 0 4 0 525226187 701685760 6587 33554432000 4194304 4797429 140735142895584 18446744073709551615 4425054 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=685240 CPUtime=1.42 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 1647 0 0 0 142 0 0 0 20 0 4 0 525226187 701685760 6587 33554432000 4194304 4797429 140735142895584 18446744073709551615 4423712 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=685240 CPUtime=1.43 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 1555 0 0 0 143 0 0 0 25 0 4 0 525226187 701685760 6587 33554432000 4194304 4797429 140735142895584 18446744073709551615 244446641809 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 685240

[startup+3.10096 s]
/proc/loadavg: 8.35 8.01 7.45 9/184 20228
/proc/meminfo: memFree=22963084/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=688076 CPUtime=12.18 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 12208 0 0 0 1217 1 0 0 25 0 4 0 525226181 704589824 9064 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 172019 9064 415 148 0 166948 0
[pid=20224/tid=20226] ppid=20222 vsize=688076 CPUtime=3.02 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 2373 0 0 0 302 0 0 0 25 0 4 0 525226187 704589824 9064 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=688076 CPUtime=3.01 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 2363 0 0 0 301 0 0 0 25 0 4 0 525226187 704589824 9064 33554432000 4194304 4797429 140735142895584 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=688076 CPUtime=3.03 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 2286 0 0 0 303 0 0 0 25 0 4 0 525226187 704589824 9064 33554432000 4194304 4797429 140735142895584 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 688076

[startup+6.30036 s]
/proc/loadavg: 8.33 8.01 7.45 9/184 20228
/proc/meminfo: memFree=22942992/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=693272 CPUtime=24.97 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 17600 0 0 0 2494 3 0 0 25 0 4 0 525226181 709910528 13484 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 173318 13484 415 148 0 168247 0
[pid=20224/tid=20226] ppid=20222 vsize=693272 CPUtime=6.22 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 3415 0 0 0 622 0 0 0 25 0 4 0 525226187 709910528 13484 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=693272 CPUtime=6.19 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 3835 0 0 0 619 0 0 0 25 0 4 0 525226187 709910528 13484 33554432000 4194304 4797429 140735142895584 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=693272 CPUtime=6.23 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 3438 0 0 0 623 0 0 0 25 0 4 0 525226187 709910528 13484 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 693272

[startup+12.7012 s]
/proc/loadavg: 8.30 8.01 7.46 9/184 20228
/proc/meminfo: memFree=22921092/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=694552 CPUtime=50.53 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 21336 0 0 0 5049 4 0 0 25 0 4 0 525226181 711221248 15991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4519904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 173638 15991 416 148 0 168567 0
[pid=20224/tid=20226] ppid=20222 vsize=694552 CPUtime=12.62 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 3721 0 0 0 1262 0 0 0 25 0 4 0 525226187 711221248 15991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=694552 CPUtime=12.56 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 4212 0 0 0 1256 0 0 0 25 0 4 0 525226187 711221248 15991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=694552 CPUtime=12.63 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 3725 0 0 0 1263 0 0 0 25 0 4 0 525226187 711221248 15991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524155 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 694552

[startup+25.5008 s]
/proc/loadavg: 8.33 8.02 7.47 9/184 20229
/proc/meminfo: memFree=22933076/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=697684 CPUtime=101.66 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 26083 0 0 0 10161 5 0 0 25 0 4 0 525226181 714428416 16368 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429174 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 174421 16368 418 148 0 169350 0
[pid=20224/tid=20226] ppid=20222 vsize=697684 CPUtime=25.42 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 4537 0 0 0 2542 0 0 0 25 0 4 0 525226187 714428416 16368 33554432000 4194304 4797429 140735142895584 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=697684 CPUtime=25.29 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 4879 0 0 0 2528 1 0 0 25 0 4 0 525226187 714428416 16368 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=697684 CPUtime=25.43 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 4565 0 0 0 2543 0 0 0 25 0 4 0 525226187 714428416 16368 33554432000 4194304 4797429 140735142895584 18446744073709551615 4519915 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 697684

[startup+51.101 s]
/proc/loadavg: 8.20 8.02 7.48 9/184 20229
/proc/meminfo: memFree=22924808/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=700440 CPUtime=203.93 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 34943 0 0 0 20384 9 0 0 25 0 4 0 525226181 717250560 19219 33554432000 4194304 4797429 140735142895584 18446744073709551615 4495559 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 175110 19219 419 148 0 170039 0
[pid=20224/tid=20226] ppid=20222 vsize=700440 CPUtime=51.02 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 5725 0 0 0 5101 1 0 0 25 0 4 0 525226187 717250560 19219 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=700440 CPUtime=50.75 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 6090 0 0 0 5074 1 0 0 25 0 4 0 525226187 717250560 19219 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=700440 CPUtime=51.02 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 5754 0 0 0 5102 0 0 0 25 0 4 0 525226187 717250560 19219 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 700440

[startup+102.306 s]
/proc/loadavg: 8.14 8.03 7.51 9/184 20231
/proc/meminfo: memFree=22881868/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=704048 CPUtime=408.49 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 50844 0 0 0 40835 14 0 0 25 0 4 0 525226181 720945152 21355 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 176012 21355 421 148 0 170941 0
[pid=20224/tid=20226] ppid=20222 vsize=704048 CPUtime=102.23 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 6728 0 0 0 10222 1 0 0 25 0 4 0 525226187 720945152 21355 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=704048 CPUtime=101.69 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 7725 0 0 0 10168 1 0 0 25 0 4 0 525226187 720945152 21355 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=704048 CPUtime=102.23 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 7113 0 0 0 10222 1 0 0 25 0 4 0 525226187 720945152 21355 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.49
Current children cumulated vsize (KiB) 704048

[startup+162.3 s]
/proc/loadavg: 8.10 8.04 7.54 9/184 20232
/proc/meminfo: memFree=22873036/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=707308 CPUtime=648.16 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 67266 0 0 0 64798 18 0 0 25 0 4 0 525226181 724283392 22509 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 176827 22509 421 148 0 171756 0
[pid=20224/tid=20226] ppid=20222 vsize=707308 CPUtime=162.23 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 8199 0 0 0 16221 2 0 0 25 0 4 0 525226187 724283392 22509 33554432000 4194304 4797429 140735142895584 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=707308 CPUtime=161.38 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 9343 0 0 0 16136 2 0 0 25 0 4 0 525226187 724283392 22509 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=707308 CPUtime=162.23 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 8893 0 0 0 16221 2 0 0 25 0 4 0 525226187 724283392 22509 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 648.16
Current children cumulated vsize (KiB) 707308

[startup+222.301 s]
/proc/loadavg: 8.09 8.04 7.57 9/184 20234
/proc/meminfo: memFree=22868652/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=710296 CPUtime=887.86 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 83493 0 0 0 88763 23 0 0 25 0 4 0 525226181 727343104 25039 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 177574 25039 421 148 0 172503 0
[pid=20224/tid=20226] ppid=20222 vsize=710296 CPUtime=222.23 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 9689 0 0 0 22221 2 0 0 25 0 4 0 525226187 727343104 25039 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=710296 CPUtime=221.07 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 10932 0 0 0 22105 2 0 0 25 0 4 0 525226187 727343104 25039 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=710296 CPUtime=222.23 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 10439 0 0 0 22221 2 0 0 25 0 4 0 525226187 727343104 25039 33554432000 4194304 4797429 140735142895584 18446744073709551615 4427405 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 887.86
Current children cumulated vsize (KiB) 710296

[startup+282.301 s]

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

[pid=20224] ppid=20222 vsize=720256 CPUtime=2565.78 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 205023 0 0 0 256515 63 0 0 25 0 4 0 525226181 737542144 37118 33554432000 4194304 4797429 140735142895584 18446744073709551615 4331761 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 180064 37118 421 148 0 174993 0
[pid=20224/tid=20226] ppid=20222 vsize=720256 CPUtime=642.25 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 19299 0 0 0 64220 5 0 0 25 0 4 0 525226187 737542144 37118 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=720256 CPUtime=638.94 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 19809 0 0 0 63888 6 0 0 25 0 4 0 525226187 737542144 37118 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=720256 CPUtime=642.25 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 19315 0 0 0 64220 5 0 0 25 0 4 0 525226187 737542144 37118 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.78
Current children cumulated vsize (KiB) 720256

[startup+702.3 s]
/proc/loadavg: 8.08 8.08 7.77 9/184 20278
/proc/meminfo: memFree=23235824/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=721396 CPUtime=2805.46 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 218786 0 0 0 280479 67 0 0 25 0 4 0 525226181 738709504 36994 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429171 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 180349 36994 421 148 0 175278 0
[pid=20224/tid=20226] ppid=20222 vsize=721396 CPUtime=702.25 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 20046 0 0 0 70220 5 0 0 25 0 4 0 525226187 738709504 36994 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=721396 CPUtime=698.63 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 21057 0 0 0 69857 6 0 0 25 0 4 0 525226187 738709504 36994 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=721396 CPUtime=702.24 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 20622 0 0 0 70219 5 0 0 25 0 4 0 525226187 738709504 36994 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.46
Current children cumulated vsize (KiB) 721396

[startup+762.306 s]
/proc/loadavg: 8.07 8.08 7.79 9/184 20279
/proc/meminfo: memFree=23215960/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=721900 CPUtime=3045.18 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 231092 0 0 0 304446 72 0 0 25 0 4 0 525226181 739225600 41093 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 180475 41093 421 148 0 175404 0
[pid=20224/tid=20226] ppid=20222 vsize=721900 CPUtime=762.26 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 21497 0 0 0 76220 6 0 0 25 0 4 0 525226187 739225600 41093 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=721900 CPUtime=758.32 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 21797 0 0 0 75826 6 0 0 25 0 4 0 525226187 739225600 41093 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=721900 CPUtime=762.26 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 21327 0 0 0 76220 6 0 0 25 0 4 0 525226187 739225600 41093 33554432000 4194304 4797429 140735142895584 18446744073709551615 4523971 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.18
Current children cumulated vsize (KiB) 721900

[startup+822.301 s]
/proc/loadavg: 8.06 8.08 7.80 9/184 20281
/proc/meminfo: memFree=23210744/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=722808 CPUtime=3284.86 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 248908 0 0 0 328408 78 0 0 25 0 4 0 525226181 740155392 41009 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 180702 41009 421 148 0 175631 0
[pid=20224/tid=20226] ppid=20222 vsize=722808 CPUtime=822.25 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 23034 0 0 0 82219 6 0 0 25 0 4 0 525226187 740155392 41009 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=722808 CPUtime=818.02 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 23219 0 0 0 81795 7 0 0 25 0 4 0 525226187 740155392 41009 33554432000 4194304 4797429 140735142895584 18446744073709551615 4612551 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=722808 CPUtime=822.25 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 22713 0 0 0 82219 6 0 0 25 0 4 0 525226187 740155392 41009 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.86
Current children cumulated vsize (KiB) 722808

[startup+882.301 s]
/proc/loadavg: 8.12 8.09 7.82 9/184 20283
/proc/meminfo: memFree=23199300/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=724856 CPUtime=3524.55 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 263151 0 0 0 352372 83 0 0 25 0 4 0 525226181 742252544 42504 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 181214 42504 421 148 0 176143 0
[pid=20224/tid=20226] ppid=20222 vsize=724856 CPUtime=882.25 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 23808 0 0 0 88218 7 0 0 25 0 4 0 525226187 742252544 42504 33554432000 4194304 4797429 140735142895584 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=724856 CPUtime=877.71 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 23960 0 0 0 87764 7 0 0 25 0 4 0 525226187 742252544 42504 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=724856 CPUtime=882.25 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 23371 0 0 0 88219 6 0 0 25 0 4 0 525226187 742252544 42504 33554432000 4194304 4797429 140735142895584 18446744073709551615 4415846 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.55
Current children cumulated vsize (KiB) 724856

[startup+942.301 s]
/proc/loadavg: 8.14 8.10 7.84 9/184 20284
/proc/meminfo: memFree=23199408/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=726048 CPUtime=3764.25 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 280875 0 0 0 376337 88 0 0 25 0 4 0 525226181 743473152 42991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 181512 42991 421 148 0 176441 0
[pid=20224/tid=20226] ppid=20222 vsize=726048 CPUtime=942.26 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 25192 0 0 0 94219 7 0 0 25 0 4 0 525226187 743473152 42991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=726048 CPUtime=937.4 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 25922 0 0 0 93732 8 0 0 25 0 4 0 525226187 743473152 42991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=726048 CPUtime=942.25 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 24879 0 0 0 94218 7 0 0 25 0 4 0 525226187 743473152 42991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.25
Current children cumulated vsize (KiB) 726048

[startup+1002.3 s]
/proc/loadavg: 8.22 8.13 7.86 9/184 20286
/proc/meminfo: memFree=23176560/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=728220 CPUtime=4003.92 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 297207 0 0 0 400299 93 0 0 25 0 4 0 525226181 745697280 47004 33554432000 4194304 4797429 140735142895584 18446744073709551615 4506535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 182055 47004 427 148 0 176984 0
[pid=20224/tid=20226] ppid=20222 vsize=728220 CPUtime=1002.26 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 26109 0 0 0 100219 7 0 0 25 0 4 0 525226187 745697280 47004 33554432000 4194304 4797429 140735142895584 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=728220 CPUtime=997.07 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 26642 0 0 0 99699 8 0 0 25 0 4 0 525226187 745697280 47004 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=728220 CPUtime=1002.25 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 25721 0 0 0 100218 7 0 0 25 0 4 0 525226187 745697280 47004 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.92
Current children cumulated vsize (KiB) 728220

[startup+1062.3 s]
/proc/loadavg: 8.21 8.13 7.88 9/184 20287
/proc/meminfo: memFree=23180264/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=730656 CPUtime=4243.62 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 309746 0 0 0 424264 98 0 0 25 0 4 0 525226181 748191744 46457 33554432000 4194304 4797429 140735142895584 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 182664 46457 427 148 0 177593 0
[pid=20224/tid=20226] ppid=20222 vsize=730656 CPUtime=1062.26 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 27592 0 0 0 106219 7 0 0 25 0 4 0 525226187 748191744 46457 33554432000 4194304 4797429 140735142895584 18446744073709551615 4509104 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=730656 CPUtime=1056.75 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 27998 0 0 0 105667 8 0 0 25 0 4 0 525226187 748191744 46457 33554432000 4194304 4797429 140735142895584 18446744073709551615 4427946 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=730656 CPUtime=1062.26 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 27389 0 0 0 106218 8 0 0 25 0 4 0 525226187 748191744 46457 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.62
Current children cumulated vsize (KiB) 730656

[startup+1122.3 s]
/proc/loadavg: 8.19 8.14 7.90 9/184 20289
/proc/meminfo: memFree=23165228/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=731156 CPUtime=4483.3 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 318915 0 0 0 448228 102 0 0 25 0 4 0 525226181 748703744 49660 33554432000 4194304 4797429 140735142895584 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 182789 49660 427 148 0 177718 0
[pid=20224/tid=20226] ppid=20222 vsize=731156 CPUtime=1122.27 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 28320 0 0 0 112219 8 0 0 25 0 4 0 525226187 748703744 49660 33554432000 4194304 4797429 140735142895584 18446744073709551615 4567728 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=731156 CPUtime=1116.44 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 28609 0 0 0 111635 9 0 0 25 0 4 0 525226187 748703744 49660 33554432000 4194304 4797429 140735142895584 18446744073709551615 4495554 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=731156 CPUtime=1122.26 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 28164 0 0 0 112218 8 0 0 25 0 4 0 525226187 748703744 49660 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.3
Current children cumulated vsize (KiB) 731156

[startup+1182.3 s]
/proc/loadavg: 8.16 8.14 7.91 9/184 20291
/proc/meminfo: memFree=23167300/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=733964 CPUtime=4722.99 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 329831 0 0 0 472193 106 0 0 25 0 4 0 525226181 751579136 48558 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 183491 48558 427 148 0 178420 0
[pid=20224/tid=20226] ppid=20222 vsize=733964 CPUtime=1182.26 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 29980 0 0 0 118218 8 0 0 25 0 4 0 525226187 751579136 48558 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=733964 CPUtime=1176.12 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 29989 0 0 0 117603 9 0 0 25 0 4 0 525226187 751579136 48558 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=733964 CPUtime=1182.25 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 29790 0 0 0 118217 8 0 0 25 0 4 0 525226187 751579136 48558 33554432000 4194304 4797429 140735142895584 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.99
Current children cumulated vsize (KiB) 733964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.12 8.13 7.91 9/184 20291
/proc/meminfo: memFree=23165432/32951124 swapFree=67111524/67111528
[pid=20224] ppid=20222 vsize=735452 CPUtime=4800.11 cores=0,2,4,6
/proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 335511 0 0 0 479903 108 0 0 25 0 4 0 525226181 753102848 48952 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20224/statm: 183863 48952 427 148 0 178792 0
[pid=20224/tid=20226] ppid=20222 vsize=735452 CPUtime=1201.57 cores=0,2,4,6
/proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 30269 0 0 0 120149 8 0 0 25 0 4 0 525226187 753102848 48952 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20224/tid=20227] ppid=20222 vsize=735452 CPUtime=1195.31 cores=0,2,4,6
/proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 30242 0 0 0 119522 9 0 0 25 0 4 0 525226187 753102848 48952 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20224/tid=20228] ppid=20222 vsize=735452 CPUtime=1201.56 cores=0,2,4,6
/proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 29994 0 0 0 120148 8 0 0 25 0 4 0 525226187 753102848 48952 33554432000 4194304 4797429 140735142895584 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 735452

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.62
CPU time (s): 4800.15
CPU user time (s): 4799.06
CPU system time (s): 1.09183
CPU usage (%): 399.472
Max. virtual memory (cumulated for all children) (KiB): 833220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.06
system time used= 1.09183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335512
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= 290
involuntary context switches= 22648

runsolver used 1.91971 second user time and 4.23336 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-30 06:04:17
IDJOB=3262813
IDBENCH=83896
IDSOLVER=1584
FILE ID=node105/3262813-1304136257
RUNJOBID= node105-1304135293-20103
PBS_JOBID= 13170798
Free space on /tmp= 73024 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262813-1304136257/watcher-3262813-1304136257 -o /tmp/evaluation-result-3262813-1304136257/solver-3262813-1304136257 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3262813-1304136257.cnf

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

MD5SUM BENCH= b5a637600c242725f15a247a84bdea1b
RANDOM SEED=1167116331

node105.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.825
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.825
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.825
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.825
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.825
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	: 5410.70
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.825
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.825
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.825
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:      22995512 kB
Buffers:       2173420 kB
Cached:        6688744 kB
SwapCached:          4 kB
Active:        1117504 kB
Inactive:      8286748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22995512 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            9932 kB
Writeback:           8 kB
AnonPages:      541160 kB
Mapped:          15752 kB
Slab:           487984 kB
PageTables:       5488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1171560 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= 73024 MiB
End job on node105 at 2011-04-30 06:24:21