Trace number 3172610

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.2 1202.13

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf
MD5SUM15b86e0c1384321ea7bbac2466a811a7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark318.072
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-3172610-1304078760.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.29/0.31	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.29/0.31	c -- vars added      25000
0.29/0.31	c Parsing time:  0.28 s
0.29/0.31	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.29/0.39	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.31
0.65/0.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.33
0.65/0.49	c Calc non-exist non-lernt bins v-fix:     0 done:  25000 time:  0.04 s
0.65/0.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1.06/0.50	c Subs w/ non-existent bins:      0 time:  0.02 s
1.06/0.55	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1.06/0.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.06/0.57	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
2.26/0.86	c lits-rem:         0  cl-subs:        0  v-elim:   1297  v-fix:    0  time:  1.14 s
2.26/0.86	c learnt bin added due to v-elim: 0
2.26/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.03 s pos:   11155 undec:    2908 neg:   10937
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     24298    103827         0         0    315345         0   no data   no data  --
5.44/1.63	c Decided on dynamic restart strategy
8.24/2.33	c  N dy    20      4125     24298    103827         0      4124    315345    827495    184.45    136.63  --
14.23/3.84	c  N dy    48      8134     24298    103827         0      8133    315345   1579333    174.32    132.28  --
19.82/5.27	c  N dy    76     12141     24298    103827         0     12139    315345   2333322    191.87    131.74  --
26.21/6.84	c  N dy   105     16250     24298    103827         0     16248    315345   3135351    195.26    131.66  --
33.40/8.61	c  N dy   134     20401     24298    103827         0     10400    315345    620399    190.72    131.67  --
40.19/10.33	c  N dy   163     24510     24298    103827         0     14509    315345   1403596    198.12    131.28  --
46.18/11.88	c  N dy   192     28618     24298    103827         0     18616    315345   2166430    183.75    130.78  --
49.37/12.64	c  S st   202     30001     24298    103827         0     19998    315345   2417450    190.38    130.52  --
50.17/12.85	c  S st   202     30505     24298    103827         0     20502    315345   2495799    190.38    130.52  --
50.17/12.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
50.17/12.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.39/13.14	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.15	c Calc non-exist non-lernt bins v-fix:     0 done:  24298 time:  0.05 s
51.39/13.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.39/13.18	c Subs w/ non-existent bins:      0 time:  0.11 s
52.57/13.40	c bin-w-bin subsume rem            0 bins  time:  0.03 s
52.57/13.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
52.57/13.42	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
78.54/19.91	c lits-rem:         7  cl-subs:     2872  v-elim:    599  v-fix:    0  time: 25.93 s
78.54/19.91	c learnt bin added due to v-elim: 0
78.54/19.93	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
78.54/19.95	c vivif2 --  cl tried    17630 cl shrink        0 lits rem          0 time: 0.10
79.73/20.20	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 1.01
79.73/20.21	c calculated reachability. Time: 0.01
79.73/20.21	c  N dy   202     30505     24170    103955         0     17630    316509   1826822    190.38    130.52  --
79.73/20.21	c  F st   202     30505     24170    103955         0     17630    316509   1826822    190.38    130.52  --
83.72/21.21	c Decided on dynamic restart strategy
86.95/22.06	c  N dy   222     34560     24170    103955         0     21684    316509   2772877    190.96    132.33  --
93.71/23.70	c  N dy   251     38689     24170    103955         0     25812    316509   3580829    193.17    132.36  --
100.51/25.42	c  N dy   279     42698     24170    103955         0     29819    316509   4366625    204.70    132.50  --
106.50/26.90	c  S st   301     45758     24170    103955         0     17381    316509    999523    196.50    132.30  --
107.30/27.12	c  S st   301     46266     24170    103955         0     17889    316509   1071332    196.50    132.30  --
107.30/27.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
107.30/27.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.10/27.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.86
108.10/27.36	c Calc non-exist non-lernt bins v-fix:     0 done:  24170 time:  0.05 s
108.10/27.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.10/27.38	c Subs w/ non-existent bins:      0 time:  0.08 s
108.51/27.48	c bin-w-bin subsume rem            0 bins  time:  0.04 s
108.51/27.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
108.51/27.50	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
119.68/30.26	c lits-rem:        11  cl-subs:      483  v-elim:    401  v-fix:    0  time: 11.03 s
119.68/30.26	c learnt bin added due to v-elim: 0
119.68/30.27	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
119.68/30.29	c vivif2 --  cl tried    17406 cl shrink        0 lits rem          0 time: 0.06
120.48/30.48	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.76
120.48/30.48	c calculated reachability. Time: 0.00
120.48/30.48	c  N dy   301     46266     24170    103955         0     17406    316509   1046326    196.50    132.30  --
127.27/32.12	c  N dy   330     50371     24170    103955         0     21511    316509   1808519    196.06    131.86  --
134.46/33.94	c  N dy   359     54498     24170    103955         0     25636    316509   2621147    188.31    132.02  --
142.04/35.86	c  N dy   388     58638     24170    103955         0     29776    316509   3416676    210.56    132.06  --
148.84/37.52	c  N dy   416     62681     24170    103955         0     33817    316509   4181532    176.83    131.86  --
155.62/39.29	c  N dy   445     66736     24170    103955         0     19127    316509    710102    193.22    131.54  --
160.83/40.58	c  S st   464     69400     24170    103955         0     21791    316509   1211737    181.52    131.49  --
162.02/40.81	c  S st   464     69903     24170    103955         0     22294    316509   1286739    181.52    131.49  --
162.02/40.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
162.02/40.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.82/41.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.94
162.82/41.07	c Calc non-exist non-lernt bins v-fix:     0 done:  24170 time:  0.05 s
162.82/41.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.82/41.09	c Subs w/ non-existent bins:      0 time:  0.09 s
163.62/41.20	c bin-w-bin subsume rem            0 bins  time:  0.04 s
163.62/41.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
163.62/41.22	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
175.60/44.22	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
181.59/45.75	c Added 0 vars  tried: 80000 time: 6.09
181.59/45.75	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.09
182.00/45.80	c lits-rem:         1  cl-subs:      723  v-elim:    401  v-fix:    0  time: 18.30 s
182.00/45.80	c learnt bin added due to v-elim: 0
182.00/45.81	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
182.00/45.83	c vivif2 --  cl tried    21571 cl shrink        0 lits rem          0 time: 0.06
182.80/46.04	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 0.84
182.80/46.04	c calculated reachability. Time: 0.00
182.80/46.04	c  N dy   464     69903     24170    103955         0     21571    316509   1247645    181.52    131.49  --
182.80/46.04	c  F st   464     69903     24170    103955         0     21571    316509   1247645    181.52    131.49  --
186.39/46.93	c Decided on dynamic restart strategy
190.38/47.98	c  N dy   487     74407     24170    103955         0     26069    316509   2209905    182.68    132.43  --
199.57/50.21	c  N dy   520     79161     24170    103955         0     30823    316509   3097758    197.00    132.16  --
209.16/52.65	c  N dy   556     84309     24170    103955         0     35971    316509   4130982    204.41    132.35  --
218.37/55.00	c  N dy   594     89726     24170    103955         0     41388    316509   5178530    216.27    132.30  --
228.73/57.55	c  N dy   634     95472     24170    103955         0     26262    316509   1629573    184.40    132.08  --
240.34/60.41	c  N dy   677    101635     24170    103955         0     32425    316509   2827077    194.14    132.13  --
247.50/62.26	c  S st   700    104855     24170    103955         0     35645    316509   3442896    186.14    132.06  --
248.70/62.50	c  S st   700    105356     24170    103955         0     36146    316509   3506625    186.14    132.06  --
248.70/62.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
248.70/62.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
249.90/62.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.44
249.90/62.88	c Calc non-exist non-lernt bins v-fix:     0 done:  24170 time:  0.05 s
249.90/62.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.30/62.92	c Subs w/ non-existent bins:      0 time:  0.15 s
251.10/63.14	c bin-w-bin subsume rem            0 bins  time:  0.04 s
251.10/63.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
251.10/63.16	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
290.24/72.96	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
290.64/73.04	c lits-rem:         0  cl-subs:     1460  v-elim:    401  v-fix:    0  time: 39.48 s
290.64/73.04	c learnt bin added due to v-elim: 0
290.64/73.06	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
291.04/73.10	c vivif2 --  cl tried    34686 cl shrink        0 lits rem          0 time: 0.18
292.24/73.47	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 1.46
292.24/73.48	c calculated reachability. Time: 0.00
292.24/73.48	c  N dy   700    105356     24170    103955         0     34686    316509   3355978    186.14    132.06  --
304.23/76.48	c  N dy   748    112200     24170    103955         0     41529    316509   4659159    198.13    131.85  --
317.01/79.64	c  N dy   798    119380     24170    103955         0     26275    316509   1360069    210.47    131.93  --
330.19/82.92	c  N dy   852    127131     24170    103955         0     34026    316509   2834617    180.12    131.82  --
344.98/86.68	c  N dy   909    135314     24170    103955         0     42209    316509   4417941    168.55    131.85  --
360.55/90.51	c  N dy   969    143960     24170    103955         0     27139    316509   1221921    204.00    131.89  --
376.95/94.61	c  N dy  1034    153196     24170    103955         0     36374    316509   3036854    189.03    131.99  --
386.52/97.06	c  S st  1069    158035     24170    103955         0     41211    316509   3910620    179.34    131.79  --
387.72/97.31	c  S st  1069    158538     24170    103955         0     41714    316509   3978295    179.34    131.79  --
387.72/97.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
387.72/97.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
389.32/97.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.65
389.32/97.76	c Calc non-exist non-lernt bins v-fix:     0 done:  24170 time:  0.05 s
389.32/97.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
389.32/97.80	c Subs w/ non-existent bins:      0 time:  0.17 s
390.51/98.06	c bin-w-bin subsume rem            0 bins  time:  0.04 s
390.51/98.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
390.51/98.08	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
494.78/124.15	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
495.20/124.24	c lits-rem:         0  cl-subs:     1824  v-elim:    401  v-fix:    0  time: 104.47 s
495.20/124.24	c learnt bin added due to v-elim: 0
495.20/124.25	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
495.20/124.30	c vivif2 --  cl tried    39890 cl shrink        0 lits rem          0 time: 0.20
497.17/124.71	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 1.64
497.17/124.72	c calculated reachability. Time: 0.00
497.17/124.72	c  N dy  1069    158538     24170    103955         0     39890    316509   3810488    179.34    131.79  --
516.34/129.55	c  N dy  1140    168690     24170    103955         0     25184    316509    603436    222.57    131.65  --
536.72/134.62	c  N dy  1216    179563     24170    103955         0     36054    316509   2757905    199.92    131.92  --
559.08/140.28	c  N dy  1297    191047     24170    103955         0     47536    316509   4924859    175.56    131.75  --
582.66/146.12	c  N dy  1383    203348     24170    103955         0     33910    316509   2061656    206.78    131.87  --
608.22/152.53	c  N dy  1474    216344     24170    103955         0     46904    316509   4582113    215.08    131.90  --
634.58/159.12	c  N dy  1572    230172     24170    103955         0     33771    316509   1717196    171.50    131.60  --
650.17/163.08	c  S st  1626    237807     24170    103955         0     41406    316509   3211204    176.06    131.61  --
651.36/163.37	c  S st  1626    238310     24170    103955         0     41909    316509   3294927    176.06    131.61  --
651.36/163.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
651.36/163.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
652.96/163.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  1.62
653.38/163.80	c Calc non-exist non-lernt bins v-fix:     0 done:  24170 time:  0.04 s
653.38/163.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
653.38/163.84	c Subs w/ non-existent bins:      0 time:  0.15 s
654.16/164.07	c bin-w-bin subsume rem            0 bins  time:  0.04 s
654.16/164.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
654.16/164.09	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
694.91/174.23	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
695.31/174.31	c lits-rem:         0  cl-subs:     1889  v-elim:    401  v-fix:    0  time: 40.84 s
695.31/174.31	c learnt bin added due to v-elim: 0
695.31/174.32	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
695.31/174.37	c vivif2 --  cl tried    40020 cl shrink        0 lits rem          0 time: 0.16
696.91/174.74	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 1.51
696.91/174.75	c calculated reachability. Time: 0.00
696.91/174.75	c  N dy  1626    238310     24170    103955         0     40020    316509   3167067    176.06    131.61  --
727.67/182.45	c  N dy  1733    253583     24170    103955         0     55287    316509   6181281    193.52    131.80  --
757.22/189.86	c  N dy  1847    269766     24170    103955         0     43492    316509   3471769    198.63    131.82  --
790.38/198.16	c  N dy  1968    287037     24170    103955         0     31774    316509   1034513    210.17    131.99  --
824.34/206.69	c  N dy  2098    305469     24170    103955         0     50202    316509   4601594    184.63    132.02  --
861.49/215.97	c  N dy  2235    325041     24170    103955         0     39781    316509   2313757    181.96    132.01  --
901.43/225.92	c  N dy  2375    345171     24170    103955         0     59911    316509   6210850    181.90    131.97  --
925.40/231.97	c  S st  2462    357465     24170    103955         0     41207    316509   2406675    189.72    131.95  --
926.59/232.21	c  S st  2462    357967     24170    103955         0     41709    316509   2481054    189.72    131.95  --
926.59/232.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
926.59/232.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
928.19/232.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.3M T:  1.53
928.19/232.62	c Calc non-exist non-lernt bins v-fix:     0 done:  24170 time:  0.05 s
928.19/232.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
928.19/232.65	c Subs w/ non-existent bins:      0 time:  0.12 s
929.00/232.81	c bin-w-bin subsume rem            0 bins  time:  0.03 s
929.00/232.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
929.00/232.83	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
957.36/239.90	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
966.15/242.14	c Added 0 vars  tried: 80000 time: 8.95
966.15/242.14	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.95
966.55/242.21	c lits-rem:         0  cl-subs:     2264  v-elim:    401  v-fix:    0  time: 37.47 s
966.55/242.21	c learnt bin added due to v-elim: 0
966.55/242.22	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
966.55/242.25	c vivif2 --  cl tried    39445 cl shrink        0 lits rem          0 time: 0.13
967.74/242.57	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 1.26
967.74/242.58	c calculated reachability. Time: 0.01
967.74/242.58	c  N dy  2462    357967     24170    103955         0     39445    316509   2379097    189.72    131.95  --
1008.90/252.86	c  N dy  2602    378005     24170    103955         0     59481    316509   6377343    202.55    132.14  --
1049.64/263.02	c  N dy  2743    398147     24170    103955         0     47625    316509   3473600    185.55    132.07  --
1091.58/273.53	c  N dy  2884    418204     24170    103955         0     34684    316509    778260    179.98    132.10  --
1131.92/283.68	c  N dy  3025    438220     24170    103955         0     54698    316509   4673794    178.25    132.12  --
1174.26/294.21	c  N dy  3166    458341     24170    103955         0     40821    316509   1784681    212.93    132.13  --
1216.23/304.77	c  N dy  3308    478466     24170    103955         0     60944    316509   5641785    202.21    132.06  --
1258.55/315.36	c  N dy  3448    498478     24170    103955         0     45957    316509   2594430    177.09    132.14  --
1299.31/325.51	c  N dy  3588    518495     24170    103955         0     65970    316509   6441562    196.10    132.07  --
1336.44/334.88	c  S st  3718    536951     24170    103955         0     48427    316509   2841662    198.17    132.09  --
1337.64/335.15	c  S st  3718    537453     24170    103955         0     48929    316509   2918644    198.17    132.09  --
1337.64/335.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1337.64/335.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1339.64/335.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.4M T:  1.89
1339.64/335.66	c Calc non-exist non-lernt bins v-fix:     0 done:  24170 time:  0.05 s
1339.64/335.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1339.64/335.69	c Subs w/ non-existent bins:      0 time:  0.14 s
1340.44/335.88	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1340.44/335.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1340.84/335.90	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
1377.58/345.15	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
1377.98/345.22	c lits-rem:         0  cl-subs:     2894  v-elim:    401  v-fix:    0  time: 37.22 s
1377.98/345.22	c learnt bin added due to v-elim: 0
1377.98/345.23	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.04
1377.98/345.27	c vivif2 --  cl tried    46035 cl shrink        0 lits rem          0 time: 0.14
1379.58/345.62	c asymm  cl-useful: 0/103955/103955 lits-rem:0 time: 1.41
1379.58/345.63	c calculated reachability. Time: 0.01
1379.58/345.63	c  N dy  3718    537453     24170    103955         0     46035    316509   2783640    198.17    132.09  --
1379.58/345.63	c  F st  3718    537453     24170    103955         0     46035    316509   2783640    198.17    132.09  --
1383.58/346.66	c Decided on dynamic restart strategy
1420.73/355.91	c  N dy  3850    557527     24170    103955         0     66104    316509   6791241    176.15    132.21  --
1461.08/366.09	c  N dy  3991    577629     24170    103955         0     49210    316509   2867362    201.78    132.26  --
1503.02/376.55	c  N dy  4132    597713     24170    103955         0     69290    316509   6716464    202.03    132.20  --
1544.96/387.09	c  N dy  4272    617791     24170    103955         0     51371    316509   3112982    188.81    132.23  --
1588.10/397.83	c  N dy  4413    637868     24170    103955         0     71445    316509   6973293    193.12    132.25  --
1630.84/408.54	c  N dy  4554    657996     24170    103955         0     52580    316509   3110631    198.36    132.26  --
1675.18/419.63	c  N dy  4694    678038     24170    103955         0     72621    316509   7016422    201.15    132.31  --
1718.32/430.41	c  N dy  4835    698177     24170    103955         0     52762    316509   2867836    186.77    132.22  --
1763.06/441.65	c  N dy  4977    718310     24170    103955         0     72895    316509   6735838    186.45    132.20  --
1807.00/452.69	c  N dy  5118    738400     24170    103955         0     51988    316509   2584391    219.84    132.20  --
1851.35/463.76	c  N dy  5259    758441     24170    103955         0     72026    316509   6550271    187.58    132.27  --
1897.30/475.26	c  N dy  5399    778486     24170    103955         0     50074    316509   2029472    201.72    132.32  --
1939.63/485.84	c  N dy  5540    798578     24170    103955         0     70162    316509   5936030    209.97    132.33  --
1959.60/490.83	c  S st  5594    806180     24170    103955         0     77763    316509   7382803    182.30    132.32  --
1960.80/491.17	c  S st  5594    806683     24170    103955         0     78266    316509   7458017    182.30    132.32  --
1960.80/491.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1960.80/491.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1964.39/492.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.0M T:  3.37
1964.39/492.05	c Calc non-exist non-lernt bins v-fix:     0 done:  24170 time:  0.06 s
1964.39/492.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1964.79/492.12	c Subs w/ non-existent bins:      0 time:  0.28 s
1966.79/492.60	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1966.79/492.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1966.79/492.62	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
2446.56/612.71	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
2446.93/612.86	c lits-rem:         0  cl-subs:     4479  v-elim:    401  v-fix:    0  time: 480.24 s
2446.93/612.86	c learnt bin added due to v-elim: 0
2446.93/612.88	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
2447.33/612.97	c vivif2 --  cl tried    73787 cl shrink        0 lits rem          0 time: 0.38
2449.73/613.51	c asymm  cl-useful: 0/78980/103955 lits-rem:0 time: 2.14
2449.73/613.52	c calculated reachability. Time: 0.01
2449.73/613.52	c  N dy  5594    806683     24170    103955         0     73787    316509   7119289    182.30    132.32  --
2496.47/625.20	c  N dy  5734    826720     24170    103955         0     50826    316509   2044037    215.01    132.36  --
2540.01/636.11	c  N dy  5874    846800     24170    103955         0     70905    316509   5970712    199.91    132.38  --
2588.74/648.38	c  N dy  6014    866933     24170    103955         0     47037    316509   1061737    200.90    132.35  --
2631.88/659.16	c  N dy  6154    887059     24170    103955         0     67160    316509   4997983    188.11    132.38  --
2678.22/670.78	c  N dy  6294    907175     24170    103955         0     87271    316509   8848088    201.72    132.34  --
2721.36/681.56	c  N dy  6435    927236     24170    103955         0     62338    316509   3820726    180.36    132.34  --
2765.30/692.58	c  N dy  6576    947383     24170    103955         0     82485    316509   7734605    177.80    132.35  --
2808.04/703.23	c  N dy  6716    967397     24170    103955         0     56499    316509   2536856    191.69    132.38  --
2851.19/714.07	c  N dy  6857    987504     24170    103955         0     76602    316509   6461973    201.26    132.41  --
2898.32/725.88	c  N dy  6998   1007634     24170    103955         0     49737    316509   1013962    193.87    132.43  --
2940.66/736.40	c  N dy  7138   1027648     24170    103955         0     69751    316509   4836601    179.41    132.38  --
2987.40/748.16	c  N dy  7278   1047727     24170    103955         0     89830    316509   8673455    202.74    132.34  --
3032.94/759.54	c  N dy  7419   1067839     24170    103955         0     61946    316509   3151448    202.82    132.32  --
3078.89/771.07	c  N dy  7559   1087926     24170    103955         0     82033    316509   7075977    183.03    132.35  --
3128.01/783.35	c  N dy  7699   1107927     24170    103955         0     53036    316509   1258319    184.84    132.32  --
3170.76/794.06	c  N dy  7840   1128024     24170    103955         0     73131    316509   5087180    189.33    132.27  --
3220.68/806.57	c  N dy  7981   1148132     24170    103955         0     93236    316509   9014032    187.83    132.28  --
3267.02/818.17	c  N dy  8121   1168209     24170    103955         0     63313    316509   3111695    190.34    132.32  --
3314.15/829.92	c  N dy  8262   1188333     24170    103955         0     83436    316509   7046644    184.00    132.34  --
3364.91/842.63	c  N dy  8402   1208335     24170    103955         0     52442    316509    740478    176.78    132.32  --
3368.49/843.60	c  S st  8415   1210027     24170    103955         0     54134    316509   1053341    191.67    132.31  --
3369.68/843.89	c  S st  8415   1210530     24170    103955         0     54637    316509   1121443    191.67    132.31  --
3370.08/843.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3370.08/843.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3372.48/844.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.2M T:  2.37
3372.48/844.51	c Calc non-exist non-lernt bins v-fix:     0 done:  24170 time:  0.06 s
3372.48/844.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3372.48/844.53	c Subs w/ non-existent bins:      0 time:  0.09 s
3372.88/844.64	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3372.88/844.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3372.88/844.66	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
3384.46/847.56	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
3389.66/848.86	c Added 0 vars  tried: 80000 time: 5.18
3389.66/848.86	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.18
3390.06/848.91	c lits-rem:         4  cl-subs:     3538  v-elim:    401  v-fix:    0  time: 17.01 s
3390.06/848.91	c learnt bin added due to v-elim: 0
3390.06/848.93	c vivif2 --  cl tried   103955 cl shrink        0 lits rem          0 time: 0.05
3390.06/848.94	c vivif2 --  cl tried    51099 cl shrink        0 lits rem          0 time: 0.07
3390.46/849.02	c asymm  cl-useful: 0/24975/103955 lits-rem:0 time: 0.31
3390.46/849.03	c calculated reachability. Time: 0.01
3390.46/849.03	c  N dy  8415   1210530     24170    103955         0     51099    316509   1058512    191.67    132.31  --
3433.59/859.81	c  N dy  8555   1230611     24170    103955         0     71180    316509   4986946    194.93    132.33  --
3481.53/871.80	c  N dy  8695   1250644     24170    103955         0     91209    316509   8901813    210.29    132.36  --
3528.66/883.62	c  N dy  8835   1270704     24170    103955         0     59272    316509   1970794    203.33    132.38  --
3571.03/894.29	c  N dy  8976   1290754     24170    103955         0     79319    316509   5851942    194.83    132.39  --
3617.75/905.92	c  N dy  9116   1310794     24170    103955         0     99353    316509   9754831    187.96    132.39  --
3663.30/917.36	c  N dy  9257   1330914     24170    103955         0     66479    316509   3209497    228.04    132.43  --
3709.62/928.94	c  N dy  9397   1351014     24170    103955         0     86577    316509   7236533    227.61    132.48  --
3760.38/941.64	c  N dy  9536   1371045     24170    103955         0    106607    316509  11125510    191.85    132.48  --
3805.89/953.03	c  N dy  9676   1391117     24170    103955         0     72682    316509   4190884    209.57    132.50  --
3854.22/965.14	c  N dy  9817   1411255     24170    103955         0     92815    316509   8093760    180.70    132.51  --
3907.35/978.40	c  N dy  9957   1431316     24170    103955         0     57882    316509   1095028    213.99    132.56  --
3952.49/989.74	c  N dy 10097   1451473     24170    103955         0     78032    316509   5043129    203.02    132.57  --
4003.23/1002.47	c  N dy 10238   1471602     24170    103955         0     98159    316509   8933892    206.36    132.57  --
4053.96/1015.11	c  N dy 10379   1491720     24170    103955         0     62284    316509   1718389    197.37    132.56  --
4101.49/1027.00	c  N dy 10519   1511848     24170    103955         0     82412    316509   5579737    195.39    132.54  --
4153.01/1039.93	c  N dy 10659   1531933     24170    103955         0    102497    316509   9449863    188.37    132.54  --
4203.35/1052.55	c  N dy 10799   1552036     24170    103955         0     65603    316509   2187161    204.27    132.52  --
4251.29/1064.52	c  N dy 10939   1572066     24170    103955         0     85627    316509   6135733    201.03    132.56  --
4304.02/1077.70	c  N dy 11080   1592178     24170    103955         0    105738    316509  10052665    209.77    132.57  --
4353.16/1090.04	c  N dy 11220   1612197     24170    103955         0     67762    316509   2389683    190.70    132.57  --
4399.08/1101.58	c  N dy 11361   1632316     24170    103955         0     87881    316509   6297073    195.26    132.58  --
4448.62/1113.97	c  N dy 11502   1652464     24170    103955         0    108028    316509  10116648    179.61    132.55  --
4496.95/1126.00	c  N dy 11643   1672569     24170    103955         0     69138    316509   2461422    182.03    132.55  --
4541.69/1137.23	c  N dy 11782   1692608     24170    103955         0     89174    316509   6361126    210.00    132.57  --
4589.27/1149.20	c  S st 11908   1710530     24170    103955         0    107096    316509   9766539    208.31    132.54  --
4590.47/1149.58	c  S st 11908   1711032     24170    103955         0    107598    316509   9839570    208.31    132.54  --
4590.85/1149.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4590.85/1149.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4595.97/1150.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.3M T:  5.20
4595.97/1150.93	c Calc non-exist non-lernt bins v-fix:     0 done:  24170 time:  0.06 s
4595.97/1150.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4596.37/1151.03	c Subs w/ non-existent bins:      0 time:  0.36 s
4598.76/1151.65	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4598.76/1151.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4598.76/1151.67	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-3172610-1304078760/watcher-3172610-1304078760 -o /tmp/evaluation-result-3172610-1304078760/solver-3172610-1304078760 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172610-1304078760.cnf 

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

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


[startup+0 s]
/proc/loadavg: 5.52 7.45 7.53 2/177 11751
/proc/meminfo: memFree=24412404/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=24216 CPUtime=0 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 1344 0 0 0 0 0 0 0 21 0 1 0 500292130 24797184 1283 33554432000 4194304 4797429 140733812336096 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11751/statm: 6054 1283 341 148 0 983 0

[startup+0.0662699 s]
/proc/loadavg: 5.52 7.45 7.53 2/177 11751
/proc/meminfo: memFree=24412404/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=91100 CPUtime=0.05 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 12886 0 0 0 4 1 0 0 21 0 1 0 500292130 93286400 9620 33554432000 4194304 4797429 140733812336096 18446744073709551615 255106429637 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11751/statm: 22775 9621 348 148 0 17704 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 91100

[startup+0.100242 s]
/proc/loadavg: 5.52 7.45 7.53 2/177 11751
/proc/meminfo: memFree=24412404/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=95180 CPUtime=0.08 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 14242 0 0 0 7 1 0 0 21 0 1 0 500292130 97464320 10912 33554432000 4194304 4797429 140733812336096 18446744073709551615 255106429637 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11751/statm: 23795 10917 348 148 0 18724 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 95180

[startup+0.300204 s]
/proc/loadavg: 5.52 7.45 7.53 2/177 11751
/proc/meminfo: memFree=24412404/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=112712 CPUtime=0.29 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 20182 0 0 0 27 2 0 0 22 0 1 0 500292130 115417088 16544 33554432000 4194304 4797429 140733812336096 18446744073709551615 255106429637 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11751/statm: 28178 16544 348 148 0 23107 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112712

[startup+0.701096 s]
/proc/loadavg: 5.52 7.45 7.53 2/177 11751
/proc/meminfo: memFree=24412404/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=750920 CPUtime=1.86 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 30936 0 0 0 181 5 0 0 25 0 4 0 500292130 768942080 25201 33554432000 4194304 4797429 140733812336096 18446744073709551615 4567765 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 187730 25201 396 148 0 182659 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 750920

[startup+1.50095 s]
/proc/loadavg: 5.88 7.49 7.54 11/184 11758
/proc/meminfo: memFree=24275700/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=756412 CPUtime=5.04 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 35425 0 0 0 499 5 0 0 25 0 4 0 500292130 774565888 28886 33554432000 4194304 4797429 140733812336096 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 189103 28886 410 148 0 184032 0
[pid=11751/tid=11756] ppid=11749 vsize=756412 CPUtime=1.18 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 3061 0 0 0 118 0 0 0 25 0 4 0 500292161 774565888 28886 33554432000 4194304 4797429 140733812336096 18446744073709551615 4341372 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=756412 CPUtime=1.17 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 4027 0 0 0 117 0 0 0 25 0 4 0 500292161 774565888 28886 33554432000 4194304 4797429 140733812336096 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=756412 CPUtime=1.17 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 3785 0 0 0 117 0 0 0 25 0 4 0 500292161 774565888 28886 33554432000 4194304 4797429 140733812336096 18446744073709551615 4390848 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 756412

[startup+3.10067 s]
/proc/loadavg: 5.88 7.49 7.54 9/184 11758
/proc/meminfo: memFree=24258960/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=759032 CPUtime=11.44 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 39457 0 0 0 1137 7 0 0 25 0 4 0 500292130 777248768 32899 33554432000 4194304 4797429 140733812336096 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 189758 32899 413 148 0 184687 0
[pid=11751/tid=11756] ppid=11749 vsize=759032 CPUtime=2.78 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 4481 0 0 0 278 0 0 0 25 0 4 0 500292161 777248768 32899 33554432000 4194304 4797429 140733812336096 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=759032 CPUtime=2.76 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 4919 0 0 0 276 0 0 0 25 0 4 0 500292161 777248768 32899 33554432000 4194304 4797429 140733812336096 18446744073709551615 4424335 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=759032 CPUtime=2.78 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 4653 0 0 0 277 1 0 0 25 0 4 0 500292161 777248768 32900 33554432000 4194304 4797429 140733812336096 18446744073709551615 255106465470 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (KiB) 759032

[startup+6.30111 s]
/proc/loadavg: 5.88 7.49 7.54 9/184 11758
/proc/meminfo: memFree=24188272/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=774536 CPUtime=24.21 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 51784 0 0 0 2410 11 0 0 25 0 4 0 500292130 793124864 45206 33554432000 4194304 4797429 140733812336096 18446744073709551615 4424642 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 193634 45206 416 148 0 188563 0
[pid=11751/tid=11756] ppid=11749 vsize=774536 CPUtime=5.98 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 7799 0 0 0 597 1 0 0 25 0 4 0 500292161 793124864 45206 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=774536 CPUtime=5.95 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 8438 0 0 0 593 2 0 0 19 0 4 0 500292161 793124864 45206 33554432000 4194304 4797429 140733812336096 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=774536 CPUtime=5.97 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 8009 0 0 0 595 2 0 0 19 0 4 0 500292161 793124864 45206 33554432000 4194304 4797429 140733812336096 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.21
Current children cumulated vsize (KiB) 774536

[startup+12.701 s]
/proc/loadavg: 6.28 7.52 7.55 9/184 11758
/proc/meminfo: memFree=24172364/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=780332 CPUtime=49.77 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 58606 0 0 0 4964 13 0 0 25 0 4 0 500292130 799059968 46616 33554432000 4194304 4797429 140733812336096 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 195083 46616 417 148 0 190012 0
[pid=11751/tid=11756] ppid=11749 vsize=780332 CPUtime=12.38 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 8265 0 0 0 1237 1 0 0 25 0 4 0 500292161 799059968 46616 33554432000 4194304 4797429 140733812336096 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=780332 CPUtime=12.31 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 9006 0 0 0 1229 2 0 0 25 0 4 0 500292161 799059968 46616 33554432000 4194304 4797429 140733812336096 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=780332 CPUtime=12.37 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 9162 0 0 0 1235 2 0 0 25 0 4 0 500292161 799059968 46616 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.77
Current children cumulated vsize (KiB) 780332

[startup+25.5007 s]
/proc/loadavg: 6.54 7.54 7.55 9/184 11759
/proc/meminfo: memFree=24126420/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=785536 CPUtime=100.91 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 68408 0 0 0 10074 17 0 0 25 0 4 0 500292130 804388864 55658 33554432000 4194304 4797429 140733812336096 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 196384 55658 419 148 0 191313 0
[pid=11751/tid=11756] ppid=11749 vsize=785536 CPUtime=25.17 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 9207 0 0 0 2516 1 0 0 25 0 4 0 500292161 804388864 55658 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=785536 CPUtime=25.04 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 10281 0 0 0 2502 2 0 0 25 0 4 0 500292161 804388864 55658 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=785536 CPUtime=25.18 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 10468 0 0 0 2515 3 0 0 25 0 4 0 500292161 804388864 55658 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.91
Current children cumulated vsize (KiB) 785536

[startup+51.1002 s]
/proc/loadavg: 7.10 7.59 7.57 9/184 11759
/proc/meminfo: memFree=24095208/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=795360 CPUtime=203.16 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 85163 0 0 0 20294 22 0 0 25 0 4 0 500292130 814448640 60417 33554432000 4194304 4797429 140733812336096 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 198840 60417 420 148 0 193769 0
[pid=11751/tid=11756] ppid=11749 vsize=795360 CPUtime=50.77 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 10713 0 0 0 5076 1 0 0 25 0 4 0 500292161 814448640 60417 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=795360 CPUtime=50.51 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 12159 0 0 0 5048 3 0 0 25 0 4 0 500292161 814448640 60417 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=795360 CPUtime=50.77 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 12506 0 0 0 5074 3 0 0 25 0 4 0 500292161 814448640 60417 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.16
Current children cumulated vsize (KiB) 795360

[startup+102.306 s]
/proc/loadavg: 7.74 7.69 7.60 9/184 11761
/proc/meminfo: memFree=24069504/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=817476 CPUtime=407.71 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 122051 0 0 0 40733 38 0 0 25 0 4 0 500292130 837095424 64618 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 204369 64618 420 148 0 199298 0
[pid=11751/tid=11756] ppid=11749 vsize=817476 CPUtime=101.99 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 14622 0 0 0 10196 3 0 0 25 0 4 0 500292161 837095424 64618 33554432000 4194304 4797429 140733812336096 18446744073709551615 4387372 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=817476 CPUtime=101.45 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 16840 0 0 0 10140 5 0 0 25 0 4 0 500292161 837095424 64618 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=817476 CPUtime=101.97 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 17563 0 0 0 10192 5 0 0 25 0 4 0 500292161 837095424 64618 33554432000 4194304 4797429 140733812336096 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.71
Current children cumulated vsize (KiB) 817476

[startup+162.301 s]
/proc/loadavg: 7.94 7.75 7.63 9/184 11762
/proc/meminfo: memFree=24009604/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=830868 CPUtime=647.37 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 151690 0 0 0 64686 51 0 0 25 0 4 0 500292130 850808832 72496 33554432000 4194304 4797429 140733812336096 18446744073709551615 4351579 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 207717 72496 420 148 0 202646 0
[pid=11751/tid=11756] ppid=11749 vsize=830868 CPUtime=161.98 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 17325 0 0 0 16194 4 0 0 25 0 4 0 500292161 850808832 72496 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=830868 CPUtime=161.12 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 19675 0 0 0 16106 6 0 0 25 0 4 0 500292161 850808832 72496 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=830868 CPUtime=161.97 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 21384 0 0 0 16190 7 0 0 25 0 4 0 500292161 850808832 72496 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 647.37
Current children cumulated vsize (KiB) 830868

[startup+222.301 s]
/proc/loadavg: 8.09 7.83 7.66 9/184 11764
/proc/meminfo: memFree=23999676/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=837084 CPUtime=887.05 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 189067 0 0 0 88640 65 0 0 25 0 4 0 500292130 857174016 74450 33554432000 4194304 4797429 140733812336096 18446744073709551615 4341226 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 209271 74450 420 148 0 204200 0
[pid=11751/tid=11756] ppid=11749 vsize=837084 CPUtime=221.98 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 21313 0 0 0 22193 5 0 0 25 0 4 0 500292161 857174016 74450 33554432000 4194304 4797429 140733812336096 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=837084 CPUtime=220.81 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 23664 0 0 0 22074 7 0 0 25 0 4 0 500292161 857174016 74450 33554432000 4194304 4797429 140733812336096 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=837084 CPUtime=221.96 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 25407 0 0 0 22188 8 0 0 25 0 4 0 500292161 857174016 74450 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 887.05
Current children cumulated vsize (KiB) 837084

[startup+282.301 s]

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

[pid=11751] ppid=11749 vsize=881756 CPUtime=2804.45 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 386173 0 0 0 280283 162 0 0 25 0 4 0 500292130 902918144 87939 33554432000 4194304 4797429 140733812336096 18446744073709551615 4423077 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 220439 87939 420 148 0 215368 0
[pid=11751/tid=11756] ppid=11749 vsize=881756 CPUtime=701.99 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 34549 0 0 0 70187 12 0 0 25 0 4 0 500292161 902918144 87939 33554432000 4194304 4797429 140733812336096 18446744073709551615 4413082 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=881756 CPUtime=698.73 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 40740 0 0 0 69859 14 0 0 25 0 4 0 500292161 902918144 87939 33554432000 4194304 4797429 140733812336096 18446744073709551615 4331663 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=881756 CPUtime=701.4 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 41519 0 0 0 70126 14 0 0 25 0 4 0 500292161 902918144 87939 33554432000 4194304 4797429 140733812336096 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.45
Current children cumulated vsize (KiB) 881756

[startup+762.306 s]
/proc/loadavg: 8.12 8.04 7.83 9/184 11778
/proc/meminfo: memFree=23881076/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=886468 CPUtime=3044.15 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 415517 0 0 0 304238 177 0 0 25 0 4 0 500292130 907743232 95713 33554432000 4194304 4797429 140733812336096 18446744073709551615 4423083 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 221617 95713 420 148 0 216546 0
[pid=11751/tid=11756] ppid=11749 vsize=886468 CPUtime=761.99 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 36616 0 0 0 76186 13 0 0 25 0 4 0 500292161 907743232 95713 33554432000 4194304 4797429 140733812336096 18446744073709551615 4428751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=886468 CPUtime=758.73 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 42453 0 0 0 75858 15 0 0 25 0 4 0 500292161 907743232 95713 33554432000 4194304 4797429 140733812336096 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=886468 CPUtime=761.08 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 43087 0 0 0 76094 14 0 0 25 0 4 0 500292161 907743232 95713 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.15
Current children cumulated vsize (KiB) 886468

[startup+822.301 s]
/proc/loadavg: 8.15 8.06 7.85 9/184 11780
/proc/meminfo: memFree=23850300/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=888232 CPUtime=3283.8 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 440460 0 0 0 328189 191 0 0 25 0 4 0 500292130 909549568 98746 33554432000 4194304 4797429 140733812336096 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 222058 98746 420 148 0 216987 0
[pid=11751/tid=11756] ppid=11749 vsize=888232 CPUtime=821.99 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 37277 0 0 0 82185 14 0 0 25 0 4 0 500292161 909549568 98746 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=888232 CPUtime=818.72 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 43426 0 0 0 81856 16 0 0 25 0 4 0 500292161 909549568 98746 33554432000 4194304 4797429 140733812336096 18446744073709551615 4515957 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=888232 CPUtime=820.75 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 44080 0 0 0 82061 14 0 0 25 0 4 0 500292161 909549568 98746 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568160 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.8
Current children cumulated vsize (KiB) 888232

[startup+882.301 s]
/proc/loadavg: 8.12 8.07 7.86 9/184 11781
/proc/meminfo: memFree=23882408/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=894192 CPUtime=3523.47 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 468290 0 0 0 352144 203 0 0 25 0 4 0 500292130 915652608 92955 33554432000 4194304 4797429 140733812336096 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 223548 92955 420 148 0 218477 0
[pid=11751/tid=11756] ppid=11749 vsize=894192 CPUtime=881.99 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 37732 0 0 0 88185 14 0 0 25 0 4 0 500292161 915652608 92955 33554432000 4194304 4797429 140733812336096 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=894192 CPUtime=878.72 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 45908 0 0 0 87856 16 0 0 25 0 4 0 500292161 915652608 92955 33554432000 4194304 4797429 140733812336096 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=894192 CPUtime=880.43 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 47633 0 0 0 88028 15 0 0 25 0 4 0 500292161 915652608 92955 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.47
Current children cumulated vsize (KiB) 894192

[startup+942.3 s]
/proc/loadavg: 8.10 8.07 7.87 9/184 11783
/proc/meminfo: memFree=23840112/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=894524 CPUtime=3763.15 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 497549 0 0 0 376098 217 0 0 25 0 4 0 500292130 915992576 104273 33554432000 4194304 4797429 140733812336096 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 223631 104273 420 148 0 218560 0
[pid=11751/tid=11756] ppid=11749 vsize=894524 CPUtime=942 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 41590 0 0 0 94184 16 0 0 25 0 4 0 500292161 915992576 104273 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=894524 CPUtime=938.72 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 48037 0 0 0 93854 18 0 0 25 0 4 0 500292161 915992576 104273 33554432000 4194304 4797429 140733812336096 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=894524 CPUtime=940.12 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 49426 0 0 0 93996 16 0 0 25 0 4 0 500292161 915992576 104273 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.15
Current children cumulated vsize (KiB) 894524

[startup+1002.3 s]
/proc/loadavg: 8.09 8.07 7.88 9/184 11785
/proc/meminfo: memFree=23818780/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=903592 CPUtime=4002.83 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 523358 0 0 0 400054 229 0 0 25 0 4 0 500292130 925278208 105694 33554432000 4194304 4797429 140733812336096 18446744073709551615 4424835 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 225898 105694 420 148 0 220827 0
[pid=11751/tid=11756] ppid=11749 vsize=903592 CPUtime=1001.99 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 42901 0 0 0 100183 16 0 0 25 0 4 0 500292161 925278208 105694 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=903592 CPUtime=998.71 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 49146 0 0 0 99853 18 0 0 25 0 4 0 500292161 925278208 105694 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=903592 CPUtime=999.79 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 50408 0 0 0 99963 16 0 0 25 0 4 0 500292161 925278208 105694 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.83
Current children cumulated vsize (KiB) 903592

[startup+1062.3 s]
/proc/loadavg: 8.08 8.07 7.89 9/184 11786
/proc/meminfo: memFree=23811196/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=906736 CPUtime=4242.49 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 546855 0 0 0 424007 242 0 0 25 0 4 0 500292130 928497664 104693 33554432000 4194304 4797429 140733812336096 18446744073709551615 4424333 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11751/statm: 226684 104693 420 148 0 221613 0
[pid=11751/tid=11756] ppid=11749 vsize=906736 CPUtime=1062 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 43606 0 0 0 106183 17 0 0 25 0 4 0 500292161 928497664 104693 33554432000 4194304 4797429 140733812336096 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=906736 CPUtime=1058.7 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 49822 0 0 0 105852 18 0 0 25 0 4 0 500292161 928497664 104693 33554432000 4194304 4797429 140733812336096 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=906736 CPUtime=1059.47 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 51128 0 0 0 105930 17 0 0 25 0 4 0 500292161 928497664 104693 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.49
Current children cumulated vsize (KiB) 906736

[startup+1122.3 s]
/proc/loadavg: 8.18 8.10 7.91 9/184 11788
/proc/meminfo: memFree=23851220/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=908504 CPUtime=4482.17 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 574776 0 0 0 447961 256 0 0 25 0 4 0 500292130 930308096 97240 33554432000 4194304 4797429 140733812336096 18446744073709551615 4424380 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11751/statm: 227126 97240 420 148 0 222055 0
[pid=11751/tid=11756] ppid=11749 vsize=908504 CPUtime=1122 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 43835 0 0 0 112183 17 0 0 25 0 4 0 500292161 930308096 97240 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=908504 CPUtime=1118.7 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 52619 0 0 0 111851 19 0 0 25 0 4 0 500292161 930308096 97240 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=908504 CPUtime=1119.15 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 53970 0 0 0 111897 18 0 0 25 0 4 0 500292161 930308096 97240 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.17
Current children cumulated vsize (KiB) 908504

[startup+1182.3 s]
/proc/loadavg: 8.37 8.17 7.95 9/184 11792
/proc/meminfo: memFree=23784992/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=973956 CPUtime=4721.03 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 594183 0 0 0 471838 265 0 0 25 0 4 0 500292130 997330944 111038 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11751/statm: 243489 111038 420 148 0 238418 0
[pid=11751/tid=11756] ppid=11749 vsize=973956 CPUtime=1182 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 47114 0 0 0 118181 19 0 0 25 0 4 0 500292161 997330944 111038 33554432000 4194304 4797429 140733812336096 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=973956 CPUtime=1178.7 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 54636 0 0 0 117850 20 0 0 25 0 4 0 500292161 997330944 111038 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=973956 CPUtime=1178.47 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 55321 0 0 0 117829 18 0 0 25 0 4 0 500292161 997330944 111038 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4721.03
Current children cumulated vsize (KiB) 973956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.26 8.15 7.95 5/179 11794
/proc/meminfo: memFree=23972392/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=973956 CPUtime=4800.14 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 595545 0 0 0 479748 266 0 0 25 0 4 0 500292130 997330944 112180 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11751/statm: 243489 112180 420 148 0 238418 0
[pid=11751/tid=11756] ppid=11749 vsize=973956 CPUtime=1201.81 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 47580 0 0 0 120162 19 0 0 25 0 4 0 500292161 997330944 112180 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568164 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=973956 CPUtime=1198.51 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 55225 0 0 0 119830 21 0 0 25 0 4 0 500292161 997330944 112180 33554432000 4194304 4797429 140733812336096 18446744073709551615 4503441 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=973956 CPUtime=1198.28 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 55628 0 0 0 119810 18 0 0 25 0 4 0 500292161 997330944 112180 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 973956

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

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

[startup+1202.1 s]
/proc/loadavg: 8.26 8.15 7.95 5/179 11794
/proc/meminfo: memFree=23972392/32951124 swapFree=67111524/67111528
[pid=11751] ppid=11749 vsize=973956 CPUtime=4800.14 cores=0,2,4,6
/proc/11751/stat : 11751 (techdemo) R 11749 11751 11292 0 -1 4202496 595545 0 0 0 479748 266 0 0 25 0 4 0 500292130 997330944 112180 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11751/statm: 243489 112180 420 148 0 238418 0
[pid=11751/tid=11756] ppid=11749 vsize=973956 CPUtime=1201.81 cores=0,2,4,6
/proc/11751/task/11756/stat : 11756 (techdemo) R 11749 11751 11292 0 -1 4202560 47580 0 0 0 120162 19 0 0 25 0 4 0 500292161 997330944 112180 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568164 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11751/tid=11757] ppid=11749 vsize=973956 CPUtime=1198.51 cores=0,2,4,6
/proc/11751/task/11757/stat : 11757 (techdemo) R 11749 11751 11292 0 -1 4202560 55225 0 0 0 119830 21 0 0 25 0 4 0 500292161 997330944 112180 33554432000 4194304 4797429 140733812336096 18446744073709551615 4503441 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11751/tid=11758] ppid=11749 vsize=973956 CPUtime=1198.28 cores=0,2,4,6
/proc/11751/task/11758/stat : 11758 (techdemo) R 11749 11751 11292 0 -1 4202560 55628 0 0 0 119810 18 0 0 25 0 4 0 500292161 997330944 112180 33554432000 4194304 4797429 140733812336096 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 973956

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.13
CPU time (s): 4800.2
CPU user time (s): 4797.51
CPU system time (s): 2.68659
CPU usage (%): 399.306
Max. virtual memory (cumulated for all children) (KiB): 1019020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.51
system time used= 2.68659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595545
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= 1383
involuntary context switches= 23961

runsolver used 1.9947 second user time and 4.50232 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 14:06:00
IDJOB=3172610
IDBENCH=82628
IDSOLVER=1584
FILE ID=node144/3172610-1304078760
RUNJOBID= node144-1304078760-11731
PBS_JOBID= 13170498
Free space on /tmp= 72400 MiB

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

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

MD5SUM BENCH= 15b86e0c1384321ea7bbac2466a811a7
RANDOM SEED=1814942399

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24412932 kB
Buffers:       2115312 kB
Cached:        5802044 kB
SwapCached:          4 kB
Active:         125032 kB
Inactive:      7865988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24412932 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           18720 kB
Writeback:           8 kB
AnonPages:       72592 kB
Mapped:          15164 kB
Slab:           483996 kB
PageTables:       4964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   241856 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= 72392 MiB
End job on node144 at 2011-04-29 14:26:04