Trace number 3172586

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf
MD5SUM53ba9a0375ae9f5fbde617f9de32bf14
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark35.2716
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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-3172586-1304077229.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.19/0.23	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.19/0.23	c -- vars added      20000
0.19/0.23	c Parsing time:  0.21 s
0.19/0.23	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.48/0.31	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.28
0.48/0.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.22
0.48/0.38	c Calc non-exist non-lernt bins v-fix:     0 done:  20000 time:  0.03 s
0.48/0.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.48/0.38	c Subs w/ non-existent bins:      0 time:  0.01 s
1.43/0.54	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1.43/0.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1.43/0.54	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
1.43/0.67	c lits-rem:         0  cl-subs:        0  v-elim:   1169  v-fix:    0  time:  0.89 s
1.43/0.67	c learnt bin added due to v-elim: 0
1.43/0.77	c Finding binary XORs  T:     0.02 s  found:       0
1.43/0.77	c Finding non-binary XORs:     0.19 s (found:       0, avg size: nan)
1.43/0.77	c calculated reachability. Time: 0.00
1.43/0.77	c Calc default polars -  time:   0.02 s pos:    8747 undec:    2394 neg:    8859
1.43/0.77	c =========================================================================================
1.43/0.77	c types(t): F = full restart, N = normal restart
1.43/0.77	c types(t): S = simplification begin/end, E = solution found
1.43/0.77	c restart types(rt): st = static, dy = dynamic
1.43/0.77	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.43/0.77	c  B st     0         0     19358     83278         0         0    253461         0   no data   no data  --
4.47/1.36	c Decided on dynamic restart strategy
6.85/1.92	c  N dy    20      4042     19358     83278         0      4038    253461    765313    162.59    125.08  --
12.05/3.21	c  N dy    48      8060     19358     83278         0      8056    253461   1477129    178.70    121.30  --
16.84/4.46	c  N dy    76     12082     19358     83278         0     12078    253461   2182806    184.84    120.40  --
22.03/5.75	c  N dy   104     16092     19358     83278         0     16087    253461   2872275    167.18    119.51  --
28.02/7.25	c  N dy   133     20192     19358     83278         0     10190    253461    517462    156.80    118.54  --
33.61/8.67	c  N dy   161     24219     19358     83278         0     14217    253461   1241698    182.46    119.01  --
38.80/9.98	c  N dy   190     28309     19358     83278         0     18307    253461   1972136    173.81    119.12  --
42.00/10.75	c  S st   202     30000     19358     83278         0     19998    253461   2252423    168.90    118.77  --
42.80/10.92	c  S st   202     30506     19358     83278         0     20504    253461   2314001    168.90    118.77  --
42.80/10.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
42.80/10.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.60/11.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.91
43.60/11.17	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.04 s
43.60/11.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.60/11.19	c Subs w/ non-existent bins:      0 time:  0.09 s
44.40/11.38	c bin-w-bin subsume rem            0 bins  time:  0.03 s
44.40/11.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
44.40/11.40	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
66.37/16.83	c lits-rem:         2  cl-subs:     1284  v-elim:    325  v-fix:    0  time: 21.67 s
66.37/16.83	c learnt bin added due to v-elim: 0
66.37/16.83	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.03
66.37/16.86	c vivif2 --  cl tried    19220 cl shrink        0 lits rem          0 time: 0.10
67.57/17.10	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.96
67.57/17.11	c calculated reachability. Time: 0.00
67.57/17.11	c  N dy   202     30506     19358     83278         0     19220    253461   2206061    168.90    118.77  --
67.57/17.11	c  F st   202     30506     19358     83278         0     19220    253461   2206061    168.90    118.77  --
70.76/17.91	c Decided on dynamic restart strategy
73.55/18.62	c  N dy   222     34560     19358     83278         0     23273    253461   2953490    166.21    118.93  --
79.55/20.18	c  N dy   250     38595     19358     83278         0     27307    253461   3639945    179.28    118.44  --
85.94/21.72	c  N dy   278     42638     19358     83278         0     15852    253461    668640    183.72    118.36  --
90.33/22.83	c  S st   301     45759     19358     83278         0     18973    253461   1204848    181.70    118.25  --
91.13/23.00	c  S st   301     46261     19358     83278         0     19475    253461   1267617    181.70    118.25  --
91.13/23.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
91.13/23.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.53/23.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.71
91.93/23.20	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.04 s
91.93/23.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.93/23.22	c Subs w/ non-existent bins:      0 time:  0.06 s
92.33/23.30	c bin-w-bin subsume rem            0 bins  time:  0.03 s
92.33/23.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
92.33/23.32	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
103.92/26.21	c lits-rem:         2  cl-subs:      614  v-elim:    325  v-fix:    0  time: 11.55 s
103.92/26.21	c learnt bin added due to v-elim: 0
103.92/26.22	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
103.92/26.24	c vivif2 --  cl tried    18861 cl shrink        0 lits rem          0 time: 0.06
104.72/26.44	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.80
104.72/26.44	c calculated reachability. Time: 0.00
104.72/26.44	c  N dy   301     46261     19358     83278         0     18861    253461   1228769    181.70    118.25  --
111.12/28.01	c  N dy   330     50400     19358     83278         0     22999    253461   1971223    181.87    118.39  --
116.30/29.35	c  N dy   358     54438     19358     83278         0     27037    253461   2660877    164.55    118.22  --
122.28/30.80	c  N dy   386     58452     19358     83278         0     31048    253461   3356407    172.09    118.08  --
128.71/32.43	c  N dy   414     62459     19358     83278         0     35055    253461   4039473    179.22    117.87  --
135.47/34.12	c  N dy   442     66525     19358     83278         0     20374    253461    888949    185.09    118.04  --
140.26/35.30	c  S st   462     69392     19358     83278         0     23240    253461   1365346    174.44    117.87  --
140.66/35.49	c  S st   462     69896     19358     83278         0     23743    253461   1440426    174.44    117.87  --
141.07/35.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
141.07/35.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.48/35.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.76
141.48/35.70	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.03 s
141.48/35.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.88/35.71	c Subs w/ non-existent bins:      0 time:  0.06 s
142.26/35.80	c bin-w-bin subsume rem            0 bins  time:  0.03 s
142.26/35.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
142.26/35.81	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
153.85/38.75	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
161.03/40.53	c Added 0 vars  tried: 80000 time: 7.09
161.03/40.53	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:    7.09
161.03/40.58	c lits-rem:         2  cl-subs:      793  v-elim:    325  v-fix:    0  time: 19.04 s
161.03/40.58	c learnt bin added due to v-elim: 0
161.03/40.59	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
161.43/40.61	c vivif2 --  cl tried    22950 cl shrink        0 lits rem          0 time: 0.08
162.23/40.82	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 0.85
162.23/40.83	c calculated reachability. Time: 0.01
162.23/40.83	c  N dy   462     69896     19358     83278         0     22950    253461   1396779    174.44    117.87  --
162.23/40.83	c  F st   462     69896     19358     83278         0     22950    253461   1396779    174.44    117.87  --
165.43/41.68	c Decided on dynamic restart strategy
169.43/42.65	c  N dy   485     74398     19358     83278         0     27448    253461   2302491    169.15    118.82  --
177.03/44.52	c  N dy   519     79252     19358     83278         0     32302    253461   3123944    161.87    118.57  --
184.60/46.40	c  N dy   555     84358     19358     83278         0     37408    253461   4001713    167.16    118.36  --
193.79/48.74	c  N dy   593     89860     19358     83278         0     22039    253461    783162    185.47    118.47  --
202.58/50.99	c  N dy   633     95599     19358     83278         0     27776    253461   1816916    174.17    118.63  --
212.96/53.50	c  N dy   676    101739     19358     83278         0     33915    253461   2898238    177.39    118.73  --
218.55/54.98	c  S st   698    104844     19358     83278         0     37020    253461   3439792    177.61    118.67  --
219.76/55.20	c  S st   698    105346     19358     83278         0     37522    253461   3505450    177.61    118.67  --
219.76/55.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
219.76/55.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.98/55.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.29
220.98/55.55	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.04 s
220.98/55.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.98/55.58	c Subs w/ non-existent bins:      0 time:  0.14 s
222.15/55.80	c bin-w-bin subsume rem            0 bins  time:  0.03 s
222.15/55.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
222.15/55.82	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
260.11/65.33	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
260.11/65.40	c lits-rem:         1  cl-subs:     1431  v-elim:    325  v-fix:    0  time: 38.27 s
260.11/65.40	c learnt bin added due to v-elim: 0
260.52/65.41	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.03
260.52/65.45	c vivif2 --  cl tried    36091 cl shrink        0 lits rem          0 time: 0.16
261.69/65.79	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 1.38
262.09/65.80	c calculated reachability. Time: 0.00
262.09/65.80	c  N dy   698    105346     19358     83278         0     36091    253461   3365133    177.61    118.67  --
272.48/68.40	c  N dy   745    112127     19358     83278         0     42871    253461   4516308    176.91    118.44  --
282.86/71.06	c  N dy   796    119392     19358     83278         0     27703    253461   1430530    171.70    118.25  --
294.05/73.85	c  N dy   850    127085     19358     83278         0     35396    253461   2791939    179.85    118.33  --
306.83/77.09	c  N dy   907    135233     19358     83278         0     43543    253461   4212716    170.52    118.37  --
320.82/80.55	c  N dy   967    143899     19358     83278         0     28492    253461   1372218    170.30    118.42  --
334.82/84.05	c  N dy  1032    153184     19358     83278         0     37776    253461   2965045    166.31    118.28  --
344.01/86.32	c  S st  1066    158020     19358     83278         0     42612    253461   3790522    169.40    118.27  --
344.79/86.55	c  S st  1066    158523     19358     83278         0     43115    253461   3850030    169.40    118.27  --
344.79/86.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
344.79/86.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
346.39/86.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.44
346.39/86.93	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.04 s
346.39/86.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
346.39/86.97	c Subs w/ non-existent bins:      0 time:  0.14 s
347.59/87.20	c bin-w-bin subsume rem            0 bins  time:  0.03 s
347.59/87.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
347.59/87.21	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
445.07/111.62	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
445.45/111.71	c lits-rem:         0  cl-subs:     1827  v-elim:    325  v-fix:    0  time: 97.81 s
445.45/111.71	c learnt bin added due to v-elim: 0
445.45/111.72	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
445.45/111.76	c vivif2 --  cl tried    41288 cl shrink        0 lits rem          0 time: 0.19
447.05/112.16	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 1.58
447.05/112.17	c calculated reachability. Time: 0.00
447.05/112.17	c  N dy  1066    158523     19358     83278         0     41288    253461   3684623    169.40    118.27  --
465.02/116.61	c  N dy  1137    168736     19358     83278         0     26644    253461    818670    190.39    118.31  --
481.40/120.77	c  N dy  1213    179647     19358     83278         0     37553    253461   2704365    165.76    118.19  --
501.37/125.73	c  N dy  1294    191224     19358     83278         0     49125    253461   4698865    163.63    118.09  --
520.95/130.66	c  N dy  1380    203551     19358     83278         0     35526    253461   2203498    187.93    118.30  --
542.91/136.18	c  N dy  1471    216608     19358     83278         0     48582    253461   4484060    158.74    118.22  --
566.49/142.04	c  N dy  1568    230492     19358     83278         0     35501    253461   1964270    181.11    118.17  --
579.67/145.35	c  S st  1619    237785     19358     83278         0     42792    253461   3253609    174.66    118.13  --
580.47/145.58	c  S st  1619    238285     19358     83278         0     43292    253461   3317014    174.66    118.13  --
580.47/145.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
580.47/145.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
582.06/145.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  1.44
582.06/145.97	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.04 s
582.06/145.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
582.46/146.00	c Subs w/ non-existent bins:      0 time:  0.14 s
583.26/146.21	c bin-w-bin subsume rem            0 bins  time:  0.03 s
583.26/146.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
583.26/146.22	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
631.61/158.39	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
632.01/158.46	c lits-rem:         0  cl-subs:     2090  v-elim:    325  v-fix:    0  time: 48.89 s
632.01/158.46	c learnt bin added due to v-elim: 0
632.01/158.47	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.03
632.40/158.51	c vivif2 --  cl tried    41202 cl shrink        0 lits rem          0 time: 0.16
633.62/158.85	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 1.36
633.62/158.86	c calculated reachability. Time: 0.00
633.62/158.86	c  N dy  1619    238285     19358     83278         0     41202    253461   3176714    174.66    118.13  --
658.76/165.12	c  N dy  1726    253495     19358     83278         0     28433    253461    529173    157.96    118.18  --
683.53/171.30	c  N dy  1840    269777     19358     83278         0     44715    253461   3348107    176.38    118.10  --
712.70/178.66	c  N dy  1961    287081     19358     83278         0     33027    253461   1154195    185.64    118.24  --
742.65/186.16	c  N dy  2089    305465     19358     83278         0     51407    253461   4420487    190.12    118.32  --
775.80/194.41	c  N dy  2226    325059     19358     83278         0     41004    253461   2336783    191.46    118.22  --
810.95/203.22	c  N dy  2366    345137     19358     83278         0     61081    253461   5835065    179.68    118.15  --
831.35/208.39	c  S st  2453    357428     19358     83278         0     42378    253461   2439841    178.50    118.21  --
832.52/208.63	c  S st  2453    357932     19358     83278         0     42882    253461   2509273    178.50    118.21  --
832.52/208.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
832.52/208.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
834.12/209.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.5M T:  1.42
834.12/209.01	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.04 s
834.12/209.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
834.12/209.04	c Subs w/ non-existent bins:      0 time:  0.11 s
834.52/209.19	c bin-w-bin subsume rem            0 bins  time:  0.03 s
834.92/209.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
834.92/209.21	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
860.89/215.70	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
870.89/218.23	c Added 0 vars  tried: 80000 time: 10.08
870.89/218.23	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:   10.08
870.89/218.29	c lits-rem:         3  cl-subs:     2296  v-elim:    325  v-fix:    0  time: 36.28 s
870.89/218.29	c learnt bin added due to v-elim: 0
870.89/218.30	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
871.29/218.33	c vivif2 --  cl tried    40586 cl shrink        0 lits rem          0 time: 0.12
872.47/218.64	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 1.24
872.47/218.65	c calculated reachability. Time: 0.00
872.47/218.65	c  N dy  2453    357932     19358     83278         0     40586    253461   2391975    178.50    118.21  --
908.43/227.62	c  N dy  2593    377968     19358     83278         0     60619    253461   5938788    170.98    118.27  --
943.58/236.48	c  N dy  2732    397983     19358     83278         0     48637    253461   3392564    198.00    118.28  --
981.15/245.84	c  N dy  2872    418016     19358     83278         0     35673    253461    915030    183.54    118.44  --
1017.48/254.95	c  N dy  3013    438158     19358     83278         0     55810    253461   4506915    180.54    118.51  --
1053.83/264.06	c  N dy  3154    458238     19358     83278         0     41896    253461   1783831    172.44    118.52  --
1088.98/272.80	c  N dy  3293    478248     19358     83278         0     61903    253461   5296489    170.23    118.54  --
1123.73/281.52	c  N dy  3434    498389     19358     83278         0     47046    253461   2512969    173.31    118.49  --
1158.49/290.27	c  N dy  3575    518506     19358     83278         0     67162    253461   6060563    162.87    118.50  --
1191.24/298.50	c  S st  3704    536898     19358     83278         0     49557    253461   2845503    169.03    118.53  --
1192.44/298.75	c  S st  3704    537402     19358     83278         0     50061    253461   2906075    169.03    118.53  --
1192.44/298.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1192.44/298.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1194.04/299.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.8M T:  1.71
1194.44/299.20	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.04 s
1194.44/299.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1194.44/299.23	c Subs w/ non-existent bins:      0 time:  0.12 s
1195.25/299.40	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1195.25/299.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1195.25/299.42	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
1231.21/308.47	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
1231.61/308.54	c lits-rem:         0  cl-subs:     2816  v-elim:    325  v-fix:    0  time: 36.42 s
1231.61/308.54	c learnt bin added due to v-elim: 0
1231.61/308.55	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.03
1231.61/308.58	c vivif2 --  cl tried    47245 cl shrink        0 lits rem          0 time: 0.14
1233.19/308.91	c asymm  cl-useful: 0/83278/83278 lits-rem:0 time: 1.31
1233.19/308.91	c calculated reachability. Time: 0.00
1233.19/308.91	c  N dy  3704    537402     19358     83278         0     47245    253461   2788386    169.03    118.53  --
1233.19/308.91	c  F st  3704    537402     19358     83278         0     47245    253461   2788386    169.03    118.53  --
1236.78/309.83	c Decided on dynamic restart strategy
1269.94/318.16	c  N dy  3836    557458     19358     83278         0     67297    253461   6309433    183.06    118.53  --
1305.91/327.17	c  N dy  3976    577535     19358     83278         0     50376    253461   2825596    172.76    118.62  --
1344.64/336.82	c  N dy  4116    597549     19358     83278         0     70387    253461   6396684    172.79    118.66  --
1381.38/346.09	c  N dy  4257    617642     19358     83278         0     52485    253461   2917380    181.10    118.67  --
1420.93/355.91	c  N dy  4398    637703     19358     83278         0     72544    253461   6491621    179.10    118.72  --
1458.89/365.49	c  N dy  4539    657847     19358     83278         0     53691    253461   3015248    174.09    118.73  --
1498.84/375.41	c  N dy  4679    677849     19358     83278         0     73692    253461   6588005    192.03    118.78  --
1537.18/385.00	c  N dy  4819    697858     19358     83278         0     53702    253461   2893198    186.31    118.83  --
1576.73/394.99	c  N dy  4960    717905     19358     83278         0     73746    253461   6473117    174.49    118.86  --
1615.48/404.66	c  N dy  5100    737958     19358     83278         0     52802    253461   2530550    164.24    118.88  --
1651.84/413.71	c  N dy  5240    757986     19358     83278         0     72827    253461   6016148    180.77    118.86  --
1688.19/422.90	c  N dy  5380    778059     19358     83278         0     50903    253461   2008510    186.04    118.87  --
1724.53/431.91	c  N dy  5521    798136     19358     83278         0     70977    253461   5428519    165.79    118.78  --
1742.51/436.48	c  S st  5577    806104     19358     83278         0     78944    253461   6832773    173.57    118.78  --
1743.71/436.77	c  S st  5577    806604     19358     83278         0     79444    253461   6896572    173.57    118.78  --
1743.71/436.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1743.71/436.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1746.90/437.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  3.03
1746.90/437.56	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.04 s
1746.90/437.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1747.30/437.62	c Subs w/ non-existent bins:      0 time:  0.24 s
1748.90/438.01	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1748.90/438.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1748.90/438.03	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
2186.70/547.64	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
2214.27/554.53	c Added 0 vars  tried: 80000 time: 27.52
2214.27/554.53	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:   27.52
2214.67/554.66	c lits-rem:         2  cl-subs:     4527  v-elim:    325  v-fix:    0  time: 465.86 s
2214.67/554.66	c learnt bin added due to v-elim: 0
2214.67/554.67	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.03
2215.07/554.75	c vivif2 --  cl tried    74917 cl shrink        0 lits rem          0 time: 0.32
2217.06/555.22	c asymm  cl-useful: 0/64412/83278 lits-rem:0 time: 1.89
2217.06/555.23	c calculated reachability. Time: 0.00
2217.06/555.23	c  N dy  5577    806604     19358     83278         0     74917    253461   6587804    173.57    118.78  --
2254.22/564.50	c  N dy  5717    826729     19358     83278         0     52044    253461   2045631    184.75    118.83  --
2290.58/573.66	c  N dy  5857    846751     19358     83278         0     72062    253461   5565590    180.77    118.81  --
2330.51/583.68	c  N dy  5997    866815     19358     83278         0     48130    253461   1179199    161.26    118.82  --
2367.27/592.81	c  N dy  6137    886867     19358     83278         0     68179    253461   4712711    185.24    118.81  --
2408.41/603.15	c  N dy  6277    906953     19358     83278         0     88263    253461   8263438    180.63    118.82  --
2445.56/612.49	c  N dy  6418    927023     19358     83278         0     63334    253461   3741348    176.64    118.84  --
2487.10/622.82	c  N dy  6559    947126     19358     83278         0     83435    253461   7204135    178.80    118.79  --
2528.25/633.11	c  N dy  6700    967265     19358     83278         0     57579    253461   2545886    171.38    118.84  --
2567.80/643.07	c  N dy  6840    987353     19358     83278         0     77664    253461   6084868    160.80    118.86  --
2612.14/654.10	c  N dy  6980   1007448     19358     83278         0     50763    253461   1138050    174.60    118.91  --
2651.68/664.00	c  N dy  7120   1027463     19358     83278         0     70773    253461   4642328    185.46    118.91  --
2695.22/674.95	c  N dy  7260   1047594     19358     83278         0     90902    253461   8189392    183.36    118.91  --
2735.57/685.09	c  N dy  7400   1067734     19358     83278         0     63048    253461   3091615    164.90    118.91  --
2777.93/695.65	c  N dy  7541   1087856     19358     83278         0     83162    253461   6559359    174.36    118.87  --
2821.45/706.59	c  N dy  7681   1107878     19358     83278         0     54192    253461   1393402    169.29    118.90  --
2859.00/715.98	c  N dy  7821   1127990     19358     83278         0     74297    253461   4933686    182.98    118.89  --
2899.35/726.04	c  N dy  7961   1148031     19358     83278         0     94335    253461   8535408    169.02    118.95  --
2936.89/735.43	c  N dy  8101   1168093     19358     83278         0     64402    253461   3010894    196.57    118.96  --
2976.07/745.26	c  N dy  8241   1188178     19358     83278         0     84484    253461   6572809    183.88    118.95  --
3019.19/756.09	c  N dy  8381   1208281     19358     83278         0     53595    253461    965979    191.61    118.97  --
3022.78/756.93	c  S st  8393   1209906     19358     83278         0     55220    253461   1281206    197.09    118.99  --
3023.59/757.19	c  S st  8393   1210408     19358     83278         0     55722    253461   1346052    197.09    118.99  --
3023.59/757.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3023.59/757.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3025.98/757.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.09
3025.98/757.74	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.04 s
3025.98/757.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3025.98/757.76	c Subs w/ non-existent bins:      0 time:  0.08 s
3026.38/757.85	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3026.38/757.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3026.38/757.87	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
3039.17/761.01	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
3043.56/762.17	c Added 0 vars  tried: 80000 time: 4.64
3043.56/762.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:    4.64
3043.96/762.22	c lits-rem:         2  cl-subs:     3561  v-elim:    325  v-fix:    0  time: 17.39 s
3043.96/762.22	c learnt bin added due to v-elim: 0
3043.96/762.23	c vivif2 --  cl tried    83278 cl shrink        0 lits rem          0 time: 0.04
3043.96/762.25	c vivif2 --  cl tried    52161 cl shrink        0 lits rem          0 time: 0.08
3044.36/762.32	c asymm  cl-useful: 0/18866/83278 lits-rem:0 time: 0.28
3044.36/762.33	c calculated reachability. Time: 0.00
3044.36/762.33	c  N dy  8393   1210408     19358     83278         0     52161    253461   1275423    197.09    118.99  --
3083.11/772.03	c  N dy  8532   1230474     19358     83278         0     72224    253461   4935506    203.62    119.03  --
3125.85/782.79	c  N dy  8672   1250607     19358     83278         0     92356    253461   8592284    192.37    119.06  --
3169.79/793.74	c  N dy  8812   1270684     19358     83278         0     60437    253461   2003731    173.27    119.06  --
3211.33/804.17	c  N dy  8952   1290811     19358     83278         0     80564    253461   5583218    180.72    119.07  --
3258.47/815.92	c  N dy  9092   1310872     19358     83278         0    100620    253461   9163605    176.93    119.10  --
3300.41/826.48	c  N dy  9232   1330966     19358     83278         0     67719    253461   3114875    169.34    119.11  --
3344.36/837.42	c  N dy  9372   1351037     19358     83278         0     87789    253461   6720181    177.38    119.14  --
3392.69/849.50	c  N dy  9511   1371042     19358     83278         0    107792    253461  10282789    183.49    119.14  --
3433.06/859.64	c  N dy  9651   1391154     19358     83278         0     73909    253461   4021560    171.21    119.13  --
3477.37/870.73	c  N dy  9792   1411258     19358     83278         0     94010    253461   7584138    170.38    119.12  --
3525.71/882.83	c  N dy  9932   1431281     19358     83278         0     59036    253461   1236080    190.61    119.16  --
3567.65/893.32	c  N dy 10072   1451421     19358     83278         0     79172    253461   4837763    187.66    119.18  --
3610.40/904.00	c  N dy 10213   1471554     19358     83278         0     99299    253461   8368665    175.05    119.17  --
3651.94/914.40	c  N dy 10352   1491558     19358     83278         0     63310    253461   1840521    189.00    119.23  --
3689.88/923.97	c  N dy 10492   1511627     19358     83278         0     83378    253461   5421526    173.53    119.24  --
3733.03/934.79	c  N dy 10633   1531725     19358     83278         0    103475    253461   8941482    182.82    119.23  --
3775.38/945.39	c  N dy 10773   1551863     19358     83278         0     66617    253461   2272383    188.24    119.24  --
3816.52/955.66	c  N dy 10914   1571985     19358     83278         0     86735    253461   5853449    182.24    119.25  --
3862.86/967.23	c  N dy 11054   1592072     19358     83278         0    106817    253461   9424173    192.69    119.26  --
3906.80/978.23	c  N dy 11194   1612162     19358     83278         0     68911    253461   2467117    182.73    119.26  --
3950.34/989.13	c  N dy 11334   1632275     19358     83278         0     89023    253461   6050299    189.24    119.27  --
3997.87/1001.04	c  N dy 11473   1652326     19358     83278         0    109069    253461   9684119    185.11    119.30  --
4042.61/1012.27	c  N dy 11612   1672365     19358     83278         0     70115    253461   2534698    177.06    119.32  --
4087.37/1023.49	c  N dy 11752   1692449     19358     83278         0     90198    253461   6127569    182.18    119.33  --
4132.49/1034.72	c  S st 11878   1710408     19358     83278         0    108156    253461   9299195    199.40    119.33  --
4134.08/1035.12	c  S st 11878   1710912     19358     83278         0    108660    253461   9371890    199.40    119.33  --
4134.08/1035.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4134.08/1035.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4139.29/1036.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 14.9M T:  5.28
4139.29/1036.48	c Calc non-exist non-lernt bins v-fix:     0 done:  19358 time:  0.04 s
4139.29/1036.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4139.69/1036.57	c Subs w/ non-existent bins:      0 time:  0.34 s
4142.07/1037.13	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4142.07/1037.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4142.07/1037.15	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 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-3172586-1304077229/watcher-3172586-1304077229 -o /tmp/evaluation-result-3172586-1304077229/solver-3172586-1304077229 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172586-1304077229.cnf 

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

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


[startup+0 s]
/proc/loadavg: 4.20 4.07 4.78 2/174 3213
/proc/meminfo: memFree=23618864/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=23756 CPUtime=0 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 1166 0 0 0 0 0 0 0 23 0 1 0 597953550 24326144 1106 33554432000 4194304 4797429 140733718209792 18446744073709551615 4417161 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3213/statm: 5939 1116 341 148 0 868 0

[startup+0.0629471 s]
/proc/loadavg: 4.20 4.07 4.78 2/174 3213
/proc/meminfo: memFree=23618864/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=88256 CPUtime=0.06 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 11770 0 0 0 5 1 0 0 23 0 1 0 597953550 90374144 8493 33554432000 4194304 4797429 140733718209792 18446744073709551615 260905054917 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3213/statm: 22064 8494 348 148 0 16993 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 88256

[startup+0.100944 s]
/proc/loadavg: 4.20 4.07 4.78 2/174 3213
/proc/meminfo: memFree=23618864/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=92580 CPUtime=0.09 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 13236 0 0 0 8 1 0 0 23 0 1 0 597953550 94801920 9883 33554432000 4194304 4797429 140733718209792 18446744073709551615 4621343 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3213/statm: 23145 9883 348 148 0 18074 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92580

[startup+0.300907 s]
/proc/loadavg: 4.20 4.07 4.78 2/174 3213
/proc/meminfo: memFree=23618864/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=415900 CPUtime=0.48 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 17576 0 0 0 46 2 0 0 25 0 4 0 597953550 425881600 14002 33554432000 4194304 4797429 140733718209792 18446744073709551615 4645207 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 103975 14019 375 148 0 98904 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 415900

[startup+1.19581 s]
/proc/loadavg: 4.20 4.07 4.78 2/174 3213
/proc/meminfo: memFree=23618864/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=748100 CPUtime=4.05 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 29225 0 0 0 399 6 0 0 18 0 4 0 597953550 766054400 23868 33554432000 4194304 4797429 140733718209792 18446744073709551615 4425700 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 187025 23868 410 148 0 181954 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 748100

[startup+1.50069 s]
/proc/loadavg: 4.35 4.10 4.79 8/184 3231
/proc/meminfo: memFree=23330984/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=748100 CPUtime=5.28 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 30029 0 0 0 522 6 0 0 19 0 4 0 597953550 766054400 24667 33554432000 4194304 4797429 140733718209792 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 187025 24668 412 148 0 181954 0
[pid=3213/tid=3221] ppid=3211 vsize=748100 CPUtime=1.25 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 3260 0 0 0 125 0 0 0 19 0 4 0 597953574 766054400 24671 33554432000 4194304 4797429 140733718209792 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=748100 CPUtime=1.25 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 3101 0 0 0 124 1 0 0 19 0 4 0 597953574 766054400 24671 33554432000 4194304 4797429 140733718209792 18446744073709551615 4424349 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=748100 CPUtime=1.25 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 3023 0 0 0 125 0 0 0 19 0 4 0 597953574 766054400 24671 33554432000 4194304 4797429 140733718209792 18446744073709551615 4424383 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 748100

[startup+3.10039 s]
/proc/loadavg: 4.35 4.10 4.79 9/184 3231
/proc/meminfo: memFree=23270348/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=751676 CPUtime=11.65 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 34605 0 0 0 1158 7 0 0 22 0 4 0 597953550 769716224 29232 33554432000 4194304 4797429 140733718209792 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 187919 29232 413 148 0 182848 0
[pid=3213/tid=3221] ppid=3211 vsize=751676 CPUtime=2.85 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 4780 0 0 0 285 0 0 0 23 0 4 0 597953574 769716224 29232 33554432000 4194304 4797429 140733718209792 18446744073709551615 4415643 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=751676 CPUtime=2.85 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 4164 0 0 0 284 1 0 0 22 0 4 0 597953574 769716224 29233 33554432000 4194304 4797429 140733718209792 18446744073709551615 4341160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=751676 CPUtime=2.83 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 3964 0 0 0 283 0 0 0 23 0 4 0 597953574 769716224 29233 33554432000 4194304 4797429 140733718209792 18446744073709551615 4403536 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 751676

[startup+6.30081 s]
/proc/loadavg: 4.64 4.17 4.81 9/184 3232
/proc/meminfo: memFree=23200376/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=767148 CPUtime=24.42 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 45502 0 0 0 2429 13 0 0 25 0 4 0 597953550 785559552 40104 33554432000 4194304 4797429 140733718209792 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 191787 40104 416 148 0 186716 0
[pid=3213/tid=3221] ppid=3211 vsize=767148 CPUtime=6.05 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 7459 0 0 0 603 2 0 0 20 0 4 0 597953574 785559552 40104 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=767148 CPUtime=6.05 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 7513 0 0 0 601 4 0 0 20 0 4 0 597953574 785559552 40104 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=767148 CPUtime=6.02 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 6782 0 0 0 600 2 0 0 25 0 4 0 597953574 785559552 40104 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.42
Current children cumulated vsize (KiB) 767148

[startup+12.7006 s]
/proc/loadavg: 4.91 4.23 4.82 9/184 3232
/proc/meminfo: memFree=23120908/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=772932 CPUtime=49.99 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 53635 0 0 0 4982 17 0 0 25 0 4 0 597953550 791482368 44291 33554432000 4194304 4797429 140733718209792 18446744073709551615 4524092 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 193233 44291 417 148 0 188162 0
[pid=3213/tid=3221] ppid=3211 vsize=772932 CPUtime=12.44 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 7769 0 0 0 1242 2 0 0 25 0 4 0 597953574 791482368 44291 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=772932 CPUtime=12.44 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 7948 0 0 0 1240 4 0 0 25 0 4 0 597953574 791482368 44291 33554432000 4194304 4797429 140733718209792 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=772932 CPUtime=12.38 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 7241 0 0 0 1236 2 0 0 25 0 4 0 597953574 791482368 44291 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (KiB) 772932

[startup+25.5003 s]
/proc/loadavg: 5.38 4.35 4.86 9/184 3232
/proc/meminfo: memFree=23085192/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=779672 CPUtime=101.12 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 61917 0 0 0 10092 20 0 0 25 0 4 0 597953550 798384128 47331 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 194918 47331 419 148 0 189847 0
[pid=3213/tid=3221] ppid=3211 vsize=779672 CPUtime=25.25 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 9047 0 0 0 2522 3 0 0 25 0 4 0 597953574 798384128 47331 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=779672 CPUtime=25.24 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 9256 0 0 0 2520 4 0 0 25 0 4 0 597953574 798384128 47331 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=779672 CPUtime=25.12 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 8303 0 0 0 2509 3 0 0 25 0 4 0 597953574 798384128 47331 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.12
Current children cumulated vsize (KiB) 779672

[startup+51.1066 s]
/proc/loadavg: 6.49 4.72 4.96 9/184 3233
/proc/meminfo: memFree=23046032/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=793464 CPUtime=203.39 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 79835 0 0 0 20311 28 0 0 25 0 4 0 597953550 812507136 54028 33554432000 4194304 4797429 140733718209792 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 198366 54028 420 148 0 193295 0
[pid=3213/tid=3221] ppid=3211 vsize=793464 CPUtime=50.85 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 11243 0 0 0 5081 4 0 0 25 0 4 0 597953574 812507136 54028 33554432000 4194304 4797429 140733718209792 18446744073709551615 4567923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=793464 CPUtime=50.85 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 11057 0 0 0 5080 5 0 0 25 0 4 0 597953574 812507136 54028 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=793464 CPUtime=50.57 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 10135 0 0 0 5054 3 0 0 25 0 4 0 597953574 812507136 54028 33554432000 4194304 4797429 140733718209792 18446744073709551615 4567939 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.39
Current children cumulated vsize (KiB) 793464

[startup+102.3 s]
/proc/loadavg: 7.42 5.24 5.12 9/184 3234
/proc/meminfo: memFree=22993432/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=811096 CPUtime=407.9 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 108207 0 0 0 40749 41 0 0 25 0 4 0 597953550 830562304 60360 33554432000 4194304 4797429 140733718209792 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 202774 60360 424 148 0 197703 0
[pid=3213/tid=3221] ppid=3211 vsize=811096 CPUtime=102.04 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 14762 0 0 0 10199 5 0 0 25 0 4 0 597953574 830562304 60360 33554432000 4194304 4797429 140733718209792 18446744073709551615 4331610 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=811096 CPUtime=102.04 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 15420 0 0 0 10197 7 0 0 25 0 4 0 597953574 830562304 60361 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=811096 CPUtime=101.49 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 13998 0 0 0 10145 4 0 0 25 0 4 0 597953574 830562304 60361 33554432000 4194304 4797429 140733718209792 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.9
Current children cumulated vsize (KiB) 811096

[startup+162.301 s]
/proc/loadavg: 7.86 5.75 5.31 9/184 3236
/proc/meminfo: memFree=22948272/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=825248 CPUtime=647.58 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 139594 0 0 0 64700 58 0 0 25 0 4 0 597953550 845053952 63116 33554432000 4194304 4797429 140733718209792 18446744073709551615 260905090754 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 206312 63116 420 148 0 201241 0
[pid=3213/tid=3221] ppid=3211 vsize=825248 CPUtime=162.05 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 18740 0 0 0 16197 8 0 0 25 0 4 0 597953574 845053952 63116 33554432000 4194304 4797429 140733718209792 18446744073709551615 4528948 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=825248 CPUtime=162.05 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 18990 0 0 0 16196 9 0 0 25 0 4 0 597953574 845053952 63116 33554432000 4194304 4797429 140733718209792 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=825248 CPUtime=161.16 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 17122 0 0 0 16111 5 0 0 25 0 4 0 597953574 845053952 63116 33554432000 4194304 4797429 140733718209792 18446744073709551615 4425918 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.58
Current children cumulated vsize (KiB) 825248

[startup+222.3 s]
/proc/loadavg: 8.02 6.18 5.48 9/184 3237
/proc/meminfo: memFree=22925060/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=832744 CPUtime=887.25 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 173722 0 0 0 88650 75 0 0 25 0 4 0 597953550 852729856 70511 33554432000 4194304 4797429 140733718209792 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 208186 70511 420 148 0 203115 0
[pid=3213/tid=3221] ppid=3211 vsize=832744 CPUtime=222.05 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 21338 0 0 0 22196 9 0 0 25 0 4 0 597953574 852729856 70511 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=832744 CPUtime=222.04 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 21355 0 0 0 22194 10 0 0 25 0 4 0 597953574 852729856 70511 33554432000 4194304 4797429 140733718209792 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=832744 CPUtime=220.85 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 19171 0 0 0 22078 7 0 0 25 0 4 0 597953574 852729856 70511 33554432000 4194304 4797429 140733718209792 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.25
Current children cumulated vsize (KiB) 832744

[startup+282.3 s]

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

[pid=3213] ppid=3211 vsize=868148 CPUtime=2564.99 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 350107 0 0 0 256321 178 0 0 25 0 4 0 597953550 888983552 88332 33554432000 4194304 4797429 140733718209792 18446744073709551615 4351787 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 217037 88332 420 148 0 211966 0
[pid=3213/tid=3221] ppid=3211 vsize=868148 CPUtime=642.06 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 37351 0 0 0 64189 17 0 0 25 0 4 0 597953574 888983552 88332 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=868148 CPUtime=642.05 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 35576 0 0 0 64187 18 0 0 25 0 4 0 597953574 888983552 88332 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=868148 CPUtime=638.56 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 33596 0 0 0 63843 13 0 0 25 0 4 0 597953574 888983552 88332 33554432000 4194304 4797429 140733718209792 18446744073709551615 4429003 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.99
Current children cumulated vsize (KiB) 868148

[startup+702.307 s]
/proc/loadavg: 8.02 7.68 6.52 9/184 3250
/proc/meminfo: memFree=22728484/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=875464 CPUtime=2804.7 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 376598 0 0 0 280276 194 0 0 25 0 4 0 597953550 896475136 91493 33554432000 4194304 4797429 140733718209792 18446744073709551615 260905090827 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 218866 91493 420 148 0 213795 0
[pid=3213/tid=3221] ppid=3211 vsize=875464 CPUtime=702.06 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 38386 0 0 0 70189 17 0 0 25 0 4 0 597953574 896475136 91493 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=875464 CPUtime=702.06 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 36228 0 0 0 70188 18 0 0 25 0 4 0 597953574 896475136 91493 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=875464 CPUtime=698.24 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 35511 0 0 0 69810 14 0 0 25 0 4 0 597953574 896475136 91493 33554432000 4194304 4797429 140733718209792 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.7
Current children cumulated vsize (KiB) 875464

[startup+762.3 s]
/proc/loadavg: 8.00 7.74 6.61 9/184 3252
/proc/meminfo: memFree=22765172/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=884944 CPUtime=3044.36 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 408990 0 0 0 304224 212 0 0 25 0 4 0 597953550 906182656 85467 33554432000 4194304 4797429 140733718209792 18446744073709551615 4428866 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 221236 85467 420 148 0 216165 0
[pid=3213/tid=3221] ppid=3211 vsize=884944 CPUtime=762.06 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 41368 0 0 0 76188 18 0 0 25 0 4 0 597953574 906182656 85467 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=884944 CPUtime=762.05 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 39555 0 0 0 76186 19 0 0 25 0 4 0 597953574 906182656 85467 33554432000 4194304 4797429 140733718209792 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=884944 CPUtime=757.91 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 38138 0 0 0 75776 15 0 0 25 0 4 0 597953574 906182656 85467 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.36
Current children cumulated vsize (KiB) 884944

[startup+822.301 s]
/proc/loadavg: 8.00 7.78 6.69 9/184 3253
/proc/meminfo: memFree=22742700/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=885052 CPUtime=3284.04 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 434329 0 0 0 328176 228 0 0 25 0 4 0 597953550 906293248 88951 33554432000 4194304 4797429 140733718209792 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 221263 88951 420 148 0 216192 0
[pid=3213/tid=3221] ppid=3211 vsize=885052 CPUtime=822.06 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 42333 0 0 0 82187 19 0 0 25 0 4 0 597953574 906293248 88951 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=885052 CPUtime=822.05 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 40843 0 0 0 82185 20 0 0 25 0 4 0 597953574 906293248 88951 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=885052 CPUtime=817.58 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 39193 0 0 0 81742 16 0 0 25 0 4 0 597953574 906293248 88951 33554432000 4194304 4797429 140733718209792 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.04
Current children cumulated vsize (KiB) 885052

[startup+882.3 s]
/proc/loadavg: 8.00 7.82 6.77 9/184 3255
/proc/meminfo: memFree=22739716/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=889664 CPUtime=3523.71 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 457790 0 0 0 352127 244 0 0 25 0 4 0 597953550 911015936 90677 33554432000 4194304 4797429 140733718209792 18446744073709551615 4424399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 222416 90677 420 148 0 217345 0
[pid=3213/tid=3221] ppid=3211 vsize=889664 CPUtime=882.06 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 42801 0 0 0 88187 19 0 0 25 0 4 0 597953574 911015936 90677 33554432000 4194304 4797429 140733718209792 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=889664 CPUtime=882.05 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 41408 0 0 0 88185 20 0 0 25 0 4 0 597953574 911015936 90677 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=889664 CPUtime=877.26 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 39722 0 0 0 87710 16 0 0 25 0 4 0 597953574 911015936 90677 33554432000 4194304 4797429 140733718209792 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.71
Current children cumulated vsize (KiB) 889664

[startup+942.3 s]
/proc/loadavg: 8.07 7.87 6.85 9/184 3257
/proc/meminfo: memFree=22707568/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=889480 CPUtime=3763.38 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 489341 0 0 0 376073 265 0 0 25 0 4 0 597953550 910827520 86446 33554432000 4194304 4797429 140733718209792 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 222370 86446 420 148 0 217299 0
[pid=3213/tid=3221] ppid=3211 vsize=889480 CPUtime=942.06 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 45464 0 0 0 94185 21 0 0 25 0 4 0 597953574 910827520 86446 33554432000 4194304 4797429 140733718209792 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=889480 CPUtime=942.05 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 44688 0 0 0 94183 22 0 0 25 0 4 0 597953574 910827520 86446 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=889480 CPUtime=936.93 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 42721 0 0 0 93675 18 0 0 25 0 4 0 597953574 910827520 86446 33554432000 4194304 4797429 140733718209792 18446744073709551615 4573731 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.38
Current children cumulated vsize (KiB) 889480

[startup+1002.3 s]
/proc/loadavg: 8.02 7.89 6.92 9/184 3258
/proc/meminfo: memFree=22651756/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=889508 CPUtime=4003.07 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 513760 0 0 0 400025 282 0 0 25 0 4 0 597953550 910856192 98605 33554432000 4194304 4797429 140733718209792 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 222377 98605 420 148 0 217306 0
[pid=3213/tid=3221] ppid=3211 vsize=889508 CPUtime=1002.06 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 46624 0 0 0 100185 21 0 0 25 0 4 0 597953574 910856192 98605 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=889508 CPUtime=1002.05 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 46195 0 0 0 100183 22 0 0 25 0 4 0 597953574 910856192 98605 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=889508 CPUtime=996.61 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 43575 0 0 0 99642 19 0 0 25 0 4 0 597953574 910856192 98606 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.07
Current children cumulated vsize (KiB) 889508

[startup+1062.3 s]
/proc/loadavg: 8.01 7.91 6.98 9/184 3260
/proc/meminfo: memFree=22664740/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=890128 CPUtime=4242.74 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 530537 0 0 0 423982 292 0 0 25 0 4 0 597953550 911491072 103380 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 222532 103380 420 148 0 217461 0
[pid=3213/tid=3221] ppid=3211 vsize=890128 CPUtime=1062.06 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 47437 0 0 0 106184 22 0 0 25 0 4 0 597953574 911491072 103380 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=890128 CPUtime=1062.06 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 47323 0 0 0 106183 23 0 0 25 0 4 0 597953574 911491072 103380 33554432000 4194304 4797429 140733718209792 18446744073709551615 4524489 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=890128 CPUtime=1056.27 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 44241 0 0 0 105608 19 0 0 25 0 4 0 597953574 911491072 103380 33554432000 4194304 4797429 140733718209792 18446744073709551615 4567820 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.74
Current children cumulated vsize (KiB) 890128

[startup+1122.3 s]
/proc/loadavg: 8.04 7.93 7.05 9/184 3261
/proc/meminfo: memFree=22634556/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=895352 CPUtime=4482.42 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 533037 0 0 0 447949 293 0 0 25 0 4 0 597953550 916840448 105760 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 223838 105760 420 148 0 218767 0
[pid=3213/tid=3221] ppid=3211 vsize=895352 CPUtime=1122.06 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 48200 0 0 0 112184 22 0 0 25 0 4 0 597953574 916840448 105760 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=895352 CPUtime=1122.05 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 47941 0 0 0 112182 23 0 0 25 0 4 0 597953574 916840448 105760 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=895352 CPUtime=1115.96 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 45360 0 0 0 111576 20 0 0 25 0 4 0 597953574 916840448 105760 33554432000 4194304 4797429 140733718209792 18446744073709551615 4567923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.42
Current children cumulated vsize (KiB) 895352

[startup+1182.3 s]
/proc/loadavg: 8.11 7.97 7.12 9/184 3263
/proc/meminfo: memFree=22645076/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=921324 CPUtime=4722.1 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 545836 0 0 0 471912 298 0 0 25 0 4 0 597953550 943435776 104207 33554432000 4194304 4797429 140733718209792 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 230331 104207 420 148 0 225260 0
[pid=3213/tid=3221] ppid=3211 vsize=921324 CPUtime=1182.07 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 52147 0 0 0 118183 24 0 0 25 0 4 0 597953574 943435776 104207 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=921324 CPUtime=1182.06 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 52857 0 0 0 118181 25 0 0 25 0 4 0 597953574 943435776 104207 33554432000 4194304 4797429 140733718209792 18446744073709551615 4645207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=921324 CPUtime=1175.63 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 49296 0 0 0 117542 21 0 0 25 0 4 0 597953574 943435776 104207 33554432000 4194304 4797429 140733718209792 18446744073709551615 4515965 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.1
Current children cumulated vsize (KiB) 921324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.07 7.97 7.13 9/184 3263
/proc/meminfo: memFree=22616904/32950928 swapFree=67071984/67111528
[pid=3213] ppid=3211 vsize=921324 CPUtime=4800.41 cores=1,3,5,7
/proc/3213/stat : 3213 (techdemo) R 3211 3213 2254 0 -1 4202496 547107 0 0 0 479742 299 0 0 25 0 4 0 597953550 943435776 105418 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3213/statm: 230331 105418 420 148 0 225260 0
[pid=3213/tid=3221] ppid=3211 vsize=921324 CPUtime=1201.67 cores=1,3,5,7
/proc/3213/task/3221/stat : 3221 (techdemo) R 3211 3213 2254 0 -1 4202560 52548 0 0 0 120143 24 0 0 25 0 4 0 597953574 943435776 105418 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3213/tid=3225] ppid=3211 vsize=921324 CPUtime=1201.66 cores=1,3,5,7
/proc/3213/task/3225/stat : 3225 (techdemo) R 3211 3213 2254 0 -1 4202560 53290 0 0 0 120141 25 0 0 25 0 4 0 597953574 943435776 105418 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3213/tid=3226] ppid=3211 vsize=921324 CPUtime=1195.12 cores=1,3,5,7
/proc/3213/task/3226/stat : 3226 (techdemo) R 3211 3213 2254 0 -1 4202560 49733 0 0 0 119491 21 0 0 25 0 4 0 597953574 943435776 105418 33554432000 4194304 4797429 140733718209792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 921324

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.45
CPU user time (s): 4797.45
CPU system time (s): 3.00954
CPU usage (%): 399.396
Max. virtual memory (cumulated for all children) (KiB): 999884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.45
system time used= 3.00954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 547107
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= 4040
involuntary context switches= 32995

runsolver used 1.76173 second user time and 4.81427 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 13:40:29
IDJOB=3172586
IDBENCH=82604
IDSOLVER=1584
FILE ID=node116/3172586-1304077229
RUNJOBID= node116-1304077229-3200
PBS_JOBID= 13170472
Free space on /tmp= 72512 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172586-1304077229/watcher-3172586-1304077229 -o /tmp/evaluation-result-3172586-1304077229/solver-3172586-1304077229 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172586-1304077229.cnf

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

MD5SUM BENCH= 53ba9a0375ae9f5fbde617f9de32bf14
RANDOM SEED=1419628260

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23619268 kB
Buffers:       1902596 kB
Cached:        6957988 kB
SwapCached:       9732 kB
Active:        4403132 kB
Inactive:      4500488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23619268 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:           10920 kB
Writeback:           0 kB
AnonPages:       36436 kB
Mapped:          13492 kB
Slab:           365260 kB
PageTables:       4736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   193348 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= 72496 MiB
End job on node116 at 2011-04-29 14:00:33