Trace number 3173075

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf
MD5SUM6dcea24e0d40e217adec300bb8ded029
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.967
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-3173075-1304127309.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.00/0.12	c asymm  cl-useful: 0/1894/4450 lits-rem:0 time: 0.43
0.00/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.00/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
0.00/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.00/0.13	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.04 s
0.00/0.13	c learnt bin added due to v-elim: 0
0.00/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.13	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.00/0.13	c calculated reachability. Time: 0.00
0.00/0.13	c Calc default polars -  time:   0.00 s pos:      21 undec:       2 neg:      27
0.00/0.13	c =========================================================================================
0.00/0.13	c types(t): F = full restart, N = normal restart
0.00/0.13	c types(t): S = simplification begin/end, E = solution found
0.00/0.13	c restart types(rt): st = static, dy = dynamic
0.00/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.13	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.00/0.20	c Decided on static restart strategy
0.00/0.29	c  N dy    19      4027        50      4450         0      3496     31150     64584     18.32     16.24  --
0.00/0.47	c  N dy    46      8036        50      4450         0      4817     31150     85257     19.12     16.40  --
0.00/0.69	c  N dy    73     12052        50      4450         0      4616     31150     75353     18.65     16.37  --
3.65/0.92	c  N dy   100     16074        50      4450         0      8138     31150    140354     18.70     16.34  --
4.45/1.16	c  N dy   127     20094        50      4450         0      6753     31150    107642     18.64     16.38  --
5.65/1.42	c  N dy   154     24126        50      4450         0     10254     31150    172109     18.53     16.38  --
6.75/1.70	c  N dy   181     28136        50      4450         0      7833     31150    120101     18.53     16.37  --
7.17/1.83	c  S st   194     30001        50      4450         0      9455     31150    149778     18.51     16.36  --
7.17/1.88	c  S st   194     30505        50      4450         0      9913     31150    158633     18.51     16.36  --
7.17/1.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.17/1.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.17/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.17/1.89	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.17/1.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.17/1.90	c Subs w/ non-existent bins:      0 time:  0.00 s
7.17/1.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.17/1.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.17/1.90	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.54/2.43	c lits-rem:      1151  cl-subs:     1372  v-elim:     50  v-fix:    0  time:  2.13 s
9.54/2.43	c learnt bin added due to v-elim: 0
9.54/2.43	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.54/2.43	c vivif2 --  cl tried     8541 cl shrink        0 lits rem          0 time: 0.00
9.94/2.58	c asymm  cl-useful: 0/1580/4450 lits-rem:0 time: 0.60
9.94/2.58	c calculated reachability. Time: 0.00
9.94/2.58	c  N dy   194     30505        50      4450         0      8541     31150    134252     18.51     16.36  --
9.94/2.58	c  F st   194     30505        50      4450         0      8541     31150    134252     18.51     16.36  --
10.74/2.72	c Decided on static restart strategy
11.14/2.86	c  N dy   213     34510        50      4450         0     12048     31150    199416     18.77     16.35  --
12.33/3.17	c  N dy   240     38523        50      4450         0      8747     31150    131267     18.95     16.36  --
13.54/3.47	c  N dy   267     42561        50      4450         0     12280     31150    196602     18.74     16.36  --
14.74/3.75	c  S st   289     45758        50      4450         0     15065     31150    248688     19.10     16.38  --
15.14/3.81	c  S st   289     46260        50      4450         0     15519     31150    257404     19.10     16.38  --
15.14/3.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.14/3.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  0.14
15.14/3.84	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.14/3.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.14/3.85	c Subs w/ non-existent bins:      0 time:  0.01 s
15.14/3.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.85	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
18.33/4.61	c lits-rem:      2249  cl-subs:     2282  v-elim:     50  v-fix:    0  time:  3.04 s
18.33/4.61	c learnt bin added due to v-elim: 0
18.33/4.61	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
18.33/4.61	c vivif2 --  cl tried    13237 cl shrink        0 lits rem          0 time: 0.01
18.73/4.73	c asymm  cl-useful: 0/976/4450 lits-rem:0 time: 0.45
18.73/4.73	c calculated reachability. Time: 0.00
18.73/4.73	c  N dy   289     46260        50      4450         0     13237     31150    212897     19.10     16.38  --
19.93/5.09	c  N dy   316     50292        50      4450         0      9080     31150    128499     18.80     16.37  --
21.53/5.40	c  N dy   343     54333        50      4450         0     12608     31150    193632     18.28     16.36  --
22.73/5.75	c  N dy   370     58346        50      4450         0     16147     31150    258916     18.45     16.35  --
24.33/6.11	c  N dy   398     62457        50      4450         0     11091     31150    159165     18.75     16.36  --
25.52/6.46	c  N dy   426     66584        50      4450         0     14681     31150    225800     18.44     16.37  --
26.72/6.75	c  S st   445     69392        50      4450         0     17123     31150    271496     18.87     16.38  --
27.12/6.81	c  S st   445     69896        50      4450         0     17586     31150    280374     18.87     16.38  --
27.12/6.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.12/6.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.12/6.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  0.20
27.12/6.86	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
27.12/6.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.12/6.86	c Subs w/ non-existent bins:      0 time:  0.01 s
27.12/6.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.12/6.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.12/6.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.92/7.56	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
32.72/8.27	c Added 1 vars  tried: 11100 time: 2.83
32.72/8.28	c ORs :      1 avg-s:  0.0 cl-sh:  1404 l-rem:   1404 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.87
32.72/8.28	c lits-rem:      1777  cl-subs:     2408  v-elim:     50  v-fix:    0  time:  5.67 s
32.72/8.28	c learnt bin added due to v-elim: 0
32.72/8.28	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
32.72/8.29	c vivif2 --  cl tried    15178 cl shrink        0 lits rem          0 time: 0.01
33.53/8.44	c asymm  cl-useful: 0/1415/4451 lits-rem:0 time: 0.62
33.53/8.44	c calculated reachability. Time: 0.00
33.53/8.44	c  N dy   445     69896        51      4451         2     15178     31130    232895     18.87     16.38  --
33.53/8.44	c  F st   445     69896        51      4451         2     15178     31130    232895     18.87     16.38  --
34.32/8.64	c Decided on static restart strategy
35.52/8.91	c  N dy   467     74377        51      4451         2      9687     31130    124920     18.93     16.36  --
37.12/9.30	c  N dy   499     79139        51      4451         2     13886     31130    203144     18.91     16.37  --
38.71/9.77	c  N dy   533     84214        51      4451         2     18369     31130    285941     18.67     16.36  --
41.11/10.33	c  N dy   569     89606        51      4451         2     12672     31130    171965     18.63     16.36  --
43.10/10.89	c  N dy   607     95326        51      4451         2     17725     31130    266030     18.40     16.36  --
46.30/11.60	c  N dy   648    101482        51      4451         2     11747     31130    147489     18.56     16.36  --
47.49/11.91	c  S st   671    104844        51      4451         2     14694     31130    201485     18.45     16.35  --
47.49/11.97	c  S st   671    105350        51      4451         2     15136     31130    209713     18.45     16.35  --
47.49/11.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.49/11.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.89/12.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.19
47.89/12.02	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.89/12.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.89/12.02	c Subs w/ non-existent bins:      0 time:  0.01 s
47.89/12.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.89/12.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.89/12.03	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
50.29/12.61	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
50.29/12.62	c lits-rem:       882  cl-subs:     1285  v-elim:     50  v-fix:    0  time:  2.36 s
50.29/12.62	c learnt bin added due to v-elim: 0
50.29/12.62	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
50.29/12.62	c vivif2 --  cl tried    13851 cl shrink        0 lits rem          0 time: 0.01
50.69/12.76	c asymm  cl-useful: 0/1266/4451 lits-rem:0 time: 0.58
50.69/12.76	c calculated reachability. Time: 0.00
50.69/12.76	c  N dy   671    105350        51      4451         2     13851     31130    187488     18.45     16.35  --
53.49/13.44	c  N dy   716    112072        51      4451         2     19732     31130    297329     18.70     16.36  --
57.09/14.31	c  N dy   765    119309        51      4451         2     13882     31130    181990     18.96     16.37  --
60.30/15.13	c  N dy   817    127049        51      4451         2     20648     31130    307498     19.11     16.37  --
64.29/16.16	c  N dy   872    135207        51      4451         2     14718     31130    188323     18.78     16.38  --
68.27/17.12	c  N dy   930    143925        51      4451         2     22332     31130    328142     18.55     16.37  --
73.07/18.33	c  N dy   992    153176        51      4451         2     16462     31130    211721     18.52     16.37  --
75.06/18.88	c  S st  1025    158025        51      4451         2     20716     31130    291716     19.24     16.37  --
75.46/18.96	c  S st  1025    158529        51      4451         2     21170     31130    300228     19.24     16.37  --
75.46/18.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.46/18.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.87/19.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.2M T:  0.30
75.87/19.03	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
75.87/19.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.87/19.03	c Subs w/ non-existent bins:      0 time:  0.01 s
75.87/19.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.87/19.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.87/19.04	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
79.06/19.83	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
79.06/19.84	c lits-rem:      1226  cl-subs:     2133  v-elim:     50  v-fix:    0  time:  3.19 s
79.06/19.84	c learnt bin added due to v-elim: 0
79.06/19.84	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
79.06/19.84	c vivif2 --  cl tried    19037 cl shrink        0 lits rem          0 time: 0.01
79.86/20.00	c asymm  cl-useful: 0/755/4451 lits-rem:0 time: 0.63
79.86/20.00	c calculated reachability. Time: 0.00
79.86/20.00	c  N dy  1025    158529        51      4451         2     19037     31130    261479     19.24     16.37  --
85.05/21.39	c  N dy  1094    168743        51      4451         2     28027     31130    428408     18.92     16.37  --
90.66/22.75	c  N dy  1166    179527        51      4451         2     22685     31130    320213     18.71     16.38  --
97.43/24.43	c  N dy  1243    191046        51      4451         2     17072     31130    207069     17.95     16.38  --
103.84/26.02	c  N dy  1326    203387        55      4451        14     27901     31150    409847     18.77     16.39  --
111.42/27.90	c  N dy  1414    216477        55      4451        14     22745     31150    305550     18.92     16.39  --
119.81/30.06	c  N dy  1507    230293        55      4451        14     34827     31150    532304     19.08     16.41  --
123.80/31.09	c  S st  1558    237793        55      4451        14     23894     31150    320363     18.86     16.41  --
124.20/31.18	c  S st  1558    238298        55      4451        14     24353     31150    329182     18.86     16.41  --
124.20/31.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.20/31.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.60/31.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.0M T:  0.38
124.60/31.27	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
124.60/31.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.60/31.28	c Subs w/ non-existent bins:      0 time:  0.01 s
124.60/31.29	c Replacing        1 vars Replaced     1455 lits Time:     0.04 s 
124.60/31.29	c bin-w-bin subsume rem            2 bins  time:  0.00 s
124.60/31.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.60/31.29	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
128.99/32.31	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.01
128.99/32.31	c lits-rem:      1295  cl-subs:     2280  v-elim:     50  v-fix:    0  time:  4.06 s
128.99/32.31	c learnt bin added due to v-elim: 0
128.99/32.31	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
128.99/32.31	c vivif2 --  cl tried    22072 cl shrink        0 lits rem          0 time: 0.01
129.39/32.47	c asymm  cl-useful: 0/740/4451 lits-rem:0 time: 0.61
129.39/32.47	c calculated reachability. Time: 0.00
129.39/32.47	c  N dy  1558    238298        54      4451         8     22072     31142    289292     18.86     16.41  --
139.40/34.91	c  N dy  1661    253658        54      4451         8     35619     31142    540867     18.66     16.39  --
148.97/37.37	c  N dy  1771    269981        54      4451         8     31719     31142    460259     18.65     16.37  --
160.56/40.26	c  N dy  1888    287268        54      4451         8     27708     31142    378627     18.19     16.35  --
173.73/43.59	c  N dy  2013    305721        54      4451         8     23730     31142    293313     19.04     16.35  --
187.74/47.01	c  N dy  2146    325310        58      4451        16     41100     31158    619445     18.44     16.34  --
201.30/50.43	c  N dy  2281    345353        58      4451        16     37657     31158    543228     18.87     16.32  --
210.88/52.82	c  S st  2363    357448        58      4451        16     26248     31158    322527     18.82     16.32  --
211.28/52.91	c  S st  2363    357951        58      4451        16     26701     31158    331247     18.82     16.32  --
211.28/52.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
211.28/52.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.68/53.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.7M T:  0.46
211.68/53.03	c Calc non-exist non-lernt bins v-fix:     0 done:     58 time:  0.00 s
211.68/53.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.68/53.03	c Subs w/ non-existent bins:      0 time:  0.02 s
211.68/53.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
211.68/53.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.68/53.04	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
215.68/54.08	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 16.0 T:    0.01
215.68/54.08	c lits-rem:       862  cl-subs:     1690  v-elim:     50  v-fix:    0  time:  4.17 s
215.68/54.08	c learnt bin added due to v-elim: 0
215.68/54.08	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
215.68/54.09	c vivif2 --  cl tried    25010 cl shrink        0 lits rem          0 time: 0.01
216.48/54.24	c asymm  cl-useful: 0/1000/4451 lits-rem:0 time: 0.61
216.48/54.24	c calculated reachability. Time: 0.00
216.48/54.24	c  N dy  2363    357951        58      4451        16     25010     31158    303651     18.82     16.32  --
231.28/58.00	c  N dy  2499    377970        58      4451        16     42817     31158    634191     18.59     16.28  --
246.84/61.80	c  N dy  2635    398086        62      4451        33     37721     31182    527930     18.95     16.25  --
262.82/65.86	c  N dy  2770    418103        62      4451        33     31589     31182    406499     18.62     16.23  --
280.80/70.34	c  N dy  2906    438247        62      4451        35     49524     31184    741143     19.09     16.21  --
296.38/74.29	c  N dy  3042    458384        62      4451        35     42579     31184    602863     18.66     16.19  --
313.96/78.65	c  N dy  3178    478493        62      4451        35     34767     31184    450051     18.62     16.17  --
333.14/83.49	c  N dy  3313    498539        62      4451        35     52736     31184    784670     18.84     16.15  --
350.71/87.86	c  N dy  3449    518668        62      4451        35     43840     31184    611239     18.67     16.14  --
368.68/92.33	c  S st  3573    536927        62      4451        35     32483     31184    392759     18.78     16.13  --
369.08/92.45	c  S st  3573    537431        62      4451        35     32937     31184    401377     18.78     16.13  --
369.08/92.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
369.08/92.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
369.89/92.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.3M T:  0.65
369.89/92.61	c Calc non-exist non-lernt bins v-fix:     0 done:     62 time:  0.00 s
369.89/92.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
369.89/92.61	c Subs w/ non-existent bins:      0 time:  0.02 s
369.89/92.62	c Replacing        3 vars Replaced      481 lits Time:     0.02 s 
369.89/92.62	c bin-w-bin subsume rem            6 bins  time:  0.00 s
369.89/92.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
369.89/92.63	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
374.29/93.73	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
400.25/100.27	c Added 1 vars  tried: 80000 time: 26.13
400.25/100.29	c ORs :      1 avg-s:  0.0 cl-sh:  1935 l-rem:   1935 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   26.23
400.65/100.30	c lits-rem:       554  cl-subs:     1849  v-elim:     50  v-fix:    0  time: 30.65 s
400.65/100.30	c learnt bin added due to v-elim: 0
400.65/100.30	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
400.65/100.31	c vivif2 --  cl tried    31087 cl shrink        0 lits rem          0 time: 0.02
401.05/100.47	c asymm  cl-useful: 0/654/4452 lits-rem:0 time: 0.64
401.05/100.47	c calculated reachability. Time: 0.00
401.05/100.47	c  N dy  3573    537431        60      4452        21     31087     31152    370185     18.78     16.13  --
401.05/100.47	c  F st  3573    537431        60      4452        21     31087     31152    370185     18.78     16.13  --
402.66/100.82	c Decided on static restart strategy
419.02/104.96	c  N dy  3701    557594        60      4452        22     49085     31152    702467     18.27     16.12  --
438.22/109.78	c  N dy  3836    577602        60      4452        22     38609     31152    499974     18.88     16.11  --
458.58/114.88	c  N dy  3972    597680        60      4452        22     56575     31152    836632     19.09     16.10  --
476.96/119.48	c  N dy  4107    617740        64      4452        30     45081     31168    615358     19.28     16.09  --
499.75/125.16	c  N dy  4243    637756        64      4452        30     32563     31168    371959     18.49     16.09  --
518.90/129.90	c  N dy  4379    657885        66      4452        34     50482     31176    706388     18.14     16.08  --
665.10/166.55	c  N dy  4414    806146        66      4452        34     50813     31176    650074     16.20     15.45  --
665.10/166.57	c  S st  4414    806146        66      4452        34     50813     31176    650074     16.20     15.45  --
665.90/166.75	c  S st  4414    806650        70      4452        44     51284     31194    658868     16.20     15.45  --
665.90/166.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
665.90/166.75	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
667.11/167.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      1 CBin:       0 P: 20.5M T:  1.20
667.11/167.06	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.00 s
667.11/167.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
667.11/167.06	c Subs w/ non-existent bins:      1 time:  0.03 s
667.11/167.07	c Replacing        2 vars Replaced      180 lits Time:     0.02 s 
667.11/167.08	c bin-w-bin subsume rem            2 bins  time:  0.00 s
667.11/167.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
667.11/167.08	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
679.09/170.01	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
715.83/179.23	c Added 1 vars  tried: 80000 time: 36.82
716.23/179.33	c ORs :      1 avg-s:  0.0 cl-sh:  5622 l-rem:   5622 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   37.23
716.23/179.35	c lits-rem:       240  cl-subs:    10069  v-elim:     50  v-fix:    0  time: 48.98 s
716.23/179.35	c learnt bin added due to v-elim: 0
716.23/179.35	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
716.23/179.35	c vivif2 --  cl tried    41214 cl shrink        0 lits rem          0 time: 0.04
716.63/179.43	c asymm  cl-useful: 0/290/4453 lits-rem:0 time: 0.32
716.63/179.44	c calculated reachability. Time: 0.00
716.63/179.44	c  N dy  4414    806650        69      4453        39     41214     31167    517723     16.20     15.45  --
737.80/184.70	c  N dy  4550    826655        69      4453        39     59122     31167    855261     18.77     15.45  --
759.38/190.16	c  N dy  4686    846661        69      4453        39     43588     31167    557933     18.97     15.44  --
781.35/195.68	c  N dy  4822    866663        71      4453        43     61667     31175    898818     18.72     15.44  --
805.32/201.66	c  N dy  4958    886687        71      4453        43     44513     31175    563132     18.96     15.44  --
829.31/207.61	c  N dy  5093    906692        74      4453        51     62550     31187    901909     18.70     15.43  --
1190.02/297.96	c  N dy  5117   1209976        74      4453        51     56916     31187    721415     13.87     14.70  --
1190.02/297.99	c  S st  5117   1209976        74      4453        51     56916     31187    721415     13.87     14.70  --
1190.82/298.19	c  S st  5117   1210481        77      4453        60     57398     31199    730432     13.87     14.70  --
1190.82/298.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1190.82/298.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1192.42/298.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      1 BRemN:      0 CBin:       0 P: 24.3M T:  1.46
1192.42/298.56	c Calc non-exist non-lernt bins v-fix:     0 done:     77 time:  0.00 s
1192.42/298.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1192.42/298.57	c Subs w/ non-existent bins:      0 time:  0.04 s
1192.42/298.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1192.42/298.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1192.42/298.58	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1209.20/302.73	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.08
1252.33/313.56	c Added 1 vars  tried: 80000 time: 43.22
1252.73/313.68	c ORs :      1 avg-s:  0.0 cl-sh:  5511 l-rem:   5511 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   43.71
1252.73/313.69	c lits-rem:      2087  cl-subs:    11823  v-elim:     50  v-fix:    0  time: 60.34 s
1252.73/313.69	c learnt bin added due to v-elim: 0
1252.73/313.69	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
1253.13/313.70	c vivif2 --  cl tried    45575 cl shrink        0 lits rem          0 time: 0.04
1253.13/313.79	c asymm  cl-useful: 0/248/4454 lits-rem:0 time: 0.34
1253.13/313.79	c calculated reachability. Time: 0.00
1253.13/313.79	c  N dy  5117   1210481        78      4454        61     45575     31188    581250     13.87     14.70  --
1931.05/483.41	c  N dy  5119   1710482        78      4454        61     74540     31188   1039928     14.19     13.67  --
1931.05/483.46	c  S st  5119   1710482        78      4454        61     74540     31188   1039928     14.19     13.67  --
1932.27/483.70	c  S st  5119   1710984        82      4454        80     75013     31212   1048692     14.19     13.67  --
1932.27/483.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1932.27/483.71	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
1934.24/484.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 32.4M T:  2.16
1934.24/484.25	c Calc non-exist non-lernt bins v-fix:     0 done:     81 time:  0.01 s
1934.24/484.25	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
1934.24/484.26	c Subs w/ non-existent bins:      0 time:  0.06 s
1934.64/484.30	c Replacing        2 vars Replaced      449 lits Time:     0.13 s 
1934.64/484.32	c bin-w-bin subsume rem            5 bins  time:  0.00 s
1935.44/484.52	c subs with bin:     2106  lits-rem:         0  v-fix:    0  time:  0.83 s
1935.44/484.52	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1962.62/491.31	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 15.0 T:    0.13
1962.62/491.33	c lits-rem:      4601  cl-subs:    19614  v-elim:     50  v-fix:    0  time: 27.17 s
1962.62/491.33	c learnt bin added due to v-elim: 0
1962.62/491.33	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
1962.62/491.34	c vivif2 --  cl tried    53291 cl shrink        2 lits rem          5 time: 0.06
1963.02/491.43	c asymm  cl-useful: 0/262/4454 lits-rem:0 time: 0.36
1963.02/491.43	c calculated reachability. Time: 0.00
1963.02/491.43	c  N dy  5119   1710984        79      4454        65     53291     31192    749031     14.19     13.67  --
2743.56/686.88	c  N dy  5131   2210985        79      4454        65     71185     31192    938857     16.33     13.32  --
2743.96/686.93	c  S st  5131   2210985        79      4454        65     71185     31192    938857     16.33     13.32  --
2743.96/686.93	c Finding binary XORs  T:     0.00 s  found:       0
2744.78/687.17	c  S st  5131   2211488        79      4454        65     71649     31192    947366     16.33     13.32  --
2744.78/687.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2744.78/687.17	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
2747.16/687.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.3M T:  2.22
2747.16/687.73	c Calc non-exist non-lernt bins v-fix:     0 done:     79 time:  0.01 s
2747.16/687.73	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
2747.16/687.74	c Subs w/ non-existent bins:      0 time:  0.06 s
2747.16/687.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2747.16/687.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2747.16/687.76	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2766.33/692.59	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.14
2766.75/692.61	c lits-rem:      2283  cl-subs:     9468  v-elim:     50  v-fix:    0  time: 19.37 s
2766.75/692.61	c learnt bin added due to v-elim: 0
2766.75/692.61	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2766.75/692.63	c vivif2 --  cl tried    62181 cl shrink        2 lits rem          3 time: 0.07
2767.15/692.73	c asymm  cl-useful: 0/164/4454 lits-rem:0 time: 0.38
2767.15/692.73	c calculated reachability. Time: 0.00
2767.15/692.73	c  N dy  5131   2211488        79      4454        65     62181     31192    831893     16.33     13.32  --
3685.50/922.69	c  N dy  5148   2711489        79      4454        65     83853     31192   1060271     15.14     13.03  --
3685.88/922.73	c  S st  5148   2711489        79      4454        65     83853     31192   1060271     15.14     13.03  --
3687.08/923.02	c  S st  5148   2711992        80      4454        67     84332     31196   1069116     15.14     13.03  --
3687.08/923.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3687.08/923.02	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
3689.90/923.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 45.5M T:  3.01
3689.90/923.78	c Calc non-exist non-lernt bins v-fix:     0 done:     80 time:  0.01 s
3689.90/923.78	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
3689.90/923.79	c Subs w/ non-existent bins:      0 time:  0.07 s
3690.28/923.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3690.28/923.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3690.28/923.82	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3717.44/930.67	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 20.0 T:    0.21
3771.37/944.19	c Added 1 vars  tried: 80000 time: 54.00
3772.57/944.47	c ORs :      1 avg-s:  0.0 cl-sh:  7399 l-rem:   7399 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   55.12
3772.57/944.49	c lits-rem:      2049  cl-subs:    15001  v-elim:     50  v-fix:    0  time: 82.56 s
3772.57/944.49	c learnt bin added due to v-elim: 0
3772.57/944.49	c vivif2 --  cl tried     4455 cl shrink        0 lits rem          0 time: 0.00
3772.99/944.51	c vivif2 --  cl tried    69330 cl shrink        2 lits rem          2 time: 0.07
3772.99/944.60	c asymm  cl-useful: 0/150/4455 lits-rem:0 time: 0.38
3773.39/944.60	c calculated reachability. Time: 0.00
3773.39/944.60	c  N dy  5148   2711992        81      4455        69     69330     31175    878426     15.14     13.03  --
3773.39/944.60	c  F st  5148   2711992        81      4455        69     69330     31175    878426     15.14     13.03  --
3776.17/945.31	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-3173075-1304127309/watcher-3173075-1304127309 -o /tmp/evaluation-result-3173075-1304127309/solver-3173075-1304127309 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3173075-1304127309.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.49 7.95 7.95 2/174 23055
/proc/meminfo: memFree=30577696/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=50144 CPUtime=0 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 671 0 0 0 0 0 0 0 25 0 1 0 524333265 51347456 603 33554432000 4194304 4797429 140736706161904 18446744073709551615 212435713559 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23055/statm: 12536 603 347 148 0 7465 0

[startup+0.125082 s]
/proc/loadavg: 7.49 7.95 7.95 2/174 23055
/proc/meminfo: memFree=30577696/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=613148 CPUtime=3.25 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 4529 0 0 0 324 1 0 0 18 0 4 0 524333265 627863552 3538 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 153287 3538 413 148 0 148216 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 613148

[startup+0.924592 s]
/proc/loadavg: 7.49 7.95 7.95 2/174 23055
/proc/meminfo: memFree=30577696/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=613508 CPUtime=3.65 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 4646 0 0 0 364 1 0 0 19 0 4 0 524333265 628232192 3654 33554432000 4194304 4797429 140736706161904 18446744073709551615 4391139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 153377 3654 413 148 0 148306 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 613508

[startup+1.02457 s]
/proc/loadavg: 7.49 7.95 7.95 2/174 23055
/proc/meminfo: memFree=30577696/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=613508 CPUtime=4.05 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 4687 0 0 0 404 1 0 0 19 0 4 0 524333265 628232192 3695 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 153377 3695 413 148 0 148306 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 613508

[startup+1.12455 s]
/proc/loadavg: 7.49 7.95 7.95 2/174 23055
/proc/meminfo: memFree=30577696/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=614004 CPUtime=4.45 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 4939 0 0 0 444 1 0 0 19 0 4 0 524333265 628740096 3714 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 153501 3714 414 148 0 148430 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 614004

[startup+1.50048 s]
/proc/loadavg: 7.49 7.95 7.95 2/174 23055
/proc/meminfo: memFree=30577696/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=614588 CPUtime=5.95 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 5278 0 0 0 594 1 0 0 19 0 4 0 524333265 629338112 4044 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 153647 4044 414 148 0 148576 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 614588

[startup+3.10018 s]
/proc/loadavg: 7.61 7.97 7.95 9/184 23065
/proc/meminfo: memFree=30536456/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=616784 CPUtime=12.33 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 6987 0 0 0 1232 1 0 0 24 0 4 0 524333265 631586816 4493 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 154196 4493 416 148 0 149125 0
[pid=23055/tid=23063] ppid=23052 vsize=616784 CPUtime=3.07 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 1125 0 0 0 307 0 0 0 25 0 4 0 524333266 631586816 4493 33554432000 4194304 4797429 140736706161904 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=616784 CPUtime=3.08 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 1237 0 0 0 308 0 0 0 25 0 4 0 524333266 631586816 4493 33554432000 4194304 4797429 140736706161904 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=616784 CPUtime=3.07 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 1304 0 0 0 307 0 0 0 25 0 4 0 524333266 631586816 4493 33554432000 4194304 4797429 140736706161904 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 616784

[startup+6.30657 s]
/proc/loadavg: 7.61 7.97 7.95 9/184 23065
/proc/meminfo: memFree=30527116/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=619564 CPUtime=25.15 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 9535 0 0 0 2513 2 0 0 25 0 4 0 524333265 634433536 5516 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 154891 5516 416 148 0 149820 0
[pid=23055/tid=23063] ppid=23052 vsize=619564 CPUtime=6.28 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 1554 0 0 0 628 0 0 0 25 0 4 0 524333266 634433536 5516 33554432000 4194304 4797429 140736706161904 18446744073709551615 4524965 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=619564 CPUtime=6.29 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 1691 0 0 0 629 0 0 0 25 0 4 0 524333266 634433536 5516 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568168 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=619564 CPUtime=6.26 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 1675 0 0 0 626 0 0 0 25 0 4 0 524333266 634433536 5516 33554432000 4194304 4797429 140736706161904 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 619564

[startup+12.7004 s]
/proc/loadavg: 7.64 7.97 7.95 9/184 23065
/proc/meminfo: memFree=30518220/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=622484 CPUtime=50.69 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 13354 0 0 0 5067 2 0 0 25 0 4 0 524333265 637423616 7118 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 155621 7118 419 148 0 150550 0
[pid=23055/tid=23063] ppid=23052 vsize=622484 CPUtime=12.67 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 2615 0 0 0 1267 0 0 0 25 0 4 0 524333266 637423616 7118 33554432000 4194304 4797429 140736706161904 18446744073709551615 4495651 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=622484 CPUtime=12.68 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 2144 0 0 0 1268 0 0 0 25 0 4 0 524333266 637423616 7118 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=622484 CPUtime=12.62 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 2077 0 0 0 1262 0 0 0 25 0 4 0 524333266 637423616 7119 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 622484

[startup+25.5009 s]
/proc/loadavg: 7.72 7.97 7.95 10/184 23066
/proc/meminfo: memFree=30503564/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=626204 CPUtime=101.83 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 21258 0 0 0 10180 3 0 0 25 0 4 0 524333265 641232896 7858 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424713 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 156551 7858 421 148 0 151480 0
[pid=23055/tid=23063] ppid=23052 vsize=626204 CPUtime=25.47 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 5084 0 0 0 2546 1 0 0 25 0 4 0 524333266 641232896 7858 33554432000 4194304 4797429 140736706161904 18446744073709551615 4428895 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=626204 CPUtime=25.48 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 3094 0 0 0 2548 0 0 0 25 0 4 0 524333266 641232896 7858 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=626204 CPUtime=25.36 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 3040 0 0 0 2536 0 0 0 25 0 4 0 524333266 641232896 7858 33554432000 4194304 4797429 140736706161904 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 626204

[startup+51.101 s]
/proc/loadavg: 7.88 7.99 7.96 9/184 23066
/proc/meminfo: memFree=30486428/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=632624 CPUtime=204.1 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 30474 0 0 0 20403 7 0 0 25 0 4 0 524333265 647806976 9980 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 158156 9980 421 148 0 153085 0
[pid=23055/tid=23063] ppid=23052 vsize=632624 CPUtime=51.07 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 6267 0 0 0 5106 1 0 0 25 0 4 0 524333266 647806976 9980 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=632624 CPUtime=51.08 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 4770 0 0 0 5107 1 0 0 25 0 4 0 524333266 647806976 9980 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=632624 CPUtime=50.83 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 4433 0 0 0 5082 1 0 0 25 0 4 0 524333266 647806976 9980 33554432000 4194304 4797429 140736706161904 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 632624

[startup+102.3 s]
/proc/loadavg: 8.07 8.02 7.97 9/184 23068
/proc/meminfo: memFree=30465436/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=638872 CPUtime=408.63 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 44720 0 0 0 40852 11 0 0 25 0 4 0 524333265 654204928 12421 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424692 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 159718 12421 424 148 0 154647 0
[pid=23055/tid=23063] ppid=23052 vsize=638872 CPUtime=102.27 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 8097 0 0 0 10225 2 0 0 25 0 4 0 524333266 654204928 12421 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=638872 CPUtime=102.28 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 6801 0 0 0 10227 1 0 0 25 0 4 0 524333266 654204928 12421 33554432000 4194304 4797429 140736706161904 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=638872 CPUtime=101.76 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 6727 0 0 0 10175 1 0 0 25 0 4 0 524333266 654204928 12421 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429157 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 638872

[startup+162.301 s]
/proc/loadavg: 8.14 8.04 7.98 10/184 23069
/proc/meminfo: memFree=30444452/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=642400 CPUtime=648.33 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 58858 0 0 0 64817 16 0 0 25 0 4 0 524333265 657817600 13293 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 160600 13293 423 148 0 155529 0
[pid=23055/tid=23063] ppid=23052 vsize=642400 CPUtime=162.27 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 9812 0 0 0 16225 2 0 0 25 0 4 0 524333266 657817600 13293 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=642400 CPUtime=162.28 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 8540 0 0 0 16226 2 0 0 25 0 4 0 524333266 657817600 13293 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=642400 CPUtime=161.44 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 8748 0 0 0 16142 2 0 0 25 0 4 0 524333266 657817600 13293 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.33
Current children cumulated vsize (KiB) 642400

[startup+222.3 s]
/proc/loadavg: 8.15 8.06 7.99 9/184 23071
/proc/meminfo: memFree=30425692/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=647436 CPUtime=888.01 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 70030 0 0 0 88781 20 0 0 25 0 4 0 524333265 662974464 15812 33554432000 4194304 4797429 140736706161904 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 161859 15812 422 148 0 156788 0
[pid=23055/tid=23063] ppid=23052 vsize=647436 CPUtime=222.28 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 11301 0 0 0 22225 3 0 0 25 0 4 0 524333266 662974464 15812 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=647436 CPUtime=222.29 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 9923 0 0 0 22226 3 0 0 25 0 4 0 524333266 662974464 15812 33554432000 4194304 4797429 140736706161904 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=647436 CPUtime=221.13 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 10184 0 0 0 22109 4 0 0 25 0 4 0 524333266 662974464 15812 33554432000 4194304 4797429 140736706161904 18446744073709551615 4378919 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 888.01
Current children cumulated vsize (KiB) 647436

[startup+282.301 s]
/proc/loadavg: 8.14 8.08 8.00 10/184 23073
/proc/meminfo: memFree=30415624/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=650568 CPUtime=1127.72 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 81164 0 0 0 112748 24 0 0 25 0 4 0 524333265 666181632 16742 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 162642 16742 422 148 0 157571 0
[pid=23055/tid=23063] ppid=23052 vsize=650568 CPUtime=282.28 cores=0,2,4,6

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

[pid=23055] ppid=23052 vsize=672556 CPUtime=2805.47 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 144187 0 0 0 280499 48 0 0 25 0 4 0 524333265 688697344 24900 33554432000 4194304 4797429 140736706161904 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 168139 24900 421 148 0 163068 0
[pid=23055/tid=23063] ppid=23052 vsize=672556 CPUtime=702.28 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 21212 0 0 0 70222 6 0 0 25 0 4 0 524333266 688697344 24900 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=672556 CPUtime=702.3 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 19237 0 0 0 70223 7 0 0 25 0 4 0 524333266 688697344 24900 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=672556 CPUtime=698.54 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 19496 0 0 0 69846 8 0 0 25 0 4 0 524333266 688697344 24900 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.47
Current children cumulated vsize (KiB) 672556

[startup+762.301 s]
/proc/loadavg: 8.15 8.10 8.02 10/184 23085
/proc/meminfo: memFree=30338620/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=674264 CPUtime=3045.15 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 151547 0 0 0 304464 51 0 0 25 0 4 0 524333265 690446336 25649 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 168566 25649 421 148 0 163495 0
[pid=23055/tid=23063] ppid=23052 vsize=674264 CPUtime=762.28 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 22222 0 0 0 76221 7 0 0 25 0 4 0 524333266 690446336 25649 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=674264 CPUtime=762.31 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 20309 0 0 0 76223 8 0 0 25 0 4 0 524333266 690446336 25649 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=674264 CPUtime=758.22 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 20034 0 0 0 75813 9 0 0 25 0 4 0 524333266 690446336 25649 33554432000 4194304 4797429 140736706161904 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.15
Current children cumulated vsize (KiB) 674264

[startup+822.3 s]
/proc/loadavg: 8.14 8.11 8.03 9/184 23087
/proc/meminfo: memFree=30330036/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=674764 CPUtime=3284.82 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 158922 0 0 0 328429 53 0 0 25 0 4 0 524333265 690958336 26292 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 168691 26292 421 148 0 163620 0
[pid=23055/tid=23063] ppid=23052 vsize=674764 CPUtime=822.28 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 22814 0 0 0 82221 7 0 0 25 0 4 0 524333266 690958336 26292 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=674764 CPUtime=822.31 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 21326 0 0 0 82223 8 0 0 25 0 4 0 524333266 690958336 26292 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=674764 CPUtime=817.89 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 21187 0 0 0 81780 9 0 0 25 0 4 0 524333266 690958336 26292 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.82
Current children cumulated vsize (KiB) 674764

[startup+882.301 s]
/proc/loadavg: 8.10 8.10 8.03 10/184 23089
/proc/meminfo: memFree=30326532/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=678576 CPUtime=3524.5 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 166767 0 0 0 352394 56 0 0 25 0 4 0 524333265 694861824 26492 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 169644 26492 421 148 0 164573 0
[pid=23055/tid=23063] ppid=23052 vsize=678576 CPUtime=882.28 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 24012 0 0 0 88221 7 0 0 25 0 4 0 524333266 694861824 26492 33554432000 4194304 4797429 140736706161904 18446744073709551615 4425064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=678576 CPUtime=882.31 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 22424 0 0 0 88222 9 0 0 25 0 4 0 524333266 694861824 26492 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=678576 CPUtime=877.55 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 22345 0 0 0 87746 9 0 0 25 0 4 0 524333266 694861824 26492 33554432000 4194304 4797429 140736706161904 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.5
Current children cumulated vsize (KiB) 678576

[startup+942.3 s]
/proc/loadavg: 8.10 8.10 8.03 9/184 23090
/proc/meminfo: memFree=30309004/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=685640 CPUtime=3764.2 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 173287 0 0 0 376362 58 0 0 25 0 4 0 524333265 702095360 27777 33554432000 4194304 4797429 140736706161904 18446744073709551615 4495525 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 171410 27777 421 148 0 166339 0
[pid=23055/tid=23063] ppid=23052 vsize=685640 CPUtime=942.29 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 25337 0 0 0 94221 8 0 0 25 0 4 0 524333266 702095360 27777 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=685640 CPUtime=942.32 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 23547 0 0 0 94223 9 0 0 25 0 4 0 524333266 702095360 27777 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=685640 CPUtime=937.23 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 23506 0 0 0 93713 10 0 0 25 0 4 0 524333266 702095360 27777 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.2
Current children cumulated vsize (KiB) 685640

[startup+1002.3 s]
/proc/loadavg: 8.16 8.11 8.03 10/184 23092
/proc/meminfo: memFree=30305272/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=685784 CPUtime=4003.86 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 178440 0 0 0 400326 60 0 0 25 0 4 0 524333265 702242816 29341 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 171446 29341 421 148 0 166375 0
[pid=23055/tid=23063] ppid=23052 vsize=685784 CPUtime=1002.28 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 26300 0 0 0 100220 8 0 0 25 0 4 0 524333266 702242816 29341 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=685784 CPUtime=1002.31 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 24123 0 0 0 100222 9 0 0 25 0 4 0 524333266 702242816 29341 33554432000 4194304 4797429 140736706161904 18446744073709551615 4423098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=685784 CPUtime=996.9 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 23995 0 0 0 99680 10 0 0 25 0 4 0 524333266 702242816 29341 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.86
Current children cumulated vsize (KiB) 685784

[startup+1062.31 s]
/proc/loadavg: 8.16 8.11 8.04 9/184 23093
/proc/meminfo: memFree=30290988/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=687044 CPUtime=4243.55 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 185116 0 0 0 424291 64 0 0 25 0 4 0 524333265 703533056 29143 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 171761 29143 421 148 0 166690 0
[pid=23055/tid=23063] ppid=23052 vsize=687044 CPUtime=1062.29 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 26757 0 0 0 106221 8 0 0 25 0 4 0 524333266 703533056 29143 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=687044 CPUtime=1062.32 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 25045 0 0 0 106222 10 0 0 25 0 4 0 524333266 703533056 29143 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=687044 CPUtime=1056.57 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 25005 0 0 0 105646 11 0 0 25 0 4 0 524333266 703533056 29143 33554432000 4194304 4797429 140736706161904 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.55
Current children cumulated vsize (KiB) 687044

[startup+1122.3 s]
/proc/loadavg: 8.16 8.12 8.04 9/184 23095
/proc/meminfo: memFree=30276824/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=687472 CPUtime=4483.21 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 191260 0 0 0 448254 67 0 0 25 0 4 0 524333265 703971328 29461 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 171868 29461 421 148 0 166797 0
[pid=23055/tid=23063] ppid=23052 vsize=687472 CPUtime=1122.29 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 27978 0 0 0 112220 9 0 0 25 0 4 0 524333266 703971328 29461 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=687472 CPUtime=1122.32 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 25880 0 0 0 112222 10 0 0 25 0 4 0 524333266 703971328 29461 33554432000 4194304 4797429 140736706161904 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=687472 CPUtime=1116.24 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 25945 0 0 0 111613 11 0 0 25 0 4 0 524333266 703971328 29461 33554432000 4194304 4797429 140736706161904 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.21
Current children cumulated vsize (KiB) 687472

[startup+1182.3 s]
/proc/loadavg: 8.14 8.12 8.04 10/184 23097
/proc/meminfo: memFree=30272456/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=687560 CPUtime=4722.88 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 197560 0 0 0 472218 70 0 0 25 0 4 0 524333265 704061440 29966 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 171890 29966 421 148 0 166819 0
[pid=23055/tid=23063] ppid=23052 vsize=687560 CPUtime=1182.29 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 28828 0 0 0 118219 10 0 0 25 0 4 0 524333266 704061440 29966 33554432000 4194304 4797429 140736706161904 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=687560 CPUtime=1182.33 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 26541 0 0 0 118222 11 0 0 25 0 4 0 524333266 704061440 29966 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424735 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=687560 CPUtime=1175.9 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 26402 0 0 0 117579 11 0 0 25 0 4 0 524333266 704061440 29966 33554432000 4194304 4797429 140736706161904 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.88
Current children cumulated vsize (KiB) 687560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.12 8.04 5/180 23098
/proc/meminfo: memFree=30453756/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=687560 CPUtime=4800.39 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 198672 0 0 0 479969 70 0 0 25 0 4 0 524333265 704061440 31020 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 171890 31020 421 148 0 166819 0
[pid=23055/tid=23063] ppid=23052 vsize=687560 CPUtime=1201.69 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 29002 0 0 0 120159 10 0 0 25 0 4 0 524333266 704061440 31020 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=687560 CPUtime=1201.73 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 26650 0 0 0 120162 11 0 0 25 0 4 0 524333266 704061440 31020 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=687560 CPUtime=1195.21 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 26571 0 0 0 119509 12 0 0 25 0 4 0 524333266 704061440 31020 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 687560

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.11 8.12 8.04 5/180 23098
/proc/meminfo: memFree=30453756/32951124 swapFree=67111416/67111528
[pid=23055] ppid=23052 vsize=687560 CPUtime=4800.39 cores=0,2,4,6
/proc/23055/stat : 23055 (techdemo) R 23052 23055 23020 0 -1 4202496 198672 0 0 0 479969 70 0 0 25 0 4 0 524333265 704061440 31020 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23055/statm: 171890 31020 421 148 0 166819 0
[pid=23055/tid=23063] ppid=23052 vsize=687560 CPUtime=1201.69 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (techdemo) R 23052 23055 23020 0 -1 4202560 29002 0 0 0 120159 10 0 0 25 0 4 0 524333266 704061440 31020 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23055/tid=23064] ppid=23052 vsize=687560 CPUtime=1201.73 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (techdemo) R 23052 23055 23020 0 -1 4202560 26650 0 0 0 120162 11 0 0 25 0 4 0 524333266 704061440 31020 33554432000 4194304 4797429 140736706161904 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23055/tid=23065] ppid=23052 vsize=687560 CPUtime=1195.21 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (techdemo) R 23052 23055 23020 0 -1 4202560 26571 0 0 0 119509 12 0 0 25 0 4 0 524333266 704061440 31020 33554432000 4194304 4797429 140736706161904 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 687560

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.43
CPU user time (s): 4799.72
CPU system time (s): 0.714891
CPU usage (%): 399.464
Max. virtual memory (cumulated for all children) (KiB): 783920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.72
system time used= 0.714891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198672
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= 325
involuntary context switches= 23380

runsolver used 2.03269 second user time and 4.39033 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 03:35:09
IDJOB=3173075
IDBENCH=83093
IDSOLVER=1584
FILE ID=node102/3173075-1304127309
RUNJOBID= node102-1304127309-23038
PBS_JOBID= 13170771
Free space on /tmp= 71560 MiB

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

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

MD5SUM BENCH= 6dcea24e0d40e217adec300bb8ded029
RANDOM SEED=683640592

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30578240 kB
Buffers:        608700 kB
Cached:        1282828 kB
SwapCached:          0 kB
Active:         165436 kB
Inactive:      1790004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30578240 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           15692 kB
Writeback:           0 kB
AnonPages:       63476 kB
Mapped:          14396 kB
Slab:           352212 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187060 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= 71552 MiB
End job on node102 at 2011-04-30 03:55:13