Trace number 3172522

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf
MD5SUMfdeac497d04edcceaf426c845c7872aa
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark43.8933
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-3172522-1304057656.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.19/0.24	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.19/0.24	c -- vars added      20000
0.19/0.24	c Parsing time:  0.21 s
0.19/0.24	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.46/0.30	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.24
0.46/0.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.23
0.46/0.38	c Calc non-exist non-lernt bins v-fix:     0 done:  20000 time:  0.03 s
0.46/0.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.46/0.38	c Subs w/ non-existent bins:      0 time:  0.01 s
0.86/0.43	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.86/0.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.86/0.47	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
1.43/0.66	c lits-rem:         0  cl-subs:        0  v-elim:   1206  v-fix:    0  time:  0.89 s
1.43/0.66	c learnt bin added due to v-elim: 0
1.43/0.66	c Finding binary XORs  T:     0.02 s  found:       0
1.43/0.72	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
1.43/0.72	c calculated reachability. Time: 0.00
1.43/0.73	c Calc default polars -  time:   0.02 s pos:    8722 undec:    2386 neg:    8892
1.43/0.73	c =========================================================================================
1.43/0.73	c types(t): F = full restart, N = normal restart
1.43/0.73	c types(t): S = simplification begin/end, E = solution found
1.43/0.73	c restart types(rt): st = static, dy = dynamic
1.43/0.73	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.43/0.73	c  B st     0         0     19337     83128         0         0    253067         0   no data   no data  --
1.99/1.33	c Decided on dynamic restart strategy
6.42/1.88	c  N dy    20      4031     19337     83128         0      4030    253067    738235    163.78    124.76  --
11.63/3.17	c  N dy    49      8128     19337     83128         0      8125    253067   1436645    153.72    119.87  --
16.41/4.37	c  N dy    77     12158     19337     83128         0     12155    253067   2132752    173.85    118.06  --
21.60/5.67	c  N dy   105     16166     19337     83128         0     16163    253067   2821989    166.52    117.46  --
27.61/7.17	c  N dy   134     20283     19337     83128         0     10282    253067    536916    188.03    117.92  --
33.18/8.57	c  N dy   162     24299     19337     83128         0     14298    253067   1234036    188.86    117.90  --
38.37/9.87	c  N dy   191     28401     19337     83128         0     18400    253067   1908674    175.55    116.95  --
41.19/10.59	c  S st   202     30000     19337     83128         0     19999    253067   2181966    164.80    116.81  --
41.97/10.77	c  S st   202     30503     19337     83128         0     20502    253067   2245477    164.80    116.81  --
41.97/10.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
41.97/10.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.18/11.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.89
43.18/11.02	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
43.18/11.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.18/11.04	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.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
43.98/11.23	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
64.74/16.43	c lits-rem:        15  cl-subs:     1358  v-elim:    323  v-fix:    0  time: 20.77 s
64.74/16.43	c learnt bin added due to v-elim: 0
64.74/16.44	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.03
64.74/16.47	c vivif2 --  cl tried    19144 cl shrink        0 lits rem          0 time: 0.10
65.94/16.71	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.96
65.94/16.71	c calculated reachability. Time: 0.00
65.94/16.71	c  N dy   202     30503     19337     83128         0     19144    253067   2136508    164.80    116.81  --
65.94/16.71	c  F st   202     30503     19337     83128         0     19144    253067   2136508    164.80    116.81  --
68.73/17.45	c Decided on dynamic restart strategy
71.55/18.19	c  N dy   222     34580     19337     83128         0     23220    253067   2893886    162.83    117.51  --
78.33/19.82	c  N dy   251     38710     19337     83128         0     27350    253067   3614706    199.41    117.60  --
84.74/21.42	c  N dy   280     42754     19337     83128         0     15894    253067    673662    164.27    117.25  --
88.72/22.46	c  S st   302     45754     19337     83128         0     18894    253067   1193755    172.75    117.18  --
89.53/22.63	c  S st   302     46259     19337     83128         0     19399    253067   1259525    172.75    117.18  --
89.53/22.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
89.53/22.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.31/22.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.70
90.31/22.83	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
90.31/22.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.31/22.85	c Subs w/ non-existent bins:      0 time:  0.06 s
90.71/22.93	c bin-w-bin subsume rem            0 bins  time:  0.03 s
90.71/22.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
90.71/22.95	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
102.31/25.85	c lits-rem:         8  cl-subs:      535  v-elim:    323  v-fix:    0  time: 11.62 s
102.31/25.85	c learnt bin added due to v-elim: 0
102.31/25.86	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
102.31/25.88	c vivif2 --  cl tried    18864 cl shrink        0 lits rem          0 time: 0.06
103.09/26.07	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.77
103.09/26.08	c calculated reachability. Time: 0.00
103.09/26.08	c  N dy   302     46259     19337     83128         0     18864    253067   1216249    172.75    117.18  --
109.49/27.61	c  N dy   331     50361     19337     83128         0     22965    253067   1944285    188.53    117.44  --
115.08/29.03	c  N dy   359     54403     19337     83128         0     27007    253067   2656935    169.41    117.55  --
120.66/30.48	c  N dy   388     58492     19337     83128         0     31096    253067   3350087    173.06    117.36  --
127.06/32.08	c  N dy   416     62521     19337     83128         0     35125    253067   4079310    180.08    117.67  --
133.84/33.72	c  N dy   444     66531     19337     83128         0     20385    253067    870695    167.36    117.54  --
138.63/34.93	c  S st   464     69388     19337     83128         0     23242    253067   1367467    168.49    117.48  --
139.43/35.13	c  S st   464     69890     19337     83128         0     23744    253067   1430653    168.49    117.48  --
139.43/35.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
139.43/35.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.23/35.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.81
140.23/35.35	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
140.23/35.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.23/35.37	c Subs w/ non-existent bins:      0 time:  0.08 s
140.64/35.47	c bin-w-bin subsume rem            0 bins  time:  0.03 s
140.64/35.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
140.64/35.49	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
152.62/38.40	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
159.43/40.12	c Added 0 vars  tried: 80000 time: 6.87
159.43/40.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:    6.88
159.43/40.17	c lits-rem:         4  cl-subs:      852  v-elim:    323  v-fix:    0  time: 18.67 s
159.43/40.17	c learnt bin added due to v-elim: 0
159.43/40.18	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
159.43/40.19	c vivif2 --  cl tried    22892 cl shrink        0 lits rem          0 time: 0.07
160.61/40.40	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 0.84
160.61/40.41	c calculated reachability. Time: 0.00
160.61/40.41	c  N dy   464     69890     19337     83128         0     22892    253067   1382677    168.49    117.48  --
160.61/40.41	c  F st   464     69890     19337     83128         0     22892    253067   1382677    168.49    117.48  --
163.82/41.21	c Decided on dynamic restart strategy
167.40/42.19	c  N dy   487     74387     19337     83128         0     27388    253067   2256522    180.69    117.98  --
175.38/44.15	c  N dy   521     79236     19337     83128         0     32237    253067   3123225    180.89    118.04  --
182.98/46.06	c  N dy   556     84306     19337     83128         0     37306    253067   4039264    173.01    118.20  --
191.77/48.24	c  N dy   594     89741     19337     83128         0     21868    253067    728817    158.34    118.31  --
200.56/50.48	c  N dy   634     95481     19337     83128         0     27605    253067   1744176    189.79    118.37  --
210.94/53.03	c  N dy   677    101655     19337     83128         0     33776    253067   2843886    196.80    118.50  --
217.72/54.71	c  S st   700    104836     19337     83128         0     36957    253067   3404329    150.60    118.50  --
218.52/54.93	c  S st   700    105338     19337     83128         0     37459    253067   3461712    150.60    118.50  --
218.52/54.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
218.52/54.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
219.72/55.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.28
219.72/55.27	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
219.72/55.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.12/55.31	c Subs w/ non-existent bins:      0 time:  0.14 s
220.94/55.51	c bin-w-bin subsume rem            0 bins  time:  0.03 s
220.94/55.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
220.94/55.52	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
258.47/64.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
258.87/65.03	c lits-rem:         0  cl-subs:     1399  v-elim:    323  v-fix:    0  time: 37.97 s
258.87/65.03	c learnt bin added due to v-elim: 0
258.87/65.04	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.03
258.87/65.08	c vivif2 --  cl tried    36060 cl shrink        0 lits rem          0 time: 0.16
260.49/65.42	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 1.36
260.49/65.43	c calculated reachability. Time: 0.00
260.49/65.43	c  N dy   700    105338     19337     83128         0     36060    253067   3324608    150.60    118.50  --
270.46/67.97	c  N dy   747    112131     19337     83128         0     42850    253067   4528870    179.77    118.53  --
281.25/70.64	c  N dy   798    119379     19337     83128         0     27667    253067   1459434    171.69    118.57  --
292.83/73.51	c  N dy   852    127127     19337     83128         0     35415    253067   2851548    171.49    118.75  --
305.60/76.79	c  N dy   910    135379     19337     83128         0     43667    253067   4298827    171.32    118.78  --
318.79/80.10	c  N dy   971    144074     19337     83128         0     28646    253067   1357241    177.81    118.63  --
333.17/83.66	c  N dy  1035    153286     19337     83128         0     37857    253067   2981346    183.90    118.67  --
341.95/85.84	c  S st  1069    158009     19337     83128         0     42580    253067   3836985    177.79    118.80  --
342.75/86.07	c  S st  1069    158509     19337     83128         0     43080    253067   3893031    177.79    118.80  --
342.75/86.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
342.75/86.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
344.38/86.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.44
344.38/86.45	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
344.38/86.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
344.38/86.49	c Subs w/ non-existent bins:      0 time:  0.15 s
345.55/86.72	c bin-w-bin subsume rem            0 bins  time:  0.03 s
345.55/86.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
345.55/86.74	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
446.22/111.91	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
446.22/111.99	c lits-rem:         0  cl-subs:     1772  v-elim:    323  v-fix:    0  time: 100.85 s
446.22/111.99	c learnt bin added due to v-elim: 0
446.22/111.99	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.03
446.62/112.04	c vivif2 --  cl tried    41308 cl shrink        0 lits rem          0 time: 0.18
448.22/112.42	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 1.54
448.22/112.43	c calculated reachability. Time: 0.00
448.22/112.43	c  N dy  1069    158509     19337     83128         0     41308    253067   3737885    177.79    118.80  --
465.79/116.89	c  N dy  1140    168656     19337     83128         0     26597    253067    771789    159.46    118.55  --
482.17/120.98	c  N dy  1216    179471     19337     83128         0     37408    253067   2652456    181.25    118.44  --
501.74/125.89	c  N dy  1297    190991     19337     83128         0     48925    253067   4656622    177.02    118.39  --
521.31/130.76	c  N dy  1383    203220     19337     83128         0     35228    253067   2135752    191.22    118.36  --
543.68/136.32	c  N dy  1474    216224     19337     83128         0     48230    253067   4379858    174.06    118.24  --
566.85/142.13	c  N dy  1570    230068     19337     83128         0     35113    253067   1886146    170.48    118.36  --
580.83/145.64	c  S st  1625    237763     19337     83128         0     42807    253067   3187046    165.72    118.27  --
581.65/145.86	c  S st  1625    238263     19337     83128         0     43307    253067   3254362    165.72    118.27  --
581.65/145.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
581.65/145.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
583.24/146.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  1.40
583.24/146.24	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
583.24/146.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
583.24/146.27	c Subs w/ non-existent bins:      0 time:  0.13 s
584.04/146.45	c bin-w-bin subsume rem            0 bins  time:  0.03 s
584.04/146.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
584.04/146.47	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
623.17/156.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:    0.01
623.57/156.31	c lits-rem:        17  cl-subs:     2037  v-elim:    323  v-fix:    0  time: 39.30 s
623.57/156.31	c learnt bin added due to v-elim: 0
623.57/156.32	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
623.57/156.36	c vivif2 --  cl tried    41270 cl shrink        0 lits rem          0 time: 0.16
624.77/156.70	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 1.36
625.19/156.71	c calculated reachability. Time: 0.00
625.19/156.71	c  N dy  1625    238263     19337     83128         0     41270    253067   3128033    165.72    118.27  --
649.54/162.88	c  N dy  1732    253505     19337     83128         0     28530    253067    545525    179.52    118.25  --
673.92/168.99	c  N dy  1845    269728     19337     83128         0     44752    253067   3362262    169.24    118.18  --
702.27/176.06	c  N dy  1965    286958     19337     83128         0     32992    253067   1133241    188.17    118.21  --
732.23/183.51	c  N dy  2094    305342     19337     83128         0     51376    253067   4340133    182.76    118.13  --
764.58/191.66	c  N dy  2231    324951     19337     83128         0     40988    253067   2383576    185.42    118.19  --
799.34/200.35	c  N dy  2371    345051     19337     83128         0     61084    253067   6045193    176.17    118.39  --
820.11/205.59	c  S st  2458    357394     19337     83128         0     42431    253067   2444148    170.81    118.41  --
821.31/205.82	c  S st  2458    357895     19337     83128         0     42932    253067   2511835    170.81    118.41  --
821.31/205.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
821.31/205.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
822.51/206.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.5M T:  1.38
822.51/206.19	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
822.51/206.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
822.92/206.22	c Subs w/ non-existent bins:      0 time:  0.10 s
823.32/206.36	c bin-w-bin subsume rem            0 bins  time:  0.03 s
823.32/206.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
823.32/206.38	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
849.29/212.85	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.86/215.27	c Added 0 vars  tried: 80000 time: 9.65
858.86/215.27	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    9.65
859.26/215.33	c lits-rem:         0  cl-subs:     2292  v-elim:    323  v-fix:    0  time: 35.76 s
859.26/215.33	c learnt bin added due to v-elim: 0
859.26/215.34	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.04
859.26/215.37	c vivif2 --  cl tried    40640 cl shrink        0 lits rem          0 time: 0.12
860.46/215.67	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 1.20
860.46/215.68	c calculated reachability. Time: 0.00
860.46/215.68	c  N dy  2458    357895     19337     83128         0     40640    253067   2402728    170.81    118.41  --
896.40/224.69	c  N dy  2599    378039     19337     83128         0     60783    253067   5972314    178.79    118.52  --
931.55/233.44	c  N dy  2739    398091     19337     83128         0     48839    253067   3392652    168.75    118.54  --
968.70/242.75	c  N dy  2879    418113     19337     83128         0     35864    253067    949395    168.94    118.60  --
1004.66/251.73	c  N dy  3019    438212     19337     83128         0     55959    253067   4507722    186.49    118.60  --
1042.21/261.11	c  N dy  3160    458342     19337     83128         0     42091    253067   1898683    181.60    118.73  --
1078.17/270.12	c  N dy  3300    478359     19337     83128         0     62105    253067   5503349    182.16    118.84  --
1112.93/278.86	c  N dy  3441    498433     19337     83128         0     47178    253067   2561708    190.03    118.84  --
1147.26/287.45	c  N dy  3581    518438     19337     83128         0     67176    253067   6123472    178.14    118.87  --
1179.23/295.42	c  S st  3710    536842     19337     83128         0     49588    253067   2790479    173.17    118.81  --
1180.01/295.66	c  S st  3710    537344     19337     83128         0     50090    253067   2862224    173.17    118.81  --
1180.01/295.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1180.01/295.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1181.61/296.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.8M T:  1.66
1182.01/296.10	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
1182.01/296.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1182.01/296.13	c Subs w/ non-existent bins:      0 time:  0.12 s
1182.41/296.29	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1182.41/296.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1182.81/296.30	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
1218.38/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.01
1218.38/305.27	c lits-rem:         2  cl-subs:     2751  v-elim:    323  v-fix:    0  time: 35.82 s
1218.38/305.27	c learnt bin added due to v-elim: 0
1218.38/305.28	c vivif2 --  cl tried    83128 cl shrink        0 lits rem          0 time: 0.03
1218.78/305.32	c vivif2 --  cl tried    47339 cl shrink        0 lits rem          0 time: 0.14
1219.96/305.65	c asymm  cl-useful: 0/83128/83128 lits-rem:0 time: 1.35
1219.96/305.66	c calculated reachability. Time: 0.00
1219.96/305.66	c  N dy  3710    537344     19337     83128         0     47339    253067   2744969    173.17    118.81  --
1219.96/305.66	c  F st  3710    537344     19337     83128         0     47339    253067   2744969    173.17    118.81  --
1223.55/306.52	c Decided on dynamic restart strategy
1257.11/314.98	c  N dy  3843    557474     19337     83128         0     67466    253067   6385981    191.53    118.95  --
1293.85/324.11	c  N dy  3984    577592     19337     83128         0     50586    253067   2813535    178.41    118.97  --
1331.41/333.58	c  N dy  4124    597651     19337     83128         0     70642    253067   6381344    186.33    119.01  --
1368.18/342.72	c  N dy  4263    617680     19337     83128         0     52674    253067   3081957    167.32    119.09  --
1406.50/352.36	c  N dy  4403    637724     19337     83128         0     72713    253067   6658079    157.14    119.11  --
1444.46/361.83	c  N dy  4543    657806     19337     83128         0     53800    253067   3064801    193.80    119.11  --
1484.40/371.80	c  N dy  4683    677834     19337     83128         0     73826    253067   6570253    165.41    119.09  --
1522.35/381.34	c  N dy  4823    697949     19337     83128         0     53946    253067   2826567    168.96    119.10  --
1561.52/391.19	c  N dy  4963    717955     19337     83128         0     73950    253067   6352675    170.19    119.11  --
1601.06/401.02	c  N dy  5103    737959     19337     83128         0     52955    253067   2524550    176.40    119.09  --
1638.99/410.53	c  N dy  5243    757979     19337     83128         0     72974    253067   6046137    176.15    119.07  --
1674.94/419.52	c  N dy  5384    778078     19337     83128         0     51076    253067   2086902    186.81    119.11  --
1710.91/428.54	c  N dy  5525    798184     19337     83128         0     71179    253067   5686848    172.02    119.16  --
1728.49/432.92	c  S st  5581    806017     19337     83128         0     79012    253067   7074377    178.35    119.16  --
1729.67/433.24	c  S st  5581    806520     19337     83128         0     79515    253067   7139756    178.35    119.16  --
1729.67/433.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1729.67/433.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1732.89/434.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  3.16
1732.89/434.06	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
1732.89/434.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1733.26/434.13	c Subs w/ non-existent bins:      0 time:  0.26 s
1734.86/434.52	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1734.86/434.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1734.86/434.53	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
2214.21/554.59	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
2242.18/561.58	c Added 1 vars  tried: 80000 time: 27.89
2242.18/561.58	c ORs :      1 avg-s:  0.0 cl-sh:   101 l-rem:    101 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   27.90
2242.97/561.71	c lits-rem:         0  cl-subs:     4457  v-elim:    323  v-fix:    0  time: 507.95 s
2242.97/561.71	c learnt bin added due to v-elim: 0
2242.97/561.72	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.03
2243.37/561.80	c vivif2 --  cl tried    75058 cl shrink        0 lits rem          0 time: 0.33
2244.96/562.26	c asymm  cl-useful: 0/64590/83129 lits-rem:0 time: 1.84
2244.96/562.27	c calculated reachability. Time: 0.00
2244.96/562.27	c  N dy  5581    806520     19338     83129         2     75058    253074   6799695    178.35    119.16  --
2282.51/571.63	c  N dy  5722    826672     19338     83129         2     52213    253074   2113823    183.88    119.21  --
2318.86/580.77	c  N dy  5862    846688     19338     83129         2     72227    253074   5622158    168.87    119.19  --
2358.80/590.75	c  N dy  6003    866777     19338     83129         2     48319    253074   1237758    182.48    119.16  --
2395.57/599.93	c  N dy  6145    886911     19338     83129         2     68451    253074   4756179    174.87    119.14  --
2437.10/610.39	c  N dy  6285    906966     19338     83129         2     88503    253074   8315076    188.44    119.15  --
2474.65/619.78	c  N dy  6425    927091     19338     83129         2     63629    253074   3717229    185.55    119.13  --
2516.59/630.20	c  N dy  6566    947233     19338     83129         2     83768    253074   7326733    189.13    119.16  --
2557.34/640.44	c  N dy  6706    967312     19338     83129         2     57852    253074   2560333    177.05    119.16  --
2597.69/650.53	c  N dy  6846    987317     19338     83129         2     77853    253074   6111589    183.71    119.15  --
2641.63/661.51	c  N dy  6986   1007381     19338     83129         2     50922    253074   1173199    190.98    119.18  --
2679.97/671.16	c  N dy  7126   1027465     19338     83129         2     71004    253074   4766815    181.25    119.22  --
2724.31/682.25	c  N dy  7266   1047589     19338     83129         2     91123    253074   8404423    171.00    119.26  --
2764.65/692.33	c  N dy  7406   1067689     19338     83129         2     63228    253074   3220118    173.73    119.29  --
2806.60/702.83	c  N dy  7545   1087750     19338     83129         2     83285    253074   6818669    184.71    119.31  --
2850.54/713.90	c  N dy  7685   1107767     19338     83129         2     54308    253074   1406208    177.84    119.31  --
2888.51/723.32	c  N dy  7825   1127871     19338     83129         2     74408    253074   5028611    180.61    119.34  --
2930.43/733.85	c  N dy  7965   1147873     19338     83129         2     94407    253074   8612183    170.12    119.36  --
2969.17/743.59	c  N dy  8104   1167911     19338     83129         2     64450    253074   3147107    184.46    119.42  --
3009.52/753.65	c  N dy  8244   1188053     19338     83129         2     84589    253074   6681998    177.43    119.42  --
3051.86/764.24	c  N dy  8385   1208192     19338     83129         2     53731    253074    974257    183.76    119.41  --
3055.07/765.03	c  S st  8397   1209783     19338     83129         2     55322    253074   1253474    170.13    119.41  --
3055.85/765.26	c  S st  8397   1210289     19338     83129         2     55828    253074   1315362    170.13    119.41  --
3055.85/765.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3055.85/765.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3057.85/765.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.02
3057.85/765.79	c Calc non-exist non-lernt bins v-fix:     0 done:  19338 time:  0.04 s
3057.85/765.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3058.25/765.81	c Subs w/ non-existent bins:      0 time:  0.08 s
3058.65/765.90	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3058.65/765.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3058.65/765.91	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
3071.04/769.01	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
3075.43/770.17	c Added 0 vars  tried: 80000 time: 4.63
3075.43/770.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
3075.83/770.22	c lits-rem:         1  cl-subs:     3404  v-elim:    324  v-fix:    0  time: 17.21 s
3075.83/770.22	c learnt bin added due to v-elim: 0
3075.83/770.23	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
3075.83/770.25	c vivif2 --  cl tried    52424 cl shrink        0 lits rem          0 time: 0.08
3076.23/770.32	c asymm  cl-useful: 0/18539/83129 lits-rem:0 time: 0.30
3076.23/770.33	c calculated reachability. Time: 0.00
3076.23/770.33	c  N dy  8397   1210289     19338     83129         2     52424    253074   1244775    170.13    119.41  --
3114.58/779.98	c  N dy  8537   1230420     19338     83129         2     72554    253074   4869781    182.55    119.42  --
3157.33/790.69	c  N dy  8677   1250479     19338     83129         2     92607    253074   8435385    159.41    119.43  --
3200.48/801.46	c  N dy  8818   1270592     19338     83129         2     60726    253074   2041787    175.21    119.40  --
3241.21/811.62	c  N dy  8959   1290730     19338     83129         2     80862    253074   5690381    188.85    119.44  --
3286.74/823.02	c  N dy  9099   1310862     19338     83129         2    100990    253074   9334557    189.13    119.48  --
3328.29/833.44	c  N dy  9240   1330993     19338     83129         2     68127    253074   3185986    180.49    119.49  --
3371.44/844.29	c  N dy  9380   1351133     19338     83129         2     88259    253074   6803994    174.99    119.51  --
3419.78/856.37	c  N dy  9521   1371181     19338     83129         2     54316    253074    551404    166.38    119.51  --
3460.90/866.60	c  N dy  9661   1391207     19338     83129         2     74340    253074   4099870    177.81    119.51  --
3505.25/877.71	c  N dy  9801   1411299     19338     83129         2     94429    253074   7702388    174.30    119.54  --
3552.78/889.63	c  N dy  9940   1431325     19338     83129         2     59459    253074   1290741    177.78    119.54  --
3593.12/899.79	c  N dy 10080   1451333     19338     83129         2     79467    253074   4828682    173.55    119.54  --
3639.06/911.29	c  N dy 10219   1471346     19338     83129         2     99478    253074   8456711    186.36    119.57  --
3683.82/922.45	c  N dy 10359   1491488     19338     83129         2     63624    253074   1868985    165.80    119.57  --
3722.55/932.19	c  N dy 10500   1511580     19338     83129         2     83716    253074   5415681    174.99    119.56  --
3763.69/942.45	c  N dy 10640   1531657     19338     83129         2    103790    253074   9013513    165.98    119.58  --
3805.23/952.82	c  N dy 10781   1551721     19338     83129         2     66858    253074   2187561    170.44    119.55  --
3844.78/962.71	c  N dy 10921   1571771     19338     83129         2     86907    253074   5792399    181.77    119.57  --
3890.34/974.12	c  N dy 11062   1591907     19338     83129         2    107041    253074   9289870    170.44    119.55  --
3933.88/985.02	c  N dy 11203   1612003     19338     83129         2     69141    253074   2462471    168.12    119.54  --
3976.20/995.67	c  N dy 11344   1632151     19338     83129         2     89286    253074   6037507    187.55    119.53  --
4022.94/1007.37	c  N dy 11484   1652282     19338     83129         2    109415    253074   9618161    169.74    119.54  --
4067.68/1018.53	c  N dy 11623   1672292     19338     83129         2     70428    253074   2551054    178.81    119.54  --
4111.61/1029.57	c  N dy 11764   1692441     19338     83129         2     90574    253074   6173661    166.66    119.56  --
4156.36/1040.73	c  S st 11889   1710290     19338     83129         2    108423    253074   9427253    180.02    119.59  --
4157.97/1041.14	c  S st 11889   1710793     19338     83129         2    108926    253074   9503730    180.02    119.59  --
4157.97/1041.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4157.97/1041.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4163.54/1042.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 15.0M T:  5.35
4163.54/1042.52	c Calc non-exist non-lernt bins v-fix:     0 done:  19338 time:  0.05 s
4163.54/1042.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4163.94/1042.61	c Subs w/ non-existent bins:      0 time:  0.34 s
4165.95/1043.17	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4165.95/1043.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4165.95/1043.19	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-3172522-1304057656/watcher-3172522-1304057656 -o /tmp/evaluation-result-3172522-1304057656/solver-3172522-1304057656 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172522-1304057656.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.83 8.08 8.04 2/175 22280
/proc/meminfo: memFree=13853392/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=24212 CPUtime=0 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 1336 0 0 0 0 0 0 0 25 0 1 0 517366529 24793088 1276 33554432000 4194304 4797429 140736291364256 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22280/statm: 6053 1278 341 148 0 982 0

[startup+0.018134 s]
/proc/loadavg: 7.83 8.08 8.04 2/175 22280
/proc/meminfo: memFree=13853392/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=35724 CPUtime=0.01 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 4355 0 0 0 1 0 0 0 25 0 1 0 517366529 36581376 3693 33554432000 4194304 4797429 140736291364256 18446744073709551615 4417146 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22280/statm: 8931 3706 342 148 0 3860 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 35724

[startup+0.101147 s]
/proc/loadavg: 7.83 8.08 8.04 2/175 22280
/proc/meminfo: memFree=13853392/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=92568 CPUtime=0.09 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 13195 0 0 0 7 2 0 0 25 0 1 0 517366529 94789632 9846 33554432000 4194304 4797429 140736291364256 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22280/statm: 23142 9846 348 148 0 18071 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92568

[startup+0.301055 s]
/proc/loadavg: 7.83 8.08 8.04 2/175 22280
/proc/meminfo: memFree=13853392/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=199896 CPUtime=0.46 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 17252 0 0 0 44 2 0 0 25 0 4 0 517366529 204693504 13674 33554432000 4194304 4797429 140736291364256 18446744073709551615 4413082 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 49974 13674 373 148 0 44903 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 199896

[startup+1.35884 s]
/proc/loadavg: 7.83 8.08 8.04 2/175 22280
/proc/meminfo: memFree=13853392/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=744320 CPUtime=4.67 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 30178 0 0 0 461 6 0 0 25 0 4 0 517366529 762183680 24544 33554432000 4194304 4797429 140736291364256 18446744073709551615 4425649 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 186080 24544 412 148 0 181009 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 744320

[startup+1.50082 s]
/proc/loadavg: 7.83 8.08 8.04 2/175 22280
/proc/meminfo: memFree=13853392/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=744320 CPUtime=5.23 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 30509 0 0 0 517 6 0 0 25 0 4 0 517366529 762183680 24871 33554432000 4194304 4797429 140736291364256 18446744073709551615 4424364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 186080 24871 412 148 0 181009 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 744320

[startup+3.1005 s]
/proc/loadavg: 7.83 8.08 8.04 9/184 22314
/proc/meminfo: memFree=13578740/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=748960 CPUtime=11.63 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 35048 0 0 0 1155 8 0 0 25 0 4 0 517366529 766935040 29391 33554432000 4194304 4797429 140736291364256 18446744073709551615 4424432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 187240 29391 413 148 0 182169 0
[pid=22280/tid=22282] ppid=22278 vsize=748960 CPUtime=2.85 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 4621 0 0 0 284 1 0 0 23 0 4 0 517366553 766935040 29391 33554432000 4194304 4797429 140736291364256 18446744073709551615 4389568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=748960 CPUtime=2.83 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 4780 0 0 0 282 1 0 0 23 0 4 0 517366553 766935040 29391 33554432000 4194304 4797429 140736291364256 18446744073709551615 4377472 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=748960 CPUtime=2.83 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 4516 0 0 0 282 1 0 0 23 0 4 0 517366553 766935040 29391 33554432000 4194304 4797429 140736291364256 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.63
Current children cumulated vsize (KiB) 748960

[startup+6.30093 s]
/proc/loadavg: 7.84 8.08 8.04 9/184 22314
/proc/meminfo: memFree=13494184/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=753964 CPUtime=24.4 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 46463 0 0 0 2427 13 0 0 25 0 4 0 517366529 772059136 40789 33554432000 4194304 4797429 140736291364256 18446744073709551615 4387498 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 188491 40789 416 148 0 183420 0
[pid=22280/tid=22282] ppid=22278 vsize=753964 CPUtime=6.04 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 8108 0 0 0 602 2 0 0 21 0 4 0 517366553 772059136 40789 33554432000 4194304 4797429 140736291364256 18446744073709551615 4567894 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=753964 CPUtime=6.03 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 7692 0 0 0 600 3 0 0 25 0 4 0 517366553 772059136 40789 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=753964 CPUtime=6.01 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 7493 0 0 0 598 3 0 0 25 0 4 0 517366553 772059136 40789 33554432000 4194304 4797429 140736291364256 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.4
Current children cumulated vsize (KiB) 753964

[startup+12.7068 s]
/proc/loadavg: 7.94 8.09 8.05 9/184 22315
/proc/meminfo: memFree=13412516/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=770580 CPUtime=49.99 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 54546 0 0 0 4984 15 0 0 25 0 4 0 517366529 789073920 44963 33554432000 4194304 4797429 140736291364256 18446744073709551615 4567816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 192645 44963 417 148 0 187574 0
[pid=22280/tid=22282] ppid=22278 vsize=770580 CPUtime=12.45 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 8532 0 0 0 1243 2 0 0 25 0 4 0 517366553 789073920 44963 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=770580 CPUtime=12.43 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 8121 0 0 0 1240 3 0 0 25 0 4 0 517366553 789073920 44963 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=770580 CPUtime=12.38 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 7713 0 0 0 1235 3 0 0 25 0 4 0 517366553 789073920 44963 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (KiB) 770580

[startup+25.5005 s]
/proc/loadavg: 7.95 8.09 8.05 9/184 22315
/proc/meminfo: memFree=13381848/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=776304 CPUtime=101.09 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 61997 0 0 0 10092 17 0 0 25 0 4 0 517366529 794935296 47650 33554432000 4194304 4797429 140736291364256 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 194076 47650 419 148 0 189005 0
[pid=22280/tid=22282] ppid=22278 vsize=776304 CPUtime=25.25 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 9642 0 0 0 2522 3 0 0 25 0 4 0 517366553 794935296 47650 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=776304 CPUtime=25.23 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 8902 0 0 0 2520 3 0 0 25 0 4 0 517366553 794935296 47650 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=776304 CPUtime=25.11 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 8559 0 0 0 2508 3 0 0 25 0 4 0 517366553 794935296 47650 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 776304

[startup+51.101 s]
/proc/loadavg: 7.97 8.08 8.04 9/184 22316
/proc/meminfo: memFree=13330696/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=787752 CPUtime=203.37 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 79884 0 0 0 20313 24 0 0 25 0 4 0 517366529 806658048 54487 33554432000 4194304 4797429 140736291364256 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 196938 54487 420 148 0 191867 0
[pid=22280/tid=22282] ppid=22278 vsize=787752 CPUtime=50.85 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 11545 0 0 0 5082 3 0 0 25 0 4 0 517366553 806658048 54487 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=787752 CPUtime=50.84 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 10895 0 0 0 5080 4 0 0 25 0 4 0 517366553 806658048 54487 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=787752 CPUtime=50.56 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 9620 0 0 0 5052 4 0 0 25 0 4 0 517366553 806658048 54488 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.37
Current children cumulated vsize (KiB) 787752

[startup+102.301 s]
/proc/loadavg: 8.03 8.08 8.04 9/184 22317
/proc/meminfo: memFree=13270376/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=811668 CPUtime=407.87 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 107334 0 0 0 40753 34 0 0 25 0 4 0 517366529 831148032 59877 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 202917 59877 420 148 0 197846 0
[pid=22280/tid=22282] ppid=22278 vsize=811668 CPUtime=102.05 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 15081 0 0 0 10200 5 0 0 25 0 4 0 517366553 831148032 59877 33554432000 4194304 4797429 140736291364256 18446744073709551615 4415778 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=811668 CPUtime=102.03 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 14653 0 0 0 10198 5 0 0 25 0 4 0 517366553 831148032 59877 33554432000 4194304 4797429 140736291364256 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=811668 CPUtime=101.48 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 13412 0 0 0 10143 5 0 0 25 0 4 0 517366553 831148032 59877 33554432000 4194304 4797429 140736291364256 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.87
Current children cumulated vsize (KiB) 811668

[startup+162.306 s]
/proc/loadavg: 8.05 8.08 8.04 9/184 22319
/proc/meminfo: memFree=13263044/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=823964 CPUtime=647.57 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 140261 0 0 0 64711 46 0 0 25 0 4 0 517366529 843739136 64096 33554432000 4194304 4797429 140736291364256 18446744073709551615 4424779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 205991 64096 420 148 0 200920 0
[pid=22280/tid=22282] ppid=22278 vsize=823964 CPUtime=162.05 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 19324 0 0 0 16199 6 0 0 25 0 4 0 517366553 843739136 64096 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=823964 CPUtime=162.04 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 17976 0 0 0 16198 6 0 0 25 0 4 0 517366553 843739136 64096 33554432000 4194304 4797429 140736291364256 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=823964 CPUtime=161.15 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 17936 0 0 0 16109 6 0 0 25 0 4 0 517366553 843739136 64096 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568135 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.57
Current children cumulated vsize (KiB) 823964

[startup+222.301 s]
/proc/loadavg: 8.05 8.08 8.04 9/184 22320
/proc/meminfo: memFree=13190124/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=832160 CPUtime=887.22 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 173698 0 0 0 88662 60 0 0 25 0 4 0 517366529 852131840 71506 33554432000 4194304 4797429 140736291364256 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 208040 71506 420 148 0 202969 0
[pid=22280/tid=22282] ppid=22278 vsize=832160 CPUtime=222.05 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 21376 0 0 0 22198 7 0 0 25 0 4 0 517366553 852131840 71506 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=832160 CPUtime=222.04 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 20263 0 0 0 22197 7 0 0 25 0 4 0 517366553 852131840 71506 33554432000 4194304 4797429 140736291364256 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=832160 CPUtime=220.81 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 20119 0 0 0 22075 6 0 0 25 0 4 0 517366553 852131840 71506 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.22
Current children cumulated vsize (KiB) 832160

[startup+282.301 s]
/proc/loadavg: 8.02 8.06 8.04 9/184 22322
/proc/meminfo: memFree=13183160/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=838504 CPUtime=1126.89 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 211590 0 0 0 112614 75 0 0 25 0 4 0 517366529 858628096 69009 33554432000 4194304 4797429 140736291364256 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 209626 69009 420 148 0 204555 0
[pid=22280/tid=22282] ppid=22278 vsize=838504 CPUtime=282.05 cores=0,2,4,6

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

[pid=22280] ppid=22278 vsize=883556 CPUtime=2804.62 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 373822 0 0 0 280309 153 0 0 25 0 4 0 517366529 904761344 92536 33554432000 4194304 4797429 140736291364256 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 220889 92536 420 148 0 215818 0
[pid=22280/tid=22282] ppid=22278 vsize=883556 CPUtime=702.07 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 37881 0 0 0 70191 16 0 0 25 0 4 0 517366553 904761344 92536 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=883556 CPUtime=702.03 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 35411 0 0 0 70189 14 0 0 25 0 4 0 517366553 904761344 92536 33554432000 4194304 4797429 140736291364256 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=883556 CPUtime=698.2 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 37579 0 0 0 69809 11 0 0 25 0 4 0 517366553 904761344 92536 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.62
Current children cumulated vsize (KiB) 883556

[startup+762.301 s]
/proc/loadavg: 8.09 8.08 8.04 9/184 22335
/proc/meminfo: memFree=12991892/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=891192 CPUtime=3044.27 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 405473 0 0 0 304259 168 0 0 25 0 4 0 517366529 912580608 91337 33554432000 4194304 4797429 140736291364256 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 222798 91337 420 148 0 217727 0
[pid=22280/tid=22282] ppid=22278 vsize=891192 CPUtime=762.06 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 41376 0 0 0 76189 17 0 0 25 0 4 0 517366553 912580608 91337 33554432000 4194304 4797429 140736291364256 18446744073709551615 4523765 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=891192 CPUtime=762.01 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 37321 0 0 0 76187 14 0 0 25 0 4 0 517366553 912580608 91337 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=891192 CPUtime=757.88 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 40468 0 0 0 75775 13 0 0 25 0 4 0 517366553 912580608 91337 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.27
Current children cumulated vsize (KiB) 891192

[startup+822.307 s]
/proc/loadavg: 8.09 8.08 8.04 9/184 22336
/proc/meminfo: memFree=13006264/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=895432 CPUtime=3283.97 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 430843 0 0 0 328217 180 0 0 25 0 4 0 517366529 916922368 95528 33554432000 4194304 4797429 140736291364256 18446744073709551615 270612807435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 223858 95528 420 148 0 218787 0
[pid=22280/tid=22282] ppid=22278 vsize=895432 CPUtime=822.07 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 42639 0 0 0 82189 18 0 0 25 0 4 0 517366553 916922368 95528 33554432000 4194304 4797429 140736291364256 18446744073709551615 4424644 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=895432 CPUtime=822.01 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 39644 0 0 0 82186 15 0 0 25 0 4 0 517366553 916922368 95528 33554432000 4194304 4797429 140736291364256 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=895432 CPUtime=817.56 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 41598 0 0 0 81743 13 0 0 25 0 4 0 517366553 916922368 95528 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.97
Current children cumulated vsize (KiB) 895432

[startup+882.301 s]
/proc/loadavg: 8.20 8.11 8.05 9/184 22338
/proc/meminfo: memFree=12978976/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=895464 CPUtime=3523.63 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 454692 0 0 0 352169 194 0 0 25 0 4 0 517366529 916955136 97792 33554432000 4194304 4797429 140736291364256 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 223866 97792 420 148 0 218795 0
[pid=22280/tid=22282] ppid=22278 vsize=895464 CPUtime=882.06 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 43376 0 0 0 88188 18 0 0 25 0 4 0 517366553 916955136 97792 33554432000 4194304 4797429 140736291364256 18446744073709551615 4567880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=895464 CPUtime=882 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 40494 0 0 0 88184 16 0 0 25 0 4 0 517366553 916955136 97792 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=895464 CPUtime=877.23 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 42487 0 0 0 87710 13 0 0 25 0 4 0 517366553 916955136 97792 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.63
Current children cumulated vsize (KiB) 895464

[startup+942.3 s]
/proc/loadavg: 8.19 8.12 8.05 9/184 22339
/proc/meminfo: memFree=13007476/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=897328 CPUtime=3763.29 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 484453 0 0 0 376119 210 0 0 25 0 4 0 517366529 918863872 92034 33554432000 4194304 4797429 140736291364256 18446744073709551615 4424383 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 224332 92034 420 148 0 219261 0
[pid=22280/tid=22282] ppid=22278 vsize=897328 CPUtime=942.06 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 46458 0 0 0 94186 20 0 0 25 0 4 0 517366553 918863872 92034 33554432000 4194304 4797429 140736291364256 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=897328 CPUtime=941.87 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 42362 0 0 0 94170 17 0 0 25 0 4 0 517366553 918863872 92034 33554432000 4194304 4797429 140736291364256 18446744073709551615 4509125 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=897328 CPUtime=937.03 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 45129 0 0 0 93689 14 0 0 25 0 4 0 517366553 918863872 92034 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.29
Current children cumulated vsize (KiB) 897328

[startup+1002.3 s]
/proc/loadavg: 8.14 8.11 8.05 9/184 22341
/proc/meminfo: memFree=12989472/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=898900 CPUtime=4002.97 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 511915 0 0 0 400074 223 0 0 25 0 4 0 517366529 920473600 96513 33554432000 4194304 4797429 140736291364256 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 224725 96513 420 148 0 219654 0
[pid=22280/tid=22282] ppid=22278 vsize=898900 CPUtime=1002.06 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 48214 0 0 0 100185 21 0 0 25 0 4 0 517366553 920473600 96513 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568042 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=898900 CPUtime=1001.54 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 44561 0 0 0 100136 18 0 0 25 0 4 0 517366553 920473600 96513 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=898900 CPUtime=997.03 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 46476 0 0 0 99688 15 0 0 25 0 4 0 517366553 920473600 96513 33554432000 4194304 4797429 140736291364256 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.97
Current children cumulated vsize (KiB) 898900

[startup+1062.3 s]
/proc/loadavg: 8.15 8.12 8.06 9/184 22343
/proc/meminfo: memFree=12943204/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=909920 CPUtime=4242.64 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 530665 0 0 0 424033 231 0 0 25 0 4 0 517366529 931758080 103401 33554432000 4194304 4797429 140736291364256 18446744073709551615 4567894 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 227480 103401 420 148 0 222409 0
[pid=22280/tid=22282] ppid=22278 vsize=909920 CPUtime=1062.07 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 49247 0 0 0 106185 22 0 0 25 0 4 0 517366553 931758080 103401 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=909920 CPUtime=1061.21 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 45563 0 0 0 106103 18 0 0 25 0 4 0 517366553 931758080 103401 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=909920 CPUtime=1057.03 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 47247 0 0 0 105688 15 0 0 25 0 4 0 517366553 931758080 103401 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.64
Current children cumulated vsize (KiB) 909920

[startup+1122.3 s]
/proc/loadavg: 8.28 8.16 8.07 9/184 22344
/proc/meminfo: memFree=12944928/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=912788 CPUtime=4482.31 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 533122 0 0 0 447999 232 0 0 25 0 4 0 517366529 934694912 105298 33554432000 4194304 4797429 140736291364256 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 228197 105298 420 148 0 223126 0
[pid=22280/tid=22282] ppid=22278 vsize=912788 CPUtime=1122.07 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 50142 0 0 0 112185 22 0 0 25 0 4 0 517366553 934694912 105298 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=912788 CPUtime=1120.89 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 46406 0 0 0 112071 18 0 0 25 0 4 0 517366553 934694912 105298 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=912788 CPUtime=1117.02 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 47966 0 0 0 111687 15 0 0 25 0 4 0 517366553 934694912 105298 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.31
Current children cumulated vsize (KiB) 912788

[startup+1182.3 s]
/proc/loadavg: 8.20 8.15 8.08 9/184 22346
/proc/meminfo: memFree=12970460/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=930576 CPUtime=4721.98 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 542650 0 0 0 471963 235 0 0 25 0 4 0 517366529 952909824 101097 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 232644 101097 420 148 0 227573 0
[pid=22280/tid=22282] ppid=22278 vsize=930576 CPUtime=1182.07 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 53927 0 0 0 118184 23 0 0 25 0 4 0 517366553 952909824 101097 33554432000 4194304 4797429 140736291364256 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=930576 CPUtime=1180.56 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 48360 0 0 0 118037 19 0 0 25 0 4 0 517366553 952909824 101097 33554432000 4194304 4797429 140736291364256 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=930576 CPUtime=1177.02 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 51755 0 0 0 117686 16 0 0 25 0 4 0 517366553 952909824 101097 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.98
Current children cumulated vsize (KiB) 930576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.20 8.16 8.08 9/184 22346
/proc/meminfo: memFree=12933256/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=930576 CPUtime=4800.29 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 544630 0 0 0 479792 237 0 0 25 0 4 0 517366529 952909824 103024 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 232644 103024 420 148 0 227573 0
[pid=22280/tid=22282] ppid=22278 vsize=930576 CPUtime=1201.67 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 54504 0 0 0 120144 23 0 0 25 0 4 0 517366553 952909824 103024 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=930576 CPUtime=1200.06 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 49139 0 0 0 119985 21 0 0 25 0 4 0 517366553 952909824 103024 33554432000 4194304 4797429 140736291364256 18446744073709551615 4351414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=930576 CPUtime=1196.61 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 52379 0 0 0 119645 16 0 0 25 0 4 0 517366553 952909824 103024 33554432000 4194304 4797429 140736291364256 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 930576

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

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

[startup+1201.9 s]
/proc/loadavg: 8.20 8.16 8.08 9/184 22346
/proc/meminfo: memFree=12933256/32951124 swapFree=67111528/67111528
[pid=22280] ppid=22278 vsize=930576 CPUtime=4800.29 cores=0,2,4,6
/proc/22280/stat : 22280 (techdemo) R 22278 22280 19631 0 -1 4202496 544630 0 0 0 479792 237 0 0 25 0 4 0 517366529 952909824 103024 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22280/statm: 232644 103024 420 148 0 227573 0
[pid=22280/tid=22282] ppid=22278 vsize=930576 CPUtime=1201.67 cores=0,2,4,6
/proc/22280/task/22282/stat : 22282 (techdemo) R 22278 22280 19631 0 -1 4202560 54504 0 0 0 120144 23 0 0 25 0 4 0 517366553 952909824 103024 33554432000 4194304 4797429 140736291364256 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22280/tid=22283] ppid=22278 vsize=930576 CPUtime=1200.06 cores=0,2,4,6
/proc/22280/task/22283/stat : 22283 (techdemo) R 22278 22280 19631 0 -1 4202560 49139 0 0 0 119985 21 0 0 25 0 4 0 517366553 952909824 103024 33554432000 4194304 4797429 140736291364256 18446744073709551615 4351414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22280/tid=22284] ppid=22278 vsize=930576 CPUtime=1196.61 cores=0,2,4,6
/proc/22280/task/22284/stat : 22284 (techdemo) R 22278 22280 19631 0 -1 4202560 52379 0 0 0 119645 16 0 0 25 0 4 0 517366553 952909824 103024 33554432000 4194304 4797429 140736291364256 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 930576

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.34
CPU user time (s): 4797.95
CPU system time (s): 2.39264
CPU usage (%): 399.386
Max. virtual memory (cumulated for all children) (KiB): 1022564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.95
system time used= 2.39264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544632
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= 1533
involuntary context switches= 22576

runsolver used 1.9547 second user time and 4.5983 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-29 08:14:16
IDJOB=3172522
IDBENCH=82540
IDSOLVER=1584
FILE ID=node108/3172522-1304057656
RUNJOBID= node108-1304056452-22181
PBS_JOBID= 13170368
Free space on /tmp= 72108 MiB

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

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

MD5SUM BENCH= fdeac497d04edcceaf426c845c7872aa
RANDOM SEED=518204639

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13853672 kB
Buffers:       2296720 kB
Cached:       16153852 kB
SwapCached:          0 kB
Active:       10400100 kB
Inactive:      8115528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13853672 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9360 kB
Writeback:           0 kB
AnonPages:       64028 kB
Mapped:          15080 kB
Slab:           518548 kB
PageTables:       4292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   215844 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= 72100 MiB
End job on node108 at 2011-04-29 08:34:20