Trace number 3261713

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.42 1202.02

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-11-21-sat.cnf
MD5SUMb96c20b4b7951c39c5802e0553b42cad
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005999
Satisfiable
(Un)Satisfiability was proved
Number of variables231
Number of clauses1276
Sum of the clauses size4851
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21155
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5121

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-3261713-1304131732.cnf'
0.00/0.00	c -- header says num vars:            231
0.00/0.00	c -- header says num clauses:        1276
0.00/0.00	c -- clauses added:            0 learnts,         1276 normals,            0 xors
0.00/0.00	c -- vars added        231
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       231       121      1155         0      4851         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/121/121 lits-rem:0 time: 0.00
0.00/0.01	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.01	c Calc non-exist non-lernt bins v-fix:     0 done:    231 time:  0.00 s
0.00/0.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.01	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:    154  v-fix:    0  time:  0.00 s
0.00/0.01	c learnt bin added due to v-elim: 0
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     231
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.01	c  B st     0         0       231       121      1155         0      4851         0   no data   no data  --
0.20/0.08	c Decided on static restart strategy
0.38/0.15	c  N dy    20      4013       231       121      1155      3876      4851    306745     79.75     26.32  --
1.16/0.38	c  N dy    50      8099       231       121      1155      5433      4851    388904     76.40     26.33  --
2.37/0.67	c  N dy    80     12217       231       121      1155      5302      4851    347260     83.85     26.08  --
3.56/1.00	c  N dy   110     16359       231       121      1155      9302      4851    683774     87.05     26.16  --
5.16/1.31	c  N dy   140     20463       231       121      1155      7834      4851    525681     82.58     26.09  --
6.76/1.71	c  N dy   170     24547       231       121      1155     11821      4851    856493     84.50     25.98  --
7.96/2.10	c  N dy   199     28558       231       121      1155      9126      4851    596247     81.92     25.98  --
8.77/2.29	c  S st   210     30001       231       121      1155     10544      4851    711211     82.96     25.91  --
9.15/2.32	c  S st   210     30504       231       121      1155     11039      4851    749362     82.96     25.91  --
9.15/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.95/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.1M T:  0.73
9.95/2.51	c Calc non-exist non-lernt bins v-fix:     0 done:    231 time:  0.00 s
9.95/2.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.95/2.51	c Subs w/ non-existent bins:      0 time:  0.02 s
9.95/2.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.18/3.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.14 s
13.18/3.31	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
28.33/7.13	c lits-rem:        29  cl-subs:     1010  v-elim:    231  v-fix:    0  time: 15.25 s
28.33/7.13	c learnt bin added due to v-elim: 0
28.33/7.13	c vivif2 --  cl tried      121 cl shrink        0 lits rem          0 time: 0.00
28.33/7.13	c vivif2 --  cl tried    10029 cl shrink        0 lits rem          0 time: 0.02
28.73/7.24	c asymm  cl-useful: 0/121/121 lits-rem:0 time: 0.44
28.73/7.24	c calculated reachability. Time: 0.00
28.73/7.24	c  N dy   210     30504       231       121      1155     10029      4851    685058     82.96     25.91  --
28.73/7.24	c  F st   210     30504       231       121      1155     10029      4851    685058     82.96     25.91  --
29.13/7.35	c Decided on static restart strategy
29.93/7.51	c  N dy   230     34547       231       121      1155     13955      4851   1007553     81.15     26.10  --
30.75/7.79	c  N dy   259     38563       231       121      1155     10197      4851    642299     82.90     26.15  --
32.33/8.19	c  N dy   288     42588       231       121      1155     14156      4851    972095     84.02     26.24  --
34.74/8.75	c  S st   311     45757       231       121      1155     17256      4851   1220111     80.05     26.23  --
35.14/8.81	c  S st   311     46259       231       121      1155      8999      4851    507744     80.05     26.23  --
35.14/8.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.14/8.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.52/9.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.8M T:  0.72
35.52/9.00	c Calc non-exist non-lernt bins v-fix:     0 done:    231 time:  0.00 s
35.52/9.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.92/9.00	c Subs w/ non-existent bins:      0 time:  0.02 s
35.92/9.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.52/9.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.76 s
37.52/9.45	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
41.11/10.31	c lits-rem:         2  cl-subs:      216  v-elim:    231  v-fix:    0  time:  3.43 s
41.11/10.31	c learnt bin added due to v-elim: 0
41.11/10.31	c vivif2 --  cl tried      121 cl shrink        0 lits rem          0 time: 0.00
41.11/10.31	c vivif2 --  cl tried     8783 cl shrink        0 lits rem          0 time: 0.02
41.11/10.39	c asymm  cl-useful: 0/121/121 lits-rem:0 time: 0.30
41.11/10.39	c calculated reachability. Time: 0.00
41.11/10.39	c  N dy   311     46259       231       121      1155      8783      4851    496848     80.05     26.23  --
42.31/10.61	c  N dy   340     50283       231       121      1155     12730      4851    808313     76.99     26.19  --
43.52/10.99	c  N dy   370     54388       231       121      1155     16757      4851   1133600     80.11     26.24  --
45.51/11.42	c  N dy   400     58519       231       121      1155     11045      4851    633399     81.53     26.23  --
46.71/11.78	c  N dy   429     62520       231       121      1155     14974      4851    956039     79.40     26.24  --
49.10/12.30	c  N dy   458     66540       231       121      1155     18907      4851   1274344     84.46     26.27  --
51.10/12.83	c  S st   479     69389       231       121      1155     10934      4851    600554     85.07     26.29  --
51.10/12.86	c  S st   479     69890       231       121      1155     11431      4851    638363     85.07     26.29  --
51.10/12.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
51.10/12.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.71/13.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 14.4M T:  1.49
52.71/13.24	c Calc non-exist non-lernt bins v-fix:     0 done:    231 time:  0.00 s
52.71/13.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.71/13.24	c Subs w/ non-existent bins:      0 time:  0.02 s
52.71/13.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.09/13.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.40 s
55.09/13.85	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
69.07/17.36	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
89.04/22.32	c Added 3 vars  tried: 80000 time: 19.80
89.04/22.36	c ORs :      3 avg-s:  0.0 cl-sh:  8578 l-rem:   8578 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:   19.98
89.04/22.37	c lits-rem:         9  cl-subs:      310  v-elim:    231  v-fix:    0  time: 34.00 s
89.04/22.37	c learnt bin added due to v-elim: 0
89.04/22.37	c vivif2 --  cl tried      124 cl shrink        0 lits rem          0 time: 0.00
89.04/22.37	c vivif2 --  cl tried    11121 cl shrink        0 lits rem          0 time: 0.02
89.44/22.40	c asymm  cl-useful: 0/124/124 lits-rem:0 time: 0.13
89.44/22.41	c calculated reachability. Time: 0.00
89.44/22.41	c  N dy   479     69890       234       124      1161     11121      4839    615074     85.07     26.29  --
89.44/22.41	c  F st   479     69890       234       124      1161     11121      4839    615074     85.07     26.29  --
89.84/22.54	c Decided on static restart strategy
90.64/22.73	c  N dy   502     74367       234       124      1161     15503      4839    988683     92.42     26.31  --
93.03/23.39	c  N dy   537     79198       234       124      1161     20238      4839   1378276     81.90     26.38  --
96.24/24.17	c  N dy   574     84280       234       124      1161     13473      4839    774858     78.58     26.36  --
99.02/24.80	c  N dy   614     89781       234       124      1161     18900      4839   1206809     76.08     26.33  --
102.62/25.79	c  N dy   656     95557       234       124      1161     24572      4839   1651065     77.89     26.35  --
105.82/26.57	c  N dy   701    101776       234       124      1161     17922      4839   1107997     77.07     26.37  --
108.22/27.13	c  S st   724    104835       234       124      1161     20918      4839   1346333     79.38     26.36  --
108.22/27.18	c  S st   724    105337       234       124      1161     21418      4839   1383860     79.38     26.36  --
108.22/27.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
108.22/27.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.81/28.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 27.8M T:  3.40
111.81/28.04	c Calc non-exist non-lernt bins v-fix:     0 done:    234 time:  0.00 s
111.81/28.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.81/28.05	c Subs w/ non-existent bins:      0 time:  0.04 s
111.81/28.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
118.21/29.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.25 s
118.21/29.63	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
144.96/36.36	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
144.96/36.37	c lits-rem:        28  cl-subs:     2695  v-elim:    231  v-fix:    0  time: 26.91 s
144.96/36.37	c learnt bin added due to v-elim: 0
144.96/36.37	c vivif2 --  cl tried      150 cl shrink        0 lits rem          0 time: 0.00
144.96/36.38	c vivif2 --  cl tried    18723 cl shrink        0 lits rem          0 time: 0.04
145.73/36.54	c asymm  cl-useful: 0/150/150 lits-rem:0 time: 0.64
145.73/36.54	c calculated reachability. Time: 0.00
145.73/36.54	c  N dy   724    105337       231       150      1129     18723      4854   1182918     79.38     26.36  --
148.54/37.21	c  N dy   773    112094       231       150      1129     25356      4854   1710001     82.53     26.31  --
151.74/38.04	c  N dy   825    119270       231       150      1129     18687      4854   1134213     83.91     26.30  --
156.53/39.25	c  N dy   881    126992       231       150      1129     26239      4854   1762384     86.33     26.37  --
161.32/40.46	c  N dy   940    135210       231       150      1129     19600      4854   1188353     82.07     26.39  --
168.51/42.22	c  N dy  1003    143912       231       150      1129     28144      4854   1876234     77.79     26.40  --
175.32/43.93	c  N dy  1070    153227       231       150      1129     21604      4854   1282595     83.72     26.37  --
179.28/44.99	c  S st  1105    158005       231       150      1129     26287      4854   1662514     77.89     26.36  --
179.70/45.06	c  S st  1105    158505       231       150      1129     26787      4854   1700113     77.89     26.36  --
179.70/45.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
179.70/45.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
186.06/46.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 47.7M T:  6.35
186.06/46.66	c Calc non-exist non-lernt bins v-fix:     0 done:    231 time:  0.00 s
186.06/46.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
186.06/46.67	c Subs w/ non-existent bins:      0 time:  0.04 s
186.06/46.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
193.65/48.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.31 s
193.65/48.52	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
217.99/54.62	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
217.99/54.64	c lits-rem:        21  cl-subs:     1150  v-elim:    228  v-fix:    0  time: 24.35 s
217.99/54.64	c learnt bin added due to v-elim: 0
217.99/54.64	c vivif2 --  cl tried      150 cl shrink        0 lits rem          0 time: 0.00
217.99/54.65	c vivif2 --  cl tried    25637 cl shrink        0 lits rem          0 time: 0.06
218.79/54.85	c asymm  cl-useful: 0/150/150 lits-rem:0 time: 0.78
218.79/54.85	c calculated reachability. Time: 0.00
218.79/54.85	c  N dy  1105    158505       231       150      1129     25637      4854   1620760     77.89     26.36  --
222.78/55.89	c  N dy  1179    168726       231       150      1129     18980      4854   1020748     83.11     26.36  --
228.76/57.33	c  N dy  1257    179516       231       150      1129     29547      4854   1875193     82.62     26.40  --
237.53/59.53	c  N dy  1341    191052       231       150      1129     23234      4854   1316823     78.24     26.40  --
248.33/62.23	c  N dy  1429    203331       231       150      1129     35263      4854   2292602     86.59     26.41  --
257.90/64.63	c  N dy  1523    216312       231       150      1129     29384      4854   1768422     81.77     26.43  --
271.49/68.01	c  N dy  1623    230198       231       150      1129     23372      4854   1247147     82.85     26.43  --
277.47/69.56	c  S st  1678    237757       231       150      1129     30780      4854   1837795     80.22     26.42  --
277.86/69.65	c  S st  1678    238266       231       150      1129     31287      4854   1877125     80.22     26.42  --
277.86/69.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
277.86/69.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.48/71.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  7.57
285.48/71.55	c Calc non-exist non-lernt bins v-fix:     0 done:    231 time:  0.00 s
285.48/71.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.48/71.56	c Subs w/ non-existent bins:      0 time:  0.05 s
285.48/71.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
292.65/73.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.00 s
292.65/73.34	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
321.39/80.57	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
321.39/80.59	c lits-rem:        21  cl-subs:     1436  v-elim:    228  v-fix:    0  time: 28.94 s
321.39/80.59	c learnt bin added due to v-elim: 0
321.39/80.59	c vivif2 --  cl tried      150 cl shrink        0 lits rem          0 time: 0.00
321.79/80.60	c vivif2 --  cl tried    29851 cl shrink        0 lits rem          0 time: 0.07
322.19/80.71	c asymm  cl-useful: 0/150/150 lits-rem:0 time: 0.41
322.19/80.71	c calculated reachability. Time: 0.00
322.19/80.71	c  N dy  1678    238266       231       150      1129     29851      4854   1782940     80.22     26.42  --
330.17/82.77	c  N dy  1788    253569       231       150      1129     24277      4854   1290975     80.43     26.42  --
342.17/85.79	c  N dy  1905    269821       231       150      1129     40242      4854   2581193     82.98     26.43  --
354.94/88.97	c  N dy  2030    287132       231       150      1129     35648      4854   2151004     79.83     26.43  --
370.10/92.75	c  N dy  2162    305472       231       150      1129     31031      4854   1778390     85.40     26.44  --
388.88/97.49	c  N dy  2301    325019       243       150      1153     26711      4902   1402021     77.78     26.48  --
406.45/101.88	c  N dy  2445    345145       243       150      1153     46413      4902   2939925     80.07     26.47  --
416.85/104.45	c  S st  2533    357399       243       150      1153     33922      4902   1932982     74.61     26.47  --
417.25/104.53	c  S st  2533    357901       243       150      1153     34442      4902   1972145     74.61     26.47  --
417.25/104.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
417.25/104.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
424.82/106.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  7.49
424.82/106.41	c Calc non-exist non-lernt bins v-fix:     0 done:    243 time:  0.00 s
424.82/106.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
424.82/106.43	c Subs w/ non-existent bins:      0 time:  0.06 s
424.82/106.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.61/108.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.94 s
431.61/108.19	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
463.15/116.05	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
463.15/116.07	c lits-rem:        13  cl-subs:     1379  v-elim:    228  v-fix:    0  time: 31.46 s
463.15/116.07	c learnt bin added due to v-elim: 0
463.15/116.07	c vivif2 --  cl tried      150 cl shrink        0 lits rem          0 time: 0.00
463.15/116.09	c vivif2 --  cl tried    33063 cl shrink        0 lits rem          0 time: 0.07
463.95/116.27	c asymm  cl-useful: 0/150/150 lits-rem:0 time: 0.71
463.95/116.27	c calculated reachability. Time: 0.00
463.95/116.27	c  N dy  2533    357901       243       150      1153     33063      4902   1891264     74.61     26.47  --
477.14/119.59	c  N dy  2677    377904       243       150      1153     27177      4902   1393553     81.72     26.48  --
491.93/123.23	c  N dy  2821    397921       243       150      1153     46876      4902   2978712     79.30     26.49  --
507.89/127.30	c  N dy  2965    418003       243       150      1153     40098      4902   2389037     79.37     26.48  --
526.67/132.00	c  N dy  3109    438018       243       150      1153     32258      4902   1745843     79.25     26.49  --
545.82/136.71	c  N dy  3254    458111       243       150      1153     51983      4902   3329689     81.51     26.49  --
564.58/141.42	c  N dy  3398    478146       243       150      1153     43181      4902   2596480     83.34     26.49  --
589.34/147.60	c  N dy  3543    498235       243       150      1153     33440      4902   1810449     78.90     26.50  --
608.12/152.39	c  N dy  3687    518339       243       150      1153     53119      4902   3372455     80.73     26.49  --
629.68/157.70	c  S st  3819    536852       243       150      1153     40928      4902   2390531     77.45     26.48  --
630.08/157.80	c  S st  3819    537357       243       150      1153     41430      4902   2429933     77.45     26.48  --
630.08/157.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
630.08/157.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
638.06/159.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  7.96
638.06/159.80	c Calc non-exist non-lernt bins v-fix:     0 done:    243 time:  0.00 s
638.06/159.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
638.06/159.82	c Subs w/ non-existent bins:      0 time:  0.08 s
638.06/159.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
645.67/161.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.59 s
645.67/161.76	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
689.18/172.62	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
689.18/172.64	c lits-rem:        18  cl-subs:     1350  v-elim:    228  v-fix:    0  time: 43.47 s
689.18/172.64	c learnt bin added due to v-elim: 0
689.18/172.64	c vivif2 --  cl tried      150 cl shrink        0 lits rem          0 time: 0.00
689.18/172.67	c vivif2 --  cl tried    40080 cl shrink        0 lits rem          0 time: 0.09
689.96/172.85	c asymm  cl-useful: 0/150/150 lits-rem:0 time: 0.75
689.96/172.86	c calculated reachability. Time: 0.00
689.96/172.86	c  N dy  3819    537357       243       150      1153     40080      4902   2346429     77.45     26.48  --
689.96/172.86	c  F st  3819    537357       243       150      1153     40080      4902   2346429     77.45     26.48  --
691.17/173.14	c Decided on static restart strategy
708.34/177.42	c  N dy  3954    557385       255       150      1190     59769      4962   3983796     86.89     26.51  --
726.71/182.08	c  N dy  4099    577505       255       150      1190     48068      4962   2998581     82.42     26.51  --
755.48/189.24	c  N dy  4243    597590       255       150      1190     35347      4962   1889835     84.41     26.53  --
777.04/194.67	c  N dy  4388    617653       255       150      1190     55027      4962   3501877     81.22     26.54  --
806.57/202.02	c  N dy  4532    637713       255       150      1192     41369      4964   2310698     78.37     26.55  --
836.52/209.57	c  N dy  4677    657801       255       150      1192     61104      4964   3905799     75.73     26.55  --
865.30/216.71	c  N dy  4821    677810       255       150      1192     46384      4964   2653981     80.98     26.55  --
897.21/224.78	c  N dy  4965    697854       255       150      1192     65999      4964   4218372     76.60     26.55  --
923.57/231.37	c  N dy  5110    718003       255       150      1192     50534      4964   2920255     81.07     26.55  --
959.11/240.28	c  N dy  5254    738080       264       150      1224     70245      5012   4499579     79.56     26.56  --
985.86/246.99	c  N dy  5399    758177       264       150      1224     53616      5012   3091901     80.31     26.56  --
1028.19/257.57	c  N dy  5541    778251       264       150      1228     73232      5016   4650975     76.70     26.58  --
1054.54/264.17	c  N dy  5686    798336       264       150      1228     55649      5016   3177316     73.47     26.58  --
1070.12/268.00	c  S st  5742    806035       264       150      1228     63169      5016   3772391     80.25     26.59  --
1070.52/268.13	c  S st  5742    806537       264       150      1228     63667      5016   3812189     80.25     26.59  --
1070.52/268.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1070.52/268.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1078.90/270.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bin:      0 BRemL:      4 BRemN:      4 CBin:       0 P: 60.5M T:  8.58
1079.30/270.30	c Calc non-exist non-lernt bins v-fix:     0 done:    264 time:  0.01 s
1079.30/270.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1079.30/270.33	c Subs w/ non-existent bins:      0 time:  0.12 s
1079.30/270.34	c Replacing        9 vars Replaced      516 lits Time:     0.06 s 
1079.70/270.40	c bin-w-bin subsume rem           14 bins  time:  0.00 s
1087.69/272.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.09 s
1087.69/272.42	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1463.53/366.58	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
1660.08/415.71	c Added 3 vars  tried: 80000 time: 196.24
1666.46/417.30	c ORs :      3 avg-s:  0.0 cl-sh: 55878 l-rem:  55878 b-add:      6 v-rep:   0 cl-rem: 3 avg s: 36.3 T:  202.62
1666.46/417.35	c lits-rem:        26  cl-subs:     3285  v-elim:    228  v-fix:    0  time: 578.83 s
1666.46/417.35	c learnt bin added due to v-elim: 0
1666.46/417.35	c vivif2 --  cl tried      153 cl shrink        0 lits rem          0 time: 0.00
1666.46/417.38	c vivif2 --  cl tried    60379 cl shrink        0 lits rem          0 time: 0.16
1667.26/417.57	c asymm  cl-useful: 0/153/153 lits-rem:0 time: 0.75
1667.26/417.57	c calculated reachability. Time: 0.00
1667.26/417.57	c  N dy  5742    806537       258       153      1183     60379      4938   3553950     80.25     26.59  --
1685.24/422.00	c  N dy  5888    826625       258       153      1183     41905      4938   2030625     70.35     26.57  --
1705.21/427.02	c  N dy  6033    846727       258       153      1183     61550      4938   3519681     79.52     26.57  --
1736.76/434.94	c  N dy  6177    866741       258       153      1183     42014      4938   1983279     79.87     26.55  --
1757.53/440.10	c  N dy  6322    886837       258       153      1183     61732      4938   3473030     73.34     26.54  --
1793.89/449.25	c  N dy  6467    906928       258       153      1183     41232      4938   1871213     78.34     26.53  --
1814.66/454.41	c  N dy  6612    927044       258       153      1183     60982      4938   3365531     79.07     26.52  --
1849.03/463.05	c  N dy  6756    947121       258       153      1183     80676      4938   4865449     77.09     26.52  --
1871.41/468.67	c  N dy  6901    967184       258       153      1183     59171      4938   3170255     79.61     26.51  --
1904.14/476.88	c  N dy  7045    987194       270       153      1216     78922      4994   4645473     73.94     26.52  --
1930.50/483.40	c  N dy  7190   1007332       270       153      1216     56475      4994   2912391     75.33     26.51  --
1960.46/490.98	c  N dy  7334   1027406       270       153      1216     76173      4994   4392672     75.19     26.50  --
1993.63/499.21	c  N dy  7478   1047457       270       153      1218     52647      4996   2583632     72.35     26.49  --
2021.58/506.22	c  N dy  7623   1067568       270       153      1218     72407      4996   4037557     77.56     26.47  --
2059.53/515.78	c  N dy  7767   1087582       270       153      1218     47871      4996   2189969     73.05     26.47  --
2083.90/521.86	c  N dy  7911   1107584       270       153      1218     67499      4996   3637587     77.09     26.46  --
2123.05/531.70	c  N dy  8055   1127647       279       153      1249     87386      5044   5098450     74.68     26.45  --
2150.60/538.57	c  N dy  8200   1147785       279       153      1249     61893      5044   3178974     71.91     26.44  --
2185.36/547.28	c  N dy  8343   1167829       279       153      1249     81552      5044   4619373     76.45     26.43  --
2220.91/556.13	c  N dy  8488   1187873       279       153      1249     55043      5044   2647338     71.04     26.42  --
2252.08/563.99	c  N dy  8632   1207882       279       153      1251     74708      5046   4065718     72.71     26.41  --
2256.87/565.16	c  S st  8646   1209806       279       153      1251     76601      5046   4206314     73.51     26.41  --
2257.68/565.35	c  S st  8646   1210310       279       153      1251     77103      5046   4244531     73.51     26.41  --
2257.68/565.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2257.68/565.36	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
2266.05/567.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  8.54
2266.05/567.49	c Calc non-exist non-lernt bins v-fix:     0 done:    279 time:  0.01 s
2266.05/567.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2266.47/567.53	c Subs w/ non-existent bins:      0 time:  0.14 s
2268.85/568.11	c Replacing        7 vars Replaced    23853 lits Time:     2.32 s 
2268.85/568.17	c bin-w-bin subsume rem           14 bins  time:  0.00 s
2276.83/570.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.04 s
2276.83/570.18	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
2752.59/689.21	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
2752.59/689.26	c lits-rem:       267  cl-subs:     7903  v-elim:    239  v-fix:    0  time: 475.64 s
2752.59/689.26	c learnt bin added due to v-elim: 0
2752.59/689.26	c vivif2 --  cl tried      177 cl shrink        0 lits rem          0 time: 0.00
2752.99/689.30	c vivif2 --  cl tried    69200 cl shrink        0 lits rem          0 time: 0.16
2753.80/689.52	c asymm  cl-useful: 0/82/177 lits-rem:0 time: 0.88
2753.80/689.53	c calculated reachability. Time: 0.00
2753.80/689.53	c  N dy  8646   1210310       269       177      1181     69200      5009   3801132     73.51     26.41  --
2774.96/694.86	c  N dy  8791   1230420       281       177      1225     89337      5077   5381523     81.45     26.41  --
2796.93/700.36	c  N dy  8936   1250457       281       177      1225     61722      5077   3195652     80.71     26.40  --
2826.49/707.79	c  N dy  9081   1270527       281       177      1225     81373      5077   4736565     70.85     26.41  --
2864.47/717.23	c  N dy  9225   1290601       281       177      1225     52911      5077   2456827     76.39     26.41  --
2886.44/722.76	c  N dy  9370   1310604       281       177      1225     72538      5077   3988723     79.87     26.42  --
2921.58/731.55	c  N dy  9514   1330710       281       177      1225     92251      5077   5533393     79.38     26.42  --
2947.12/737.97	c  N dy  9659   1350747       281       177      1225     62815      5077   3164598     75.50     26.41  --
2975.48/745.01	c  N dy  9804   1370839       281       177      1225     82516      5077   4686002     71.93     26.41  --
3013.45/754.55	c  N dy  9949   1390964       281       177      1225     52200      5077   2336032     74.15     26.41  --
3035.01/759.97	c  N dy 10094   1411085       281       177      1225     71932      5077   3800643     75.29     26.40  --
3068.16/768.22	c  N dy 10238   1431140       281       177      1225     91548      5077   5246720     74.51     26.40  --
3100.52/776.36	c  N dy 10383   1451242       281       177      1225     60284      5077   2932177     74.69     26.40  --
3126.88/782.92	c  N dy 10527   1471305       281       177      1225     79982      5077   4394933     72.45     26.39  --
3165.22/792.53	c  N dy 10672   1491407       281       177      1225     99641      5077   5866535     72.40     26.39  --
3191.99/799.29	c  N dy 10816   1511550       281       177      1225     67472      5077   3413471     71.63     26.39  --
3220.75/806.46	c  N dy 10961   1531613       281       177      1225     87158      5077   4873712     76.50     26.38  --
3261.50/816.65	c  N dy 11105   1551634       281       177      1225     53826      5077   2396816     71.72     26.38  --
3282.67/821.93	c  N dy 11249   1571636       281       177      1225     73485      5077   3843867     77.61     26.37  --
3315.03/830.05	c  N dy 11393   1591666       281       177      1225     93152      5077   5312933     76.86     26.37  --
3353.77/839.70	c  N dy 11538   1611756       281       177      1225     58898      5077   2755344     74.45     26.37  --
3378.56/845.98	c  N dy 11683   1631889       281       177      1225     78655      5077   4199656     74.90     26.37  --
3414.89/855.08	c  N dy 11826   1651902       281       177      1225     98277      5077   5646192     77.51     26.36  --
3452.45/864.41	c  N dy 11970   1671966       281       177      1225     63015      5077   3024269     76.42     26.36  --
3480.80/871.52	c  N dy 12115   1692080       281       177      1225     82764      5077   4496401     73.40     26.36  --
3517.95/880.85	c  S st 12246   1710311       281       177      1225    100644      5077   5821988     80.15     26.36  --
3518.77/881.08	c  S st 12246   1710814       281       177      1225    101141      5077   5858975     80.15     26.36  --
3518.77/881.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3518.77/881.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3528.73/883.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.5M T:  9.71
3528.73/883.53	c Calc non-exist non-lernt bins v-fix:     0 done:    281 time:  0.01 s
3528.73/883.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3528.73/883.58	c Subs w/ non-existent bins:      0 time:  0.20 s
3529.13/883.60	c Replacing        5 vars Replaced      165 lits Time:     0.08 s 
3529.13/883.69	c bin-w-bin subsume rem           10 bins  time:  0.00 s
3537.53/885.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.26 s
3537.53/885.76	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
4612.64/1155.07	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.01

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

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

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


[startup+0 s]
/proc/loadavg: 8.11 8.09 8.08 5/178 29461
/proc/meminfo: memFree=30283932/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=80872 CPUtime=0 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 624 0 0 0 0 0 0 0 25 0 4 0 524772809 82812928 560 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664864753 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 20218 560 361 148 0 15147 0
[pid=29461/tid=29462] ppid=29459 vsize=80872 CPUtime=0 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524772809 82812928 560 33554432000 4194304 4797429 140735274490960 18446744073709551615 47358120019890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=80872 CPUtime=0 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524772809 82812928 560 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=80872 CPUtime=0 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524772809 82812928 560 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0601551 s]
/proc/loadavg: 8.11 8.09 8.08 5/178 29461
/proc/meminfo: memFree=30283932/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=671848 CPUtime=0.2 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 1384 0 0 0 20 0 0 0 25 0 4 0 524772809 687972352 1283 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664913439 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 167962 1283 407 148 0 162891 0
[pid=29461/tid=29462] ppid=29459 vsize=671848 CPUtime=0.04 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 179 0 0 0 4 0 0 0 25 0 4 0 524772809 687972352 1283 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664505030 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=671848 CPUtime=0.05 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 183 0 0 0 5 0 0 0 25 0 4 0 524772809 687972352 1283 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664504977 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=671848 CPUtime=0.05 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 206 0 0 0 5 0 0 0 25 0 4 0 524772809 687972352 1283 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664913390 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 671848

[startup+0.104065 s]
/proc/loadavg: 8.11 8.09 8.08 5/178 29461
/proc/meminfo: memFree=30283932/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=672248 CPUtime=0.38 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 1850 0 0 0 37 1 0 0 25 0 4 0 524772809 688381952 1742 33554432000 4194304 4797429 140735274490960 18446744073709551615 4331522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 168062 1742 409 148 0 162991 0
[pid=29461/tid=29462] ppid=29459 vsize=672248 CPUtime=0.09 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 293 0 0 0 9 0 0 0 25 0 4 0 524772809 688381952 1742 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=672248 CPUtime=0.09 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 297 0 0 0 9 0 0 0 25 0 4 0 524772809 688381952 1742 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664505026 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=672248 CPUtime=0.09 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 309 0 0 0 9 0 0 0 25 0 4 0 524772809 688381952 1742 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664913390 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 672248

[startup+0.300487 s]
/proc/loadavg: 8.11 8.09 8.08 5/178 29461
/proc/meminfo: memFree=30283932/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=676568 CPUtime=1.16 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 3945 0 0 0 115 1 0 0 25 0 4 0 524772809 692805632 2225 33554432000 4194304 4797429 140735274490960 18446744073709551615 274664505022 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 169142 2225 410 148 0 164071 0
[pid=29461/tid=29462] ppid=29459 vsize=676568 CPUtime=0.28 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 794 0 0 0 28 0 0 0 25 0 4 0 524772809 692805632 2225 33554432000 4194304 4797429 140735274490960 18446744073709551615 4414431 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=676568 CPUtime=0.29 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 829 0 0 0 29 0 0 0 25 0 4 0 524772809 692805632 2225 33554432000 4194304 4797429 140735274490960 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=676568 CPUtime=0.28 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 834 0 0 0 28 0 0 0 25 0 4 0 524772809 692805632 2225 33554432000 4194304 4797429 140735274490960 18446744073709551615 4415778 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 676568

[startup+0.70042 s]
/proc/loadavg: 8.11 8.09 8.08 5/178 29461
/proc/meminfo: memFree=30283932/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=679432 CPUtime=2.77 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 6636 0 0 0 275 2 0 0 25 0 4 0 524772809 695738368 4249 33554432000 4194304 4797429 140735274490960 18446744073709551615 4620908 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 169858 4249 413 148 0 164787 0
[pid=29461/tid=29462] ppid=29459 vsize=679432 CPUtime=0.68 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 1388 0 0 0 68 0 0 0 25 0 4 0 524772809 695738368 4250 33554432000 4194304 4797429 140735274490960 18446744073709551615 4404792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=679432 CPUtime=0.68 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 1380 0 0 0 68 0 0 0 25 0 4 0 524772809 695738368 4250 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=679432 CPUtime=0.68 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 1465 0 0 0 68 0 0 0 25 0 4 0 524772809 695738368 4250 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 679432

[startup+1.50029 s]
/proc/loadavg: 8.11 8.09 8.08 9/182 29465
/proc/meminfo: memFree=30255876/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=680548 CPUtime=5.96 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 10807 0 0 0 593 3 0 0 25 0 4 0 524772809 696881152 7596 33554432000 4194304 4797429 140735274490960 18446744073709551615 4425836 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 170137 7596 414 148 0 165066 0
[pid=29461/tid=29462] ppid=29459 vsize=680548 CPUtime=1.48 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 2375 0 0 0 148 0 0 0 25 0 4 0 524772809 696881152 7596 33554432000 4194304 4797429 140735274490960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=680548 CPUtime=1.48 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 2332 0 0 0 148 0 0 0 25 0 4 0 524772809 696881152 7596 33554432000 4194304 4797429 140735274490960 18446744073709551615 4506576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=680548 CPUtime=1.47 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 2450 0 0 0 147 0 0 0 25 0 4 0 524772809 696881152 7596 33554432000 4194304 4797429 140735274490960 18446744073709551615 4506608 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 680548

[startup+3.101 s]
/proc/loadavg: 8.10 8.09 8.08 5/177 29466
/proc/meminfo: memFree=30779696/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=686988 CPUtime=12.36 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 13675 0 0 0 1232 4 0 0 25 0 4 0 524772809 703475712 8800 33554432000 4194304 4797429 140735274490960 18446744073709551615 4520376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 171747 8800 415 148 0 166676 0
[pid=29461/tid=29462] ppid=29459 vsize=686988 CPUtime=3.08 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 2392 0 0 0 308 0 0 0 25 0 4 0 524772809 703475712 8800 33554432000 4194304 4797429 140735274490960 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=686988 CPUtime=3.08 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 2769 0 0 0 308 0 0 0 25 0 4 0 524772809 703475712 8800 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=686988 CPUtime=3.07 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 2459 0 0 0 307 0 0 0 25 0 4 0 524772809 703475712 8800 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 686988

[startup+6.30045 s]
/proc/loadavg: 8.10 8.09 8.08 5/174 29485
/proc/meminfo: memFree=30788220/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=689380 CPUtime=25.14 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 15552 0 0 0 2510 4 0 0 25 0 4 0 524772809 705925120 9294 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524592 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 172345 9294 417 148 0 167274 0
[pid=29461/tid=29462] ppid=29459 vsize=689380 CPUtime=6.28 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 3144 0 0 0 628 0 0 0 25 0 4 0 524772809 705925120 9294 33554432000 4194304 4797429 140735274490960 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=689380 CPUtime=6.28 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 3093 0 0 0 628 0 0 0 25 0 4 0 524772809 705925120 9294 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524547 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=689380 CPUtime=6.25 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 3208 0 0 0 625 0 0 0 25 0 4 0 524772809 705925120 9294 33554432000 4194304 4797429 140735274490960 18446744073709551615 4568007 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 689380

[startup+12.7003 s]
/proc/loadavg: 8.08 8.09 8.08 9/182 29496
/proc/meminfo: memFree=30733596/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=693972 CPUtime=50.7 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 22377 0 0 0 5065 5 0 0 25 0 4 0 524772809 710627328 12242 33554432000 4194304 4797429 140735274490960 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 173493 12242 417 148 0 168422 0
[pid=29461/tid=29462] ppid=29459 vsize=693972 CPUtime=12.68 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 3659 0 0 0 1268 0 0 0 25 0 4 0 524772809 710627328 12242 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=693972 CPUtime=12.68 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 3698 0 0 0 1268 0 0 0 25 0 4 0 524772809 710627328 12242 33554432000 4194304 4797429 140735274490960 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=693972 CPUtime=12.63 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 3772 0 0 0 1262 1 0 0 25 0 4 0 524772809 710627328 12242 33554432000 4194304 4797429 140735274490960 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 693972

[startup+25.5011 s]
/proc/loadavg: 8.17 8.10 8.08 9/182 29527
/proc/meminfo: memFree=30616888/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=698036 CPUtime=101.82 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 28799 0 0 0 10176 6 0 0 25 0 4 0 524772809 714788864 13012 33554432000 4194304 4797429 140735274490960 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 174509 13012 419 148 0 169438 0
[pid=29461/tid=29462] ppid=29459 vsize=698036 CPUtime=25.47 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 4483 0 0 0 2547 0 0 0 25 0 4 0 524772809 714788864 13012 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524442 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=698036 CPUtime=25.48 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 4636 0 0 0 2547 1 0 0 25 0 4 0 524772809 714788864 13012 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=698036 CPUtime=25.35 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 4651 0 0 0 2534 1 0 0 25 0 4 0 524772809 714788864 13012 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 698036

[startup+51.1007 s]
/proc/loadavg: 8.19 8.11 8.09 9/182 29527
/proc/meminfo: memFree=30564168/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=713908 CPUtime=204.03 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 43931 0 0 0 20392 11 0 0 25 0 4 0 524772809 731041792 18043 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524576 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 178477 18043 419 148 0 173406 0
[pid=29461/tid=29462] ppid=29459 vsize=713908 CPUtime=51.07 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 5361 0 0 0 5106 1 0 0 25 0 4 0 524772809 731041792 18043 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=713908 CPUtime=51.05 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 5983 0 0 0 5103 2 0 0 25 0 4 0 524772809 731041792 18043 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=713908 CPUtime=50.8 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 6051 0 0 0 5079 1 0 0 25 0 4 0 524772809 731041792 18043 33554432000 4194304 4797429 140735274490960 18446744073709551615 4430103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 713908

[startup+102.307 s]
/proc/loadavg: 8.15 8.12 8.09 9/182 29529
/proc/meminfo: memFree=30522900/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=724404 CPUtime=408.46 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 73883 0 0 0 40824 22 0 0 25 0 4 0 524772809 741789696 22446 33554432000 4194304 4797429 140735274490960 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 181101 22446 419 148 0 176030 0
[pid=29461/tid=29462] ppid=29459 vsize=724404 CPUtime=102.25 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 7258 0 0 0 10224 1 0 0 25 0 4 0 524772809 741789696 22446 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=724404 CPUtime=102.2 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 7505 0 0 0 10213 7 0 0 25 0 4 0 524772809 741789696 22446 33554432000 4194304 4797429 140735274490960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=724404 CPUtime=101.73 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 7495 0 0 0 10171 2 0 0 25 0 4 0 524772809 741789696 22446 33554432000 4194304 4797429 140735274490960 18446744073709551615 4356161 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.46
Current children cumulated vsize (KiB) 724404

[startup+162.3 s]

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

[pid=29461] ppid=29459 vsize=781528 CPUtime=2565.27 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 233326 0 0 0 256445 82 0 0 25 0 4 0 524772809 800284672 43939 33554432000 4194304 4797429 140735274490960 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 195382 43939 421 148 0 190311 0
[pid=29461/tid=29462] ppid=29459 vsize=781528 CPUtime=642.2 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 22268 0 0 0 64213 7 0 0 25 0 4 0 524772809 800284672 43939 33554432000 4194304 4797429 140735274490960 18446744073709551615 4356150 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=781528 CPUtime=642.07 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 21261 0 0 0 64196 11 0 0 25 0 4 0 524772809 800284672 43939 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=781528 CPUtime=638.75 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 20099 0 0 0 63870 5 0 0 25 0 4 0 524772809 800284672 43939 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.27
Current children cumulated vsize (KiB) 781528

[startup+702.301 s]
/proc/loadavg: 8.05 8.09 8.08 9/182 29545
/proc/meminfo: memFree=30345480/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=785472 CPUtime=2804.93 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 244841 0 0 0 280406 87 0 0 25 0 4 0 524772809 804323328 45131 33554432000 4194304 4797429 140735274490960 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 196368 45131 421 148 0 191297 0
[pid=29461/tid=29462] ppid=29459 vsize=785472 CPUtime=702.19 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 24156 0 0 0 70212 7 0 0 25 0 4 0 524772809 804323328 45131 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=785472 CPUtime=702.07 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 22225 0 0 0 70195 12 0 0 25 0 4 0 524772809 804323328 45131 33554432000 4194304 4797429 140735274490960 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=785472 CPUtime=698.42 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 22407 0 0 0 69836 6 0 0 25 0 4 0 524772809 804323328 45131 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.93
Current children cumulated vsize (KiB) 785472

[startup+762.307 s]
/proc/loadavg: 8.02 8.07 8.08 9/182 29555
/proc/meminfo: memFree=30340132/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=790940 CPUtime=3044.61 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 270129 0 0 0 304365 96 0 0 25 0 4 0 524772809 809922560 46794 33554432000 4194304 4797429 140735274490960 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 197735 46794 421 148 0 192664 0
[pid=29461/tid=29462] ppid=29459 vsize=790940 CPUtime=762.2 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 26335 0 0 0 76212 8 0 0 25 0 4 0 524772809 809922560 46794 33554432000 4194304 4797429 140735274490960 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=790940 CPUtime=762.07 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 23897 0 0 0 76195 12 0 0 25 0 4 0 524772809 809922560 46794 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=790940 CPUtime=758.09 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 24138 0 0 0 75803 6 0 0 25 0 4 0 524772809 809922560 46794 33554432000 4194304 4797429 140735274490960 18446744073709551615 4430020 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.61
Current children cumulated vsize (KiB) 790940

[startup+822.3 s]
/proc/loadavg: 8.04 8.07 8.08 9/182 29556
/proc/meminfo: memFree=30337748/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=794492 CPUtime=3284.26 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 294060 0 0 0 328319 107 0 0 25 0 4 0 524772809 813559808 48196 33554432000 4194304 4797429 140735274490960 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 198623 48196 421 148 0 193552 0
[pid=29461/tid=29462] ppid=29459 vsize=794492 CPUtime=822.19 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 28497 0 0 0 82210 9 0 0 25 0 4 0 524772809 813559808 48196 33554432000 4194304 4797429 140735274490960 18446744073709551615 4520207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=794492 CPUtime=822.07 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 25937 0 0 0 82194 13 0 0 25 0 4 0 524772809 813559808 48196 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=794492 CPUtime=817.76 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 24992 0 0 0 81770 6 0 0 25 0 4 0 524772809 813559808 48196 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.26
Current children cumulated vsize (KiB) 794492

[startup+882.301 s]
/proc/loadavg: 8.16 8.10 8.09 9/182 29558
/proc/meminfo: memFree=30309304/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=799596 CPUtime=3523.94 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 314466 0 0 0 352280 114 0 0 25 0 4 0 524772809 818786304 53553 33554432000 4194304 4797429 140735274490960 18446744073709551615 4428910 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 199899 53553 421 148 0 194828 0
[pid=29461/tid=29462] ppid=29459 vsize=799596 CPUtime=882.19 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 29703 0 0 0 88210 9 0 0 25 0 4 0 524772809 818786304 53553 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=799596 CPUtime=882.06 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 27138 0 0 0 88193 13 0 0 25 0 4 0 524772809 818786304 53553 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=799596 CPUtime=877.44 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 26900 0 0 0 87737 7 0 0 25 0 4 0 524772809 818786304 53553 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.94
Current children cumulated vsize (KiB) 799596

[startup+942.3 s]
/proc/loadavg: 8.17 8.11 8.09 9/182 29560
/proc/meminfo: memFree=30294640/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=815140 CPUtime=3763.62 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 323337 0 0 0 376246 116 0 0 25 0 4 0 524772809 834703360 56472 33554432000 4194304 4797429 140735274490960 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 203785 56472 422 148 0 198714 0
[pid=29461/tid=29462] ppid=29459 vsize=815140 CPUtime=942.19 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 31443 0 0 0 94210 9 0 0 25 0 4 0 524772809 834703360 56472 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=815140 CPUtime=942.07 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 28940 0 0 0 94193 14 0 0 25 0 4 0 524772809 834703360 56472 33554432000 4194304 4797429 140735274490960 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=815140 CPUtime=937.11 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 28668 0 0 0 93704 7 0 0 25 0 4 0 524772809 834703360 56472 33554432000 4194304 4797429 140735274490960 18446744073709551615 4425043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.62
Current children cumulated vsize (KiB) 815140

[startup+1002.3 s]
/proc/loadavg: 8.17 8.12 8.09 10/182 29562
/proc/meminfo: memFree=30280968/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=815652 CPUtime=4003.3 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 327651 0 0 0 400212 118 0 0 25 0 4 0 524772809 835227648 56627 33554432000 4194304 4797429 140735274490960 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 203913 56627 422 148 0 198842 0
[pid=29461/tid=29462] ppid=29459 vsize=815652 CPUtime=1002.2 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 33156 0 0 0 100210 10 0 0 25 0 4 0 524772809 835227648 56627 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=815652 CPUtime=1002.06 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 30561 0 0 0 100192 14 0 0 25 0 4 0 524772809 835227648 56627 33554432000 4194304 4797429 140735274490960 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=815652 CPUtime=996.79 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 29625 0 0 0 99671 8 0 0 25 0 4 0 524772809 835227648 56627 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.3
Current children cumulated vsize (KiB) 815652

[startup+1062.3 s]
/proc/loadavg: 8.36 8.17 8.11 10/182 29566
/proc/meminfo: memFree=30279948/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=815612 CPUtime=4242.31 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 331469 0 0 0 424111 120 0 0 25 0 4 0 524772809 835186688 58281 33554432000 4194304 4797429 140735274490960 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 203903 58281 421 148 0 198832 0
[pid=29461/tid=29462] ppid=29459 vsize=815612 CPUtime=1061.52 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 34103 0 0 0 106142 10 0 0 25 0 4 0 524772809 835186688 58281 33554432000 4194304 4797429 140735274490960 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=815612 CPUtime=1062.07 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 31413 0 0 0 106192 15 0 0 25 0 4 0 524772809 835186688 58281 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=815612 CPUtime=1056.46 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 31644 0 0 0 105637 9 0 0 25 0 4 0 524772809 835186688 58281 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.31
Current children cumulated vsize (KiB) 815612

[startup+1122.3 s]
/proc/loadavg: 8.20 8.15 8.10 9/182 29567
/proc/meminfo: memFree=30279576/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=816212 CPUtime=4481.99 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 336213 0 0 0 448077 122 0 0 25 0 4 0 524772809 835801088 58669 33554432000 4194304 4797429 140735274490960 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 204053 58669 421 148 0 198982 0
[pid=29461/tid=29462] ppid=29459 vsize=816212 CPUtime=1121.53 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 36234 0 0 0 112142 11 0 0 25 0 4 0 524772809 835801088 58669 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=816212 CPUtime=1122.07 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 33299 0 0 0 112192 15 0 0 25 0 4 0 524772809 835801088 58669 33554432000 4194304 4797429 140735274490960 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=816212 CPUtime=1116.13 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 32371 0 0 0 111604 9 0 0 25 0 4 0 524772809 835801088 58669 33554432000 4194304 4797429 140735274490960 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4481.99
Current children cumulated vsize (KiB) 816212

[startup+1182.3 s]
/proc/loadavg: 8.07 8.12 8.09 9/182 29569
/proc/meminfo: memFree=30256864/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=818396 CPUtime=4721.67 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 339890 0 0 0 472043 124 0 0 25 0 4 0 524772809 838037504 60156 33554432000 4194304 4797429 140735274490960 18446744073709551615 4495554 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 204599 60156 421 148 0 199528 0
[pid=29461/tid=29462] ppid=29459 vsize=818396 CPUtime=1181.53 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 37104 0 0 0 118141 12 0 0 25 0 4 0 524772809 838037504 60156 33554432000 4194304 4797429 140735274490960 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=818396 CPUtime=1182.07 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 34220 0 0 0 118191 16 0 0 25 0 4 0 524772809 838037504 60156 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=818396 CPUtime=1175.81 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 34080 0 0 0 117571 10 0 0 25 0 4 0 524772809 838037504 60156 33554432000 4194304 4797429 140735274490960 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.67
Current children cumulated vsize (KiB) 818396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.05 8.11 8.09 9/182 29570
/proc/meminfo: memFree=30268756/32951132 swapFree=67111356/67111528
[pid=29461] ppid=29459 vsize=820396 CPUtime=4800.37 cores=1,3,5,7
/proc/29461/stat : 29461 (techdemo) R 29459 29461 29202 0 -1 4202496 342842 0 0 0 479913 124 0 0 25 0 4 0 524772809 840085504 58661 33554432000 4194304 4797429 140735274490960 18446744073709551615 4495559 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29461/statm: 205099 58661 421 148 0 200028 0
[pid=29461/tid=29462] ppid=29459 vsize=820396 CPUtime=1201.23 cores=1,3,5,7
/proc/29461/task/29462/stat : 29462 (techdemo) R 29459 29461 29202 0 -1 4202560 38248 0 0 0 120111 12 0 0 25 0 4 0 524772809 840085504 58661 33554432000 4194304 4797429 140735274490960 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29461/tid=29463] ppid=29459 vsize=820396 CPUtime=1201.77 cores=1,3,5,7
/proc/29461/task/29463/stat : 29463 (techdemo) R 29459 29461 29202 0 -1 4202560 35584 0 0 0 120161 16 0 0 25 0 4 0 524772809 840085504 58661 33554432000 4194304 4797429 140735274490960 18446744073709551615 4491939 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29461/tid=29464] ppid=29459 vsize=820396 CPUtime=1195.4 cores=1,3,5,7
/proc/29461/task/29464/stat : 29464 (techdemo) R 29459 29461 29202 0 -1 4202560 34423 0 0 0 119530 10 0 0 25 0 4 0 524772809 840085504 58661 33554432000 4194304 4797429 140735274490960 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 820396

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.02
CPU time (s): 4800.42
CPU user time (s): 4799.16
CPU system time (s): 1.25981
CPU usage (%): 399.362
Max. virtual memory (cumulated for all children) (KiB): 908112

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

runsolver used 1.9487 second user time and 4.5963 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-30 04:48:52
IDJOB=3261713
IDBENCH=83239
IDSOLVER=1584
FILE ID=node131/3261713-1304131732
RUNJOBID= node131-1304129323-29221
PBS_JOBID= 13170786
Free space on /tmp= 72048 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-11-21-sat.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261713-1304131732/watcher-3261713-1304131732 -o /tmp/evaluation-result-3261713-1304131732/solver-3261713-1304131732 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3261713-1304131732.cnf

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

MD5SUM BENCH= b96c20b4b7951c39c5802e0553b42cad
RANDOM SEED=1643435087

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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:     32951132 kB
MemFree:      30284212 kB
Buffers:        226040 kB
Cached:        1543016 kB
SwapCached:        168 kB
Active:         707888 kB
Inactive:      1653976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30284212 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            7840 kB
Writeback:          16 kB
AnonPages:      592532 kB
Mapped:          15856 kB
Slab:           242984 kB
PageTables:       5812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1192320 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72040 MiB
End job on node131 at 2011-04-30 05:08:56