Trace number 3250799

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.24 1201.72

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
MD5SUMb61e426b264831836f140414cdcf3e23
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables238
Number of clauses15812
Sum of the clauses size70446
Maximum clause length16
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 314042
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51770

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-3250799-1304134235.cnf'
0.00/0.00	c -- header says num vars:            238
0.00/0.00	c -- header says num clauses:       15812
0.00/0.02	c -- clauses added:            0 learnts,        15812 normals,            0 xors
0.00/0.02	c -- vars added        238
0.00/0.02	c Parsing time:  0.02 s
0.00/0.03	c  N st     0         0       238     15812         0         0     70446         0   no data   no data  --
0.30/0.15	c asymm  cl-useful: 0/15812/15812 lits-rem:0 time: 0.48
0.30/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.0M T:  0.01
0.30/0.15	c Calc non-exist non-lernt bins v-fix:     0 done:    238 time:  0.00 s
0.30/0.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.30/0.15	c Subs w/ non-existent bins:      0 time:  0.00 s
0.30/0.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.30/0.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.30/0.16	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.30/0.20	c lits-rem:         0  cl-subs:        0  v-elim:    158  v-fix:    0  time:  0.18 s
0.30/0.20	c learnt bin added due to v-elim: 0
0.30/0.20	c Finding binary XORs  T:     0.00 s  found:       0
0.30/0.22	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
0.30/0.22	c calculated reachability. Time: 0.00
0.30/0.22	c Calc default polars -  time:   0.00 s pos:     238 undec:       0 neg:       0
0.30/0.22	c =========================================================================================
0.30/0.22	c types(t): F = full restart, N = normal restart
0.30/0.22	c types(t): S = simplification begin/end, E = solution found
0.30/0.22	c restart types(rt): st = static, dy = dynamic
0.30/0.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.30/0.22	c  B st     0         0       238     15812         0         0     70446         0   no data   no data  --
1.09/0.36	c Decided on static restart strategy
1.89/0.50	c  N dy    19      4021       238     15812         0      3898     70446    114723     30.11     19.66  --
3.09/0.80	c  N dy    47      8088       238     15812         0      5413     70446    147409     29.19     19.65  --
4.31/1.11	c  N dy    75     12221       238     15812         0      5297     70446    134413     31.08     20.03  --
5.49/1.43	c  N dy   103     16356       238     15812         0      9280     70446    246272     26.97     19.73  --
6.69/1.76	c  N dy   131     20480       238     15812         0      7840     70446    194724     28.41     19.77  --
7.89/2.10	c  N dy   159     24554       238     15812         0     11800     70446    308034     29.80     19.68  --
9.48/2.44	c  N dy   187     28634       238     15812         0      9174     70446    219225     29.03     19.61  --
9.88/2.57	c  S st   197     30002       238     15812         0     10489     70446    256279     28.30     19.54  --
10.28/2.61	c  S st   197     30505       238     15812         0     10991     70446    270598     28.30     19.54  --
10.28/2.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.28/2.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.28/2.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.09
10.28/2.63	c Calc non-exist non-lernt bins v-fix:     0 done:    238 time:  0.00 s
10.28/2.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.28/2.64	c Subs w/ non-existent bins:      0 time:  0.01 s
10.28/2.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
10.28/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.28/2.64	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
14.27/3.69	c lits-rem:        40  cl-subs:      894  v-elim:    238  v-fix:    0  time:  4.18 s
14.27/3.69	c learnt bin added due to v-elim: 0
14.27/3.69	c vivif2 --  cl tried    15812 cl shrink        0 lits rem          0 time: 0.00
14.27/3.69	c vivif2 --  cl tried    10097 cl shrink        0 lits rem          0 time: 0.01
15.07/3.89	c asymm  cl-useful: 0/5376/15812 lits-rem:0 time: 0.79
15.07/3.89	c calculated reachability. Time: 0.00
15.07/3.89	c  N dy   197     30505       238     15812         0     10097     70446    249887     28.30     19.54  --
15.07/3.89	c  F st   197     30505       238     15812         0     10097     70446    249887     28.30     19.54  --
15.87/4.08	c Decided on static restart strategy
16.67/4.26	c  N dy   217     34623       238     15812         0     14048     70446    361421     27.15     19.42  --
18.26/4.62	c  N dy   245     38737       238     15812         0     10381     70446    242663     27.13     19.40  --
19.46/4.96	c  N dy   273     42866       238     15812         0     14374     70446    355093     28.49     19.34  --
20.66/5.25	c  S st   294     45758       238     15812         0     17169     70446    434273     29.68     19.35  --
21.07/5.30	c  S st   294     46261       238     15812         0      9015     70446    191450     29.68     19.35  --
21.07/5.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.07/5.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.07/5.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
21.07/5.32	c Calc non-exist non-lernt bins v-fix:     0 done:    238 time:  0.00 s
21.07/5.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.07/5.33	c Subs w/ non-existent bins:      0 time:  0.01 s
21.07/5.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
21.07/5.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.07/5.33	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
25.46/6.50	c lits-rem:         3  cl-subs:      199  v-elim:    238  v-fix:    0  time:  4.67 s
25.46/6.50	c learnt bin added due to v-elim: 0
25.46/6.50	c vivif2 --  cl tried    15812 cl shrink        0 lits rem          0 time: 0.00
25.88/6.50	c vivif2 --  cl tried     8816 cl shrink        0 lits rem          0 time: 0.00
26.66/6.70	c asymm  cl-useful: 0/5560/15812 lits-rem:0 time: 0.80
26.66/6.70	c calculated reachability. Time: 0.00
26.66/6.70	c  N dy   294     46261       238     15812         0      8816     70446    187500     29.68     19.35  --
27.85/7.05	c  N dy   322     50310       238     15812         0     12727     70446    296039     26.45     19.23  --
29.45/7.43	c  N dy   350     54419       238     15812         0     16723     70446    413473     30.07     19.29  --
31.05/7.82	c  N dy   378     58528       238     15812         0     11022     70446    234325     28.31     19.25  --
32.25/8.17	c  N dy   406     62670       238     15812         0     15030     70446    347285     28.22     19.22  --
33.85/8.55	c  N dy   434     66757       238     15812         0     18999     70446    460642     29.06     19.18  --
35.07/8.83	c  S st   453     69392       238     15812         0     10921     70446    226088     29.09     19.18  --
35.07/8.87	c  S st   453     69897       238     15812         0     11426     70446    239906     29.09     19.18  --
35.07/8.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.07/8.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.44/8.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  0.13
35.44/8.91	c Calc non-exist non-lernt bins v-fix:     0 done:    238 time:  0.00 s
35.44/8.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.44/8.91	c Subs w/ non-existent bins:      0 time:  0.01 s
35.44/8.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.44/8.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.44/8.92	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
39.83/10.02	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
43.03/10.88	c Added 3 vars  tried: 80000 time: 3.46
43.03/10.89	c ORs :      3 avg-s:  0.0 cl-sh:  1349 l-rem:   1349 b-add:      6 v-rep:   0 cl-rem: 6 avg s: 3.0 T:    3.48
43.03/10.89	c lits-rem:         7  cl-subs:      262  v-elim:    238  v-fix:    0  time:  7.89 s
43.03/10.89	c learnt bin added due to v-elim: 0
43.03/10.89	c vivif2 --  cl tried    15809 cl shrink        0 lits rem          0 time: 0.00
43.03/10.89	c vivif2 --  cl tried    11164 cl shrink        0 lits rem          0 time: 0.01
43.85/11.07	c asymm  cl-useful: 0/4873/15809 lits-rem:0 time: 0.68
43.85/11.07	c calculated reachability. Time: 0.00
43.85/11.07	c  N dy   453     69897       241     15809         6     11164     70313    233363     29.09     19.18  --
43.85/11.07	c  F st   453     69897       241     15809         6     11164     70313    233363     29.09     19.18  --
44.63/11.28	c Decided on static restart strategy
45.82/11.51	c  N dy   476     74464       241     15809         6     15573     70313    358723     28.79     19.21  --
47.42/11.97	c  N dy   509     79320       241     15809         6     20267     70313    488942     27.43     19.18  --
49.43/12.47	c  N dy   544     84457       241     15809         6     13629     70313    285146     27.44     19.12  --
51.42/12.97	c  N dy   581     89851       241     15809         6     18838     70313    434191     29.68     19.18  --
53.82/13.56	c  N dy   621     95721       241     15809         6     24486     70313    591466     25.84     19.13  --
56.22/14.16	c  N dy   663    101931       241     15809         6     17921     70313    391738     27.77     19.13  --
57.41/14.48	c  S st   684    104846       241     15809         6     20740     70313    470244     29.58     19.11  --
57.81/14.53	c  S st   684    105353       241     15809         6     21243     70313    484102     29.58     19.11  --
57.81/14.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.81/14.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.21/14.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.8M T:  0.31
58.21/14.61	c Calc non-exist non-lernt bins v-fix:     0 done:    241 time:  0.00 s
58.21/14.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.21/14.61	c Subs w/ non-existent bins:      0 time:  0.01 s
58.21/14.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.21/14.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.21/14.62	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
64.60/16.25	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
64.60/16.25	c lits-rem:        67  cl-subs:     1195  v-elim:    238  v-fix:    0  time:  6.52 s
64.60/16.25	c learnt bin added due to v-elim: 0
64.60/16.25	c vivif2 --  cl tried    15809 cl shrink        0 lits rem          0 time: 0.00
64.60/16.26	c vivif2 --  cl tried    20048 cl shrink        0 lits rem          0 time: 0.02
65.00/16.35	c asymm  cl-useful: 0/2622/15809 lits-rem:0 time: 0.36
65.00/16.35	c calculated reachability. Time: 0.00
65.00/16.35	c  N dy   684    105353       241     15809         6     20048     70313    454626     29.58     19.11  --
68.20/17.10	c  N dy   730    112074       241     15809         6     26544     70313    642355     28.93     19.14  --
70.99/17.81	c  N dy   779    119248       241     15809         6     20005     70313    440708     28.16     19.12  --
74.21/18.62	c  N dy   832    126968       241     15809         6     27504     70313    654866     29.67     19.14  --
77.39/19.46	c  N dy   888    135200       241     15809         6     20971     70313    464279     29.26     19.14  --
81.38/20.42	c  N dy   948    143927       241     15809         6     29389     70313    700889     29.21     19.13  --
84.97/21.39	c  N dy  1011    153139       241     15809         6     22819     70313    508095     26.85     19.14  --
87.39/21.95	c  S st  1045    158030       241     15809         6     27548     70313    641031     27.31     19.12  --
87.79/22.01	c  S st  1045    158536       241     15809         6     28052     70313    655829     27.31     19.12  --
87.79/22.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
87.79/22.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
88.16/22.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.0M T:  0.52
88.16/22.15	c Calc non-exist non-lernt bins v-fix:     0 done:    241 time:  0.00 s
88.16/22.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
88.16/22.15	c Subs w/ non-existent bins:      0 time:  0.02 s
88.16/22.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.16/22.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.16/22.17	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
95.76/24.10	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
96.17/24.11	c lits-rem:        96  cl-subs:     1541  v-elim:    238  v-fix:    0  time:  7.77 s
96.17/24.11	c learnt bin added due to v-elim: 0
96.17/24.11	c vivif2 --  cl tried    15809 cl shrink        0 lits rem          0 time: 0.00
96.17/24.12	c vivif2 --  cl tried    26511 cl shrink        0 lits rem          0 time: 0.02
96.57/24.23	c asymm  cl-useful: 0/1037/15809 lits-rem:0 time: 0.45
96.57/24.23	c calculated reachability. Time: 0.00
96.57/24.23	c  N dy  1045    158536       241     15809         6     26511     70313    617400     27.31     19.12  --
101.35/25.42	c  N dy  1115    168777       247     15809        20     20023     70341    412014     28.87     19.14  --
106.15/26.60	c  N dy  1189    179612       247     15809        20     30539     70341    708607     28.55     19.14  --
111.33/27.90	c  N dy  1268    191148       247     15809        20     24234     70341    511498     28.27     19.16  --
116.93/29.35	c  N dy  1352    203362       247     15809        20     36061     70341    841064     27.89     19.13  --
122.94/30.82	c  N dy  1442    216480       247     15809        20     30319     70341    657986     27.32     19.09  --
129.32/32.48	c  N dy  1536    230297       247     15809        20     24356     70341    492609     27.65     19.04  --
132.91/33.39	c  S st  1588    237807       247     15809        20     31660     70341    698606     27.40     19.04  --
133.31/33.45	c  S st  1588    238312       247     15809        20     32163     70341    712987     27.40     19.04  --
133.31/33.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
133.31/33.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
134.11/33.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P:  8.1M T:  0.67
134.11/33.62	c Calc non-exist non-lernt bins v-fix:     0 done:    247 time:  0.00 s
134.11/33.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
134.11/33.63	c Subs w/ non-existent bins:      0 time:  0.02 s
134.11/33.63	c Replacing        1 vars Replaced       16 lits Time:     0.01 s 
134.11/33.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
134.11/33.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.11/33.65	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
142.50/35.78	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
142.50/35.80	c lits-rem:        96  cl-subs:     1736  v-elim:    238  v-fix:    0  time:  8.58 s
142.50/35.80	c learnt bin added due to v-elim: 0
142.90/35.80	c vivif2 --  cl tried    15809 cl shrink        0 lits rem          0 time: 0.00
142.90/35.80	c vivif2 --  cl tried    30427 cl shrink        0 lits rem          0 time: 0.02
143.30/35.92	c asymm  cl-useful: 0/1337/15809 lits-rem:0 time: 0.47
143.30/35.92	c calculated reachability. Time: 0.00
143.30/35.92	c  N dy  1588    238312       246     15809        16     30427     70333    670350     27.40     19.04  --
150.88/37.83	c  N dy  1693    253630       246     15809        16     24943     70333    498303     27.17     19.00  --
158.87/39.84	c  N dy  1803    269855       258     15809        40     40708     70381    939812     28.75     19.00  --
211.60/53.07	c  N dy  1831    357468       258     15809        40     34675     70381    711833     26.78     18.66  --
212.00/53.11	c  S st  1831    357468       258     15809        40     34675     70381    711833     26.78     18.66  --
212.00/53.17	c  S st  1831    357968       258     15809        40     35174     70381    725499     26.78     18.66  --
212.00/53.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
212.00/53.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.79/53.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 10.0M T:  0.78
212.79/53.37	c Calc non-exist non-lernt bins v-fix:     0 done:    258 time:  0.01 s
212.79/53.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.79/53.38	c Subs w/ non-existent bins:      0 time:  0.02 s
212.79/53.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
212.79/53.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.79/53.39	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
220.38/55.20	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
220.38/55.21	c lits-rem:       192  cl-subs:     1521  v-elim:    238  v-fix:    0  time:  7.27 s
220.38/55.21	c learnt bin added due to v-elim: 0
220.38/55.22	c vivif2 --  cl tried    15809 cl shrink        0 lits rem          0 time: 0.00
220.38/55.22	c vivif2 --  cl tried    33653 cl shrink        0 lits rem          0 time: 0.03
220.78/55.33	c asymm  cl-useful: 0/750/15809 lits-rem:0 time: 0.45
220.78/55.34	c calculated reachability. Time: 0.00
220.78/55.34	c  N dy  1831    357968       258     15809        40     33653     70381    690270     26.78     18.66  --
344.22/86.24	c  N dy  1877    536952       270     15809        69     41585     70433    860466     31.68     18.69  --
344.22/86.28	c  S st  1877    536952       270     15809        69     41585     70433    860466     31.68     18.69  --
344.62/86.36	c  S st  1877    537455       270     15809        71     42090     70435    874556     31.68     18.69  --
344.62/86.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
344.62/86.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
345.42/86.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.8M T:  0.93
345.42/86.60	c Calc non-exist non-lernt bins v-fix:     0 done:    270 time:  0.00 s
345.42/86.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
345.82/86.60	c Subs w/ non-existent bins:      0 time:  0.03 s
345.82/86.62	c Replacing        2 vars Replaced      973 lits Time:     0.08 s 
345.82/86.64	c bin-w-bin subsume rem            4 bins  time:  0.00 s
345.82/86.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
345.82/86.64	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
353.81/88.64	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
357.80/89.68	c Added 3 vars  tried: 80000 time: 4.17
358.60/89.80	c ORs :      3 avg-s:  0.0 cl-sh: 10032 l-rem:  10032 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:    4.64
358.60/89.81	c lits-rem:       325  cl-subs:     1287  v-elim:    238  v-fix:    0  time: 12.67 s
358.60/89.81	c learnt bin added due to v-elim: 0
358.60/89.82	c vivif2 --  cl tried    15812 cl shrink        0 lits rem          0 time: 0.00
358.60/89.82	c vivif2 --  cl tried    40803 cl shrink        0 lits rem          0 time: 0.04
359.00/89.94	c asymm  cl-useful: 0/622/15812 lits-rem:0 time: 0.45
359.00/89.94	c calculated reachability. Time: 0.00
359.00/89.94	c  N dy  1877    537455       271     15812        66     40803     70442    830231     31.68     18.69  --
359.00/89.94	c  F st  1877    537455       271     15812        66     40803     70442    830231     31.68     18.69  --
360.22/90.29	c Decided on static restart strategy
576.71/144.43	c  N dy  1886    806183       271     15812        66     63512     70442   1300380     23.16     17.53  --
576.71/144.49	c  S st  1886    806183       271     15812        66     63512     70442   1300380     23.16     17.53  --
576.71/144.49	c Finding binary XORs  T:     0.00 s  found:       0
577.51/144.60	c  S st  1886    806685       271     15812        66     64014     70442   1314166     23.16     17.53  --
577.51/144.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
577.51/144.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
579.11/145.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.2M T:  1.76
579.11/145.05	c Calc non-exist non-lernt bins v-fix:     0 done:    271 time:  0.01 s
579.11/145.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
579.11/145.06	c Subs w/ non-existent bins:      0 time:  0.04 s
579.11/145.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
579.11/145.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
579.11/145.09	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
592.29/148.33	c ORs :      6 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
592.29/148.35	c lits-rem:       818  cl-subs:     3815  v-elim:    238  v-fix:    0  time: 13.04 s
592.29/148.35	c learnt bin added due to v-elim: 0
592.29/148.35	c vivif2 --  cl tried    15812 cl shrink        0 lits rem          0 time: 0.00
592.29/148.37	c vivif2 --  cl tried    60199 cl shrink        0 lits rem          0 time: 0.05
592.70/148.50	c asymm  cl-useful: 0/418/15812 lits-rem:0 time: 0.52
593.11/148.50	c calculated reachability. Time: 0.00
593.11/148.50	c  N dy  1886    806685       271     15812        66     60199     70442   1232184     23.16     17.53  --
960.59/240.55	c  N dy  1898   1210027       271     15812        66     76729     70442   1632462     28.53     18.18  --
960.98/240.62	c  S st  1898   1210027       271     15812        66     76729     70442   1632462     28.53     18.18  --
961.38/240.74	c  S st  1898   1210529       280     15812        93     77259     70486   1646334     28.53     18.18  --
961.38/240.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
961.38/240.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
963.78/241.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.1M T:  2.20
963.78/241.30	c Calc non-exist non-lernt bins v-fix:     0 done:    280 time:  0.01 s
963.78/241.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
963.78/241.31	c Subs w/ non-existent bins:      0 time:  0.06 s
963.78/241.32	c Replacing        2 vars Replaced      100 lits Time:     0.03 s 
963.78/241.35	c bin-w-bin subsume rem            4 bins  time:  0.01 s
963.78/241.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
963.78/241.36	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
980.95/245.67	c ORs :      6 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
980.95/245.70	c lits-rem:       441  cl-subs:     3300  v-elim:    238  v-fix:    0  time: 17.32 s
980.95/245.70	c learnt bin added due to v-elim: 0
981.35/245.70	c vivif2 --  cl tried    15812 cl shrink        0 lits rem          0 time: 0.00
981.35/245.71	c vivif2 --  cl tried    73959 cl shrink        0 lits rem          0 time: 0.07
981.75/245.84	c asymm  cl-useful: 0/413/15812 lits-rem:0 time: 0.52
981.75/245.85	c calculated reachability. Time: 0.00
981.75/245.85	c  N dy  1898   1210529       278     15812        81     73959     70470   1560163     28.53     18.18  --
1571.76/393.58	c  N dy  1901   1710531       278     15812        81    104659     70470   2303356     26.13     17.60  --
1572.15/393.68	c  S st  1901   1710531       278     15812        81    104659     70470   2303356     26.13     17.60  --
1572.97/393.85	c  S st  1901   1711031       290     15812       105    105179     70518   2316980     26.13     17.60  --
1572.97/393.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1572.97/393.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1576.56/394.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 38.8M T:  3.73
1576.56/394.80	c Calc non-exist non-lernt bins v-fix:     0 done:    290 time:  0.01 s
1576.56/394.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1576.97/394.82	c Subs w/ non-existent bins:      0 time:  0.08 s
1576.97/394.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1576.97/394.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1576.97/394.87	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1608.91/402.88	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
1609.30/402.92	c lits-rem:       496  cl-subs:     5548  v-elim:    238  v-fix:    0  time: 32.15 s
1609.30/402.92	c learnt bin added due to v-elim: 0
1609.30/402.92	c vivif2 --  cl tried    15812 cl shrink        0 lits rem          0 time: 0.00
1609.30/402.95	c vivif2 --  cl tried    99631 cl shrink        0 lits rem          0 time: 0.11
1609.70/403.09	c asymm  cl-useful: 0/236/15812 lits-rem:0 time: 0.56
1609.70/403.09	c calculated reachability. Time: 0.00
1609.70/403.09	c  N dy  1901   1711031       290     15812       105     99631     70518   2175811     26.13     17.60  --
2382.65/596.53	c  N dy  1902   2211032       290     15812       105    114721     70518   2397121     23.53     17.07  --
2383.05/596.63	c  S st  1902   2211032       290     15812       105    114721     70518   2397121     23.53     17.07  --
2383.85/596.85	c  S st  1902   2211534       293     15812       115    115227     70534   2411553     23.53     17.07  --
2383.85/596.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2383.85/596.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2387.85/597.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 42.5M T:  3.86
2387.85/597.83	c Calc non-exist non-lernt bins v-fix:     0 done:    293 time:  0.02 s
2387.85/597.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2387.85/597.85	c Subs w/ non-existent bins:      0 time:  0.08 s
2387.85/597.86	c Replacing        1 vars Replaced       24 lits Time:     0.04 s 
2388.25/597.91	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2388.25/597.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2388.25/597.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2432.19/608.91	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
2437.78/610.30	c Added 3 vars  tried: 80000 time: 5.57
2437.78/610.38	c ORs :      3 avg-s:  0.0 cl-sh:  4362 l-rem:   4362 b-add:      6 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    5.88
2438.20/610.42	c lits-rem:      3004  cl-subs:     8430  v-elim:    238  v-fix:    0  time: 49.96 s
2438.20/610.42	c learnt bin added due to v-elim: 0
2438.20/610.42	c vivif2 --  cl tried    15812 cl shrink        0 lits rem          0 time: 0.00
2438.20/610.45	c vivif2 --  cl tried   106797 cl shrink        0 lits rem          0 time: 0.11
2438.60/610.59	c asymm  cl-useful: 0/293/15812 lits-rem:0 time: 0.56
2438.98/610.60	c calculated reachability. Time: 0.00
2438.98/610.60	c  N dy  1902   2211534       295     15812       115    106797     70459   2204297     23.53     17.07  --
3071.72/769.02	c  N dy  1911   2711534       295     15812       115    130381     70459   2580245     24.91     16.74  --
3072.12/769.13	c  S st  1911   2711534       295     15812       115    130381     70459   2580245     24.91     16.74  --
3072.12/769.13	c Finding binary XORs  T:     0.00 s  found:       0
3072.92/769.35	c  S st  1911   2712037       295     15812       115    130881     70459   2594872     24.91     16.74  --
3072.92/769.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3072.92/769.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3077.71/770.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 50.6M T:  4.55
3077.71/770.50	c Calc non-exist non-lernt bins v-fix:     0 done:    295 time:  0.01 s
3077.71/770.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3077.71/770.53	c Subs w/ non-existent bins:      0 time:  0.09 s
3077.71/770.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3077.71/770.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3077.71/770.58	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3117.65/780.59	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.09
3118.05/780.64	c lits-rem:         8  cl-subs:    11697  v-elim:    238  v-fix:    0  time: 40.14 s
3118.05/780.64	c learnt bin added due to v-elim: 0
3118.05/780.64	c vivif2 --  cl tried    15812 cl shrink        0 lits rem          0 time: 0.00
3118.05/780.66	c vivif2 --  cl tried   119184 cl shrink        0 lits rem          0 time: 0.12
3118.85/780.80	c asymm  cl-useful: 0/365/15812 lits-rem:0 time: 0.54
3118.85/780.81	c calculated reachability. Time: 0.00
3118.85/780.81	c  N dy  1911   2712037       295     15812       115    119184     70459   2357403     24.91     16.74  --
3118.85/780.81	c  F st  1911   2712037       295     15812       115    119184     70459   2357403     24.91     16.74  --
3122.46/781.72	c Decided on static restart strategy
3845.48/962.70	c  N dy  1918   3212037       295     15812       115     96200     70459   1769489     26.89     16.58  --
3845.48/962.79	c  S st  1918   3212037       295     15812       115     96200     70459   1769489     26.89     16.58  --
3846.27/962.95	c  S st  1918   3212538       297     15812       119     96700     70467   1782712     26.89     16.58  --
3846.27/962.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3846.27/962.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3849.87/963.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 43.2M T:  3.37
3849.87/963.80	c Calc non-exist non-lernt bins v-fix:     0 done:    297 time:  0.01 s
3849.87/963.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3849.87/963.82	c Subs w/ non-existent bins:      0 time:  0.07 s
3849.87/963.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3849.87/963.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3849.87/963.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3865.45/967.70	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.06
3865.45/967.74	c lits-rem:        21  cl-subs:     2587  v-elim:    238  v-fix:    0  time: 15.50 s
3865.45/967.74	c learnt bin added due to v-elim: 0
3865.45/967.74	c vivif2 --  cl tried    15812 cl shrink        0 lits rem          0 time: 0.00
3865.45/967.76	c vivif2 --  cl tried    94113 cl shrink        0 lits rem          0 time: 0.08
3865.85/967.89	c asymm  cl-useful: 0/364/15812 lits-rem:0 time: 0.52
3865.85/967.90	c calculated reachability. Time: 0.00
3865.85/967.90	c  N dy  1918   3212538       297     15812       119     94113     70467   1723582     26.89     16.58  --

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-3250799-1304134235/watcher-3250799-1304134235 -o /tmp/evaluation-result-3250799-1304134235/solver-3250799-1304134235 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3250799-1304134235.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: 8.06 8.08 7.77 2/173 29643
/proc/meminfo: memFree=29749512/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=50280 CPUtime=0 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 751 0 0 0 0 0 0 0 25 0 1 0 603654213 51486720 678 33554432000 4194304 4797429 140734571943072 18446744073709551615 4407927 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29643/statm: 12570 678 347 148 0 7499 0

[startup+0.072746 s]
/proc/loadavg: 8.06 8.08 7.77 2/173 29643
/proc/meminfo: memFree=29749512/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=149592 CPUtime=0.19 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 1926 0 0 0 19 0 0 0 18 0 4 0 603654213 153182208 1788 33554432000 4194304 4797429 140734571943072 18446744073709551615 4428600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 37398 1788 372 148 0 32327 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 149592

[startup+0.100726 s]
/proc/loadavg: 8.06 8.08 7.77 2/173 29643
/proc/meminfo: memFree=29749512/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=149592 CPUtime=0.3 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 1929 0 0 0 30 0 0 0 18 0 4 0 603654213 153182208 1791 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429163 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 37398 1791 372 148 0 32327 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 149592

[startup+0.300641 s]
/proc/loadavg: 8.06 8.08 7.77 2/173 29643
/proc/meminfo: memFree=29749512/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=678348 CPUtime=1.09 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 4274 0 0 0 109 0 0 0 18 0 4 0 603654213 694628352 3588 33554432000 4194304 4797429 140734571943072 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 169587 3589 407 148 0 164516 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 678348

[startup+0.700565 s]
/proc/loadavg: 8.06 8.08 7.77 2/173 29643
/proc/meminfo: memFree=29749512/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=681636 CPUtime=2.69 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 6176 0 0 0 269 0 0 0 18 0 4 0 603654213 697995264 4459 33554432000 4194304 4797429 140734571943072 18446744073709551615 4425015 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 170409 4459 410 148 0 165338 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 681636

[startup+1.50042 s]
/proc/loadavg: 8.06 8.08 7.77 10/184 29655
/proc/meminfo: memFree=29685688/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=684756 CPUtime=5.89 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 8417 0 0 0 588 1 0 0 19 0 4 0 603654213 701190144 6284 33554432000 4194304 4797429 140734571943072 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 171189 6284 414 148 0 166118 0
[pid=29643/tid=29645] ppid=29641 vsize=684756 CPUtime=1.45 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 1451 0 0 0 145 0 0 0 19 0 4 0 603654216 701190144 6284 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=684756 CPUtime=1.46 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 1602 0 0 0 146 0 0 0 19 0 4 0 603654216 701190144 6284 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=684756 CPUtime=1.46 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 1736 0 0 0 146 0 0 0 20 0 4 0 603654216 701190144 6284 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 684756

[startup+3.10111 s]
/proc/loadavg: 8.06 8.08 7.77 9/184 29655
/proc/meminfo: memFree=29678248/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=687700 CPUtime=12.28 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 10691 0 0 0 1227 1 0 0 24 0 4 0 603654213 704204800 6940 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 171925 6940 415 148 0 166854 0
[pid=29643/tid=29645] ppid=29641 vsize=687700 CPUtime=3.05 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 1451 0 0 0 305 0 0 0 25 0 4 0 603654216 704204800 6940 33554432000 4194304 4797429 140734571943072 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=687700 CPUtime=3.06 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 1976 0 0 0 306 0 0 0 24 0 4 0 603654216 704204800 6940 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=687700 CPUtime=3.06 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 2182 0 0 0 306 0 0 0 25 0 4 0 603654216 704204800 6940 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 687700

[startup+6.30051 s]
/proc/loadavg: 8.14 8.09 7.77 9/184 29656
/proc/meminfo: memFree=29666096/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=689512 CPUtime=25.06 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 12713 0 0 0 2504 2 0 0 25 0 4 0 603654213 706060288 7475 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 172378 7475 417 148 0 167307 0
[pid=29643/tid=29645] ppid=29641 vsize=689512 CPUtime=6.23 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 1915 0 0 0 623 0 0 0 25 0 4 0 603654216 706060288 7475 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=689512 CPUtime=6.25 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 2073 0 0 0 625 0 0 0 25 0 4 0 603654216 706060288 7475 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=689512 CPUtime=6.26 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 2273 0 0 0 626 0 0 0 25 0 4 0 603654216 706060288 7475 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 689512

[startup+12.7003 s]
/proc/loadavg: 8.12 8.09 7.78 9/184 29656
/proc/meminfo: memFree=29652120/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=692852 CPUtime=50.62 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 16779 0 0 0 5059 3 0 0 25 0 4 0 603654213 709480448 8646 33554432000 4194304 4797429 140734571943072 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 173213 8646 419 148 0 168142 0
[pid=29643/tid=29645] ppid=29641 vsize=692852 CPUtime=12.59 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 2159 0 0 0 1259 0 0 0 25 0 4 0 603654216 709480448 8646 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=692852 CPUtime=12.65 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 2676 0 0 0 1265 0 0 0 25 0 4 0 603654216 709480448 8646 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=692852 CPUtime=12.66 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 2754 0 0 0 1266 0 0 0 25 0 4 0 603654216 709480448 8646 33554432000 4194304 4797429 140734571943072 18446744073709551615 4415840 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 692852

[startup+25.5009 s]
/proc/loadavg: 8.10 8.08 7.78 9/184 29656
/proc/meminfo: memFree=29633388/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=698644 CPUtime=101.75 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 24986 0 0 0 10170 5 0 0 25 0 4 0 603654213 715411456 11025 33554432000 4194304 4797429 140734571943072 18446744073709551615 4351613 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 174661 11025 423 148 0 169590 0
[pid=29643/tid=29645] ppid=29641 vsize=698644 CPUtime=25.32 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 2819 0 0 0 2532 0 0 0 25 0 4 0 603654216 715411456 11025 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=698644 CPUtime=25.45 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 3544 0 0 0 2545 0 0 0 25 0 4 0 603654216 715411456 11025 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=698644 CPUtime=25.46 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 3672 0 0 0 2546 0 0 0 25 0 4 0 603654216 715411456 11025 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 698644

[startup+51.1011 s]
/proc/loadavg: 8.06 8.08 7.78 9/184 29657
/proc/meminfo: memFree=29605776/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=704300 CPUtime=204.01 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 37869 0 0 0 20393 8 0 0 25 0 4 0 603654213 721203200 13819 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 176075 13819 422 148 0 171004 0
[pid=29643/tid=29645] ppid=29641 vsize=704300 CPUtime=50.78 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 3920 0 0 0 5078 0 0 0 25 0 4 0 603654216 721203200 13819 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=704300 CPUtime=51.04 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 4510 0 0 0 5104 0 0 0 25 0 4 0 603654216 721203200 13819 33554432000 4194304 4797429 140734571943072 18446744073709551615 4526613 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=704300 CPUtime=51.06 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 4681 0 0 0 5106 0 0 0 25 0 4 0 603654216 721203200 13819 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 704300

[startup+102.306 s]
/proc/loadavg: 8.07 8.08 7.80 9/184 29658
/proc/meminfo: memFree=29580080/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=713548 CPUtime=408.55 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 60546 0 0 0 40840 15 0 0 25 0 4 0 603654213 730673152 16742 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 178387 16742 421 148 0 173316 0
[pid=29643/tid=29645] ppid=29641 vsize=713548 CPUtime=101.71 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 6189 0 0 0 10170 1 0 0 25 0 4 0 603654216 730673152 16742 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=713548 CPUtime=102.25 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 6606 0 0 0 10224 1 0 0 25 0 4 0 603654216 730673152 16742 33554432000 4194304 4797429 140734571943072 18446744073709551615 4414437 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=713548 CPUtime=102.27 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 6925 0 0 0 10226 1 0 0 25 0 4 0 603654216 730673152 16742 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 713548

[startup+162.301 s]
/proc/loadavg: 8.17 8.11 7.83 9/184 29660
/proc/meminfo: memFree=29547912/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=722784 CPUtime=648.21 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 83932 0 0 0 64800 21 0 0 25 0 4 0 603654213 740130816 20269 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 180696 20269 421 148 0 175625 0
[pid=29643/tid=29645] ppid=29641 vsize=722784 CPUtime=161.38 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 8254 0 0 0 16137 1 0 0 25 0 4 0 603654216 740130816 20269 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=722784 CPUtime=162.24 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 9486 0 0 0 16222 2 0 0 25 0 4 0 603654216 740130816 20269 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=722784 CPUtime=162.27 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 9761 0 0 0 16225 2 0 0 25 0 4 0 603654216 740130816 20269 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.21
Current children cumulated vsize (KiB) 722784

[startup+222.301 s]
/proc/loadavg: 8.17 8.11 7.84 9/184 29661
/proc/meminfo: memFree=29517708/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=728988 CPUtime=887.88 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 105199 0 0 0 88759 29 0 0 25 0 4 0 603654213 746483712 22562 33554432000 4194304 4797429 140734571943072 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 182247 22562 424 148 0 177176 0
[pid=29643/tid=29645] ppid=29641 vsize=728988 CPUtime=221.05 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 10201 0 0 0 22103 2 0 0 25 0 4 0 603654216 746483712 22562 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=728988 CPUtime=222.23 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 11798 0 0 0 22221 2 0 0 25 0 4 0 603654216 746483712 22562 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=728988 CPUtime=222.27 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 11748 0 0 0 22224 3 0 0 25 0 4 0 603654216 746483712 22562 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.88
Current children cumulated vsize (KiB) 728988

[startup+282.3 s]

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

[pid=29643] ppid=29641 vsize=765808 CPUtime=2805.29 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 221224 0 0 0 280456 73 0 0 25 0 4 0 603654213 784187392 38365 33554432000 4194304 4797429 140734571943072 18446744073709551615 4345115 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 191452 38365 421 148 0 186381 0
[pid=29643/tid=29645] ppid=29641 vsize=765808 CPUtime=698.45 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 24766 0 0 0 69838 7 0 0 25 0 4 0 603654216 784187392 38365 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=765808 CPUtime=702.2 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 26148 0 0 0 70211 9 0 0 25 0 4 0 603654216 784187392 38365 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=765808 CPUtime=702.29 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 25828 0 0 0 70221 8 0 0 25 0 4 0 603654216 784187392 38365 33554432000 4194304 4797429 140734571943072 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 765808

[startup+762.307 s]
/proc/loadavg: 8.14 8.17 7.98 9/184 29679
/proc/meminfo: memFree=29378360/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=767240 CPUtime=3044.98 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 236101 0 0 0 304420 78 0 0 25 0 4 0 603654213 785653760 38661 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 191810 38661 421 148 0 186739 0
[pid=29643/tid=29645] ppid=29641 vsize=767240 CPUtime=758.13 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 26516 0 0 0 75805 8 0 0 25 0 4 0 603654216 785653760 38661 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=767240 CPUtime=762.2 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 27620 0 0 0 76211 9 0 0 25 0 4 0 603654216 785653760 38661 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=767240 CPUtime=762.29 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 27372 0 0 0 76221 8 0 0 25 0 4 0 603654216 785653760 38661 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.98
Current children cumulated vsize (KiB) 767240

[startup+822.301 s]
/proc/loadavg: 8.09 8.15 7.98 9/184 29680
/proc/meminfo: memFree=29365544/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=772224 CPUtime=3284.63 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 249224 0 0 0 328380 83 0 0 25 0 4 0 603654213 790757376 40271 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 193056 40271 421 148 0 187985 0
[pid=29643/tid=29645] ppid=29641 vsize=772224 CPUtime=817.81 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 27957 0 0 0 81772 9 0 0 25 0 4 0 603654216 790757376 40271 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=772224 CPUtime=822.2 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 29300 0 0 0 82209 11 0 0 25 0 4 0 603654216 790757376 40271 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429104 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=772224 CPUtime=822.29 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 29056 0 0 0 82220 9 0 0 25 0 4 0 603654216 790757376 40271 33554432000 4194304 4797429 140734571943072 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.63
Current children cumulated vsize (KiB) 772224

[startup+882.3 s]
/proc/loadavg: 8.07 8.13 7.99 9/184 29682
/proc/meminfo: memFree=29327552/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=773580 CPUtime=3524.31 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 261761 0 0 0 352343 88 0 0 25 0 4 0 603654213 792145920 42239 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424596 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 193395 42239 421 148 0 188324 0
[pid=29643/tid=29645] ppid=29641 vsize=773580 CPUtime=877.47 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 28935 0 0 0 87738 9 0 0 25 0 4 0 603654216 792145920 42239 33554432000 4194304 4797429 140734571943072 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=773580 CPUtime=882.18 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 30845 0 0 0 88207 11 0 0 25 0 4 0 603654216 792145920 42239 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=773580 CPUtime=882.29 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 30579 0 0 0 88220 9 0 0 25 0 4 0 603654216 792145920 42239 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.31
Current children cumulated vsize (KiB) 773580

[startup+942.301 s]
/proc/loadavg: 8.06 8.12 8.00 9/184 29684
/proc/meminfo: memFree=29321416/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=776380 CPUtime=3763.98 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 274665 0 0 0 376304 94 0 0 25 0 4 0 603654213 795013120 42842 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 194095 42842 421 148 0 189024 0
[pid=29643/tid=29645] ppid=29641 vsize=776380 CPUtime=937.15 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 30590 0 0 0 93705 10 0 0 25 0 4 0 603654216 795013120 42842 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=776380 CPUtime=942.18 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 32431 0 0 0 94206 12 0 0 25 0 4 0 603654216 795013120 42842 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=776380 CPUtime=942.29 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 32189 0 0 0 94219 10 0 0 25 0 4 0 603654216 795013120 42842 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.98
Current children cumulated vsize (KiB) 776380

[startup+1002.3 s]
/proc/loadavg: 8.02 8.10 8.00 9/184 29685
/proc/meminfo: memFree=29321848/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=776780 CPUtime=4003.65 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 286669 0 0 0 400267 98 0 0 25 0 4 0 603654213 795422720 42112 33554432000 4194304 4797429 140734571943072 18446744073709551615 4351613 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 194195 42112 421 148 0 189124 0
[pid=29643/tid=29645] ppid=29641 vsize=776780 CPUtime=996.83 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 32243 0 0 0 99672 11 0 0 25 0 4 0 603654216 795422720 42112 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429003 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=776780 CPUtime=1002.18 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 33873 0 0 0 100205 13 0 0 25 0 4 0 603654216 795422720 42112 33554432000 4194304 4797429 140734571943072 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=776780 CPUtime=1002.3 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 33764 0 0 0 100219 11 0 0 25 0 4 0 603654216 795422720 42112 33554432000 4194304 4797429 140734571943072 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 776780

[startup+1062.3 s]
/proc/loadavg: 8.00 8.08 8.00 9/184 29687
/proc/meminfo: memFree=29316948/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=779124 CPUtime=4243.33 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 296843 0 0 0 424231 102 0 0 25 0 4 0 603654213 797822976 42977 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424614 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 194781 42977 421 148 0 189710 0
[pid=29643/tid=29645] ppid=29641 vsize=779124 CPUtime=1056.51 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 33819 0 0 0 105639 12 0 0 25 0 4 0 603654216 797822976 42977 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=779124 CPUtime=1062.17 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 35425 0 0 0 106204 13 0 0 25 0 4 0 603654216 797822976 42977 33554432000 4194304 4797429 140734571943072 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=779124 CPUtime=1062.3 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 35328 0 0 0 106219 11 0 0 25 0 4 0 603654216 797822976 42977 33554432000 4194304 4797429 140734571943072 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 779124

[startup+1122.3 s]
/proc/loadavg: 8.00 8.06 8.00 9/184 29688
/proc/meminfo: memFree=29300284/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=783108 CPUtime=4483.01 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 305495 0 0 0 448195 106 0 0 25 0 4 0 603654213 801902592 45537 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 195777 45537 421 148 0 190706 0
[pid=29643/tid=29645] ppid=29641 vsize=783108 CPUtime=1116.17 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 35453 0 0 0 111605 12 0 0 25 0 4 0 603654216 801902592 45537 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=783108 CPUtime=1122.17 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 36377 0 0 0 112204 13 0 0 25 0 4 0 603654216 801902592 45537 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=783108 CPUtime=1122.3 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 36208 0 0 0 112218 12 0 0 25 0 4 0 603654216 801902592 45537 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 783108

[startup+1182.3 s]
/proc/loadavg: 8.11 8.07 8.01 9/184 29690
/proc/meminfo: memFree=29302072/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=785088 CPUtime=4722.68 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 317688 0 0 0 472158 110 0 0 25 0 4 0 603654213 803930112 44413 33554432000 4194304 4797429 140734571943072 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 196272 44413 421 148 0 191201 0
[pid=29643/tid=29645] ppid=29641 vsize=785088 CPUtime=1175.85 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 36996 0 0 0 117572 13 0 0 25 0 4 0 603654216 803930112 44413 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=785088 CPUtime=1182.17 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 37946 0 0 0 118203 14 0 0 25 0 4 0 603654216 803930112 44413 33554432000 4194304 4797429 140734571943072 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=785088 CPUtime=1182.3 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 37949 0 0 0 118218 12 0 0 25 0 4 0 603654216 803930112 44413 33554432000 4194304 4797429 140734571943072 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.68
Current children cumulated vsize (KiB) 785088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.07 8.00 9/184 29690
/proc/meminfo: memFree=29292624/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=785088 CPUtime=4800.2 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 319510 0 0 0 479909 111 0 0 25 0 4 0 603654213 803930112 46072 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 196272 46072 421 148 0 191201 0
[pid=29643/tid=29645] ppid=29641 vsize=785088 CPUtime=1195.15 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 37348 0 0 0 119502 13 0 0 25 0 4 0 603654216 803930112 46072 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=785088 CPUtime=1201.57 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 38125 0 0 0 120143 14 0 0 25 0 4 0 603654216 803930112 46072 33554432000 4194304 4797429 140734571943072 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=785088 CPUtime=1201.71 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 38288 0 0 0 120158 13 0 0 25 0 4 0 603654216 803930112 46072 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 785088

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.08 8.07 8.00 9/184 29690
/proc/meminfo: memFree=29292624/32950928 swapFree=67111364/67111528
[pid=29643] ppid=29641 vsize=785088 CPUtime=4800.2 cores=0,2,4,6
/proc/29643/stat : 29643 (techdemo) R 29641 29643 29250 0 -1 4202496 319510 0 0 0 479909 111 0 0 25 0 4 0 603654213 803930112 46072 33554432000 4194304 4797429 140734571943072 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29643/statm: 196272 46072 421 148 0 191201 0
[pid=29643/tid=29645] ppid=29641 vsize=785088 CPUtime=1195.15 cores=0,2,4,6
/proc/29643/task/29645/stat : 29645 (techdemo) R 29641 29643 29250 0 -1 4202560 37348 0 0 0 119502 13 0 0 25 0 4 0 603654216 803930112 46072 33554432000 4194304 4797429 140734571943072 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29643/tid=29646] ppid=29641 vsize=785088 CPUtime=1201.57 cores=0,2,4,6
/proc/29643/task/29646/stat : 29646 (techdemo) R 29641 29643 29250 0 -1 4202560 38125 0 0 0 120143 14 0 0 25 0 4 0 603654216 803930112 46072 33554432000 4194304 4797429 140734571943072 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29643/tid=29647] ppid=29641 vsize=785088 CPUtime=1201.71 cores=0,2,4,6
/proc/29643/task/29647/stat : 29647 (techdemo) R 29641 29643 29250 0 -1 4202560 38288 0 0 0 120158 13 0 0 25 0 4 0 603654216 803930112 46072 33554432000 4194304 4797429 140734571943072 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 785088

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.24
CPU user time (s): 4799.11
CPU system time (s): 1.12583
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 891028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.11
system time used= 1.12583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319510
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= 623
involuntary context switches= 24023

runsolver used 1.9487 second user time and 4.6273 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 05:30:35
IDJOB=3250799
IDBENCH=83365
IDSOLVER=1584
FILE ID=node115/3250799-1304134235
RUNJOBID= node115-1304133031-29534
PBS_JOBID= 13170791
Free space on /tmp= 72880 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250799-1304134235/watcher-3250799-1304134235 -o /tmp/evaluation-result-3250799-1304134235/solver-3250799-1304134235 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3250799-1304134235.cnf

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

MD5SUM BENCH= b61e426b264831836f140414cdcf3e23
RANDOM SEED=348298008

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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:     32950928 kB
MemFree:      29750668 kB
Buffers:        825224 kB
Cached:        1887496 kB
SwapCached:          0 kB
Active:         193364 kB
Inactive:      2583232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29750668 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            8980 kB
Writeback:          44 kB
AnonPages:       63912 kB
Mapped:          14556 kB
Slab:           361416 kB
PageTables:       4488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186460 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= 72864 MiB
End job on node115 at 2011-04-30 05:50:39