Trace number 3265189

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.16 1201.73

General information on the benchmark

NameSAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
MD5SUM8c84d9b9f2d75de33656119bc03a9afb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark45.3841
Satisfiable
(Un)Satisfiability was proved
Number of variables1560
Number of clauses30460
Sum of the clauses size62400
Maximum clause length39
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 230420
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

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-3265189-1307653719.cnf'
0.00/0.00	c -- header says num vars:           1560
0.00/0.00	c -- header says num clauses:       30460
0.00/0.03	c -- clauses added:            0 learnts,        30460 normals,            0 xors
0.00/0.03	c -- vars added       1560
0.00/0.03	c Parsing time:  0.03 s
0.00/0.03	c  N st     0         0      1560        40     30420         0     62400         0   no data   no data  --
0.00/0.03	c asymm  cl-useful: 0/40/40 lits-rem:0 time: 0.00
0.13/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.2M T:  0.05
0.13/0.06	c Calc non-exist non-lernt bins v-fix:     0 done:   1560 time:  0.01 s
0.13/0.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.13/0.06	c Subs w/ non-existent bins:      0 time:  0.00 s
0.13/0.06	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.13/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.13/0.06	c Removed useless bin:       0  fixed:     0  bprops:   0.13M  time:  0.01 s
0.13/0.08	c lits-rem:         0  cl-subs:        0  v-elim:   1000  v-fix:    0  time:  0.07 s
0.13/0.08	c learnt bin added due to v-elim: 0
0.13/0.08	c Finding binary XORs  T:     0.00 s  found:       0
0.13/0.08	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.13/0.08	c calculated reachability. Time: 0.00
0.13/0.08	c Calc default polars -  time:   0.00 s pos:     756 undec:      40 neg:     764
0.13/0.08	c =========================================================================================
0.13/0.08	c types(t): F = full restart, N = normal restart
0.13/0.08	c types(t): S = simplification begin/end, E = solution found
0.13/0.08	c restart types(rt): st = static, dy = dynamic
0.13/0.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.13/0.08	c  B st     0         0      1520      1539     28881         0    118560         0   no data   no data  --
0.13/0.29	c Decided on static restart strategy
0.13/0.51	c  N dy    21      4052      1520      1539     28881      3936    118560    687805    162.45     46.56  --
2.96/0.98	c  N dy    52      8186      1520      1539     28881      5552    118560    881644    181.58     45.16  --
6.68/1.73	c  N dy    82     12231      1520      1539     28881      5352    118560    758271    176.00     44.75  --
9.48/2.43	c  N dy   112     16317      1520      1539     28881      9338    118560   1456555    174.43     44.67  --
12.67/3.22	c  N dy   142     20377      1520      1539     28881      7818    118560   1114505    169.57     44.52  --
16.28/4.10	c  N dy   172     24505      1520      1539     28881     11849    118560   1831967    179.21     44.52  --
19.46/4.99	c  N dy   202     28545      1520      1539     28881      9160    118560   1296726    183.40     44.42  --
21.45/5.44	c  S st   213     30002      1520      1539     28881     10588    118560   1556922    185.83     44.47  --
21.45/5.49	c  S st   213     30503      1520      1539     28881     11085    118560   1636681    185.83     44.47  --
21.45/5.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
21.45/5.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.44/7.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.1M T:  9.75
31.44/7.94	c Calc non-exist non-lernt bins v-fix:     0 done:   1520 time:  0.02 s
31.44/7.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.44/7.95	c Subs w/ non-existent bins:      0 time:  0.06 s
31.44/7.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
37.44/9.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.93 s
37.44/9.48	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
46.64/11.74	c lits-rem:         2  cl-subs:     1125  v-elim:   1520  v-fix:    0  time:  9.03 s
46.64/11.74	c learnt bin added due to v-elim: 0
46.64/11.74	c vivif2 --  cl tried     1539 cl shrink        0 lits rem          0 time: 0.00
46.64/11.76	c vivif2 --  cl tried     9960 cl shrink        0 lits rem          0 time: 0.06
47.82/12.00	c asymm  cl-useful: 0/1499/1539 lits-rem:0 time: 0.98
47.82/12.01	c calculated reachability. Time: 0.00
47.82/12.01	c  N dy   213     30503      1520      1539     28881      9960    118560   1472198    185.83     44.47  --
47.82/12.01	c  F st   213     30503      1520      1539     28881      9960    118560   1472198    185.83     44.47  --
48.61/12.28	c Decided on static restart strategy
50.21/12.61	c  N dy   234     34589      1520      1539     28881     13937    118560   2330896    185.69     44.65  --
53.01/13.36	c  N dy   264     38602      1520      1539     28881     10175    118560   1521237    198.04     44.38  --
58.20/14.67	c  N dy   295     42695      1520      1539     28881     14216    118560   2385508    228.29     44.25  --
64.99/16.30	c  S st   318     45756      1520      1539     28881     17233    118560   3055588    234.79     44.25  --
64.99/16.37	c  S st   318     46258      1520      1539     28881      8934    118560   1190249    234.79     44.25  --
64.99/16.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
64.99/16.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.57/18.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.6M T:  9.40
74.57/18.73	c Calc non-exist non-lernt bins v-fix:     0 done:   1520 time:  0.02 s
74.57/18.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.57/18.75	c Subs w/ non-existent bins:      0 time:  0.04 s
74.57/18.77	c bin-w-bin subsume rem            0 bins  time:  0.01 s
80.57/20.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.92 s
80.57/20.26	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
86.96/21.86	c lits-rem:         1  cl-subs:      350  v-elim:   1520  v-fix:    0  time:  6.38 s
86.96/21.86	c learnt bin added due to v-elim: 0
86.96/21.86	c vivif2 --  cl tried     1539 cl shrink        0 lits rem          0 time: 0.00
86.96/21.87	c vivif2 --  cl tried     8584 cl shrink        0 lits rem          0 time: 0.05
87.36/21.96	c asymm  cl-useful: 0/1539/1539 lits-rem:0 time: 0.38
87.36/21.96	c calculated reachability. Time: 0.00
87.36/21.96	c  N dy   318     46258      1520      1539     28881      8584    118560   1139585    234.79     44.25  --
90.16/22.61	c  N dy   348     50282      1520      1539     28881     12544    118560   1927756    210.93     44.20  --
94.55/23.77	c  N dy   378     54307      1520      1539     28881     16521    118560   2789121    241.13     44.11  --
100.54/25.26	c  N dy   408     58402      1520      1539     28881     10736    118560   1506183    203.33     44.13  --
105.33/26.40	c  N dy   438     62459      1520      1539     28881     14734    118560   2374263    217.57     44.00  --
112.12/28.14	c  N dy   468     66492      1520      1539     28881     18708    118560   3238307    229.81     43.89  --
119.71/30.06	c  S st   490     69387      1520      1539     28881     21539    118560   3868523    210.72     43.90  --
120.12/30.12	c  S st   490     69887      1520      1539     28881     11219    118560   1611906    210.72     43.90  --
120.12/30.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
120.12/30.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
133.29/33.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.5M T: 13.08
133.29/33.40	c Calc non-exist non-lernt bins v-fix:     0 done:   1520 time:  0.02 s
133.29/33.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
133.29/33.42	c Subs w/ non-existent bins:      0 time:  0.06 s
133.29/33.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
139.31/34.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.98 s
139.31/34.95	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
149.67/37.59	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
170.44/42.75	c Added 16 vars  tried: 80000 time: 20.61
170.84/42.84	c ORs :     16 avg-s:  0.0 cl-sh: 16916 l-rem:  16916 b-add:     32 v-rep:   0 cl-rem: 0 avg s: nan T:   20.96
170.84/42.86	c lits-rem:         1  cl-subs:      306  v-elim:   1520  v-fix:    0  time: 31.60 s
170.84/42.86	c learnt bin added due to v-elim: 0
170.84/42.86	c vivif2 --  cl tried     1555 cl shrink        0 lits rem          0 time: 0.00
170.84/42.88	c vivif2 --  cl tried    10913 cl shrink        0 lits rem          0 time: 0.07
171.24/42.97	c asymm  cl-useful: 0/1555/1555 lits-rem:0 time: 0.39
171.24/42.97	c calculated reachability. Time: 0.00
171.24/42.97	c  N dy   490     69887      1536      1555     28913     10913    118321   1548489    210.72     43.90  --
171.24/42.97	c  F st   490     69887      1536      1555     28913     10913    118321   1548489    210.72     43.90  --
172.44/43.23	c Decided on static restart strategy
174.83/43.87	c  N dy   514     74412      1536      1555     28913     15324    118321   2458313    232.67     44.20  --
182.85/45.82	c  N dy   550     79228      1536      1555     28913     20045    118321   3445373    211.96     44.23  --
194.01/48.67	c  N dy   588     84316      1536      1555     28913     13263    118321   1951548    202.85     44.33  --
200.83/50.31	c  N dy   629     89817      1536      1555     28913     18670    118321   3060641    211.66     44.29  --
215.58/54.08	c  N dy   672     95655      1536      1555     28913     24395    118321   4355849    223.34     44.33  --
225.57/56.56	c  N dy   718    101847      1536      1555     28913     17751    118321   2960380    226.57     44.30  --
231.95/58.16	c  S st   740    104830      1536      1555     28913     20666    118321   3609118    221.08     44.35  --
232.35/58.21	c  S st   740    105333      1536      1555     28913     21163    118321   3696449    221.08     44.35  --
232.35/58.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
232.35/58.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
259.52/65.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 52.1M T: 27.28
259.52/65.05	c Calc non-exist non-lernt bins v-fix:     0 done:   1536 time:  0.02 s
259.52/65.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
259.52/65.08	c Subs w/ non-existent bins:      0 time:  0.13 s
259.92/65.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
266.32/66.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.49 s
266.32/66.79	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
291.48/73.00	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
291.48/73.03	c lits-rem:         1  cl-subs:     5083  v-elim:   1782  v-fix:    0  time: 24.94 s
291.48/73.03	c learnt bin added due to v-elim: 0
291.48/73.04	c vivif2 --  cl tried     1818 cl shrink        0 lits rem          0 time: 0.00
291.48/73.06	c vivif2 --  cl tried    16080 cl shrink        0 lits rem          0 time: 0.11
293.10/73.44	c asymm  cl-useful: 0/1818/1818 lits-rem:0 time: 1.51
293.10/73.44	c calculated reachability. Time: 0.00
293.10/73.44	c  N dy   740    105333      1529      1818     28636     16080    118559   2487820    221.08     44.35  --
297.86/74.68	c  N dy   791    112111      1529      1818     28636     22746    118559   3806583    213.33     44.34  --
309.05/77.44	c  N dy   845    119358      1529      1818     28636     16152    118559   2423175    206.49     44.39  --
320.63/80.35	c  N dy   902    126991      1529      1818     28636     23639    118559   4021293    218.52     44.47  --
337.42/84.55	c  N dy   962    135115      1529      1818     28636     16898    118559   2586473    211.82     44.50  --
352.99/88.43	c  N dy  1026    143822      1593      1818     28764     26131    118815   4441680    231.97     44.48  --
375.36/94.02	c  N dy  1094    153028      1593      1818     28764     19144    118815   3035559    208.06     44.46  --
385.37/96.54	c  S st  1132    158000      1593      1818     28764     24042    118815   4068864    204.86     44.44  --
385.75/96.61	c  S st  1132    158501      1593      1818     28764     24539    118815   4154940    204.86     44.44  --
385.75/96.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
385.75/96.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
417.70/104.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 31.96
417.70/104.62	c Calc non-exist non-lernt bins v-fix:     0 done:   1593 time:  0.02 s
417.70/104.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
417.70/104.66	c Subs w/ non-existent bins:      0 time:  0.15 s
418.10/104.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
424.91/106.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.91 s
424.91/106.48	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
445.66/111.69	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.03
446.06/111.74	c lits-rem:         7  cl-subs:     1615  v-elim:   1509  v-fix:    0  time: 21.04 s
446.06/111.74	c learnt bin added due to v-elim: 0
446.06/111.74	c vivif2 --  cl tried     1818 cl shrink        0 lits rem          0 time: 0.00
446.06/111.78	c vivif2 --  cl tried    22924 cl shrink        0 lits rem          0 time: 0.17
448.46/112.37	c asymm  cl-useful: 0/1224/1818 lits-rem:0 time: 2.34
448.46/112.37	c calculated reachability. Time: 0.00
448.46/112.37	c  N dy  1132    158501      1593      1818     28764     22924    118815   3835715    204.86     44.44  --
461.24/115.57	c  N dy  1208    168716      1593      1818     28764     33139    118815   5909697    240.27     44.40  --
477.64/119.67	c  N dy  1289    179576      1593      1818     28764     26878    118815   4444272    229.56     44.36  --
509.18/127.54	c  N dy  1374    191096      1593      1818     28764     20380    118815   2938092    214.26     44.37  --
536.34/134.38	c  N dy  1465    203376      1593      1818     28764     32433    118815   5580710    229.31     44.37  --
569.52/142.62	c  N dy  1562    216504      1593      1818     28764     26587    118815   4252145    237.58     44.44  --
619.42/155.17	c  N dy  1663    230341      1593      1818     28764     20498    118815   2799611    207.20     44.45  --
633.40/158.69	c  S st  1718    237751      1649      1818     28873     28384    119033   4377440    218.89     44.45  --
633.80/158.75	c  S st  1718    238252      1649      1818     28873     28877    119033   4460579    218.89     44.45  --
633.80/158.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
633.80/158.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
666.18/166.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     35 BRemL:      0 BRemN:      0 CBin:       0 P: 60.6M T: 32.39
666.18/166.87	c Calc non-exist non-lernt bins v-fix:     0 done:   1649 time:  0.02 s
666.18/166.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
666.58/166.92	c Subs w/ non-existent bins:      0 time:  0.16 s
666.96/167.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
673.75/168.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.83 s
673.75/168.72	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
692.54/173.46	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.03
692.94/173.52	c lits-rem:         4  cl-subs:     1671  v-elim:   1509  v-fix:    0  time: 19.20 s
692.94/173.52	c learnt bin added due to v-elim: 0
692.94/173.52	c vivif2 --  cl tried     1818 cl shrink        0 lits rem          0 time: 0.00
692.94/173.57	c vivif2 --  cl tried    27206 cl shrink        0 lits rem          0 time: 0.19
693.32/173.67	c asymm  cl-useful: 0/594/1818 lits-rem:0 time: 0.41
693.32/173.68	c calculated reachability. Time: 0.00
693.32/173.68	c  N dy  1718    238252      1649      1818     28908     27206    119033   4142598    218.89     44.45  --
720.09/180.40	c  N dy  1832    253512      1649      1818     28908     21286    119033   2755262    215.16     44.43  --
751.24/188.15	c  N dy  1952    269731      1649      1818     28908     37206    119033   6214535    245.86     44.50  --
786.79/197.00	c  N dy  2079    286955      1649      1818     28908     32310    119033   5057293    230.51     44.64  --
833.93/208.84	c  N dy  2213    305313      1649      1818     28908     27698    119033   4016562    203.14     44.71  --
897.44/224.76	c  N dy  2356    324807      1714      1818     29037     47519    119291   8270442    239.22     44.74  --
952.97/238.67	c  N dy  2504    344886      1714      1818     29037     43285    119291   7291826    220.01     44.75  --
996.90/249.64	c  S st  2596    357378      1714      1818     29037     30824    119291   4450832    209.17     44.75  --
997.30/249.70	c  S st  2596    357880      1714      1818     29037     31323    119291   4532852    209.17     44.75  --
997.30/249.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
997.30/249.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1029.27/257.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     37 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T: 32.23
1029.27/257.79	c Calc non-exist non-lernt bins v-fix:     0 done:   1714 time:  0.02 s
1029.27/257.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1029.67/257.83	c Subs w/ non-existent bins:      0 time:  0.17 s
1030.07/257.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1036.86/259.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.94 s
1036.86/259.66	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.02 s
1058.82/265.19	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
1118.77/280.14	c Added 18 vars  tried: 80000 time: 59.71
1120.34/280.53	c ORs :     18 avg-s:  0.0 cl-sh: 43391 l-rem:  43391 b-add:     36 v-rep:   0 cl-rem: 0 avg s: nan T:   61.26
1120.34/280.58	c lits-rem:         1  cl-subs:     1374  v-elim:   1509  v-fix:    0  time: 83.58 s
1120.34/280.58	c learnt bin added due to v-elim: 0
1120.34/280.58	c vivif2 --  cl tried     1836 cl shrink        0 lits rem          0 time: 0.00
1120.74/280.63	c vivif2 --  cl tried    29949 cl shrink        0 lits rem          0 time: 0.19
1121.94/280.94	c asymm  cl-useful: 0/1836/1836 lits-rem:0 time: 1.22
1121.94/280.94	c calculated reachability. Time: 0.00
1121.94/280.94	c  N dy  2596    357880      1732      1836     29110     29949    119027   4237987    209.17     44.75  --
1155.48/289.38	c  N dy  2745    377916      1732      1836     29110     49692    119027   8210638    209.14     44.74  --
1193.04/298.79	c  N dy  2894    397952      1732      1836     29110     43743    119027   6811793    193.62     44.72  --
1241.79/311.00	c  N dy  3043    417969      1732      1836     29110     36852    119027   5474810    204.63     44.69  --
1310.08/328.02	c  N dy  3190    438102      1779      1836     29239     29398    119213   3892243    220.20     44.73  --
1363.20/341.31	c  N dy  3338    458124      1779      1836     29239     49042    119213   7905049    215.67     44.73  --
1418.33/355.16	c  N dy  3485    478187      1779      1836     29239     40074    119213   6009174    199.32     44.73  --
1493.82/374.05	c  N dy  3633    498257      1798      1836     29493     30287    119289   4011548    194.32     44.74  --
1540.58/385.74	c  N dy  3781    518382      1798      1836     29493     50020    119289   7966866    186.56     44.72  --
1603.27/401.40	c  S st  3917    536821      1798      1836     29493     37676    119289   5480448    191.29     44.71  --
1603.27/401.46	c  S st  3917    537321      1798      1836     29493     38171    119289   5557096    191.29     44.71  --
1603.27/401.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1603.27/401.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1632.44/408.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     39 BRemL:      5 BRemN:      2 CBin:       0 P: 60.0M T: 29.17
1632.44/408.78	c Calc non-exist non-lernt bins v-fix:     0 done:   1798 time:  0.02 s
1632.44/408.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1632.86/408.84	c Subs w/ non-existent bins:      0 time:  0.23 s
1632.86/408.86	c Replacing        1 vars Replaced       20 lits Time:     0.07 s 
1633.26/408.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1640.43/410.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.21 s
1640.43/410.78	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.02 s
1686.76/422.33	c ORs :     18 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
1686.76/422.39	c lits-rem:         0  cl-subs:     5482  v-elim:   1909  v-fix:    0  time: 46.40 s
1686.76/422.39	c learnt bin added due to v-elim: 0
1686.76/422.39	c vivif2 --  cl tried     2171 cl shrink        0 lits rem          0 time: 0.00
1687.16/422.45	c vivif2 --  cl tried    32689 cl shrink        0 lits rem          0 time: 0.21
1689.16/422.91	c asymm  cl-useful: 0/1350/2171 lits-rem:0 time: 1.84
1689.16/422.91	c calculated reachability. Time: 0.00
1689.16/422.91	c  N dy  3917    537321      1788      2171     29169     32689    119587   4368866    191.29     44.71  --
1689.16/422.91	c  F st  3917    537321      1788      2171     29169     32689    119587   4368866    191.29     44.71  --
1689.97/423.20	c Decided on static restart strategy
1714.32/429.22	c  N dy  4057    557355      1788      2171     29169     52345    119587   8075635    191.63     44.71  --
1753.87/439.10	c  N dy  4204    577388      1816      2171     29289     40599    119689   5559476    195.56     44.73  --
1808.20/452.70	c  N dy  4352    597453      1816      2171     29289     60241    119689   9262153    183.83     44.77  --
1850.94/463.46	c  N dy  4501    617521      1816      2171     29289     47591    119689   6773988    195.25     44.79  --
1919.24/480.52	c  N dy  4649    637614      1816      2171     29328     33958    119689   4175281    186.99     44.82  --
1956.39/489.88	c  N dy  4797    657723      1816      2171     29328     53691    119689   7914611    198.64     44.83  --
2019.92/505.77	c  N dy  4944    677794      1816      2171     29328     39053    119689   5067617    185.48     44.85  --
2071.84/518.75	c  N dy  5093    697927      1816      2171     29328     58793    119689   8782581    194.83     44.86  --
2137.34/535.11	c  N dy  5240    718004      1816      2171     29328     43149    119689   5770726    187.09     44.89  --
2194.87/549.50	c  N dy  5387    738049      1816      2171     29328     62779    119689   9473204    203.77     44.91  --
2259.57/565.79	c  N dy  5533    758120      1816      2171     29328     46212    119689   6346566    193.33     44.93  --
2327.50/582.72	c  N dy  5680    778225      1816      2171     29328     65942    119689  10056262    190.05     44.95  --
2390.99/598.63	c  N dy  5828    798319      1816      2171     29328     48381    119689   6673194    188.39     44.94  --
2414.17/604.49	c  S st  5884    805985      1816      2171     29328     55864    119689   8078402    199.57     44.94  --
2414.57/604.58	c  S st  5884    806487      1816      2171     29328     56362    119689   8161782    199.57     44.94  --
2414.57/604.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
2414.57/604.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2452.11/613.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      2 BRemN:      0 CBin:       0 P: 60.5M T: 37.47
2452.11/613.98	c Calc non-exist non-lernt bins v-fix:     0 done:   1816 time:  0.02 s
2452.11/613.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2452.51/614.07	c Subs w/ non-existent bins:      0 time:  0.36 s
2453.31/614.24	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2460.89/616.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.42 s
2460.89/616.10	c Removed useless bin:       0  fixed:     0  bprops:   0.11M  time:  0.02 s
2889.94/723.59	c ORs :     18 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
2967.80/743.01	c Added 19 vars  tried: 80000 time: 77.54
2973.01/744.39	c ORs :     19 avg-s:  0.0 cl-sh: 91488 l-rem:  91488 b-add:     38 v-rep:   0 cl-rem: 0 avg s: nan T:   83.07
2973.42/744.50	c lits-rem:         2  cl-subs:     3581  v-elim:   1498  v-fix:    0  time: 512.84 s
2973.42/744.50	c learnt bin added due to v-elim: 0
2973.79/744.50	c vivif2 --  cl tried     2190 cl shrink        0 lits rem          0 time: 0.00
2973.79/744.59	c vivif2 --  cl tried    52781 cl shrink        0 lits rem          0 time: 0.38
2974.59/744.72	c asymm  cl-useful: 0/840/2190 lits-rem:0 time: 0.53
2974.59/744.73	c calculated reachability. Time: 0.00
2974.59/744.73	c  N dy  5884    806487      1835      2190     29364     52781    119393   7456832    199.57     44.94  --
2990.18/748.66	c  N dy  6028    826510      1835      2190     29364     72177    119393  11140650    213.15     44.96  --
3005.35/752.49	c  N dy  6171    846567      1835      2190     29364     53505    119393   7830669    210.31     44.95  --
3024.53/757.24	c  N dy  6311    866656      1835      2190     29364     72580    119393  11895412    216.43     45.19  --
3041.70/761.57	c  N dy  6449    886735      1835      2190     29364     52803    119393   7959501    239.61     45.44  --
3061.30/766.43	c  N dy  6589    906895      1835      2190     29364     71624    119393  11861592    246.72     45.64  --
3086.45/772.77	c  N dy  6728    926975      1835      2190     29364     51344    119393   7377727    211.35     45.82  --
3113.62/779.51	c  N dy  6870    946979      1835      2190     29364     70345    119393  11472108    215.67     45.85  --
3137.57/785.58	c  N dy  7011    967008      1835      2190     29364     49684    119393   7013742    233.28     45.96  --
3156.75/790.33	c  N dy  7152    987011      1835      2190     29364     68835    119393  10922716    216.76     45.95  --
3173.52/794.53	c  N dy  7295   1007072      1835      2190     29364     46987    119393   6440755    217.29     45.88  --
3191.50/799.06	c  N dy  7438   1027160      1835      2190     29364     66047    119393  10343235    192.05     45.80  --
3209.88/803.65	c  N dy  7580   1047192      1835      2190     29364     43232    119393   5611319    199.12     45.74  --
3226.25/807.74	c  N dy  7721   1067278      1835      2190     29364     62194    119393   9538199    193.29     45.65  --
3245.45/812.59	c  N dy  7861   1087421      1835      2190     29364     80830    119393  13350467    196.96     45.63  --
3260.21/816.27	c  N dy  8002   1107562      1835      2190     29364     57306    119393   8539010    210.34     45.65  --
3275.79/820.11	c  N dy  8143   1127683      1835      2190     29364     76407    119393  12275726    204.89     45.63  --
3294.56/824.84	c  N dy  8282   1147726      1856      2190     29406     51855    119477   7477182    226.49     45.67  --
3322.12/831.72	c  N dy  8418   1167784      1856      2190     29406     70182    119477  11881386    240.34     45.75  --
3344.89/837.49	c  N dy  8552   1187828      1856      2190     29406     44959    119477   5984755    203.23     45.82  --
3359.27/841.08	c  N dy  8692   1207832      1856      2190     29406     64015    119477   9820478    203.62     45.87  --
3364.08/842.20	c  S st  8706   1209730      1856      2190     29406     65801    119477  10210276    234.45     45.89  --
3364.08/842.27	c  S st  8706   1210230      1856      2190     29406     66301    119477  10278259    234.45     45.89  --
3364.08/842.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3364.08/842.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3405.60/852.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.2M T: 41.28
3405.60/852.63	c Calc non-exist non-lernt bins v-fix:     0 done:   1856 time:  0.02 s
3405.60/852.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3406.00/852.74	c Subs w/ non-existent bins:      0 time:  0.42 s
3406.81/852.94	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3414.40/854.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.63 s
3414.40/854.86	c Removed useless bin:       0  fixed:     0  bprops:   0.11M  time:  0.02 s
3744.74/937.59	c ORs :     28 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
3745.14/937.68	c lits-rem:        40  cl-subs:    17718  v-elim:   1886  v-fix:    0  time: 330.82 s
3745.14/937.68	c learnt bin added due to v-elim: 0
3745.14/937.68	c vivif2 --  cl tried     2521 cl shrink        0 lits rem          0 time: 0.00
3745.54/937.76	c vivif2 --  cl tried    48583 cl shrink        0 lits rem          0 time: 0.31
3747.53/938.29	c asymm  cl-useful: 0/632/2521 lits-rem:0 time: 2.13
3747.53/938.30	c calculated reachability. Time: 0.00
3747.53/938.30	c  N dy  8706   1210230      1847      2521     29054     48583    119783   6626710    234.45     45.89  --
3770.71/944.07	c  N dy  8851   1230369      1855      2521     29178     67888    119813  10541868    212.32     45.83  --
3795.87/950.36	c  N dy  8994   1250449      1868      2521     29205     86950    119865  14605534    245.69     45.75  --
3815.05/955.13	c  N dy  9138   1270580      1868      2521     29205     61231    119865   8930079    191.48     45.69  --
3833.82/959.85	c  N dy  9279   1290604      1868      2521     29205     80395    119865  12581673    183.81     45.68  --
3850.60/964.06	c  N dy  9421   1310712      1868      2521     29205     53349    119865   7197947    196.70     45.65  --
3869.39/968.72	c  N dy  9565   1330826      1868      2521     29205     72788    119865  10960752    229.31     45.62  --
3896.93/975.62	c  N dy  9707   1350848      1868      2521     29205     91789    119865  14919342    201.71     45.58  --
3914.91/980.14	c  N dy  9852   1370933      1868      2521     29205     63213    119865   8894914    212.50     45.60  --
3934.48/985.08	c  N dy  9996   1391074      1868      2521     29205     82174    119865  12676634    223.95     45.57  --
3958.85/991.12	c  N dy 10136   1411115      1868      2521     29243     52673    119865   6963358    185.84     45.49  --
3984.41/997.59	c  N dy 10272   1431141      1868      2521     29244     71167    119865  10744259    217.77     45.41  --
4009.18/1003.71	c  N dy 10409   1451205      1868      2521     29244     89888    119865  14911412    242.13     45.34  --
4028.35/1008.59	c  N dy 10548   1471287      1868      2521     29244     59761    119865   8652555    192.32     45.31  --
4050.72/1014.13	c  N dy 10682   1491382      1868      2521     29244     77897    119865  12766150    246.00     45.42  --
4074.69/1020.13	c  N dy 10819   1511503      1868      2521     29244     96408    119865  16438173    200.47     45.46  --
4093.88/1024.93	c  N dy 10960   1531631      1868      2521     29244     66236    119865   9631007    209.28     45.41  --
4113.44/1029.89	c  N dy 11099   1551694      1868      2521     29244     84979    119865  13321666    211.33     45.33  --
4133.44/1034.83	c  N dy 11236   1571714      1868      2521     29244     53231    119865   7191021    215.53     45.28  --
4164.57/1042.68	c  N dy 11372   1591786      1868      2521     29244     71978    119865  11718547    243.76     45.33  --
4194.13/1050.03	c  N dy 11508   1611860      1868      2521     29244     90481    119865  16061033    228.06     45.40  --
4215.29/1055.34	c  N dy 11645   1631925      1868      2521     29244     58177    119865   8150606    225.80     45.41  --
4235.26/1060.32	c  N dy 11783   1652071      1868      2521     29244     76863    119865  12209964    231.73     45.36  --
4260.03/1066.56	c  N dy 11918   1672195      1868      2521     29244     95381    119865  16364679    238.65     45.31  --
4262.43/1067.19	c Finding binary XORs  T:     0.01 s  found:       0
4287.60/1073.47	c  N dy 12053   1692204      1868      2521     29244     61843    119865   9065551    248.03     45.35  --
4311.96/1079.52	c  S st 12174   1710232      1868      2521     29244     78019    119865  12723664    244.33     45.40  --
4312.36/1079.62	c  S st 12174   1710732      1868      2521     29244     78518    119865  12795144    244.33     45.40  --
4312.36/1079.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4312.36/1079.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4349.51/1088.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T: 37.00
4349.51/1088.91	c Calc non-exist non-lernt bins v-fix:     0 done:   1868 time:  0.02 s
4349.51/1088.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4349.91/1089.04	c Subs w/ non-existent bins:      0 time:  0.52 s
4351.11/1089.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4358.30/1091.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.48 s
4358.30/1091.17	c Removed useless bin:       0  fixed:     0  bprops:   0.11M  time:  0.01 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: 977)

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

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

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


[startup+0 s]
/proc/loadavg: 8.31 8.23 7.94 5/184 30207
/proc/meminfo: memFree=31883368/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=24076 CPUtime=0 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 1142 0 0 0 0 0 0 0 25 0 1 0 876969774 24653824 1081 33554432000 4194304 4797429 140735989858432 18446744073709551615 4621328 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/30207/statm: 7778 1084 348 148 0 2707 0

[startup+0.0632759 s]
/proc/loadavg: 8.31 8.23 7.94 5/184 30207
/proc/meminfo: memFree=31883368/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=676020 CPUtime=0.13 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 2244 0 0 0 13 0 0 0 18 0 4 0 876969774 692244480 2155 33554432000 4194304 4797429 140735989858432 18446744073709551615 4630216 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 169005 2155 391 148 0 163934 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 676020

[startup+0.110093 s]
/proc/loadavg: 8.31 8.23 7.94 5/184 30207
/proc/meminfo: memFree=31883368/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=685620 CPUtime=2.96 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 10171 0 0 0 295 1 0 0 18 0 4 0 876969774 702074880 6488 33554432000 4194304 4797429 140735989858432 18446744073709551615 271550234299 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 171538 7478 412 148 0 166467 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 685620

[startup+1.0451 s]
/proc/loadavg: 8.31 8.23 7.94 5/184 30207
/proc/meminfo: memFree=31883368/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=686284 CPUtime=4.06 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 11577 0 0 0 405 1 0 0 19 0 4 0 876969774 702754816 7890 33554432000 4194304 4797429 140735989858432 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 171571 7890 412 148 0 166500 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 686284

[startup+1.10109 s]
/proc/loadavg: 8.31 8.23 7.94 5/184 30207
/proc/meminfo: memFree=31883368/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=686416 CPUtime=4.28 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 11769 0 0 0 427 1 0 0 19 0 4 0 876969774 702889984 8081 33554432000 4194304 4797429 140735989858432 18446744073709551615 4424965 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 171604 8081 412 148 0 166533 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 686416

[startup+1.50102 s]
/proc/loadavg: 8.31 8.23 7.94 5/184 30207
/proc/meminfo: memFree=31883368/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=687216 CPUtime=5.88 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 13201 0 0 0 587 1 0 0 20 0 4 0 876969774 703709184 9508 33554432000 4194304 4797429 140735989858432 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 171804 9508 415 148 0 166733 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 687216

[startup+3.10073 s]
/proc/loadavg: 8.28 8.22 7.94 10/188 30211
/proc/meminfo: memFree=31846656/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=689884 CPUtime=12.26 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 17155 0 0 0 1224 2 0 0 25 0 4 0 876969774 706441216 10250 33554432000 4194304 4797429 140735989858432 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 172471 10252 415 148 0 167400 0
[pid=30207/tid=30209] ppid=30205 vsize=689884 CPUtime=3.05 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 2967 0 0 0 305 0 0 0 25 0 4 0 876969777 706441216 10254 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=689884 CPUtime=3.04 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 2963 0 0 0 304 0 0 0 25 0 4 0 876969777 706441216 10257 33554432000 4194304 4797429 140735989858432 18446744073709551615 4642265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=689884 CPUtime=3.05 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 3594 0 0 0 305 0 0 0 25 0 4 0 876969777 706441216 10259 33554432000 4194304 4797429 140735989858432 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 689884

[startup+6.30714 s]
/proc/loadavg: 8.28 8.22 7.94 9/188 30211
/proc/meminfo: memFree=31820164/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=799316 CPUtime=25.08 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 25422 0 0 0 2503 5 0 0 25 0 4 0 876969774 818499584 16371 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429143 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 199829 16377 416 148 0 194758 0
[pid=30207/tid=30209] ppid=30205 vsize=799316 CPUtime=6.26 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 4739 0 0 0 626 0 0 0 25 0 4 0 876969777 818499584 16378 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=799316 CPUtime=6.23 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 4995 0 0 0 623 0 0 0 25 0 4 0 876969777 818499584 16387 33554432000 4194304 4797429 140735989858432 18446744073709551615 4340837 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=799316 CPUtime=6.26 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 5067 0 0 0 625 1 0 0 25 0 4 0 876969777 818499584 16388 33554432000 4194304 4797429 140735989858432 18446744073709551615 4620649 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 799316

[startup+12.701 s]
/proc/loadavg: 8.24 8.22 7.94 10/188 30211
/proc/meminfo: memFree=31813428/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=703992 CPUtime=50.61 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 32031 0 0 0 5055 6 0 0 25 0 4 0 876969774 720887808 18473 33554432000 4194304 4797429 140735989858432 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 175998 18473 418 148 0 170927 0
[pid=30207/tid=30209] ppid=30205 vsize=703992 CPUtime=12.66 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 6011 0 0 0 1265 1 0 0 25 0 4 0 876969777 720887808 18473 33554432000 4194304 4797429 140735989858432 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=703992 CPUtime=12.59 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 5914 0 0 0 1259 0 0 0 25 0 4 0 876969777 720887808 18473 33554432000 4194304 4797429 140735989858432 18446744073709551615 4358620 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=703992 CPUtime=12.65 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 6015 0 0 0 1264 1 0 0 25 0 4 0 876969777 720887808 18473 33554432000 4194304 4797429 140735989858432 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 703992

[startup+25.5007 s]
/proc/loadavg: 8.20 8.21 7.94 9/188 30254
/proc/meminfo: memFree=31990928/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=709460 CPUtime=101.74 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 45731 0 0 0 10164 10 0 0 25 0 4 0 876969774 726487040 22592 33554432000 4194304 4797429 140735989858432 18446744073709551615 4351579 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 177365 22592 418 148 0 172294 0
[pid=30207/tid=30209] ppid=30205 vsize=709460 CPUtime=25.45 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 7330 0 0 0 2544 1 0 0 25 0 4 0 876969777 726487040 22592 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=709460 CPUtime=25.32 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 7261 0 0 0 2531 1 0 0 25 0 4 0 876969777 726487040 22593 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=709460 CPUtime=25.45 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 7430 0 0 0 2543 2 0 0 25 0 4 0 876969777 726487040 22593 33554432000 4194304 4797429 140735989858432 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 709460

[startup+51.101 s]
/proc/loadavg: 8.34 8.24 7.96 9/188 30255
/proc/meminfo: memFree=31969324/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=718176 CPUtime=204.01 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 64065 0 0 0 20388 13 0 0 25 0 4 0 876969774 735412224 27226 33554432000 4194304 4797429 140735989858432 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 179544 27226 419 148 0 174473 0
[pid=30207/tid=30209] ppid=30205 vsize=718176 CPUtime=51.05 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 9688 0 0 0 5104 1 0 0 25 0 4 0 876969777 735412224 27226 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=718176 CPUtime=50.78 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 9681 0 0 0 5077 1 0 0 25 0 4 0 876969777 735412224 27226 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=718176 CPUtime=51.05 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 9574 0 0 0 5103 2 0 0 25 0 4 0 876969777 735412224 27226 33554432000 4194304 4797429 140735989858432 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 718176

[startup+102.301 s]
/proc/loadavg: 8.25 8.23 7.97 9/188 30256
/proc/meminfo: memFree=31918324/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=739512 CPUtime=408.51 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 101102 0 0 0 40830 21 0 0 25 0 4 0 876969774 757260288 35971 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429171 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 184878 35971 419 148 0 179807 0
[pid=30207/tid=30209] ppid=30205 vsize=739512 CPUtime=102.25 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 12988 0 0 0 10222 3 0 0 25 0 4 0 876969777 757260288 35971 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=739512 CPUtime=101.71 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 12953 0 0 0 10169 2 0 0 25 0 4 0 876969777 757260288 35971 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=739512 CPUtime=102.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 13057 0 0 0 10222 3 0 0 25 0 4 0 876969777 757260288 35971 33554432000 4194304 4797429 140735989858432 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.51
Current children cumulated vsize (KiB) 739512

[startup+162.301 s]
/proc/loadavg: 8.25 8.22 7.98 9/188 30257
/proc/meminfo: memFree=31888628/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=750964 CPUtime=648.19 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 141046 0 0 0 64787 32 0 0 25 0 4 0 876969774 768987136 41847 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429097 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 187741 41847 419 148 0 182670 0
[pid=30207/tid=30209] ppid=30205 vsize=750964 CPUtime=162.25 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 16564 0 0 0 16222 3 0 0 25 0 4 0 876969777 768987136 41847 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=750964 CPUtime=161.38 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 16232 0 0 0 16136 2 0 0 25 0 4 0 876969777 768987136 41847 33554432000 4194304 4797429 140735989858432 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=750964 CPUtime=162.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 16257 0 0 0 16221 4 0 0 25 0 4 0 876969777 768987136 41847 33554432000 4194304 4797429 140735989858432 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 648.19
Current children cumulated vsize (KiB) 750964

[startup+222.301 s]
/proc/loadavg: 8.25 8.22 8.00 9/188 30259
/proc/meminfo: memFree=31855956/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=759532 CPUtime=887.86 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 178005 0 0 0 88746 40 0 0 25 0 4 0 876969774 777760768 47485 33554432000 4194304 4797429 140735989858432 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 189883 47485 419 148 0 184812 0
[pid=30207/tid=30209] ppid=30205 vsize=759532 CPUtime=222.25 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 19635 0 0 0 22221 4 0 0 25 0 4 0 876969777 777760768 47485 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=759532 CPUtime=221.06 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 19095 0 0 0 22103 3 0 0 25 0 4 0 876969777 777760768 47485 33554432000 4194304 4797429 140735989858432 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=759532 CPUtime=222.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 18939 0 0 0 22220 5 0 0 25 0 4 0 876969777 777760768 47485 33554432000 4194304 4797429 140735989858432 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.86
Current children cumulated vsize (KiB) 759532

[startup+282.301 s]
/proc/loadavg: 8.22 8.21 8.01 9/188 30261
/proc/meminfo: memFree=31851816/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=764308 CPUtime=1127.54 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 203159 0 0 0 112709 45 0 0 25 0 4 0 876969774 782651392 46712 33554432000 4194304 4797429 140735989858432 18446744073709551615 271550234379 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 191077 46712 419 148 0 186006 0
[pid=30207/tid=30209] ppid=30205 vsize=764308 CPUtime=282.26 cores=1,3,5,7

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

[pid=30207] ppid=30205 vsize=817004 CPUtime=2805.23 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 397939 0 0 0 280426 97 0 0 25 0 4 0 876969774 836612096 67670 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 204251 67670 421 148 0 199180 0
[pid=30207/tid=30209] ppid=30205 vsize=817004 CPUtime=702.25 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 39329 0 0 0 70218 7 0 0 25 0 4 0 876969777 836612096 67670 33554432000 4194304 4797429 140735989858432 18446744073709551615 4519888 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=817004 CPUtime=698.45 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 37296 0 0 0 69838 7 0 0 25 0 4 0 876969777 836612096 67670 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=817004 CPUtime=702.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 37189 0 0 0 70217 8 0 0 25 0 4 0 876969777 836612096 67670 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.23
Current children cumulated vsize (KiB) 817004

[startup+762.301 s]
/proc/loadavg: 8.22 8.23 8.09 9/188 30274
/proc/meminfo: memFree=31707156/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=819212 CPUtime=3044.9 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 428091 0 0 0 304385 105 0 0 25 0 4 0 876969774 838873088 72425 33554432000 4194304 4797429 140735989858432 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 204803 72425 421 148 0 199732 0
[pid=30207/tid=30209] ppid=30205 vsize=819212 CPUtime=762.26 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 40544 0 0 0 76218 8 0 0 25 0 4 0 876969777 838873088 72425 33554432000 4194304 4797429 140735989858432 18446744073709551615 4506576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=819212 CPUtime=758.12 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 38598 0 0 0 75804 8 0 0 25 0 4 0 876969777 838873088 72425 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=819212 CPUtime=762.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 38784 0 0 0 76216 9 0 0 25 0 4 0 876969777 838873088 72425 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.9
Current children cumulated vsize (KiB) 819212

[startup+822.301 s]
/proc/loadavg: 8.32 8.25 8.10 9/188 30275
/proc/meminfo: memFree=31676080/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=855728 CPUtime=3284.58 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 507122 0 0 0 328335 123 0 0 25 0 4 0 876969774 876265472 79497 33554432000 4194304 4797429 140735989858432 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 213932 79497 421 148 0 208861 0
[pid=30207/tid=30209] ppid=30205 vsize=855728 CPUtime=822.25 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 43756 0 0 0 82217 8 0 0 25 0 4 0 876969777 876265472 79497 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=855728 CPUtime=817.8 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 39774 0 0 0 81772 8 0 0 25 0 4 0 876969777 876265472 79497 33554432000 4194304 4797429 140735989858432 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=855728 CPUtime=822.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 40108 0 0 0 82216 9 0 0 25 0 4 0 876969777 876265472 79497 33554432000 4194304 4797429 140735989858432 18446744073709551615 4356150 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.58
Current children cumulated vsize (KiB) 855728

[startup+882.301 s]
/proc/loadavg: 8.24 8.24 8.11 10/188 30277
/proc/meminfo: memFree=31674688/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=873356 CPUtime=3524.24 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 544779 0 0 0 352293 131 0 0 25 0 4 0 876969774 894316544 79375 33554432000 4194304 4797429 140735989858432 18446744073709551615 4506625 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 218339 79375 423 148 0 213268 0
[pid=30207/tid=30209] ppid=30205 vsize=873356 CPUtime=882.25 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 45049 0 0 0 88217 8 0 0 25 0 4 0 876969777 894316544 79375 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=873356 CPUtime=877.47 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 42658 0 0 0 87738 9 0 0 25 0 4 0 876969777 894316544 79375 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=873356 CPUtime=882.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 42795 0 0 0 88215 10 0 0 25 0 4 0 876969777 894316544 79375 33554432000 4194304 4797429 140735989858432 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.24
Current children cumulated vsize (KiB) 873356

[startup+942.301 s]
/proc/loadavg: 8.35 8.26 8.12 10/188 30278
/proc/meminfo: memFree=31650824/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=873676 CPUtime=3763.93 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 552848 0 0 0 376259 134 0 0 25 0 4 0 876969774 894644224 83005 33554432000 4194304 4797429 140735989858432 18446744073709551615 271550234379 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 218419 83005 421 148 0 213348 0
[pid=30207/tid=30209] ppid=30205 vsize=873676 CPUtime=942.27 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 48201 0 0 0 94218 9 0 0 25 0 4 0 876969777 894644224 83005 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=873676 CPUtime=937.16 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 43618 0 0 0 93706 10 0 0 25 0 4 0 876969777 894644224 83005 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=873676 CPUtime=942.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 44060 0 0 0 94214 11 0 0 25 0 4 0 876969777 894644224 83005 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.93
Current children cumulated vsize (KiB) 873676

[startup+1002.3 s]
/proc/loadavg: 8.30 8.26 8.12 9/188 30280
/proc/meminfo: memFree=31650144/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=876640 CPUtime=4003.59 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 626815 0 0 0 400206 153 0 0 25 0 4 0 876969774 897679360 84000 33554432000 4194304 4797429 140735989858432 18446744073709551615 4389652 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 219160 84000 421 148 0 214089 0
[pid=30207/tid=30209] ppid=30205 vsize=876640 CPUtime=1002.26 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 49661 0 0 0 100216 10 0 0 25 0 4 0 876969777 897679360 84000 33554432000 4194304 4797429 140735989858432 18446744073709551615 4427861 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=876640 CPUtime=996.82 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 46602 0 0 0 99672 10 0 0 25 0 4 0 876969777 897679360 84000 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=876640 CPUtime=1002.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 46955 0 0 0 100213 12 0 0 25 0 4 0 876969777 897679360 84000 33554432000 4194304 4797429 140735989858432 18446744073709551615 4506622 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.59
Current children cumulated vsize (KiB) 876640

[startup+1062.31 s]
/proc/loadavg: 8.35 8.27 8.13 9/188 30282
/proc/meminfo: memFree=31626252/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=876840 CPUtime=4243.28 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 698064 0 0 0 424156 172 0 0 25 0 4 0 876969774 897884160 87293 33554432000 4194304 4797429 140735989858432 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 219210 87293 421 148 0 214139 0
[pid=30207/tid=30209] ppid=30205 vsize=876840 CPUtime=1062.27 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 50735 0 0 0 106217 10 0 0 25 0 4 0 876969777 897884160 87293 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=876840 CPUtime=1056.5 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 47842 0 0 0 105640 10 0 0 25 0 4 0 876969777 897884160 87293 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=876840 CPUtime=1062.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 48342 0 0 0 106213 12 0 0 25 0 4 0 876969777 897884160 87293 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.28
Current children cumulated vsize (KiB) 876840

[startup+1122.3 s]
/proc/loadavg: 8.33 8.28 8.14 9/188 30283
/proc/meminfo: memFree=31601528/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=899560 CPUtime=4482.93 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 726845 0 0 0 448115 178 0 0 25 0 4 0 876969774 921149440 93190 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 224890 93190 421 148 0 219819 0
[pid=30207/tid=30209] ppid=30205 vsize=899560 CPUtime=1122.27 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 54101 0 0 0 112216 11 0 0 25 0 4 0 876969777 921149440 93190 33554432000 4194304 4797429 140735989858432 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=899560 CPUtime=1116.17 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 49137 0 0 0 111606 11 0 0 25 0 4 0 876969777 921149440 93190 33554432000 4194304 4797429 140735989858432 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=899560 CPUtime=1122.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 49692 0 0 0 112212 13 0 0 25 0 4 0 876969777 921149440 93190 33554432000 4194304 4797429 140735989858432 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.93
Current children cumulated vsize (KiB) 899560

[startup+1182.3 s]
/proc/loadavg: 8.46 8.31 8.15 9/188 30285
/proc/meminfo: memFree=31600140/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=903964 CPUtime=4722.6 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 734240 0 0 0 472080 180 0 0 25 0 4 0 876969774 925659136 91915 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 225991 91915 421 148 0 220920 0
[pid=30207/tid=30209] ppid=30205 vsize=903964 CPUtime=1182.26 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 55648 0 0 0 118215 11 0 0 25 0 4 0 876969777 925659136 91915 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=903964 CPUtime=1175.85 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 52139 0 0 0 117573 12 0 0 25 0 4 0 876969777 925659136 91915 33554432000 4194304 4797429 140735989858432 18446744073709551615 4424963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=903964 CPUtime=1182.25 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 52538 0 0 0 118212 13 0 0 25 0 4 0 876969777 925659136 91915 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.6
Current children cumulated vsize (KiB) 903964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.40 8.30 8.16 9/188 30285
/proc/meminfo: memFree=31593436/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=903964 CPUtime=4800.11 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 735269 0 0 0 479831 180 0 0 25 0 4 0 876969774 925659136 92931 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 225991 92931 421 148 0 220920 0
[pid=30207/tid=30209] ppid=30205 vsize=903964 CPUtime=1201.67 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 55910 0 0 0 120156 11 0 0 25 0 4 0 876969777 925659136 92931 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=903964 CPUtime=1195.15 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 52523 0 0 0 119503 12 0 0 25 0 4 0 876969777 925659136 92931 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=903964 CPUtime=1201.65 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 52921 0 0 0 120152 13 0 0 25 0 4 0 876969777 925659136 92931 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 903964

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

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

[startup+1201.7 s]
/proc/loadavg: 8.40 8.30 8.16 9/188 30285
/proc/meminfo: memFree=31593436/32951124 swapFree=67054536/67111528
[pid=30207] ppid=30205 vsize=903964 CPUtime=4800.11 cores=1,3,5,7
/proc/30207/stat : 30207 (techdemo) R 30205 30207 29691 0 -1 4202496 735269 0 0 0 479831 180 0 0 25 0 4 0 876969774 925659136 92931 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30207/statm: 225991 92931 421 148 0 220920 0
[pid=30207/tid=30209] ppid=30205 vsize=903964 CPUtime=1201.67 cores=1,3,5,7
/proc/30207/task/30209/stat : 30209 (techdemo) R 30205 30207 29691 0 -1 4202560 55910 0 0 0 120156 11 0 0 25 0 4 0 876969777 925659136 92931 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30207/tid=30210] ppid=30205 vsize=903964 CPUtime=1195.15 cores=1,3,5,7
/proc/30207/task/30210/stat : 30210 (techdemo) R 30205 30207 29691 0 -1 4202560 52523 0 0 0 119503 12 0 0 25 0 4 0 876969777 925659136 92931 33554432000 4194304 4797429 140735989858432 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30207/tid=30211] ppid=30205 vsize=903964 CPUtime=1201.65 cores=1,3,5,7
/proc/30207/task/30211/stat : 30211 (techdemo) R 30205 30207 29691 0 -1 4202560 52921 0 0 0 120152 13 0 0 25 0 4 0 876969777 925659136 92931 33554432000 4194304 4797429 140735989858432 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 903964

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.16
CPU user time (s): 4798.34
CPU system time (s): 1.81972
CPU usage (%): 399.438
Max. virtual memory (cumulated for all children) (KiB): 1040704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.34
system time used= 1.81972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 735269
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= 603
involuntary context switches= 35236

runsolver used 1.89671 second user time and 4.67329 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-09 23:08:39
IDJOB=3265189
IDBENCH=85456
IDSOLVER=1584
FILE ID=node133/3265189-1307653719
RUNJOBID= node133-1307650608-29710
PBS_JOBID= 13549417
Free space on /tmp= 74164 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-040-039.shuffled-as.sat05-1194.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265189-1307653719/watcher-3265189-1307653719 -o /tmp/evaluation-result-3265189-1307653719/solver-3265189-1307653719 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3265189-1307653719.cnf

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

MD5SUM BENCH= 8c84d9b9f2d75de33656119bc03a9afb
RANDOM SEED=322144386

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31883928 kB
Buffers:        195760 kB
Cached:         429744 kB
SwapCached:      10420 kB
Active:         574812 kB
Inactive:       295128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31883928 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:            8564 kB
Writeback:           0 kB
AnonPages:      241792 kB
Mapped:          13556 kB
Slab:           132992 kB
PageTables:       5156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   887576 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74156 MiB
End job on node133 at 2011-06-09 23:28:43