Trace number 3172678

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf
MD5SUMdd49a0090ce99bfddfd58615449391d9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.1482
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3172678-1304085372.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.29/0.30	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.29/0.30	c -- vars added      25000
0.29/0.30	c Parsing time:  0.28 s
0.29/0.31	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.29/0.39	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.31
0.73/0.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.33
0.73/0.49	c Calc non-exist non-lernt bins v-fix:     0 done:  25000 time:  0.04 s
0.73/0.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.73/0.49	c Subs w/ non-existent bins:      0 time:  0.02 s
1.06/0.56	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1.06/0.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1.06/0.58	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.03 s
2.23/0.86	c lits-rem:         0  cl-subs:        0  v-elim:   1283  v-fix:    0  time:  1.12 s
2.23/0.86	c learnt bin added due to v-elim: 0
2.23/0.87	c Finding binary XORs  T:     0.02 s  found:       0
2.63/0.94	c Finding non-binary XORs:     0.27 s (found:       0, avg size: nan)
2.63/0.94	c calculated reachability. Time: 0.00
2.63/0.95	c Calc default polars -  time:   0.03 s pos:   11191 undec:    2835 neg:   10974
2.63/0.95	c =========================================================================================
2.63/0.95	c types(t): F = full restart, N = normal restart
2.63/0.95	c types(t): S = simplification begin/end, E = solution found
2.63/0.95	c restart types(rt): st = static, dy = dynamic
2.63/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
2.63/0.95	c  B st     0         0     24301    103886         0         0    315509         0   no data   no data  --
5.43/1.65	c Decided on dynamic restart strategy
8.21/2.33	c  N dy    20      4057     24301    103886         0      4057    315509    815407    200.05    138.57  --
14.21/3.85	c  N dy    48      8070     24301    103886         0      8070    315509   1601636    198.11    136.19  --
20.20/5.31	c  N dy    76     12118     24301    103886         0     12118    315509   2413496    193.93    136.05  --
26.15/6.87	c  N dy   105     16246     24301    103886         0     16246    315509   3181604    175.05    133.73  --
33.34/8.60	c  N dy   133     20279     24301    103886         0     10279    315509    583504    183.65    132.61  --
39.73/10.23	c  N dy   161     24295     24301    103886         0     14295    315509   1301766    181.31    131.28  --
45.72/11.78	c  N dy   189     28304     24301    103886         0     18303    315509   2067641    191.00    131.18  --
49.31/12.61	c  S st   202     30000     24301    103886         0     19999    315509   2368699    172.50    130.73  --
50.11/12.82	c  S st   202     30504     24301    103886         0     20503    315509   2440211    172.50    130.73  --
50.11/12.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
50.11/12.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.32/13.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  1.09
51.32/13.12	c Calc non-exist non-lernt bins v-fix:     0 done:  24301 time:  0.04 s
51.32/13.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.32/13.15	c Subs w/ non-existent bins:      0 time:  0.10 s
52.11/13.37	c bin-w-bin subsume rem            0 bins  time:  0.04 s
52.11/13.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
52.11/13.39	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
77.69/19.72	c lits-rem:         3  cl-subs:     2684  v-elim:    580  v-fix:    0  time: 25.31 s
77.69/19.72	c learnt bin added due to v-elim: 0
77.69/19.74	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
77.69/19.76	c vivif2 --  cl tried    17819 cl shrink        0 lits rem          0 time: 0.10
78.87/20.01	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 1.00
78.87/20.02	c calculated reachability. Time: 0.00
78.87/20.02	c  N dy   202     30504     24165    104022         0     17819    316752   1878854    172.50    130.73  --
78.87/20.02	c  F st   202     30504     24165    104022         0     17819    316752   1878854    172.50    130.73  --
82.49/20.97	c Decided on dynamic restart strategy
86.06/21.86	c  N dy   222     34574     24165    104022         0     21888    316752   2773443    194.21    132.47  --
92.86/23.58	c  N dy   251     38688     24165    104022         0     26002    316752   3590491    195.01    132.80  --
99.66/25.29	c  N dy   280     42828     24165    104022         0     30142    316752   4406592    197.45    133.27  --
105.23/26.64	c  S st   301     45757     24165    104022         0     17572    316752   1035237    190.16    133.18  --
106.04/26.86	c  S st   301     46260     24165    104022         0     18075    316752   1112215    190.16    133.18  --
106.04/26.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
106.04/26.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.84/27.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.87
107.24/27.10	c Calc non-exist non-lernt bins v-fix:     0 done:  24165 time:  0.05 s
107.24/27.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.24/27.12	c Subs w/ non-existent bins:      0 time:  0.08 s
107.64/27.22	c bin-w-bin subsume rem            0 bins  time:  0.04 s
107.64/27.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
107.64/27.24	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
119.21/30.14	c lits-rem:         5  cl-subs:      514  v-elim:    392  v-fix:    0  time: 11.55 s
119.21/30.14	c learnt bin added due to v-elim: 0
119.21/30.15	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
119.21/30.16	c vivif2 --  cl tried    17561 cl shrink        0 lits rem          0 time: 0.06
120.01/30.36	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.78
120.01/30.36	c calculated reachability. Time: 0.00
120.01/30.37	c  N dy   301     46260     24165    104022         0     17561    316752   1081191    190.16    133.18  --
126.43/31.93	c  N dy   330     50391     24165    104022         0     21688    316752   1818595    177.23    132.42  --
133.21/33.66	c  N dy   358     54449     24165    104022         0     25746    316752   2592395    180.47    132.28  --
140.79/35.58	c  N dy   387     58561     24165    104022         0     29858    316752   3379231    191.76    132.29  --
147.99/37.39	c  N dy   415     62568     24165    104022         0     33865    316752   4136233    193.08    132.20  --
155.18/39.17	c  N dy   444     66674     24165    104022         0     19224    316752    746388    191.59    132.14  --
159.97/40.36	c  S st   464     69390     24165    104022         0     21940    316752   1234414    188.09    131.82  --
160.77/40.57	c  S st   464     69892     24165    104022         0     22442    316752   1305109    188.09    131.82  --
160.77/40.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
160.77/40.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.96/40.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.92
161.96/40.83	c Calc non-exist non-lernt bins v-fix:     0 done:  24165 time:  0.05 s
161.96/40.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.96/40.85	c Subs w/ non-existent bins:      0 time:  0.08 s
162.36/40.96	c bin-w-bin subsume rem            0 bins  time:  0.04 s
162.36/40.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
162.36/40.98	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
175.14/44.17	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
181.53/45.79	c Added 0 vars  tried: 80000 time: 6.45
181.53/45.79	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    6.45
181.93/45.84	c lits-rem:         2  cl-subs:      724  v-elim:    392  v-fix:    0  time: 19.42 s
181.93/45.84	c learnt bin added due to v-elim: 0
181.93/45.85	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
181.93/45.87	c vivif2 --  cl tried    21718 cl shrink        0 lits rem          0 time: 0.07
182.73/46.09	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 0.88
182.73/46.10	c calculated reachability. Time: 0.00
182.73/46.10	c  N dy   464     69892     24165    104022         0     21718    316752   1266192    188.09    131.82  --
182.73/46.10	c  F st   464     69892     24165    104022         0     21718    316752   1266192    188.09    131.82  --
186.33/46.97	c Decided on dynamic restart strategy
190.33/47.95	c  N dy   487     74382     24165    104022         0     26207    316752   2204828    182.72    132.25  --
198.72/50.07	c  N dy   521     79156     24165    104022         0     30980    316752   3111811    208.85    132.11  --
209.10/52.64	c  N dy   557     84353     24165    104022         0     36176    316752   4158952    188.43    132.37  --
219.48/55.23	c  N dy   595     89751     24165    104022         0     41574    316752   5215085    201.72    132.39  --
229.47/57.74	c  N dy   635     95541     24165    104022         0     26492    316752   1691758    208.64    132.34  --
240.27/60.47	c  N dy   678    101646     24165    104022         0     32596    316752   2860417    193.37    132.25  --
247.85/62.33	c  S st   701    104838     24165    104022         0     35786    316752   3488271    186.39    132.28  --
249.05/62.61	c  S st   701    105340     24165    104022         0     36288    316752   3570584    186.39    132.28  --
249.05/62.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
249.05/62.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.64/63.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.50
250.64/63.02	c Calc non-exist non-lernt bins v-fix:     0 done:  24165 time:  0.05 s
250.64/63.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.64/63.05	c Subs w/ non-existent bins:      0 time:  0.15 s
251.84/63.30	c bin-w-bin subsume rem            0 bins  time:  0.04 s
251.84/63.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
251.84/63.32	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
320.54/80.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.02
320.94/80.68	c lits-rem:         0  cl-subs:     1368  v-elim:    392  v-fix:    0  time: 69.31 s
320.94/80.68	c learnt bin added due to v-elim: 0
320.94/80.69	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.04
321.34/80.73	c vivif2 --  cl tried    34920 cl shrink        0 lits rem          0 time: 0.18
322.55/81.09	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 1.43
322.95/81.10	c calculated reachability. Time: 0.00
322.95/81.10	c  N dy   701    105340     24165    104022         0     34920    316752   3447017    186.39    132.28  --
335.32/84.23	c  N dy   749    112204     24165    104022         0     41783    316752   4781933    191.76    132.28  --
347.71/87.33	c  N dy   800    119397     24165    104022         0     26541    316752   1357318    189.21    132.12  --
360.89/90.63	c  N dy   853    127039     24165    104022         0     34182    316752   2822005    190.31    132.05  --
375.67/94.31	c  N dy   910    135154     24165    104022         0     42296    316752   4376283    186.18    132.03  --
391.25/98.21	c  N dy   971    143852     24165    104022         0     27276    316752   1201704    174.52    131.91  --
407.65/102.38	c  N dy  1036    153143     24165    104022         0     36566    316752   3016093    202.05    132.05  --
418.01/104.90	c  S st  1071    158010     24165    104022         0     41432    316752   3968663    189.45    132.07  --
418.81/105.18	c  S st  1071    158512     24165    104022         0     41934    316752   4047789    189.45    132.07  --
419.21/105.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
419.21/105.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
420.83/105.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.67
420.83/105.63	c Calc non-exist non-lernt bins v-fix:     0 done:  24165 time:  0.06 s
420.83/105.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
420.83/105.68	c Subs w/ non-existent bins:      0 time:  0.18 s
422.00/105.96	c bin-w-bin subsume rem            0 bins  time:  0.04 s
422.00/105.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
422.00/105.98	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
528.66/132.69	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
529.06/132.78	c lits-rem:         0  cl-subs:     1780  v-elim:    392  v-fix:    0  time: 107.05 s
529.06/132.78	c learnt bin added due to v-elim: 0
529.06/132.79	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
529.46/132.84	c vivif2 --  cl tried    40154 cl shrink        0 lits rem          0 time: 0.20
531.06/133.26	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 1.68
531.06/133.27	c calculated reachability. Time: 0.01
531.06/133.27	c  N dy  1071    158512     24165    104022         0     40154    316752   3885206    189.45    132.07  --
551.43/138.38	c  N dy  1143    168770     24165    104022         0     25554    316752    645351    185.74    131.96  --
571.00/143.29	c  N dy  1219    179555     24165    104022         0     36337    316752   2778744    200.90    132.04  --
594.18/149.06	c  N dy  1299    191020     24165    104022         0     47801    316752   5001117    201.95    132.02  --
617.33/154.85	c  N dy  1385    203317     24165    104022         0     34169    316752   2069417    199.49    131.81  --
642.90/161.24	c  N dy  1477    216361     24165    104022         0     47213    316752   4533245    203.16    131.65  --
670.47/168.20	c  N dy  1575    230245     24165    104022         0     34135    316752   1877956    183.44    131.54  --
686.05/172.02	c  S st  1628    237768     24165    104022         0     41658    316752   3350842    208.80    131.61  --
687.24/172.30	c  S st  1628    238269     24165    104022         0     42159    316752   3425892    208.80    131.61  --
687.24/172.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
687.24/172.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
688.86/172.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  1.58
688.86/172.72	c Calc non-exist non-lernt bins v-fix:     0 done:  24165 time:  0.05 s
688.86/172.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
688.86/172.76	c Subs w/ non-existent bins:      0 time:  0.15 s
689.63/172.99	c bin-w-bin subsume rem            0 bins  time:  0.04 s
690.04/173.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
690.04/173.01	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
760.34/190.69	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
760.74/190.77	c lits-rem:         0  cl-subs:     1910  v-elim:    392  v-fix:    0  time: 70.91 s
760.74/190.77	c learnt bin added due to v-elim: 0
760.74/190.78	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
761.14/190.82	c vivif2 --  cl tried    40249 cl shrink        0 lits rem          0 time: 0.17
762.73/191.20	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 1.50
762.73/191.21	c calculated reachability. Time: 0.00
762.73/191.21	c  N dy  1628    238269     24165    104022         0     40249    316752   3292322    208.80    131.61  --
791.89/198.53	c  N dy  1735    253603     24165    104022         0     55578    316752   6295795    193.32    131.74  --
821.85/206.06	c  N dy  1849    269908     24165    104022         0     43903    316752   3594048    208.58    131.81  --
855.82/214.56	c  N dy  1969    287190     24165    104022         0     32197    316752   1077564    199.35    131.83  --
890.58/223.23	c  N dy  2097    305549     24165    104022         0     50554    316752   4598763    205.16    131.85  --
928.91/232.84	c  N dy  2235    325120     24165    104022         0     40130    316752   2390513    183.32    131.72  --
969.67/243.04	c  N dy  2375    345241     24165    104022         0     60248    316752   6414193    191.08    131.98  --
994.02/249.10	c  S st  2461    357403     24165    104022         0     41415    316752   2464244    212.06    131.99  --
994.83/249.38	c  S st  2461    357908     24165    104022         0     41920    316752   2536694    212.06    131.99  --
994.83/249.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
994.83/249.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
996.82/249.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.3M T:  1.61
996.82/249.81	c Calc non-exist non-lernt bins v-fix:     0 done:  24165 time:  0.05 s
996.82/249.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
996.82/249.84	c Subs w/ non-existent bins:      0 time:  0.13 s
997.62/250.02	c bin-w-bin subsume rem            0 bins  time:  0.04 s
997.62/250.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
997.62/250.04	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
1026.38/257.25	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
1035.98/259.63	c Added 0 vars  tried: 80000 time: 9.47
1035.98/259.63	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    9.47
1036.36/259.70	c lits-rem:         0  cl-subs:     2110  v-elim:    392  v-fix:    0  time: 38.58 s
1036.36/259.70	c learnt bin added due to v-elim: 0
1036.36/259.72	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
1036.36/259.75	c vivif2 --  cl tried    39810 cl shrink        0 lits rem          0 time: 0.14
1037.56/260.09	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 1.34
1037.56/260.09	c calculated reachability. Time: 0.01
1037.56/260.10	c  N dy  2461    357908     24165    104022         0     39810    316752   2418892    212.06    131.99  --
1079.10/270.42	c  N dy  2602    377947     24165    104022         0     59848    316752   6269967    192.29    132.00  --
1119.85/280.65	c  N dy  2742    398066     24165    104022         0     47969    316752   3519333    203.17    131.94  --
1162.99/291.45	c  N dy  2883    418135     24165    104022         0     35040    316752    855699    192.44    131.98  --
1202.94/301.41	c  N dy  3024    438208     24165    104022         0     55109    316752   4782969    192.61    132.08  --
1244.06/311.78	c  N dy  3164    458213     24165    104022         0     41116    316752   1840184    186.23    132.02  --
1285.21/322.03	c  N dy  3305    478345     24165    104022         0     61246    316752   5742575    189.92    132.04  --
1323.95/331.75	c  N dy  3445    498415     24165    104022         0     46318    316752   2645796    187.32    132.11  --
1364.29/341.88	c  N dy  3585    518491     24165    104022         0     66392    316752   6568585    197.92    132.12  --
1402.24/351.30	c  S st  3714    536866     24165    104022         0     48771    316752   2934488    183.34    132.14  --
1403.04/351.57	c  S st  3714    537366     24165    104022         0     49271    316752   3008790    183.34    132.14  --
1403.04/351.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1403.04/351.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1405.06/352.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.4M T:  1.86
1405.06/352.06	c Calc non-exist non-lernt bins v-fix:     0 done:  24165 time:  0.05 s
1405.06/352.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1405.06/352.10	c Subs w/ non-existent bins:      0 time:  0.14 s
1405.84/352.29	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1405.84/352.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1406.24/352.31	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
1443.78/361.78	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
1444.19/361.86	c lits-rem:         0  cl-subs:     2641  v-elim:    392  v-fix:    0  time: 38.16 s
1444.19/361.86	c learnt bin added due to v-elim: 0
1444.19/361.87	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
1444.60/361.91	c vivif2 --  cl tried    46630 cl shrink        0 lits rem          0 time: 0.16
1445.77/362.28	c asymm  cl-useful: 0/104022/104022 lits-rem:0 time: 1.50
1445.77/362.29	c calculated reachability. Time: 0.00
1445.77/362.29	c  N dy  3714    537366     24165    104022         0     46630    316752   2874726    183.34    132.14  --
1445.77/362.29	c  F st  3714    537366     24165    104022         0     46630    316752   2874726    183.34    132.14  --
1450.58/363.46	c Decided on dynamic restart strategy
1488.54/372.90	c  N dy  3846    557408     24165    104022         0     66668    316752   6807054    201.86    132.14  --
1530.46/383.47	c  N dy  3986    577534     24165    104022         0     49795    316752   2973059    210.68    132.17  --
1574.00/394.31	c  N dy  4126    597591     24165    104022         0     69851    316752   6919584    207.80    132.24  --
1616.34/404.90	c  N dy  4266    617628     24165    104022         0     51890    316752   3163493    203.52    132.22  --
1660.29/415.93	c  N dy  4406    637660     24165    104022         0     71920    316752   7053421    194.91    132.24  --
1703.44/426.71	c  N dy  4546    657687     24165    104022         0     52952    316752   3188945    211.10    132.27  --
1748.16/437.93	c  N dy  4687    677817     24165    104022         0     73079    316752   7099405    187.90    132.28  --
1792.11/448.92	c  N dy  4828    697901     24165    104022         0     53163    316752   3030915    182.38    132.27  --
1835.66/459.83	c  N dy  4969    718032     24165    104022         0     73293    316752   6947599    200.23    132.29  --
1877.99/470.41	c  N dy  5110    738038     24165    104022         0     52303    316752   2621889    194.43    132.28  --
1919.15/480.78	c  N dy  5250    758181     24165    104022         0     72440    316752   6640263    194.62    132.40  --
1963.09/491.76	c  N dy  5390    778236     24165    104022         0     50498    316752   2159716    198.52    132.44  --
2006.62/502.64	c  N dy  5531    798238     24165    104022         0     70499    316752   5998749    191.66    132.40  --
2025.79/507.47	c  S st  5586    806050     24165    104022         0     78309    316752   7483996    185.90    132.38  --
2027.39/507.80	c  S st  5586    806557     24165    104022         0     78816    316752   7558102    185.90    132.38  --
2027.39/507.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2027.39/507.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2030.58/508.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.1M T:  3.43
2030.58/508.69	c Calc non-exist non-lernt bins v-fix:     0 done:  24165 time:  0.06 s
2030.58/508.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2030.98/508.77	c Subs w/ non-existent bins:      0 time:  0.29 s
2032.99/509.26	c bin-w-bin subsume rem            0 bins  time:  0.04 s
2032.99/509.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2032.99/509.28	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
2535.09/634.92	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
2563.05/641.98	c Added 0 vars  tried: 80000 time: 28.18
2563.05/641.98	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:   28.18
2563.85/642.13	c lits-rem:         0  cl-subs:     4368  v-elim:    392  v-fix:    0  time: 530.66 s
2563.85/642.13	c learnt bin added due to v-elim: 0
2563.85/642.14	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
2564.25/642.24	c vivif2 --  cl tried    74448 cl shrink        0 lits rem          0 time: 0.39
2566.25/642.77	c asymm  cl-useful: 0/78516/104022 lits-rem:0 time: 2.09
2566.25/642.78	c calculated reachability. Time: 0.01
2566.25/642.78	c  N dy  5586    806557     24165    104022         0     74448    316752   7262771    185.90    132.38  --
2609.78/653.65	c  N dy  5726    826646     24165    104022         0     51538    316752   2186983    228.41    132.44  --
2652.13/664.30	c  N dy  5867    846773     24165    104022         0     71665    316752   6129868    199.44    132.47  --
2697.67/675.60	c  N dy  6007    866776     24165    104022         0     47669    316752   1172543    183.78    132.44  --
2737.62/685.68	c  N dy  6148    886826     24165    104022         0     67718    316752   4999846    196.57    132.42  --
2783.15/697.06	c  N dy  6289    906935     24165    104022         0     87822    316752   8836276    202.66    132.37  --
2825.09/707.54	c  N dy  6429    927027     24165    104022         0     62918    316752   3985600    203.82    132.40  --
2870.63/718.91	c  N dy  6569    947118     24165    104022         0     83007    316752   7970484    210.26    132.46  --
2914.98/730.05	c  N dy  6708    967129     24165    104022         0     57023    316752   2565632    177.12    132.44  --
2959.72/741.25	c  N dy  6849    987185     24165    104022         0     77075    316752   6428277    187.42    132.42  --
3008.45/753.46	c  N dy  6990   1007251     24165    104022         0     50146    316752   1098659    212.44    132.41  --
3051.59/764.27	c  N dy  7131   1027360     24165    104022         0     70251    316752   4958235    199.87    132.39  --
3100.73/776.57	c  N dy  7272   1047446     24165    104022         0     90330    316752   8776797    176.05    132.36  --
3145.46/787.71	c  N dy  7413   1067561     24165    104022         0     62452    316752   3292963    196.42    132.36  --
3193.41/799.75	c  N dy  7555   1087694     24165    104022         0     82582    316752   7213567    199.64    132.37  --
3241.75/811.81	c  N dy  7696   1107795     24165    104022         0     53688    316752   1363542    194.23    132.36  --
3286.86/823.10	c  N dy  7836   1127806     24165    104022         0     73695    316752   5135919    197.60    132.31  --
3336.40/835.52	c  N dy  7977   1147912     24165    104022         0     93797    316752   9039076    190.39    132.31  --
3381.53/846.85	c  N dy  8117   1168013     24165    104022         0     63903    316752   3155001    188.28    132.29  --
3427.87/858.44	c  N dy  8258   1188160     24165    104022         0     84048    316752   7124416    203.59    132.32  --
3477.40/870.89	c  N dy  8399   1208261     24165    104022         0     53155    316752    907758    201.87    132.38  --
3481.40/871.83	c  S st  8411   1209835     24165    104022         0     54729    316752   1223989    208.10    132.38  --
3482.60/872.11	c  S st  8411   1210343     24165    104022         0     55237    316752   1295319    208.10    132.38  --
3482.60/872.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3482.60/872.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3485.00/872.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.3M T:  2.29
3485.00/872.71	c Calc non-exist non-lernt bins v-fix:     0 done:  24165 time:  0.06 s
3485.00/872.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3485.00/872.74	c Subs w/ non-existent bins:      0 time:  0.09 s
3485.39/872.85	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3485.39/872.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3485.39/872.87	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
3498.17/876.04	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
3502.97/877.29	c Added 0 vars  tried: 80000 time: 5.01
3502.97/877.29	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    5.01
3503.37/877.35	c lits-rem:         5  cl-subs:     3429  v-elim:    392  v-fix:    0  time: 17.91 s
3503.37/877.35	c learnt bin added due to v-elim: 0
3503.37/877.36	c vivif2 --  cl tried   104022 cl shrink        0 lits rem          0 time: 0.05
3503.37/877.38	c vivif2 --  cl tried    51808 cl shrink        0 lits rem          0 time: 0.08
3503.77/877.46	c asymm  cl-useful: 0/25506/104022 lits-rem:0 time: 0.32
3503.77/877.47	c calculated reachability. Time: 0.00
3503.77/877.47	c  N dy  8411   1210343     24165    104022         0     51808    316752   1230308    208.10    132.38  --
3545.31/887.81	c  N dy  8551   1230404     24165    104022         0     71865    316752   5132046    181.27    132.39  --
3591.25/899.38	c  N dy  8693   1250529     24165    104022         0     91989    316752   9060993    193.12    132.40  --
3638.38/911.17	c  N dy  8834   1270573     24165    104022         0     60037    316752   2068720    218.82    132.40  --
3683.52/922.49	c  N dy  8975   1290679     24165    104022         0     80140    316752   5920847    186.04    132.39  --
3733.06/934.86	c  N dy  9115   1310819     24165    104022         0    100276    316752   9858682    200.31    132.41  --
3779.79/946.55	c  N dy  9256   1330914     24165    104022         0     67374    316752   3252998    179.80    132.40  --
3826.93/958.34	c  N dy  9396   1350952     24165    104022         0     87410    316752   7153935    198.13    132.41  --
3879.65/971.53	c  N dy  9536   1371046     24165    104022         0    107502    316752  11085570    189.18    132.43  --
3924.79/982.89	c  N dy  9676   1391082     24165    104022         0     73544    316752   4316165    177.91    132.44  --
3974.72/995.38	c  N dy  9816   1411093     24165    104022         0     93552    316752   8226993    187.85    132.44  --
4026.66/1008.32	c  N dy  9956   1431146     24165    104022         0     58606    316752   1236023    209.38    132.46  --
4073.39/1020.04	c  N dy 10096   1451203     24165    104022         0     78662    316752   5101503    192.85    132.44  --
4123.32/1032.51	c  N dy 10235   1471222     24165    104022         0     98679    316752   9044191    200.06    132.45  --
4175.25/1045.53	c  N dy 10375   1491235     24165    104022         0     62694    316752   1857950    208.41    132.49  --
4222.78/1057.43	c  N dy 10516   1511267     24165    104022         0     82721    316752   5761134    193.65    132.50  --
4273.51/1070.10	c  N dy 10656   1531270     24165    104022         0    102723    316752   9623632    210.26    132.48  --
4325.05/1083.06	c  N dy 10797   1551389     24165    104022         0     65849    316752   2257106    208.59    132.48  --
4372.58/1094.92	c  N dy 10937   1571486     24165    104022         0     85944    316752   6208392    199.48    132.50  --
4423.32/1107.66	c  N dy 11077   1591535     24165    104022         0    105993    316752  10143160    209.62    132.53  --
4470.45/1119.48	c  N dy 11218   1611610     24165    104022         0     68075    316752   2449714    200.82    132.54  --
4514.79/1130.51	c  N dy 11359   1631735     24165    104022         0     88195    316752   6394640    211.44    132.55  --
4563.12/1142.62	c  N dy 11499   1651855     24165    104022         0    108312    316752  10296846    188.81    132.55  --
4610.25/1154.49	c  N dy 11639   1671919     24165    104022         0     69381    316752   2572491    166.83    132.56  --
4656.20/1165.97	c  N dy 11779   1692055     24165    104022         0     89516    316752   6455668    189.32    132.54  --
4704.95/1178.19	c  S st 11907   1710344     24165    104022         0    107802    316752   9978327    204.65    132.53  --
4706.93/1178.62	c  S st 11907   1710846     24165    104022         0    108304    316752  10059921    204.65    132.53  --
4706.93/1178.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4706.93/1178.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4712.52/1180.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.3M T:  5.58
4712.52/1180.06	c Calc non-exist non-lernt bins v-fix:     0 done:  24165 time:  0.06 s
4712.52/1180.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4712.92/1180.16	c Subs w/ non-existent bins:      0 time:  0.38 s
4715.71/1180.83	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4715.71/1180.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
4715.71/1180.85	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3172678-1304085372/watcher-3172678-1304085372 -o /tmp/evaluation-result-3172678-1304085372/solver-3172678-1304085372 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172678-1304085372.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: 7.26 7.93 7.97 1/172 2481
/proc/meminfo: memFree=30667164/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=22160 CPUtime=0 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 854 0 0 0 0 0 0 0 20 0 1 0 252728469 22691840 795 33554432000 4194304 4797429 140733814531952 18446744073709551615 4367649 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2481/statm: 5540 798 341 148 0 469 0

[startup+0.0769359 s]
/proc/loadavg: 7.26 7.93 7.97 1/172 2481
/proc/meminfo: memFree=30667164/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=92868 CPUtime=0.06 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 13400 0 0 0 5 1 0 0 20 0 1 0 252728469 95096832 10115 33554432000 4194304 4797429 140733814531952 18446744073709551615 268660359376 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2481/statm: 23252 10136 348 148 0 18181 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92868

[startup+0.100933 s]
/proc/loadavg: 7.26 7.93 7.97 1/172 2481
/proc/meminfo: memFree=30667164/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=95308 CPUtime=0.09 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 14281 0 0 0 8 1 0 0 20 0 1 0 252728469 97595392 10948 33554432000 4194304 4797429 140733814531952 18446744073709551615 268660323013 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2481/statm: 23827 10948 348 148 0 18756 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 95308

[startup+0.30092 s]
/proc/loadavg: 7.26 7.93 7.97 1/172 2481
/proc/meminfo: memFree=30667164/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=112736 CPUtime=0.29 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 20246 0 0 0 27 2 0 0 21 0 1 0 252728469 115441664 16605 33554432000 4194304 4797429 140733814531952 18446744073709551615 268660323013 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2481/statm: 28184 16606 348 148 0 23113 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112736

[startup+0.700738 s]
/proc/loadavg: 7.26 7.93 7.97 1/172 2481
/proc/meminfo: memFree=30667164/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=755356 CPUtime=1.83 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 30281 0 0 0 174 9 0 0 18 0 4 0 252728469 773484544 24552 33554432000 4194304 4797429 140733814531952 18446744073709551615 4567988 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 188839 24552 396 148 0 183768 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 755356

[startup+1.5006 s]
/proc/loadavg: 7.26 7.93 7.97 10/184 2498
/proc/meminfo: memFree=30521504/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=830388 CPUtime=5.03 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 35236 0 0 0 492 11 0 0 19 0 4 0 252728469 850317312 29441 33554432000 4194304 4797429 140733814531952 18446744073709551615 4424368 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 207597 29441 410 148 0 202526 0
[pid=2481/tid=2483] ppid=2479 vsize=830388 CPUtime=1.17 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 3135 0 0 0 115 2 0 0 19 0 4 0 252728500 850317312 29441 33554432000 4194304 4797429 140733814531952 18446744073709551615 4425844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=830388 CPUtime=1.18 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 4290 0 0 0 117 1 0 0 19 0 4 0 252728500 850317312 29441 33554432000 4194304 4797429 140733814531952 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=830388 CPUtime=1.16 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 3251 0 0 0 113 3 0 0 19 0 4 0 252728500 850317312 29441 33554432000 4194304 4797429 140733814531952 18446744073709551615 4424320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 830388

[startup+3.10032 s]
/proc/loadavg: 7.26 7.93 7.97 9/184 2499
/proc/meminfo: memFree=30502284/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=830388 CPUtime=11.41 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 38622 0 0 0 1129 12 0 0 22 0 4 0 252728469 850317312 32814 33554432000 4194304 4797429 140733814531952 18446744073709551615 4331761 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 207597 32814 412 148 0 202526 0
[pid=2481/tid=2483] ppid=2479 vsize=830388 CPUtime=2.77 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 3957 0 0 0 274 3 0 0 22 0 4 0 252728500 850317312 32814 33554432000 4194304 4797429 140733814531952 18446744073709551615 4424642 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=830388 CPUtime=2.77 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 5170 0 0 0 276 1 0 0 22 0 4 0 252728500 850317312 32815 33554432000 4194304 4797429 140733814531952 18446744073709551615 4358590 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=830388 CPUtime=2.76 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 4093 0 0 0 272 4 0 0 22 0 4 0 252728500 850317312 32815 33554432000 4194304 4797429 140733814531952 18446744073709551615 4387398 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 830388

[startup+6.30075 s]
/proc/loadavg: 7.32 7.93 7.97 9/184 2499
/proc/meminfo: memFree=30445756/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=844644 CPUtime=24.16 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 51310 0 0 0 2393 23 0 0 19 0 4 0 252728469 864915456 45254 33554432000 4194304 4797429 140733814531952 18446744073709551615 4422978 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 211161 45254 416 148 0 206090 0
[pid=2481/tid=2483] ppid=2479 vsize=844644 CPUtime=5.96 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 7503 0 0 0 589 7 0 0 19 0 4 0 252728500 864915456 45254 33554432000 4194304 4797429 140733814531952 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=844644 CPUtime=5.96 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 8870 0 0 0 593 3 0 0 19 0 4 0 252728500 864915456 45254 33554432000 4194304 4797429 140733814531952 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=844644 CPUtime=5.91 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 7324 0 0 0 584 7 0 0 19 0 4 0 252728500 864915456 45254 33554432000 4194304 4797429 140733814531952 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.16
Current children cumulated vsize (KiB) 844644

[startup+12.7006 s]
/proc/loadavg: 7.37 7.93 7.97 9/184 2499
/proc/meminfo: memFree=30422304/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=850644 CPUtime=49.71 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 58991 0 0 0 4946 25 0 0 25 0 4 0 252728469 871059456 46966 33554432000 4194304 4797429 140733814531952 18446744073709551615 4683203 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 212661 46966 417 148 0 207590 0
[pid=2481/tid=2483] ppid=2479 vsize=850644 CPUtime=12.35 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 8548 0 0 0 1228 7 0 0 25 0 4 0 252728500 871059456 46966 33554432000 4194304 4797429 140733814531952 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=850644 CPUtime=12.37 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 9597 0 0 0 1233 4 0 0 25 0 4 0 252728500 871059456 46966 33554432000 4194304 4797429 140733814531952 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=850644 CPUtime=12.29 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 8330 0 0 0 1221 8 0 0 25 0 4 0 252728500 871059456 46966 33554432000 4194304 4797429 140733814531952 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (KiB) 850644

[startup+25.5004 s]
/proc/loadavg: 7.51 7.93 7.97 9/184 2499
/proc/meminfo: memFree=30374876/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=856980 CPUtime=100.84 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 68839 0 0 0 10055 29 0 0 25 0 4 0 252728469 877547520 55838 33554432000 4194304 4797429 140733814531952 18446744073709551615 4425625 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 214245 55838 419 148 0 209174 0
[pid=2481/tid=2483] ppid=2479 vsize=856980 CPUtime=25.15 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 9801 0 0 0 2508 7 0 0 25 0 4 0 252728500 877547520 55838 33554432000 4194304 4797429 140733814531952 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=856980 CPUtime=25.16 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 11043 0 0 0 2512 4 0 0 25 0 4 0 252728500 877547520 55838 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=856980 CPUtime=25.01 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 9454 0 0 0 2493 8 0 0 25 0 4 0 252728500 877547520 55838 33554432000 4194304 4797429 140733814531952 18446744073709551615 4524081 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.84
Current children cumulated vsize (KiB) 856980

[startup+51.1009 s]
/proc/loadavg: 7.68 7.94 7.97 9/184 2500
/proc/meminfo: memFree=30342488/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=867976 CPUtime=203.11 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 85539 0 0 0 20277 34 0 0 25 0 4 0 252728469 888807424 60136 33554432000 4194304 4797429 140733814531952 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 216994 60136 420 148 0 211923 0
[pid=2481/tid=2483] ppid=2479 vsize=867976 CPUtime=50.75 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 11475 0 0 0 5067 8 0 0 25 0 4 0 252728500 888807424 60136 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=867976 CPUtime=50.77 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 12755 0 0 0 5072 5 0 0 25 0 4 0 252728500 888807424 60136 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=867976 CPUtime=50.48 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 11343 0 0 0 5039 9 0 0 25 0 4 0 252728500 888807424 60136 33554432000 4194304 4797429 140733814531952 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.11
Current children cumulated vsize (KiB) 867976

[startup+102.307 s]
/proc/loadavg: 7.89 7.96 7.97 9/184 2501
/proc/meminfo: memFree=30314740/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=887084 CPUtime=407.65 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 118534 0 0 0 40718 47 0 0 25 0 4 0 252728469 908374016 62492 33554432000 4194304 4797429 140733814531952 18446744073709551615 4415778 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 221771 62492 420 148 0 216700 0
[pid=2481/tid=2483] ppid=2479 vsize=887084 CPUtime=101.95 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 14926 0 0 0 10186 9 0 0 25 0 4 0 252728500 908374016 62492 33554432000 4194304 4797429 140733814531952 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=887084 CPUtime=101.97 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 16842 0 0 0 10191 6 0 0 25 0 4 0 252728500 908374016 62492 33554432000 4194304 4797429 140733814531952 18446744073709551615 4425918 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=887084 CPUtime=101.4 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 15232 0 0 0 10130 10 0 0 25 0 4 0 252728500 908374016 62492 33554432000 4194304 4797429 140733814531952 18446744073709551615 4415994 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.65
Current children cumulated vsize (KiB) 887084

[startup+162.3 s]
/proc/loadavg: 7.99 7.98 7.98 9/184 2503
/proc/meminfo: memFree=30265832/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=899596 CPUtime=647.3 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 143243 0 0 0 64673 57 0 0 25 0 4 0 252728469 921186304 73834 33554432000 4194304 4797429 140733814531952 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 224899 73834 420 148 0 219828 0
[pid=2481/tid=2483] ppid=2479 vsize=899596 CPUtime=161.95 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 16819 0 0 0 16185 10 0 0 25 0 4 0 252728500 921186304 73834 33554432000 4194304 4797429 140733814531952 18446744073709551615 4391215 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=899596 CPUtime=161.97 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 19211 0 0 0 16189 8 0 0 25 0 4 0 252728500 921186304 73834 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=899596 CPUtime=161.07 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 18192 0 0 0 16096 11 0 0 25 0 4 0 252728500 921186304 73834 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.3
Current children cumulated vsize (KiB) 899596

[startup+222.301 s]
/proc/loadavg: 7.99 7.98 7.98 9/184 2504
/proc/meminfo: memFree=30251512/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=907200 CPUtime=886.96 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 176819 0 0 0 88627 69 0 0 25 0 4 0 252728469 928972800 74292 33554432000 4194304 4797429 140733814531952 18446744073709551615 4351414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 226800 74293 420 148 0 221729 0
[pid=2481/tid=2483] ppid=2479 vsize=907200 CPUtime=221.95 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 20839 0 0 0 22183 12 0 0 25 0 4 0 252728500 928972800 74293 33554432000 4194304 4797429 140733814531952 18446744073709551615 4424408 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=907200 CPUtime=221.97 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 22792 0 0 0 22188 9 0 0 25 0 4 0 252728500 928972800 74293 33554432000 4194304 4797429 140733814531952 18446744073709551615 4642224 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=907200 CPUtime=220.74 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 21849 0 0 0 22062 12 0 0 25 0 4 0 252728500 928972800 74293 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 886.96
Current children cumulated vsize (KiB) 907200

[startup+282.3 s]

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

[pid=2481] ppid=2479 vsize=953804 CPUtime=2804.32 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 371470 0 0 0 280272 160 0 0 25 0 4 0 252728469 976695296 89252 33554432000 4194304 4797429 140733814531952 18446744073709551615 4404796 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 238451 89252 420 148 0 233380 0
[pid=2481/tid=2483] ppid=2479 vsize=953804 CPUtime=701.96 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 37058 0 0 0 70178 18 0 0 25 0 4 0 252728500 976695296 89252 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=953804 CPUtime=701.97 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 37711 0 0 0 70181 16 0 0 25 0 4 0 252728500 976695296 89252 33554432000 4194304 4797429 140733814531952 18446744073709551615 4425640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=953804 CPUtime=698.14 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 38846 0 0 0 69795 19 0 0 25 0 4 0 252728500 976695296 89252 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.32
Current children cumulated vsize (KiB) 953804

[startup+762.306 s]
/proc/loadavg: 8.03 8.02 8.00 9/184 2528
/proc/meminfo: memFree=30107264/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=957816 CPUtime=3044.02 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 398994 0 0 0 304227 175 0 0 25 0 4 0 252728469 980803584 95835 33554432000 4194304 4797429 140733814531952 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 239454 95835 420 148 0 234383 0
[pid=2481/tid=2483] ppid=2479 vsize=957816 CPUtime=761.96 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 38148 0 0 0 76178 18 0 0 25 0 4 0 252728500 980803584 95835 33554432000 4194304 4797429 140733814531952 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=957816 CPUtime=761.98 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 39254 0 0 0 76181 17 0 0 25 0 4 0 252728500 980803584 95835 33554432000 4194304 4797429 140733814531952 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=957816 CPUtime=757.82 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 40236 0 0 0 75762 20 0 0 25 0 4 0 252728500 980803584 95835 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.02
Current children cumulated vsize (KiB) 957816

[startup+822.301 s]
/proc/loadavg: 8.05 8.03 8.00 9/184 2529
/proc/meminfo: memFree=30096920/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=962776 CPUtime=3283.67 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 424643 0 0 0 328179 188 0 0 25 0 4 0 252728469 985882624 99548 33554432000 4194304 4797429 140733814531952 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 240694 99548 420 148 0 235623 0
[pid=2481/tid=2483] ppid=2479 vsize=962776 CPUtime=821.95 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 38798 0 0 0 82177 18 0 0 25 0 4 0 252728500 985882624 99548 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=962776 CPUtime=821.97 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 40689 0 0 0 82180 17 0 0 25 0 4 0 252728500 985882624 99548 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=962776 CPUtime=817.49 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 41070 0 0 0 81729 20 0 0 25 0 4 0 252728500 985882624 99548 33554432000 4194304 4797429 140733814531952 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.67
Current children cumulated vsize (KiB) 962776

[startup+882.301 s]
/proc/loadavg: 8.10 8.05 8.01 9/184 2531
/proc/meminfo: memFree=30123020/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=964156 CPUtime=3523.34 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 452898 0 0 0 352133 201 0 0 25 0 4 0 252728469 987295744 91455 33554432000 4194304 4797429 140733814531952 18446744073709551615 4404772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 241039 91455 420 148 0 235968 0
[pid=2481/tid=2483] ppid=2479 vsize=964156 CPUtime=881.95 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 41667 0 0 0 88176 19 0 0 25 0 4 0 252728500 987295744 91455 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=964156 CPUtime=881.97 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 42630 0 0 0 88179 18 0 0 25 0 4 0 252728500 987295744 91455 33554432000 4194304 4797429 140733814531952 18446744073709551615 4237276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=964156 CPUtime=877.16 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 43401 0 0 0 87695 21 0 0 25 0 4 0 252728500 987295744 91455 33554432000 4194304 4797429 140733814531952 18446744073709551615 4331602 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.34
Current children cumulated vsize (KiB) 964156

[startup+942.301 s]
/proc/loadavg: 8.11 8.07 8.01 9/184 2533
/proc/meminfo: memFree=30109824/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=967164 CPUtime=3763.01 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 481549 0 0 0 376087 214 0 0 25 0 4 0 252728469 990375936 95483 33554432000 4194304 4797429 140733814531952 18446744073709551615 4377384 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 241791 95483 420 148 0 236720 0
[pid=2481/tid=2483] ppid=2479 vsize=967164 CPUtime=941.96 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 42892 0 0 0 94176 20 0 0 25 0 4 0 252728500 990375936 95483 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=967164 CPUtime=941.97 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 45272 0 0 0 94178 19 0 0 25 0 4 0 252728500 990375936 95483 33554432000 4194304 4797429 140733814531952 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=967164 CPUtime=936.85 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 45363 0 0 0 93662 23 0 0 25 0 4 0 252728500 990375936 95483 33554432000 4194304 4797429 140733814531952 18446744073709551615 4274071 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.01
Current children cumulated vsize (KiB) 967164

[startup+1002.3 s]
/proc/loadavg: 8.11 8.08 8.02 9/184 2534
/proc/meminfo: memFree=30060552/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=973128 CPUtime=4002.68 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 505080 0 0 0 400042 226 0 0 25 0 4 0 252728469 996483072 106732 33554432000 4194304 4797429 140733814531952 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 243282 106732 420 148 0 238211 0
[pid=2481/tid=2483] ppid=2479 vsize=973128 CPUtime=1001.96 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 43864 0 0 0 100176 20 0 0 25 0 4 0 252728500 996483072 106732 33554432000 4194304 4797429 140733814531952 18446744073709551615 4240955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=973128 CPUtime=1001.97 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 46123 0 0 0 100178 19 0 0 25 0 4 0 252728500 996483072 106732 33554432000 4194304 4797429 140733814531952 18446744073709551615 4495544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=973128 CPUtime=996.51 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 46969 0 0 0 99628 23 0 0 25 0 4 0 252728500 996483072 106732 33554432000 4194304 4797429 140733814531952 18446744073709551615 4567923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.68
Current children cumulated vsize (KiB) 973128

[startup+1062.3 s]
/proc/loadavg: 8.19 8.11 8.03 9/184 2536
/proc/meminfo: memFree=30041284/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=979336 CPUtime=4242.36 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 529726 0 0 0 423998 238 0 0 25 0 4 0 252728469 1002840064 106295 33554432000 4194304 4797429 140733814531952 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 244834 106295 420 148 0 239763 0
[pid=2481/tid=2483] ppid=2479 vsize=979336 CPUtime=1061.96 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 44289 0 0 0 106176 20 0 0 25 0 4 0 252728500 1002840064 106295 33554432000 4194304 4797429 140733814531952 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=979336 CPUtime=1061.98 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 48125 0 0 0 106178 20 0 0 25 0 4 0 252728500 1002840064 106295 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=979336 CPUtime=1056.19 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 47621 0 0 0 105595 24 0 0 25 0 4 0 252728500 1002840064 106295 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.36
Current children cumulated vsize (KiB) 979336

[startup+1122.3 s]
/proc/loadavg: 8.25 8.13 8.04 9/184 2537
/proc/meminfo: memFree=30071124/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=979200 CPUtime=4482.03 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 556492 0 0 0 447952 251 0 0 25 0 4 0 252728469 1002700800 97908 33554432000 4194304 4797429 140733814531952 18446744073709551615 4387526 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 244800 97908 420 148 0 239729 0
[pid=2481/tid=2483] ppid=2479 vsize=979200 CPUtime=1121.97 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 46845 0 0 0 112175 22 0 0 25 0 4 0 252728500 1002700800 97908 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=979200 CPUtime=1121.98 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 48599 0 0 0 112178 20 0 0 25 0 4 0 252728500 1002700800 97908 33554432000 4194304 4797429 140733814531952 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=979200 CPUtime=1115.86 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 50250 0 0 0 111561 25 0 0 25 0 4 0 252728500 1002700800 97908 33554432000 4194304 4797429 140733814531952 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.03
Current children cumulated vsize (KiB) 979200

[startup+1182.3 s]
/proc/loadavg: 8.16 8.12 8.04 9/184 2539
/proc/meminfo: memFree=30016888/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=1044676 CPUtime=4721.71 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 587389 0 0 0 471905 266 0 0 25 0 4 0 252728469 1069748224 110189 33554432000 4194304 4797429 140733814531952 18446744073709551615 4493544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 261169 110189 420 148 0 256098 0
[pid=2481/tid=2483] ppid=2479 vsize=1044676 CPUtime=1181.97 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 48697 0 0 0 118174 23 0 0 25 0 4 0 252728500 1069748224 110189 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=1044676 CPUtime=1181.98 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 52289 0 0 0 118177 21 0 0 25 0 4 0 252728500 1069748224 110189 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568144 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=1044676 CPUtime=1175.53 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 52133 0 0 0 117528 25 0 0 25 0 4 0 252728500 1069748224 110189 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.71
Current children cumulated vsize (KiB) 1044676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 2539
/proc/meminfo: memFree=30012020/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=1044676 CPUtime=4800.01 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 588921 0 0 0 479734 267 0 0 25 0 4 0 252728469 1069748224 111595 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 261169 111595 420 148 0 256098 0
[pid=2481/tid=2483] ppid=2479 vsize=1044676 CPUtime=1201.57 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 49152 0 0 0 120134 23 0 0 25 0 4 0 252728500 1069748224 111595 33554432000 4194304 4797429 140733814531952 18446744073709551615 4501906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=1044676 CPUtime=1201.58 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 52754 0 0 0 120137 21 0 0 25 0 4 0 252728500 1069748224 111595 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=1044676 CPUtime=1195.03 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 52745 0 0 0 119477 26 0 0 25 0 4 0 252728500 1069748224 111595 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.01
Current children cumulated vsize (KiB) 1044676

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

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

[startup+1201.9 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 2539
/proc/meminfo: memFree=30012020/32951124 swapFree=67111524/67111528
[pid=2481] ppid=2479 vsize=1044676 CPUtime=4800.01 cores=0,2,4,6
/proc/2481/stat : 2481 (techdemo) R 2479 2481 2145 0 -1 4202496 588921 0 0 0 479734 267 0 0 25 0 4 0 252728469 1069748224 111595 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2481/statm: 261169 111595 420 148 0 256098 0
[pid=2481/tid=2483] ppid=2479 vsize=1044676 CPUtime=1201.57 cores=0,2,4,6
/proc/2481/task/2483/stat : 2483 (techdemo) R 2479 2481 2145 0 -1 4202560 49152 0 0 0 120134 23 0 0 25 0 4 0 252728500 1069748224 111595 33554432000 4194304 4797429 140733814531952 18446744073709551615 4501906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2481/tid=2484] ppid=2479 vsize=1044676 CPUtime=1201.58 cores=0,2,4,6
/proc/2481/task/2484/stat : 2484 (techdemo) R 2479 2481 2145 0 -1 4202560 52754 0 0 0 120137 21 0 0 25 0 4 0 252728500 1069748224 111595 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2481/tid=2485] ppid=2479 vsize=1044676 CPUtime=1195.03 cores=0,2,4,6
/proc/2481/task/2485/stat : 2485 (techdemo) R 2479 2481 2145 0 -1 4202560 52745 0 0 0 119477 26 0 0 25 0 4 0 252728500 1069748224 111595 33554432000 4194304 4797429 140733814531952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.01
Current children cumulated vsize (KiB) 1044676

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.07
CPU user time (s): 4797.37
CPU system time (s): 2.69659
CPU usage (%): 399.362
Max. virtual memory (cumulated for all children) (KiB): 1090224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.37
system time used= 2.69659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588921
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= 19113
involuntary context switches= 35657

runsolver used 1.9767 second user time and 4.5883 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-29 15:56:12
IDJOB=3172678
IDBENCH=82696
IDSOLVER=1584
FILE ID=node107/3172678-1304085372
RUNJOBID= node107-1304085371-2471
PBS_JOBID= 13170536
Free space on /tmp= 71800 MiB

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

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

MD5SUM BENCH= dd49a0090ce99bfddfd58615449391d9
RANDOM SEED=197002442

node107.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.829
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.65
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.829
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.829
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.67
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.829
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.82
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.829
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.829
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	: 5359.47
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.829
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30667452 kB
Buffers:        636320 kB
Cached:        1220400 kB
SwapCached:          4 kB
Active:         130788 kB
Inactive:      1788632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30667452 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11140 kB
Writeback:           0 kB
AnonPages:       61884 kB
Mapped:          14400 kB
Slab:           301096 kB
PageTables:       4560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   183544 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= 71784 MiB
End job on node107 at 2011-04-29 16:16:16