Trace number 3172551

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.39 1202.03

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf
MD5SUM1a8d3d5d5a6ad4a4b0bb6bd83ad87f53
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark312.282
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-3172551-1304062893.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.28 s
0.29/0.30	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.29/0.38	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.31
0.29/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.29/0.49	c Calc non-exist non-lernt bins v-fix:     0 done:  25000 time:  0.04 s
0.29/0.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.29/0.49	c Subs w/ non-existent bins:      0 time:  0.02 s
1.07/0.58	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1.07/0.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.07/0.59	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
2.22/0.89	c lits-rem:         0  cl-subs:        0  v-elim:   1350  v-fix:    0  time:  1.17 s
2.22/0.89	c learnt bin added due to v-elim: 0
2.62/0.90	c Finding binary XORs  T:     0.02 s  found:       0
2.62/0.97	c Finding non-binary XORs:     0.26 s (found:       0, avg size: nan)
2.62/0.97	c calculated reachability. Time: 0.00
2.62/0.98	c Calc default polars -  time:   0.03 s pos:   11096 undec:    2820 neg:   11084
2.62/0.98	c =========================================================================================
2.62/0.98	c types(t): F = full restart, N = normal restart
2.62/0.98	c types(t): S = simplification begin/end, E = solution found
2.62/0.98	c restart types(rt): st = static, dy = dynamic
2.62/0.98	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
2.62/0.98	c  B st     0         0     24265    103896         0         0    315804         0   no data   no data  --
5.42/1.69	c Decided on dynamic restart strategy
8.23/2.39	c  N dy    20      4114     24265    103896         0      4112    315804    887950    207.24    150.08  --
14.60/3.95	c  N dy    48      8143     24265    103896         0      8140    315804   1693226    203.53    143.01  --
20.54/5.40	c  N dy    76     12149     24265    103896         0     12146    315804   2458465    206.26    139.14  --
26.49/6.96	c  N dy   105     16264     24265    103896         0     16261    315804   3231789    194.44    136.28  --
33.28/8.62	c  N dy   133     20281     24265    103896         0     10279    315804    596948    188.73    134.74  --
40.07/10.35	c  N dy   162     24411     24265    103896         0     14409    315804   1381262    193.84    134.28  --
46.47/11.94	c  N dy   191     28505     24265    103896         0     18501    315804   2161488    193.49    133.60  --
49.67/12.72	c  S st   202     30002     24265    103896         0     19997    315804   2442448    194.80    133.41  --
50.47/12.92	c  S st   202     30503     24265    103896         0     20498    315804   2516551    194.80    133.41  --
50.47/12.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
50.47/12.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.66/13.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  1.10
51.66/13.22	c Calc non-exist non-lernt bins v-fix:     0 done:  24265 time:  0.04 s
51.66/13.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.66/13.25	c Subs w/ non-existent bins:      0 time:  0.11 s
52.47/13.47	c bin-w-bin subsume rem            0 bins  time:  0.04 s
52.47/13.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
52.47/13.49	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
79.21/20.15	c lits-rem:         7  cl-subs:     2760  v-elim:    591  v-fix:    0  time: 26.60 s
79.21/20.15	c learnt bin added due to v-elim: 0
79.21/20.16	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
79.21/20.19	c vivif2 --  cl tried    17738 cl shrink        0 lits rem          0 time: 0.10
80.41/20.44	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 1.02
80.41/20.45	c calculated reachability. Time: 0.00
80.41/20.45	c  N dy   202     30503     24131    104030         0     17738    317036   1872862    194.80    133.41  --
80.41/20.45	c  F st   202     30503     24131    104030         0     17738    317036   1872862    194.80    133.41  --
84.41/21.42	c Decided on dynamic restart strategy
88.00/22.30	c  N dy   222     34558     24131    104030         0     21790    317036   2808378    185.61    135.83  --
94.00/23.86	c  N dy   250     38561     24131    104030         0     25793    317036   3568456    181.29    135.09  --
100.81/25.59	c  N dy   278     42589     24131    104030         0     29821    317036   4385969    204.11    135.47  --
106.78/27.08	c  S st   301     45754     24131    104030         0     17490    317036   1015242    187.26    134.95  --
107.98/27.30	c  S st   301     46258     24131    104030         0     17994    317036   1085866    187.26    134.95  --
107.98/27.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
107.98/27.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.78/27.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.86
108.78/27.54	c Calc non-exist non-lernt bins v-fix:     0 done:  24131 time:  0.05 s
108.78/27.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.78/27.56	c Subs w/ non-existent bins:      0 time:  0.08 s
109.20/27.66	c bin-w-bin subsume rem            0 bins  time:  0.04 s
109.20/27.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
109.20/27.68	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
120.36/30.47	c lits-rem:         1  cl-subs:      590  v-elim:    397  v-fix:    0  time: 11.14 s
120.36/30.47	c learnt bin added due to v-elim: 0
120.36/30.48	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.04
120.36/30.49	c vivif2 --  cl tried    17404 cl shrink        0 lits rem          0 time: 0.06
121.16/30.68	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.76
121.16/30.69	c calculated reachability. Time: 0.00
121.16/30.69	c  N dy   301     46258     24131    104030         0     17404    317036   1049747    187.26    134.95  --
127.95/32.31	c  N dy   330     50363     24131    104030         0     21507    317036   1826294    182.08    134.74  --
134.74/34.03	c  N dy   358     54388     24131    104030         0     25532    317036   2590404    192.59    134.46  --
141.92/35.84	c  N dy   386     58407     24131    104030         0     29550    317036   3360144    184.98    134.20  --
148.74/37.60	c  N dy   414     62435     24131    104030         0     33577    317036   4169708    200.80    134.35  --
155.90/39.38	c  N dy   442     66448     24131    104030         0     18844    317036    657056    174.05    133.90  --
161.50/40.73	c  S st   464     69387     24131    104030         0     21783    317036   1217943    187.43    133.82  --
162.32/40.95	c  S st   464     69894     24131    104030         0     22290    317036   1290829    187.43    133.82  --
162.32/40.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
162.32/40.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.50/41.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.92
163.50/41.21	c Calc non-exist non-lernt bins v-fix:     0 done:  24131 time:  0.05 s
163.50/41.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.50/41.23	c Subs w/ non-existent bins:      0 time:  0.08 s
163.90/41.34	c bin-w-bin subsume rem            0 bins  time:  0.03 s
163.90/41.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
163.90/41.36	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
175.87/44.38	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
182.27/45.97	c Added 0 vars  tried: 80000 time: 6.38
182.27/45.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:    6.38
182.67/46.03	c lits-rem:         5  cl-subs:      757  v-elim:    397  v-fix:    0  time: 18.65 s
182.67/46.03	c learnt bin added due to v-elim: 0
182.67/46.04	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
182.67/46.05	c vivif2 --  cl tried    21533 cl shrink        0 lits rem          0 time: 0.06
183.47/46.27	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 0.86
183.47/46.28	c calculated reachability. Time: 0.01
183.47/46.28	c  N dy   464     69894     24131    104030         0     21533    317036   1250647    187.43    133.82  --
183.47/46.28	c  F st   464     69894     24131    104030         0     21533    317036   1250647    187.43    133.82  --
187.46/47.21	c Decided on dynamic restart strategy
191.45/48.20	c  N dy   487     74386     24131    104030         0     26024    317036   2175594    194.30    134.12  --
199.85/50.37	c  N dy   520     79145     24131    104030         0     30783    317036   3103945    180.36    134.04  --
209.44/52.77	c  N dy   556     84297     24131    104030         0     35935    317036   4097150    181.86    133.91  --
219.44/55.26	c  N dy   594     89719     24131    104030         0     41357    317036   5139964    199.32    133.82  --
229.81/57.84	c  N dy   635     95555     24131    104030         0     26320    317036   1665256    196.18    133.63  --
241.01/60.68	c  N dy   678    101666     24131    104030         0     32431    317036   2849872    184.30    133.54  --
248.18/62.46	c  S st   701    104842     24131    104030         0     35607    317036   3434825    196.82    133.42  --
249.38/62.70	c  S st   701    105344     24131    104030         0     36109    317036   3499038    196.82    133.42  --
249.38/62.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
249.38/62.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.58/63.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.44
250.58/63.09	c Calc non-exist non-lernt bins v-fix:     0 done:  24131 time:  0.05 s
250.58/63.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.98/63.13	c Subs w/ non-existent bins:      0 time:  0.16 s
251.78/63.39	c bin-w-bin subsume rem            0 bins  time:  0.04 s
251.78/63.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
252.18/63.40	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
291.32/73.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.01
291.72/73.37	c lits-rem:         0  cl-subs:     1414  v-elim:    397  v-fix:    0  time: 39.78 s
291.72/73.37	c learnt bin added due to v-elim: 0
291.72/73.38	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.04
292.12/73.42	c vivif2 --  cl tried    34695 cl shrink        0 lits rem          0 time: 0.17
293.32/73.79	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 1.47
293.32/73.80	c calculated reachability. Time: 0.01
293.32/73.80	c  N dy   701    105344     24131    104030         0     34695    317036   3342396    196.82    133.42  --
305.69/76.80	c  N dy   749    112197     24131    104030         0     41545    317036   4676912    205.09    133.30  --
318.08/79.92	c  N dy   800    119428     24131    104030         0     26341    317036   1319092    198.78    133.14  --
330.86/83.18	c  N dy   854    127133     24131    104030         0     34046    317036   2804502    187.24    132.96  --
345.64/86.89	c  N dy   911    135289     24131    104030         0     42201    317036   4366686    205.25    132.78  --
362.03/90.91	c  N dy   972    144011     24131    104030         0     27206    317036   1225242    210.02    132.80  --
378.40/95.06	c  N dy  1037    153285     24131    104030         0     36479    317036   3002162    190.91    132.71  --
388.39/97.53	c  S st  1070    158016     24131    104030         0     41210    317036   3925606    175.95    132.75  --
389.18/97.77	c  S st  1070    158524     24131    104030         0     41718    317036   3994673    175.95    132.75  --
389.18/97.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
389.18/97.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
390.80/98.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.60
391.18/98.20	c Calc non-exist non-lernt bins v-fix:     0 done:  24131 time:  0.05 s
391.18/98.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
391.18/98.24	c Subs w/ non-existent bins:      0 time:  0.16 s
392.38/98.50	c bin-w-bin subsume rem            0 bins  time:  0.03 s
392.38/98.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
392.38/98.52	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
499.03/125.24	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
499.43/125.32	c lits-rem:         0  cl-subs:     1714  v-elim:    397  v-fix:    0  time: 107.08 s
499.43/125.32	c learnt bin added due to v-elim: 0
499.43/125.34	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.04
499.43/125.38	c vivif2 --  cl tried    40004 cl shrink        0 lits rem          0 time: 0.20
501.03/125.79	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 1.63
501.43/125.80	c calculated reachability. Time: 0.00
501.43/125.80	c  N dy  1070    158524     24131    104030         0     40004    317036   3845740    175.95    132.75  --
521.80/130.92	c  N dy  1141    168776     24131    104030         0     25398    317036    634774    202.62    132.86  --
541.38/135.81	c  N dy  1217    179679     24131    104030         0     36299    317036   2750941    189.91    132.89  --
564.15/141.56	c  N dy  1298    191237     24131    104030         0     47857    317036   4978648    191.98    132.88  --
587.32/147.30	c  N dy  1384    203464     24131    104030         0     34157    317036   2072162    191.54    132.83  --
612.88/153.79	c  N dy  1476    216576     24131    104030         0     47267    317036   4687289    205.60    133.06  --
640.04/160.54	c  N dy  1573    230517     24131    104030         0     34245    317036   1894579    217.80    132.92  --
655.61/164.44	c  S st  1624    237787     24131    104030         0     41514    317036   3313164    191.50    132.91  --
656.82/164.71	c  S st  1624    238289     24131    104030         0     42016    317036   3384401    191.50    132.91  --
656.82/164.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
656.82/164.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
658.44/165.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  1.61
658.44/165.14	c Calc non-exist non-lernt bins v-fix:     0 done:  24131 time:  0.05 s
658.44/165.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
658.44/165.18	c Subs w/ non-existent bins:      0 time:  0.15 s
659.61/165.41	c bin-w-bin subsume rem            0 bins  time:  0.04 s
659.61/165.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
659.61/165.43	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
700.76/175.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
701.16/175.81	c lits-rem:         0  cl-subs:     1968  v-elim:    397  v-fix:    0  time: 41.46 s
701.16/175.81	c learnt bin added due to v-elim: 0
701.16/175.82	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
701.16/175.87	c vivif2 --  cl tried    40048 cl shrink        0 lits rem          0 time: 0.18
702.77/176.26	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 1.56
702.77/176.27	c calculated reachability. Time: 0.00
702.77/176.27	c  N dy  1624    238289     24131    104030         0     40048    317036   3222740    191.50    132.91  --
734.72/184.26	c  N dy  1731    253628     24131    104030         0     55384    317036   6241856    194.57    133.00  --
764.30/191.67	c  N dy  1845    269914     24131    104030         0     43686    317036   3511487    172.98    132.95  --
796.62/199.78	c  N dy  1966    287262     24131    104030         0     32046    317036   1050022    197.96    132.93  --
830.20/208.17	c  N dy  2095    305730     24131    104030         0     50513    317036   4583376    195.77    132.77  --
867.33/217.44	c  N dy  2232    325319     24131    104030         0     40109    317036   2352404    184.51    132.67  --
906.88/227.34	c  N dy  2373    345457     24131    104030         0     60243    317036   6243158    189.30    132.66  --
930.44/233.22	c  S st  2457    357433     24131    104030         0     41222    317036   2457186    200.65    132.67  --
931.27/233.47	c  S st  2457    357934     24131    104030         0     41723    317036   2528088    200.65    132.67  --
931.27/233.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
931.27/233.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
932.85/233.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.3M T:  1.58
933.25/233.90	c Calc non-exist non-lernt bins v-fix:     0 done:  24131 time:  0.05 s
933.25/233.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
933.25/233.93	c Subs w/ non-existent bins:      0 time:  0.12 s
934.05/234.10	c bin-w-bin subsume rem            0 bins  time:  0.04 s
934.05/234.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
934.05/234.12	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
962.80/241.39	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
972.39/243.78	c Added 0 vars  tried: 80000 time: 9.54
972.39/243.78	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    9.54
972.79/243.86	c lits-rem:         2  cl-subs:     2165  v-elim:    397  v-fix:    0  time: 38.88 s
972.79/243.86	c learnt bin added due to v-elim: 0
972.79/243.87	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.06
973.19/243.91	c vivif2 --  cl tried    39558 cl shrink        0 lits rem          0 time: 0.14
974.39/244.24	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 1.35
974.39/244.25	c calculated reachability. Time: 0.00
974.39/244.25	c  N dy  2457    357934     24131    104030         0     39558    317036   2422706    200.65    132.67  --
1015.12/254.48	c  N dy  2597    377941     24131    104030         0     59564    317036   6338115    190.40    132.71  --
1055.07/264.48	c  N dy  2737    397974     24131    104030         0     47600    317036   3460992    171.07    132.72  --
1098.24/275.23	c  N dy  2878    418080     24131    104030         0     34707    317036    780721    203.41    132.83  --
1138.16/285.25	c  N dy  3018    438113     24131    104030         0     54733    317036   4672809    198.77    132.81  --
1180.10/295.77	c  N dy  3158    458156     24131    104030         0     40777    317036   1763692    188.93    132.78  --
1222.44/306.34	c  N dy  3299    478229     24131    104030         0     60847    317036   5709957    199.85    132.82  --
1264.80/316.99	c  N dy  3440    498336     24131    104030         0     45959    317036   2606869    197.94    132.82  --
1307.53/327.67	c  N dy  3580    518452     24131    104030         0     66074    317036   6595252    197.14    132.90  --
1345.87/337.21	c  S st  3710    536902     24131    104030         0     48527    317036   2852186    187.29    132.87  --
1346.67/337.47	c  S st  3710    537402     24131    104030         0     49027    317036   2919009    187.29    132.87  --
1346.67/337.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1346.67/337.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1348.69/337.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.4M T:  1.85
1348.69/337.96	c Calc non-exist non-lernt bins v-fix:     0 done:  24131 time:  0.04 s
1348.69/337.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1348.69/338.00	c Subs w/ non-existent bins:      0 time:  0.12 s
1349.46/338.17	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1349.46/338.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1349.46/338.19	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
1387.02/347.52	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
1387.42/347.60	c lits-rem:         0  cl-subs:     2702  v-elim:    397  v-fix:    0  time: 37.58 s
1387.42/347.60	c learnt bin added due to v-elim: 0
1387.42/347.61	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.04
1387.42/347.65	c vivif2 --  cl tried    46325 cl shrink        0 lits rem          0 time: 0.14
1388.61/347.99	c asymm  cl-useful: 0/104030/104030 lits-rem:0 time: 1.37
1389.01/348.00	c calculated reachability. Time: 0.01
1389.01/348.00	c  N dy  3710    537402     24131    104030         0     46325    317036   2788417    187.29    132.87  --
1389.01/348.00	c  F st  3710    537402     24131    104030         0     46325    317036   2788417    187.29    132.87  --
1392.63/348.96	c Decided on dynamic restart strategy
1428.56/357.95	c  N dy  3842    557461     24131    104030         0     66379    317036   6772371    183.97    132.93  --
1469.31/368.19	c  N dy  3983    577586     24131    104030         0     49509    317036   2887258    193.37    132.87  --
1511.64/378.73	c  N dy  4123    597627     24131    104030         0     69547    317036   6881776    197.95    132.94  --
1553.19/389.10	c  N dy  4263    617754     24131    104030         0     51678    317036   3096486    195.47    132.94  --
1597.13/400.11	c  N dy  4404    637899     24131    104030         0     71821    317036   6998202    195.17    132.93  --
1639.47/410.73	c  N dy  4544    657991     24131    104030         0     52916    317036   3129922    169.78    132.89  --
1683.81/421.87	c  N dy  4684    678007     24131    104030         0     72930    317036   7030383    203.84    132.91  --
1727.74/432.83	c  N dy  4825    698112     24131    104030         0     53037    317036   3049664    219.27    132.91  --
1772.49/444.01	c  N dy  4966    718144     24131    104030         0     73067    317036   6965772    183.37    132.90  --
1815.23/454.72	c  N dy  5106    738201     24131    104030         0     52125    317036   2561713    177.69    132.86  --
1861.17/466.24	c  N dy  5246    758312     24131    104030         0     72233    317036   6551811    202.19    132.90  --
1905.11/477.23	c  N dy  5386    778358     24131    104030         0     50282    317036   2035584    201.04    132.93  --
1949.45/488.34	c  N dy  5526    798373     24131    104030         0     70294    317036   5959719    185.85    132.95  --
1970.22/493.59	c  S st  5581    806103     24131    104030         0     78021    317036   7448801    186.46    132.94  --
1971.82/493.94	c  S st  5581    806606     24131    104030         0     78524    317036   7524430    186.46    132.94  --
1971.82/493.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1971.82/493.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1975.42/494.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.1M T:  3.44
1975.42/494.84	c Calc non-exist non-lernt bins v-fix:     0 done:  24131 time:  0.06 s
1975.42/494.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1975.82/494.91	c Subs w/ non-existent bins:      0 time:  0.29 s
1977.80/495.40	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1977.80/495.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1977.80/495.42	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
2468.34/618.21	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
2468.76/618.36	c lits-rem:         0  cl-subs:     4449  v-elim:    397  v-fix:    0  time: 491.01 s
2468.76/618.36	c learnt bin added due to v-elim: 0
2468.76/618.37	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
2469.16/618.47	c vivif2 --  cl tried    74075 cl shrink        0 lits rem          0 time: 0.40
2471.54/619.01	c asymm  cl-useful: 0/77805/104030 lits-rem:0 time: 2.15
2471.54/619.02	c calculated reachability. Time: 0.00
2471.54/619.02	c  N dy  5581    806606     24131    104030         0     74075    317036   7195746    186.46    132.94  --
2516.68/630.32	c  N dy  5721    826658     24131    104030         0     51132    317036   2074504    199.60    132.96  --
2561.80/641.61	c  N dy  5860    846676     24131    104030         0     71146    317036   6007027    190.13    133.00  --
2608.15/653.25	c  N dy  6000    866711     24131    104030         0     47184    317036   1097813    206.44    132.99  --
2652.09/664.22	c  N dy  6141    886781     24131    104030         0     67251    317036   5041638    193.54    133.03  --
2700.81/676.40	c  N dy  6281    906863     24131    104030         0     87328    317036   9000566    189.28    133.05  --
2741.58/686.65	c  N dy  6422    926967     24131    104030         0     62437    317036   3836417    177.09    133.00  --
2783.90/697.22	c  N dy  6563    947052     24131    104030         0     82517    317036   7764797    197.57    133.00  --
2827.04/708.00	c  N dy  6704    967094     24131    104030         0     56564    317036   2519829    179.72    132.98  --
2869.38/718.69	c  N dy  6844    987106     24131    104030         0     76575    317036   6430684    211.37    132.98  --
2916.12/730.31	c  N dy  6984   1007162     24131    104030         0     49635    317036    991128    196.17    132.96  --
2958.46/740.95	c  N dy  7125   1027275     24131    104030         0     69746    317036   4918490    200.01    132.97  --
3005.21/752.64	c  N dy  7265   1047361     24131    104030         0     89829    317036   8817019    210.42    132.95  --
3050.33/763.95	c  N dy  7406   1067420     24131    104030         0     61892    317036   3195597    195.06    132.94  --
3097.09/775.66	c  N dy  7547   1087582     24131    104030         0     82053    317036   7055981    195.89    132.92  --
3146.60/788.02	c  N dy  7687   1107707     24131    104030         0     53180    317036   1303996    184.39    132.97  --
3190.94/799.10	c  N dy  7828   1127823     24131    104030         0     73295    317036   5205110    205.23    132.98  --
3240.47/811.57	c  N dy  7969   1147959     24131    104030         0     93428    317036   9142329    191.68    132.99  --
3286.03/822.92	c  N dy  8109   1167979     24131    104030         0     63451    317036   3069166    194.64    132.96  --
3333.54/834.86	c  N dy  8250   1188123     24131    104030         0     83591    317036   6946114    197.88    132.94  --
3384.27/847.50	c  N dy  8391   1208217     24131    104030         0     52691    317036    821004    195.08    132.96  --
3387.88/848.49	c  S st  8403   1209909     24131    104030         0     54383    317036   1132110    182.78    132.95  --
3389.08/848.78	c  S st  8403   1210413     24131    104030         0     54887    317036   1200124    182.78    132.95  --
3389.48/848.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3389.48/848.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3391.49/849.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.3M T:  2.39
3391.89/849.41	c Calc non-exist non-lernt bins v-fix:     0 done:  24131 time:  0.06 s
3391.89/849.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3391.89/849.43	c Subs w/ non-existent bins:      0 time:  0.09 s
3392.27/849.54	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3392.27/849.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3392.27/849.56	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
3404.67/852.64	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
3409.47/853.89	c Added 0 vars  tried: 80000 time: 5.01
3409.47/853.89	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.01
3409.85/853.95	c lits-rem:         0  cl-subs:     3676  v-elim:    397  v-fix:    0  time: 17.53 s
3409.85/853.95	c learnt bin added due to v-elim: 0
3409.85/853.97	c vivif2 --  cl tried   104030 cl shrink        0 lits rem          0 time: 0.05
3409.85/853.99	c vivif2 --  cl tried    51211 cl shrink        0 lits rem          0 time: 0.08
3410.25/854.07	c asymm  cl-useful: 0/26225/104030 lits-rem:0 time: 0.34
3410.25/854.08	c calculated reachability. Time: 0.00
3410.25/854.08	c  N dy  8403   1210413     24131    104030         0     51211    317036   1143221    182.78    132.95  --
3456.19/865.56	c  N dy  8544   1230551     24131    104030         0     71346    317036   4976819    203.28    132.91  --
3504.11/877.55	c  N dy  8685   1250641     24131    104030         0     91432    317036   9019309    190.51    132.98  --
3549.67/888.91	c  N dy  8825   1270771     24131    104030         0     59568    317036   2073317    205.23    133.03  --
3591.99/899.55	c  N dy  8965   1290783     24131    104030         0     79579    317036   6000961    203.10    133.04  --
3639.53/911.48	c  N dy  9106   1310893     24131    104030         0     99686    317036   9917164    209.40    133.03  --
3684.67/922.78	c  N dy  9246   1330912     24131    104030         0     66710    317036   3172666    211.55    133.04  --
3730.23/934.17	c  N dy  9386   1350949     24131    104030         0     86745    317036   7122216    189.25    133.07  --
3781.74/947.02	c  N dy  9526   1370982     24131    104030         0    106775    317036  10933755    196.54    133.02  --
3827.27/958.41	c  N dy  9666   1391105     24131    104030         0     72902    317036   4148585    185.09    132.99  --
3876.40/970.77	c  N dy  9805   1411112     24131    104030         0     92908    317036   8121476    202.83    133.02  --
3928.73/983.80	c  N dy  9946   1431131     24131    104030         0     57928    317036   1072676    184.33    133.00  --
3973.87/995.11	c  N dy 10086   1451148     24131    104030         0     77943    317036   4991170    202.89    133.00  --
4023.80/1007.62	c  N dy 10227   1471282     24131    104030         0     98077    317036   8896455    185.77    133.02  --
4075.73/1020.69	c  N dy 10367   1491351     24131    104030         0     62149    317036   1732485    191.03    133.03  --
4122.07/1032.28	c  N dy 10508   1511461     24131    104030         0     82257    317036   5611726    193.32    133.01  --
4174.40/1045.33	c  N dy 10649   1531605     24131    104030         0    102399    317036   9560156    194.39    133.02  --
4225.13/1058.02	c  N dy 10790   1551618     24131    104030         0     65417    317036   2131837    181.90    133.01  --
4271.46/1069.69	c  N dy 10930   1571648     24131    104030         0     85444    317036   5957017    187.65    132.98  --
4324.99/1083.02	c  N dy 11071   1591749     24131    104030         0    105543    317036   9901852    209.51    132.99  --
4374.92/1095.50	c  N dy 11211   1611773     24131    104030         0     67569    317036   2408516    198.74    133.00  --
4420.08/1106.80	c  N dy 11351   1631882     24131    104030         0     87677    317036   6279646    189.06    132.98  --
4469.59/1119.20	c  N dy 11492   1651962     24131    104030         0    107755    317036  10254890    219.71    133.01  --
4515.93/1130.86	c  N dy 11632   1672097     24131    104030         0     68893    317036   2448571    202.48    133.04  --
4559.87/1141.89	c  N dy 11773   1692207     24131    104030         0     89002    317036   6306955    181.60    133.02  --
4608.62/1154.03	c  S st 11901   1710416     24131    104030         0    107206    317036   9869664    192.11    133.02  --
4609.80/1154.39	c  S st 11901   1710923     24131    104030         0    107713    317036   9955493    192.11    133.02  --
4610.20/1154.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4610.20/1154.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4615.40/1155.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.4M T:  5.31
4615.40/1155.76	c Calc non-exist non-lernt bins v-fix:     0 done:  24131 time:  0.06 s
4615.40/1155.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4615.80/1155.85	c Subs w/ non-existent bins:      0 time:  0.36 s
4618.19/1156.47	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4618.19/1156.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4618.19/1156.49	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-3172551-1304062893/watcher-3172551-1304062893 -o /tmp/evaluation-result-3172551-1304062893/solver-3172551-1304062893 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172551-1304062893.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: 3.59 5.91 7.21 7/180 30221
/proc/meminfo: memFree=24415112/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=24712 CPUtime=0 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 1444 0 0 0 0 0 0 0 21 0 1 0 517887082 25305088 1383 33554432000 4194304 4797429 140736656538144 18446744073709551615 4365507 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30221/statm: 6178 1388 341 148 0 1107 0

[startup+0.013495 s]
/proc/loadavg: 3.59 5.91 7.21 7/180 30221
/proc/meminfo: memFree=24415112/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=31432 CPUtime=0 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 3327 0 0 0 0 0 0 0 21 0 1 0 517887082 32186368 2793 33554432000 4194304 4797429 140736656538144 18446744073709551615 212687733162 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30221/statm: 7906 2793 342 148 0 2835 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 31432

[startup+0.100477 s]
/proc/loadavg: 3.59 5.91 7.21 7/180 30221
/proc/meminfo: memFree=24415112/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=95320 CPUtime=0.09 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 14292 0 0 0 7 2 0 0 21 0 1 0 517887082 97607680 10958 33554432000 4194304 4797429 140736656538144 18446744073709551615 212687336133 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30221/statm: 23830 10959 348 148 0 18759 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 95320

[startup+0.30044 s]
/proc/loadavg: 3.59 5.91 7.21 7/180 30221
/proc/meminfo: memFree=24415112/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=112728 CPUtime=0.29 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 20244 0 0 0 27 2 0 0 22 0 1 0 517887082 115433472 16602 33554432000 4194304 4797429 140736656538144 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30221/statm: 28182 16602 348 148 0 23111 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112728

[startup+0.745322 s]
/proc/loadavg: 3.59 5.91 7.21 7/180 30221
/proc/meminfo: memFree=24415112/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=816824 CPUtime=2 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 31092 0 0 0 188 12 0 0 18 0 4 0 517887082 836427776 25302 33554432000 4194304 4797429 140736656538144 18446744073709551615 4492026 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 204206 25302 397 148 0 199135 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 816824

[startup+1.50118 s]
/proc/loadavg: 3.59 5.91 7.21 9/184 30225
/proc/meminfo: memFree=24282780/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=825456 CPUtime=5.02 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 35734 0 0 0 488 14 0 0 19 0 4 0 517887082 845266944 29873 33554432000 4194304 4797429 140736656538144 18446744073709551615 4388582 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 206364 29873 410 148 0 201293 0
[pid=30221/tid=30223] ppid=30219 vsize=825456 CPUtime=1.17 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 4497 0 0 0 114 3 0 0 18 0 4 0 517887113 845266944 29873 33554432000 4194304 4797429 140736656538144 18446744073709551615 4424353 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=825456 CPUtime=1.16 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 3934 0 0 0 113 3 0 0 19 0 4 0 517887113 845266944 29873 33554432000 4194304 4797429 140736656538144 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=825456 CPUtime=1.17 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 3993 0 0 0 116 1 0 0 19 0 4 0 517887113 845266944 29873 33554432000 4194304 4797429 140736656538144 18446744073709551615 4425625 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 825456

[startup+3.10089 s]
/proc/loadavg: 3.59 5.91 7.21 9/184 30225
/proc/meminfo: memFree=24264552/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=825456 CPUtime=11.41 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 39123 0 0 0 1126 15 0 0 22 0 4 0 517887082 845266944 33241 33554432000 4194304 4797429 140736656538144 18446744073709551615 4390848 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 206364 33241 412 148 0 201293 0
[pid=30221/tid=30223] ppid=30219 vsize=825456 CPUtime=2.77 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 5331 0 0 0 274 3 0 0 22 0 4 0 517887113 845266944 33241 33554432000 4194304 4797429 140736656538144 18446744073709551615 4387498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=825456 CPUtime=2.75 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 4785 0 0 0 272 3 0 0 22 0 4 0 517887113 845266944 33241 33554432000 4194304 4797429 140736656538144 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=825456 CPUtime=2.77 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 4815 0 0 0 276 1 0 0 22 0 4 0 517887113 845266944 33241 33554432000 4194304 4797429 140736656538144 18446744073709551615 4425622 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 825456

[startup+6.30031 s]
/proc/loadavg: 3.94 5.94 7.21 10/184 30225
/proc/meminfo: memFree=24206036/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=835328 CPUtime=24.09 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 51406 0 0 0 2380 29 0 0 18 0 4 0 517887082 855375872 45503 33554432000 4194304 4797429 140736656538144 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 208832 45503 416 148 0 203761 0
[pid=30221/tid=30223] ppid=30219 vsize=835328 CPUtime=5.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 8359 0 0 0 585 9 0 0 18 0 4 0 517887113 855375872 45503 33554432000 4194304 4797429 140736656538144 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=835328 CPUtime=5.89 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 8133 0 0 0 581 8 0 0 18 0 4 0 517887113 855375872 45503 33554432000 4194304 4797429 140736656538144 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=835328 CPUtime=5.96 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 8559 0 0 0 591 5 0 0 19 0 4 0 517887113 855375872 45503 33554432000 4194304 4797429 140736656538144 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.09
Current children cumulated vsize (KiB) 835328

[startup+12.7011 s]
/proc/loadavg: 4.27 5.98 7.21 9/184 30226
/proc/meminfo: memFree=24196516/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=841664 CPUtime=49.67 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 58425 0 0 0 4935 32 0 0 25 0 4 0 517887082 861863936 46879 33554432000 4194304 4797429 140736656538144 18446744073709551615 4415851 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 210416 46879 417 148 0 205345 0
[pid=30221/tid=30223] ppid=30219 vsize=841664 CPUtime=12.34 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 9404 0 0 0 1225 9 0 0 25 0 4 0 517887113 861863936 46879 33554432000 4194304 4797429 140736656538144 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=841664 CPUtime=12.26 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 8494 0 0 0 1218 8 0 0 25 0 4 0 517887113 861863936 46879 33554432000 4194304 4797429 140736656538144 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=841664 CPUtime=12.35 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 9411 0 0 0 1230 5 0 0 25 0 4 0 517887113 861863936 46879 33554432000 4194304 4797429 140736656538144 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (KiB) 841664

[startup+25.5068 s]
/proc/loadavg: 5.17 6.09 7.23 9/184 30226
/proc/meminfo: memFree=24150012/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=854052 CPUtime=100.81 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 67863 0 0 0 10046 35 0 0 25 0 4 0 517887082 874549248 55707 33554432000 4194304 4797429 140736656538144 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 213513 55707 419 148 0 208442 0
[pid=30221/tid=30223] ppid=30219 vsize=854052 CPUtime=25.15 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 10432 0 0 0 2505 10 0 0 25 0 4 0 517887113 874549248 55707 33554432000 4194304 4797429 140736656538144 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=854052 CPUtime=24.99 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 9574 0 0 0 2491 8 0 0 25 0 4 0 517887113 874549248 55707 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=854052 CPUtime=25.17 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 10642 0 0 0 2511 6 0 0 25 0 4 0 517887113 874549248 55707 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.81
Current children cumulated vsize (KiB) 854052

[startup+51.1012 s]
/proc/loadavg: 6.20 6.26 7.26 9/184 30227
/proc/meminfo: memFree=24119808/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=863896 CPUtime=203.04 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 83937 0 0 0 20264 40 0 0 25 0 4 0 517887082 884629504 60084 33554432000 4194304 4797429 140736656538144 18446744073709551615 4387424 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 215974 60084 420 148 0 210903 0
[pid=30221/tid=30223] ppid=30219 vsize=863896 CPUtime=50.74 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 11890 0 0 0 5064 10 0 0 25 0 4 0 517887113 884629504 60084 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=863896 CPUtime=50.44 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 10928 0 0 0 5036 8 0 0 25 0 4 0 517887113 884629504 60084 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=863896 CPUtime=50.75 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 12258 0 0 0 5069 6 0 0 25 0 4 0 517887113 884629504 60084 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.04
Current children cumulated vsize (KiB) 863896

[startup+102.301 s]
/proc/loadavg: 7.33 6.56 7.30 9/184 30228
/proc/meminfo: memFree=24090868/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=889460 CPUtime=407.57 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 119176 0 0 0 40702 55 0 0 25 0 4 0 517887082 910807040 64334 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 222365 64334 420 148 0 217294 0
[pid=30221/tid=30223] ppid=30219 vsize=889460 CPUtime=101.93 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 15455 0 0 0 10182 11 0 0 25 0 4 0 517887113 910807040 64334 33554432000 4194304 4797429 140736656538144 18446744073709551615 4415657 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=889460 CPUtime=101.37 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 15789 0 0 0 10128 9 0 0 25 0 4 0 517887113 910807040 64334 33554432000 4194304 4797429 140736656538144 18446744073709551615 4495554 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=889460 CPUtime=101.95 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 16226 0 0 0 10187 8 0 0 25 0 4 0 517887113 910807040 64334 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568090 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.57
Current children cumulated vsize (KiB) 889460

[startup+162.301 s]
/proc/loadavg: 7.81 6.83 7.35 9/184 30230
/proc/meminfo: memFree=24050156/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=901520 CPUtime=647.23 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 147160 0 0 0 64658 65 0 0 25 0 4 0 517887082 923156480 72251 33554432000 4194304 4797429 140736656538144 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 225380 72251 420 148 0 220309 0
[pid=30221/tid=30223] ppid=30219 vsize=901520 CPUtime=161.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 18467 0 0 0 16181 13 0 0 25 0 4 0 517887113 923156480 72251 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=901520 CPUtime=161.04 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 18439 0 0 0 16094 10 0 0 25 0 4 0 517887113 923156480 72251 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=901520 CPUtime=161.95 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 18675 0 0 0 16186 9 0 0 25 0 4 0 517887113 923156480 72251 33554432000 4194304 4797429 140736656538144 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.23
Current children cumulated vsize (KiB) 901520

[startup+222.301 s]
/proc/loadavg: 7.98 7.06 7.39 9/184 30231
/proc/meminfo: memFree=24028548/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=910532 CPUtime=886.92 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 183051 0 0 0 88611 81 0 0 25 0 4 0 517887082 932384768 74359 33554432000 4194304 4797429 140736656538144 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 227633 74359 420 148 0 222562 0
[pid=30221/tid=30223] ppid=30219 vsize=910532 CPUtime=221.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 22434 0 0 0 22180 14 0 0 25 0 4 0 517887113 932384768 74359 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=910532 CPUtime=220.72 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 22842 0 0 0 22060 12 0 0 25 0 4 0 517887113 932384768 74359 33554432000 4194304 4797429 140736656538144 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=910532 CPUtime=221.96 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 22068 0 0 0 22185 11 0 0 25 0 4 0 517887113 932384768 74359 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 886.92
Current children cumulated vsize (KiB) 910532

[startup+282.301 s]

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

[pid=30221] ppid=30219 vsize=954300 CPUtime=2564.6 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 346261 0 0 0 256305 155 0 0 25 0 4 0 517887082 977203200 96494 33554432000 4194304 4797429 140736656538144 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 238575 96494 420 148 0 233504 0
[pid=30221/tid=30223] ppid=30219 vsize=954300 CPUtime=641.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 36670 0 0 0 64175 19 0 0 25 0 4 0 517887113 977203200 96494 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=954300 CPUtime=638.44 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 36221 0 0 0 63827 17 0 0 25 0 4 0 517887113 977203200 96494 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=954300 CPUtime=641.96 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 35367 0 0 0 64178 18 0 0 25 0 4 0 517887113 977203200 96494 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2564.6
Current children cumulated vsize (KiB) 954300

[startup+702.301 s]
/proc/loadavg: 8.05 7.85 7.64 9/184 30244
/proc/meminfo: memFree=23884020/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=958536 CPUtime=2804.28 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 378275 0 0 0 280258 170 0 0 25 0 4 0 517887082 981540864 94666 33554432000 4194304 4797429 140736656538144 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 239634 94666 420 148 0 234563 0
[pid=30221/tid=30223] ppid=30219 vsize=958536 CPUtime=701.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 39448 0 0 0 70174 20 0 0 25 0 4 0 517887113 981540864 94666 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=958536 CPUtime=698.11 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 38676 0 0 0 69793 18 0 0 25 0 4 0 517887113 981540864 94666 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=958536 CPUtime=701.96 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 38280 0 0 0 70177 19 0 0 25 0 4 0 517887113 981540864 94666 33554432000 4194304 4797429 140736656538144 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.28
Current children cumulated vsize (KiB) 958536

[startup+762.301 s]
/proc/loadavg: 8.02 7.87 7.66 9/184 30246
/proc/meminfo: memFree=23892540/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=965012 CPUtime=3043.95 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 409104 0 0 0 304211 184 0 0 25 0 4 0 517887082 988172288 93781 33554432000 4194304 4797429 140736656538144 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 241253 93781 420 148 0 236182 0
[pid=30221/tid=30223] ppid=30219 vsize=965012 CPUtime=761.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 41007 0 0 0 76173 21 0 0 25 0 4 0 517887113 988172288 93781 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=965012 CPUtime=757.79 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 40756 0 0 0 75760 19 0 0 25 0 4 0 517887113 988172288 93781 33554432000 4194304 4797429 140736656538144 18446744073709551615 4528077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=965012 CPUtime=761.96 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 40152 0 0 0 76177 19 0 0 25 0 4 0 517887113 988172288 93781 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.95
Current children cumulated vsize (KiB) 965012

[startup+822.301 s]
/proc/loadavg: 8.00 7.89 7.68 9/184 30247
/proc/meminfo: memFree=23873412/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=965880 CPUtime=3283.62 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 434773 0 0 0 328165 197 0 0 25 0 4 0 517887082 989061120 96945 33554432000 4194304 4797429 140736656538144 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 241470 96945 420 148 0 236399 0
[pid=30221/tid=30223] ppid=30219 vsize=965880 CPUtime=821.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 41798 0 0 0 82172 22 0 0 25 0 4 0 517887113 989061120 96945 33554432000 4194304 4797429 140736656538144 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=965880 CPUtime=817.45 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 42244 0 0 0 81726 19 0 0 25 0 4 0 517887113 989061120 96945 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=965880 CPUtime=821.97 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 41034 0 0 0 82176 21 0 0 25 0 4 0 517887113 989061120 96945 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.62
Current children cumulated vsize (KiB) 965880

[startup+882.301 s]
/proc/loadavg: 8.13 7.94 7.71 9/184 30249
/proc/meminfo: memFree=23856892/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=969408 CPUtime=3523.31 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 459048 0 0 0 352120 211 0 0 25 0 4 0 517887082 992673792 100446 33554432000 4194304 4797429 140736656538144 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 242352 100446 420 148 0 237281 0
[pid=30221/tid=30223] ppid=30219 vsize=969408 CPUtime=881.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 42437 0 0 0 88172 22 0 0 25 0 4 0 517887113 992673792 100446 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=969408 CPUtime=877.14 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 44444 0 0 0 87694 20 0 0 25 0 4 0 517887113 992673792 100446 33554432000 4194304 4797429 140736656538144 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=969408 CPUtime=881.97 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 43123 0 0 0 88176 21 0 0 25 0 4 0 517887113 992673792 100446 33554432000 4194304 4797429 140736656538144 18446744073709551615 4359117 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.31
Current children cumulated vsize (KiB) 969408

[startup+942.301 s]
/proc/loadavg: 8.11 7.96 7.73 9/184 30250
/proc/meminfo: memFree=23849064/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=971264 CPUtime=3762.96 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 490521 0 0 0 376071 225 0 0 25 0 4 0 517887082 994574336 102178 33554432000 4194304 4797429 140736656538144 18446744073709551615 4425099 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 242816 102178 420 148 0 237745 0
[pid=30221/tid=30223] ppid=30219 vsize=971264 CPUtime=941.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 46070 0 0 0 94171 23 0 0 25 0 4 0 517887113 994574336 102178 33554432000 4194304 4797429 140736656538144 18446744073709551615 4242448 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=971264 CPUtime=936.81 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 46880 0 0 0 93660 21 0 0 25 0 4 0 517887113 994574336 102178 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=971264 CPUtime=941.97 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 45437 0 0 0 94175 22 0 0 25 0 4 0 517887113 994574336 102178 33554432000 4194304 4797429 140736656538144 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.96
Current children cumulated vsize (KiB) 971264

[startup+1002.31 s]
/proc/loadavg: 8.10 7.98 7.75 9/184 30252
/proc/meminfo: memFree=23843956/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=977448 CPUtime=4002.66 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 515950 0 0 0 400029 237 0 0 25 0 4 0 517887082 1000906752 103213 33554432000 4194304 4797429 140736656538144 18446744073709551615 4352441 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 244362 103213 420 148 0 239291 0
[pid=30221/tid=30223] ppid=30219 vsize=977448 CPUtime=1001.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 47664 0 0 0 100171 23 0 0 25 0 4 0 517887113 1000906752 103213 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568164 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=977448 CPUtime=996.48 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 48280 0 0 0 99626 22 0 0 25 0 4 0 517887113 1000906752 103213 33554432000 4194304 4797429 140736656538144 18446744073709551615 4567910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=977448 CPUtime=1001.97 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 46300 0 0 0 100175 22 0 0 25 0 4 0 517887113 1000906752 103213 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.66
Current children cumulated vsize (KiB) 977448

[startup+1062.3 s]
/proc/loadavg: 8.09 8.00 7.76 9/184 30254
/proc/meminfo: memFree=23853740/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=979556 CPUtime=4242.31 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 539823 0 0 0 423981 250 0 0 25 0 4 0 517887082 1003065344 101910 33554432000 4194304 4797429 140736656538144 18446744073709551615 4404772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 244889 101910 420 148 0 239818 0
[pid=30221/tid=30223] ppid=30219 vsize=979556 CPUtime=1061.93 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 49023 0 0 0 106169 24 0 0 25 0 4 0 517887113 1003065344 101910 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=979556 CPUtime=1056.16 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 48864 0 0 0 105594 22 0 0 25 0 4 0 517887113 1003065344 101910 33554432000 4194304 4797429 140736656538144 18446744073709551615 4567880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=979556 CPUtime=1061.98 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 46971 0 0 0 106175 23 0 0 25 0 4 0 517887113 1003065344 101910 33554432000 4194304 4797429 140736656538144 18446744073709551615 4424340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.31
Current children cumulated vsize (KiB) 979556

[startup+1122.3 s]
/proc/loadavg: 8.08 8.01 7.78 9/184 30255
/proc/meminfo: memFree=23819732/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=983364 CPUtime=4481.98 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 567455 0 0 0 447936 262 0 0 25 0 4 0 517887082 1006964736 106460 33554432000 4194304 4797429 140736656538144 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 245841 106460 420 148 0 240770 0
[pid=30221/tid=30223] ppid=30219 vsize=983364 CPUtime=1121.94 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 49365 0 0 0 112169 25 0 0 25 0 4 0 517887113 1006964736 106460 33554432000 4194304 4797429 140736656538144 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=983364 CPUtime=1115.83 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 51516 0 0 0 111560 23 0 0 25 0 4 0 517887113 1006964736 106460 33554432000 4194304 4797429 140736656538144 18446744073709551615 4526212 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=983364 CPUtime=1121.97 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 50833 0 0 0 112174 23 0 0 25 0 4 0 517887113 1006964736 106460 33554432000 4194304 4797429 140736656538144 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4481.98
Current children cumulated vsize (KiB) 983364

[startup+1182.3 s]
/proc/loadavg: 8.17 8.05 7.81 9/184 30266
/proc/meminfo: memFree=23803800/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=986244 CPUtime=4721.62 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 589338 0 0 0 471889 273 0 0 25 0 4 0 517887082 1009913856 109613 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 246561 109613 420 148 0 241490 0
[pid=30221/tid=30223] ppid=30219 vsize=986244 CPUtime=1181.93 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 53144 0 0 0 118166 27 0 0 25 0 4 0 517887113 1009913856 109613 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=986244 CPUtime=1175.5 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 53577 0 0 0 117526 24 0 0 25 0 4 0 517887113 1009913856 109613 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=986244 CPUtime=1181.95 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 52637 0 0 0 118171 24 0 0 25 0 4 0 517887113 1009913856 109613 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.62
Current children cumulated vsize (KiB) 986244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.20 8.07 7.82 5/179 30267
/proc/meminfo: memFree=23976672/32951124 swapFree=67111524/67111528
[pid=30221] ppid=30219 vsize=986628 CPUtime=4800.34 cores=0,2,4,6
/proc/30221/stat : 30221 (techdemo) R 30219 30221 28051 0 -1 4202496 591184 0 0 0 479760 274 0 0 25 0 4 0 517887082 1010307072 111170 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30221/statm: 246657 111170 420 148 0 241586 0
[pid=30221/tid=30223] ppid=30219 vsize=986628 CPUtime=1201.65 cores=0,2,4,6
/proc/30221/task/30223/stat : 30223 (techdemo) R 30219 30221 28051 0 -1 4202560 53628 0 0 0 120137 28 0 0 25 0 4 0 517887113 1010307072 111170 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30221/tid=30224] ppid=30219 vsize=986628 CPUtime=1195.09 cores=0,2,4,6
/proc/30221/task/30224/stat : 30224 (techdemo) R 30219 30221 28051 0 -1 4202560 54381 0 0 0 119485 24 0 0 25 0 4 0 517887113 1010307072 111170 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30221/tid=30225] ppid=30219 vsize=986628 CPUtime=1201.66 cores=0,2,4,6
/proc/30221/task/30225/stat : 30225 (techdemo) R 30219 30221 28051 0 -1 4202560 53195 0 0 0 120141 25 0 0 25 0 4 0 517887113 1010307072 111170 33554432000 4194304 4797429 140736656538144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 986628

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.03
CPU time (s): 4800.39
CPU user time (s): 4797.62
CPU system time (s): 2.76558
CPU usage (%): 399.355
Max. virtual memory (cumulated for all children) (KiB): 1094276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.62
system time used= 2.76558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591184
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= 31948
involuntary context switches= 36870

runsolver used 1.9877 second user time and 4.5883 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 09:41:33
IDJOB=3172551
IDBENCH=82569
IDSOLVER=1584
FILE ID=node139/3172551-1304062893
RUNJOBID= node139-1304062893-30198
PBS_JOBID= 13170397
Free space on /tmp= 72544 MiB

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

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

MD5SUM BENCH= 1a8d3d5d5a6ad4a4b0bb6bd83ad87f53
RANDOM SEED=922768157

node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24415400 kB
Buffers:       2033384 kB
Cached:        5913784 kB
SwapCached:          4 kB
Active:         894764 kB
Inactive:      7123676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24415400 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           17868 kB
Writeback:           0 kB
AnonPages:       71044 kB
Mapped:          15276 kB
Slab:           453040 kB
PageTables:       5140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   271672 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= 72532 MiB
End job on node139 at 2011-04-29 10:01:38