Trace number 3172500

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf
MD5SUM839440d6b1cc9d3b4faa8d33a4dd7359
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.1582
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-3172500-1304051484.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.18/0.23	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.18/0.23	c -- vars added      20000
0.18/0.23	c Parsing time:  0.22 s
0.18/0.24	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.18/0.30	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.24
0.50/0.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.22
0.50/0.37	c Calc non-exist non-lernt bins v-fix:     0 done:  20000 time:  0.03 s
0.50/0.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.50/0.38	c Subs w/ non-existent bins:      0 time:  0.01 s
0.86/0.45	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.86/0.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.86/0.46	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
1.52/0.69	c lits-rem:         0  cl-subs:        0  v-elim:   1249  v-fix:    0  time:  0.92 s
1.52/0.69	c learnt bin added due to v-elim: 0
1.52/0.70	c Finding binary XORs  T:     0.02 s  found:       0
1.52/0.75	c Finding non-binary XORs:     0.19 s (found:       0, avg size: nan)
1.52/0.75	c calculated reachability. Time: 0.00
1.52/0.76	c Calc default polars -  time:   0.02 s pos:    8896 undec:    2384 neg:    8720
1.52/0.76	c =========================================================================================
1.52/0.76	c types(t): F = full restart, N = normal restart
1.52/0.76	c types(t): S = simplification begin/end, E = solution found
1.52/0.76	c restart types(rt): st = static, dy = dynamic
1.52/0.76	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.52/0.76	c  B st     0         0     19272     83150         0         0    253638         0   no data   no data  --
4.38/1.36	c Decided on dynamic restart strategy
6.77/1.94	c  N dy    20      4096     19272     83150         0      4095    253638    767604    170.13    126.57  --
11.97/3.21	c  N dy    48      8107     19272     83150         0      8105    253638   1466223    172.77    121.84  --
16.76/4.45	c  N dy    77     12230     19272     83150         0     12227    253638   2173104    172.59    119.58  --
22.33/5.80	c  N dy   106     16356     19272     83150         0     16352    253638   2883935    174.12    118.68  --
27.93/7.28	c  N dy   134     20398     19272     83150         0     10396    253638    559308    195.05    119.63  --
33.52/8.67	c  N dy   162     24403     19272     83150         0     14401    253638   1272514    171.77    119.60  --
38.71/9.92	c  N dy   190     28406     19272     83150         0     18402    253638   1958743    182.46    118.87  --
41.51/10.65	c  S st   201     30001     19272     83150         0     19997    253638   2227329    158.56    118.81  --
42.31/10.82	c  S st   201     30503     19272     83150         0     20499    253638   2290135    158.56    118.81  --
42.31/10.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
42.31/10.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.11/11.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.91
43.11/11.06	c Calc non-exist non-lernt bins v-fix:     0 done:  19272 time:  0.04 s
43.11/11.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.11/11.09	c Subs w/ non-existent bins:      0 time:  0.09 s
43.91/11.28	c bin-w-bin subsume rem            0 bins  time:  0.03 s
43.91/11.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
43.91/11.29	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
65.08/16.57	c lits-rem:         3  cl-subs:     1345  v-elim:    307  v-fix:    0  time: 21.07 s
65.08/16.57	c learnt bin added due to v-elim: 0
65.08/16.58	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.03
65.48/16.61	c vivif2 --  cl tried    19154 cl shrink        0 lits rem          0 time: 0.10
66.28/16.84	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.96
66.28/16.85	c calculated reachability. Time: 0.00
66.28/16.85	c  N dy   201     30503     19272     83150         0     19154    253638   2181284    158.56    118.81  --
66.28/16.85	c  F st   201     30503     19272     83150         0     19154    253638   2181284    158.56    118.81  --
69.47/17.62	c Decided on dynamic restart strategy
72.27/18.34	c  N dy   221     34549     19272     83150         0     23197    253638   2936253    162.84    119.87  --
79.06/20.00	c  N dy   250     38674     19272     83150         0     27322    253638   3704586    175.52    120.47  --
85.05/21.57	c  N dy   279     42813     19272     83150         0     15965    253638    688814    178.34    119.91  --
89.45/22.62	c  S st   300     45755     19272     83150         0     18907    253638   1174681    165.11    119.51  --
90.24/22.80	c  S st   300     46259     19272     83150         0     19411    253638   1248364    165.11    119.51  --
90.24/22.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
90.24/22.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.64/22.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.71
91.04/23.00	c Calc non-exist non-lernt bins v-fix:     0 done:  19272 time:  0.04 s
91.04/23.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.04/23.01	c Subs w/ non-existent bins:      0 time:  0.06 s
91.04/23.10	c bin-w-bin subsume rem            0 bins  time:  0.02 s
91.44/23.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
91.44/23.11	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
103.02/26.07	c lits-rem:         2  cl-subs:      596  v-elim:    307  v-fix:    0  time: 11.83 s
103.02/26.07	c learnt bin added due to v-elim: 0
103.02/26.08	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
103.42/26.10	c vivif2 --  cl tried    18815 cl shrink        0 lits rem          0 time: 0.06
103.82/26.29	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.77
104.22/26.30	c calculated reachability. Time: 0.00
104.22/26.30	c  N dy   300     46259     19272     83150         0     18815    253638   1214490    165.11    119.51  --
110.22/27.83	c  N dy   328     50289     19272     83150         0     22845    253638   1937368    177.89    119.68  --
115.81/29.21	c  N dy   356     54328     19272     83150         0     26884    253638   2660941    166.63    119.73  --
121.40/30.69	c  N dy   384     58354     19272     83150         0     30909    253638   3426132    201.50    120.15  --
127.79/32.27	c  N dy   412     62370     19272     83150         0     34924    253638   4092584    149.87    119.66  --
134.58/33.98	c  N dy   441     66475     19272     83150         0     20281    253638    891490    188.77    120.02  --
139.78/35.20	c  S st   462     69388     19272     83150         0     23194    253638   1393479    171.53    119.78  --
140.58/35.40	c  S st   462     69893     19272     83150         0     23699    253638   1461746    171.53    119.78  --
140.58/35.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
140.58/35.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.39/35.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.78
141.39/35.62	c Calc non-exist non-lernt bins v-fix:     0 done:  19272 time:  0.04 s
141.39/35.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.39/35.64	c Subs w/ non-existent bins:      0 time:  0.07 s
141.80/35.74	c bin-w-bin subsume rem            0 bins  time:  0.03 s
141.80/35.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
141.80/35.75	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
153.75/38.72	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
160.94/40.50	c Added 0 vars  tried: 80000 time: 7.11
160.94/40.50	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.11
160.94/40.55	c lits-rem:         3  cl-subs:      825  v-elim:    307  v-fix:    0  time: 19.17 s
160.94/40.55	c learnt bin added due to v-elim: 0
160.94/40.56	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
160.94/40.58	c vivif2 --  cl tried    22874 cl shrink        0 lits rem          0 time: 0.08
161.74/40.79	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 0.86
162.14/40.80	c calculated reachability. Time: 0.00
162.14/40.80	c  N dy   462     69893     19272     83150         0     22874    253638   1408036    171.53    119.78  --
162.14/40.80	c  F st   462     69893     19272     83150         0     22874    253638   1408036    171.53    119.78  --
165.34/41.67	c Decided on dynamic restart strategy
169.34/42.62	c  N dy   485     74370     19272     83150         0     27348    253638   2278548    172.62    120.25  --
176.94/44.54	c  N dy   519     79178     19272     83150         0     32155    253638   3116677    170.86    120.13  --
184.52/46.44	c  N dy   555     84297     19272     83150         0     37273    253638   4038041    174.88    120.12  --
193.70/48.71	c  N dy   593     89713     19272     83150         0     21818    253638    748413    175.77    119.90  --
202.49/50.96	c  N dy   633     95464     19272     83150         0     27569    253638   1765570    193.75    119.86  --
212.47/53.46	c  N dy   676    101637     19272     83150         0     33742    253638   2841164    166.36    119.62  --
218.86/55.04	c  S st   699    104840     19272     83150         0     36945    253638   3383972    153.69    119.53  --
219.66/55.26	c  S st   699    105344     19272     83150         0     37449    253638   3450410    153.69    119.53  --
219.66/55.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
219.66/55.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.88/55.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.5M T:  1.26
221.26/55.60	c Calc non-exist non-lernt bins v-fix:     0 done:  19272 time:  0.04 s
221.26/55.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
221.26/55.63	c Subs w/ non-existent bins:      0 time:  0.13 s
222.06/55.85	c bin-w-bin subsume rem            0 bins  time:  0.03 s
222.06/55.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
222.06/55.86	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
259.61/65.28	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
260.03/65.36	c lits-rem:         9  cl-subs:     1434  v-elim:    307  v-fix:    0  time: 37.92 s
260.03/65.36	c learnt bin added due to v-elim: 0
260.03/65.36	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.03
260.43/65.40	c vivif2 --  cl tried    36015 cl shrink        0 lits rem          0 time: 0.16
261.61/65.74	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 1.36
261.61/65.75	c calculated reachability. Time: 0.00
261.61/65.75	c  N dy   699    105344     19272     83150         0     36015    253638   3324680    153.69    119.53  --
271.60/68.29	c  N dy   746    112099     19272     83150         0     42769    253638   4474019    164.31    119.18  --
282.77/71.01	c  N dy   797    119397     19272     83150         0     27630    253638   1490678    176.65    119.20  --
293.97/73.86	c  N dy   851    127099     19273     83150         2     35331    253642   2832194    185.20    119.09  --
306.75/77.04	c  N dy   908    135251     19273     83150         2     43482    253642   4258745    175.23    119.00  --
320.33/80.45	c  N dy   969    143933     19273     83150         2     28448    253642   1331877    175.93    118.99  --
334.73/84.02	c  N dy  1034    153207     19273     83150         2     37720    253642   2957169    177.56    118.96  --
343.51/86.25	c  S st  1068    158018     19273     83150         2     42530    253642   3802144    177.74    118.99  --
344.30/86.49	c  S st  1068    158522     19273     83150         2     43034    253642   3873436    177.74    118.99  --
344.70/86.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
344.70/86.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
345.90/86.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.47
345.90/86.89	c Calc non-exist non-lernt bins v-fix:     0 done:  19273 time:  0.04 s
345.90/86.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
346.30/86.93	c Subs w/ non-existent bins:      0 time:  0.15 s
347.09/87.16	c bin-w-bin subsume rem            0 bins  time:  0.03 s
347.09/87.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
347.09/87.18	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
448.97/112.63	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
449.37/112.72	c lits-rem:         0  cl-subs:     1731  v-elim:    307  v-fix:    0  time: 101.99 s
449.37/112.72	c learnt bin added due to v-elim: 0
449.37/112.73	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
449.37/112.78	c vivif2 --  cl tried    41303 cl shrink        0 lits rem          0 time: 0.19
450.95/113.17	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 1.57
450.95/113.17	c calculated reachability. Time: 0.00
450.95/113.17	c  N dy  1068    158522     19273     83150         2     41303    253642   3734852    177.74    118.99  --
468.52/117.56	c  N dy  1140    168762     19273     83150         2     26686    253642    802360    163.18    118.84  --
485.70/121.83	c  N dy  1216    179650     19273     83150         2     37573    253642   2706375    195.18    118.83  --
504.88/126.67	c  N dy  1297    191237     19273     83150         2     49158    253642   4774272    176.77    118.87  --
524.85/131.69	c  N dy  1383    203466     19273     83150         2     35457    253642   2133812    166.80    118.80  --
546.81/137.16	c  N dy  1474    216470     19273     83150         2     48460    253642   4432278    178.67    118.82  --
569.99/142.98	c  N dy  1571    230410     19273     83150         2     35439    253642   1891399    166.38    118.78  --
583.57/146.34	c  S st  1623    237784     19273     83150         2     42812    253642   3159927    190.08    118.71  --
584.37/146.55	c  S st  1623    238286     19273     83150         2     43314    253642   3224581    190.08    118.71  --
584.37/146.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
584.37/146.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
585.96/146.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  1.40
585.96/146.93	c Calc non-exist non-lernt bins v-fix:     0 done:  19273 time:  0.04 s
585.96/146.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
585.96/146.97	c Subs w/ non-existent bins:      0 time:  0.13 s
586.76/147.16	c bin-w-bin subsume rem            0 bins  time:  0.03 s
586.76/147.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
586.76/147.18	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
625.14/156.70	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
625.14/156.78	c lits-rem:         0  cl-subs:     1957  v-elim:    307  v-fix:    0  time: 38.35 s
625.14/156.78	c learnt bin added due to v-elim: 0
625.14/156.79	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.03
625.51/156.82	c vivif2 --  cl tried    41357 cl shrink        0 lits rem          0 time: 0.15
626.71/157.16	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 1.36
626.71/157.17	c calculated reachability. Time: 0.00
626.71/157.17	c  N dy  1623    238286     19273     83150         2     41357    253642   3106163    190.08    118.71  --
652.27/163.52	c  N dy  1730    253499     19273     83150         2     28588    253642    563814    176.57    118.65  --
676.65/169.68	c  N dy  1843    269688     19273     83150         2     44774    253642   3388935    168.50    118.60  --
705.40/176.85	c  N dy  1964    286994     19273     83150         2     33092    253642   1162165    175.57    118.62  --
734.98/184.27	c  N dy  2092    305430     19273     83150         2     51527    253642   4424399    192.32    118.65  --
767.71/192.45	c  N dy  2229    325011     19273     83150         2     41114    253642   2358907    177.85    118.63  --
802.46/201.19	c  N dy  2369    345079     19273     83150         2     61181    253642   5956772    175.70    118.74  --
824.04/206.55	c  S st  2456    357431     19273     83150         2     42537    253642   2504772    172.10    118.81  --
824.84/206.77	c  S st  2456    357935     19273     83150         2     43041    253642   2568389    172.10    118.81  --
824.84/206.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
824.84/206.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
826.44/207.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.6M T:  1.38
826.44/207.14	c Calc non-exist non-lernt bins v-fix:     0 done:  19273 time:  0.04 s
826.44/207.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
826.44/207.17	c Subs w/ non-existent bins:      0 time:  0.11 s
827.26/207.31	c bin-w-bin subsume rem            0 bins  time:  0.03 s
827.26/207.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
827.26/207.33	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
854.00/214.06	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
863.98/216.52	c Added 0 vars  tried: 80000 time: 9.82
863.98/216.52	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.82
863.98/216.58	c lits-rem:         0  cl-subs:     2259  v-elim:    307  v-fix:    0  time: 36.96 s
863.98/216.58	c learnt bin added due to v-elim: 0
863.98/216.59	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
864.38/216.62	c vivif2 --  cl tried    40782 cl shrink        0 lits rem          0 time: 0.12
865.58/216.93	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 1.24
865.58/216.94	c calculated reachability. Time: 0.00
865.58/216.94	c  N dy  2456    357935     19273     83150         2     40782    253642   2454975    172.10    118.81  --
901.14/225.87	c  N dy  2596    378008     19273     83150         2     60854    253642   6038493    191.25    118.92  --
935.89/234.54	c  N dy  2736    398058     19273     83150         2     48904    253642   3433990    181.20    118.95  --
973.44/243.93	c  N dy  2877    418178     19273     83150         2     36025    253642    993029    183.41    119.00  --
1008.99/252.84	c  N dy  3018    438267     19273     83150         2     56114    253642   4532812    181.53    119.02  --
1046.14/262.12	c  N dy  3158    458287     19273     83150         2     42135    253642   1917997    190.17    119.07  --
1082.11/271.15	c  N dy  3298    478300     19273     83150         2     62146    253642   5450271    166.09    119.05  --
1116.44/279.77	c  N dy  3438    498430     19273     83150         2     47277    253642   2619983    156.07    119.11  --
1151.19/288.47	c  N dy  3578    518510     19273     83150         2     67352    253642   6282727    200.13    119.24  --
1183.55/296.50	c  S st  3707    536903     19273     83150         2     49748    253642   2890535    176.59    119.25  --
1184.35/296.73	c  S st  3707    537405     19273     83150         2     50250    253642   2950875    176.59    119.25  --
1184.35/296.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1184.35/296.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1185.95/297.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.9M T:  1.73
1185.95/297.19	c Calc non-exist non-lernt bins v-fix:     0 done:  19273 time:  0.04 s
1185.95/297.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1186.35/297.22	c Subs w/ non-existent bins:      0 time:  0.12 s
1186.75/297.38	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1186.75/297.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1186.75/297.40	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
1224.29/306.79	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
1224.69/306.86	c lits-rem:         0  cl-subs:     2976  v-elim:    307  v-fix:    0  time: 37.79 s
1224.69/306.86	c learnt bin added due to v-elim: 0
1224.69/306.87	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
1225.09/306.91	c vivif2 --  cl tried    47274 cl shrink        0 lits rem          0 time: 0.15
1226.29/307.25	c asymm  cl-useful: 0/83150/83150 lits-rem:0 time: 1.37
1226.29/307.26	c calculated reachability. Time: 0.00
1226.29/307.26	c  N dy  3707    537405     19273     83150         2     47274    253642   2804917    176.59    119.25  --
1226.29/307.26	c  F st  3707    537405     19273     83150         2     47274    253642   2804917    176.59    119.25  --
1229.89/308.19	c Decided on dynamic restart strategy
1263.43/316.57	c  N dy  3838    557527     19273     83150         2     67394    253642   6460339    184.40    119.32  --
1299.79/325.64	c  N dy  3978    577651     19273     83150         2     50519    253642   2834383    182.66    119.37  --
1337.73/335.16	c  N dy  4119    597776     19273     83150         2     70643    253642   6387131    176.74    119.36  --
1374.50/344.31	c  N dy  4260    617842     19273     83150         2     52714    253642   3016855    172.24    119.30  --
1413.24/354.00	c  N dy  4400    637869     19273     83150         2     72739    253642   6534069    172.26    119.27  --
1449.98/363.27	c  N dy  4541    657935     19273     83150         2     53800    253642   3018989    165.16    119.27  --
1489.93/373.25	c  N dy  4680    677999     19273     83150         2     73860    253642   6555572    181.61    119.25  --
1527.88/382.73	c  N dy  4821    698097     19273     83150         2     53963    253642   2934441    183.46    119.27  --
1567.83/392.75	c  N dy  4961    718126     19273     83150         2     73990    253642   6479504    177.16    119.29  --
1606.57/402.47	c  N dy  5100    738144     19273     83150         2     53012    253642   2578195    179.10    119.29  --
1645.32/412.16	c  N dy  5240    758261     19273     83150         2     73125    253642   6134263    199.21    119.29  --
1681.67/421.26	c  N dy  5380    778378     19273     83150         2     51248    253642   2141767    208.06    119.30  --
1717.22/430.17	c  N dy  5521    798401     19273     83150         2     71266    253642   5748945    168.38    119.37  --
1734.80/434.51	c  S st  5575    806107     19273     83150         2     78966    253642   7101786    182.24    119.36  --
1736.00/434.80	c  S st  5575    806611     19273     83150         2     79470    253642   7161577    182.24    119.36  --
1736.00/434.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1736.00/434.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1738.79/435.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.0M T:  3.07
1739.19/435.60	c Calc non-exist non-lernt bins v-fix:     0 done:  19273 time:  0.04 s
1739.19/435.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1739.19/435.67	c Subs w/ non-existent bins:      0 time:  0.25 s
1740.81/436.08	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1740.81/436.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1740.81/436.10	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
2216.13/555.04	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
2244.10/562.08	c Added 0 vars  tried: 80000 time: 28.10
2244.10/562.08	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.10
2244.90/562.21	c lits-rem:         0  cl-subs:     4730  v-elim:    307  v-fix:    0  time: 503.69 s
2244.90/562.21	c learnt bin added due to v-elim: 0
2244.90/562.22	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.03
2244.90/562.30	c vivif2 --  cl tried    74740 cl shrink        0 lits rem          0 time: 0.32
2246.89/562.76	c asymm  cl-useful: 0/64776/83150 lits-rem:0 time: 1.85
2246.89/562.77	c calculated reachability. Time: 0.00
2246.89/562.77	c  N dy  5575    806611     19273     83150         2     74740    253642   6822739    182.24    119.36  --
2283.65/571.97	c  N dy  5715    826665     19273     83150         2     51802    253642   2006450    166.13    119.35  --
2320.82/581.21	c  N dy  5856    846779     19273     83150         2     71911    253642   5601115    181.37    119.38  --
2361.54/591.41	c  N dy  5996    866842     19273     83150         2     47980    253642   1189146    175.51    119.40  --
2397.89/600.56	c  N dy  6136    886856     19273     83150         2     67992    253642   4710632    178.56    119.37  --
2439.04/610.86	c  N dy  6276    906870     19273     83150         2     88002    253642   8191003    192.45    119.34  --
2476.58/620.22	c  N dy  6416    926901     19273     83150         2     63040    253642   3644443    170.31    119.33  --
2517.32/630.48	c  N dy  6557    947046     19273     83150         2     83182    253642   7189084    179.97    119.31  --
2557.67/640.52	c  N dy  6697    967074     19273     83150         2     57213    253642   2392762    176.30    119.27  --
2598.04/650.64	c  N dy  6837    987181     19273     83150         2     77316    253642   5935811    172.78    119.27  --
2641.97/661.67	c  N dy  6977   1007318     19273     83150         2     50459    253642   1110150    179.59    119.27  --
2680.71/671.36	c  N dy  7117   1027328     19273     83150         2     70466    253642   4662534    174.25    119.27  --
2724.24/682.30	c  N dy  7257   1047407     19273     83150         2     90544    253642   8166734    167.92    119.23  --
2764.61/692.33	c  N dy  7397   1067410     19273     83150         2     62550    253642   3048761    185.03    119.24  --
2806.53/702.83	c  N dy  7537   1087447     19273     83150         2     82583    253642   6629093    173.88    119.26  --
2850.88/713.93	c  N dy  7676   1107482     19273     83150         2     53621    253642   1282835    178.32    119.26  --
2888.82/723.44	c  N dy  7817   1127499     19273     83150         2     73636    253642   4846979    168.86    119.29  --
2928.37/733.38	c  N dy  7958   1147632     19273     83150         2     93766    253642   8441898    190.72    119.30  --
2966.32/742.83	c  N dy  8098   1167749     19273     83150         2     63886    253642   2978321    181.15    119.35  --
3005.07/752.57	c  N dy  8238   1187750     19273     83150         2     83887    253642   6557066    172.81    119.37  --
3049.00/763.50	c  N dy  8378   1207819     19273     83150         2     52961    253642    846094    186.24    119.42  --
3052.99/764.54	c  S st  8393   1209918     19273     83150         2     55059    253642   1237671    189.50    119.44  --
3053.79/764.78	c  S st  8393   1210420     19273     83150         2     55561    253642   1297498    189.50    119.44  --
3053.79/764.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3053.79/764.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3055.79/765.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.2M T:  1.97
3056.19/765.30	c Calc non-exist non-lernt bins v-fix:     0 done:  19273 time:  0.04 s
3056.19/765.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3056.19/765.31	c Subs w/ non-existent bins:      0 time:  0.06 s
3056.19/765.39	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3056.59/765.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3056.59/765.41	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
3068.20/768.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
3068.57/768.42	c lits-rem:         0  cl-subs:     3485  v-elim:    307  v-fix:    0  time: 12.02 s
3068.57/768.42	c learnt bin added due to v-elim: 0
3068.57/768.43	c vivif2 --  cl tried    83150 cl shrink        0 lits rem          0 time: 0.04
3068.57/768.45	c vivif2 --  cl tried    52076 cl shrink        0 lits rem          0 time: 0.08
3068.97/768.52	c asymm  cl-useful: 0/18374/83150 lits-rem:0 time: 0.28
3068.97/768.52	c calculated reachability. Time: 0.00
3068.97/768.53	c  N dy  8393   1210420     19273     83150         2     52076    253642   1236350    189.50    119.44  --
3106.92/778.02	c  N dy  8533   1230495     19273     83150         2     72149    253642   4759921    180.71    119.43  --
3149.66/788.73	c  N dy  8673   1250580     19273     83150         2     92228    253642   8377865    197.53    119.47  --
3192.80/799.57	c  N dy  8814   1270664     19273     83150         2     60314    253642   1960837    176.88    119.47  --
3233.55/809.76	c  N dy  8954   1290695     19273     83150         2     80342    253642   5531459    184.69    119.49  --
3279.11/821.14	c  N dy  9094   1310799     19273     83150         2    100445    253642   9142360    191.13    119.52  --
3321.03/831.64	c  N dy  9233   1330810     19273     83150         2     67463    253642   3063069    176.18    119.53  --
3364.57/842.59	c  N dy  9373   1350886     19273     83150         2     87535    253642   6653496    201.85    119.54  --
3412.11/854.42	c  N dy  9513   1370960     19273     83150         2    107606    253642  10265521    163.34    119.57  --
3453.25/864.77	c  N dy  9654   1391068     19273     83150         2     73717    253642   3978371    169.82    119.57  --
3498.81/876.13	c  N dy  9794   1411162     19273     83150         2     93810    253642   7530981    155.61    119.57  --
3544.73/887.68	c  N dy  9934   1431207     19273     83150         2     58861    253642   1215735    169.62    119.59  --
3586.69/898.18	c  N dy 10074   1451304     19273     83150         2     78957    253642   4732515    172.02    119.57  --
3631.81/909.46	c  N dy 10214   1471442     19273     83150         2     99092    253642   8316157    173.76    119.57  --
3672.94/919.76	c  N dy 10354   1491468     19273     83150         2     63124    253642   1772850    170.87    119.58  --
3710.50/929.13	c  N dy 10493   1511485     19273     83150         2     83141    253642   5399829    200.20    119.61  --
3753.26/939.90	c  N dy 10634   1531598     19273     83150         2    103252    253642   9038633    178.61    119.63  --
3795.58/950.47	c  N dy 10774   1551601     19273     83150         2     66255    253642   2180144    188.06    119.66  --
3835.93/960.58	c  N dy 10914   1571740     19273     83150         2     86393    253642   5779793    174.64    119.68  --
3880.27/971.60	c  N dy 11054   1591744     19273     83150         2    106395    253642   9244443    169.48    119.64  --
3923.41/982.43	c  N dy 11193   1611812     19273     83150         2     68462    253642   2386173    171.01    119.63  --
3965.35/992.96	c  N dy 11333   1631878     19273     83150         2     88525    253642   5961381    174.67    119.64  --
4011.29/1004.46	c  N dy 11473   1651887     19273     83150         2    108531    253642   9533132    176.53    119.65  --
4057.22/1015.95	c  N dy 11613   1672012     19273     83150         2     69663    253642   2450277    172.16    119.67  --
4099.97/1026.70	c  N dy 11753   1692051     19273     83150         2     89698    253642   6024009    192.99    119.68  --
4146.70/1038.39	c  S st 11882   1710421     19273     83150         2    108066    253642   9223808    165.24    119.66  --
4148.30/1038.80	c  S st 11882   1710926     19273     83150         2    108571    253642   9287401    165.24    119.66  --
4148.71/1038.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
4148.71/1038.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4153.89/1040.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 15.1M T:  5.28
4153.89/1040.15	c Calc non-exist non-lernt bins v-fix:     0 done:  19273 time:  0.05 s
4153.89/1040.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4154.29/1040.24	c Subs w/ non-existent bins:      0 time:  0.33 s
4156.29/1040.79	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4156.69/1040.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4156.69/1040.81	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-3172500-1304051484/watcher-3172500-1304051484 -o /tmp/evaluation-result-3172500-1304051484/solver-3172500-1304051484 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172500-1304051484.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.50 7.94 7.89 2/174 28101
/proc/meminfo: memFree=15990676/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=24976 CPUtime=0 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 1483 0 0 0 0 0 0 0 25 0 1 0 516747218 25575424 1422 33554432000 4194304 4797429 140737285159360 18446744073709551615 4417469 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/28101/statm: 6244 1431 341 148 0 1173 0

[startup+0.0740691 s]
/proc/loadavg: 7.50 7.94 7.89 2/174 28101
/proc/meminfo: memFree=15990676/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=89284 CPUtime=0.06 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 12163 0 0 0 5 1 0 0 25 0 1 0 516747218 91426816 8865 33554432000 4194304 4797429 140737285159360 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/28101/statm: 22321 8870 348 148 0 17250 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89284

[startup+0.101011 s]
/proc/loadavg: 7.50 7.94 7.89 2/174 28101
/proc/meminfo: memFree=15990676/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=92576 CPUtime=0.09 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 13184 0 0 0 8 1 0 0 25 0 1 0 516747218 94797824 9834 33554432000 4194304 4797429 140737285159360 18446744073709551615 268272385529 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/28101/statm: 23144 9834 348 148 0 18073 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92576

[startup+0.304529 s]
/proc/loadavg: 7.50 7.94 7.89 2/174 28101
/proc/meminfo: memFree=15990676/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=633908 CPUtime=0.5 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 19964 0 0 0 48 2 0 0 25 0 4 0 516747218 649121792 16390 33554432000 4194304 4797429 140737285159360 18446744073709551615 268272385562 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 157230 16470 376 148 0 152159 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 633908

[startup+0.701467 s]
/proc/loadavg: 7.50 7.94 7.89 2/174 28101
/proc/meminfo: memFree=15990676/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=811160 CPUtime=3.92 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 29360 0 0 0 385 7 0 0 18 0 4 0 516747218 830627840 23771 33554432000 4194304 4797429 140737285159360 18446744073709551615 4351797 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 202790 23771 410 148 0 197719 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 811160

[startup+1.50076 s]
/proc/loadavg: 7.62 7.96 7.90 9/184 28114
/proc/meminfo: memFree=15727016/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=811160 CPUtime=5.19 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 30271 0 0 0 512 7 0 0 19 0 4 0 516747218 830627840 24678 33554432000 4194304 4797429 140737285159360 18446744073709551615 268272385684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 202790 24678 412 148 0 197719 0
[pid=28101/tid=28109] ppid=28099 vsize=811160 CPUtime=1.22 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 3202 0 0 0 121 1 0 0 25 0 4 0 516747242 830627840 24678 33554432000 4194304 4797429 140737285159360 18446744073709551615 4424338 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=811160 CPUtime=1.22 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 3524 0 0 0 121 1 0 0 19 0 4 0 516747242 830627840 24678 33554432000 4194304 4797429 140737285159360 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=811160 CPUtime=1.25 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 3426 0 0 0 124 1 0 0 25 0 4 0 516747242 830627840 24678 33554432000 4194304 4797429 140737285159360 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 811160

[startup+3.10048 s]
/proc/loadavg: 7.62 7.96 7.90 9/184 28114
/proc/meminfo: memFree=15706556/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=814212 CPUtime=11.57 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 34502 0 0 0 1148 9 0 0 23 0 4 0 516747218 833753088 28890 33554432000 4194304 4797429 140737285159360 18446744073709551615 4425640 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 203553 28890 413 148 0 198482 0
[pid=28101/tid=28109] ppid=28099 vsize=814212 CPUtime=2.82 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 4186 0 0 0 281 1 0 0 25 0 4 0 516747242 833753088 28890 33554432000 4194304 4797429 140737285159360 18446744073709551615 4387407 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=814212 CPUtime=2.81 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 4447 0 0 0 280 1 0 0 24 0 4 0 516747242 833753088 28890 33554432000 4194304 4797429 140737285159360 18446744073709551615 4391211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=814212 CPUtime=2.84 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 4809 0 0 0 283 1 0 0 25 0 4 0 516747242 833753088 28890 33554432000 4194304 4797429 140737285159360 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.57
Current children cumulated vsize (KiB) 814212

[startup+6.30091 s]
/proc/loadavg: 7.65 7.96 7.90 9/184 28114
/proc/meminfo: memFree=15635020/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=825112 CPUtime=24.33 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 45447 0 0 0 2416 17 0 0 25 0 4 0 516747218 844914688 39806 33554432000 4194304 4797429 140737285159360 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 206278 39806 416 148 0 201207 0
[pid=28101/tid=28109] ppid=28099 vsize=825112 CPUtime=6.01 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 7159 0 0 0 597 4 0 0 20 0 4 0 516747242 844914688 39806 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=825112 CPUtime=5.98 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 7041 0 0 0 594 4 0 0 20 0 4 0 516747242 844914688 39806 33554432000 4194304 4797429 140737285159360 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=825112 CPUtime=6.04 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 7940 0 0 0 601 3 0 0 21 0 4 0 516747242 844914688 39806 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.33
Current children cumulated vsize (KiB) 825112

[startup+12.7008 s]
/proc/loadavg: 7.68 7.96 7.90 9/184 28114
/proc/meminfo: memFree=15580880/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=837016 CPUtime=49.89 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 53749 0 0 0 4969 20 0 0 25 0 4 0 516747218 857104384 44072 33554432000 4194304 4797429 140737285159360 18446744073709551615 4524088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 209254 44072 418 148 0 204183 0
[pid=28101/tid=28109] ppid=28099 vsize=837016 CPUtime=12.41 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 7573 0 0 0 1236 5 0 0 25 0 4 0 516747242 857104384 44072 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=837016 CPUtime=12.35 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 7511 0 0 0 1231 4 0 0 25 0 4 0 516747242 857104384 44072 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=837016 CPUtime=12.44 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 8391 0 0 0 1241 3 0 0 25 0 4 0 516747242 857104384 44072 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (KiB) 837016

[startup+25.5005 s]
/proc/loadavg: 7.73 7.96 7.90 9/184 28115
/proc/meminfo: memFree=15538104/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=843460 CPUtime=101.03 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 61981 0 0 0 10079 24 0 0 25 0 4 0 516747218 863703040 47017 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 210865 47017 419 148 0 205794 0
[pid=28101/tid=28109] ppid=28099 vsize=843460 CPUtime=25.21 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 8681 0 0 0 2516 5 0 0 25 0 4 0 516747242 863703040 47017 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=843460 CPUtime=25.08 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 8809 0 0 0 2504 4 0 0 25 0 4 0 516747242 863703040 47017 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=843460 CPUtime=25.25 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 9545 0 0 0 2521 4 0 0 25 0 4 0 516747242 863703040 47017 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.03
Current children cumulated vsize (KiB) 843460

[startup+51.1069 s]
/proc/loadavg: 7.90 7.98 7.91 9/184 28115
/proc/meminfo: memFree=15472848/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=856384 CPUtime=203.31 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 79948 0 0 0 20301 30 0 0 25 0 4 0 516747218 876937216 54019 33554432000 4194304 4797429 140737285159360 18446744073709551615 268272385723 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 214096 54019 420 148 0 209025 0
[pid=28101/tid=28109] ppid=28099 vsize=856384 CPUtime=50.81 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 10599 0 0 0 5075 6 0 0 25 0 4 0 516747242 876937216 54019 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=856384 CPUtime=50.54 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 10400 0 0 0 5049 5 0 0 25 0 4 0 516747242 876937216 54019 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=856384 CPUtime=50.85 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 11018 0 0 0 5081 4 0 0 25 0 4 0 516747242 876937216 54019 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.31
Current children cumulated vsize (KiB) 856384

[startup+102.301 s]
/proc/loadavg: 8.02 7.99 7.91 9/184 28117
/proc/meminfo: memFree=15434156/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=877236 CPUtime=407.81 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 109287 0 0 0 40739 42 0 0 25 0 4 0 516747218 898289664 60264 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568160 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 219309 60264 420 148 0 214238 0
[pid=28101/tid=28109] ppid=28099 vsize=877236 CPUtime=102 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 14937 0 0 0 10193 7 0 0 25 0 4 0 516747242 898289664 60264 33554432000 4194304 4797429 140737285159360 18446744073709551615 4341181 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=877236 CPUtime=101.46 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 14586 0 0 0 10139 7 0 0 25 0 4 0 516747242 898289664 60264 33554432000 4194304 4797429 140737285159360 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=877236 CPUtime=102.05 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 15474 0 0 0 10198 7 0 0 25 0 4 0 516747242 898289664 60264 33554432000 4194304 4797429 140737285159360 18446744073709551615 4642182 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.81
Current children cumulated vsize (KiB) 877236

[startup+162.301 s]
/proc/loadavg: 8.07 8.01 7.92 9/184 28118
/proc/meminfo: memFree=15388140/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=889352 CPUtime=647.48 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 140464 0 0 0 64691 57 0 0 25 0 4 0 516747218 910696448 66342 33554432000 4194304 4797429 140737285159360 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 222338 66342 420 148 0 217267 0
[pid=28101/tid=28109] ppid=28099 vsize=889352 CPUtime=162 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 19282 0 0 0 16191 9 0 0 25 0 4 0 516747242 910696448 66342 33554432000 4194304 4797429 140737285159360 18446744073709551615 4392247 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=889352 CPUtime=161.12 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 16414 0 0 0 16104 8 0 0 25 0 4 0 516747242 910696448 66342 33554432000 4194304 4797429 140737285159360 18446744073709551615 4647878 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=889352 CPUtime=162.05 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 19311 0 0 0 16197 8 0 0 25 0 4 0 516747242 910696448 66342 33554432000 4194304 4797429 140737285159360 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.48
Current children cumulated vsize (KiB) 889352

[startup+222.3 s]
/proc/loadavg: 8.08 8.02 7.93 9/184 28120
/proc/meminfo: memFree=15349932/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=899716 CPUtime=887.16 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 174460 0 0 0 88643 73 0 0 25 0 4 0 516747218 921309184 71305 33554432000 4194304 4797429 140737285159360 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 224929 71305 420 148 0 219858 0
[pid=28101/tid=28109] ppid=28099 vsize=899716 CPUtime=222.01 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 21466 0 0 0 22190 11 0 0 25 0 4 0 516747242 921309184 71305 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=899716 CPUtime=220.79 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 19926 0 0 0 22070 9 0 0 25 0 4 0 516747242 921309184 71305 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=899716 CPUtime=222.05 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 21337 0 0 0 22196 9 0 0 25 0 4 0 516747242 921309184 71305 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.16
Current children cumulated vsize (KiB) 899716

[startup+282.301 s]

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

[pid=28101] ppid=28099 vsize=939340 CPUtime=2564.87 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 350579 0 0 0 256334 153 0 0 25 0 4 0 516747218 961884160 85160 33554432000 4194304 4797429 140737285159360 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 234835 85160 420 148 0 229764 0
[pid=28101/tid=28109] ppid=28099 vsize=939340 CPUtime=641.46 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 36843 0 0 0 64129 17 0 0 25 0 4 0 516747242 961884160 85160 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=939340 CPUtime=639.02 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 35751 0 0 0 63886 16 0 0 25 0 4 0 516747242 961884160 85160 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=939340 CPUtime=642.06 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 37786 0 0 0 64191 15 0 0 25 0 4 0 516747242 961884160 85160 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2564.87
Current children cumulated vsize (KiB) 939340

[startup+702.306 s]
/proc/loadavg: 8.03 8.04 7.96 9/184 28133
/proc/meminfo: memFree=15186364/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=942652 CPUtime=2804.55 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 377615 0 0 0 280290 165 0 0 25 0 4 0 516747218 965275648 92346 33554432000 4194304 4797429 140737285159360 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 235663 92346 420 148 0 230592 0
[pid=28101/tid=28109] ppid=28099 vsize=942652 CPUtime=701.13 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 38230 0 0 0 70095 18 0 0 25 0 4 0 516747242 965275648 92346 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=942652 CPUtime=699.04 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 36848 0 0 0 69887 17 0 0 25 0 4 0 516747242 965275648 92346 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=942652 CPUtime=702.06 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 38737 0 0 0 70190 16 0 0 25 0 4 0 516747242 965275648 92346 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.55
Current children cumulated vsize (KiB) 942652

[startup+762.3 s]
/proc/loadavg: 8.16 8.07 7.98 9/184 28134
/proc/meminfo: memFree=15166012/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=949676 CPUtime=3044.22 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 410759 0 0 0 304241 181 0 0 25 0 4 0 516747218 972468224 92821 33554432000 4194304 4797429 140737285159360 18446744073709551615 4422918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 237419 92821 420 148 0 232348 0
[pid=28101/tid=28109] ppid=28099 vsize=949676 CPUtime=760.81 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 40867 0 0 0 76061 20 0 0 25 0 4 0 516747242 972468224 92821 33554432000 4194304 4797429 140737285159360 18446744073709551615 4424383 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=949676 CPUtime=759.03 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 40397 0 0 0 75885 18 0 0 25 0 4 0 516747242 972468224 92821 33554432000 4194304 4797429 140737285159360 18446744073709551615 4526212 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=949676 CPUtime=762.06 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 41890 0 0 0 76189 17 0 0 25 0 4 0 516747242 972468224 92821 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.22
Current children cumulated vsize (KiB) 949676

[startup+822.301 s]
/proc/loadavg: 8.17 8.09 7.99 9/184 28136
/proc/meminfo: memFree=15138088/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=954340 CPUtime=3283.88 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 436493 0 0 0 328193 195 0 0 25 0 4 0 516747218 977244160 96964 33554432000 4194304 4797429 140737285159360 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 238585 96964 420 148 0 233514 0
[pid=28101/tid=28109] ppid=28099 vsize=954340 CPUtime=820.47 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 42145 0 0 0 82027 20 0 0 25 0 4 0 516747242 977244160 96964 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=954340 CPUtime=819.03 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 41665 0 0 0 81885 18 0 0 25 0 4 0 516747242 977244160 96964 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=954340 CPUtime=822.07 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 43150 0 0 0 82189 18 0 0 25 0 4 0 516747242 977244160 96964 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.88
Current children cumulated vsize (KiB) 954340

[startup+882.301 s]
/proc/loadavg: 8.16 8.10 8.00 9/184 28137
/proc/meminfo: memFree=15109060/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=957200 CPUtime=3523.55 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 461199 0 0 0 352147 208 0 0 25 0 4 0 516747218 980172800 100177 33554432000 4194304 4797429 140737285159360 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 239300 100177 420 148 0 234229 0
[pid=28101/tid=28109] ppid=28099 vsize=957200 CPUtime=880.14 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 42635 0 0 0 87994 20 0 0 25 0 4 0 516747242 980172800 100177 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=957200 CPUtime=879.03 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 42663 0 0 0 87884 19 0 0 25 0 4 0 516747242 980172800 100177 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=957200 CPUtime=882.06 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 44339 0 0 0 88188 18 0 0 25 0 4 0 516747242 980172800 100177 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.55
Current children cumulated vsize (KiB) 957200

[startup+942.3 s]
/proc/loadavg: 8.23 8.12 8.01 9/184 28139
/proc/meminfo: memFree=15149472/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=960268 CPUtime=3763.23 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 492417 0 0 0 376100 223 0 0 25 0 4 0 516747218 983314432 95992 33554432000 4194304 4797429 140737285159360 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 240067 95992 420 148 0 234996 0
[pid=28101/tid=28109] ppid=28099 vsize=960268 CPUtime=939.81 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 45421 0 0 0 93960 21 0 0 25 0 4 0 516747242 983314432 95992 33554432000 4194304 4797429 140737285159360 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=960268 CPUtime=939.02 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 45469 0 0 0 93883 19 0 0 25 0 4 0 516747242 983314432 95992 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=960268 CPUtime=942.06 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 46955 0 0 0 94187 19 0 0 25 0 4 0 516747242 983314432 95992 33554432000 4194304 4797429 140737285159360 18446744073709551615 4240944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.23
Current children cumulated vsize (KiB) 960268

[startup+1002.3 s]
/proc/loadavg: 8.21 8.13 8.02 9/184 28141
/proc/meminfo: memFree=15127636/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=960336 CPUtime=4002.9 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 518249 0 0 0 400057 233 0 0 25 0 4 0 516747218 983384064 98784 33554432000 4194304 4797429 140737285159360 18446744073709551615 268272385803 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 240084 98784 420 148 0 235013 0
[pid=28101/tid=28109] ppid=28099 vsize=960336 CPUtime=999.48 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 46840 0 0 0 99926 22 0 0 25 0 4 0 516747242 983384064 98784 33554432000 4194304 4797429 140737285159360 18446744073709551615 4502043 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=960336 CPUtime=999.03 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 46871 0 0 0 99883 20 0 0 25 0 4 0 516747242 983384064 98784 33554432000 4194304 4797429 140737285159360 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=960336 CPUtime=1002.07 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 48106 0 0 0 100187 20 0 0 25 0 4 0 516747242 983384064 98784 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.9
Current children cumulated vsize (KiB) 960336

[startup+1062.3 s]
/proc/loadavg: 8.22 8.14 8.02 9/184 28142
/proc/meminfo: memFree=15106292/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=962080 CPUtime=4242.58 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 535092 0 0 0 424016 242 0 0 25 0 4 0 516747218 985169920 103523 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 240520 103523 420 148 0 235449 0
[pid=28101/tid=28109] ppid=28099 vsize=962080 CPUtime=1059.15 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 47605 0 0 0 105893 22 0 0 25 0 4 0 516747242 985169920 103523 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=962080 CPUtime=1059.03 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 47782 0 0 0 105883 20 0 0 25 0 4 0 516747242 985169920 103523 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=962080 CPUtime=1062.07 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 48853 0 0 0 106187 20 0 0 25 0 4 0 516747242 985169920 103523 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.58
Current children cumulated vsize (KiB) 962080

[startup+1122.3 s]
/proc/loadavg: 8.15 8.12 8.02 9/184 28144
/proc/meminfo: memFree=15107508/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=965216 CPUtime=4482.25 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 537401 0 0 0 447983 242 0 0 25 0 4 0 516747218 988381184 105394 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 241304 105394 420 148 0 236233 0
[pid=28101/tid=28109] ppid=28099 vsize=965216 CPUtime=1118.82 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 48422 0 0 0 111860 22 0 0 25 0 4 0 516747242 988381184 105394 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=965216 CPUtime=1119.03 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 48386 0 0 0 111883 20 0 0 25 0 4 0 516747242 988381184 105394 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=965216 CPUtime=1122.07 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 49741 0 0 0 112187 20 0 0 25 0 4 0 516747242 988381184 105394 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.25
Current children cumulated vsize (KiB) 965216

[startup+1182.3 s]
/proc/loadavg: 8.12 8.12 8.02 9/184 28145
/proc/meminfo: memFree=15120748/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=983496 CPUtime=4721.92 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 548594 0 0 0 471946 246 0 0 25 0 4 0 516747218 1007099904 102282 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 245874 102282 420 148 0 240803 0
[pid=28101/tid=28109] ppid=28099 vsize=983496 CPUtime=1178.48 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 50747 0 0 0 117825 23 0 0 25 0 4 0 516747242 1007099904 102282 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=983496 CPUtime=1179.04 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 52970 0 0 0 117881 23 0 0 25 0 4 0 516747242 1007099904 102282 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=983496 CPUtime=1182.07 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 54025 0 0 0 118186 21 0 0 25 0 4 0 516747242 1007099904 102282 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.92
Current children cumulated vsize (KiB) 983496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.09 8.11 8.02 9/184 28146
/proc/meminfo: memFree=15139964/32950928 swapFree=67111528/67111528
[pid=28101] ppid=28099 vsize=983496 CPUtime=4800.23 cores=0,2,4,6
/proc/28101/stat : 28101 (techdemo) R 28099 28101 28069 0 -1 4202496 550385 0 0 0 479776 247 0 0 25 0 4 0 516747218 1007099904 103777 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28101/statm: 245874 103777 420 148 0 240803 0
[pid=28101/tid=28109] ppid=28099 vsize=983496 CPUtime=1197.97 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (techdemo) R 28099 28101 28069 0 -1 4202560 51408 0 0 0 119774 23 0 0 25 0 4 0 516747242 1007099904 103777 33554432000 4194304 4797429 140737285159360 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28101/tid=28110] ppid=28099 vsize=983496 CPUtime=1198.64 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (techdemo) R 28099 28101 28069 0 -1 4202560 53600 0 0 0 119841 23 0 0 25 0 4 0 516747242 1007099904 103777 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28101/tid=28111] ppid=28099 vsize=983496 CPUtime=1201.68 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (techdemo) R 28099 28101 28069 0 -1 4202560 54525 0 0 0 120146 22 0 0 25 0 4 0 516747242 1007099904 103777 33554432000 4194304 4797429 140737285159360 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 983496

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.28
CPU user time (s): 4797.78
CPU system time (s): 2.49262
CPU usage (%): 399.38
Max. virtual memory (cumulated for all children) (KiB): 1085192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.78
system time used= 2.49262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550385
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= 14568
involuntary context switches= 21240

runsolver used 1.9597 second user time and 4.5943 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 06:31:24
IDJOB=3172500
IDBENCH=82518
IDSOLVER=1584
FILE ID=node122/3172500-1304051484
RUNJOBID= node122-1304051484-28087
PBS_JOBID= 13170414
Free space on /tmp= 71664 MiB

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

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

MD5SUM BENCH= 839440d6b1cc9d3b4faa8d33a4dd7359
RANDOM SEED=381646831

node122.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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.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.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.83
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.75
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15991080 kB
Buffers:       1733940 kB
Cached:       14590568 kB
SwapCached:          0 kB
Active:        5514476 kB
Inactive:     10878792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15991080 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11020 kB
Writeback:           0 kB
AnonPages:       68904 kB
Mapped:          14620 kB
Slab:           501744 kB
PageTables:       4484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   190432 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= 71644 MiB
End job on node122 at 2011-04-29 06:51:28