Trace number 3172934

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf
MD5SUM063ddd149f36deba1032de0c40881dff
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.095984
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

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-3172934-1304120739.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
2.34/0.69	c asymm  cl-useful: 0/1887/5340 lits-rem:0 time: 0.43
2.34/0.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
2.34/0.69	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
2.34/0.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2.34/0.69	c Subs w/ non-existent bins:      0 time:  0.00 s
2.34/0.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.34/0.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.34/0.69	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2.34/0.69	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.05 s
2.34/0.69	c learnt bin added due to v-elim: 0
2.34/0.69	c Finding binary XORs  T:     0.00 s  found:       0
2.34/0.69	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
2.34/0.69	c calculated reachability. Time: 0.00
2.34/0.69	c Calc default polars -  time:   0.00 s pos:      24 undec:       0 neg:      36
2.34/0.69	c =========================================================================================
2.34/0.69	c types(t): F = full restart, N = normal restart
3.14/0.82	c types(t): S = simplification begin/end, E = solution found
3.14/0.82	c restart types(rt): st = static, dy = dynamic
3.14/0.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.14/0.82	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
3.14/0.82	c Decided on static restart strategy
3.14/0.82	c  N dy    19      4024        60      5340         0      3621     37380     76846     21.63     18.56  --
3.14/0.82	c  N dy    46      8031        60      5340         0      4940     37380     98160     21.66     18.69  --
3.14/0.82	c  N dy    73     12092        60      5340         0      4771     37380     86653     21.86     18.81  --
3.96/1.02	c  N dy   100     16184        60      5340         0      8424     37380    165408     21.68     18.93  --
4.74/1.24	c  N dy   128     20314        60      5340         0      7088     37380    125767     21.27     18.97  --
5.94/1.52	c  N dy   155     24350        60      5340         0     10721     37380    203861     21.73     18.98  --
7.13/1.80	c  N dy   182     28358        60      5340         0      8216     37380    139208     21.21     18.94  --
7.53/1.93	c  S st   194     30000        60      5340         0      9678     37380    170308     21.69     18.94  --
7.53/1.97	c  S st   194     30503        60      5340         0     10139     37380    180182     21.69     18.94  --
7.53/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.53/1.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.53/1.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.53/1.99	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.53/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.53/1.99	c Subs w/ non-existent bins:      0 time:  0.00 s
7.53/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.53/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.53/2.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.93/2.53	c lits-rem:      1190  cl-subs:     1281  v-elim:     60  v-fix:    0  time:  2.15 s
9.93/2.53	c learnt bin added due to v-elim: 0
9.93/2.53	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.93/2.54	c vivif2 --  cl tried     8858 cl shrink        0 lits rem          0 time: 0.01
10.33/2.69	c asymm  cl-useful: 0/2062/5340 lits-rem:0 time: 0.61
10.33/2.69	c calculated reachability. Time: 0.00
10.33/2.69	c  N dy   194     30503        60      5340         0      8858     37380    154466     21.69     18.94  --
10.33/2.69	c  F st   194     30503        60      5340         0      8858     37380    154466     21.69     18.94  --
11.13/2.84	c Decided on static restart strategy
11.53/3.00	c  N dy   213     34533        60      5340         0     12469     37380    231303     21.79     18.90  --
13.16/3.31	c  N dy   240     38564        60      5340         0      9045     37380    148546     21.58     18.92  --
14.33/3.61	c  N dy   267     42570        60      5340         0     12638     37380    226199     21.78     18.96  --
15.53/3.91	c  S st   289     45754        60      5340         0     15489     37380    287366     21.68     18.96  --
15.53/3.96	c  S st   289     46256        60      5340         0     15935     37380    297085     21.68     18.96  --
15.53/3.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.16
15.93/4.00	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.93/4.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.01	c Subs w/ non-existent bins:      0 time:  0.01 s
15.93/4.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.12/4.80	c lits-rem:      2030  cl-subs:     2170  v-elim:     60  v-fix:    0  time:  3.15 s
19.12/4.80	c learnt bin added due to v-elim: 0
19.12/4.80	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
19.12/4.80	c vivif2 --  cl tried    13765 cl shrink        0 lits rem          0 time: 0.00
19.52/4.96	c asymm  cl-useful: 0/1391/5340 lits-rem:0 time: 0.64
19.52/4.96	c calculated reachability. Time: 0.00
19.52/4.96	c  N dy   289     46256        60      5340         0     13765     37380    247367     21.68     18.96  --
21.12/5.31	c  N dy   316     50257        60      5340         0      9488     37380    147829     21.37     18.95  --
22.32/5.62	c  N dy   343     54286        60      5340         0     13120     37380    225338     21.39     18.94  --
23.52/5.99	c  N dy   370     58383        60      5340         0     16785     37380    303739     22.05     18.94  --
25.12/6.34	c  N dy   397     62391        60      5340         0     11494     37380    180300     21.58     18.96  --
26.33/6.69	c  N dy   424     66478        60      5340         0     15160     37380    258923     21.64     18.95  --
27.51/6.98	c  S st   444     69384        60      5340         0     17754     37380    315174     21.84     18.96  --
27.91/7.04	c  S st   444     69885        60      5340         0     18218     37380    325008     21.84     18.96  --
27.91/7.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.91/7.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.31/7.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.2M T:  0.21
28.31/7.10	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
28.31/7.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.31/7.10	c Subs w/ non-existent bins:      0 time:  0.01 s
28.31/7.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.31/7.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.31/7.10	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.10/7.85	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
35.12/8.88	c Added 1 vars  tried: 16020 time: 4.15
35.12/8.89	c ORs :      1 avg-s:  0.0 cl-sh:  1381 l-rem:   1381 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.19
35.50/8.90	c lits-rem:      1723  cl-subs:     2333  v-elim:     60  v-fix:    0  time:  7.17 s
35.50/8.90	c learnt bin added due to v-elim: 0
35.50/8.90	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
35.50/8.90	c vivif2 --  cl tried    15885 cl shrink        0 lits rem          0 time: 0.01
35.90/9.06	c asymm  cl-useful: 0/1710/5341 lits-rem:0 time: 0.64
35.90/9.06	c calculated reachability. Time: 0.00
35.90/9.06	c  N dy   444     69885        61      5341         2     15885     37367    272219     21.84     18.96  --
35.90/9.06	c  F st   444     69885        61      5341         2     15885     37367    272219     21.84     18.96  --
36.70/9.26	c Decided on static restart strategy
37.90/9.52	c  N dy   466     74374        61      5341         2     10227     37367    144865     22.27     18.98  --
39.51/9.91	c  N dy   498     79150        61      5341         2     14514     37367    236786     22.09     18.98  --
41.49/10.44	c  N dy   533     84334        61      5341         2     19146     37367    336080     21.61     18.99  --
43.50/10.99	c  N dy   570     89852        61      5341         2     13419     37367    200440     21.82     18.99  --
45.88/11.56	c  N dy   609     95684        61      5341         2     18701     37367    312454     21.85     18.97  --
48.68/12.27	c  N dy   651    101926        61      5341         2     12694     37367    173473     21.16     18.95  --
49.88/12.55	c  S st   671    104828        61      5341         2     15305     37367    229519     21.62     18.96  --
50.28/12.60	c  S st   671    105331        61      5341         2     15769     37367    239686     21.62     18.96  --
50.28/12.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.28/12.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.28/12.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.5M T:  0.21
50.28/12.66	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
50.28/12.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.28/12.66	c Subs w/ non-existent bins:      0 time:  0.01 s
50.28/12.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.28/12.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.28/12.66	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
52.70/13.26	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
52.70/13.26	c lits-rem:       799  cl-subs:     1308  v-elim:     60  v-fix:    0  time:  2.40 s
52.70/13.26	c learnt bin added due to v-elim: 0
52.70/13.26	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
52.70/13.27	c vivif2 --  cl tried    14461 cl shrink        0 lits rem          0 time: 0.01
53.48/13.42	c asymm  cl-useful: 0/1503/5341 lits-rem:0 time: 0.61
53.48/13.42	c calculated reachability. Time: 0.00
53.48/13.42	c  N dy   671    105331        61      5341         2     14461     37367    214191     21.62     18.96  --
56.28/14.13	c  N dy   717    112166        61      5341         2     20608     37367    345362     21.73     18.96  --
59.87/15.01	c  N dy   766    119464        61      5341         2     14633     37367    207089     21.64     18.96  --
63.06/15.81	c  N dy   817    127096        61      5341         2     21491     37367    354777     21.60     18.96  --
67.06/16.84	c  N dy   872    135215        61      5341         2     15348     37367    213071     21.59     18.95  --
71.05/17.82	c  N dy   930    143892        61      5341         2     23099     37367    378253     21.41     18.95  --
75.84/19.06	c  N dy   992    153120        61      5341         2     17051     37367    236077     21.42     18.93  --
78.24/19.62	c  S st  1025    157996        61      5341         2     21433     37367    329733     21.58     18.94  --
78.24/19.69	c  S st  1025    158501        61      5341         2     21902     37367    339895     21.58     18.94  --
78.24/19.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.24/19.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.66/19.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.6M T:  0.33
78.66/19.78	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
78.66/19.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.66/19.78	c Subs w/ non-existent bins:      0 time:  0.01 s
78.66/19.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.66/19.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.66/19.78	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
82.23/20.62	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
82.23/20.63	c lits-rem:      1203  cl-subs:     2134  v-elim:     60  v-fix:    0  time:  3.38 s
82.23/20.63	c learnt bin added due to v-elim: 0
82.23/20.63	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
82.23/20.63	c vivif2 --  cl tried    19768 cl shrink        0 lits rem          0 time: 0.01
82.63/20.80	c asymm  cl-useful: 0/935/5341 lits-rem:0 time: 0.66
82.63/20.80	c calculated reachability. Time: 0.00
82.63/20.80	c  N dy  1025    158501        61      5341         2     19768     37367    296489     21.58     18.94  --
88.22/22.16	c  N dy  1093    168634        61      5341         2     28873     37367    492537     21.65     18.94  --
93.82/23.54	c  N dy  1166    179501        61      5341         2     23505     37367    363328     21.13     18.92  --
100.62/25.25	c  N dy  1244    191081        61      5341         2     17780     37367    231427     21.53     18.93  --
107.39/26.91	c  N dy  1327    203397        61      5341         2     28771     37367    467324     21.63     18.93  --
114.58/28.79	c  N dy  1415    216455        61      5341         2     23534     37367    342967     21.10     18.92  --
123.78/31.02	c  N dy  1509    230379        65      5341        11     18076     37383    218205     21.39     18.93  --
127.39/31.97	c  S st  1559    237752        65      5341        11     24710     37383    361470     22.00     18.93  --
127.77/32.05	c  S st  1559    238256        65      5341        11     25176     37383    371525     22.00     18.93  --
127.77/32.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
127.77/32.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.17/32.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P:  7.3M T:  0.44
128.17/32.16	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.17/32.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.17/32.17	c Subs w/ non-existent bins:      0 time:  0.01 s
128.17/32.17	c Replacing        1 vars Replaced      918 lits Time:     0.02 s 
128.17/32.18	c bin-w-bin subsume rem            2 bins  time:  0.00 s
128.17/32.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.17/32.18	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.56/33.27	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
132.56/33.28	c lits-rem:      1356  cl-subs:     2176  v-elim:     60  v-fix:    0  time:  4.38 s
132.56/33.28	c learnt bin added due to v-elim: 0
132.56/33.28	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
132.56/33.28	c vivif2 --  cl tried    23000 cl shrink        0 lits rem          0 time: 0.01
133.36/33.44	c asymm  cl-useful: 0/961/5341 lits-rem:0 time: 0.64
133.36/33.44	c calculated reachability. Time: 0.00
133.36/33.44	c  N dy  1559    238256        64      5341         8     23000     37379    328523     22.00     18.93  --
143.35/35.98	c  N dy  1662    253522        64      5341         8     36747     37379    620198     21.65     18.89  --
153.35/38.49	c  N dy  1772    269800        64      5341         8     32717     37379    523753     21.86     18.87  --
164.92/41.38	c  N dy  1889    287129        64      5341         8     28585     37379    419552     21.95     18.84  --
178.50/44.72	c  N dy  2013    305576        64      5341         8     24468     37379    321071     22.12     18.82  --
192.89/48.34	c  N dy  2145    325091        64      5341         8     42107     37379    698226     21.28     18.80  --
206.85/51.89	c  N dy  2280    345149        64      5341         8     38628     37379    611959     21.32     18.78  --
216.44/54.25	c  S st  2363    357384        68      5341        21     27159     37399    355572     21.73     18.78  --
216.84/54.35	c  S st  2363    357886        68      5341        21     27621     37399    365782     21.73     18.78  --
216.84/54.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
216.84/54.35	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
217.24/54.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P:  9.2M T:  0.50
217.24/54.48	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.00 s
217.24/54.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
217.24/54.48	c Subs w/ non-existent bins:      0 time:  0.01 s
217.24/54.48	c Replacing        2 vars Replaced      160 lits Time:     0.01 s 
217.24/54.49	c bin-w-bin subsume rem            4 bins  time:  0.00 s
217.24/54.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
217.24/54.49	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
221.64/55.59	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
221.64/55.59	c lits-rem:      1000  cl-subs:     1823  v-elim:     60  v-fix:    0  time:  4.43 s
221.64/55.59	c learnt bin added due to v-elim: 0
221.64/55.59	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
222.04/55.60	c vivif2 --  cl tried    25798 cl shrink        0 lits rem          0 time: 0.02
222.44/55.76	c asymm  cl-useful: 0/1165/5341 lits-rem:0 time: 0.63
222.44/55.76	c calculated reachability. Time: 0.00
222.44/55.76	c  N dy  2363    357886        66      5341        12     25798     37387    333711     21.73     18.78  --
238.01/59.61	c  N dy  2499    377960        66      5341        12     44034     37387    726567     21.70     18.76  --
253.20/63.40	c  N dy  2635    398006        66      5341        12     38738     37387    596587     22.21     18.74  --
269.97/67.67	c  N dy  2771    418047        66      5341        12     32475     37387    450668     21.48     18.72  --
287.95/72.19	c  N dy  2906    438091        66      5341        12     50693     37387    842391     22.11     18.71  --
304.32/76.21	c  N dy  3042    458174        66      5341        12     43492     37387    679340     21.87     18.70  --
322.69/80.81	c  N dy  3178    478193        66      5341        12     35387     37387    494724     21.37     18.69  --
341.08/85.43	c  N dy  3314    498301        70      5341        33     53642     37415    889247     21.76     18.68  --
357.85/89.60	c  N dy  3449    518303        70      5341        35     44527     37417    680387     21.89     18.67  --
375.82/94.14	c  S st  3543    536829        70      5341        35     33190     37417    421648     20.83     18.65  --
376.22/94.24	c  S st  3543    537329        70      5341        35     33652     37417    431471     20.83     18.65  --
376.22/94.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
376.22/94.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
377.02/94.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.3M T:  0.68
377.02/94.42	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.00 s
377.02/94.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
377.02/94.42	c Subs w/ non-existent bins:      0 time:  0.02 s
377.02/94.43	c Replacing        4 vars Replaced      460 lits Time:     0.02 s 
377.02/94.43	c bin-w-bin subsume rem            8 bins  time:  0.00 s
377.02/94.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
377.02/94.43	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
382.61/95.82	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
405.39/101.58	c Added 1 vars  tried: 80000 time: 23.03
405.79/101.61	c ORs :      1 avg-s:  0.0 cl-sh:  2203 l-rem:   2203 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   23.13
405.79/101.61	c lits-rem:       747  cl-subs:     2276  v-elim:     60  v-fix:    0  time: 28.68 s
405.79/101.61	c learnt bin added due to v-elim: 0
405.79/101.61	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
405.79/101.62	c vivif2 --  cl tried    31376 cl shrink        0 lits rem          0 time: 0.02
406.19/101.78	c asymm  cl-useful: 0/858/5342 lits-rem:0 time: 0.63
406.19/101.78	c calculated reachability. Time: 0.00
406.19/101.78	c  N dy  3543    537329        67      5342        14     31376     37370    391440     20.83     18.65  --
406.19/101.78	c  F st  3543    537329        67      5342        14     31376     37370    391440     20.83     18.65  --
407.79/102.15	c Decided on static restart strategy
423.76/106.17	c  N dy  3671    557462        67      5342        14     49753     37370    788479     21.49     18.64  --
675.02/169.05	c  N dy  3783    805993        67      5342        14     51938     37370    746447     19.71     17.85  --
675.02/169.08	c  S st  3783    805993        67      5342        14     51938     37370    746447     19.71     17.85  --
675.82/169.25	c  S st  3783    806496        69      5342        22     52403     37382    756753     19.71     17.85  --
675.82/169.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
675.82/169.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
677.01/169.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.4M T:  1.36
677.01/169.60	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.01 s
677.01/169.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
677.41/169.60	c Subs w/ non-existent bins:      0 time:  0.03 s
677.41/169.63	c Replacing        1 vars Replaced      867 lits Time:     0.10 s 
677.41/169.64	c bin-w-bin subsume rem            2 bins  time:  0.00 s
677.41/169.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
677.41/169.64	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
690.20/172.81	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.05
690.20/172.83	c lits-rem:       601  cl-subs:     7709  v-elim:     60  v-fix:    0  time: 12.71 s
690.20/172.83	c learnt bin added due to v-elim: 0
690.20/172.83	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
690.20/172.83	c vivif2 --  cl tried    44694 cl shrink        0 lits rem          0 time: 0.03
690.60/172.92	c asymm  cl-useful: 0/268/5342 lits-rem:0 time: 0.35
690.60/172.92	c calculated reachability. Time: 0.00
690.60/172.92	c  N dy  3783    806496        68      5342        16     44694     37374    619623     19.71     17.85  --
713.75/178.75	c  N dy  3919    826559        69      5342        18     62985     37378   1013505     22.44     17.86  --
736.12/184.36	c  N dy  4055    846639        69      5342        18     46838     37378    651065     22.02     17.87  --
760.89/190.59	c  N dy  4191    866708        71      5342        22     65236     37386   1046808     21.69     17.88  --
785.26/196.60	c  N dy  4327    886769        71      5342        22     47463     37386    649211     21.41     17.89  --
810.83/203.04	c  N dy  4463    906898        71      5342        22     65822     37386   1044622     22.09     17.91  --
835.99/209.32	c  N dy  4598    926962        71      5342        22     46886     37386    625438     21.28     17.92  --
860.37/215.48	c  N dy  4734    947040        71      5342        22     65301     37386   1023831     22.07     17.93  --
1191.50/298.33	c  N dy  4799   1209744        71      5342        22     60034     37386    861037     19.69     17.39  --
1191.50/298.37	c  S st  4799   1209744        71      5342        22     60034     37386    861037     19.69     17.39  --
1192.31/298.58	c  S st  4799   1210246        71      5342        22     60506     37386    871460     19.69     17.39  --
1192.31/298.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1192.31/298.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1193.91/298.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 24.8M T:  1.64
1193.91/298.99	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.00 s
1193.91/298.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1194.31/299.00	c Subs w/ non-existent bins:      0 time:  0.04 s
1194.31/299.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1194.31/299.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1194.31/299.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1210.28/303.06	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
1259.42/315.34	c Added 1 vars  tried: 80000 time: 49.08
1260.22/315.51	c ORs :      1 avg-s:  0.0 cl-sh:  7774 l-rem:   7774 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   49.74
1260.22/315.52	c lits-rem:      2484  cl-subs:     7463  v-elim:     60  v-fix:    0  time: 65.91 s
1260.22/315.52	c learnt bin added due to v-elim: 0
1260.22/315.53	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1260.22/315.54	c vivif2 --  cl tried    53043 cl shrink        0 lits rem          0 time: 0.04
1260.64/315.63	c asymm  cl-useful: 0/215/5343 lits-rem:0 time: 0.35
1260.64/315.63	c calculated reachability. Time: 0.00
1260.64/315.63	c  N dy  4799   1210246        72      5343        24     53043     37366    728968     19.69     17.39  --
1285.37/321.87	c  N dy  4935   1230284        72      5343        24     71457     37366   1126267     21.50     17.39  --
1316.13/329.55	c  N dy  5071   1250383        72      5343        24     47171     37366    589128     21.74     17.39  --
2054.73/514.47	c  N dy  5106   1710247        72      5343        24     83735     37366   1299467     22.47     16.59  --
2055.13/514.53	c  S st  5106   1710247        72      5343        24     83735     37366   1299467     22.47     16.59  --
2056.35/514.81	c  S st  5106   1710752        76      5343        40     84217     37390   1309582     22.47     16.59  --
2056.35/514.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2056.35/514.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2058.72/515.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.9M T:  2.62
2058.72/515.47	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
2058.72/515.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2058.72/515.48	c Subs w/ non-existent bins:      0 time:  0.06 s
2059.12/515.52	c Replacing        2 vars Replaced      634 lits Time:     0.12 s 
2059.12/515.54	c bin-w-bin subsume rem            4 bins  time:  0.00 s
2059.12/515.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2059.12/515.54	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2085.88/522.25	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.37
2085.88/522.28	c lits-rem:       716  cl-subs:     8049  v-elim:     60  v-fix:    0  time: 26.90 s
2085.88/522.28	c learnt bin added due to v-elim: 0
2085.88/522.28	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2085.88/522.29	c vivif2 --  cl tried    76168 cl shrink        1 lits rem          1 time: 0.07
2086.28/522.40	c asymm  cl-useful: 0/161/5343 lits-rem:0 time: 0.41
2086.28/522.40	c calculated reachability. Time: 0.00
2086.28/522.40	c  N dy  5106   1710752        74      5343        28     76168     37374   1158830     22.47     16.59  --
2124.63/531.93	c  N dy  5242   1730837        75      5343        33     94719     37380   1555602     20.90     16.60  --
3020.20/756.16	c  N dy  5319   2210752        75      5343        33     89492     37380   1300661     19.00     16.21  --
3020.60/756.21	c  S st  5319   2210752        75      5343        33     89492     37380   1300661     19.00     16.21  --
3020.60/756.21	c Finding binary XORs  T:     0.00 s  found:       1
3020.60/756.22	c Replacing        1 vars Replaced       11 lits Time:     0.03 s 
3021.80/756.54	c  S st  5319   2211258        74      5343        30     89968     37378   1311250     19.00     16.21  --
3021.80/756.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3021.80/756.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3024.99/757.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 42.4M T:  3.13
3024.99/757.33	c Calc non-exist non-lernt bins v-fix:     0 done:     74 time:  0.01 s
3024.99/757.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3024.99/757.35	c Subs w/ non-existent bins:      0 time:  0.06 s
3024.99/757.37	c bin-w-bin subsume rem            2 bins  time:  0.00 s
3024.99/757.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3024.99/757.37	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3063.73/767.06	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.18
3134.04/784.67	c Added 1 vars  tried: 80000 time: 70.31
3135.64/785.06	c ORs :      1 avg-s:  0.0 cl-sh: 12344 l-rem:  12344 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   71.90
3135.64/785.09	c lits-rem:      2236  cl-subs:    14110  v-elim:     60  v-fix:    0  time: 110.68 s
3135.64/785.09	c learnt bin added due to v-elim: 0
3135.64/785.09	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
3136.04/785.11	c vivif2 --  cl tried    75858 cl shrink        0 lits rem          0 time: 0.07
3136.44/785.20	c asymm  cl-useful: 0/174/5344 lits-rem:0 time: 0.39
3136.44/785.21	c calculated reachability. Time: 0.00
3136.44/785.21	c  N dy  5319   2211258        75      5344        30     75858     37362   1058311     19.00     16.21  --
3174.39/794.74	c  N dy  5455   2231292        75      5344        30     94363     37362   1455617     21.33     16.22  --
4155.02/1040.23	c  N dy  5482   2711260        75      5344        30     98693     37362   1454390     20.95     16.08  --
4155.02/1040.29	c  S st  5482   2711260        75      5344        30     98693     37362   1454390     20.95     16.08  --
4156.64/1040.63	c  S st  5482   2711765        79      5344        38     99180     37378   1464965     20.95     16.08  --
4156.64/1040.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4156.64/1040.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4160.21/1041.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 51.6M T:  3.63
4160.21/1041.55	c Calc non-exist non-lernt bins v-fix:     0 done:     79 time:  0.01 s
4160.21/1041.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4160.21/1041.57	c Subs w/ non-existent bins:      0 time:  0.08 s
4160.21/1041.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4160.21/1041.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4160.21/1041.60	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4203.35/1052.31	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.22
4203.35/1052.34	c lits-rem:      2092  cl-subs:    13976  v-elim:     60  v-fix:    0  time: 42.90 s
4203.35/1052.34	c learnt bin added due to v-elim: 0
4203.35/1052.34	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
4203.35/1052.36	c vivif2 --  cl tried    85204 cl shrink        0 lits rem          0 time: 0.08
4203.75/1052.46	c asymm  cl-useful: 0/140/5344 lits-rem:0 time: 0.42
4203.75/1052.47	c calculated reachability. Time: 0.00
4203.75/1052.47	c  N dy  5482   2711765        79      5344        38     85204     37378   1218638     20.95     16.08  --
4203.75/1052.47	c  F st  5482   2711765        79      5344        38     85204     37378   1218638     20.95     16.08  --
4208.15/1053.52	c Decided on static restart strategy

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

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

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


[startup+0 s]
/proc/loadavg: 7.39 7.90 7.76 6/180 11673
/proc/meminfo: memFree=29671888/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=50144 CPUtime=0 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 654 0 0 0 0 0 0 0 23 0 1 0 504489214 51347456 585 33554432000 4194304 4797429 140735339632368 18446744073709551615 254261277381 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11673/statm: 12536 586 347 148 0 7465 0

[startup+0.0531989 s]
/proc/loadavg: 7.39 7.90 7.76 6/180 11673
/proc/meminfo: memFree=29671888/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=147500 CPUtime=0.16 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 1143 0 0 0 16 0 0 0 18 0 4 0 504489214 151040000 1043 33554432000 4194304 4797429 140735339632368 18446744073709551615 4430072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 36875 1043 371 148 0 31804 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 147500

[startup+0.10019 s]
/proc/loadavg: 7.39 7.90 7.76 6/180 11673
/proc/meminfo: memFree=29671888/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=147632 CPUtime=0.35 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 1159 0 0 0 35 0 0 0 18 0 4 0 504489214 151175168 1059 33554432000 4194304 4797429 140735339632368 18446744073709551615 4429150 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 36908 1059 371 148 0 31837 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 147632

[startup+0.300156 s]
/proc/loadavg: 7.39 7.90 7.76 6/180 11673
/proc/meminfo: memFree=29671888/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=544360 CPUtime=1.15 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 2492 0 0 0 115 0 0 0 18 0 4 0 504489214 557424640 2182 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424970 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 136090 2182 408 148 0 131019 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 544360

[startup+0.700087 s]
/proc/loadavg: 7.39 7.90 7.76 6/180 11673
/proc/meminfo: memFree=29671888/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=614956 CPUtime=2.74 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 4864 0 0 0 274 0 0 0 18 0 4 0 504489214 629714944 3684 33554432000 4194304 4797429 140735339632368 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 153739 3684 413 148 0 148668 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 614956

[startup+1.50094 s]
/proc/loadavg: 7.39 7.90 7.76 11/184 11677
/proc/meminfo: memFree=29643708/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=616640 CPUtime=5.94 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 5758 0 0 0 594 0 0 0 20 0 4 0 504489214 631439360 4295 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 154160 4295 414 148 0 149089 0
[pid=11673/tid=11675] ppid=11671 vsize=616640 CPUtime=1.47 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 1003 0 0 0 147 0 0 0 25 0 4 0 504489216 631439360 4295 33554432000 4194304 4797429 140735339632368 18446744073709551615 4423089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=616640 CPUtime=1.48 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 1138 0 0 0 148 0 0 0 20 0 4 0 504489216 631439360 4295 33554432000 4194304 4797429 140735339632368 18446744073709551615 4425001 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=616640 CPUtime=1.48 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 1060 0 0 0 148 0 0 0 20 0 4 0 504489216 631439360 4295 33554432000 4194304 4797429 140735339632368 18446744073709551615 4425927 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 616640

[startup+3.10066 s]
/proc/loadavg: 7.39 7.90 7.76 10/184 11677
/proc/meminfo: memFree=29638208/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=618708 CPUtime=12.33 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 7527 0 0 0 1233 0 0 0 25 0 4 0 504489214 633556992 4995 33554432000 4194304 4797429 140735339632368 18446744073709551615 4425129 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 154677 4995 416 148 0 149606 0
[pid=11673/tid=11675] ppid=11671 vsize=618708 CPUtime=3.07 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 1321 0 0 0 307 0 0 0 25 0 4 0 504489216 633556992 4995 33554432000 4194304 4797429 140735339632368 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=618708 CPUtime=3.08 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 1397 0 0 0 308 0 0 0 25 0 4 0 504489216 633556992 4995 33554432000 4194304 4797429 140735339632368 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=618708 CPUtime=3.08 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 1365 0 0 0 308 0 0 0 25 0 4 0 504489216 633556992 4995 33554432000 4194304 4797429 140735339632368 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 618708

[startup+6.30109 s]
/proc/loadavg: 7.52 7.92 7.77 10/184 11677
/proc/meminfo: memFree=29625312/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=621608 CPUtime=25.12 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 10355 0 0 0 2511 1 0 0 25 0 4 0 504489214 636526592 5970 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 155402 5970 416 148 0 150331 0
[pid=11673/tid=11675] ppid=11671 vsize=621608 CPUtime=6.25 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 1758 0 0 0 625 0 0 0 25 0 4 0 504489216 636526592 5970 33554432000 4194304 4797429 140735339632368 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=621608 CPUtime=6.28 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 1645 0 0 0 628 0 0 0 25 0 4 0 504489216 636526592 5970 33554432000 4194304 4797429 140735339632368 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=621608 CPUtime=6.28 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 1734 0 0 0 628 0 0 0 25 0 4 0 504489216 636526592 5970 33554432000 4194304 4797429 140735339632368 18446744073709551615 4387672 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 621608

[startup+12.701 s]
/proc/loadavg: 7.56 7.92 7.77 9/184 11678
/proc/meminfo: memFree=29614088/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=624956 CPUtime=50.68 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 14329 0 0 0 5066 2 0 0 25 0 4 0 504489214 639954944 6976 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568122 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 156239 6976 419 148 0 151168 0
[pid=11673/tid=11675] ppid=11671 vsize=624956 CPUtime=12.61 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 2359 0 0 0 1261 0 0 0 25 0 4 0 504489216 639954944 6976 33554432000 4194304 4797429 140735339632368 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=624956 CPUtime=12.68 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 2364 0 0 0 1268 0 0 0 25 0 4 0 504489216 639954944 6976 33554432000 4194304 4797429 140735339632368 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=624956 CPUtime=12.67 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 2207 0 0 0 1267 0 0 0 25 0 4 0 504489216 639954944 6976 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 624956

[startup+25.5007 s]
/proc/loadavg: 7.66 7.92 7.77 10/184 11678
/proc/meminfo: memFree=29599828/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=629884 CPUtime=101.8 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 22267 0 0 0 10178 2 0 0 25 0 4 0 504489214 645001216 8656 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424949 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 157471 8656 419 148 0 152400 0
[pid=11673/tid=11675] ppid=11671 vsize=629884 CPUtime=25.34 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 5007 0 0 0 2534 0 0 0 25 0 4 0 504489216 645001216 8656 33554432000 4194304 4797429 140735339632368 18446744073709551615 4495483 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=629884 CPUtime=25.48 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 3057 0 0 0 2548 0 0 0 25 0 4 0 504489216 645001216 8656 33554432000 4194304 4797429 140735339632368 18446744073709551615 4415878 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=629884 CPUtime=25.47 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 2934 0 0 0 2547 0 0 0 25 0 4 0 504489216 645001216 8656 33554432000 4194304 4797429 140735339632368 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 629884

[startup+51.1011 s]
/proc/loadavg: 7.77 7.93 7.78 10/184 11679
/proc/meminfo: memFree=29581232/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=637708 CPUtime=204.06 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 33972 0 0 0 20401 5 0 0 25 0 4 0 504489214 653012992 11010 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 159427 11010 421 148 0 154356 0
[pid=11673/tid=11675] ppid=11671 vsize=637708 CPUtime=50.79 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 6850 0 0 0 5079 0 0 0 25 0 4 0 504489216 653012992 11010 33554432000 4194304 4797429 140735339632368 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=637708 CPUtime=51.07 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 6017 0 0 0 5107 0 0 0 25 0 4 0 504489216 653012992 11010 33554432000 4194304 4797429 140735339632368 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=637708 CPUtime=51.06 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 4366 0 0 0 5106 0 0 0 25 0 4 0 504489216 653012992 11010 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 637708

[startup+102.307 s]
/proc/loadavg: 7.95 7.95 7.79 10/184 11680
/proc/meminfo: memFree=29560628/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=643456 CPUtime=408.6 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 48665 0 0 0 40850 10 0 0 25 0 4 0 504489214 658898944 12937 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 160864 12937 423 148 0 155793 0
[pid=11673/tid=11675] ppid=11671 vsize=643456 CPUtime=101.72 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 8636 0 0 0 10171 1 0 0 25 0 4 0 504489216 658898944 12937 33554432000 4194304 4797429 140735339632368 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=643456 CPUtime=102.28 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 8112 0 0 0 10227 1 0 0 25 0 4 0 504489216 658898944 12937 33554432000 4194304 4797429 140735339632368 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=643456 CPUtime=102.26 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 6615 0 0 0 10226 0 0 0 25 0 4 0 504489216 658898944 12937 33554432000 4194304 4797429 140735339632368 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 643456

[startup+162.3 s]
/proc/loadavg: 8.05 7.99 7.81 9/184 11681
/proc/meminfo: memFree=29541372/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=648784 CPUtime=648.25 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 62066 0 0 0 64810 15 0 0 25 0 4 0 504489214 664354816 15209 33554432000 4194304 4797429 140735339632368 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 162196 15209 423 148 0 157125 0
[pid=11673/tid=11675] ppid=11671 vsize=648784 CPUtime=161.38 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 10205 0 0 0 16136 2 0 0 25 0 4 0 504489216 664354816 15209 33554432000 4194304 4797429 140735339632368 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=648784 CPUtime=162.28 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 9680 0 0 0 16226 2 0 0 25 0 4 0 504489216 664354816 15209 33554432000 4194304 4797429 140735339632368 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=648784 CPUtime=162.26 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 8180 0 0 0 16225 1 0 0 25 0 4 0 504489216 664354816 15209 33554432000 4194304 4797429 140735339632368 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 648.25
Current children cumulated vsize (KiB) 648784

[startup+222.301 s]
/proc/loadavg: 8.05 8.00 7.83 9/184 11683
/proc/meminfo: memFree=29520116/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=655576 CPUtime=887.92 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 75438 0 0 0 88772 20 0 0 25 0 4 0 504489214 671309824 17155 33554432000 4194304 4797429 140735339632368 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 163894 17155 422 148 0 158823 0
[pid=11673/tid=11675] ppid=11671 vsize=655576 CPUtime=221.05 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 11887 0 0 0 22102 3 0 0 25 0 4 0 504489216 671309824 17155 33554432000 4194304 4797429 140735339632368 18446744073709551615 4506625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=655576 CPUtime=222.28 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 11377 0 0 0 22226 2 0 0 25 0 4 0 504489216 671309824 17155 33554432000 4194304 4797429 140735339632368 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=655576 CPUtime=222.26 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 9637 0 0 0 22224 2 0 0 25 0 4 0 504489216 671309824 17155 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.92
Current children cumulated vsize (KiB) 655576

[startup+282.301 s]

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

[pid=11673] ppid=11671 vsize=679812 CPUtime=2805.29 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 150886 0 0 0 280473 56 0 0 25 0 4 0 504489214 696127488 26271 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 169953 26271 421 148 0 164882 0
[pid=11673/tid=11675] ppid=11671 vsize=679812 CPUtime=698.4 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 21809 0 0 0 69832 8 0 0 25 0 4 0 504489216 696127488 26271 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=679812 CPUtime=702.29 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 22273 0 0 0 70222 7 0 0 25 0 4 0 504489216 696127488 26271 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=679812 CPUtime=702.26 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 19662 0 0 0 70219 7 0 0 25 0 4 0 504489216 696127488 26271 33554432000 4194304 4797429 140735339632368 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 679812

[startup+762.307 s]
/proc/loadavg: 8.14 8.11 7.94 10/184 11698
/proc/meminfo: memFree=29418788/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=682276 CPUtime=3044.98 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 157711 0 0 0 304438 60 0 0 25 0 4 0 504489214 698650624 28500 33554432000 4194304 4797429 140735339632368 18446744073709551615 4506535 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 170569 28500 421 148 0 165498 0
[pid=11673/tid=11675] ppid=11671 vsize=682276 CPUtime=758.07 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 22369 0 0 0 75799 8 0 0 25 0 4 0 504489216 698650624 28500 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=682276 CPUtime=762.3 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 22997 0 0 0 76222 8 0 0 25 0 4 0 504489216 698650624 28500 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=682276 CPUtime=762.27 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 20223 0 0 0 76219 8 0 0 25 0 4 0 504489216 698650624 28500 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.98
Current children cumulated vsize (KiB) 682276

[startup+822.3 s]
/proc/loadavg: 8.14 8.12 7.96 10/184 11699
/proc/meminfo: memFree=29410324/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=683836 CPUtime=3284.63 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 164140 0 0 0 328400 63 0 0 25 0 4 0 504489214 700248064 28990 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 170959 28990 421 148 0 165888 0
[pid=11673/tid=11675] ppid=11671 vsize=683836 CPUtime=817.74 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 23537 0 0 0 81765 9 0 0 25 0 4 0 504489216 700248064 28990 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=683836 CPUtime=822.29 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 24087 0 0 0 82221 8 0 0 25 0 4 0 504489216 700248064 28990 33554432000 4194304 4797429 140735339632368 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=683836 CPUtime=822.26 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 21225 0 0 0 82218 8 0 0 25 0 4 0 504489216 700248064 28990 33554432000 4194304 4797429 140735339632368 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.63
Current children cumulated vsize (KiB) 683836

[startup+882.301 s]
/proc/loadavg: 8.09 8.11 7.96 10/184 11701
/proc/meminfo: memFree=29414256/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=685904 CPUtime=3524.3 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 172040 0 0 0 352363 67 0 0 25 0 4 0 504489214 702365696 28457 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 171476 28457 421 148 0 166405 0
[pid=11673/tid=11675] ppid=11671 vsize=685904 CPUtime=877.41 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 24609 0 0 0 87731 10 0 0 25 0 4 0 504489216 702365696 28457 33554432000 4194304 4797429 140735339632368 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=685904 CPUtime=882.3 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 25169 0 0 0 88221 9 0 0 25 0 4 0 504489216 702365696 28457 33554432000 4194304 4797429 140735339632368 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=685904 CPUtime=882.25 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 22225 0 0 0 88217 8 0 0 25 0 4 0 504489216 702365696 28457 33554432000 4194304 4797429 140735339632368 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.3
Current children cumulated vsize (KiB) 685904

[startup+942.301 s]
/proc/loadavg: 8.12 8.12 7.97 10/184 11711
/proc/meminfo: memFree=29407852/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=687820 CPUtime=3763.95 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 177505 0 0 0 376324 71 0 0 25 0 4 0 504489214 704327680 30364 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 171955 30364 421 148 0 166884 0
[pid=11673/tid=11675] ppid=11671 vsize=687820 CPUtime=937.07 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 25686 0 0 0 93697 10 0 0 25 0 4 0 504489216 704327680 30364 33554432000 4194304 4797429 140735339632368 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=687820 CPUtime=942.3 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 25718 0 0 0 94220 10 0 0 25 0 4 0 504489216 704327680 30364 33554432000 4194304 4797429 140735339632368 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=687820 CPUtime=942.26 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 22722 0 0 0 94217 9 0 0 25 0 4 0 504489216 704327680 30364 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.95
Current children cumulated vsize (KiB) 687820

[startup+1002.3 s]
/proc/loadavg: 8.11 8.12 7.98 10/184 11713
/proc/meminfo: memFree=29404472/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=691916 CPUtime=4003.62 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 185112 0 0 0 400287 75 0 0 25 0 4 0 504489214 708521984 30717 33554432000 4194304 4797429 140735339632368 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 172979 30717 421 148 0 167908 0
[pid=11673/tid=11675] ppid=11671 vsize=691916 CPUtime=996.74 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 26225 0 0 0 99663 11 0 0 25 0 4 0 504489216 708521984 30717 33554432000 4194304 4797429 140735339632368 18446744073709551615 4524378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=691916 CPUtime=1002.3 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 26829 0 0 0 100220 10 0 0 25 0 4 0 504489216 708521984 30717 33554432000 4194304 4797429 140735339632368 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=691916 CPUtime=1002.25 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 23830 0 0 0 100216 9 0 0 25 0 4 0 504489216 708521984 30717 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.62
Current children cumulated vsize (KiB) 691916

[startup+1062.3 s]
/proc/loadavg: 8.08 8.11 7.99 10/184 11714
/proc/meminfo: memFree=29389072/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=693908 CPUtime=4243.3 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 192021 0 0 0 424252 78 0 0 25 0 4 0 504489214 710561792 31713 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424720 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 173477 31713 421 148 0 168406 0
[pid=11673/tid=11675] ppid=11671 vsize=693908 CPUtime=1056.41 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 27383 0 0 0 105630 11 0 0 25 0 4 0 504489216 710561792 31713 33554432000 4194304 4797429 140735339632368 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=693908 CPUtime=1062.3 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 28092 0 0 0 106219 11 0 0 25 0 4 0 504489216 710561792 31713 33554432000 4194304 4797429 140735339632368 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=693908 CPUtime=1062.26 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 24802 0 0 0 106216 10 0 0 25 0 4 0 504489216 710561792 31713 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.3
Current children cumulated vsize (KiB) 693908

[startup+1122.3 s]
/proc/loadavg: 8.10 8.12 8.00 10/184 11716
/proc/meminfo: memFree=29378760/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=693980 CPUtime=4482.97 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 196893 0 0 0 448215 82 0 0 25 0 4 0 504489214 710635520 33426 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 173495 33426 421 148 0 168424 0
[pid=11673/tid=11675] ppid=11671 vsize=693980 CPUtime=1116.07 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 27818 0 0 0 111596 11 0 0 25 0 4 0 504489216 710635520 33426 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=693980 CPUtime=1122.3 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 28501 0 0 0 112219 11 0 0 25 0 4 0 504489216 710635520 33426 33554432000 4194304 4797429 140735339632368 18446744073709551615 4414401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=693980 CPUtime=1122.26 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 25245 0 0 0 112215 11 0 0 25 0 4 0 504489216 710635520 33426 33554432000 4194304 4797429 140735339632368 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.97
Current children cumulated vsize (KiB) 693980

[startup+1182.3 s]
/proc/loadavg: 8.18 8.14 8.01 10/184 11718
/proc/meminfo: memFree=29371412/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=695476 CPUtime=4722.64 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 205080 0 0 0 472178 86 0 0 25 0 4 0 504489214 712167424 32444 33554432000 4194304 4797429 140735339632368 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 173869 32444 421 148 0 168798 0
[pid=11673/tid=11675] ppid=11671 vsize=695476 CPUtime=1175.74 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 28800 0 0 0 117562 12 0 0 25 0 4 0 504489216 712167424 32444 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=695476 CPUtime=1182.31 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 29486 0 0 0 118219 12 0 0 25 0 4 0 504489216 712167424 32444 33554432000 4194304 4797429 140735339632368 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=695476 CPUtime=1182.25 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 26370 0 0 0 118214 11 0 0 25 0 4 0 504489216 712167424 32444 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.64
Current children cumulated vsize (KiB) 695476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.13 8.01 5/179 11719
/proc/meminfo: memFree=29538956/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=695476 CPUtime=4800.15 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 206211 0 0 0 479928 87 0 0 25 0 4 0 504489214 712167424 33513 33554432000 4194304 4797429 140735339632368 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 173869 33513 421 148 0 168798 0
[pid=11673/tid=11675] ppid=11671 vsize=695476 CPUtime=1195.03 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 28938 0 0 0 119491 12 0 0 25 0 4 0 504489216 712167424 33513 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=695476 CPUtime=1201.71 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 29628 0 0 0 120159 12 0 0 25 0 4 0 504489216 712167424 33513 33554432000 4194304 4797429 140735339632368 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=695476 CPUtime=1201.66 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 26509 0 0 0 120155 11 0 0 25 0 4 0 504489216 712167424 33513 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 695476

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

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

[startup+1201.7 s]
/proc/loadavg: 8.13 8.13 8.01 5/179 11719
/proc/meminfo: memFree=29538956/32951124 swapFree=67111348/67111528
[pid=11673] ppid=11671 vsize=695476 CPUtime=4800.15 cores=1,3,5,7
/proc/11673/stat : 11673 (techdemo) R 11671 11673 10849 0 -1 4202496 206211 0 0 0 479928 87 0 0 25 0 4 0 504489214 712167424 33513 33554432000 4194304 4797429 140735339632368 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11673/statm: 173869 33513 421 148 0 168798 0
[pid=11673/tid=11675] ppid=11671 vsize=695476 CPUtime=1195.03 cores=1,3,5,7
/proc/11673/task/11675/stat : 11675 (techdemo) R 11671 11673 10849 0 -1 4202560 28938 0 0 0 119491 12 0 0 25 0 4 0 504489216 712167424 33513 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11673/tid=11676] ppid=11671 vsize=695476 CPUtime=1201.71 cores=1,3,5,7
/proc/11673/task/11676/stat : 11676 (techdemo) R 11671 11673 10849 0 -1 4202560 29628 0 0 0 120159 12 0 0 25 0 4 0 504489216 712167424 33513 33554432000 4194304 4797429 140735339632368 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11673/tid=11677] ppid=11671 vsize=695476 CPUtime=1201.66 cores=1,3,5,7
/proc/11673/task/11677/stat : 11677 (techdemo) R 11671 11673 10849 0 -1 4202560 26509 0 0 0 120155 11 0 0 25 0 4 0 504489216 712167424 33513 33554432000 4194304 4797429 140735339632368 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 695476

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.19
CPU user time (s): 4799.3
CPU system time (s): 0.885865
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 801560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.3
system time used= 0.885865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206212
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= 227
involuntary context switches= 34069

runsolver used 1.90371 second user time and 4.67029 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-30 01:45:39
IDJOB=3172934
IDBENCH=82952
IDSOLVER=1584
FILE ID=node140/3172934-1304120739
RUNJOBID= node140-1304120739-11651
PBS_JOBID= 13170700
Free space on /tmp= 72656 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172934-1304120739/watcher-3172934-1304120739 -o /tmp/evaluation-result-3172934-1304120739/solver-3172934-1304120739 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172934-1304120739.cnf

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

MD5SUM BENCH= 063ddd149f36deba1032de0c40881dff
RANDOM SEED=566683171

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:      29672044 kB
Buffers:       1016392 kB
Cached:        1707696 kB
SwapCached:        180 kB
Active:         286232 kB
Inactive:      2503044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29672044 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           15864 kB
Writeback:           0 kB
AnonPages:       64924 kB
Mapped:          15076 kB
Slab:           427172 kB
PageTables:       4452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   268200 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= 72656 MiB
End job on node140 at 2011-04-30 02:05:43