Trace number 3173018

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.2 1201.52

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf
MD5SUMfa5f68613be1e2c6017df353c3eb03ef
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.045992
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
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 54450

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-3173018-1304124714.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.10/0.12	c asymm  cl-useful: 0/1905/4450 lits-rem:0 time: 0.43
0.10/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.10/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
0.10/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.10/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.10/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.10/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.10/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1.95/0.51	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.04 s
1.95/0.51	c learnt bin added due to v-elim: 0
1.95/0.51	c Finding binary XORs  T:     0.00 s  found:       0
1.95/0.51	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
1.95/0.51	c calculated reachability. Time: 0.00
1.95/0.51	c Calc default polars -  time:   0.00 s pos:      28 undec:       2 neg:      20
1.95/0.51	c =========================================================================================
1.95/0.51	c types(t): F = full restart, N = normal restart
1.95/0.51	c types(t): S = simplification begin/end, E = solution found
1.95/0.51	c restart types(rt): st = static, dy = dynamic
1.95/0.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.95/0.51	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
1.95/0.51	c Decided on static restart strategy
1.95/0.51	c  N dy    19      4020        50      4450         0      3517     31150     64710     18.46     16.05  --
1.95/0.51	c  N dy    47      8169        50      4450         0      4940     31150     86688     18.14     16.26  --
3.15/0.82	c  N dy    74     12204        50      4450         0      4770     31150     77957     18.58     16.34  --
3.55/0.92	c  N dy   101     16211        50      4450         0      8308     31150    143410     18.80     16.34  --
4.74/1.22	c  N dy   128     20221        50      4450         0      6876     31150    109825     18.55     16.38  --
5.54/1.43	c  N dy   156     24367        50      4450         0     10499     31150    177493     18.98     16.41  --
6.75/1.71	c  N dy   183     28380        50      4450         0      8058     31150    124180     18.54     16.41  --
7.15/1.83	c  S st   194     30001        50      4450         0      9453     31150    149235     17.96     16.39  --
7.15/1.87	c  S st   194     30505        50      4450         0      9906     31150    157734     17.96     16.39  --
7.15/1.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.15/1.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.15/1.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.07
7.15/1.89	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.15/1.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.15/1.89	c Subs w/ non-existent bins:      0 time:  0.00 s
7.15/1.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.15/1.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.15/1.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.54/2.47	c lits-rem:      1179  cl-subs:     1390  v-elim:     50  v-fix:    0  time:  2.29 s
9.54/2.47	c learnt bin added due to v-elim: 0
9.54/2.47	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.54/2.47	c vivif2 --  cl tried     8516 cl shrink        0 lits rem          0 time: 0.00
10.34/2.61	c asymm  cl-useful: 0/1853/4450 lits-rem:0 time: 0.58
10.34/2.61	c calculated reachability. Time: 0.00
10.34/2.61	c  N dy   194     30505        50      4450         0      8516     31150    133068     17.96     16.39  --
10.34/2.61	c  F st   194     30505        50      4450         0      8516     31150    133068     17.96     16.39  --
10.74/2.76	c Decided on static restart strategy
11.54/2.92	c  N dy   214     34663        50      4450         0     12122     31150    200151     18.80     16.38  --
12.76/3.22	c  N dy   241     38685        50      4450         0      8819     31150    132958     18.41     16.37  --
13.93/3.51	c  N dy   268     42706        50      4450         0     12366     31150    199212     18.79     16.38  --
14.73/3.79	c  S st   289     45759        50      4450         0     15031     31150    248785     18.60     16.39  --
15.13/3.85	c  S st   289     46263        50      4450         0     15493     31150    257665     18.60     16.39  --
15.13/3.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.13/3.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  0.14
15.13/3.88	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.13/3.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.88	c Subs w/ non-existent bins:      0 time:  0.01 s
15.13/3.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.13/3.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
17.55/4.48	c lits-rem:      1679  cl-subs:     2318  v-elim:     50  v-fix:    0  time:  2.37 s
17.55/4.48	c learnt bin added due to v-elim: 0
17.55/4.48	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.55/4.48	c vivif2 --  cl tried    13175 cl shrink        0 lits rem          0 time: 0.01
17.93/4.56	c asymm  cl-useful: 0/692/4450 lits-rem:0 time: 0.32
17.93/4.57	c calculated reachability. Time: 0.00
17.93/4.57	c  N dy   289     46263        50      4450         0     13175     31150    213125     18.60     16.39  --
19.52/4.90	c  N dy   317     50407        50      4450         0      9168     31150    131092     19.01     16.40  --
20.73/5.21	c  N dy   344     54459        50      4450         0     12742     31150    197970     18.79     16.42  --
21.95/5.58	c  N dy   371     58504        50      4450         0     16289     31150    263677     18.68     16.41  --
23.52/5.92	c  N dy   398     62560        50      4450         0     11169     31150    161475     18.65     16.41  --
24.72/6.27	c  N dy   425     66566        50      4450         0     14650     31150    225611     18.88     16.41  --
25.94/6.55	c  S st   445     69396        50      4450         0     17124     31150    271254     18.57     16.40  --
26.34/6.61	c  S st   445     69900        50      4450         0     17579     31150    279684     18.57     16.40  --
26.34/6.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.34/6.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.34/6.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  0.19
26.34/6.66	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
26.34/6.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.34/6.66	c Subs w/ non-existent bins:      0 time:  0.01 s
26.34/6.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.34/6.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.67	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.12/7.35	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
31.91/8.05	c Added 1 vars  tried: 11100 time: 2.77
31.91/8.06	c ORs :      1 avg-s:  0.0 cl-sh:  1327 l-rem:   1327 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.81
31.91/8.06	c lits-rem:      1564  cl-subs:     2491  v-elim:     50  v-fix:    0  time:  5.56 s
31.91/8.06	c learnt bin added due to v-elim: 0
31.91/8.06	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
31.91/8.06	c vivif2 --  cl tried    15088 cl shrink        0 lits rem          0 time: 0.01
32.71/8.22	c asymm  cl-useful: 0/1682/4451 lits-rem:0 time: 0.62
32.71/8.22	c calculated reachability. Time: 0.00
32.71/8.22	c  N dy   445     69900        51      4451         2     15088     31133    231554     18.57     16.40  --
32.71/8.22	c  F st   445     69900        51      4451         2     15088     31133    231554     18.57     16.40  --
33.51/8.42	c Decided on static restart strategy
34.31/8.68	c  N dy   467     74361        51      4451         2      9564     31133    122951     18.59     16.39  --
35.91/9.07	c  N dy   499     79166        51      4451         2     13762     31133    202029     18.84     16.41  --
37.91/9.57	c  N dy   534     84342        51      4451         2     18313     31133    286385     18.55     16.40  --
40.30/10.13	c  N dy   570     89733        51      4451         2     12613     31133    171727     18.77     16.41  --
42.30/10.69	c  N dy   609     95532        51      4451         2     17681     31133    264831     18.76     16.40  --
45.50/11.41	c  N dy   650    101637        51      4451         2     11707     31133    147740     18.16     16.39  --
46.69/11.71	c  S st   672    104852        51      4451         2     14532     31133    200082     18.67     16.38  --
46.69/11.77	c  S st   672    105357        51      4451         2     15001     31133    208918     18.67     16.38  --
46.69/11.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.69/11.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.09/11.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.18
47.09/11.81	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.09/11.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.09/11.81	c Subs w/ non-existent bins:      0 time:  0.01 s
47.09/11.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.09/11.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.09/11.82	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.49/12.40	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 23.0 T:    0.00
49.49/12.41	c lits-rem:       890  cl-subs:     1211  v-elim:     50  v-fix:    0  time:  2.35 s
49.49/12.41	c learnt bin added due to v-elim: 0
49.49/12.41	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
49.49/12.41	c vivif2 --  cl tried    13789 cl shrink        0 lits rem          0 time: 0.01
49.89/12.56	c asymm  cl-useful: 0/1195/4451 lits-rem:0 time: 0.60
49.89/12.56	c calculated reachability. Time: 0.00
49.89/12.56	c  N dy   672    105357        51      4451         2     13789     31133    187527     18.67     16.38  --
52.71/13.26	c  N dy   718    112186        51      4451         2     19765     31133    298624     18.76     16.39  --
56.28/14.13	c  N dy   767    119442        51      4451         2     13933     31133    183771     18.78     16.39  --
59.48/14.93	c  N dy   818    127106        51      4451         2     20646     31133    307871     18.67     16.39  --
63.47/15.96	c  N dy   873    135354        51      4451         2     14774     31133    190267     18.79     16.39  --
67.47/16.95	c  N dy   932    144127        51      4451         2     22484     31133    333423     18.82     16.39  --
72.27/18.16	c  N dy   994    153393        51      4451         2     16622     31133    215139     18.49     16.39  --
74.28/18.69	c  S st  1026    158037        51      4451         2     20718     31133    290177     18.68     16.38  --
74.68/18.76	c  S st  1026    158539        51      4451         2     21167     31133    298588     18.68     16.38  --
74.68/18.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.68/18.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.06/18.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.2M T:  0.29
75.06/18.83	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
75.06/18.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.06/18.84	c Subs w/ non-existent bins:      0 time:  0.01 s
75.06/18.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.06/18.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.06/18.84	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.26/19.68	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
78.26/19.68	c lits-rem:      1215  cl-subs:     2259  v-elim:     50  v-fix:    0  time:  3.36 s
78.26/19.68	c learnt bin added due to v-elim: 0
78.26/19.68	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
78.26/19.68	c vivif2 --  cl tried    18908 cl shrink        0 lits rem          0 time: 0.01
79.08/19.84	c asymm  cl-useful: 0/883/4451 lits-rem:0 time: 0.61
79.08/19.84	c calculated reachability. Time: 0.00
79.08/19.84	c  N dy  1026    158539        51      4451         2     18908     31133    258869     18.68     16.38  --
84.65/21.20	c  N dy  1095    168772        51      4451         2     27891     31133    425953     18.33     16.38  --
89.84/22.57	c  N dy  1167    179554        51      4451         2     22552     31133    318040     18.37     16.38  --
96.65/24.28	c  N dy  1245    191136        51      4451         2     17001     31133    207387     18.87     16.39  --
103.03/25.87	c  N dy  1327    203405        55      4451        14     27726     31153    406562     18.46     16.39  --
110.62/27.78	c  N dy  1415    216485        55      4451        14     22560     31153    303644     19.42     16.40  --
119.41/29.92	c  N dy  1508    230357        55      4451        14     34734     31153    529858     18.80     16.40  --
123.40/30.93	c  S st  1558    237808        55      4451        14     23725     31153    317786     19.49     16.41  --
123.80/31.01	c  S st  1558    238310        55      4451        14     24180     31153    326514     19.49     16.41  --
123.80/31.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.80/31.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.20/31.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.0M T:  0.38
124.20/31.11	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
124.20/31.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.20/31.11	c Subs w/ non-existent bins:      0 time:  0.01 s
124.20/31.12	c Replacing        1 vars Replaced     1482 lits Time:     0.03 s 
124.20/31.13	c bin-w-bin subsume rem            2 bins  time:  0.00 s
124.20/31.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.20/31.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
127.41/31.97	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
127.41/31.98	c lits-rem:      1199  cl-subs:     2250  v-elim:     50  v-fix:    0  time:  3.41 s
127.41/31.98	c learnt bin added due to v-elim: 0
127.41/31.98	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
127.41/31.98	c vivif2 --  cl tried    21930 cl shrink        0 lits rem          0 time: 0.01
128.19/32.12	c asymm  cl-useful: 0/691/4451 lits-rem:0 time: 0.56
128.19/32.12	c calculated reachability. Time: 0.00
128.19/32.12	c  N dy  1558    238310        54      4451         8     21930     31145    287679     19.49     16.41  --
137.78/34.54	c  N dy  1661    253600        54      4451         8     35359     31145    536616     18.59     16.38  --
147.38/36.98	c  N dy  1771    269908        54      4451         8     31417     31145    455001     18.43     16.37  --
158.96/39.81	c  N dy  1887    287183        54      4451         8     27405     31145    373532     18.94     16.35  --
172.15/43.10	c  N dy  2011    305649        54      4451         8     23474     31145    289526     18.64     16.33  --
185.73/46.55	c  N dy  2143    325215        58      4451        24     40752     31169    611226     18.77     16.32  --
199.71/50.02	c  N dy  2279    345309        58      4451        24     37427     31169    541231     18.71     16.31  --
209.31/52.45	c  S st  2361    357466        58      4451        24     26131     31169    321079     19.23     16.30  --
209.71/52.54	c  S st  2361    357974        58      4451        24     26581     31169    329472     19.23     16.30  --
209.71/52.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
209.71/52.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.11/52.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.0M T:  0.46
210.11/52.66	c Calc non-exist non-lernt bins v-fix:     0 done:     58 time:  0.00 s
210.11/52.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.11/52.66	c Subs w/ non-existent bins:      0 time:  0.01 s
210.11/52.67	c Replacing        2 vars Replaced      248 lits Time:     0.01 s 
210.11/52.67	c bin-w-bin subsume rem            4 bins  time:  0.00 s
210.11/52.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
210.11/52.67	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
214.10/53.60	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.02
214.10/53.61	c lits-rem:       606  cl-subs:     1538  v-elim:     50  v-fix:    0  time:  3.75 s
214.10/53.61	c learnt bin added due to v-elim: 0
214.10/53.61	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
214.10/53.61	c vivif2 --  cl tried    25043 cl shrink        0 lits rem          0 time: 0.01
214.50/53.76	c asymm  cl-useful: 0/1093/4451 lits-rem:0 time: 0.60
214.50/53.76	c calculated reachability. Time: 0.00
214.50/53.76	c  N dy  2361    357974        56      4451        12     25043     31153    305111     19.23     16.30  --
229.68/57.53	c  N dy  2496    378013        56      4451        12     42750     31153    634291     18.79     16.28  --
244.87/61.31	c  N dy  2632    398140        60      4451        21     37741     31169    530715     18.83     16.26  --
261.25/65.43	c  N dy  2767    418236        60      4451        23     31712     31171    410516     18.30     16.24  --
278.82/69.86	c  N dy  2902    438245        60      4451        23     49370     31171    740145     19.02     16.23  --
294.43/73.77	c  N dy  3037    458293        60      4451        23     42324     31171    597954     18.31     16.22  --
311.61/78.08	c  N dy  3172    478377        60      4451        23     34485     31171    445435     19.44     16.20  --
330.76/82.89	c  N dy  3307    498401        60      4451        23     52368     31171    779935     18.22     16.19  --
347.95/87.13	c  N dy  3442    518479        60      4451        23     43609     31171    608224     18.72     16.18  --
365.93/91.69	c  S st  3567    536961        60      4451        23     32475     31171    392132     18.70     16.16  --
366.33/91.79	c  S st  3567    537461        60      4451        23     32923     31171    400724     18.70     16.16  --
366.33/91.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
366.33/91.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
367.13/91.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.8M T:  0.62
367.13/91.95	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
367.13/91.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
367.13/91.95	c Subs w/ non-existent bins:      0 time:  0.02 s
367.13/91.96	c Replacing        1 vars Replaced      356 lits Time:     0.02 s 
367.13/91.96	c bin-w-bin subsume rem            2 bins  time:  0.00 s
367.13/91.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
367.13/91.96	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
372.72/93.35	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.02
398.30/99.77	c Added 1 vars  tried: 80000 time: 25.63
398.30/99.79	c ORs :      1 avg-s:  0.0 cl-sh:  1539 l-rem:   1539 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   25.70
398.30/99.79	c lits-rem:       805  cl-subs:     1974  v-elim:     50  v-fix:    0  time: 31.28 s
398.30/99.79	c learnt bin added due to v-elim: 0
398.30/99.79	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
398.70/99.80	c vivif2 --  cl tried    30948 cl shrink        0 lits rem          0 time: 0.02
399.09/99.96	c asymm  cl-useful: 0/722/4452 lits-rem:0 time: 0.63
399.09/99.96	c calculated reachability. Time: 0.00
399.09/99.96	c  N dy  3567    537461        60      4452        21     30948     31149    368200     18.70     16.16  --
399.09/99.96	c  F st  3567    537461        60      4452        21     30948     31149    368200     18.70     16.16  --
400.69/100.32	c Decided on static restart strategy
417.09/104.44	c  N dy  3694    557523        60      4452        22     48624     31149    699955     18.80     16.16  --
436.24/109.24	c  N dy  3830    577597        60      4452        22     38192     31149    493505     18.44     16.16  --
456.65/114.38	c  N dy  3965    597729        60      4452        22     55989     31149    826011     18.76     16.15  --
475.00/118.93	c  N dy  4100    617734        64      4452        34     44501     31169    604144     18.56     16.15  --
497.78/124.67	c  N dy  4235    637781        64      4452        34     32149     31169    366871     19.01     16.15  --
516.15/129.26	c  N dy  4370    657880        68      4452        46     49959     31189    700451     19.15     16.14  --
538.12/134.73	c  N dy  4506    677943        68      4452        46     36797     31189    447341     18.39     16.14  --
669.57/167.65	c  N dy  4550    806191        68      4452        46     51044     31189    655882     15.51     15.66  --
669.57/167.68	c  S st  4550    806191        68      4452        46     51044     31189    655882     15.51     15.66  --
670.37/167.85	c  S st  4550    806692        69      4452        49     51510     31193    664644     15.51     15.66  --
670.37/167.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
670.37/167.85	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
671.57/168.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.0M T:  1.17
671.57/168.14	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.00 s
671.57/168.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
671.57/168.15	c Subs w/ non-existent bins:      0 time:  0.03 s
671.57/168.19	c Replacing        3 vars Replaced     2097 lits Time:     0.15 s 
671.57/168.20	c bin-w-bin subsume rem            6 bins  time:  0.00 s
671.57/168.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
671.57/168.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
683.56/171.13	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
722.31/180.84	c Added 1 vars  tried: 80000 time: 38.78
722.71/180.95	c ORs :      1 avg-s:  0.0 cl-sh:  6219 l-rem:   6219 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   39.24
722.71/180.97	c lits-rem:      1094  cl-subs:     9400  v-elim:     50  v-fix:    0  time: 50.99 s
722.71/180.97	c learnt bin added due to v-elim: 0
722.71/180.97	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
722.71/180.97	c vivif2 --  cl tried    42110 cl shrink        0 lits rem          0 time: 0.03
723.11/181.06	c asymm  cl-useful: 0/319/4453 lits-rem:0 time: 0.33
723.11/181.06	c calculated reachability. Time: 0.00
723.11/181.06	c  N dy  4550    806692        67      4453        35     42110     31149    529444     15.51     15.66  --
745.49/186.60	c  N dy  4685    826753        67      4453        35     60131     31149    870061     19.04     15.65  --
767.86/192.20	c  N dy  4821    846866        67      4453        35     44543     31149    571262     18.90     15.64  --
791.05/198.01	c  N dy  4956    866867        71      4453        46     62596     31165    913354     19.04     15.63  --
1206.16/301.94	c  N dy  4996   1210040        71      4453        46     56920     31165    723067     14.68     14.75  --
1206.16/301.97	c  S st  4996   1210040        71      4453        46     56920     31165    723067     14.68     14.75  --
1206.95/302.15	c  S st  4996   1210544        74      4453        52     57384     31177    731906     14.68     14.75  --
1206.95/302.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1206.95/302.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1208.17/302.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 23.1M T:  1.33
1208.17/302.49	c Calc non-exist non-lernt bins v-fix:     0 done:     74 time:  0.01 s
1208.17/302.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1208.57/302.50	c Subs w/ non-existent bins:      0 time:  0.04 s
1208.57/302.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1208.57/302.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1208.57/302.52	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1222.13/305.94	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.07
1222.13/305.95	c lits-rem:       669  cl-subs:    12575  v-elim:     50  v-fix:    0  time: 13.73 s
1222.13/305.95	c learnt bin added due to v-elim: 0
1222.13/305.95	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
1222.13/305.96	c vivif2 --  cl tried    44809 cl shrink        3 lits rem          3 time: 0.04
1222.53/306.05	c asymm  cl-useful: 0/247/4453 lits-rem:0 time: 0.34
1222.53/306.05	c calculated reachability. Time: 0.00
1222.53/306.05	c  N dy  4996   1210544        74      4453        52     44809     31177    578119     14.68     14.75  --
1936.13/484.63	c  N dy  5035   1710544        76      4453        56     74798     31185    962214     16.14     14.08  --
1936.13/484.67	c  S st  5035   1710544        76      4453        56     74798     31185    962214     16.14     14.08  --
1937.33/484.92	c  S st  5035   1711045        76      4453        56     75277     31185    971051     16.14     14.08  --
1937.33/484.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1937.33/484.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1939.32/485.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 33.1M T:  2.10
1939.32/485.45	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
1939.32/485.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1939.32/485.47	c Subs w/ non-existent bins:      0 time:  0.06 s
1939.32/485.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1939.32/485.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1939.32/485.49	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1964.90/491.88	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.13
2022.42/506.24	c Added 1 vars  tried: 80000 time: 57.36
2023.22/506.46	c ORs :      1 avg-s:  0.0 cl-sh:  7658 l-rem:   7658 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   58.21
2023.22/506.47	c lits-rem:      3362  cl-subs:    16167  v-elim:     50  v-fix:    0  time: 83.85 s
2023.22/506.47	c learnt bin added due to v-elim: 0
2023.22/506.47	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2023.22/506.49	c vivif2 --  cl tried    59110 cl shrink        1 lits rem          2 time: 0.05
2023.62/506.58	c asymm  cl-useful: 0/153/4454 lits-rem:0 time: 0.38
2023.62/506.59	c calculated reachability. Time: 0.00
2023.62/506.59	c  N dy  5035   1711045        77      4454        58     59110     31170    753672     16.14     14.08  --
2862.64/716.55	c  N dy  5089   2211045        77      4454        58     75213     31170    929346     17.23     13.75  --
2862.64/716.59	c  S st  5089   2211045        77      4454        58     75213     31170    929346     17.23     13.75  --
2862.64/716.59	c Finding binary XORs  T:     0.00 s  found:       0
2863.85/716.87	c  S st  5089   2211547        80      4454        64     75688     31182    938204     17.23     13.75  --
2863.85/716.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2863.85/716.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2866.24/717.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.6M T:  2.12
2866.24/717.40	c Calc non-exist non-lernt bins v-fix:     0 done:     80 time:  0.01 s
2866.24/717.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2866.24/717.42	c Subs w/ non-existent bins:      0 time:  0.06 s
2866.24/717.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2866.24/717.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2866.24/717.44	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2886.22/722.41	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.19
2886.22/722.43	c lits-rem:       611  cl-subs:    11048  v-elim:     50  v-fix:    0  time: 19.96 s
2886.22/722.43	c learnt bin added due to v-elim: 0
2886.22/722.43	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2886.22/722.45	c vivif2 --  cl tried    64640 cl shrink        2 lits rem          2 time: 0.06
2886.62/722.54	c asymm  cl-useful: 0/150/4454 lits-rem:0 time: 0.37
2886.62/722.54	c calculated reachability. Time: 0.00
2886.62/722.54	c  N dy  5089   2211547        80      4454        64     64640     31182    800216     17.23     13.75  --
3855.43/965.00	c  N dy  5175   2711548        82      4454        88     87078     31194   1081093     17.17     13.18  --
3855.43/965.05	c  S st  5175   2711548        82      4454        88     87078     31194   1081093     17.17     13.18  --
3856.63/965.33	c  S st  5175   2712048        82      4454        93     87551     31194   1089904     17.17     13.18  --
3856.63/965.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3856.63/965.33	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
3859.02/965.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      3 BRemN:      0 CBin:       0 P: 38.4M T:  2.50
3859.02/965.96	c Calc non-exist non-lernt bins v-fix:     0 done:     81 time:  0.01 s
3859.02/965.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3859.02/965.98	c Subs w/ non-existent bins:      0 time:  0.09 s
3859.82/966.15	c Replacing        1 vars Replaced       40 lits Time:     0.66 s 
3859.82/966.16	c bin-w-bin subsume rem            3 bins  time:  0.00 s
3859.82/966.18	c subs with bin:      100  lits-rem:         0  v-fix:    0  time:  0.07 s
3859.82/966.18	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3885.79/972.61	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.16
3938.51/985.86	c Added 1 vars  tried: 80000 time: 52.90
3939.31/986.05	c ORs :      1 avg-s:  0.0 cl-sh:  7597 l-rem:   7597 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   53.69
3939.31/986.07	c lits-rem:      2982  cl-subs:    12496  v-elim:     50  v-fix:    0  time: 79.45 s
3939.31/986.07	c learnt bin added due to v-elim: 0
3939.31/986.07	c vivif2 --  cl tried     4455 cl shrink        0 lits rem          0 time: 0.00
3939.31/986.09	c vivif2 --  cl tried    58988 cl shrink        1 lits rem          1 time: 0.07
3939.71/986.19	c asymm  cl-useful: 0/180/4455 lits-rem:0 time: 0.39
3939.71/986.19	c calculated reachability. Time: 0.00
3939.71/986.19	c  N dy  5175   2712048        81      4455        68     58988     31165    783791     17.17     13.18  --
3939.71/986.19	c  F st  5175   2712048        81      4455        68     58988     31165    783791     17.17     13.18  --
3942.51/986.89	c Decided on static restart strategy
3972.08/994.27	c  N dy  5303   2732053        81      4455        68     77360     31165   1119107     18.57     13.19  --

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-3173018-1304124714/watcher-3173018-1304124714 -o /tmp/evaluation-result-3173018-1304124714/solver-3173018-1304124714 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3173018-1304124714.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: 3.64 6.18 7.04 3/174 15646
/proc/meminfo: memFree=31254116/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=50012 CPUtime=0 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 639 0 0 0 0 0 0 0 18 0 1 0 524070047 51212288 571 33554432000 4194304 4797429 140733529103328 18446744073709551615 242970211013 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15646/statm: 12503 571 347 148 0 7432 0

[startup+0.0385371 s]
/proc/loadavg: 3.64 6.18 7.04 3/174 15646
/proc/meminfo: memFree=31254116/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=147364 CPUtime=0.1 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 1049 0 0 0 10 0 0 0 18 0 4 0 524070047 150900736 960 33554432000 4194304 4797429 140733529103328 18446744073709551615 4428848 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 36841 960 371 148 0 31770 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 147364

[startup+0.126401 s]
/proc/loadavg: 3.64 6.18 7.04 3/174 15646
/proc/meminfo: memFree=31254116/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=608176 CPUtime=0.45 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) D 15642 15646 15609 0 -1 4202496 1540 0 0 0 45 0 0 0 18 0 4 0 524070047 622772224 1287 33554432000 4194304 4797429 140733529103328 18446744073709551615 242970593463 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 152044 1287 391 148 0 146973 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 608176

[startup+0.300493 s]
/proc/loadavg: 3.64 6.18 7.04 3/174 15646
/proc/meminfo: memFree=31254116/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=609436 CPUtime=1.15 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 2375 0 0 0 115 0 0 0 18 0 4 0 524070047 624062464 2102 33554432000 4194304 4797429 140733529103328 18446744073709551615 4426348 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 152359 2102 408 148 0 147288 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 609436

[startup+0.700425 s]
/proc/loadavg: 3.64 6.18 7.04 3/174 15646
/proc/meminfo: memFree=31254116/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=613796 CPUtime=2.75 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 4543 0 0 0 275 0 0 0 18 0 4 0 524070047 628527104 3541 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424649 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 153449 3541 413 148 0 148378 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 613796

[startup+1.50029 s]
/proc/loadavg: 3.64 6.18 7.04 11/182 15654
/proc/meminfo: memFree=31227392/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=615144 CPUtime=5.95 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 5326 0 0 0 594 1 0 0 20 0 4 0 524070047 629907456 4085 33554432000 4194304 4797429 140733529103328 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 153786 4085 414 148 0 148715 0
[pid=15646/tid=15652] ppid=15642 vsize=615144 CPUtime=1.48 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 922 0 0 0 148 0 0 0 23 0 4 0 524070049 629907456 4085 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=615144 CPUtime=1.47 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 1032 0 0 0 147 0 0 0 23 0 4 0 524070049 629907456 4085 33554432000 4194304 4797429 140733529103328 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=615144 CPUtime=1.48 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 1055 0 0 0 148 0 0 0 20 0 4 0 524070049 629907456 4085 33554432000 4194304 4797429 140733529103328 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 615144

[startup+3.10101 s]
/proc/loadavg: 3.99 6.21 7.04 10/182 15654
/proc/meminfo: memFree=31219704/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=616504 CPUtime=12.34 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 6975 0 0 0 1233 1 0 0 25 0 4 0 524070047 631300096 4453 33554432000 4194304 4797429 140733529103328 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 154126 4453 416 148 0 149055 0
[pid=15646/tid=15652] ppid=15642 vsize=616504 CPUtime=3.08 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 1117 0 0 0 308 0 0 0 25 0 4 0 524070049 631300096 4453 33554432000 4194304 4797429 140733529103328 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=616504 CPUtime=3.07 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 1269 0 0 0 307 0 0 0 25 0 4 0 524070049 631300096 4453 33554432000 4194304 4797429 140733529103328 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=616504 CPUtime=3.08 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 1261 0 0 0 308 0 0 0 25 0 4 0 524070049 631300096 4453 33554432000 4194304 4797429 140733529103328 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 616504

[startup+6.30046 s]
/proc/loadavg: 3.99 6.21 7.04 11/182 15654
/proc/meminfo: memFree=31208952/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=619116 CPUtime=25.12 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 9628 0 0 0 2510 2 0 0 25 0 4 0 524070047 633974784 5568 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 154779 5568 416 148 0 149708 0
[pid=15646/tid=15652] ppid=15642 vsize=619116 CPUtime=6.28 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 1523 0 0 0 628 0 0 0 25 0 4 0 524070049 633974784 5568 33554432000 4194304 4797429 140733529103328 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=619116 CPUtime=6.25 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 1717 0 0 0 625 0 0 0 25 0 4 0 524070049 633974784 5568 33554432000 4194304 4797429 140733529103328 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=619116 CPUtime=6.28 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 1725 0 0 0 628 0 0 0 25 0 4 0 524070049 633974784 5568 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568013 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) 619116

[startup+12.7004 s]
/proc/loadavg: 4.82 6.31 7.07 10/182 15654
/proc/meminfo: memFree=31200740/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=621804 CPUtime=50.69 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 13550 0 0 0 5067 2 0 0 25 0 4 0 524070047 636727296 7279 33554432000 4194304 4797429 140733529103328 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 155451 7279 419 148 0 150380 0
[pid=15646/tid=15652] ppid=15642 vsize=621804 CPUtime=12.68 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 2622 0 0 0 1268 0 0 0 25 0 4 0 524070049 636727296 7279 33554432000 4194304 4797429 140733529103328 18446744073709551615 4495530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=621804 CPUtime=12.62 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 2235 0 0 0 1262 0 0 0 25 0 4 0 524070049 636727296 7279 33554432000 4194304 4797429 140733529103328 18446744073709551615 4354704 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=621804 CPUtime=12.68 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 2209 0 0 0 1268 0 0 0 25 0 4 0 524070049 636727296 7279 33554432000 4194304 4797429 140733529103328 18446744073709551615 4524378 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 621804

[startup+25.5012 s]
/proc/loadavg: 5.31 6.37 7.08 10/182 15654
/proc/meminfo: memFree=31190532/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=625936 CPUtime=101.83 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 21096 0 0 0 10180 3 0 0 25 0 4 0 524070047 640958464 7973 33554432000 4194304 4797429 140733529103328 18446744073709551615 4425072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 156484 7973 421 148 0 151413 0
[pid=15646/tid=15652] ppid=15642 vsize=625936 CPUtime=25.47 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 4856 0 0 0 2547 0 0 0 25 0 4 0 524070049 640958464 7973 33554432000 4194304 4797429 140733529103328 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=625936 CPUtime=25.36 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 2996 0 0 0 2536 0 0 0 25 0 4 0 524070049 640958464 7973 33554432000 4194304 4797429 140733529103328 18446744073709551615 4524378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=625936 CPUtime=25.47 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 3100 0 0 0 2547 0 0 0 25 0 4 0 524070049 640958464 7973 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 625936

[startup+51.1007 s]
/proc/loadavg: 6.30 6.52 7.11 10/182 15655
/proc/meminfo: memFree=31174632/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=632452 CPUtime=204.11 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 32648 0 0 0 20405 6 0 0 25 0 4 0 524070047 647630848 10036 33554432000 4194304 4797429 140733529103328 18446744073709551615 4425120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 158113 10036 421 148 0 153042 0
[pid=15646/tid=15652] ppid=15642 vsize=632452 CPUtime=51.07 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 6162 0 0 0 5107 0 0 0 25 0 4 0 524070049 647630848 10036 33554432000 4194304 4797429 140733529103328 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=632452 CPUtime=50.84 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 6333 0 0 0 5084 0 0 0 25 0 4 0 524070049 647630848 10036 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=632452 CPUtime=51.07 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 4403 0 0 0 5107 0 0 0 25 0 4 0 524070049 647630848 10036 33554432000 4194304 4797429 140733529103328 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 632452

[startup+102.306 s]
/proc/loadavg: 7.32 6.76 7.16 10/182 15656
/proc/meminfo: memFree=31153076/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=637368 CPUtime=408.7 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 46045 0 0 0 40859 11 0 0 25 0 4 0 524070047 652664832 12629 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424865 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 159342 12629 421 148 0 154271 0
[pid=15646/tid=15652] ppid=15642 vsize=637368 CPUtime=102.28 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 8006 0 0 0 10227 1 0 0 25 0 4 0 524070049 652664832 12629 33554432000 4194304 4797429 140733529103328 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=637368 CPUtime=101.81 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 8170 0 0 0 10180 1 0 0 25 0 4 0 524070049 652664832 12629 33554432000 4194304 4797429 140733529103328 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=637368 CPUtime=102.28 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 6091 0 0 0 10227 1 0 0 25 0 4 0 524070049 652664832 12629 33554432000 4194304 4797429 140733529103328 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.7
Current children cumulated vsize (KiB) 637368

[startup+162.301 s]
/proc/loadavg: 7.81 7.00 7.21 10/182 15658
/proc/meminfo: memFree=31138520/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=644108 CPUtime=648.41 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 59335 0 0 0 64825 16 0 0 25 0 4 0 524070047 659566592 14349 33554432000 4194304 4797429 140733529103328 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 161027 14349 421 148 0 155956 0
[pid=15646/tid=15652] ppid=15642 vsize=644108 CPUtime=162.27 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 9837 0 0 0 16226 1 0 0 25 0 4 0 524070049 659566592 14349 33554432000 4194304 4797429 140733529103328 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=644108 CPUtime=161.53 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 9906 0 0 0 16151 2 0 0 25 0 4 0 524070049 659566592 14349 33554432000 4194304 4797429 140733529103328 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=644108 CPUtime=162.28 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 7854 0 0 0 16226 2 0 0 25 0 4 0 524070049 659566592 14349 33554432000 4194304 4797429 140733529103328 18446744073709551615 4356194 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 648.41
Current children cumulated vsize (KiB) 644108

[startup+222.3 s]
/proc/loadavg: 7.96 7.19 7.26 10/182 15660
/proc/meminfo: memFree=31124328/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=647652 CPUtime=888.12 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 70622 0 0 0 88791 21 0 0 25 0 4 0 524070047 663195648 15996 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 161913 15996 421 148 0 156842 0
[pid=15646/tid=15652] ppid=15642 vsize=647652 CPUtime=222.26 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 11331 0 0 0 22224 2 0 0 25 0 4 0 524070049 663195648 15996 33554432000 4194304 4797429 140733529103328 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=647652 CPUtime=221.26 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 11258 0 0 0 22123 3 0 0 25 0 4 0 524070049 663195648 15996 33554432000 4194304 4797429 140733529103328 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=647652 CPUtime=222.28 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 9233 0 0 0 22225 3 0 0 25 0 4 0 524070049 663195648 15996 33554432000 4194304 4797429 140733529103328 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 888.12
Current children cumulated vsize (KiB) 647652

[startup+282.301 s]

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

[pid=15646] ppid=15642 vsize=670476 CPUtime=2805.91 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 140235 0 0 0 280537 54 0 0 25 0 4 0 524070047 686567424 24759 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 167619 24759 421 148 0 162548 0
[pid=15646/tid=15652] ppid=15642 vsize=670476 CPUtime=702.26 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 20854 0 0 0 70219 7 0 0 25 0 4 0 524070049 686567424 24759 33554432000 4194304 4797429 140733529103328 18446744073709551615 242970217403 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=670476 CPUtime=699.04 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 20661 0 0 0 69897 7 0 0 25 0 4 0 524070049 686567424 24759 33554432000 4194304 4797429 140733529103328 18446744073709551615 4509670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=670476 CPUtime=702.28 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 18890 0 0 0 70220 8 0 0 25 0 4 0 524070049 686567424 24759 33554432000 4194304 4797429 140733529103328 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.91
Current children cumulated vsize (KiB) 670476

[startup+762.306 s]
/proc/loadavg: 8.04 7.93 7.62 10/182 15683
/proc/meminfo: memFree=31037868/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=671832 CPUtime=3045.66 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 146293 0 0 0 304509 57 0 0 25 0 4 0 524070047 687955968 25539 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 167958 25539 421 148 0 162887 0
[pid=15646/tid=15652] ppid=15642 vsize=671832 CPUtime=762.26 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 21804 0 0 0 76219 7 0 0 25 0 4 0 524070049 687955968 25539 33554432000 4194304 4797429 140733529103328 18446744073709551615 4430024 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=671832 CPUtime=758.77 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 21213 0 0 0 75869 8 0 0 25 0 4 0 524070049 687955968 25539 33554432000 4194304 4797429 140733529103328 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=671832 CPUtime=762.29 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 19513 0 0 0 76220 9 0 0 25 0 4 0 524070049 687955968 25539 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.66
Current children cumulated vsize (KiB) 671832

[startup+822.301 s]
/proc/loadavg: 8.09 7.96 7.64 9/182 15685
/proc/meminfo: memFree=31029284/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=675344 CPUtime=3285.36 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 153291 0 0 0 328475 61 0 0 25 0 4 0 524070047 691552256 26590 33554432000 4194304 4797429 140733529103328 18446744073709551615 4425049 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 168836 26590 421 148 0 163765 0
[pid=15646/tid=15652] ppid=15642 vsize=675344 CPUtime=822.26 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 22380 0 0 0 82218 8 0 0 25 0 4 0 524070049 691552256 26590 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=675344 CPUtime=818.49 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 22177 0 0 0 81840 9 0 0 25 0 4 0 524070049 691552256 26590 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=675344 CPUtime=822.28 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 20468 0 0 0 82219 9 0 0 25 0 4 0 524070049 691552256 26590 33554432000 4194304 4797429 140733529103328 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3285.36
Current children cumulated vsize (KiB) 675344

[startup+882.301 s]
/proc/loadavg: 8.35 8.04 7.69 10/182 15689
/proc/meminfo: memFree=31018924/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=676312 CPUtime=3525.07 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 159452 0 0 0 352442 65 0 0 25 0 4 0 524070047 692543488 27493 33554432000 4194304 4797429 140733529103328 18446744073709551615 4345201 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 169078 27493 421 148 0 164007 0
[pid=15646/tid=15652] ppid=15642 vsize=676312 CPUtime=882.25 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 23383 0 0 0 88217 8 0 0 25 0 4 0 524070049 692543488 27493 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=676312 CPUtime=878.2 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 23139 0 0 0 87810 10 0 0 25 0 4 0 524070049 692543488 27493 33554432000 4194304 4797429 140733529103328 18446744073709551615 4358912 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=676312 CPUtime=882.28 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 21497 0 0 0 88218 10 0 0 25 0 4 0 524070049 692543488 27493 33554432000 4194304 4797429 140733529103328 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3525.07
Current children cumulated vsize (KiB) 676312

[startup+942.3 s]
/proc/loadavg: 8.19 8.05 7.71 10/182 15691
/proc/meminfo: memFree=31017708/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=676156 CPUtime=3764.76 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 166418 0 0 0 376407 69 0 0 25 0 4 0 524070047 692383744 27997 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 169039 27997 421 148 0 163968 0
[pid=15646/tid=15652] ppid=15642 vsize=676156 CPUtime=942.26 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 24316 0 0 0 94217 9 0 0 25 0 4 0 524070049 692383744 27997 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=676156 CPUtime=937.88 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 24141 0 0 0 93778 10 0 0 25 0 4 0 524070049 692383744 27997 33554432000 4194304 4797429 140733529103328 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=676156 CPUtime=942.28 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 21891 0 0 0 94217 11 0 0 25 0 4 0 524070049 692383744 27997 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.76
Current children cumulated vsize (KiB) 676156

[startup+1002.3 s]
/proc/loadavg: 8.12 8.05 7.73 10/182 15692
/proc/meminfo: memFree=31005144/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=681140 CPUtime=4004.43 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 172105 0 0 0 400371 72 0 0 25 0 4 0 524070047 697487360 29131 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 170285 29131 421 148 0 165214 0
[pid=15646/tid=15652] ppid=15642 vsize=681140 CPUtime=1002.25 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 25419 0 0 0 100215 10 0 0 25 0 4 0 524070049 697487360 29131 33554432000 4194304 4797429 140733529103328 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=681140 CPUtime=997.55 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 24581 0 0 0 99744 11 0 0 25 0 4 0 524070049 697487360 29131 33554432000 4194304 4797429 140733529103328 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=681140 CPUtime=1002.28 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 23097 0 0 0 100217 11 0 0 25 0 4 0 524070049 697487360 29131 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4004.43
Current children cumulated vsize (KiB) 681140

[startup+1062.3 s]
/proc/loadavg: 8.15 8.07 7.75 10/182 15694
/proc/meminfo: memFree=31008468/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=681700 CPUtime=4244.11 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 178488 0 0 0 424336 75 0 0 25 0 4 0 524070047 698060800 28332 33554432000 4194304 4797429 140733529103328 18446744073709551615 4391328 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 170425 28332 421 148 0 165354 0
[pid=15646/tid=15652] ppid=15642 vsize=681700 CPUtime=1062.25 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 25940 0 0 0 106215 10 0 0 25 0 4 0 524070049 698060800 28332 33554432000 4194304 4797429 140733529103328 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=681700 CPUtime=1057.23 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 25521 0 0 0 105712 11 0 0 25 0 4 0 524070049 698060800 28332 33554432000 4194304 4797429 140733529103328 18446744073709551615 4502559 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=681700 CPUtime=1062.28 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 23976 0 0 0 106217 11 0 0 25 0 4 0 524070049 698060800 28332 33554432000 4194304 4797429 140733529103328 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4244.11
Current children cumulated vsize (KiB) 681700

[startup+1122.3 s]
/proc/loadavg: 8.15 8.09 7.78 10/182 15696
/proc/meminfo: memFree=31004708/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=683044 CPUtime=4483.78 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 184040 0 0 0 448301 77 0 0 25 0 4 0 524070047 699437056 29304 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 170761 29304 421 148 0 165690 0
[pid=15646/tid=15652] ppid=15642 vsize=683044 CPUtime=1122.25 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 26913 0 0 0 112214 11 0 0 25 0 4 0 524070049 699437056 29304 33554432000 4194304 4797429 140733529103328 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=683044 CPUtime=1116.9 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 26465 0 0 0 111679 11 0 0 25 0 4 0 524070049 699437056 29304 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=683044 CPUtime=1122.29 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 24456 0 0 0 112217 12 0 0 25 0 4 0 524070049 699437056 29304 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.78
Current children cumulated vsize (KiB) 683044

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 7.80 10/182 15697
/proc/meminfo: memFree=30989556/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=686572 CPUtime=4723.46 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 189432 0 0 0 472266 80 0 0 25 0 4 0 524070047 703049728 31171 33554432000 4194304 4797429 140733529103328 18446744073709551615 4425633 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 171643 31171 421 148 0 166572 0
[pid=15646/tid=15652] ppid=15642 vsize=686572 CPUtime=1182.25 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 27527 0 0 0 118214 11 0 0 25 0 4 0 524070049 703049728 31171 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=686572 CPUtime=1176.58 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 27062 0 0 0 117646 12 0 0 25 0 4 0 524070049 703049728 31171 33554432000 4194304 4797429 140733529103328 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=686572 CPUtime=1182.29 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 25591 0 0 0 118217 12 0 0 25 0 4 0 524070049 703049728 31171 33554432000 4194304 4797429 140733529103328 18446744073709551615 4642210 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4723.46
Current children cumulated vsize (KiB) 686572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 8.10 8.09 7.80 9/182 15698
/proc/meminfo: memFree=30996244/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=687604 CPUtime=4800.17 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 192071 0 0 0 479935 82 0 0 25 0 4 0 524070047 704106496 30455 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 171901 30455 421 148 0 166830 0
[pid=15646/tid=15652] ppid=15642 vsize=687604 CPUtime=1201.46 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 28162 0 0 0 120134 12 0 0 25 0 4 0 524070049 704106496 30455 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=687604 CPUtime=1195.68 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 27216 0 0 0 119555 13 0 0 25 0 4 0 524070049 704106496 30455 33554432000 4194304 4797429 140733529103328 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=687604 CPUtime=1201.49 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 25710 0 0 0 120137 12 0 0 25 0 4 0 524070049 704106496 30455 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 687604

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

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

[startup+1201.5 s]
/proc/loadavg: 8.10 8.09 7.80 9/182 15698
/proc/meminfo: memFree=30996244/32951132 swapFree=67111364/67111528
[pid=15646] ppid=15642 vsize=687604 CPUtime=4800.17 cores=1,3,5,7
/proc/15646/stat : 15646 (techdemo) R 15642 15646 15609 0 -1 4202496 192071 0 0 0 479935 82 0 0 25 0 4 0 524070047 704106496 30455 33554432000 4194304 4797429 140733529103328 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15646/statm: 171901 30455 421 148 0 166830 0
[pid=15646/tid=15652] ppid=15642 vsize=687604 CPUtime=1201.46 cores=1,3,5,7
/proc/15646/task/15652/stat : 15652 (techdemo) R 15642 15646 15609 0 -1 4202560 28162 0 0 0 120134 12 0 0 25 0 4 0 524070049 704106496 30455 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15646/tid=15653] ppid=15642 vsize=687604 CPUtime=1195.68 cores=1,3,5,7
/proc/15646/task/15653/stat : 15653 (techdemo) R 15642 15646 15609 0 -1 4202560 27216 0 0 0 119555 13 0 0 25 0 4 0 524070049 704106496 30455 33554432000 4194304 4797429 140733529103328 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15646/tid=15654] ppid=15642 vsize=687604 CPUtime=1201.49 cores=1,3,5,7
/proc/15646/task/15654/stat : 15654 (techdemo) R 15642 15646 15609 0 -1 4202560 25710 0 0 0 120137 12 0 0 25 0 4 0 524070049 704106496 30455 33554432000 4194304 4797429 140733529103328 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 687604

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.52
CPU time (s): 4800.2
CPU user time (s): 4799.38
CPU system time (s): 0.827874
CPU usage (%): 399.512
Max. virtual memory (cumulated for all children) (KiB): 772532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.38
system time used= 0.827874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192071
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= 252
involuntary context switches= 41172

runsolver used 1.59376 second user time and 4.22436 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-30 02:51:54
IDJOB=3173018
IDBENCH=83036
IDSOLVER=1584
FILE ID=node128/3173018-1304124714
RUNJOBID= node128-1304124714-15628
PBS_JOBID= 13170761
Free space on /tmp= 66976 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173018-1304124714/watcher-3173018-1304124714 -o /tmp/evaluation-result-3173018-1304124714/solver-3173018-1304124714 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3173018-1304124714.cnf

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

MD5SUM BENCH= fa5f68613be1e2c6017df353c3eb03ef
RANDOM SEED=695495083

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31254428 kB
Buffers:        424924 kB
Cached:         790984 kB
SwapCached:          0 kB
Active:         150680 kB
Inactive:      1129828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31254428 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           15652 kB
Writeback:           4 kB
AnonPages:       65128 kB
Mapped:          14652 kB
Slab:           352496 kB
PageTables:       4664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   187188 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66960 MiB
End job on node128 at 2011-04-30 03:11:58