Trace number 3172638

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.23 1201.93

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf
MD5SUM3d91d29f74f04e1ffeedae8425f55746
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.5211
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-3172638-1304080050.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.39	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.90/0.50	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.36
0.90/0.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.33
0.90/0.50	c Calc non-exist non-lernt bins v-fix:     0 done:  25000 time:  0.04 s
0.90/0.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.90/0.50	c Subs w/ non-existent bins:      0 time:  0.02 s
1.88/0.76	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1.88/0.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.88/0.76	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
2.65/0.94	c lits-rem:         0  cl-subs:        0  v-elim:   1278  v-fix:    0  time:  1.14 s
2.65/0.94	c learnt bin added due to v-elim: 0
2.65/0.94	c Finding binary XORs  T:     0.02 s  found:       0
4.64/1.41	c Finding non-binary XORs:     0.26 s (found:       0, avg size: nan)
4.64/1.41	c calculated reachability. Time: 0.00
4.64/1.41	c Calc default polars -  time:   0.03 s pos:   11035 undec:    2879 neg:   11086
4.64/1.41	c =========================================================================================
4.64/1.41	c types(t): F = full restart, N = normal restart
4.64/1.41	c types(t): S = simplification begin/end, E = solution found
4.64/1.41	c restart types(rt): st = static, dy = dynamic
4.64/1.41	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
4.64/1.41	c  B st     0         0     24304    103866         0         0    315427         0   no data   no data  --
5.44/1.69	c Decided on dynamic restart strategy
8.26/2.39	c  N dy    20      4081     24304    103866         0      4081    315427    837625    218.77    137.57  --
14.63/3.94	c  N dy    49      8216     24304    103866         0      8215    315427   1616267    198.23    132.92  --
20.23/5.39	c  N dy    78     12326     24304    103866         0     12325    315427   2349282    178.57    129.18  --
26.60/6.94	c  N dy   106     16374     24304    103866         0     16373    315427   3142851    195.03    130.23  --
33.41/8.64	c  N dy   134     20384     24304    103866         0     10384    315427    582904    191.38    129.74  --
40.19/10.36	c  N dy   163     24525     24304    103866         0     14525    315427   1360045    177.45    129.67  --
46.58/11.94	c  N dy   192     28662     24304    103866         0     18662    315427   2131444    188.80    129.66  --
49.38/12.66	c  S st   202     30001     24304    103866         0     20001    315427   2381402    191.22    129.51  --
50.18/12.86	c  S st   202     30503     24304    103866         0     20503    315427   2448797    191.22    129.51  --
50.18/12.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
50.18/12.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.37/13.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  1.10
51.37/13.16	c Calc non-exist non-lernt bins v-fix:     0 done:  24304 time:  0.05 s
51.37/13.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.37/13.19	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.04 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
77.74/19.74	c lits-rem:         2  cl-subs:     2742  v-elim:    613  v-fix:    0  time: 25.20 s
77.74/19.74	c learnt bin added due to v-elim: 0
77.74/19.75	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
77.74/19.78	c vivif2 --  cl tried    17761 cl shrink        0 lits rem          0 time: 0.10
78.93/20.03	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.99
78.93/20.04	c calculated reachability. Time: 0.00
78.93/20.04	c  N dy   202     30503     24153    104017         0     17761    316819   1880349    191.22    129.51  --
78.93/20.04	c  F st   202     30503     24153    104017         0     17761    316819   1880349    191.22    129.51  --
82.55/20.99	c Decided on dynamic restart strategy
86.13/21.85	c  N dy   222     34569     24153    104017         0     21826    316819   2752106    197.99    130.66  --
92.51/23.44	c  N dy   250     38586     24153    104017         0     25842    316819   3521522    185.82    130.96  --
98.91/25.07	c  N dy   278     42590     24153    104017         0     29846    316819   4262690    167.65    130.62  --
104.92/26.53	c  S st   301     45754     24153    104017         0     17511    316819   1006215    189.86    130.53  --
105.70/26.75	c  S st   301     46256     24153    104017         0     18013    316819   1075217    189.86    130.53  --
105.70/26.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
105.70/26.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.49/26.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.86
106.49/26.99	c Calc non-exist non-lernt bins v-fix:     0 done:  24153 time:  0.05 s
106.49/26.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.89/27.01	c Subs w/ non-existent bins:      0 time:  0.08 s
107.29/27.11	c bin-w-bin subsume rem            0 bins  time:  0.04 s
107.29/27.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
107.29/27.13	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
118.48/29.92	c lits-rem:         2  cl-subs:      596  v-elim:    396  v-fix:    0  time: 11.15 s
118.48/29.92	c learnt bin added due to v-elim: 0
118.48/29.93	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.04
118.48/29.95	c vivif2 --  cl tried    17417 cl shrink        0 lits rem          0 time: 0.06
119.28/30.14	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.75
119.28/30.15	c calculated reachability. Time: 0.00
119.28/30.15	c  N dy   301     46256     24153    104017         0     17417    316819   1044845    189.86    130.53  --
125.68/31.77	c  N dy   330     50374     24153    104017         0     21535    316819   1815590    189.17    130.36  --
132.86/33.53	c  N dy   358     54410     24153    104017         0     25571    316819   2569772    202.30    130.16  --
140.06/35.35	c  N dy   386     58432     24153    104017         0     29592    316819   3317364    180.42    130.09  --
146.84/37.04	c  N dy   414     62441     24153    104017         0     33601    316819   4022350    171.00    129.70  --
154.03/38.88	c  N dy   443     66551     24153    104017         0     18962    316819    668050    184.35    129.88  --
159.62/40.20	c  S st   463     69385     24153    104017         0     21796    316819   1221776    201.25    129.97  --
160.42/40.43	c  S st   463     69887     24153    104017         0     22298    316819   1294959    201.25    129.97  --
160.42/40.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
160.42/40.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.22/40.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.92
161.22/40.69	c Calc non-exist non-lernt bins v-fix:     0 done:  24153 time:  0.05 s
161.22/40.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.63/40.71	c Subs w/ non-existent bins:      0 time:  0.07 s
162.03/40.82	c bin-w-bin subsume rem            0 bins  time:  0.04 s
162.03/40.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
162.03/40.84	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
174.40/43.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
180.79/45.53	c Added 0 vars  tried: 80000 time: 6.25
180.79/45.53	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:    6.25
180.79/45.58	c lits-rem:         0  cl-subs:      720  v-elim:    396  v-fix:    0  time: 18.94 s
180.79/45.58	c learnt bin added due to v-elim: 0
180.79/45.59	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.04
181.19/45.61	c vivif2 --  cl tried    21578 cl shrink        0 lits rem          0 time: 0.06
181.99/45.82	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.84
181.99/45.83	c calculated reachability. Time: 0.00
181.99/45.83	c  N dy   463     69887     24153    104017         0     21578    316819   1248171    201.25    129.97  --
181.99/45.83	c  F st   463     69887     24153    104017         0     21578    316819   1248171    201.25    129.97  --
185.58/46.75	c Decided on dynamic restart strategy
189.98/47.83	c  N dy   486     74390     24153    104017         0     26078    316819   2203219    196.10    130.56  --
198.77/50.01	c  N dy   520     79219     24153    104017         0     30906    316819   3134226    208.41    130.62  --
207.55/52.28	c  N dy   556     84292     24153    104017         0     35979    316819   4024916    168.66    130.07  --
217.54/54.74	c  N dy   594     89748     24153    104017         0     41432    316819   5054982    191.94    130.08  --
227.55/57.21	c  N dy   634     95477     24153    104017         0     26290    316819   1597402    182.03    129.81  --
238.71/60.09	c  N dy   678    101675     24153    104017         0     32488    316819   2781335    187.71    129.90  --
245.90/61.88	c  S st   701    104831     24153    104017         0     35643    316819   3408422    206.95    130.01  --
247.10/62.12	c  S st   701    105334     24153    104017         0     36146    316819   3473411    206.95    130.01  --
247.10/62.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
247.10/62.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
248.30/62.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.43
248.70/62.51	c Calc non-exist non-lernt bins v-fix:     0 done:  24153 time:  0.05 s
248.70/62.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
248.70/62.54	c Subs w/ non-existent bins:      0 time:  0.15 s
249.51/62.79	c bin-w-bin subsume rem            0 bins  time:  0.04 s
249.51/62.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
249.92/62.81	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
289.46/72.77	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
289.84/72.85	c lits-rem:         0  cl-subs:     1556  v-elim:    396  v-fix:    0  time: 40.11 s
289.84/72.85	c learnt bin added due to v-elim: 0
289.84/72.86	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.04
290.24/72.90	c vivif2 --  cl tried    34590 cl shrink        0 lits rem          0 time: 0.16
291.45/73.27	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 1.49
291.45/73.28	c calculated reachability. Time: 0.01
291.45/73.28	c  N dy   701    105334     24153    104017         0     34590    316819   3331136    206.95    130.01  --
303.83/76.30	c  N dy   749    112119     24153    104017         0     41374    316819   4659766    189.47    130.24  --
316.21/79.45	c  N dy   800    119401     24153    104017         0     26220    316819   1335980    198.41    130.47  --
329.79/82.80	c  N dy   854    127091     24153    104017         0     33908    316819   2848762    197.67    130.75  --
344.58/86.58	c  N dy   912    135334     24153    104017         0     42150    316819   4438293    187.93    130.79  --
360.54/90.59	c  N dy   973    144071     24153    104017         0     27171    316819   1190274    191.97    130.79  --
376.94/94.65	c  N dy  1038    153336     24153    104017         0     36434    316819   2954046    181.65    130.78  --
387.31/97.26	c  S st  1071    158002     24153    104017         0     41100    316819   3888687    197.57    130.96  --
388.52/97.53	c  S st  1071    158503     24153    104017         0     41601    316819   3968537    197.57    130.96  --
388.52/97.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
388.52/97.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
390.13/97.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.60
390.13/97.96	c Calc non-exist non-lernt bins v-fix:     0 done:  24153 time:  0.05 s
390.13/97.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
390.13/98.00	c Subs w/ non-existent bins:      0 time:  0.17 s
391.31/98.26	c bin-w-bin subsume rem            0 bins  time:  0.03 s
391.31/98.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
391.31/98.28	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
497.17/124.79	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
497.57/124.88	c lits-rem:         0  cl-subs:     1699  v-elim:    396  v-fix:    0  time: 106.25 s
497.57/124.88	c learnt bin added due to v-elim: 0
497.57/124.89	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
497.97/124.95	c vivif2 --  cl tried    39902 cl shrink        0 lits rem          0 time: 0.21
499.57/125.37	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 1.71
499.57/125.38	c calculated reachability. Time: 0.00
499.57/125.38	c  N dy  1071    158503     24153    104017         0     39902    316819   3813901    197.57    130.96  --
519.94/130.40	c  N dy  1143    168699     24153    104017         0     25241    316819    595595    202.43    130.98  --
539.53/135.35	c  N dy  1219    179529     24153    104017         0     36069    316819   2686991    190.15    131.03  --
562.27/141.03	c  N dy  1300    191104     24153    104017         0     47642    316819   4901376    190.80    131.01  --
585.84/146.95	c  N dy  1385    203348     24153    104017         0     33958    316819   2029363    193.28    131.01  --
611.01/153.26	c  N dy  1476    216360     24153    104017         0     46969    316819   4549299    204.44    131.08  --
638.57/160.16	c  N dy  1574    230282     24153    104017         0     33929    316819   1847169    199.14    131.03  --
653.77/163.99	c  S st  1627    237755     24153    104017         0     41402    316819   3273874    168.01    131.02  --
654.95/164.26	c  S st  1627    238260     24153    104017         0     41907    316819   3343686    168.01    131.02  --
654.95/164.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
654.95/164.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
656.55/164.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  1.61
656.95/164.70	c Calc non-exist non-lernt bins v-fix:     0 done:  24153 time:  0.05 s
656.95/164.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
656.95/164.74	c Subs w/ non-existent bins:      0 time:  0.15 s
657.75/164.97	c bin-w-bin subsume rem            0 bins  time:  0.04 s
657.75/164.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
657.75/165.00	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
699.29/175.34	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
699.69/175.43	c lits-rem:         0  cl-subs:     2035  v-elim:    396  v-fix:    0  time: 41.67 s
699.69/175.43	c learnt bin added due to v-elim: 0
699.69/175.44	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
699.69/175.49	c vivif2 --  cl tried    39872 cl shrink        0 lits rem          0 time: 0.18
701.29/175.87	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 1.53
701.29/175.88	c calculated reachability. Time: 0.01
701.29/175.88	c  N dy  1627    238260     24153    104017         0     39872    316819   3195470    168.01    131.02  --
731.65/183.46	c  N dy  1734    253610     24153    104017         0     55220    316819   6188535    194.34    131.16  --
760.81/190.78	c  N dy  1847    269843     24153    104017         0     43471    316819   3515346    188.68    131.30  --
793.97/199.09	c  N dy  1969    287196     24153    104017         0     31836    316819   1029627    201.76    131.20  --
827.91/207.52	c  N dy  2098    305563     24153    104017         0     50201    316819   4575506    183.61    131.18  --
865.46/216.97	c  N dy  2235    325126     24153    104017         0     39768    316819   2336969    188.49    131.28  --
905.01/226.89	c  N dy  2374    345142     24153    104017         0     59783    316819   6202060    191.32    131.33  --
928.98/232.85	c  S st  2461    357391     24153    104017         0     41035    316819   2300805    166.17    131.24  --
930.18/233.12	c  S st  2461    357893     24153    104017         0     41537    316819   2379969    166.17    131.24  --
930.18/233.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
930.18/233.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
931.77/233.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.3M T:  1.56
931.77/233.55	c Calc non-exist non-lernt bins v-fix:     0 done:  24153 time:  0.05 s
931.77/233.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
931.77/233.58	c Subs w/ non-existent bins:      0 time:  0.12 s
932.57/233.75	c bin-w-bin subsume rem            0 bins  time:  0.04 s
932.57/233.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
932.57/233.77	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
959.34/240.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
959.34/240.47	c lits-rem:         2  cl-subs:     2130  v-elim:    396  v-fix:    0  time: 26.79 s
959.34/240.47	c learnt bin added due to v-elim: 0
959.34/240.49	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
959.74/240.52	c vivif2 --  cl tried    39407 cl shrink        0 lits rem          0 time: 0.13
960.94/240.85	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 1.30
960.94/240.86	c calculated reachability. Time: 0.01
960.94/240.86	c  N dy  2461    357893     24153    104017         0     39407    316819   2291730    166.17    131.24  --
1002.08/251.11	c  N dy  2602    378035     24153    104017         0     59546    316819   6133429    198.23    131.19  --
1042.43/261.25	c  N dy  2743    398122     24153    104017         0     47635    316819   3522366    185.45    131.26  --
1085.17/271.97	c  N dy  2883    418211     24153    104017         0     34726    316819    804063    206.56    131.23  --
1126.31/282.21	c  N dy  3023    438214     24153    104017         0     54726    316819   4701344    192.73    131.26  --
1167.87/292.68	c  N dy  3163    458304     24153    104017         0     40820    316819   1770646    199.93    131.26  --
1210.60/303.33	c  N dy  3304    478370     24153    104017         0     60885    316819   5690082    220.36    131.33  --
1252.54/313.81	c  N dy  3444    498453     24153    104017         0     45970    316819   2546800    186.99    131.36  --
1294.49/324.38	c  N dy  3585    518569     24153    104017         0     66085    316819   6462347    187.58    131.42  --
1331.23/333.56	c  S st  3714    536839     24153    104017         0     48357    316819   2757162    197.73    131.33  --
1332.43/333.81	c  S st  3714    537341     24153    104017         0     48859    316819   2819506    197.73    131.33  --
1332.43/333.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1332.43/333.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1334.03/334.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.4M T:  1.85
1334.43/334.30	c Calc non-exist non-lernt bins v-fix:     0 done:  24153 time:  0.05 s
1334.43/334.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1334.43/334.33	c Subs w/ non-existent bins:      0 time:  0.14 s
1335.25/334.52	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1335.25/334.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1335.25/334.54	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
1370.00/343.25	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
1378.79/345.46	c Added 0 vars  tried: 80000 time: 8.82
1378.79/345.46	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.82
1379.19/345.54	c lits-rem:         0  cl-subs:     2875  v-elim:    396  v-fix:    0  time: 43.93 s
1379.19/345.54	c learnt bin added due to v-elim: 0
1379.19/345.55	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.04
1379.19/345.58	c vivif2 --  cl tried    45984 cl shrink        0 lits rem          0 time: 0.14
1380.76/345.92	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 1.35
1380.76/345.93	c calculated reachability. Time: 0.00
1380.76/345.93	c  N dy  3714    537341     24153    104017         0     45984    316819   2687745    197.73    131.33  --
1380.76/345.93	c  F st  3714    537341     24153    104017         0     45984    316819   2687745    197.73    131.33  --
1384.76/346.95	c Decided on dynamic restart strategy
1421.51/356.10	c  N dy  3845    557355     24153    104017         0     65992    316819   6664221    192.79    131.46  --
1462.67/366.49	c  N dy  3986    577406     24153    104017         0     49048    316819   2812862    196.74    131.45  --
1505.01/377.06	c  N dy  4127    597510     24153    104017         0     69150    316819   6649019    191.45    131.41  --
1547.34/387.64	c  N dy  4267    617516     24153    104017         0     51157    316819   3015495    189.07    131.43  --
1592.08/398.86	c  N dy  4408    637631     24153    104017         0     71269    316819   6987167    176.65    131.52  --
1635.23/409.60	c  N dy  4549    657708     24153    104017         0     52347    316819   3024422    183.66    131.57  --
1679.96/420.85	c  N dy  4689    677845     24153    104017         0     72482    316819   7065565    200.88    131.70  --
1723.90/431.85	c  N dy  4829    697955     24153    104017         0     52589    316819   2918095    183.95    131.68  --
1768.64/443.06	c  N dy  4969    718019     24153    104017         0     72651    316819   6802920    179.52    131.69  --
1812.58/454.09	c  N dy  5110    738094     24153    104017         0     51733    316819   2581023    189.75    131.79  --
1856.93/465.16	c  N dy  5251    758219     24153    104017         0     71856    316819   6424687    198.99    131.77  --
1902.47/476.56	c  N dy  5391    778298     24153    104017         0     49940    316819   2031198    193.95    131.81  --
1947.21/487.78	c  N dy  5532    798398     24153    104017         0     70039    316819   5951931    189.17    131.84  --
1967.19/492.78	c  S st  5585    806013     24153    104017         0     77653    316819   7395162    181.93    131.83  --
1968.78/493.12	c  S st  5585    806517     24153    104017         0     78157    316819   7465115    181.93    131.83  --
1968.78/493.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1968.78/493.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1971.99/493.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.0M T:  3.37
1971.99/494.00	c Calc non-exist non-lernt bins v-fix:     0 done:  24153 time:  0.06 s
1971.99/494.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1972.40/494.07	c Subs w/ non-existent bins:      0 time:  0.29 s
1974.37/494.57	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1974.37/494.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1974.37/494.59	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
2464.53/617.28	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
2465.31/617.43	c lits-rem:         0  cl-subs:     4367  v-elim:    396  v-fix:    0  time: 490.61 s
2465.31/617.43	c learnt bin added due to v-elim: 0
2465.31/617.44	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
2465.71/617.54	c vivif2 --  cl tried    73790 cl shrink        0 lits rem          0 time: 0.38
2467.71/618.07	c asymm  cl-useful: 0/78706/104017 lits-rem:0 time: 2.12
2467.71/618.08	c calculated reachability. Time: 0.01
2467.71/618.08	c  N dy  5585    806517     24153    104017         0     73790    316819   7151188    181.93    131.83  --
2512.87/629.39	c  N dy  5725    826536     24153    104017         0     50810    316819   1993722    172.37    131.82  --
2558.38/640.77	c  N dy  5866    846594     24153    104017         0     70865    316819   5814120    189.13    131.77  --
2606.72/652.88	c  N dy  6006    866631     24153    104017         0     46905    316819   1022212    189.35    131.82  --
2649.45/663.52	c  N dy  6146    886704     24153    104017         0     66976    316819   4945621    197.44    131.86  --
2696.20/675.26	c  N dy  6287    906824     24153    104017         0     87093    316819   8851664    192.13    131.88  --
2738.13/685.79	c  N dy  6427    926871     24153    104017         0     62144    316819   3752664    176.41    131.85  --
2782.47/696.85	c  N dy  6567    946895     24153    104017         0     82163    316819   7698623    171.33    131.92  --
2825.62/707.68	c  N dy  6707    966974     24153    104017         0     56245    316819   2544577    210.00    131.99  --
2869.56/718.62	c  N dy  6848    987060     24153    104017         0     76330    316819   6369778    208.32    131.95  --
2916.71/730.47	c  N dy  6988   1007075     24153    104017         0     49346    316819    953402    198.92    131.96  --
2959.43/741.17	c  N dy  7130   1027217     24153    104017         0     69488    316819   4790495    193.71    131.93  --
3006.57/752.94	c  N dy  7270   1047236     24153    104017         0     89504    316819   8656513    178.02    131.94  --
3052.93/764.60	c  N dy  7410   1067297     24153    104017         0     61566    316819   3162465    204.76    131.98  --
3099.25/776.15	c  N dy  7550   1087382     24153    104017         0     81650    316819   7043198    184.27    132.01  --
3147.98/788.36	c  N dy  7690   1107418     24153    104017         0     52689    316819   1199787    182.70    132.01  --
3193.54/799.78	c  N dy  7831   1127441     24153    104017         0     72708    316819   5058352    190.57    132.00  --
3242.28/811.92	c  N dy  7971   1147461     24153    104017         0     92728    316819   8992277    205.87    132.04  --
3289.39/823.71	c  N dy  8112   1167578     24153    104017         0     62850    316819   2963374    209.77    132.03  --
3336.13/835.49	c  N dy  8251   1187606     24153    104017         0     82875    316819   6900429    194.83    132.06  --
3388.86/848.60	c  N dy  8391   1207753     24153    104017         0     52025    316819    686560    191.91    132.11  --
3393.25/849.72	c  S st  8406   1209776     24153    104017         0     54048    316819   1085815    207.94    132.11  --
3394.45/850.01	c  S st  8406   1210279     24153    104017         0     54551    316819   1153945    207.94    132.11  --
3394.45/850.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3394.45/850.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3396.44/850.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.2M T:  2.29
3396.84/850.61	c Calc non-exist non-lernt bins v-fix:     0 done:  24153 time:  0.06 s
3396.84/850.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3396.84/850.63	c Subs w/ non-existent bins:      0 time:  0.09 s
3397.24/850.74	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3397.24/850.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
3397.24/850.76	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
3409.25/853.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
3414.02/854.97	c Added 0 vars  tried: 80000 time: 4.97
3414.02/854.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:    4.97
3414.43/855.03	c lits-rem:         2  cl-subs:     3400  v-elim:    396  v-fix:    0  time: 17.05 s
3414.43/855.03	c learnt bin added due to v-elim: 0
3414.43/855.04	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.06
3414.43/855.06	c vivif2 --  cl tried    51151 cl shrink        0 lits rem          0 time: 0.08
3414.83/855.14	c asymm  cl-useful: 0/25311/104017 lits-rem:0 time: 0.32
3414.83/855.15	c calculated reachability. Time: 0.01
3414.83/855.15	c  N dy  8406   1210279     24153    104017         0     51151    316819   1093807    207.94    132.11  --
3458.77/866.11	c  N dy  8547   1230382     24153    104017         0     71252    316819   5001120    209.46    132.12  --
3505.53/877.81	c  N dy  8687   1250525     24153    104017         0     91392    316819   8960112    201.08    132.15  --
3551.84/889.44	c  N dy  8827   1270586     24153    104017         0     59458    316819   1970579    185.93    132.19  --
3594.98/900.21	c  N dy  8968   1290630     24153    104017         0     79500    316819   5857685    186.47    132.20  --
3643.71/912.40	c  N dy  9107   1310682     24153    104017         0     99549    316819   9817840    199.92    132.23  --
3689.25/923.87	c  N dy  9248   1330755     24153    104017         0     66626    316819   3122772    204.49    132.20  --
3735.59/935.45	c  N dy  9389   1350862     24153    104017         0     86732    316819   7042801    208.31    132.21  --
3787.53/948.44	c  N dy  9529   1370876     24153    104017         0    106745    316819  11018865    221.77    132.25  --
3833.86/960.04	c  N dy  9669   1390913     24153    104017         0     72784    316819   4172806    196.85    132.26  --
3883.41/972.46	c  N dy  9809   1410977     24153    104017         0     92845    316819   8117593    214.16    132.27  --
3935.32/985.43	c  N dy  9949   1431098     24153    104017         0     57971    316819   1120505    205.37    132.31  --
3981.66/997.01	c  N dy 10089   1451151     24153    104017         0     78020    316819   4962330    168.18    132.30  --
4031.99/1009.63	c  N dy 10231   1471251     24153    104017         0     98116    316819   8882992    199.75    132.31  --
4084.32/1022.73	c  N dy 10371   1491254     24153    104017         0     62123    316819   1712861    198.32    132.32  --
4131.05/1034.41	c  N dy 10511   1511262     24153    104017         0     82123    316819   5626826    198.58    132.34  --
4182.99/1047.46	c  N dy 10651   1531333     24153    104017         0    102193    316819   9559598    219.33    132.36  --
4234.93/1060.44	c  N dy 10790   1551335     24153    104017         0     65203    316819   2143562    202.09    132.39  --
4281.66/1072.15	c  N dy 10930   1571348     24153    104017         0     85212    316819   6066462    193.56    132.41  --
4332.79/1084.94	c  N dy 11070   1591382     24153    104017         0    105243    316819  10072315    188.34    132.47  --
4381.92/1097.21	c  N dy 11211   1611492     24153    104017         0     67362    316819   2347654    196.89    132.46  --
4427.46/1108.66	c  N dy 11351   1631501     24153    104017         0     87370    316819   6142678    199.19    132.44  --
4475.80/1120.70	c  N dy 11491   1651565     24153    104017         0    107431    316819  10023990    193.57    132.43  --
4522.94/1132.50	c  N dy 11631   1671604     24153    104017         0     68475    316819   2389051    191.47    132.43  --
4568.47/1143.93	c  N dy 11771   1691647     24153    104017         0     88517    316819   6286183    192.20    132.44  --
4618.01/1156.39	c  S st 11902   1710280     24153    104017         0    107147    316819   9923014    197.36    132.44  --
4620.01/1156.81	c  S st 11902   1710781     24153    104017         0    107648    316819   9991271    197.36    132.44  --
4620.01/1156.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4620.01/1156.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4625.60/1158.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.2M T:  5.49
4625.60/1158.23	c Calc non-exist non-lernt bins v-fix:     0 done:  24153 time:  0.06 s
4625.60/1158.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4626.02/1158.33	c Subs w/ non-existent bins:      0 time:  0.37 s
4628.79/1159.00	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4628.79/1159.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
4628.79/1159.03	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-3172638-1304080050/watcher-3172638-1304080050 -o /tmp/evaluation-result-3172638-1304080050/solver-3172638-1304080050 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172638-1304080050.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.12 8.10 8.01 2/173 22944
/proc/meminfo: memFree=18791480/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=24080 CPUtime=0 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 1300 0 0 0 0 0 0 0 18 0 1 0 519603011 24657920 1239 33554432000 4194304 4797429 140736199219680 18446744073709551615 4366107 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22944/statm: 6020 1241 341 148 0 949 0

[startup+0.0127559 s]
/proc/loadavg: 8.12 8.10 8.01 2/173 22944
/proc/meminfo: memFree=18791480/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=31184 CPUtime=0 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 3096 0 0 0 0 0 0 0 18 0 1 0 519603011 31932416 2562 33554432000 4194304 4797429 140736199219680 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22944/statm: 7796 2565 341 148 0 2725 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 31184

[startup+0.100729 s]
/proc/loadavg: 8.12 8.10 8.01 2/173 22944
/proc/meminfo: memFree=18791480/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=95324 CPUtime=0.09 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 14306 0 0 0 8 1 0 0 18 0 1 0 519603011 97611776 10972 33554432000 4194304 4797429 140736199219680 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22944/statm: 23831 10973 348 148 0 18760 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 95324

[startup+0.300688 s]
/proc/loadavg: 8.12 8.10 8.01 2/173 22944
/proc/meminfo: memFree=18791480/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=112724 CPUtime=0.29 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 20277 0 0 0 27 2 0 0 18 0 1 0 519603011 115429376 16631 33554432000 4194304 4797429 140736199219680 18446744073709551615 228122363084 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22944/statm: 28181 16631 348 148 0 23110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112724

[startup+0.709915 s]
/proc/loadavg: 8.12 8.10 8.01 2/173 22944
/proc/meminfo: memFree=18791480/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=817896 CPUtime=1.88 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 30891 0 0 0 179 9 0 0 18 0 4 0 519603011 837525504 25155 33554432000 4194304 4797429 140736199219680 18446744073709551615 4527170 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 204474 25155 399 148 0 199403 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 817896

[startup+1.50044 s]
/proc/loadavg: 7.63 8.00 7.98 11/184 22956
/proc/meminfo: memFree=18548972/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=826044 CPUtime=5.04 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 35650 0 0 0 493 11 0 0 19 0 4 0 519603011 845869056 29498 33554432000 4194304 4797429 140736199219680 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 206511 29498 410 148 0 201440 0
[pid=22944/tid=22951] ppid=22942 vsize=826044 CPUtime=1.17 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 3752 0 0 0 115 2 0 0 19 0 4 0 519603042 845869056 29498 33554432000 4194304 4797429 140736199219680 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=826044 CPUtime=1.18 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 3552 0 0 0 117 1 0 0 19 0 4 0 519603042 845869056 29498 33554432000 4194304 4797429 140736199219680 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=826044 CPUtime=1.17 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 3901 0 0 0 117 0 0 0 19 0 4 0 519603042 845869056 29498 33554432000 4194304 4797429 140736199219680 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 826044

[startup+3.10116 s]
/proc/loadavg: 7.63 8.00 7.98 10/184 22957
/proc/meminfo: memFree=18520036/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=826044 CPUtime=11.44 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 39014 0 0 0 1131 13 0 0 22 0 4 0 519603011 845869056 32841 33554432000 4194304 4797429 140736199219680 18446744073709551615 4377472 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 206511 32841 412 148 0 201440 0
[pid=22944/tid=22951] ppid=22942 vsize=826044 CPUtime=2.77 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 4587 0 0 0 274 3 0 0 22 0 4 0 519603042 845869056 32841 33554432000 4194304 4797429 140736199219680 18446744073709551615 4424383 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=826044 CPUtime=2.79 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 4393 0 0 0 277 2 0 0 22 0 4 0 519603042 845869056 32841 33554432000 4194304 4797429 140736199219680 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=826044 CPUtime=2.77 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 4736 0 0 0 276 1 0 0 22 0 4 0 519603042 845869056 32841 33554432000 4194304 4797429 140736199219680 18446744073709551615 4425001 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) 826044

[startup+6.30058 s]
/proc/loadavg: 7.66 8.00 7.98 9/184 22957
/proc/meminfo: memFree=18433608/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=843228 CPUtime=24.21 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 51743 0 0 0 2403 18 0 0 19 0 4 0 519603011 863465472 45499 33554432000 4194304 4797429 140736199219680 18446744073709551615 4387581 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 210807 45499 416 148 0 205736 0
[pid=22944/tid=22951] ppid=22942 vsize=843228 CPUtime=5.97 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 7945 0 0 0 593 4 0 0 19 0 4 0 519603042 863465472 45499 33554432000 4194304 4797429 140736199219680 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=843228 CPUtime=5.99 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 8108 0 0 0 596 3 0 0 19 0 4 0 519603042 863465472 45499 33554432000 4194304 4797429 140736199219680 18446744073709551615 4524502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=843228 CPUtime=5.94 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 8319 0 0 0 592 2 0 0 19 0 4 0 519603042 863465472 45499 33554432000 4194304 4797429 140736199219680 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.21
Current children cumulated vsize (KiB) 843228

[startup+12.7004 s]
/proc/loadavg: 7.69 8.00 7.98 9/184 22957
/proc/meminfo: memFree=18390000/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=848936 CPUtime=49.78 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 59453 0 0 0 4958 20 0 0 25 0 4 0 519603011 869310464 47386 33554432000 4194304 4797429 140736199219680 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 212234 47386 417 148 0 207163 0
[pid=22944/tid=22951] ppid=22942 vsize=848936 CPUtime=12.37 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 8872 0 0 0 1232 5 0 0 25 0 4 0 519603042 869310464 47386 33554432000 4194304 4797429 140736199219680 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=848936 CPUtime=12.39 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 9017 0 0 0 1236 3 0 0 25 0 4 0 519603042 869310464 47386 33554432000 4194304 4797429 140736199219680 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=848936 CPUtime=12.32 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 9236 0 0 0 1229 3 0 0 25 0 4 0 519603042 869310464 47386 33554432000 4194304 4797429 140736199219680 18446744073709551615 4523866 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) 848936

[startup+25.5011 s]
/proc/loadavg: 7.75 8.00 7.98 9/184 22957
/proc/meminfo: memFree=18316488/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=855156 CPUtime=100.91 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 68418 0 0 0 10067 24 0 0 25 0 4 0 519603011 875679744 55876 33554432000 4194304 4797429 140736199219680 18446744073709551615 4424435 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 213789 55876 419 148 0 208718 0
[pid=22944/tid=22951] ppid=22942 vsize=855156 CPUtime=25.17 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 9941 0 0 0 2512 5 0 0 25 0 4 0 519603042 875679744 55876 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=855156 CPUtime=25.18 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 9910 0 0 0 2515 3 0 0 25 0 4 0 519603042 875679744 55876 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=855156 CPUtime=25.04 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 10333 0 0 0 2501 3 0 0 25 0 4 0 519603042 875679744 55876 33554432000 4194304 4797429 140736199219680 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.91
Current children cumulated vsize (KiB) 855156

[startup+51.1005 s]
/proc/loadavg: 7.90 8.01 7.98 9/184 22958
/proc/meminfo: memFree=18284260/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=865100 CPUtime=203.16 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 84827 0 0 0 20283 33 0 0 25 0 4 0 519603011 885862400 60558 33554432000 4194304 4797429 140736199219680 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 216275 60558 420 148 0 211204 0
[pid=22944/tid=22951] ppid=22942 vsize=865100 CPUtime=50.76 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 11550 0 0 0 5070 6 0 0 25 0 4 0 519603042 885862400 60558 33554432000 4194304 4797429 140736199219680 18446744073709551615 4491756 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=865100 CPUtime=50.78 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 11331 0 0 0 5074 4 0 0 25 0 4 0 519603042 885862400 60558 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=865100 CPUtime=50.5 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 12243 0 0 0 5046 4 0 0 25 0 4 0 519603042 885862400 60558 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.16
Current children cumulated vsize (KiB) 865100

[startup+102.3 s]
/proc/loadavg: 8.02 8.02 7.99 9/184 22959
/proc/meminfo: memFree=18245816/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=887776 CPUtime=407.7 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 120879 0 0 0 40720 50 0 0 25 0 4 0 519603011 909082624 64882 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 221944 64882 420 148 0 216873 0
[pid=22944/tid=22951] ppid=22942 vsize=887776 CPUtime=101.97 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 16477 0 0 0 10190 7 0 0 25 0 4 0 519603042 909082624 64882 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=887776 CPUtime=101.99 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 15148 0 0 0 10193 6 0 0 25 0 4 0 519603042 909082624 64882 33554432000 4194304 4797429 140736199219680 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=887776 CPUtime=101.42 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 16565 0 0 0 10137 5 0 0 25 0 4 0 519603042 909082624 64882 33554432000 4194304 4797429 140736199219680 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.7
Current children cumulated vsize (KiB) 887776

[startup+162.301 s]
/proc/loadavg: 8.07 8.03 7.99 9/184 22961
/proc/meminfo: memFree=18181428/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=901360 CPUtime=647.36 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 148002 0 0 0 64670 66 0 0 25 0 4 0 519603011 922992640 72387 33554432000 4194304 4797429 140736199219680 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 225340 72387 420 148 0 220269 0
[pid=22944/tid=22951] ppid=22942 vsize=901360 CPUtime=161.97 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 19905 0 0 0 16187 10 0 0 25 0 4 0 519603042 922992640 72387 33554432000 4194304 4797429 140736199219680 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=901360 CPUtime=161.98 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 16575 0 0 0 16192 6 0 0 25 0 4 0 519603042 922992640 72387 33554432000 4194304 4797429 140736199219680 18446744073709551615 4526287 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=901360 CPUtime=161.1 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 19238 0 0 0 16103 7 0 0 25 0 4 0 519603042 922992640 72387 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.36
Current children cumulated vsize (KiB) 901360

[startup+222.307 s]
/proc/loadavg: 8.02 8.02 7.99 10/184 22962
/proc/meminfo: memFree=18154264/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=908512 CPUtime=887.06 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 184035 0 0 0 88623 83 0 0 25 0 4 0 519603011 930316288 74545 33554432000 4194304 4797429 140736199219680 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 227128 74545 420 148 0 222057 0
[pid=22944/tid=22951] ppid=22942 vsize=908512 CPUtime=221.98 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 23795 0 0 0 22187 11 0 0 25 0 4 0 519603042 930316288 74545 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=908512 CPUtime=221.99 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 19748 0 0 0 22192 7 0 0 25 0 4 0 519603042 930316288 74545 33554432000 4194304 4797429 140736199219680 18446744073709551615 4389793 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=908512 CPUtime=220.78 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 23010 0 0 0 22069 9 0 0 25 0 4 0 519603042 930316288 74545 33554432000 4194304 4797429 140736199219680 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.06
Current children cumulated vsize (KiB) 908512

[startup+282.301 s]

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

[pid=22944] ppid=22942 vsize=950012 CPUtime=2564.78 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 345254 0 0 0 256302 176 0 0 25 0 4 0 519603011 972812288 96866 33554432000 4194304 4797429 140736199219680 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 237503 96866 420 148 0 232432 0
[pid=22944/tid=22951] ppid=22942 vsize=950012 CPUtime=641.98 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 36736 0 0 0 64181 17 0 0 25 0 4 0 519603042 972812288 96866 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=950012 CPUtime=642 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 31734 0 0 0 64185 15 0 0 25 0 4 0 519603042 972812288 96866 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=950012 CPUtime=638.49 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 36336 0 0 0 63834 15 0 0 25 0 4 0 519603042 972812288 96866 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.78
Current children cumulated vsize (KiB) 950012

[startup+702.3 s]
/proc/loadavg: 8.04 8.05 8.00 10/184 22975
/proc/meminfo: memFree=17982532/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=951656 CPUtime=2804.45 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 377500 0 0 0 280248 197 0 0 25 0 4 0 519603011 974495744 95079 33554432000 4194304 4797429 140736199219680 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 237914 95079 420 148 0 232843 0
[pid=22944/tid=22951] ppid=22942 vsize=951656 CPUtime=701.97 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 40183 0 0 0 70179 18 0 0 25 0 4 0 519603042 974495744 95079 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=951656 CPUtime=701.99 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 34829 0 0 0 70183 16 0 0 25 0 4 0 519603042 974495744 95079 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=951656 CPUtime=698.16 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 38533 0 0 0 69801 15 0 0 25 0 4 0 519603042 974495744 95079 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.45
Current children cumulated vsize (KiB) 951656

[startup+762.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/184 22977
/proc/meminfo: memFree=17965512/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=959728 CPUtime=3044.14 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 408490 0 0 0 304200 214 0 0 25 0 4 0 519603011 982761472 93700 33554432000 4194304 4797429 140736199219680 18446744073709551615 228122410763 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 239932 93700 420 148 0 234861 0
[pid=22944/tid=22951] ppid=22942 vsize=959728 CPUtime=761.98 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 41500 0 0 0 76179 19 0 0 25 0 4 0 519603042 982761472 93700 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=959728 CPUtime=762 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 36273 0 0 0 76183 17 0 0 25 0 4 0 519603042 982761472 93700 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=959728 CPUtime=757.84 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 41698 0 0 0 75767 17 0 0 25 0 4 0 519603042 982761472 93700 33554432000 4194304 4797429 140736199219680 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.14
Current children cumulated vsize (KiB) 959728

[startup+822.301 s]
/proc/loadavg: 8.02 8.04 8.00 9/184 22978
/proc/meminfo: memFree=18005280/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=960828 CPUtime=3283.8 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 433736 0 0 0 328150 230 0 0 25 0 4 0 519603011 983887872 96571 33554432000 4194304 4797429 140736199219680 18446744073709551615 4423077 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 240207 96571 420 148 0 235136 0
[pid=22944/tid=22951] ppid=22942 vsize=960828 CPUtime=821.98 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 42444 0 0 0 82178 20 0 0 25 0 4 0 519603042 983887872 96571 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=960828 CPUtime=822 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 37349 0 0 0 82182 18 0 0 25 0 4 0 519603042 983887872 96571 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=960828 CPUtime=817.51 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 42895 0 0 0 81734 17 0 0 25 0 4 0 519603042 983887872 96571 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.8
Current children cumulated vsize (KiB) 960828

[startup+882.307 s]
/proc/loadavg: 8.00 8.03 8.00 10/184 22980
/proc/meminfo: memFree=17966196/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=963804 CPUtime=3523.5 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 460196 0 0 0 352103 247 0 0 25 0 4 0 519603011 986935296 101521 33554432000 4194304 4797429 140736199219680 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 240951 101521 420 148 0 235880 0
[pid=22944/tid=22951] ppid=22942 vsize=963804 CPUtime=881.99 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 45516 0 0 0 88177 22 0 0 25 0 4 0 519603042 986935296 101521 33554432000 4194304 4797429 140736199219680 18446744073709551615 4354704 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=963804 CPUtime=882.01 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 39925 0 0 0 88182 19 0 0 25 0 4 0 519603042 986935296 101521 33554432000 4194304 4797429 140736199219680 18446744073709551615 4240964 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=963804 CPUtime=877.19 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 43729 0 0 0 87701 18 0 0 25 0 4 0 519603042 986935296 101521 33554432000 4194304 4797429 140736199219680 18446744073709551615 4413287 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.5
Current children cumulated vsize (KiB) 963804

[startup+942.301 s]
/proc/loadavg: 8.13 8.05 8.01 10/184 22982
/proc/meminfo: memFree=17956636/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=967116 CPUtime=3763.16 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 490653 0 0 0 376050 266 0 0 25 0 4 0 519603011 990326784 102130 33554432000 4194304 4797429 140736199219680 18446744073709551615 4387372 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 241779 102130 420 148 0 236708 0
[pid=22944/tid=22951] ppid=22942 vsize=967116 CPUtime=941.98 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 46893 0 0 0 94175 23 0 0 25 0 4 0 519603042 990326784 102130 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=967116 CPUtime=942 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 41569 0 0 0 94180 20 0 0 25 0 4 0 519603042 990326784 102130 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=967116 CPUtime=936.86 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 48234 0 0 0 93666 20 0 0 25 0 4 0 519603042 990326784 102130 33554432000 4194304 4797429 140736199219680 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.16
Current children cumulated vsize (KiB) 967116

[startup+1002.3 s]
/proc/loadavg: 8.17 8.07 8.01 9/184 22983
/proc/meminfo: memFree=17910484/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=974380 CPUtime=4002.83 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 515852 0 0 0 400001 282 0 0 25 0 4 0 519603011 997765120 103149 33554432000 4194304 4797429 140736199219680 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 243595 103149 420 148 0 238524 0
[pid=22944/tid=22951] ppid=22942 vsize=974380 CPUtime=1001.98 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 47730 0 0 0 100174 24 0 0 25 0 4 0 519603042 997765120 103149 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=974380 CPUtime=1002.01 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 42313 0 0 0 100180 21 0 0 25 0 4 0 519603042 997765120 103149 33554432000 4194304 4797429 140736199219680 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=974380 CPUtime=996.54 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 49616 0 0 0 99632 22 0 0 25 0 4 0 519603042 997765120 103149 33554432000 4194304 4797429 140736199219680 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.83
Current children cumulated vsize (KiB) 974380

[startup+1062.3 s]
/proc/loadavg: 8.18 8.09 8.02 9/184 22985
/proc/meminfo: memFree=17956088/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=977512 CPUtime=4242.51 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 539490 0 0 0 423954 297 0 0 25 0 4 0 519603011 1000972288 101786 33554432000 4194304 4797429 140736199219680 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 244378 101786 420 148 0 239307 0
[pid=22944/tid=22951] ppid=22942 vsize=977512 CPUtime=1061.98 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 48388 0 0 0 106174 24 0 0 25 0 4 0 519603042 1000972288 101786 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=977512 CPUtime=1062.01 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 43200 0 0 0 106180 21 0 0 25 0 4 0 519603042 1000972288 101786 33554432000 4194304 4797429 140736199219680 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=977512 CPUtime=1056.21 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 50375 0 0 0 105599 22 0 0 25 0 4 0 519603042 1000972288 101786 33554432000 4194304 4797429 140736199219680 18446744073709551615 4567816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.51
Current children cumulated vsize (KiB) 977512

[startup+1122.3 s]
/proc/loadavg: 8.17 8.10 8.02 9/184 22986
/proc/meminfo: memFree=17948244/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=978976 CPUtime=4482.19 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 568919 0 0 0 447903 316 0 0 25 0 4 0 519603011 1002471424 103160 33554432000 4194304 4797429 140736199219680 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 244744 103161 420 148 0 239673 0
[pid=22944/tid=22951] ppid=22942 vsize=978976 CPUtime=1121.99 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 52188 0 0 0 112173 26 0 0 25 0 4 0 519603042 1002471424 103161 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=978976 CPUtime=1122.01 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 46133 0 0 0 112179 22 0 0 25 0 4 0 519603042 1002471424 103161 33554432000 4194304 4797429 140736199219680 18446744073709551615 4502057 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=978976 CPUtime=1115.88 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 52358 0 0 0 111566 22 0 0 25 0 4 0 519603042 1002471424 103161 33554432000 4194304 4797429 140736199219680 18446744073709551615 4424659 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.19
Current children cumulated vsize (KiB) 978976

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 8.02 10/184 22988
/proc/meminfo: memFree=17877656/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=979004 CPUtime=4721.86 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 591426 0 0 0 471859 327 0 0 25 0 4 0 519603011 1002500096 111432 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 244751 111432 420 148 0 239680 0
[pid=22944/tid=22951] ppid=22942 vsize=979004 CPUtime=1181.99 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 53578 0 0 0 118173 26 0 0 25 0 4 0 519603042 1002500096 111432 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=979004 CPUtime=1182.01 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 47645 0 0 0 118179 22 0 0 25 0 4 0 519603042 1002500096 111432 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=979004 CPUtime=1175.56 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 55664 0 0 0 117532 24 0 0 25 0 4 0 519603042 1002500096 111432 33554432000 4194304 4797429 140736199219680 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.86
Current children cumulated vsize (KiB) 979004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.08 8.09 8.02 9/184 22989
/proc/meminfo: memFree=17893032/32951124 swapFree=67111528/67111528
[pid=22944] ppid=22942 vsize=979004 CPUtime=4800.18 cores=1,3,5,7
/proc/22944/stat : 22944 (techdemo) R 22942 22944 22817 0 -1 4202496 592674 0 0 0 479690 328 0 0 25 0 4 0 519603011 1002500096 112336 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22944/statm: 244751 112336 420 148 0 239680 0
[pid=22944/tid=22951] ppid=22942 vsize=979004 CPUtime=1201.59 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (techdemo) R 22942 22944 22817 0 -1 4202560 53807 0 0 0 120133 26 0 0 25 0 4 0 519603042 1002500096 112336 33554432000 4194304 4797429 140736199219680 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22944/tid=22952] ppid=22942 vsize=979004 CPUtime=1201.62 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (techdemo) R 22942 22944 22817 0 -1 4202560 48120 0 0 0 120139 23 0 0 25 0 4 0 519603042 1002500096 112336 33554432000 4194304 4797429 140736199219680 18446744073709551615 4567931 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22944/tid=22953] ppid=22942 vsize=979004 CPUtime=1195.05 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (techdemo) R 22942 22944 22817 0 -1 4202560 56208 0 0 0 119481 24 0 0 25 0 4 0 519603042 1002500096 112336 33554432000 4194304 4797429 140736199219680 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 979004

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): 1201.93
CPU time (s): 4800.23
CPU user time (s): 4796.92
CPU system time (s): 3.3045
CPU usage (%): 399.376
Max. virtual memory (cumulated for all children) (KiB): 1090104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.92
system time used= 3.3045
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592675
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= 6269
involuntary context switches= 34829

runsolver used 1.79373 second user time and 4.77827 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-29 14:27:30
IDJOB=3172638
IDBENCH=82656
IDSOLVER=1584
FILE ID=node138/3172638-1304080050
RUNJOBID= node138-1304078846-22836
PBS_JOBID= 13170524
Free space on /tmp= 71812 MiB

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

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

MD5SUM BENCH= 3d91d29f74f04e1ffeedae8425f55746
RANDOM SEED=1412163791

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18791768 kB
Buffers:       2041524 kB
Cached:       11489288 kB
SwapCached:          0 kB
Active:        3282968 kB
Inactive:     10312204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18791768 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12060 kB
Writeback:           8 kB
AnonPages:       63364 kB
Mapped:          14488 kB
Slab:           500432 kB
PageTables:       4408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189372 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= 71796 MiB
End job on node138 at 2011-04-29 14:47:34