Trace number 3172628

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.41 1202.13

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf
MD5SUM28b704f4b0f31dccf5e0c8fedfb14daa
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark60.2658
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-3172628-1304079647.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.22 s
0.19/0.24	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.47/0.30	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.24
0.47/0.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.23
0.47/0.37	c Calc non-exist non-lernt bins v-fix:     0 done:  20000 time:  0.03 s
0.47/0.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.47/0.38	c Subs w/ non-existent bins:      0 time:  0.01 s
0.86/0.56	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.86/0.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.86/0.56	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
0.86/1.25	c lits-rem:         0  cl-subs:        0  v-elim:   1099  v-fix:    0  time:  0.88 s
0.86/1.25	c learnt bin added due to v-elim: 0
0.86/1.25	c Finding binary XORs  T:     0.02 s  found:       0
0.86/1.25	c Finding non-binary XORs:     0.19 s (found:       0, avg size: nan)
0.86/1.25	c calculated reachability. Time: 0.00
0.86/1.25	c Calc default polars -  time:   0.02 s pos:    8783 undec:    2331 neg:    8886
0.86/1.25	c =========================================================================================
0.86/1.25	c types(t): F = full restart, N = normal restart
0.86/1.25	c types(t): S = simplification begin/end, E = solution found
0.86/1.25	c restart types(rt): st = static, dy = dynamic
0.86/1.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.86/1.25	c  B st     0         0     19382     83203         0         0    253006         0   no data   no data  --
1.53/1.35	c Decided on dynamic restart strategy
6.46/1.89	c  N dy    20      4075     19382     83203         0      4075    253006    715851    160.43    118.25  --
11.64/3.19	c  N dy    49      8188     19382     83203         0      8187    253006   1431693    172.85    118.96  --
16.82/4.44	c  N dy    78     12291     19382     83203         0     12290    253006   2136320    162.76    118.18  --
22.01/5.77	c  N dy   107     16415     19382     83203         0     16414    253006   2837721    178.09    117.76  --
28.02/7.22	c  N dy   136     20521     19382     83203         0     10520    253006    562655    170.30    116.90  --
33.59/8.66	c  N dy   165     24652     19382     83203         0     14650    253006   1268966    168.93    116.81  --
38.79/9.97	c  N dy   194     28755     19382     83203         0     18752    253006   1969443    176.20    116.50  --
41.20/10.59	c  S st   203     30001     19382     83203         0     19997    253006   2195204    182.22    116.74  --
41.98/10.76	c  S st   203     30504     19382     83203         0     20500    253006   2261465    182.22    116.74  --
41.98/10.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
41.98/10.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.18/11.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.90
43.18/11.01	c Calc non-exist non-lernt bins v-fix:     0 done:  19382 time:  0.04 s
43.18/11.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.18/11.03	c Subs w/ non-existent bins:      0 time:  0.09 s
43.98/11.22	c bin-w-bin subsume rem            0 bins  time:  0.03 s
43.98/11.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
43.98/11.24	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
64.75/16.49	c lits-rem:         1  cl-subs:     1307  v-elim:    294  v-fix:    0  time: 20.99 s
64.75/16.49	c learnt bin added due to v-elim: 0
65.15/16.50	c vivif2 --  cl tried    83203 cl shrink        0 lits rem          0 time: 0.03
65.15/16.53	c vivif2 --  cl tried    19193 cl shrink        0 lits rem          0 time: 0.10
65.95/16.76	c asymm  cl-useful: 0/83203/83203 lits-rem:0 time: 0.94
65.95/16.77	c calculated reachability. Time: 0.00
65.95/16.77	c  N dy   203     30504     19382     83203         0     19193    253006   2165967    182.22    116.74  --
65.95/16.77	c  F st   203     30504     19382     83203         0     19193    253006   2165967    182.22    116.74  --
69.14/17.57	c Decided on dynamic restart strategy
72.37/18.33	c  N dy   223     34620     19382     83203         0     23309    253006   2984873    165.52    118.17  --
78.73/19.93	c  N dy   251     38663     19382     83203         0     27352    253006   3724698    180.59    118.47  --
84.73/21.46	c  N dy   279     42684     19382     83203         0     15875    253006    676772    185.49    118.72  --
89.12/22.55	c  S st   301     45756     19382     83203         0     18947    253006   1224661    179.81    118.85  --
89.94/22.72	c  S st   301     46257     19382     83203         0     19448    253006   1295028    179.81    118.85  --
89.94/22.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
89.94/22.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.72/22.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.71
90.72/22.92	c Calc non-exist non-lernt bins v-fix:     0 done:  19382 time:  0.04 s
90.72/22.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.72/22.94	c Subs w/ non-existent bins:      0 time:  0.07 s
91.12/23.03	c bin-w-bin subsume rem            0 bins  time:  0.03 s
91.12/23.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
91.12/23.04	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
102.72/25.98	c lits-rem:         6  cl-subs:      626  v-elim:    294  v-fix:    0  time: 11.75 s
102.72/25.98	c learnt bin added due to v-elim: 0
102.72/25.99	c vivif2 --  cl tried    83203 cl shrink        0 lits rem          0 time: 0.04
103.13/26.01	c vivif2 --  cl tried    18822 cl shrink        0 lits rem          0 time: 0.06
103.90/26.21	c asymm  cl-useful: 0/83203/83203 lits-rem:0 time: 0.78
103.90/26.21	c calculated reachability. Time: 0.00
103.90/26.21	c  N dy   301     46257     19382     83203         0     18822    253006   1255134    179.81    118.85  --
109.89/27.77	c  N dy   330     50392     19382     83203         0     22957    253006   2012449    200.04    119.14  --
115.49/29.14	c  N dy   358     54414     19382     83203         0     26977    253006   2715675    182.46    118.81  --
121.47/30.61	c  N dy   387     58552     19382     83203         0     31115    253006   3414744    184.21    118.59  --
127.87/32.26	c  N dy   416     62679     19382     83203         0     35241    253006   4095115    154.83    118.24  --
134.66/33.91	c  N dy   444     66721     19382     83203         0     20536    253006    922401    187.55    118.30  --
139.05/35.03	c  S st   463     69387     19382     83203         0     23202    253006   1376841    170.89    118.19  --
139.85/35.22	c  S st   463     69895     19382     83203         0     23709    253006   1460290    170.89    118.19  --
139.85/35.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
139.85/35.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.65/35.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.77
140.65/35.43	c Calc non-exist non-lernt bins v-fix:     0 done:  19382 time:  0.04 s
140.65/35.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.65/35.45	c Subs w/ non-existent bins:      0 time:  0.06 s
141.05/35.54	c bin-w-bin subsume rem            0 bins  time:  0.03 s
141.05/35.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
141.05/35.55	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
153.43/38.66	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.02/40.55	c Added 0 vars  tried: 80000 time: 7.53
161.02/40.55	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.53
161.42/40.60	c lits-rem:         1  cl-subs:      869  v-elim:    294  v-fix:    0  time: 20.14 s
161.42/40.60	c learnt bin added due to v-elim: 0
161.42/40.61	c vivif2 --  cl tried    83203 cl shrink        0 lits rem          0 time: 0.04
161.42/40.63	c vivif2 --  cl tried    22840 cl shrink        0 lits rem          0 time: 0.08
162.22/40.84	c asymm  cl-useful: 0/83203/83203 lits-rem:0 time: 0.84
162.22/40.84	c calculated reachability. Time: 0.00
162.22/40.84	c  N dy   463     69895     19382     83203         0     22840    253006   1406359    170.89    118.19  --
162.22/40.84	c  F st   463     69895     19382     83203         0     22840    253006   1406359    170.89    118.19  --
165.81/41.71	c Decided on dynamic restart strategy
169.40/42.69	c  N dy   486     74404     19382     83203         0     27348    253006   2269519    159.95    118.67  --
177.00/44.52	c  N dy   520     79279     19382     83203         0     32220    253006   3112947    174.14    118.63  --
184.59/46.45	c  N dy   556     84369     19382     83203         0     37310    253006   3984513    174.80    118.47  --
193.77/48.75	c  N dy   594     89811     19382     83203         0     21880    253006    745008    170.02    118.34  --
202.96/51.02	c  N dy   635     95655     19382     83203         0     27724    253006   1776004    183.55    118.36  --
212.97/53.53	c  N dy   679    101870     19382     83203         0     33939    253006   2846567    164.47    118.32  --
218.94/55.00	c  S st   700    104842     19382     83203         0     36911    253006   3383269    193.98    118.40  --
219.74/55.22	c  S st   700    105345     19382     83203         0     37414    253006   3444515    193.98    118.40  --
219.74/55.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
219.74/55.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.94/55.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.28
220.94/55.56	c Calc non-exist non-lernt bins v-fix:     0 done:  19382 time:  0.04 s
220.94/55.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.94/55.59	c Subs w/ non-existent bins:      0 time:  0.14 s
222.14/55.81	c bin-w-bin subsume rem            0 bins  time:  0.03 s
222.14/55.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
222.14/55.83	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
259.29/65.12	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
259.69/65.20	c lits-rem:         0  cl-subs:     1444  v-elim:    294  v-fix:    0  time: 37.43 s
259.69/65.20	c learnt bin added due to v-elim: 0
259.69/65.21	c vivif2 --  cl tried    83203 cl shrink        0 lits rem          0 time: 0.03
259.69/65.25	c vivif2 --  cl tried    35970 cl shrink        0 lits rem          0 time: 0.16
260.90/65.58	c asymm  cl-useful: 0/83203/83203 lits-rem:0 time: 1.34
260.90/65.59	c calculated reachability. Time: 0.00
260.90/65.59	c  N dy   700    105345     19382     83203         0     35970    253006   3313693    193.98    118.40  --
271.27/68.16	c  N dy   748    112199     19382     83203         0     42823    253006   4514450    174.61    118.44  --
282.05/70.81	c  N dy   798    119364     19382     83203         0     27553    253006   1441987    187.82    118.43  --
293.24/73.63	c  N dy   851    127090     19382     83203         0     35276    253006   2849134    182.46    118.62  --
306.42/76.90	c  N dy   908    135351     19386     83203         8     43541    253022   4304191    172.49    118.58  --
319.60/80.28	c  N dy   969    143989     19386     83203         8     28461    253022   1389140    166.54    118.74  --
333.59/83.78	c  N dy  1033    153195     19386     83203         8     37665    253022   2956722    186.81    118.56  --
342.77/86.02	c  S st  1067    158017     19386     83203         8     42487    253022   3829467    172.83    118.65  --
343.57/86.24	c  S st  1067    158524     19386     83203         8     42994    253022   3894421    172.83    118.65  --
343.57/86.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
343.57/86.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
345.16/86.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.44
345.16/86.63	c Calc non-exist non-lernt bins v-fix:     0 done:  19386 time:  0.04 s
345.16/86.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
345.16/86.67	c Subs w/ non-existent bins:      0 time:  0.15 s
346.37/86.91	c bin-w-bin subsume rem            0 bins  time:  0.03 s
346.37/86.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
346.37/86.92	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
445.03/111.68	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
445.45/111.77	c lits-rem:         1  cl-subs:     1808  v-elim:    296  v-fix:    0  time: 99.21 s
445.45/111.77	c learnt bin added due to v-elim: 0
445.45/111.78	c vivif2 --  cl tried    83203 cl shrink        0 lits rem          0 time: 0.04
445.85/111.83	c vivif2 --  cl tried    41186 cl shrink        0 lits rem          0 time: 0.19
447.43/112.22	c asymm  cl-useful: 0/83203/83203 lits-rem:0 time: 1.57
447.43/112.22	c calculated reachability. Time: 0.00
447.43/112.23	c  N dy  1067    158524     19386     83203         8     41186    253022   3742517    172.83    118.65  --
464.60/116.59	c  N dy  1138    168685     19386     83203         8     26488    253022    771004    156.48    118.56  --
481.38/120.72	c  N dy  1214    179567     19386     83203         8     37369    253022   2669723    174.85    118.46  --
500.95/125.63	c  N dy  1295    191135     19386     83203         8     48933    253022   4701086    160.65    118.46  --
520.55/130.59	c  N dy  1381    203420     19386     83203         8     35292    253022   2128248    165.70    118.44  --
542.52/136.06	c  N dy  1473    216483     19386     83203         8     48354    253022   4411777    162.08    118.38  --
566.07/141.96	c  N dy  1570    230339     19386     83203         8     35246    253022   1901438    171.93    118.36  --
579.26/145.27	c  S st  1622    237786     19386     83203         8     42692    253022   3200124    177.42    118.35  --
580.45/145.50	c  S st  1622    238287     19386     83203         8     43193    253022   3263363    177.42    118.35  --
580.45/145.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
580.45/145.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
581.67/145.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  1.41
581.67/145.88	c Calc non-exist non-lernt bins v-fix:     0 done:  19386 time:  0.04 s
581.67/145.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
582.07/145.91	c Subs w/ non-existent bins:      0 time:  0.13 s
582.84/146.11	c bin-w-bin subsume rem            0 bins  time:  0.03 s
582.84/146.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
582.84/146.13	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
621.99/155.96	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
622.39/156.03	c lits-rem:         0  cl-subs:     2009  v-elim:    296  v-fix:    0  time: 39.53 s
622.39/156.03	c learnt bin added due to v-elim: 0
622.39/156.03	c vivif2 --  cl tried    83203 cl shrink        0 lits rem          0 time: 0.02
622.39/156.07	c vivif2 --  cl tried    41184 cl shrink        0 lits rem          0 time: 0.15
623.99/156.40	c asymm  cl-useful: 0/83203/83203 lits-rem:0 time: 1.32
623.99/156.41	c calculated reachability. Time: 0.00
623.99/156.41	c  N dy  1622    238287     19386     83203         8     41184    253022   3131942    177.42    118.35  --
648.36/162.51	c  N dy  1729    253582     19386     83203         8     28498    253022    539868    164.27    118.21  --
672.73/168.67	c  N dy  1842    269799     19386     83203         8     44713    253022   3441260    161.44    118.34  --
701.49/175.80	c  N dy  1963    287082     19386     83203         8     33007    253022   1144613    159.74    118.30  --
730.65/183.19	c  N dy  2092    305522     19386     83203         8     51442    253022   4362809    152.84    118.30  --
763.80/191.44	c  N dy  2230    325131     19386     83203         8     41059    253022   2368684    186.25    118.22  --
798.56/200.13	c  N dy  2370    345173     19386     83203         8     61098    253022   5925758    169.54    118.27  --
819.35/205.39	c  S st  2455    357431     19386     83203         8     42359    253022   2443487    163.55    118.32  --
820.53/205.65	c  S st  2455    357937     19386     83203         8     42865    253022   2510672    163.55    118.32  --
820.53/205.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
820.53/205.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
822.13/206.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.5M T:  1.42
822.13/206.03	c Calc non-exist non-lernt bins v-fix:     0 done:  19386 time:  0.04 s
822.13/206.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
822.13/206.06	c Subs w/ non-existent bins:      0 time:  0.11 s
822.93/206.22	c bin-w-bin subsume rem            0 bins  time:  0.03 s
822.93/206.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
822.93/206.23	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
848.49/212.60	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
858.50/215.18	c Added 0 vars  tried: 80000 time: 10.30
858.50/215.18	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.30
858.90/215.24	c lits-rem:         6  cl-subs:     2242  v-elim:    296  v-fix:    0  time: 35.98 s
858.90/215.24	c learnt bin added due to v-elim: 0
858.90/215.25	c vivif2 --  cl tried    83203 cl shrink        0 lits rem          0 time: 0.03
858.90/215.28	c vivif2 --  cl tried    40623 cl shrink        0 lits rem          0 time: 0.12
860.08/215.56	c asymm  cl-useful: 0/83203/83203 lits-rem:0 time: 1.14
860.08/215.57	c calculated reachability. Time: 0.00
860.08/215.57	c  N dy  2455    357937     19386     83203         8     40623    253022   2408388    163.55    118.32  --
896.03/224.51	c  N dy  2596    378001     19386     83203         8     60685    253022   5901667    177.36    118.30  --
931.18/233.33	c  N dy  2737    398119     19386     83203         8     48806    253022   3439735    160.72    118.38  --
967.93/242.54	c  N dy  2878    418216     19386     83203         8     35906    253022    910262    171.34    118.26  --
1003.09/251.37	c  N dy  3018    438236     19386     83203         8     55922    253022   4442439    173.62    118.33  --
1041.04/260.86	c  N dy  3158    458300     19386     83203         8     41990    253022   1844019    186.62    118.31  --
1076.19/269.60	c  N dy  3299    478332     19386     83203         8     62017    253022   5405125    169.06    118.33  --
1110.54/278.25	c  N dy  3439    498447     19386     83203         8     47136    253022   2553481    161.77    118.38  --
1145.69/287.01	c  N dy  3579    518474     19386     83203         8     67161    253022   6118608    178.83    118.43  --
1177.65/295.08	c  S st  3708    536905     19386     83203         8     49595    253022   2819408    181.27    118.42  --
1178.85/295.32	c  S st  3708    537407     19386     83203         8     50097    253022   2887908    181.27    118.42  --
1178.85/295.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1178.85/295.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1180.45/295.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.8M T:  1.67
1180.45/295.77	c Calc non-exist non-lernt bins v-fix:     0 done:  19386 time:  0.04 s
1180.45/295.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1180.45/295.80	c Subs w/ non-existent bins:      0 time:  0.12 s
1181.25/295.96	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1181.25/295.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1181.25/295.97	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
1218.39/305.20	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
1218.39/305.27	c lits-rem:         0  cl-subs:     2858  v-elim:    296  v-fix:    0  time: 37.13 s
1218.39/305.27	c learnt bin added due to v-elim: 0
1218.39/305.28	c vivif2 --  cl tried    83203 cl shrink        0 lits rem          0 time: 0.04
1218.81/305.31	c vivif2 --  cl tried    47239 cl shrink        0 lits rem          0 time: 0.13
1219.99/305.66	c asymm  cl-useful: 0/83203/83203 lits-rem:0 time: 1.40
1219.99/305.67	c calculated reachability. Time: 0.00
1219.99/305.67	c  N dy  3708    537407     19386     83203         8     47239    253022   2754464    181.27    118.42  --
1219.99/305.67	c  F st  3708    537407     19386     83203         8     47239    253022   2754464    181.27    118.42  --
1223.98/306.61	c Decided on dynamic restart strategy
1256.34/314.75	c  N dy  3839    557450     19386     83203         8     67277    253022   6257668    169.31    118.38  --
1292.29/323.77	c  N dy  3979    577528     19386     83203         8     50357    253022   2857766    171.28    118.45  --
1330.24/333.23	c  N dy  4120    597612     19386     83203         8     70439    253022   6375691    173.78    118.43  --
1367.00/342.42	c  N dy  4261    617719     19386     83203         8     52547    253022   2986341    174.74    118.43  --
1405.75/352.11	c  N dy  4401    637748     19386     83203         8     72573    253022   6564624    182.78    118.47  --
1442.92/361.42	c  N dy  4541    657753     19386     83203         8     53583    253022   3071038    182.71    118.55  --
1482.04/371.30	c  N dy  4681    677855     19386     83203         8     73682    253022   6621087    193.18    118.57  --
1521.19/381.00	c  N dy  4821    697985     19386     83203         8     53816    253022   2912119    193.85    118.62  --
1560.34/390.85	c  N dy  4961    718062     19386     83203         8     73890    253022   6468272    168.94    118.64  --
1599.49/400.69	c  N dy  5102    738182     19386     83203         8     53011    253022   2500577    162.67    118.59  --
1636.25/409.83	c  N dy  5241    758193     19386     83203         8     73020    253022   6076390    177.79    118.64  --
1672.18/418.86	c  N dy  5381    778329     19386     83203         8     51158    253022   2097467    180.74    118.73  --
1708.54/427.91	c  N dy  5521    798362     19386     83203         8     71188    253022   5699228    189.21    118.76  --
1725.71/432.26	c  S st  5576    806111     19386     83203         8     78936    253022   7009930    159.03    118.72  --
1726.91/432.58	c  S st  5576    806615     19386     83203         8     79440    253022   7077474    159.03    118.72  --
1727.31/432.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1727.31/432.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1730.11/433.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  3.17
1730.51/433.41	c Calc non-exist non-lernt bins v-fix:     0 done:  19386 time:  0.04 s
1730.51/433.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1730.51/433.47	c Subs w/ non-existent bins:      0 time:  0.25 s
1732.51/433.90	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1732.51/433.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1732.51/433.91	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
2205.47/552.37	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
2234.63/559.62	c Added 0 vars  tried: 80000 time: 28.96
2234.63/559.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:   28.96
2235.03/559.75	c lits-rem:         3  cl-subs:     4649  v-elim:    296  v-fix:    0  time: 502.60 s
2235.03/559.75	c learnt bin added due to v-elim: 0
2235.03/559.76	c vivif2 --  cl tried    83203 cl shrink        0 lits rem          0 time: 0.03
2235.43/559.84	c vivif2 --  cl tried    74791 cl shrink        0 lits rem          0 time: 0.32
2237.43/560.33	c asymm  cl-useful: 0/65693/83203 lits-rem:0 time: 1.97
2237.43/560.34	c calculated reachability. Time: 0.00
2237.43/560.34	c  N dy  5576    806615     19386     83203         8     74791    253022   6759226    159.03    118.72  --
2274.98/569.75	c  N dy  5716    826680     19386     83203         8     51861    253022   2019641    169.12    118.75  --
2311.73/578.99	c  N dy  5857    846717     19386     83203         8     71898    253022   5568096    184.57    118.75  --
2352.90/589.25	c  N dy  5997    866797     19386     83203         8     47980    253022   1179905    182.79    118.73  --
2390.02/598.56	c  N dy  6137    886886     19386     83203         8     68069    253022   4805596    176.59    118.78  --
2430.77/608.79	c  N dy  6277    906978     19386     83203         8     88158    253022   8353162    184.31    118.77  --
2468.32/618.20	c  N dy  6418    927034     19386     83203         8     63213    253022   3636436    169.33    118.76  --
2509.86/628.56	c  N dy  6559    947131     19386     83203         8     83306    253022   7241954    179.29    118.80  --
2551.01/638.83	c  N dy  6699    967213     19386     83203         8     57390    253022   2446152    186.05    118.80  --
2592.15/649.17	c  N dy  6839    987286     19386     83203         8     77461    253022   5941592    174.44    118.77  --
2635.29/659.93	c  N dy  6979   1007306     19386     83203         8     50483    253022   1091767    163.94    118.82  --
2675.24/669.97	c  N dy  7118   1027320     19386     83203         8     70493    253022   4601461    174.56    118.82  --
2718.39/680.74	c  N dy  7258   1047384     19386     83203         8     90552    253022   8196097    178.68    118.86  --
2759.12/690.96	c  N dy  7397   1067387     19386     83203         8     62563    253022   3050978    197.92    118.90  --
2800.69/701.40	c  N dy  7536   1087503     19386     83203         8     82676    253022   6640925    183.44    118.92  --
2843.82/712.17	c  N dy  7675   1107511     19386     83203         8     53689    253022   1313258    178.22    118.97  --
2880.96/721.47	c  N dy  7815   1127645     19386     83203         8     73821    253022   4903595    182.99    118.98  --
2920.50/731.37	c  N dy  7954   1147670     19386     83203         8     93844    253022   8500590    185.98    119.02  --
2957.27/740.56	c  N dy  8094   1167697     19386     83203         8     63875    253022   2927286    183.17    119.02  --
2996.41/750.33	c  N dy  8235   1187822     19386     83203         8     83995    253022   6513315    165.23    119.04  --
3039.95/761.29	c  N dy  8375   1207933     19386     83203         8     53113    253022    863665    177.40    119.05  --
3044.34/762.30	c  S st  8389   1209922     19386     83203         8     55102    253022   1237286    193.71    119.06  --
3045.14/762.53	c  S st  8389   1210424     19386     83203         8     55604    253022   1307638    193.71    119.06  --
3045.14/762.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3045.14/762.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3047.16/763.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.0M T:  1.99
3047.16/763.05	c Calc non-exist non-lernt bins v-fix:     0 done:  19386 time:  0.04 s
3047.16/763.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3047.16/763.07	c Subs w/ non-existent bins:      0 time:  0.07 s
3047.53/763.15	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3047.53/763.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3047.53/763.17	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
3059.94/766.30	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
3060.34/766.35	c lits-rem:         6  cl-subs:     3522  v-elim:    296  v-fix:    0  time: 12.72 s
3060.34/766.35	c learnt bin added due to v-elim: 0
3060.34/766.36	c vivif2 --  cl tried    83203 cl shrink        0 lits rem          0 time: 0.04
3060.34/766.38	c vivif2 --  cl tried    52082 cl shrink        0 lits rem          0 time: 0.08
3060.72/766.45	c asymm  cl-useful: 0/17510/83203 lits-rem:0 time: 0.26
3060.72/766.45	c calculated reachability. Time: 0.00
3060.72/766.45	c  N dy  8389   1210424     19386     83203         8     52082    253022   1242644    193.71    119.06  --
3099.07/776.00	c  N dy  8529   1230488     19386     83203         8     72145    253022   4814333    183.93    119.07  --
3141.82/786.71	c  N dy  8669   1250588     19386     83203         8     92241    253022   8394345    180.17    119.08  --
3185.35/797.66	c  N dy  8810   1270694     19386     83203         8     60353    253022   1972194    175.64    119.10  --
3226.92/808.03	c  N dy  8950   1290755     19386     83203         8     80410    253022   5529382    165.48    119.11  --
3272.44/819.48	c  N dy  9090   1310793     19386     83203         8    100443    253022   9056687    178.60    119.11  --
3314.38/829.93	c  N dy  9231   1330877     19386     83203         8     67531    253022   3174756    176.89    119.17  --
3358.33/840.96	c  N dy  9372   1351007     19386     83203         8     87655    253022   6741683    182.63    119.16  --
3405.86/852.90	c  N dy  9512   1371064     19386     83203         8    107709    253022  10309113    165.09    119.18  --
3446.62/863.05	c  N dy  9652   1391073     19386     83203         8     73721    253022   3990994    180.01    119.19  --
3491.75/874.33	c  N dy  9792   1411221     19386     83203         8     93866    253022   7526301    162.29    119.18  --
3540.08/886.43	c  N dy  9932   1431336     19386     83203         8     58990    253022   1256191    186.92    119.23  --
3578.86/896.12	c  N dy 10072   1451423     19386     83203         8     79074    253022   4766855    173.98    119.23  --
3623.17/907.22	c  N dy 10212   1471457     19386     83203         8     99105    253022   8282550    176.20    119.23  --
3666.33/918.05	c  N dy 10352   1491574     19386     83203         8     63231    253022   1829463    177.23    119.24  --
3705.06/927.70	c  N dy 10492   1511650     19386     83203         8     83307    253022   5406754    185.60    119.25  --
3748.20/938.54	c  N dy 10631   1531706     19386     83203         8    103361    253022   9093135    191.04    119.29  --
3791.34/949.30	c  N dy 10770   1551729     19386     83203         8     66389    253022   2210051    179.25    119.30  --
3831.68/959.42	c  N dy 10910   1571802     19386     83203         8     86460    253022   5732663    184.25    119.29  --
3877.25/970.90	c  N dy 11049   1591871     19386     83203         8    106523    253022   9286249    193.87    119.30  --
3921.19/981.88	c  N dy 11189   1611906     19386     83203         8     68563    253022   2386174    188.89    119.30  --
3963.52/992.45	c  N dy 11330   1631995     19386     83203         8     88652    253022   5992688    165.53    119.32  --
4010.65/1004.26	c  N dy 11470   1652007     19386     83203         8    108663    253022   9570916    173.22    119.32  --
4055.79/1015.55	c  N dy 11610   1672073     19386     83203         8     69730    253022   2453420    163.82    119.33  --
4099.33/1026.40	c  N dy 11750   1692142     19386     83203         8     89796    253022   6042746    181.17    119.33  --
4145.68/1038.01	c  S st 11878   1710425     19386     83203         8    108078    253022   9318679    185.14    119.34  --
4147.26/1038.40	c  S st 11878   1710926     19386     83203         8    108579    253022   9389000    185.14    119.34  --
4147.26/1038.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
4147.26/1038.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4152.46/1039.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 14.8M T:  5.23
4152.46/1039.74	c Calc non-exist non-lernt bins v-fix:     0 done:  19386 time:  0.05 s
4152.46/1039.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4152.86/1039.83	c Subs w/ non-existent bins:      0 time:  0.33 s
4154.85/1040.39	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4155.25/1040.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4155.25/1040.41	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-3172628-1304079647/watcher-3172628-1304079647 -o /tmp/evaluation-result-3172628-1304079647/solver-3172628-1304079647 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172628-1304079647.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.09 8.06 7.77 5/180 3460
/proc/meminfo: memFree=23602396/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=24216 CPUtime=0 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 1338 0 0 0 0 0 0 0 25 0 1 0 598195416 24797184 1277 33554432000 4194304 4797429 140736487024272 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3460/statm: 6054 1277 341 148 0 983 0

[startup+0.0183669 s]
/proc/loadavg: 8.09 8.06 7.77 5/180 3460
/proc/meminfo: memFree=23602396/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=38032 CPUtime=0.01 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 4810 0 0 0 1 0 0 0 25 0 1 0 598195416 38944768 3824 33554432000 4194304 4797429 140736487024272 18446744073709551615 4417469 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3460/statm: 9508 3841 342 148 0 4437 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 38032

[startup+0.100352 s]
/proc/loadavg: 8.09 8.06 7.77 5/180 3460
/proc/meminfo: memFree=23602396/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=92572 CPUtime=0.09 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 13212 0 0 0 8 1 0 0 25 0 1 0 598195416 94793728 9862 33554432000 4194304 4797429 140736487024272 18446744073709551615 4359092 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3460/statm: 23143 9862 348 148 0 18072 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92572

[startup+0.300319 s]
/proc/loadavg: 8.09 8.06 7.77 5/180 3460
/proc/meminfo: memFree=23602396/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=199932 CPUtime=0.47 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 17253 0 0 0 46 1 0 0 25 0 4 0 598195416 204730368 13680 33554432000 4194304 4797429 140736487024272 18446744073709551615 4427256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 49983 13680 373 148 0 44912 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 199932

[startup+1.35912 s]
/proc/loadavg: 8.09 8.06 7.77 5/180 3460
/proc/meminfo: memFree=23602396/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=812752 CPUtime=4.68 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 29714 0 0 0 461 7 0 0 19 0 4 0 598195416 832258048 24010 33554432000 4194304 4797429 140736487024272 18446744073709551615 4415793 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 203188 24010 412 148 0 198117 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 812752

[startup+1.5011 s]
/proc/loadavg: 8.09 8.06 7.77 5/180 3460
/proc/meminfo: memFree=23602396/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=812752 CPUtime=5.24 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 30033 0 0 0 517 7 0 0 19 0 4 0 598195416 832258048 24327 33554432000 4194304 4797429 140736487024272 18446744073709551615 4331666 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 203188 24327 412 148 0 198117 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 812752

[startup+3.1008 s]
/proc/loadavg: 8.08 8.06 7.77 9/184 3465
/proc/meminfo: memFree=23471248/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=817064 CPUtime=11.64 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 34748 0 0 0 1154 10 0 0 23 0 4 0 598195416 836673536 29026 33554432000 4194304 4797429 140736487024272 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 204266 29026 413 148 0 199195 0
[pid=3460/tid=3463] ppid=3457 vsize=817064 CPUtime=2.84 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 5262 0 0 0 283 1 0 0 25 0 4 0 598195439 836673536 29026 33554432000 4194304 4797429 140736487024272 18446744073709551615 4422886 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=817064 CPUtime=2.85 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 4477 0 0 0 283 2 0 0 23 0 4 0 598195439 836673536 29026 33554432000 4194304 4797429 140736487024272 18446744073709551615 4422982 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=817064 CPUtime=2.82 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 3765 0 0 0 281 1 0 0 23 0 4 0 598195439 836673536 29026 33554432000 4194304 4797429 140736487024272 18446744073709551615 4423077 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 817064

[startup+6.30122 s]
/proc/loadavg: 8.08 8.06 7.77 10/184 3465
/proc/meminfo: memFree=23413340/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=829556 CPUtime=24.41 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 45493 0 0 0 2426 15 0 0 25 0 4 0 598195416 849465344 39748 33554432000 4194304 4797429 140736487024272 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 207389 39748 416 148 0 202318 0
[pid=3460/tid=3463] ppid=3457 vsize=829556 CPUtime=6.04 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 8190 0 0 0 602 2 0 0 21 0 4 0 598195439 849465344 39748 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=829556 CPUtime=6.04 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 7232 0 0 0 600 4 0 0 25 0 4 0 598195439 849465344 39748 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=829556 CPUtime=6.01 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 6688 0 0 0 599 2 0 0 21 0 4 0 598195439 849465344 39748 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.41
Current children cumulated vsize (KiB) 829556

[startup+12.701 s]
/proc/loadavg: 8.14 8.07 7.78 9/184 3465
/proc/meminfo: memFree=23392104/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=837168 CPUtime=49.99 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 53730 0 0 0 4981 18 0 0 25 0 4 0 598195416 857260032 43977 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568164 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 209292 43977 419 148 0 204221 0
[pid=3460/tid=3463] ppid=3457 vsize=837168 CPUtime=12.44 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 8593 0 0 0 1242 2 0 0 25 0 4 0 598195439 857260032 43977 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=837168 CPUtime=12.45 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 7890 0 0 0 1241 4 0 0 25 0 4 0 598195439 857260032 43977 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=837168 CPUtime=12.37 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 7133 0 0 0 1235 2 0 0 25 0 4 0 598195439 857260032 43977 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568088 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) 837168

[startup+25.5007 s]
/proc/loadavg: 8.12 8.07 7.78 9/184 3466
/proc/meminfo: memFree=23366428/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=843736 CPUtime=101.11 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 61833 0 0 0 10089 22 0 0 25 0 4 0 598195416 863985664 47193 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 210934 47193 419 148 0 205863 0
[pid=3460/tid=3463] ppid=3457 vsize=843736 CPUtime=25.24 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 9753 0 0 0 2521 3 0 0 25 0 4 0 598195439 863985664 47193 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=843736 CPUtime=25.25 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 8995 0 0 0 2520 5 0 0 25 0 4 0 598195439 863985664 47193 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=843736 CPUtime=25.1 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 8083 0 0 0 2507 3 0 0 25 0 4 0 598195439 863985664 47193 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.11
Current children cumulated vsize (KiB) 843736

[startup+51.101 s]
/proc/loadavg: 8.08 8.06 7.78 9/184 3466
/proc/meminfo: memFree=23322556/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=856848 CPUtime=203.36 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 79502 0 0 0 20308 28 0 0 25 0 4 0 598195416 877412352 53781 33554432000 4194304 4797429 140736487024272 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 214212 53781 420 148 0 209141 0
[pid=3460/tid=3463] ppid=3457 vsize=856848 CPUtime=50.85 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 11481 0 0 0 5081 4 0 0 25 0 4 0 598195439 877412352 53781 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=856848 CPUtime=50.84 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 11031 0 0 0 5079 5 0 0 25 0 4 0 598195439 877412352 53781 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=856848 CPUtime=50.57 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 9745 0 0 0 5053 4 0 0 25 0 4 0 598195439 877412352 53781 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.36
Current children cumulated vsize (KiB) 856848

[startup+102.301 s]
/proc/loadavg: 8.07 8.06 7.80 9/184 3468
/proc/meminfo: memFree=23283464/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=874940 CPUtime=407.88 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 108130 0 0 0 40745 43 0 0 25 0 4 0 598195416 895938560 60369 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 218735 60369 420 148 0 213664 0
[pid=3460/tid=3463] ppid=3457 vsize=874940 CPUtime=102.04 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 16065 0 0 0 10199 5 0 0 25 0 4 0 598195439 895938560 60369 33554432000 4194304 4797429 140736487024272 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=874940 CPUtime=102.04 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 14638 0 0 0 10197 7 0 0 25 0 4 0 598195439 895938560 60369 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=874940 CPUtime=101.49 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 13338 0 0 0 10143 6 0 0 25 0 4 0 598195439 895938560 60369 33554432000 4194304 4797429 140736487024272 18446744073709551615 4647959 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.88
Current children cumulated vsize (KiB) 874940

[startup+162.301 s]
/proc/loadavg: 8.12 8.08 7.82 9/184 3469
/proc/meminfo: memFree=23246860/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=890644 CPUtime=647.58 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 141013 0 0 0 64696 62 0 0 25 0 4 0 598195416 912019456 64147 33554432000 4194304 4797429 140736487024272 18446744073709551615 4345232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 222661 64147 420 148 0 217590 0
[pid=3460/tid=3463] ppid=3457 vsize=890644 CPUtime=162.04 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 19917 0 0 0 16198 6 0 0 25 0 4 0 598195439 912019456 64147 33554432000 4194304 4797429 140736487024272 18446744073709551615 4526195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=890644 CPUtime=162.04 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 18902 0 0 0 16196 8 0 0 25 0 4 0 598195439 912019456 64147 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=890644 CPUtime=161.16 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 16401 0 0 0 16109 7 0 0 25 0 4 0 598195439 912019456 64147 33554432000 4194304 4797429 140736487024272 18446744073709551615 4387571 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) 890644

[startup+222.301 s]
/proc/loadavg: 8.13 8.09 7.84 9/184 3471
/proc/meminfo: memFree=23204060/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=899308 CPUtime=887.24 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 174774 0 0 0 88645 79 0 0 25 0 4 0 598195416 920891392 71695 33554432000 4194304 4797429 140736487024272 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 224827 71695 420 148 0 219756 0
[pid=3460/tid=3463] ppid=3457 vsize=899308 CPUtime=222.04 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 22484 0 0 0 22196 8 0 0 25 0 4 0 598195439 920891392 71695 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=899308 CPUtime=222.04 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 20954 0 0 0 22195 9 0 0 25 0 4 0 598195439 920891392 71695 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=899308 CPUtime=220.83 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 18605 0 0 0 22075 8 0 0 25 0 4 0 598195439 920891392 71695 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.24
Current children cumulated vsize (KiB) 899308

[startup+282.307 s]
/proc/loadavg: 8.13 8.10 7.85 9/184 3472
/proc/meminfo: memFree=23189892/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=906980 CPUtime=1126.94 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 212435 0 0 0 112593 101 0 0 25 0 4 0 598195416 928747520 69506 33554432000 4194304 4797429 140736487024272 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 226745 69506 420 148 0 221674 0
[pid=3460/tid=3463] ppid=3457 vsize=906980 CPUtime=282.05 cores=1,3,5,7

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

[pid=3460] ppid=3457 vsize=935984 CPUtime=2564.99 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 349175 0 0 0 256319 180 0 0 25 0 4 0 598195416 958447616 86055 33554432000 4194304 4797429 140736487024272 18446744073709551615 4387672 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 233996 86055 420 148 0 228925 0
[pid=3460/tid=3463] ppid=3457 vsize=935984 CPUtime=642.05 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 38484 0 0 0 64189 16 0 0 25 0 4 0 598195439 958447616 86055 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=935984 CPUtime=642.05 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 36260 0 0 0 64187 18 0 0 25 0 4 0 598195439 958447616 86055 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=935984 CPUtime=638.55 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 32696 0 0 0 63839 16 0 0 25 0 4 0 598195439 958447616 86055 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 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) 935984

[startup+702.301 s]
/proc/loadavg: 8.11 8.09 7.93 9/184 3487
/proc/meminfo: memFree=23046168/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=943860 CPUtime=2804.67 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 375138 0 0 0 280271 196 0 0 25 0 4 0 598195416 966512640 92869 33554432000 4194304 4797429 140736487024272 18446744073709551615 4423639 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 235965 92869 420 148 0 230894 0
[pid=3460/tid=3463] ppid=3457 vsize=943860 CPUtime=702.05 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 39407 0 0 0 70188 17 0 0 25 0 4 0 598195439 966512640 92869 33554432000 4194304 4797429 140736487024272 18446744073709551615 4415661 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=943860 CPUtime=702.05 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 37193 0 0 0 70187 18 0 0 25 0 4 0 598195439 966512640 92869 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=943860 CPUtime=698.23 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 33849 0 0 0 69807 16 0 0 25 0 4 0 598195439 966512640 92869 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.67
Current children cumulated vsize (KiB) 943860

[startup+762.301 s]
/proc/loadavg: 8.19 8.12 7.94 9/184 3488
/proc/meminfo: memFree=23047992/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=947428 CPUtime=3044.34 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 409556 0 0 0 304218 216 0 0 25 0 4 0 598195416 970166272 84160 33554432000 4194304 4797429 140736487024272 18446744073709551615 4415763 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 236857 84160 420 148 0 231786 0
[pid=3460/tid=3463] ppid=3457 vsize=947428 CPUtime=762.04 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 42908 0 0 0 76186 18 0 0 25 0 4 0 598195439 970166272 84160 33554432000 4194304 4797429 140736487024272 18446744073709551615 4424335 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=947428 CPUtime=762.06 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 40909 0 0 0 76186 20 0 0 25 0 4 0 598195439 970166272 84160 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=947428 CPUtime=757.9 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 36454 0 0 0 75773 17 0 0 25 0 4 0 598195439 970166272 84160 33554432000 4194304 4797429 140736487024272 18446744073709551615 4428653 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.34
Current children cumulated vsize (KiB) 947428

[startup+822.301 s]
/proc/loadavg: 8.13 8.11 7.95 9/184 3490
/proc/meminfo: memFree=23005328/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=949580 CPUtime=3284.04 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 433023 0 0 0 328172 232 0 0 25 0 4 0 598195416 972369920 96237 33554432000 4194304 4797429 140736487024272 18446744073709551615 260905090827 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 237395 96237 420 148 0 232324 0
[pid=3460/tid=3463] ppid=3457 vsize=949580 CPUtime=822.05 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 43866 0 0 0 82186 19 0 0 25 0 4 0 598195439 972369920 96237 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=949580 CPUtime=822.06 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 41964 0 0 0 82186 20 0 0 25 0 4 0 598195439 972369920 96237 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=949580 CPUtime=817.58 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 37964 0 0 0 81740 18 0 0 25 0 4 0 598195439 972369920 96237 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 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) 949580

[startup+882.301 s]
/proc/loadavg: 8.11 8.10 7.95 9/184 3491
/proc/meminfo: memFree=22974432/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=952852 CPUtime=3523.7 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 457414 0 0 0 352121 249 0 0 25 0 4 0 598195416 975720448 99205 33554432000 4194304 4797429 140736487024272 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 238213 99205 420 148 0 233142 0
[pid=3460/tid=3463] ppid=3457 vsize=952852 CPUtime=882.05 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 44408 0 0 0 88185 20 0 0 25 0 4 0 598195439 975720448 99205 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=952852 CPUtime=882.05 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 43202 0 0 0 88184 21 0 0 25 0 4 0 598195439 975720448 99205 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=952852 CPUtime=877.25 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 38785 0 0 0 87707 18 0 0 25 0 4 0 598195439 975720448 99205 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.7
Current children cumulated vsize (KiB) 952852

[startup+942.307 s]
/proc/loadavg: 8.10 8.10 7.96 9/184 3493
/proc/meminfo: memFree=22993876/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=957232 CPUtime=3763.4 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 488552 0 0 0 376072 268 0 0 25 0 4 0 598195416 980205568 95615 33554432000 4194304 4797429 140736487024272 18446744073709551615 4331654 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 239308 95615 420 148 0 234237 0
[pid=3460/tid=3463] ppid=3457 vsize=957232 CPUtime=942.05 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 47417 0 0 0 94184 21 0 0 25 0 4 0 598195439 980205568 95615 33554432000 4194304 4797429 140736487024272 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=957232 CPUtime=942.07 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 45917 0 0 0 94184 23 0 0 25 0 4 0 598195439 980205568 95615 33554432000 4194304 4797429 140736487024272 18446744073709551615 4331610 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=957232 CPUtime=936.93 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 41126 0 0 0 93673 20 0 0 25 0 4 0 598195439 980205568 95615 33554432000 4194304 4797429 140736487024272 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.4
Current children cumulated vsize (KiB) 957232

[startup+1002.3 s]
/proc/loadavg: 8.07 8.09 7.97 9/184 3495
/proc/meminfo: memFree=22984564/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=957284 CPUtime=4003.06 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 513830 0 0 0 400023 283 0 0 25 0 4 0 598195416 980258816 98087 33554432000 4194304 4797429 140736487024272 18446744073709551615 4351621 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 239321 98087 420 148 0 234250 0
[pid=3460/tid=3463] ppid=3457 vsize=957284 CPUtime=1002.06 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 48325 0 0 0 100184 22 0 0 25 0 4 0 598195439 980258816 98087 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=957284 CPUtime=1002.05 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 47269 0 0 0 100182 23 0 0 25 0 4 0 598195439 980258816 98087 33554432000 4194304 4797429 140736487024272 18446744073709551615 4567800 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=957284 CPUtime=996.6 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 42512 0 0 0 99639 21 0 0 25 0 4 0 598195439 980258816 98087 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.06
Current children cumulated vsize (KiB) 957284

[startup+1062.3 s]
/proc/loadavg: 8.06 8.08 7.97 9/184 3496
/proc/meminfo: memFree=22953032/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=958172 CPUtime=4242.74 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 530935 0 0 0 423983 291 0 0 25 0 4 0 598195416 981168128 103454 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 239543 103454 420 148 0 234472 0
[pid=3460/tid=3463] ppid=3457 vsize=958172 CPUtime=1062.05 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 49310 0 0 0 106183 22 0 0 25 0 4 0 598195439 981168128 103454 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=958172 CPUtime=1062.06 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 47752 0 0 0 106182 24 0 0 25 0 4 0 598195439 981168128 103454 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=958172 CPUtime=1056.27 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 43120 0 0 0 105606 21 0 0 25 0 4 0 598195439 981168128 103454 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568088 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) 958172

[startup+1122.3 s]
/proc/loadavg: 8.28 8.14 8.00 9/184 3502
/proc/meminfo: memFree=22930256/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=960428 CPUtime=4481.58 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 532918 0 0 0 447866 292 0 0 25 0 4 0 598195416 983478272 105385 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 240107 105385 420 148 0 235036 0
[pid=3460/tid=3463] ppid=3457 vsize=960428 CPUtime=1121.22 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 49591 0 0 0 112099 23 0 0 25 0 4 0 598195439 983478272 105385 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=960428 CPUtime=1122.06 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 48668 0 0 0 112182 24 0 0 25 0 4 0 598195439 983478272 105385 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=960428 CPUtime=1115.96 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 43906 0 0 0 111574 22 0 0 25 0 4 0 598195439 983478272 105385 33554432000 4194304 4797429 140736487024272 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4481.58
Current children cumulated vsize (KiB) 960428

[startup+1182.3 s]
/proc/loadavg: 8.25 8.16 8.01 9/184 3503
/proc/meminfo: memFree=22925064/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=978196 CPUtime=4721.25 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 544540 0 0 0 471828 297 0 0 25 0 4 0 598195416 1001672704 103415 33554432000 4194304 4797429 140736487024272 18446744073709551615 4567927 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 244549 103415 420 148 0 239478 0
[pid=3460/tid=3463] ppid=3457 vsize=978196 CPUtime=1181.22 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 54085 0 0 0 118097 25 0 0 25 0 4 0 598195439 1001672704 103415 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=978196 CPUtime=1182.06 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 52664 0 0 0 118181 25 0 0 25 0 4 0 598195439 1001672704 103415 33554432000 4194304 4797429 140736487024272 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=978196 CPUtime=1175.62 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 47038 0 0 0 117539 23 0 0 25 0 4 0 598195439 1001672704 103415 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.25
Current children cumulated vsize (KiB) 978196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.18 8.15 8.01 5/179 3505
/proc/meminfo: memFree=23194048/32950928 swapFree=67071984/67111528
[pid=3460] ppid=3457 vsize=978196 CPUtime=4800.36 cores=1,3,5,7
/proc/3460/stat : 3460 (techdemo) R 3457 3460 3309 0 -1 4202496 545861 0 0 0 479739 297 0 0 25 0 4 0 598195416 1001672704 104630 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3460/statm: 244549 104630 420 148 0 239478 0
[pid=3460/tid=3463] ppid=3457 vsize=978196 CPUtime=1201.02 cores=1,3,5,7
/proc/3460/task/3463/stat : 3463 (techdemo) R 3457 3460 3309 0 -1 4202560 54564 0 0 0 120077 25 0 0 25 0 4 0 598195439 1001672704 104630 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3460/tid=3464] ppid=3457 vsize=978196 CPUtime=1201.87 cores=1,3,5,7
/proc/3460/task/3464/stat : 3464 (techdemo) R 3457 3460 3309 0 -1 4202560 53133 0 0 0 120162 25 0 0 25 0 4 0 598195439 1001672704 104630 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3460/tid=3465] ppid=3457 vsize=978196 CPUtime=1195.32 cores=1,3,5,7
/proc/3460/task/3465/stat : 3465 (techdemo) R 3457 3460 3309 0 -1 4202560 47411 0 0 0 119508 24 0 0 25 0 4 0 598195439 1001672704 104630 33554432000 4194304 4797429 140736487024272 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 978196

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.13
CPU time (s): 4800.41
CPU user time (s): 4797.42
CPU system time (s): 2.99654
CPU usage (%): 399.326
Max. virtual memory (cumulated for all children) (KiB): 1066256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.42
system time used= 2.99654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545861
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= 5817
involuntary context switches= 31630

runsolver used 1.9847 second user time and 4.5923 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 14:20:47
IDJOB=3172628
IDBENCH=82646
IDSOLVER=1584
FILE ID=node116/3172628-1304079647
RUNJOBID= node116-1304078443-3328
PBS_JOBID= 13170521
Free space on /tmp= 72504 MiB

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

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

MD5SUM BENCH= 28b704f4b0f31dccf5e0c8fedfb14daa
RANDOM SEED=1469741784

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:      23602932 kB
Buffers:       1902872 kB
Cached:        6965812 kB
SwapCached:       9732 kB
Active:        4421808 kB
Inactive:      4498824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23602932 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:           17492 kB
Writeback:           0 kB
AnonPages:       46020 kB
Mapped:          14464 kB
Slab:           365104 kB
PageTables:       4300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   674368 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:40:52