Trace number 3172499

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.93

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf
MD5SUMeea50e836fd8ac6474349634450aaaf7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.8316
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
Number of clauses of size 40
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-3172499-1304050927.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.29/0.30	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.29/0.30	c -- vars added      25000
0.29/0.30	c Parsing time:  0.27 s
0.29/0.30	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.29/0.38	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.31
0.67/0.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.32
0.67/0.48	c Calc non-exist non-lernt bins v-fix:     0 done:  25000 time:  0.03 s
0.67/0.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.67/0.49	c Subs w/ non-existent bins:      0 time:  0.01 s
1.07/0.55	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1.07/0.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1.07/0.57	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.03 s
2.25/0.85	c lits-rem:         0  cl-subs:        0  v-elim:   1249  v-fix:    0  time:  1.13 s
2.25/0.85	c learnt bin added due to v-elim: 0
2.25/0.86	c Finding binary XORs  T:     0.02 s  found:       0
2.65/0.93	c Finding non-binary XORs:     0.26 s (found:       0, avg size: nan)
2.65/0.93	c calculated reachability. Time: 0.00
2.65/0.94	c Calc default polars -  time:   0.04 s pos:   11141 undec:    2831 neg:   11028
2.65/0.94	c =========================================================================================
2.65/0.94	c types(t): F = full restart, N = normal restart
2.65/0.94	c types(t): S = simplification begin/end, E = solution found
2.65/0.94	c restart types(rt): st = static, dy = dynamic
2.65/0.94	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
2.65/0.94	c  B st     0         0     24289    103880         0         0    315582         0   no data   no data  --
5.45/1.68	c Decided on dynamic restart strategy
8.63/2.40	c  N dy    20      4093     24289    103880         0      4093    315582    922609    202.56    151.00  --
14.63/3.93	c  N dy    48      8097     24289    103880         0      8097    315582   1668589    175.09    141.12  --
20.64/5.43	c  N dy    77     12244     24289    103880         0     12243    315582   2475983    192.50    138.90  --
26.61/6.95	c  N dy   105     16291     24289    103880         0     16290    315582   3229567    212.16    136.06  --
33.82/8.71	c  N dy   134     20400     24289    103880         0     10399    315582    618618    207.87    135.62  --
40.19/10.34	c  N dy   162     24414     24289    103880         0     14413    315582   1385478    204.69    134.87  --
46.19/11.88	c  N dy   191     28486     24289    103880         0     18484    315582   2160368    199.58    134.14  --
49.38/12.67	c  S st   202     30002     24289    103880         0     20000    315582   2444594    197.63    133.92  --
50.18/12.87	c  S st   202     30503     24289    103880         0     20501    315582   2512351    197.63    133.92  --
50.18/12.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
50.18/12.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.39/13.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  1.11
51.39/13.17	c Calc non-exist non-lernt bins v-fix:     0 done:  24289 time:  0.04 s
51.39/13.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.79/13.20	c Subs w/ non-existent bins:      0 time:  0.11 s
52.57/13.41	c bin-w-bin subsume rem            0 bins  time:  0.03 s
52.57/13.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
52.57/13.43	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
78.16/19.84	c lits-rem:         4  cl-subs:     3149  v-elim:    579  v-fix:    0  time: 25.58 s
78.16/19.84	c learnt bin added due to v-elim: 0
78.16/19.85	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
78.16/19.87	c vivif2 --  cl tried    17352 cl shrink        0 lits rem          0 time: 0.10
79.33/20.12	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.98
79.33/20.13	c calculated reachability. Time: 0.01
79.33/20.13	c  N dy   202     30503     24129    104040         0     17352    317043   1803354    197.63    133.92  --
79.33/20.13	c  F st   202     30503     24129    104040         0     17352    317043   1803354    197.63    133.92  --
82.93/21.07	c Decided on dynamic restart strategy
86.13/21.89	c  N dy   222     34511     24129    104040         0     21358    317043   2642680    198.01    134.85  --
92.52/23.46	c  N dy   250     38557     24129    104040         0     25404    317043   3430774    199.02    134.53  --
99.31/25.14	c  N dy   278     42575     24129    104040         0     29422    317043   4225295    194.30    134.68  --
105.30/26.66	c  S st   301     45755     24129    104040         0     17104    317043    947460    194.29    134.39  --
106.10/26.87	c  S st   301     46258     24129    104040         0     17607    317043   1014760    194.29    134.39  --
106.10/26.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
106.10/26.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.30/27.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.84
107.30/27.11	c Calc non-exist non-lernt bins v-fix:     0 done:  24129 time:  0.05 s
107.30/27.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.30/27.13	c Subs w/ non-existent bins:      0 time:  0.07 s
107.70/27.22	c bin-w-bin subsume rem            0 bins  time:  0.04 s
107.70/27.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
107.70/27.24	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
118.08/29.85	c lits-rem:         1  cl-subs:      524  v-elim:    362  v-fix:    0  time: 10.40 s
118.08/29.85	c learnt bin added due to v-elim: 0
118.08/29.86	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
118.08/29.87	c vivif2 --  cl tried    17083 cl shrink        0 lits rem          0 time: 0.05
118.88/30.06	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.73
118.88/30.06	c calculated reachability. Time: 0.00
118.88/30.06	c  N dy   301     46258     24129    104040         0     17083    317043    986958    194.29    134.39  --
125.67/31.70	c  N dy   329     50278     24129    104040         0     21103    317043   1768753    198.34    134.09  --
132.86/33.52	c  N dy   358     54391     24129    104040         0     25216    317043   2544183    189.38    133.71  --
139.67/35.29	c  N dy   386     58397     24129    104040         0     29221    317043   3288667    202.10    133.28  --
146.45/36.92	c  N dy   414     62422     24129    104040         0     33245    317043   4060212    191.24    133.16  --
153.63/38.72	c  N dy   443     66524     24129    104040         0     37347    317043   4847496    187.88    133.08  --
159.23/40.14	c  S st   463     69388     24129    104040         0     21463    317043   1219493    209.60    133.26  --
160.03/40.38	c  S st   463     69892     24129    104040         0     21967    317043   1290380    209.60    133.26  --
160.03/40.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
160.03/40.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.25/40.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.92
161.25/40.64	c Calc non-exist non-lernt bins v-fix:     0 done:  24129 time:  0.05 s
161.25/40.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.25/40.66	c Subs w/ non-existent bins:      0 time:  0.09 s
161.65/40.77	c bin-w-bin subsume rem            0 bins  time:  0.03 s
161.65/40.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
161.65/40.79	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
173.21/43.65	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
178.82/45.10	c Added 0 vars  tried: 80000 time: 5.77
178.82/45.10	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:    5.77
179.22/45.15	c lits-rem:         7  cl-subs:      766  v-elim:    362  v-fix:    0  time: 17.41 s
179.22/45.15	c learnt bin added due to v-elim: 0
179.22/45.16	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.04
179.22/45.17	c vivif2 --  cl tried    21201 cl shrink        0 lits rem          0 time: 0.06
180.00/45.39	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.85
180.00/45.39	c calculated reachability. Time: 0.00
180.00/45.39	c  N dy   463     69892     24129    104040         0     21201    317043   1241370    209.60    133.26  --
180.00/45.39	c  F st   463     69892     24129    104040         0     21201    317043   1241370    209.60    133.26  --
184.39/46.44	c Decided on dynamic restart strategy
188.79/47.56	c  N dy   486     74424     24129    104040         0     25729    317043   2389960    198.03    135.95  --
197.57/49.72	c  N dy   519     79182     24129    104040         0     30486    317043   3295578    187.52    135.67  --
206.36/51.99	c  N dy   555     84339     24129    104040         0     35643    317043   4260459    172.03    135.28  --
215.95/54.39	c  N dy   593     89784     24129    104040         0     41088    317043   5338681    208.19    135.26  --
226.74/57.03	c  N dy   634     95627     24129    104040         0     26060    317043   1613091    192.35    135.02  --
238.32/59.92	c  N dy   677    101774     24129    104040         0     32207    317043   2821114    201.75    134.91  --
244.73/61.60	c  S st   699    104838     24129    104040         0     35271    317043   3424469    194.76    134.87  --
245.91/61.82	c  S st   699    105339     24129    104040         0     35772    317043   3495271    194.76    134.87  --
245.91/61.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
245.91/61.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
247.11/62.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.40
247.51/62.21	c Calc non-exist non-lernt bins v-fix:     0 done:  24129 time:  0.06 s
247.51/62.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
247.51/62.24	c Subs w/ non-existent bins:      0 time:  0.15 s
248.31/62.45	c bin-w-bin subsume rem            0 bins  time:  0.04 s
248.31/62.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
248.31/62.47	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
289.45/72.72	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.02
289.85/72.80	c lits-rem:         0  cl-subs:     1376  v-elim:    362  v-fix:    0  time: 41.25 s
289.85/72.80	c learnt bin added due to v-elim: 0
289.85/72.81	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.04
289.85/72.85	c vivif2 --  cl tried    34396 cl shrink        0 lits rem          0 time: 0.16
291.45/73.21	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 1.46
291.45/73.22	c calculated reachability. Time: 0.00
291.45/73.22	c  N dy   699    105339     24129    104040         0     34396    317043   3372300    194.76    134.87  --
303.83/76.33	c  N dy   747    112193     24129    104040         0     41250    317043   4709652    192.13    134.82  --
316.21/79.48	c  N dy   798    119485     24129    104040         0     26106    317043   1318202    191.49    134.72  --
329.39/82.72	c  N dy   852    127213     24129    104040         0     33834    317043   2818994    197.02    134.61  --
344.17/86.41	c  N dy   909    135366     24129    104040         0     41984    317043   4392849    184.00    134.46  --
359.76/90.38	c  N dy   970    144131     24129    104040         0     27031    317043   1224697    204.96    134.39  --
376.14/94.45	c  N dy  1035    153405     24129    104040         0     36303    317043   2996708    197.91    134.16  --
385.74/96.86	c  S st  1068    158008     24129    104040         0     40905    317043   3881629    202.23    134.09  --
386.91/97.10	c  S st  1068    158512     24129    104040         0     41409    317043   3948573    202.23    134.09  --
386.91/97.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
386.91/97.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
388.51/97.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.62
388.51/97.54	c Calc non-exist non-lernt bins v-fix:     0 done:  24129 time:  0.05 s
388.51/97.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
388.51/97.58	c Subs w/ non-existent bins:      0 time:  0.17 s
389.74/97.84	c bin-w-bin subsume rem            0 bins  time:  0.04 s
389.74/97.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
389.74/97.86	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
493.97/123.97	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.02
494.37/124.07	c lits-rem:         0  cl-subs:     1644  v-elim:    362  v-fix:    0  time: 104.67 s
494.37/124.07	c learnt bin added due to v-elim: 0
494.37/124.08	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
494.77/124.13	c vivif2 --  cl tried    39765 cl shrink        0 lits rem          0 time: 0.20
496.37/124.53	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 1.61
496.37/124.54	c calculated reachability. Time: 0.01
496.37/124.54	c  N dy  1068    158512     24129    104040         0     39765    317043   3793056    202.23    134.09  --
515.94/129.41	c  N dy  1139    168645     24129    104040         0     25041    317043    574672    205.17    133.81  --
535.91/134.42	c  N dy  1215    179446     24129    104040         0     35841    317043   2704093    214.47    133.82  --
557.49/139.89	c  N dy  1296    190911     24129    104040         0     47304    317043   4858981    226.75    133.55  --
581.06/145.79	c  N dy  1381    203154     24129    104040         0     33619    317043   1989562    197.90    133.55  --
606.62/152.12	c  N dy  1472    216150     24129    104040         0     46612    317043   4478840    174.05    133.35  --
633.39/158.85	c  N dy  1569    229953     24129    104040         0     33455    317043   1757652    196.01    133.19  --
649.39/162.84	c  S st  1625    237768     24129    104040         0     41270    317043   3210160    195.00    133.06  --
650.56/163.11	c  S st  1625    238272     24129    104040         0     41774    317043   3285288    195.00    133.06  --
650.56/163.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
650.56/163.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
652.16/163.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  1.61
652.16/163.54	c Calc non-exist non-lernt bins v-fix:     0 done:  24129 time:  0.05 s
652.16/163.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
652.16/163.58	c Subs w/ non-existent bins:      0 time:  0.15 s
652.96/163.80	c bin-w-bin subsume rem            0 bins  time:  0.03 s
653.38/163.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
653.38/163.82	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
692.93/173.74	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.02
693.33/173.82	c lits-rem:         1  cl-subs:     1920  v-elim:    362  v-fix:    0  time: 39.96 s
693.33/173.82	c learnt bin added due to v-elim: 0
693.33/173.84	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
693.33/173.88	c vivif2 --  cl tried    39854 cl shrink        0 lits rem          0 time: 0.18
694.91/174.26	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 1.53
694.91/174.27	c calculated reachability. Time: 0.00
694.91/174.27	c  N dy  1625    238272     24129    104040         0     39854    317043   3145078    195.00    133.06  --
725.66/181.96	c  N dy  1732    253525     24129    104040         0     55105    317043   6092059    183.18    132.98  --
754.85/189.21	c  N dy  1846    269727     24129    104040         0     43326    317043   3430476    192.37    132.86  --
787.58/197.41	c  N dy  1967    287045     24129    104040         0     31653    317043    999378    181.96    132.95  --
821.14/205.83	c  N dy  2095    305394     24129    104040         0     50001    317043   4612137    203.22    133.02  --
857.88/215.09	c  N dy  2231    324887     24129    104040         0     39499    317043   2219493    185.51    132.88  --
897.83/225.01	c  N dy  2371    344932     24129    104040         0     59543    317043   6070016    182.19    132.81  --
921.82/231.01	c  S st  2458    357408     24129    104040         0     41021    317043   2407753    186.77    132.76  --
922.60/231.29	c  S st  2458    357911     24129    104040         0     41524    317043   2483366    186.77    132.76  --
923.00/231.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
923.00/231.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
924.60/231.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.3M T:  1.58
924.60/231.72	c Calc non-exist non-lernt bins v-fix:     0 done:  24129 time:  0.05 s
924.60/231.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
924.60/231.75	c Subs w/ non-existent bins:      0 time:  0.13 s
925.40/231.92	c bin-w-bin subsume rem            0 bins  time:  0.04 s
925.40/231.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
925.40/231.94	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
952.58/238.78	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.02
952.95/238.85	c lits-rem:         0  cl-subs:     2179  v-elim:    362  v-fix:    0  time: 27.59 s
952.95/238.85	c learnt bin added due to v-elim: 0
952.95/238.87	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
953.35/238.90	c vivif2 --  cl tried    39345 cl shrink        0 lits rem          0 time: 0.14
954.55/239.24	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 1.35
954.55/239.25	c calculated reachability. Time: 0.00
954.55/239.25	c  N dy  2458    357911     24129    104040         0     39345    317043   2365061    186.77    132.76  --
994.90/249.38	c  N dy  2599    377975     24129    104040         0     59406    317043   6254026    197.00    132.74  --
1035.25/259.42	c  N dy  2740    398087     24129    104040         0     47520    317043   3471480    195.63    132.75  --
1077.19/269.96	c  N dy  2880    418154     24129    104040         0     34590    317043    745380    188.00    132.66  --
1117.54/280.07	c  N dy  3021    438277     24129    104040         0     54708    317043   4632581    194.68    132.66  --
1159.10/290.46	c  N dy  3161    458316     24129    104040         0     40752    317043   1783081    187.93    132.69  --
1201.43/301.06	c  N dy  3300    478418     24129    104040         0     60853    317043   5792055    218.48    132.84  --
1242.97/311.41	c  N dy  3439    498438     24129    104040         0     45874    317043   2494837    189.34    132.77  --
1283.72/321.69	c  N dy  3579    518535     24129    104040         0     65970    317043   6371483    186.34    132.73  --
1320.07/330.76	c  S st  3708    536867     24129    104040         0     48305    317043   2714431    173.79    132.65  --
1321.29/331.02	c  S st  3708    537370     24129    104040         0     48808    317043   2797115    173.79    132.65  --
1321.29/331.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1321.29/331.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1322.86/331.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.4M T:  1.81
1323.26/331.51	c Calc non-exist non-lernt bins v-fix:     0 done:  24129 time:  0.05 s
1323.26/331.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1323.26/331.54	c Subs w/ non-existent bins:      0 time:  0.13 s
1324.06/331.72	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1324.06/331.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1324.06/331.74	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
1358.82/340.40	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.02
1367.61/342.62	c Added 0 vars  tried: 80000 time: 8.87
1367.61/342.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:    8.87
1367.61/342.69	c lits-rem:         0  cl-subs:     2923  v-elim:    362  v-fix:    0  time: 43.76 s
1367.61/342.69	c learnt bin added due to v-elim: 0
1368.01/342.70	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.04
1368.01/342.74	c vivif2 --  cl tried    45885 cl shrink        0 lits rem          0 time: 0.14
1369.21/343.08	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 1.36
1369.21/343.09	c calculated reachability. Time: 0.00
1369.21/343.09	c  N dy  3708    537370     24129    104040         0     45885    317043   2673882    173.79    132.65  --
1369.21/343.09	c  F st  3708    537370     24129    104040         0     45885    317043   2673882    173.79    132.65  --
1373.20/344.07	c Decided on dynamic restart strategy
1410.35/353.30	c  N dy  3841    557473     24129    104040         0     65985    317043   6690003    180.89    132.77  --
1450.69/363.44	c  N dy  3981    577520     24129    104040         0     49031    317043   2803144    220.68    132.71  --
1493.06/374.06	c  N dy  4122    597619     24129    104040         0     69128    317043   6707310    191.09    132.68  --
1534.98/384.55	c  N dy  4262    617675     24129    104040         0     51188    317043   3084931    206.53    132.76  --
1578.92/395.51	c  N dy  4403    637792     24129    104040         0     71302    317043   7045882    192.79    132.78  --
1621.26/406.19	c  N dy  4544    657932     24129    104040         0     52443    317043   2989186    177.71    132.71  --
1665.20/417.18	c  N dy  4684    677933     24129    104040         0     72436    317043   6908233    189.08    132.76  --
1707.96/427.90	c  N dy  4824    697943     24129    104040         0     52450    317043   2920896    190.89    132.76  --
1752.68/439.03	c  N dy  4965    718058     24129    104040         0     72563    317043   6813275    182.96    132.75  --
1796.63/450.07	c  N dy  5105    738126     24129    104040         0     51635    317043   2487363    187.50    132.72  --
1840.56/461.08	c  N dy  5245    758164     24129    104040         0     71671    317043   6371419    179.97    132.71  --
1886.51/472.54	c  N dy  5386    778276     24129    104040         0     49788    317043   1969463    178.84    132.73  --
1928.85/483.12	c  N dy  5527    798280     24129    104040         0     69792    317043   5861807    176.61    132.74  --
1948.82/488.10	c  S st  5582    806056     24129    104040         0     77566    317043   7431951    206.96    132.78  --
1950.04/488.43	c  S st  5582    806558     24129    104040         0     78068    317043   7503629    206.96    132.78  --
1950.04/488.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1950.04/488.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1953.22/489.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.1M T:  3.32
1953.62/489.30	c Calc non-exist non-lernt bins v-fix:     0 done:  24129 time:  0.05 s
1953.62/489.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1953.62/489.37	c Subs w/ non-existent bins:      0 time:  0.28 s
1955.61/489.83	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1955.61/489.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1955.61/489.85	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
2454.15/614.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.02
2454.55/614.76	c lits-rem:         0  cl-subs:     4499  v-elim:    362  v-fix:    0  time: 498.94 s
2454.55/614.76	c learnt bin added due to v-elim: 0
2454.55/614.78	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.04
2454.96/614.87	c vivif2 --  cl tried    73569 cl shrink        0 lits rem          0 time: 0.35
2456.94/615.39	c asymm  cl-useful: 0/79251/104040 lits-rem:0 time: 2.08
2456.94/615.40	c calculated reachability. Time: 0.00
2457.34/615.40	c  N dy  5582    806558     24129    104040         0     73569    317043   7180520    206.96    132.78  --
2502.88/626.80	c  N dy  5723    826638     24129    104040         0     50654    317043   1934533    192.47    132.75  --
2547.24/637.93	c  N dy  5863    846702     24129    104040         0     70712    317043   5815118    176.23    132.74  --
2593.16/649.47	c  N dy  6003    866811     24129    104040         0     46826    317043   1066812    198.22    132.79  --
2635.90/660.14	c  N dy  6144    886905     24129    104040         0     66917    317043   4956415    186.47    132.77  --
2680.64/671.32	c  N dy  6285    906955     24129    104040         0     86964    317043   8871646    201.79    132.78  --
2720.99/681.48	c  N dy  6425    926964     24129    104040         0     61978    317043   3833917    210.86    132.82  --
2764.53/692.39	c  N dy  6566    947041     24129    104040         0     82051    317043   7774767    198.33    132.85  --
2808.07/703.23	c  N dy  6707    967164     24129    104040         0     56175    317043   2443519    203.66    132.83  --
2851.21/714.08	c  N dy  6847    987212     24129    104040         0     76221    317043   6251904    185.28    132.78  --
2899.17/726.05	c  N dy  6988   1007280     24129    104040         0     49293    317043    910697    201.58    132.78  --
2941.89/736.73	c  N dy  7128   1027341     24129    104040         0     69352    317043   4781085    190.93    132.77  --
2989.83/748.72	c  N dy  7268   1047479     24129    104040         0     89488    317043   8612518    199.22    132.73  --
3034.57/759.98	c  N dy  7409   1067631     24129    104040         0     61646    317043   3104221    195.85    132.71  --
3080.51/771.45	c  N dy  7549   1087636     24129    104040         0     81649    317043   6961384    193.22    132.71  --
3129.65/783.77	c  N dy  7690   1107727     24129    104040         0     52742    317043   1198986    182.23    132.66  --
3173.19/794.69	c  N dy  7830   1127734     24129    104040         0     72746    317043   5113679    184.66    132.67  --
3222.72/807.00	c  N dy  7970   1147812     24129    104040         0     92822    317043   9121508    194.94    132.73  --
3269.86/818.80	c  N dy  8111   1167948     24129    104040         0     62961    317043   2999788    179.09    132.75  --
3316.21/830.49	c  N dy  8252   1188078     24129    104040         0     83089    317043   6912786    181.03    132.72  --
3365.33/842.78	c  N dy  8393   1208213     24129    104040         0     52228    317043    729659    199.16    132.73  --
3369.34/843.72	c  S st  8405   1209837     24129    104040         0     53852    317043   1088423    233.12    132.74  --
3370.51/844.02	c  S st  8405   1210339     24129    104040         0     54354    317043   1156741    233.12    132.74  --
3370.51/844.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3370.51/844.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3372.92/844.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.2M T:  2.36
3372.92/844.64	c Calc non-exist non-lernt bins v-fix:     0 done:  24129 time:  0.05 s
3372.92/844.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3372.92/844.66	c Subs w/ non-existent bins:      0 time:  0.08 s
3373.33/844.76	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3373.33/844.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3373.33/844.78	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
3384.90/847.63	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.02
3389.70/848.85	c Added 0 vars  tried: 80000 time: 4.85
3389.70/848.85	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    4.85
3390.10/848.91	c lits-rem:         3  cl-subs:     3561  v-elim:    362  v-fix:    0  time: 16.49 s
3390.10/848.91	c learnt bin added due to v-elim: 0
3390.10/848.92	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
3390.10/848.94	c vivif2 --  cl tried    50793 cl shrink        0 lits rem          0 time: 0.07
3390.50/849.02	c asymm  cl-useful: 0/24789/104040 lits-rem:0 time: 0.31
3390.50/849.02	c calculated reachability. Time: 0.00
3390.50/849.02	c  N dy  8405   1210339     24129    104040         0     50793    317043   1088146    233.12    132.74  --
3432.43/859.57	c  N dy  8545   1230403     24129    104040         0     70855    317043   4976123    189.78    132.72  --
3477.98/870.95	c  N dy  8685   1250508     24129    104040         0     90956    317043   8927796    181.67    132.75  --
3524.31/882.54	c  N dy  8826   1270603     24129    104040         0     59056    317043   1883648    187.61    132.75  --
3567.85/893.48	c  N dy  8966   1290626     24129    104040         0     79074    317043   5728614    191.16    132.74  --
3616.19/905.60	c  N dy  9106   1310676     24129    104040         0     99121    317043   9644538    213.38    132.74  --
3662.53/917.18	c  N dy  9245   1330710     24129    104040         0     66157    317043   3168081    209.67    132.79  --
3709.67/928.99	c  N dy  9385   1350734     24129    104040         0     86180    317043   7128638    185.17    132.82  --
3761.60/941.96	c  N dy  9525   1370746     24129    104040         0    106188    317043  11063877    236.20    132.83  --
3807.14/953.37	c  N dy  9665   1390757     24129    104040         0     72207    317043   4041087    197.88    132.82  --
3855.87/965.55	c  N dy  9806   1410837     24129    104040         0     92283    317043   7912923    193.08    132.81  --
3908.20/978.62	c  N dy  9945   1430915     24129    104040         0     57365    317043    977895    194.24    132.81  --
3953.76/990.08	c  N dy 10087   1451048     24129    104040         0     77495    317043   4860589    196.22    132.80  --
4004.07/1002.61	c  N dy 10227   1471173     24129    104040         0     97612    317043   8857338    223.79    132.83  --
4056.00/1015.60	c  N dy 10367   1491238     24129    104040         0     61686    317043   1676704    192.68    132.85  --
4102.76/1027.31	c  N dy 10507   1511356     24129    104040         0     81800    317043   5601848    177.87    132.85  --
4153.07/1039.96	c  N dy 10647   1531430     24129    104040         0    101870    317043   9510769    193.90    132.84  --
4205.00/1052.95	c  N dy 10787   1551433     24129    104040         0     64881    317043   2040941    199.45    132.85  --
4250.54/1064.33	c  N dy 10927   1571460     24129    104040         0     84903    317043   5920893    191.24    132.84  --
4298.08/1076.29	c  N dy 11067   1591557     24129    104040         0    104999    317043   9908748    197.91    132.87  --
4346.42/1088.37	c  N dy 11208   1611637     24129    104040         0     67085    317043   2254783    188.43    132.86  --
4392.35/1099.81	c  N dy 11349   1631782     24129    104040         0     87226    317043   6174525    191.07    132.87  --
4440.29/1111.80	c  N dy 11488   1651790     24129    104040         0    107231    317043  10058757    201.91    132.86  --
4487.82/1123.78	c  N dy 11628   1671909     24129    104040         0     68358    317043   2384456    197.53    132.86  --
4534.16/1135.32	c  N dy 11769   1692038     24129    104040         0     88484    317043   6330514    211.21    132.87  --
4582.89/1147.51	c  S st 11897   1710340     24129    104040         0    106785    317043   9819804    191.29    132.85  --
4584.49/1147.94	c  S st 11897   1710841     24129    104040         0    107286    317043   9889868    191.29    132.85  --
4584.49/1147.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4584.49/1147.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4590.09/1149.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.3M T:  5.53
4590.09/1149.36	c Calc non-exist non-lernt bins v-fix:     0 done:  24129 time:  0.06 s
4590.09/1149.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4590.50/1149.45	c Subs w/ non-existent bins:      0 time:  0.37 s
4592.89/1150.10	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4593.29/1150.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4593.29/1150.12	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s

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

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

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


[startup+0 s]
/proc/loadavg: 3.75 3.97 4.12 5/180 30265
/proc/meminfo: memFree=27786972/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=24708 CPUtime=0 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 1430 0 0 0 0 0 0 0 21 0 1 0 516690424 25300992 1369 33554432000 4194304 4797429 140736683197088 18446744073709551615 218905427723 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30265/statm: 6177 1379 341 148 0 1106 0

[startup+0.040182 s]
/proc/loadavg: 3.75 3.97 4.12 5/180 30265
/proc/meminfo: memFree=27786972/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=56252 CPUtime=0.03 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 10233 0 0 0 2 1 0 0 21 0 1 0 516690424 57602048 6995 33554432000 4194304 4797429 140736683197088 18446744073709551615 4365731 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30265/statm: 14063 7003 342 148 0 8992 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 56252

[startup+0.101171 s]
/proc/loadavg: 3.75 3.97 4.12 5/180 30265
/proc/meminfo: memFree=27786972/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=95304 CPUtime=0.09 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 14287 0 0 0 8 1 0 0 21 0 1 0 516690424 97591296 10953 33554432000 4194304 4797429 140736683197088 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30265/statm: 23826 10954 348 148 0 18755 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 95304

[startup+0.301135 s]
/proc/loadavg: 3.75 3.97 4.12 5/180 30265
/proc/meminfo: memFree=27786972/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=112696 CPUtime=0.29 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 20236 0 0 0 26 3 0 0 22 0 1 0 516690424 115400704 16594 33554432000 4194304 4797429 140736683197088 18446744073709551615 4359180 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30265/statm: 28174 16597 348 148 0 23103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112696

[startup+0.701031 s]
/proc/loadavg: 3.75 3.97 4.12 5/180 30265
/proc/meminfo: memFree=27786972/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=815860 CPUtime=1.86 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 31512 0 0 0 180 6 0 0 18 0 4 0 516690424 835440640 25747 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 203965 25747 397 148 0 198894 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 815860

[startup+1.50088 s]
/proc/loadavg: 3.75 3.97 4.12 10/184 30269
/proc/meminfo: memFree=27649536/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=823584 CPUtime=5.05 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 35968 0 0 0 498 7 0 0 19 0 4 0 516690424 843350016 30162 33554432000 4194304 4797429 140736683197088 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 205896 30162 410 148 0 200825 0
[pid=30265/tid=30267] ppid=30263 vsize=823584 CPUtime=1.18 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 4781 0 0 0 117 1 0 0 19 0 4 0 516690455 843350016 30162 33554432000 4194304 4797429 140736683197088 18446744073709551615 4425609 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=823584 CPUtime=1.18 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 3600 0 0 0 118 0 0 0 19 0 4 0 516690455 843350016 30162 33554432000 4194304 4797429 140736683197088 18446744073709551615 4424965 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=823584 CPUtime=1.17 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 4139 0 0 0 116 1 0 0 19 0 4 0 516690455 843350016 30162 33554432000 4194304 4797429 140736683197088 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 823584

[startup+3.10059 s]
/proc/loadavg: 3.75 3.97 4.12 9/184 30270
/proc/meminfo: memFree=27628580/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=823584 CPUtime=11.44 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 39386 0 0 0 1136 8 0 0 22 0 4 0 516690424 843350016 33563 33554432000 4194304 4797429 140736683197088 18446744073709551615 4423080 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 205896 33563 413 148 0 200825 0
[pid=30265/tid=30267] ppid=30263 vsize=823584 CPUtime=2.77 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 5633 0 0 0 276 1 0 0 22 0 4 0 516690455 843350016 33563 33554432000 4194304 4797429 140736683197088 18446744073709551615 4331610 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=823584 CPUtime=2.78 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 4432 0 0 0 277 1 0 0 22 0 4 0 516690455 843350016 33563 33554432000 4194304 4797429 140736683197088 18446744073709551615 4694919 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=823584 CPUtime=2.76 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 4987 0 0 0 275 1 0 0 22 0 4 0 516690455 843350016 33563 33554432000 4194304 4797429 140736683197088 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (KiB) 823584

[startup+6.30101 s]
/proc/loadavg: 4.09 4.04 4.14 10/184 30270
/proc/meminfo: memFree=27566964/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=828696 CPUtime=24.22 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 51483 0 0 0 2408 14 0 0 25 0 4 0 516690424 848584704 45547 33554432000 4194304 4797429 140736683197088 18446744073709551615 4340967 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 207174 45547 416 148 0 202103 0
[pid=30265/tid=30267] ppid=30263 vsize=828696 CPUtime=5.97 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 9341 0 0 0 595 2 0 0 19 0 4 0 516690455 848584704 45547 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=828696 CPUtime=5.98 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 7262 0 0 0 595 3 0 0 19 0 4 0 516690455 848584704 45547 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=828696 CPUtime=5.95 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 8602 0 0 0 591 4 0 0 19 0 4 0 516690455 848584704 45547 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.22
Current children cumulated vsize (KiB) 828696

[startup+12.7009 s]
/proc/loadavg: 4.40 4.11 4.16 9/184 30270
/proc/meminfo: memFree=27546716/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=834696 CPUtime=49.78 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 59300 0 0 0 4963 15 0 0 25 0 4 0 516690424 854728704 46869 33554432000 4194304 4797429 140736683197088 18446744073709551615 4389840 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 208674 46869 417 148 0 203603 0
[pid=30265/tid=30267] ppid=30263 vsize=834696 CPUtime=12.37 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 10377 0 0 0 1235 2 0 0 25 0 4 0 516690455 854728704 46869 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=834696 CPUtime=12.38 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 8313 0 0 0 1235 3 0 0 25 0 4 0 516690455 854728704 46869 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=834696 CPUtime=12.31 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 9594 0 0 0 1227 4 0 0 25 0 4 0 516690455 854728704 46869 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (KiB) 834696

[startup+25.5005 s]
/proc/loadavg: 5.20 4.30 4.22 9/184 30270
/proc/meminfo: memFree=27499128/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=851144 CPUtime=100.9 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 68587 0 0 0 10072 18 0 0 25 0 4 0 516690424 871571456 55686 33554432000 4194304 4797429 140736683197088 18446744073709551615 4425625 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 212786 55686 419 148 0 207715 0
[pid=30265/tid=30267] ppid=30263 vsize=851144 CPUtime=25.17 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 11385 0 0 0 2515 2 0 0 25 0 4 0 516690455 871571456 55686 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=851144 CPUtime=25.17 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 9237 0 0 0 2514 3 0 0 25 0 4 0 516690455 871571456 55686 33554432000 4194304 4797429 140736683197088 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=851144 CPUtime=25.04 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 10802 0 0 0 2500 4 0 0 25 0 4 0 516690455 871571456 55686 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.9
Current children cumulated vsize (KiB) 851144

[startup+51.1009 s]
/proc/loadavg: 6.15 4.59 4.32 9/184 30271
/proc/meminfo: memFree=27463972/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=861372 CPUtime=203.17 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 85517 0 0 0 20292 25 0 0 25 0 4 0 516690424 882044928 60730 33554432000 4194304 4797429 140736683197088 18446744073709551615 4424393 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 215343 60730 420 148 0 210272 0
[pid=30265/tid=30267] ppid=30263 vsize=861372 CPUtime=50.77 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 13268 0 0 0 5074 3 0 0 25 0 4 0 516690455 882044928 60730 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=861372 CPUtime=50.78 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 10763 0 0 0 5074 4 0 0 25 0 4 0 516690455 882044928 60730 33554432000 4194304 4797429 140736683197088 18446744073709551615 218905389780 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=861372 CPUtime=50.51 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 12543 0 0 0 5046 5 0 0 25 0 4 0 516690455 882044928 60730 33554432000 4194304 4797429 140736683197088 18446744073709551615 4490588 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.17
Current children cumulated vsize (KiB) 861372

[startup+102.307 s]
/proc/loadavg: 7.20 5.11 4.51 9/184 30272
/proc/meminfo: memFree=27403764/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=892620 CPUtime=407.71 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 121856 0 0 0 40730 41 0 0 25 0 4 0 516690424 914042880 65288 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 223155 65288 420 148 0 218084 0
[pid=30265/tid=30267] ppid=30263 vsize=892620 CPUtime=101.97 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 18270 0 0 0 10192 5 0 0 25 0 4 0 516690455 914042880 65288 33554432000 4194304 4797429 140736683197088 18446744073709551615 4415680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=892620 CPUtime=101.98 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 15387 0 0 0 10192 6 0 0 25 0 4 0 516690455 914042880 65288 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=892620 CPUtime=101.43 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 16521 0 0 0 10137 6 0 0 25 0 4 0 516690455 914042880 65288 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.71
Current children cumulated vsize (KiB) 892620

[startup+162.301 s]
/proc/loadavg: 7.79 5.67 4.74 9/184 30274
/proc/meminfo: memFree=27355004/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=903268 CPUtime=647.37 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 149458 0 0 0 64680 57 0 0 25 0 4 0 516690424 924946432 73057 33554432000 4194304 4797429 140736683197088 18446744073709551615 4424333 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 225817 73057 420 148 0 220746 0
[pid=30265/tid=30267] ppid=30263 vsize=903268 CPUtime=161.97 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 21406 0 0 0 16190 7 0 0 25 0 4 0 516690455 924946432 73057 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=903268 CPUtime=161.98 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 17263 0 0 0 16191 7 0 0 25 0 4 0 516690455 924946432 73057 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=903268 CPUtime=161.1 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 19223 0 0 0 16102 8 0 0 25 0 4 0 516690455 924946432 73057 33554432000 4194304 4797429 140736683197088 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.37
Current children cumulated vsize (KiB) 903268

[startup+222.301 s]
/proc/loadavg: 8.00 6.12 4.95 9/184 30275
/proc/meminfo: memFree=27339212/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=910052 CPUtime=887.04 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 185444 0 0 0 88630 74 0 0 25 0 4 0 516690424 931893248 74816 33554432000 4194304 4797429 140736683197088 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 227513 74816 420 148 0 222442 0
[pid=30265/tid=30267] ppid=30263 vsize=910052 CPUtime=221.97 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 25707 0 0 0 22189 8 0 0 25 0 4 0 516690455 931893248 74816 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=910052 CPUtime=221.98 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 21377 0 0 0 22190 8 0 0 25 0 4 0 516690455 931893248 74816 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=910052 CPUtime=220.77 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 23023 0 0 0 22067 10 0 0 25 0 4 0 516690455 931893248 74816 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.04
Current children cumulated vsize (KiB) 910052

[startup+282.301 s]

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

[pid=30265] ppid=30263 vsize=959512 CPUtime=2804.48 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 384080 0 0 0 280263 185 0 0 25 0 4 0 516690424 982540288 89821 33554432000 4194304 4797429 140736683197088 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 239878 89821 420 148 0 234807 0
[pid=30265/tid=30267] ppid=30263 vsize=959512 CPUtime=701.98 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 42750 0 0 0 70182 16 0 0 25 0 4 0 516690455 982540288 89821 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=959512 CPUtime=701.99 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 36820 0 0 0 70184 15 0 0 25 0 4 0 516690455 982540288 89821 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=959512 CPUtime=698.17 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 42119 0 0 0 69799 18 0 0 25 0 4 0 516690455 982540288 89821 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.48
Current children cumulated vsize (KiB) 959512

[startup+762.307 s]
/proc/loadavg: 8.19 7.82 6.34 10/184 30290
/proc/meminfo: memFree=27167328/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=965500 CPUtime=3044.18 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 411317 0 0 0 304217 201 0 0 25 0 4 0 516690424 988672000 96052 33554432000 4194304 4797429 140736683197088 18446744073709551615 218905399456 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 241375 96052 420 148 0 236304 0
[pid=30265/tid=30267] ppid=30263 vsize=965500 CPUtime=761.98 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 43793 0 0 0 76182 16 0 0 25 0 4 0 516690455 988672000 96052 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=965500 CPUtime=762 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 38425 0 0 0 76184 16 0 0 25 0 4 0 516690455 988672000 96052 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=965500 CPUtime=757.85 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 43473 0 0 0 75766 19 0 0 25 0 4 0 516690455 988672000 96052 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.18
Current children cumulated vsize (KiB) 965500

[startup+822.301 s]
/proc/loadavg: 8.07 7.85 6.44 10/184 30291
/proc/meminfo: memFree=27154656/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=968152 CPUtime=3283.84 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 436310 0 0 0 328169 215 0 0 25 0 4 0 516690424 991387648 99034 33554432000 4194304 4797429 140736683197088 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 242038 99034 420 148 0 236967 0
[pid=30265/tid=30267] ppid=30263 vsize=968152 CPUtime=821.99 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 44510 0 0 0 82182 17 0 0 25 0 4 0 516690455 991387648 99034 33554432000 4194304 4797429 140736683197088 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=968152 CPUtime=822 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 39074 0 0 0 82184 16 0 0 25 0 4 0 516690455 991387648 99034 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=968152 CPUtime=817.52 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 44467 0 0 0 81732 20 0 0 25 0 4 0 516690455 991387648 99034 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.84
Current children cumulated vsize (KiB) 968152

[startup+882.3 s]
/proc/loadavg: 8.02 7.88 6.54 9/184 30293
/proc/meminfo: memFree=27190348/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=970972 CPUtime=3523.51 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 466931 0 0 0 352121 230 0 0 25 0 4 0 516690424 994275328 91784 33554432000 4194304 4797429 140736683197088 18446744073709551615 4331610 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 242743 91784 420 148 0 237672 0
[pid=30265/tid=30267] ppid=30263 vsize=970972 CPUtime=881.99 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 48159 0 0 0 88180 19 0 0 25 0 4 0 516690455 994275328 91784 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=970972 CPUtime=882 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 41445 0 0 0 88183 17 0 0 25 0 4 0 516690455 994275328 91784 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=970972 CPUtime=877.18 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 47677 0 0 0 87698 20 0 0 25 0 4 0 516690455 994275328 91784 33554432000 4194304 4797429 140736683197088 18446744073709551615 4642102 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.51
Current children cumulated vsize (KiB) 970972

[startup+942.3 s]
/proc/loadavg: 8.01 7.90 6.63 9/184 30294
/proc/meminfo: memFree=27100908/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=977112 CPUtime=3763.19 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 493199 0 0 0 376071 248 0 0 25 0 4 0 516690424 1000562688 105878 33554432000 4194304 4797429 140736683197088 18446744073709551615 4415787 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 244278 105878 420 148 0 239207 0
[pid=30265/tid=30267] ppid=30263 vsize=977112 CPUtime=941.98 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 49371 0 0 0 94179 19 0 0 25 0 4 0 516690455 1000562688 105878 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=977112 CPUtime=942 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 43007 0 0 0 94182 18 0 0 25 0 4 0 516690455 1000562688 105878 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=977112 CPUtime=936.87 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 49907 0 0 0 93665 22 0 0 25 0 4 0 516690455 1000562688 105878 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.19
Current children cumulated vsize (KiB) 977112

[startup+1002.3 s]
/proc/loadavg: 8.00 7.91 6.71 9/184 30296
/proc/meminfo: memFree=27098524/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=981256 CPUtime=4002.87 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 517347 0 0 0 400025 262 0 0 25 0 4 0 516690424 1004806144 105949 33554432000 4194304 4797429 140736683197088 18446744073709551615 4404766 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 245314 105949 420 148 0 240243 0
[pid=30265/tid=30267] ppid=30263 vsize=981256 CPUtime=1001.99 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 50273 0 0 0 100179 20 0 0 25 0 4 0 516690455 1004806144 105949 33554432000 4194304 4797429 140736683197088 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=981256 CPUtime=1002 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 43869 0 0 0 100181 19 0 0 25 0 4 0 516690455 1004806144 105949 33554432000 4194304 4797429 140736683197088 18446744073709551615 4567894 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=981256 CPUtime=996.54 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 50575 0 0 0 99632 22 0 0 25 0 4 0 516690455 1004806144 105949 33554432000 4194304 4797429 140736683197088 18446744073709551615 4415756 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.87
Current children cumulated vsize (KiB) 981256

[startup+1062.3 s]
/proc/loadavg: 8.06 7.94 6.79 9/184 30298
/proc/meminfo: memFree=27116968/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=984300 CPUtime=4242.56 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 542230 0 0 0 423976 280 0 0 25 0 4 0 516690424 1007923200 101224 33554432000 4194304 4797429 140736683197088 18446744073709551615 4354716 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 246075 101224 420 148 0 241004 0
[pid=30265/tid=30267] ppid=30263 vsize=984300 CPUtime=1061.99 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 52201 0 0 0 106179 20 0 0 25 0 4 0 516690455 1007923200 101224 33554432000 4194304 4797429 140736683197088 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=984300 CPUtime=1062 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 44462 0 0 0 106181 19 0 0 25 0 4 0 516690455 1007923200 101224 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=984300 CPUtime=1056.21 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 51242 0 0 0 105599 22 0 0 25 0 4 0 516690455 1007923200 101224 33554432000 4194304 4797429 140736683197088 18446744073709551615 4532731 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.56
Current children cumulated vsize (KiB) 984300

[startup+1122.3 s]
/proc/loadavg: 8.02 7.95 6.87 11/184 30299
/proc/meminfo: memFree=27130088/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=984188 CPUtime=4482.24 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 573553 0 0 0 447927 297 0 0 25 0 4 0 516690424 1007808512 96143 33554432000 4194304 4797429 140736683197088 18446744073709551615 4424460 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 246047 96143 420 148 0 240976 0
[pid=30265/tid=30267] ppid=30263 vsize=984188 CPUtime=1121.99 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 54827 0 0 0 112178 21 0 0 25 0 4 0 516690455 1007808512 96143 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=984188 CPUtime=1122.01 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 47209 0 0 0 112181 20 0 0 25 0 4 0 516690455 1007808512 96143 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=984188 CPUtime=1115.88 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 55262 0 0 0 111564 24 0 0 25 0 4 0 516690455 1007808512 96143 33554432000 4194304 4797429 140736683197088 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.24
Current children cumulated vsize (KiB) 984188

[startup+1182.3 s]
/proc/loadavg: 8.00 7.95 6.93 10/184 30301
/proc/meminfo: memFree=27077868/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=994628 CPUtime=4721.92 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 589036 0 0 0 471885 307 0 0 25 0 4 0 516690424 1018499072 110804 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 248657 110804 420 148 0 243586 0
[pid=30265/tid=30267] ppid=30263 vsize=994628 CPUtime=1181.99 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 55975 0 0 0 118177 22 0 0 25 0 4 0 516690455 1018499072 110804 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=994628 CPUtime=1182.01 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 49181 0 0 0 118180 21 0 0 25 0 4 0 516690455 1018499072 110804 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=994628 CPUtime=1175.57 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 56582 0 0 0 117532 25 0 0 25 0 4 0 516690455 1018499072 110804 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.92
Current children cumulated vsize (KiB) 994628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.00 7.95 6.96 5/179 30303
/proc/meminfo: memFree=27351448/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=994808 CPUtime=4800.23 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 590164 0 0 0 479715 308 0 0 25 0 4 0 516690424 1018683392 111808 33554432000 4194304 4797429 140736683197088 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 248702 111808 420 148 0 243631 0
[pid=30265/tid=30267] ppid=30263 vsize=994808 CPUtime=1201.59 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 56296 0 0 0 120137 22 0 0 25 0 4 0 516690455 1018683392 111808 33554432000 4194304 4797429 140736683197088 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=994808 CPUtime=1201.61 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 49616 0 0 0 120140 21 0 0 25 0 4 0 516690455 1018683392 111808 33554432000 4194304 4797429 140736683197088 18446744073709551615 4331654 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=994808 CPUtime=1195.06 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 56954 0 0 0 119481 25 0 0 25 0 4 0 516690455 1018683392 111808 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 994808

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

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

[startup+1201.9 s]
/proc/loadavg: 8.00 7.95 6.96 5/179 30303
/proc/meminfo: memFree=27351448/32951124 swapFree=67111356/67111528
[pid=30265] ppid=30263 vsize=994808 CPUtime=4800.23 cores=1,3,5,7
/proc/30265/stat : 30265 (techdemo) R 30263 30265 26197 0 -1 4202496 590164 0 0 0 479715 308 0 0 25 0 4 0 516690424 1018683392 111808 33554432000 4194304 4797429 140736683197088 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30265/statm: 248702 111808 420 148 0 243631 0
[pid=30265/tid=30267] ppid=30263 vsize=994808 CPUtime=1201.59 cores=1,3,5,7
/proc/30265/task/30267/stat : 30267 (techdemo) R 30263 30265 26197 0 -1 4202560 56296 0 0 0 120137 22 0 0 25 0 4 0 516690455 1018683392 111808 33554432000 4194304 4797429 140736683197088 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30265/tid=30268] ppid=30263 vsize=994808 CPUtime=1201.61 cores=1,3,5,7
/proc/30265/task/30268/stat : 30268 (techdemo) R 30263 30265 26197 0 -1 4202560 49616 0 0 0 120140 21 0 0 25 0 4 0 516690455 1018683392 111808 33554432000 4194304 4797429 140736683197088 18446744073709551615 4331654 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30265/tid=30269] ppid=30263 vsize=994808 CPUtime=1195.06 cores=1,3,5,7
/proc/30265/task/30269/stat : 30269 (techdemo) R 30263 30265 26197 0 -1 4202560 56954 0 0 0 119481 25 0 0 25 0 4 0 516690455 1018683392 111808 33554432000 4194304 4797429 140736683197088 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 994808

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.27
CPU user time (s): 4797.17
CPU system time (s): 3.09853
CPU usage (%): 399.38
Max. virtual memory (cumulated for all children) (KiB): 1095184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.17
system time used= 3.09853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 590164
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= 2523
involuntary context switches= 31605

runsolver used 1.75273 second user time and 4.82227 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 06:22:07
IDJOB=3172499
IDBENCH=82517
IDSOLVER=1584
FILE ID=node137/3172499-1304050927
RUNJOBID= node137-1304050927-30243
PBS_JOBID= 13170366
Free space on /tmp= 71608 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172499-1304050927/watcher-3172499-1304050927 -o /tmp/evaluation-result-3172499-1304050927/solver-3172499-1304050927 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172499-1304050927.cnf

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

MD5SUM BENCH= eea50e836fd8ac6474349634450aaaf7
RANDOM SEED=1188949786

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.844
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.83
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.844
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:      27787376 kB
Buffers:        895052 kB
Cached:        3726928 kB
SwapCached:         56 kB
Active:         279236 kB
Inactive:      4418768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27787376 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           18340 kB
Writeback:           0 kB
AnonPages:       75936 kB
Mapped:          15260 kB
Slab:           401460 kB
PageTables:       4704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   274036 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= 71612 MiB
End job on node137 at 2011-04-29 06:42:11