Trace number 3264529

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

General information on the benchmark

NameSAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
MD5SUMf97e40b22ad62886042ca9677daf337d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables260
Number of clauses486
Sum of the clauses size1102
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2421
Number of clauses of size 30
Number of clauses of size 465
Number of clauses of size 50
Number of clauses of size over 50

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-3264529-1304180477.cnf'
0.00/0.00	c -- header says num vars:            260
0.00/0.00	c -- header says num clauses:         486
0.00/0.00	c -- clauses added:            0 learnts,          486 normals,            0 xors
0.00/0.00	c -- vars added        260
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       260        65       421         0      1102         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/65/65 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.0M T:  0.00
0.00/0.00	c Calc non-exist non-lernt bins v-fix:     0 done:    260 time:  0.00 s
0.00/0.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.00	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.00/0.00	c lits-rem:         2  cl-subs:        0  v-elim:     79  v-fix:    0  time:  0.00 s
0.00/0.00	c learnt bin added due to v-elim: 0
0.00/0.00	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.00	c calculated reachability. Time: 0.00
0.00/0.00	c Calc default polars -  time:   0.00 s pos:      94 undec:      79 neg:      87
0.00/0.00	c =========================================================================================
0.00/0.00	c types(t): F = full restart, N = normal restart
0.00/0.00	c types(t): S = simplification begin/end, E = solution found
0.00/0.00	c restart types(rt): st = static, dy = dynamic
0.00/0.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.00	c  B st     0         0       181       152       273         0      1376         0   no data   no data  --
0.17/0.05	c Decided on static restart strategy
0.17/0.10	c  N dy    21      4115       181       152       273      3982      1376    113371     28.75     18.52  --
5.97/1.54	c  N dy    38     30003       181       152       273     10328      1376    253055     35.93     22.05  --
5.97/1.55	c  S st    38     30003       181       152       273     10328      1376    253055     35.93     22.05  --
5.97/1.57	c  S st    38     30504       181       152       273     10819      1376    267214     35.93     22.05  --
5.97/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.37/1.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  0.22
6.37/1.63	c Calc non-exist non-lernt bins v-fix:     0 done:    181 time:  0.00 s
6.37/1.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.37/1.63	c Subs w/ non-existent bins:      0 time:  0.01 s
6.37/1.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.66	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  0.10 s
6.37/1.66	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
7.19/1.89	c lits-rem:      1036  cl-subs:     1793  v-elim:      1  v-fix:    0  time:  0.91 s
7.19/1.89	c learnt bin added due to v-elim: 0
7.19/1.89	c vivif2 --  cl tried      152 cl shrink        0 lits rem          0 time: 0.00
7.19/1.90	c vivif2 --  cl tried     9026 cl shrink        0 lits rem          0 time: 0.01
7.19/1.90	c asymm  cl-useful: 0/152/152 lits-rem:0 time: 0.02
7.19/1.90	c calculated reachability. Time: 0.00
7.19/1.90	c  N dy    38     30504       180       152       271      9026      1366    230843     35.93     22.05  --
7.19/1.90	c  F st    38     30504       180       152       271      9026      1366    230843     35.93     22.05  --
7.96/2.00	c Decided on static restart strategy
8.36/2.11	c  N dy    59     34639       180       152       271     13032      1366    340579     27.47     21.45  --
9.16/2.33	c  N dy    89     38711       180       152       271      9444      1366    181033     27.80     21.07  --
9.96/2.56	c  N dy   118     42727       180       152       271     13350      1366    294390     28.81     20.79  --
10.76/2.77	c  S st   140     45757       180       152       271     16288      1366    374361     28.40     20.57  --
11.16/2.81	c  S st   140     46261       180       152       271     16771      1366    387890     28.40     20.57  --
11.16/2.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.16/2.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.58/2.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  0.43
11.58/2.92	c Calc non-exist non-lernt bins v-fix:     0 done:    180 time:  0.00 s
11.58/2.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.58/2.93	c Subs w/ non-existent bins:      0 time:  0.01 s
11.58/2.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.58/2.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.19 s
11.58/2.98	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
15.15/3.89	c lits-rem:      1027  cl-subs:     1740  v-elim:      0  v-fix:    0  time:  3.65 s
15.15/3.89	c learnt bin added due to v-elim: 0
15.15/3.89	c vivif2 --  cl tried      152 cl shrink        0 lits rem          0 time: 0.00
15.55/3.90	c vivif2 --  cl tried    15031 cl shrink        0 lits rem          0 time: 0.02
15.55/3.91	c asymm  cl-useful: 0/152/152 lits-rem:0 time: 0.03
15.55/3.91	c calculated reachability. Time: 0.00
15.55/3.91	c  N dy   140     46261       180       152       271     15031      1366    351791     28.40     20.57  --
16.37/4.17	c  N dy   169     50281       180       152       271     10323      1366    180353     28.81     20.32  --
17.55/4.41	c  N dy   199     54333       180       152       271     14265      1366    289869     26.24     20.13  --
18.75/4.72	c  N dy   229     58475       180       152       271     18321      1366    405476     29.90     19.91  --
22.34/5.67	c  N dy   242     69393       180       152       271     19276      1366    514076     40.23     19.98  --
22.34/5.69	c  S st   242     69393       180       152       271     19276      1366    514076     40.23     19.98  --
22.74/5.75	c  S st   242     69893       180       152       271     19772      1366    527582     40.23     19.98  --
22.74/5.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.74/5.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.54/5.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.5M T:  0.77
23.54/5.94	c Calc non-exist non-lernt bins v-fix:     0 done:    180 time:  0.00 s
23.54/5.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.54/5.94	c Subs w/ non-existent bins:      0 time:  0.02 s
23.54/5.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.94/6.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.27 s
23.94/6.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
27.93/7.08	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
35.93/9.05	c Added 2 vars  tried: 80000 time: 7.86
35.93/9.09	c ORs :      2 avg-s:  0.0 cl-sh:  5337 l-rem:   5337 b-add:      4 v-rep:   0 cl-rem: 0 avg s: nan T:    8.02
36.33/9.10	c lits-rem:      4608  cl-subs:     1385  v-elim:      0  v-fix:    0  time: 12.31 s
36.33/9.10	c learnt bin added due to v-elim: 0
36.33/9.10	c vivif2 --  cl tried      154 cl shrink        0 lits rem          0 time: 0.00
36.33/9.11	c vivif2 --  cl tried    18387 cl shrink        0 lits rem          0 time: 0.02
36.33/9.12	c asymm  cl-useful: 0/154/154 lits-rem:0 time: 0.05
36.33/9.12	c calculated reachability. Time: 0.00
36.33/9.12	c  N dy   242     69893       182       154       275     18387      1376    482926     40.23     19.98  --
36.33/9.12	c  F st   242     69893       182       154       275     18387      1376    482926     40.23     19.98  --
36.73/9.28	c Decided on static restart strategy
37.53/9.46	c  N dy   266     74429       182       154       275     12144      1376    192882     28.14     19.88  --
38.72/9.77	c  N dy   301     79198       182       154       275     16810      1376    325110     29.25     19.75  --
48.30/12.11	c  N dy   314    104839       182       154       275     17385      1376    341557     37.01     19.82  --
48.30/12.13	c  S st   314    104839       182       154       275     17385      1376    341557     37.01     19.82  --
48.30/12.17	c  S st   314    105341       182       154       275     17878      1376    356599     37.01     19.82  --
48.30/12.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.30/12.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.70/12.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.4M T:  0.47
48.70/12.29	c Calc non-exist non-lernt bins v-fix:     0 done:    182 time:  0.00 s
48.70/12.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.10/12.30	c Subs w/ non-existent bins:      0 time:  0.02 s
49.10/12.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.10/12.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
49.10/12.33	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
51.90/13.09	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.00
51.90/13.10	c lits-rem:      1937  cl-subs:     1207  v-elim:      0  v-fix:    0  time:  3.04 s
51.90/13.10	c learnt bin added due to v-elim: 0
51.90/13.10	c vivif2 --  cl tried      154 cl shrink        0 lits rem          0 time: 0.00
52.30/13.10	c vivif2 --  cl tried    16671 cl shrink        0 lits rem          0 time: 0.02
52.30/13.11	c asymm  cl-useful: 0/154/154 lits-rem:0 time: 0.03
52.30/13.11	c calculated reachability. Time: 0.00
52.30/13.11	c  N dy   314    105341       182       154       275     16671      1376    332115     37.01     19.82  --
54.30/13.63	c  N dy   364    112190       182       154       275     23348      1376    527075     30.19     19.70  --
56.69/14.23	c  N dy   417    119451       182       154       275     16860      1376    277066     29.81     19.60  --
72.68/18.23	c  N dy   446    158012       182       154       275     24127      1376    543712     38.73     19.85  --
72.68/18.25	c  S st   446    158012       182       154       275     24127      1376    543712     38.73     19.85  --
73.09/18.31	c  S st   446    158515       182       154       275     24621      1376    557709     38.73     19.85  --
73.09/18.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
73.09/18.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.87/18.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.3M T:  1.05
73.87/18.57	c Calc non-exist non-lernt bins v-fix:     0 done:    182 time:  0.00 s
73.87/18.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.87/18.58	c Subs w/ non-existent bins:      0 time:  0.02 s
73.87/18.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.27/18.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.24 s
74.27/18.65	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.26/19.65	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 26.0 T:    0.00
78.26/19.66	c lits-rem:      1887  cl-subs:     1677  v-elim:      0  v-fix:    0  time:  4.06 s
78.26/19.66	c learnt bin added due to v-elim: 0
78.26/19.66	c vivif2 --  cl tried      154 cl shrink        0 lits rem          0 time: 0.00
78.26/19.67	c vivif2 --  cl tried    22941 cl shrink        0 lits rem          0 time: 0.02
78.26/19.68	c asymm  cl-useful: 0/154/154 lits-rem:0 time: 0.06
78.26/19.68	c calculated reachability. Time: 0.00
78.26/19.68	c  N dy   446    158515       182       154       275     22941      1376    518146     38.73     19.85  --
115.81/29.03	c  N dy   480    237772       182       154       275     27959      1376    584608     38.03     20.46  --
115.81/29.05	c  S st   480    237772       182       154       275     27959      1376    584608     38.03     20.46  --
116.21/29.13	c  S st   480    238276       190       154       291     28491      1408    599350     38.03     20.46  --
116.21/29.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
116.21/29.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
117.43/29.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.9M T:  1.31
117.43/29.46	c Calc non-exist non-lernt bins v-fix:     0 done:    190 time:  0.00 s
117.43/29.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
117.43/29.47	c Subs w/ non-existent bins:      0 time:  0.02 s
117.43/29.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
117.81/29.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
117.81/29.53	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
121.82/30.57	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.00
121.82/30.58	c lits-rem:      1657  cl-subs:     1342  v-elim:      0  v-fix:    0  time:  4.20 s
121.82/30.58	c learnt bin added due to v-elim: 0
121.82/30.58	c vivif2 --  cl tried      154 cl shrink        0 lits rem          0 time: 0.00
121.82/30.59	c vivif2 --  cl tried    27149 cl shrink        0 lits rem          0 time: 0.03
122.20/30.60	c asymm  cl-useful: 0/154/154 lits-rem:0 time: 0.05
122.20/30.60	c calculated reachability. Time: 0.00
122.20/30.60	c  N dy   480    238276       190       154       291     27149      1408    562505     38.03     20.46  --
197.70/49.56	c  N dy   520    357414       190       154       291     31209      1408    597661     38.84     20.69  --
197.70/49.58	c  S st   520    357414       190       154       291     31209      1408    597661     38.84     20.69  --
198.10/49.66	c  S st   520    357916       194       154       307     31718      1432    612194     38.84     20.69  --
198.10/49.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
198.10/49.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
199.70/50.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.1M T:  1.53
199.70/50.05	c Calc non-exist non-lernt bins v-fix:     0 done:    194 time:  0.00 s
199.70/50.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
199.70/50.06	c Subs w/ non-existent bins:      0 time:  0.02 s
199.70/50.06	c Replacing        2 vars Replaced       42 lits Time:     0.01 s 
199.70/50.07	c bin-w-bin subsume rem            4 bins  time:  0.00 s
200.10/50.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.25 s
200.10/50.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
203.70/51.03	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.00
203.70/51.04	c lits-rem:       979  cl-subs:     1660  v-elim:      0  v-fix:    0  time:  3.62 s
203.70/51.04	c learnt bin added due to v-elim: 0
203.70/51.04	c vivif2 --  cl tried      154 cl shrink        0 lits rem          0 time: 0.00
203.70/51.04	c vivif2 --  cl tried    30058 cl shrink        0 lits rem          0 time: 0.03
203.70/51.06	c asymm  cl-useful: 0/154/154 lits-rem:0 time: 0.06
203.70/51.06	c calculated reachability. Time: 0.00
203.70/51.06	c  N dy   520    357916       192       154       295     30058      1416    575362     38.84     20.69  --
351.89/88.19	c  N dy   521    536876       192       154       295     37452      1416    727620     35.62     20.91  --
352.29/88.22	c  S st   521    536876       192       154       295     37452      1416    727620     35.62     20.91  --
352.69/88.33	c  S st   521    537378       196       154       311     37962      1440    743875     35.62     20.91  --
352.69/88.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
352.69/88.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
354.30/88.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 23.8M T:  1.81
354.30/88.79	c Calc non-exist non-lernt bins v-fix:     0 done:    196 time:  0.00 s
354.30/88.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
354.30/88.80	c Subs w/ non-existent bins:      0 time:  0.04 s
354.30/88.80	c Replacing        2 vars Replaced       39 lits Time:     0.01 s 
354.71/88.81	c bin-w-bin subsume rem            4 bins  time:  0.00 s
354.71/88.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.29 s
354.71/88.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
359.10/89.93	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.00
367.89/92.18	c Added 2 vars  tried: 80000 time: 9.00
368.66/92.35	c ORs :      2 avg-s:  0.0 cl-sh: 12998 l-rem:  12998 b-add:      4 v-rep:   0 cl-rem: 1 avg s: 13.0 T:    9.66
368.66/92.36	c lits-rem:       766  cl-subs:     1545  v-elim:      0  v-fix:    0  time: 13.87 s
368.66/92.36	c learnt bin added due to v-elim: 0
368.66/92.36	c vivif2 --  cl tried      156 cl shrink        0 lits rem          0 time: 0.00
368.66/92.37	c vivif2 --  cl tried    36416 cl shrink        0 lits rem          0 time: 0.04
369.06/92.40	c asymm  cl-useful: 0/156/156 lits-rem:0 time: 0.11
369.06/92.40	c calculated reachability. Time: 0.00
369.06/92.40	c  N dy   521    537378       196       156       303     36416      1434    690803     35.62     20.91  --
369.06/92.40	c  F st   521    537378       196       156       303     36416      1434    690803     35.62     20.91  --
369.86/92.69	c Decided on static restart strategy
593.56/148.68	c  N dy   528    806067       196       156       303     59950      1434   1341983     34.43     20.68  --
593.96/148.73	c  S st   528    806067       196       156       303     59950      1434   1341983     34.43     20.68  --
594.36/148.89	c  S st   528    806570       196       156       303     60447      1434   1356486     34.43     20.68  --
594.36/148.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
594.36/148.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
598.76/149.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 46.5M T:  4.06
598.76/149.91	c Calc non-exist non-lernt bins v-fix:     0 done:    196 time:  0.00 s
598.76/149.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
598.76/149.93	c Subs w/ non-existent bins:      0 time:  0.06 s
598.76/149.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
599.15/150.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.54 s
599.15/150.08	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
616.33/154.36	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.02
616.33/154.37	c lits-rem:       487  cl-subs:    11777  v-elim:      1  v-fix:    0  time: 17.14 s
616.33/154.37	c learnt bin added due to v-elim: 0
616.33/154.37	c vivif2 --  cl tried      159 cl shrink        0 lits rem          0 time: 0.00
616.33/154.39	c vivif2 --  cl tried    48670 cl shrink        0 lits rem          0 time: 0.06
616.73/154.44	c asymm  cl-useful: 0/159/159 lits-rem:0 time: 0.22
616.73/154.45	c calculated reachability. Time: 0.00
616.73/154.45	c  N dy   528    806570       195       159       298     48670      1433   1005295     34.43     20.68  --
1010.19/252.94	c  N dy   545   1209855       195       159       298     64223      1433   1410322     39.38     19.89  --
1010.19/252.99	c  S st   545   1209855       195       159       298     64223      1433   1410322     39.38     19.89  --
1010.19/252.99	c Finding binary XORs  T:     0.00 s  found:       0
1010.99/253.18	c  S st   545   1210355       203       159       319     64731      1465   1424315     39.38     19.89  --
1010.99/253.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1010.99/253.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1016.58/254.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  5.28
1016.58/254.50	c Calc non-exist non-lernt bins v-fix:     0 done:    203 time:  0.01 s
1016.58/254.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1016.58/254.52	c Subs w/ non-existent bins:      0 time:  0.06 s
1016.58/254.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1017.38/254.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.71 s
1017.38/254.72	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1026.99/257.11	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.01
1026.99/257.14	c lits-rem:       195  cl-subs:     4090  v-elim:      0  v-fix:    0  time:  9.66 s
1026.99/257.14	c learnt bin added due to v-elim: 0
1026.99/257.14	c vivif2 --  cl tried      159 cl shrink        0 lits rem          0 time: 0.00
1026.99/257.16	c vivif2 --  cl tried    60641 cl shrink        0 lits rem          0 time: 0.08
1027.37/257.23	c asymm  cl-useful: 0/159/159 lits-rem:0 time: 0.30
1027.37/257.24	c calculated reachability. Time: 0.00
1027.37/257.24	c  N dy   545   1210355       203       159       319     60641      1465   1325238     39.38     19.89  --
1646.14/412.18	c  N dy   555   1710355       203       159       319     92076      1465   2166074     36.21     19.58  --
1646.55/412.26	c  S st   555   1710355       203       159       319     92076      1465   2166074     36.21     19.58  --
1647.72/412.53	c  S st   555   1710858       209       159       341     92585      1493   2181341     36.21     19.58  --
1647.72/412.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1647.72/412.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1654.13/414.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      3 BRemN:      0 CBin:       0 P: 60.5M T:  6.46
1654.13/414.16	c Calc non-exist non-lernt bins v-fix:     0 done:    209 time:  0.01 s
1654.13/414.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1654.13/414.18	c Subs w/ non-existent bins:      0 time:  0.10 s
1654.13/414.19	c Replacing        1 vars Replaced       23 lits Time:     0.03 s 
1654.53/414.23	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1655.72/414.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.15 s
1655.72/414.52	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1680.09/420.62	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.01
1680.09/420.66	c lits-rem:       843  cl-subs:     5523  v-elim:      0  v-fix:    0  time: 24.54 s
1680.09/420.66	c learnt bin added due to v-elim: 0
1680.09/420.66	c vivif2 --  cl tried      159 cl shrink        0 lits rem          0 time: 0.00
1680.09/420.69	c vivif2 --  cl tried    87062 cl shrink        0 lits rem          0 time: 0.12
1680.89/420.85	c asymm  cl-useful: 0/147/159 lits-rem:0 time: 0.62
1680.89/420.85	c calculated reachability. Time: 0.00
1680.89/420.85	c  N dy   555   1710858       208       159       332     87062      1485   2049093     36.21     19.58  --
2401.50/601.20	c  N dy   559   2210858       208       159       332    102968      1485   2288311     28.13     19.55  --
2401.50/601.30	c  S st   559   2210858       208       159       332    102968      1485   2288311     28.13     19.55  --
2402.69/601.58	c  S st   559   2211363       214       159       358    103481      1519   2304139     28.13     19.55  --
2402.69/601.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2402.69/601.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2408.69/603.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      2 BRemN:      0 CBin:       0 P: 60.0M T:  5.82
2408.69/603.05	c Calc non-exist non-lernt bins v-fix:     0 done:    214 time:  0.01 s
2408.69/603.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2408.69/603.07	c Subs w/ non-existent bins:      3 time:  0.11 s
2408.69/603.08	c Replacing        1 vars Replaced       17 lits Time:     0.04 s 
2409.09/603.12	c bin-w-bin subsume rem            5 bins  time:  0.00 s
2409.89/603.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.08 s
2409.89/603.39	c Removed useless bin:       6  fixed:     0  bprops:   0.00M  time:  0.00 s
2437.07/610.12	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.04
2474.20/619.44	c Added 3 vars  tried: 80000 time: 37.22
2483.79/621.84	c ORs :      3 avg-s:  0.0 cl-sh: 53314 l-rem:  53314 b-add:      6 v-rep:   0 cl-rem: 3 avg s: 13.3 T:   46.81
2483.79/621.88	c lits-rem:       260  cl-subs:     7657  v-elim:      1  v-fix:    0  time: 73.85 s
2483.79/621.88	c learnt bin added due to v-elim: 0
2483.79/621.88	c vivif2 --  cl tried      163 cl shrink        3 lits rem          3 time: 0.00
2484.19/621.91	c vivif2 --  cl tried    95818 cl shrink        0 lits rem          0 time: 0.12
2484.59/622.01	c asymm  cl-useful: 0/163/163 lits-rem:0 time: 0.38
2484.59/622.01	c calculated reachability. Time: 0.00
2484.59/622.01	c  N dy   559   2211363       215       163       345     95818      1518   2069687     28.13     19.55  --
3390.97/848.92	c  N dy   563   2711363       215       163       345    117632      1518   2867302     37.89     20.00  --
3391.35/849.04	c  S st   563   2711363       215       163       345    117632      1518   2867302     37.89     20.00  --
3392.55/849.39	c  S st   563   2711868       215       163       345    118133      1518   2883059     37.89     20.00  --
3392.95/849.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3392.95/849.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3400.13/851.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  7.19
3400.13/851.20	c Calc non-exist non-lernt bins v-fix:     0 done:    215 time:  0.01 s
3400.13/851.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3400.13/851.24	c Subs w/ non-existent bins:      0 time:  0.13 s
3400.13/851.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3402.53/851.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.14 s
3402.53/851.82	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3458.46/865.87	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.03
3458.86/865.92	c lits-rem:       161  cl-subs:    11504  v-elim:      1  v-fix:    0  time: 56.30 s
3458.86/865.92	c learnt bin added due to v-elim: 0
3458.86/865.92	c vivif2 --  cl tried      165 cl shrink        0 lits rem          0 time: 0.00
3458.86/865.96	c vivif2 --  cl tried   106629 cl shrink        1 lits rem          2 time: 0.15
3459.26/866.09	c asymm  cl-useful: 0/165/165 lits-rem:0 time: 0.55
3459.66/866.10	c calculated reachability. Time: 0.00
3459.66/866.10	c  N dy   563   2711868       214       165       344    106629      1537   2503290     37.89     20.00  --
3459.66/866.10	c  F st   563   2711868       214       165       344    106629      1537   2503290     37.89     20.00  --
3463.65/867.10	c Decided on static restart strategy
4491.84/1124.55	c  N dy   571   3211868       214       165       344     83951      1537   1416662     38.99     20.14  --
4492.24/1124.61	c  S st   571   3211868       214       165       344     83951      1537   1416662     38.99     20.14  --
4492.24/1124.61	c Finding binary XORs  T:     0.00 s  found:       2
4493.04/1124.85	c  S st   571   3212372       223       165       380     84470      1591   1431200     38.99     20.14  --
4493.04/1124.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4493.04/1124.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4497.85/1126.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      6 BRemN:      9 CBin:       0 P: 60.1M T:  4.81
4497.85/1126.07	c Calc non-exist non-lernt bins v-fix:     0 done:    223 time:  0.01 s
4497.85/1126.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4497.85/1126.09	c Subs w/ non-existent bins:      3 time:  0.08 s
4497.85/1126.10	c Replacing        2 vars Replaced       42 lits Time:     0.03 s 
4498.25/1126.12	c bin-w-bin subsume rem            2 bins  time:  0.00 s
4498.63/1126.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.51 s
4498.63/1126.25	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4509.02/1128.80	c ORs :      5 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
4509.02/1128.82	c lits-rem:       740  cl-subs:     6320  v-elim:      1  v-fix:    0  time: 10.28 s
4509.02/1128.82	c learnt bin added due to v-elim: 0
4509.02/1128.82	c vivif2 --  cl tried      168 cl shrink        2 lits rem          2 time: 0.00
4509.02/1128.85	c vivif2 --  cl tried    78147 cl shrink        1 lits rem          2 time: 0.09
4509.42/1128.97	c asymm  cl-useful: 0/153/168 lits-rem:0 time: 0.50
4509.42/1128.97	c calculated reachability. Time: 0.00
4509.42/1128.97	c  N dy   571   3212372       220       168       353     78147      1570   1322596     38.99     20.14  --

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-3264529-1304180477/watcher-3264529-1304180477 -o /tmp/evaluation-result-3264529-1304180477/solver-3264529-1304180477 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3264529-1304180477.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.45 7.96 8.00 1/175 10402
/proc/meminfo: memFree=24343716/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=81036 CPUtime=0 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 632 0 0 0 0 0 0 0 25 0 4 0 529645405 82980864 567 33554432000 4194304 4797429 140734254248208 18446744073709551615 47126739855272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 20259 567 361 148 0 15188 0
[pid=10402/tid=10403] ppid=10400 vsize=81036 CPUtime=0 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529645406 82980864 567 33554432000 4194304 4797429 140734254248208 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=81036 CPUtime=0 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529645406 82980864 567 33554432000 4194304 4797429 140734254248208 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=81036 CPUtime=0 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529645406 82980864 567 33554432000 4194304 4797429 140734254248208 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0494839 s]
/proc/loadavg: 7.45 7.96 8.00 1/175 10402
/proc/meminfo: memFree=24343716/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=671832 CPUtime=0.17 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 1177 0 0 0 17 0 0 0 25 0 4 0 529645405 687955968 1068 33554432000 4194304 4797429 140734254248208 18446744073709551615 4354779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 167958 1068 409 148 0 162887 0
[pid=10402/tid=10403] ppid=10400 vsize=671832 CPUtime=0.03 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) S 10400 10402 10191 0 -1 4202560 154 0 0 0 3 0 0 0 25 0 4 0 529645406 687955968 1068 33554432000 4194304 4797429 140734254248208 18446744073709551615 212687780334 0 0 4096 2 18446604453942916928 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=671832 CPUtime=0.04 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 113 0 0 0 4 0 0 0 25 0 4 0 529645406 687955968 1068 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424921 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=671832 CPUtime=0.04 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 143 0 0 0 4 0 0 0 25 0 4 0 529645406 687955968 1068 33554432000 4194304 4797429 140734254248208 18446744073709551615 212687336133 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 671832

[startup+0.246303 s]
/proc/loadavg: 7.45 7.96 8.00 1/175 10402
/proc/meminfo: memFree=24343716/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=678040 CPUtime=3.64 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 5815 0 0 0 363 1 0 0 19 0 4 0 529645405 694312960 3716 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 169510 3716 418 148 0 164439 0
[pid=10402/tid=10403] ppid=10400 vsize=678040 CPUtime=0.9 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 1345 0 0 0 90 0 0 0 25 0 4 0 529645406 694312960 3716 33554432000 4194304 4797429 140734254248208 18446744073709551615 4331761 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=678040 CPUtime=0.9 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 1234 0 0 0 90 0 0 0 25 0 4 0 529645406 694312960 3716 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=678040 CPUtime=0.9 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 1333 0 0 0 90 0 0 0 19 0 4 0 529645406 694312960 3716 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524382 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 678040

[startup+1.02026 s]
/proc/loadavg: 7.45 7.96 8.00 1/175 10402
/proc/meminfo: memFree=24343716/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=678040 CPUtime=4.04 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 6010 0 0 0 403 1 0 0 19 0 4 0 529645405 694312960 3904 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 169510 3904 418 148 0 164439 0
[pid=10402/tid=10403] ppid=10400 vsize=678040 CPUtime=1 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 1380 0 0 0 100 0 0 0 25 0 4 0 529645406 694312960 3904 33554432000 4194304 4797429 140734254248208 18446744073709551615 4428824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=678040 CPUtime=1 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 1270 0 0 0 100 0 0 0 25 0 4 0 529645406 694312960 3904 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=678040 CPUtime=1 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 1384 0 0 0 100 0 0 0 19 0 4 0 529645406 694312960 3904 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 678040

[startup+1.12024 s]
/proc/loadavg: 7.45 7.96 8.00 1/175 10402
/proc/meminfo: memFree=24343716/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=678040 CPUtime=4.44 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 6107 0 0 0 443 1 0 0 19 0 4 0 529645405 694312960 4001 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 169510 4001 418 148 0 164439 0
[pid=10402/tid=10403] ppid=10400 vsize=678040 CPUtime=1.1 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 1394 0 0 0 110 0 0 0 25 0 4 0 529645406 694312960 4001 33554432000 4194304 4797429 140734254248208 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=678040 CPUtime=1.1 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 1282 0 0 0 110 0 0 0 25 0 4 0 529645406 694312960 4001 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424846 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=678040 CPUtime=1.1 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 1384 0 0 0 110 0 0 0 19 0 4 0 529645406 694312960 4001 33554432000 4194304 4797429 140734254248208 18446744073709551615 4657126 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 678040

[startup+1.50017 s]
/proc/loadavg: 7.45 7.96 8.00 1/175 10402
/proc/meminfo: memFree=24343716/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=678824 CPUtime=5.97 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 6876 0 0 0 595 2 0 0 19 0 4 0 529645405 695115776 4344 33554432000 4194304 4797429 140734254248208 18446744073709551615 4415861 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 169706 4344 418 148 0 164635 0
[pid=10402/tid=10403] ppid=10400 vsize=678824 CPUtime=1.48 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 1504 0 0 0 148 0 0 0 25 0 4 0 529645406 695115776 4344 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=678824 CPUtime=1.48 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 1384 0 0 0 148 0 0 0 25 0 4 0 529645406 695115776 4344 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=678824 CPUtime=1.48 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 1516 0 0 0 148 0 0 0 19 0 4 0 529645406 695115776 4344 33554432000 4194304 4797429 140734254248208 18446744073709551615 4428848 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 678824

[startup+3.10088 s]
/proc/loadavg: 7.45 7.96 8.00 9/184 10436
/proc/meminfo: memFree=24305256/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=680812 CPUtime=12.36 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 9873 0 0 0 1234 2 0 0 25 0 4 0 529645405 697151488 5939 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524592 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 170203 5939 418 148 0 165132 0
[pid=10402/tid=10403] ppid=10400 vsize=680812 CPUtime=3.08 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 1989 0 0 0 308 0 0 0 25 0 4 0 529645406 697151488 5939 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=680812 CPUtime=3.08 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 1813 0 0 0 308 0 0 0 25 0 4 0 529645406 697151488 5939 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=680812 CPUtime=3.07 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 1970 0 0 0 307 0 0 0 25 0 4 0 529645406 697151488 5939 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 680812

[startup+6.3063 s]
/proc/loadavg: 7.50 7.96 8.00 9/184 10436
/proc/meminfo: memFree=24292232/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=683156 CPUtime=25.16 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 13177 0 0 0 2513 3 0 0 25 0 4 0 529645405 699551744 7197 33554432000 4194304 4797429 140734254248208 18446744073709551615 4568036 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 170789 7197 418 148 0 165718 0
[pid=10402/tid=10403] ppid=10400 vsize=683156 CPUtime=6.28 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 2503 0 0 0 628 0 0 0 25 0 4 0 529645406 699551744 7197 33554432000 4194304 4797429 140734254248208 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=683156 CPUtime=6.29 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 2319 0 0 0 629 0 0 0 25 0 4 0 529645406 699551744 7197 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429240 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=683156 CPUtime=6.26 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 2425 0 0 0 626 0 0 0 25 0 4 0 529645406 699551744 7197 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 683156

[startup+12.7011 s]
/proc/loadavg: 7.54 7.96 8.00 9/184 10436
/proc/meminfo: memFree=24283608/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=685236 CPUtime=50.71 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 16868 0 0 0 5067 4 0 0 25 0 4 0 529645405 701681664 8173 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524384 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 171309 8173 419 148 0 166238 0
[pid=10402/tid=10403] ppid=10400 vsize=685236 CPUtime=12.68 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 3113 0 0 0 1267 1 0 0 25 0 4 0 529645406 701681664 8173 33554432000 4194304 4797429 140734254248208 18446744073709551615 4508782 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=685236 CPUtime=12.68 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 2904 0 0 0 1268 0 0 0 25 0 4 0 529645406 701681664 8173 33554432000 4194304 4797429 140734254248208 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=685236 CPUtime=12.62 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 2836 0 0 0 1262 0 0 0 25 0 4 0 529645406 701681664 8173 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 685236

[startup+25.5008 s]
/proc/loadavg: 7.64 7.96 8.00 9/184 10437
/proc/meminfo: memFree=24269912/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=688432 CPUtime=101.83 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 24815 0 0 0 10177 6 0 0 25 0 4 0 529645405 704954368 10447 33554432000 4194304 4797429 140734254248208 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 172108 10447 419 148 0 167037 0
[pid=10402/tid=10403] ppid=10400 vsize=688432 CPUtime=25.48 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 3591 0 0 0 2547 1 0 0 25 0 4 0 529645406 704954368 10447 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=688432 CPUtime=25.48 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 3719 0 0 0 2548 0 0 0 25 0 4 0 529645406 704954368 10447 33554432000 4194304 4797429 140734254248208 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=688432 CPUtime=25.36 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 3729 0 0 0 2535 1 0 0 25 0 4 0 529645406 704954368 10447 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429083 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) 688432

[startup+51.1011 s]
/proc/loadavg: 7.76 7.97 8.00 9/184 10437
/proc/meminfo: memFree=24254092/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=693016 CPUtime=204.09 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 37715 0 0 0 20400 9 0 0 25 0 4 0 529645405 709648384 12655 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 173254 12655 422 148 0 168183 0
[pid=10402/tid=10403] ppid=10400 vsize=693016 CPUtime=51.07 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 4913 0 0 0 5106 1 0 0 25 0 4 0 529645406 709648384 12655 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=693016 CPUtime=51.08 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 4732 0 0 0 5108 0 0 0 25 0 4 0 529645406 709648384 12655 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=693016 CPUtime=50.82 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 4665 0 0 0 5081 1 0 0 25 0 4 0 529645406 709648384 12655 33554432000 4194304 4797429 140734254248208 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 693016

[startup+102.301 s]
/proc/loadavg: 7.96 7.99 8.00 9/184 10439
/proc/meminfo: memFree=24232120/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=697632 CPUtime=408.61 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 57112 0 0 0 40847 14 0 0 25 0 4 0 529645405 714375168 15517 33554432000 4194304 4797429 140734254248208 18446744073709551615 4404790 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 174408 15517 421 148 0 169337 0
[pid=10402/tid=10403] ppid=10400 vsize=697632 CPUtime=102.28 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 7048 0 0 0 10226 2 0 0 25 0 4 0 529645406 714375168 15517 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=697632 CPUtime=102.28 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 6633 0 0 0 10227 1 0 0 25 0 4 0 529645406 714375168 15517 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=697632 CPUtime=101.74 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 6610 0 0 0 10172 2 0 0 25 0 4 0 529645406 714375168 15517 33554432000 4194304 4797429 140734254248208 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 697632

[startup+162.301 s]

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

[pid=10402] ppid=10400 vsize=732040 CPUtime=2805.35 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 215186 0 0 0 280462 73 0 0 25 0 4 0 529645405 749608960 35083 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 183010 35083 421 148 0 177939 0
[pid=10402/tid=10403] ppid=10400 vsize=732040 CPUtime=702.27 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 23445 0 0 0 70218 9 0 0 25 0 4 0 529645406 749608960 35083 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=732040 CPUtime=702.3 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 22648 0 0 0 70221 9 0 0 25 0 4 0 529645406 749608960 35083 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=732040 CPUtime=698.5 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 23260 0 0 0 69842 8 0 0 25 0 4 0 529645406 749608960 35083 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 732040

[startup+762.301 s]
/proc/loadavg: 8.13 8.10 8.04 9/184 10456
/proc/meminfo: memFree=24081276/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=733408 CPUtime=3045.02 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 227430 0 0 0 304424 78 0 0 25 0 4 0 529645405 751009792 35471 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424614 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 183352 35471 421 148 0 178281 0
[pid=10402/tid=10403] ppid=10400 vsize=733408 CPUtime=762.27 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 24788 0 0 0 76218 9 0 0 25 0 4 0 529645406 751009792 35471 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=733408 CPUtime=762.3 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 24158 0 0 0 76220 10 0 0 25 0 4 0 529645406 751009792 35471 33554432000 4194304 4797429 140734254248208 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=733408 CPUtime=758.18 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 24519 0 0 0 75809 9 0 0 25 0 4 0 529645406 751009792 35471 33554432000 4194304 4797429 140734254248208 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 733408

[startup+822.301 s]
/proc/loadavg: 8.12 8.09 8.04 9/184 10458
/proc/meminfo: memFree=24067132/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=735456 CPUtime=3284.69 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 237837 0 0 0 328385 84 0 0 25 0 4 0 529645405 753106944 38863 33554432000 4194304 4797429 140734254248208 18446744073709551615 4351618 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 183864 38863 421 148 0 178793 0
[pid=10402/tid=10403] ppid=10400 vsize=735456 CPUtime=822.27 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 26159 0 0 0 82217 10 0 0 25 0 4 0 529645406 753106944 38863 33554432000 4194304 4797429 140734254248208 18446744073709551615 4331610 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=735456 CPUtime=822.3 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 25973 0 0 0 82219 11 0 0 25 0 4 0 529645406 753106944 38863 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=735456 CPUtime=817.85 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 25531 0 0 0 81776 9 0 0 25 0 4 0 529645406 753106944 38863 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 735456

[startup+882.301 s]
/proc/loadavg: 8.04 8.07 8.03 9/184 10459
/proc/meminfo: memFree=24056948/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=743252 CPUtime=3524.37 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 248581 0 0 0 352348 89 0 0 25 0 4 0 529645405 761090048 41287 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 185813 41287 421 148 0 180742 0
[pid=10402/tid=10403] ppid=10400 vsize=743252 CPUtime=882.26 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 27519 0 0 0 88216 10 0 0 25 0 4 0 529645406 761090048 41287 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=743252 CPUtime=882.3 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 27519 0 0 0 88218 12 0 0 25 0 4 0 529645406 761090048 41287 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=743252 CPUtime=877.52 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 27211 0 0 0 87742 10 0 0 25 0 4 0 529645406 761090048 41287 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 743252

[startup+942.301 s]
/proc/loadavg: 8.10 8.09 8.04 9/184 10461
/proc/meminfo: memFree=24055924/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=744580 CPUtime=3764.05 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 260498 0 0 0 376312 93 0 0 25 0 4 0 529645405 762449920 40689 33554432000 4194304 4797429 140734254248208 18446744073709551615 4422918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 186145 40689 421 148 0 181074 0
[pid=10402/tid=10403] ppid=10400 vsize=744580 CPUtime=942.27 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 28862 0 0 0 94216 11 0 0 25 0 4 0 529645406 762449920 40689 33554432000 4194304 4797429 140734254248208 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=744580 CPUtime=942.31 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 29136 0 0 0 94218 13 0 0 25 0 4 0 529645406 762449920 40689 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=744580 CPUtime=937.2 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 28557 0 0 0 93709 11 0 0 25 0 4 0 529645406 762449920 40689 33554432000 4194304 4797429 140734254248208 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 744580

[startup+1002.3 s]
/proc/loadavg: 8.03 8.07 8.03 9/184 10463
/proc/meminfo: memFree=24050204/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=744732 CPUtime=4003.72 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 270781 0 0 0 400275 97 0 0 25 0 4 0 529645405 762605568 41527 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 186183 41527 421 148 0 181112 0
[pid=10402/tid=10403] ppid=10400 vsize=744732 CPUtime=1002.27 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 29675 0 0 0 100216 11 0 0 25 0 4 0 529645406 762605568 41527 33554432000 4194304 4797429 140734254248208 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=744732 CPUtime=1002.3 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 29964 0 0 0 100217 13 0 0 25 0 4 0 529645406 762605568 41527 33554432000 4194304 4797429 140734254248208 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=744732 CPUtime=996.88 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 29832 0 0 0 99676 12 0 0 25 0 4 0 529645406 762605568 41527 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.72
Current children cumulated vsize (KiB) 744732

[startup+1062.31 s]
/proc/loadavg: 8.01 8.05 8.03 9/184 10464
/proc/meminfo: memFree=24039520/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=746440 CPUtime=4243.4 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 281092 0 0 0 424239 101 0 0 25 0 4 0 529645405 764354560 42991 33554432000 4194304 4797429 140734254248208 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 186610 42991 421 148 0 181539 0
[pid=10402/tid=10403] ppid=10400 vsize=746440 CPUtime=1062.27 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 31499 0 0 0 106215 12 0 0 25 0 4 0 529645406 764354560 42991 33554432000 4194304 4797429 140734254248208 18446744073709551615 4428715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=746440 CPUtime=1062.31 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 31423 0 0 0 106218 13 0 0 25 0 4 0 529645406 764354560 42991 33554432000 4194304 4797429 140734254248208 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=746440 CPUtime=1056.56 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 31323 0 0 0 105643 13 0 0 25 0 4 0 529645406 764354560 42991 33554432000 4194304 4797429 140734254248208 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 746440

[startup+1122.3 s]
/proc/loadavg: 8.00 8.04 8.02 9/184 10466
/proc/meminfo: memFree=24030940/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=748248 CPUtime=4483.06 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 291813 0 0 0 448201 105 0 0 25 0 4 0 529645405 766205952 42142 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 187062 42142 421 148 0 181991 0
[pid=10402/tid=10403] ppid=10400 vsize=748248 CPUtime=1122.27 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 33098 0 0 0 112215 12 0 0 25 0 4 0 529645406 766205952 42142 33554432000 4194304 4797429 140734254248208 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=748248 CPUtime=1122.31 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 32950 0 0 0 112217 14 0 0 25 0 4 0 529645406 766205952 42142 33554432000 4194304 4797429 140734254248208 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=748248 CPUtime=1116.22 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 32107 0 0 0 111609 13 0 0 25 0 4 0 529645406 766205952 42142 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 748248

[startup+1182.3 s]
/proc/loadavg: 8.05 8.05 8.02 9/184 10467
/proc/meminfo: memFree=24033904/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=751404 CPUtime=4722.72 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 300938 0 0 0 472164 108 0 0 25 0 4 0 529645405 769437696 43578 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 187851 43578 421 148 0 182780 0
[pid=10402/tid=10403] ppid=10400 vsize=751404 CPUtime=1182.27 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 34451 0 0 0 118214 13 0 0 25 0 4 0 529645406 769437696 43578 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=751404 CPUtime=1182.31 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 33701 0 0 0 118216 15 0 0 25 0 4 0 529645406 769437696 43578 33554432000 4194304 4797429 140734254248208 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=751404 CPUtime=1175.9 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 33685 0 0 0 117576 14 0 0 25 0 4 0 529645406 769437696 43578 33554432000 4194304 4797429 140734254248208 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 751404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.04 8.04 8.02 9/184 10468
/proc/meminfo: memFree=24029932/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=751472 CPUtime=4800.24 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 303532 0 0 0 479914 110 0 0 25 0 4 0 529645405 769507328 44564 33554432000 4194304 4797429 140734254248208 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 187868 44564 421 148 0 182797 0
[pid=10402/tid=10403] ppid=10400 vsize=751472 CPUtime=1201.67 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 34796 0 0 0 120154 13 0 0 25 0 4 0 529645406 769507328 44564 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=751472 CPUtime=1201.72 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 34467 0 0 0 120157 15 0 0 25 0 4 0 529645406 769507328 44564 33554432000 4194304 4797429 140734254248208 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=751472 CPUtime=1195.19 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 33923 0 0 0 119505 14 0 0 25 0 4 0 529645406 769507328 44564 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 751472

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.04 8.04 8.02 9/184 10468
/proc/meminfo: memFree=24029932/32951124 swapFree=67111524/67111528
[pid=10402] ppid=10400 vsize=751472 CPUtime=4800.24 cores=0,2,4,6
/proc/10402/stat : 10402 (techdemo) R 10400 10402 10191 0 -1 4202496 303532 0 0 0 479914 110 0 0 25 0 4 0 529645405 769507328 44564 33554432000 4194304 4797429 140734254248208 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10402/statm: 187868 44564 421 148 0 182797 0
[pid=10402/tid=10403] ppid=10400 vsize=751472 CPUtime=1201.67 cores=0,2,4,6
/proc/10402/task/10403/stat : 10403 (techdemo) R 10400 10402 10191 0 -1 4202560 34796 0 0 0 120154 13 0 0 25 0 4 0 529645406 769507328 44564 33554432000 4194304 4797429 140734254248208 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10402/tid=10404] ppid=10400 vsize=751472 CPUtime=1201.72 cores=0,2,4,6
/proc/10402/task/10404/stat : 10404 (techdemo) R 10400 10402 10191 0 -1 4202560 34467 0 0 0 120157 15 0 0 25 0 4 0 529645406 769507328 44564 33554432000 4194304 4797429 140734254248208 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10402/tid=10405] ppid=10400 vsize=751472 CPUtime=1195.19 cores=0,2,4,6
/proc/10402/task/10405/stat : 10405 (techdemo) R 10400 10402 10191 0 -1 4202560 33923 0 0 0 119505 14 0 0 25 0 4 0 529645406 769507328 44564 33554432000 4194304 4797429 140734254248208 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 751472

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.27
CPU user time (s): 4799.16
CPU system time (s): 1.10883
CPU usage (%): 399.45
Max. virtual memory (cumulated for all children) (KiB): 856108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.16
system time used= 1.10883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303533
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= 200
involuntary context switches= 23149

runsolver used 2.01369 second user time and 4.53131 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-30 18:21:17
IDJOB=3264529
IDBENCH=84715
IDSOLVER=1584
FILE ID=node139/3264529-1304180477
RUNJOBID= node139-1304178069-10209
PBS_JOBID= 13172444
Free space on /tmp= 72892 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT04/handmade/hirsch03/hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264529-1304180477/watcher-3264529-1304180477 -o /tmp/evaluation-result-3264529-1304180477/solver-3264529-1304180477 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3264529-1304180477.cnf

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

MD5SUM BENCH= f97e40b22ad62886042ca9677daf337d
RANDOM SEED=829022554

node139.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.74
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	: 5321.49
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	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24343764 kB
Buffers:       2065108 kB
Cached:        5957420 kB
SwapCached:          4 kB
Active:        1040520 kB
Inactive:      7047080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24343764 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7804 kB
Writeback:          12 kB
AnonPages:       65348 kB
Mapped:          15104 kB
Slab:           454740 kB
PageTables:       4284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   219900 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= 72884 MiB
End job on node139 at 2011-04-30 18:41:20