Trace number 3172630

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf
MD5SUMfa8f767b93a18fbf678b4d0ea0994bed
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.11761
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-3172630-1304079815.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.19/0.23	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.19/0.23	c -- vars added      20000
0.19/0.23	c Parsing time:  0.21 s
0.47/0.31	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.47/0.31	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.27
0.47/0.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.23
0.47/0.39	c Calc non-exist non-lernt bins v-fix:     0 done:  20000 time:  0.03 s
0.47/0.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.47/0.39	c Subs w/ non-existent bins:      0 time:  0.01 s
1.52/0.57	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1.52/0.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1.52/0.57	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
4.06/1.28	c lits-rem:         0  cl-subs:        0  v-elim:   1220  v-fix:    0  time:  0.90 s
4.06/1.28	c learnt bin added due to v-elim: 0
4.06/1.28	c Finding binary XORs  T:     0.02 s  found:       0
4.06/1.28	c Finding non-binary XORs:     0.19 s (found:       0, avg size: nan)
4.06/1.28	c calculated reachability. Time: 0.00
4.06/1.28	c Calc default polars -  time:   0.02 s pos:    8810 undec:    2372 neg:    8818
4.06/1.28	c =========================================================================================
4.06/1.28	c types(t): F = full restart, N = normal restart
4.06/1.28	c types(t): S = simplification begin/end, E = solution found
4.06/1.28	c restart types(rt): st = static, dy = dynamic
4.06/1.28	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
4.06/1.28	c  B st     0         0     19323     83129         0         0    253236         0   no data   no data  --
4.46/1.38	c Decided on dynamic restart strategy
6.84/1.93	c  N dy    20      4038     19323     83129         0      4034    253236    799376    191.77    131.93  --
12.03/3.22	c  N dy    48      8046     19323     83129         0      8041    253236   1482594    166.20    123.29  --
16.81/4.47	c  N dy    76     12062     19323     83129         0     12057    253236   2221300    190.68    122.61  --
22.38/5.81	c  N dy   105     16201     19323     83129         0     16196    253236   2921527    173.25    120.15  --
28.37/7.30	c  N dy   134     20317     19323     83129         0     10314    253236    538788    156.53    118.88  --
33.96/8.76	c  N dy   162     24399     19323     83129         0     14396    253236   1288077    177.21    119.85  --
39.18/10.05	c  N dy   190     28420     19323     83129         0     18417    253236   1990998    159.11    119.41  --
41.95/10.79	c  S st   202     30000     19323     83129         0     19996    253236   2280076    186.75    119.52  --
42.75/10.97	c  S st   202     30500     19323     83129         0     20496    253236   2339235    186.75    119.52  --
42.75/10.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
42.75/10.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.97/11.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.90
43.97/11.22	c Calc non-exist non-lernt bins v-fix:     0 done:  19323 time:  0.04 s
43.97/11.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.97/11.25	c Subs w/ non-existent bins:      0 time:  0.09 s
44.75/11.45	c bin-w-bin subsume rem            0 bins  time:  0.03 s
44.75/11.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
44.75/11.46	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
66.72/16.94	c lits-rem:         3  cl-subs:     1239  v-elim:    320  v-fix:    0  time: 21.87 s
66.72/16.94	c learnt bin added due to v-elim: 0
66.72/16.94	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.03
66.72/16.97	c vivif2 --  cl tried    19257 cl shrink        0 lits rem          0 time: 0.11
67.92/17.21	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.96
67.92/17.22	c calculated reachability. Time: 0.00
67.92/17.22	c  N dy   202     30500     19323     83129         0     19257    253236   2243465    186.75    119.52  --
67.92/17.22	c  F st   202     30500     19323     83129         0     19257    253236   2243465    186.75    119.52  --
71.11/18.02	c Decided on dynamic restart strategy
73.91/18.79	c  N dy   222     34563     19323     83129         0     23315    253236   3056265    173.28    120.90  --
80.30/20.37	c  N dy   250     38569     19323     83129         0     27321    253236   3779912    191.68    120.98  --
86.70/21.91	c  N dy   278     42574     19323     83129         0     15829    253236    674121    172.38    120.29  --
91.08/23.07	c  S st   301     45751     19323     83129         0     19005    253236   1273617    198.12    120.58  --
91.90/23.25	c  S st   301     46257     19323     83129         0     19511    253236   1346872    198.12    120.58  --
91.90/23.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
91.90/23.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.68/23.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.73
92.68/23.45	c Calc non-exist non-lernt bins v-fix:     0 done:  19323 time:  0.04 s
92.68/23.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.68/23.47	c Subs w/ non-existent bins:      0 time:  0.06 s
93.08/23.56	c bin-w-bin subsume rem            0 bins  time:  0.02 s
93.08/23.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
93.08/23.57	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
105.48/26.61	c lits-rem:         0  cl-subs:      638  v-elim:    320  v-fix:    0  time: 12.14 s
105.48/26.61	c learnt bin added due to v-elim: 0
105.48/26.62	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
105.48/26.64	c vivif2 --  cl tried    18873 cl shrink        0 lits rem          0 time: 0.07
106.26/26.84	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.78
106.26/26.84	c calculated reachability. Time: 0.00
106.26/26.84	c  N dy   301     46257     19323     83129         0     18873    253236   1299130    198.12    120.58  --
112.26/28.37	c  N dy   329     50291     19323     83129         0     22907    253236   2005924    181.51    120.47  --
117.85/29.73	c  N dy   357     54343     19323     83129         0     26959    253236   2699617    169.39    120.03  --
123.83/31.26	c  N dy   386     58478     19323     83129         0     31093    253236   3429066    188.44    120.15  --
130.64/32.95	c  N dy   415     62578     19323     83129         0     35192    253236   4144753    178.09    120.05  --
137.43/34.63	c  N dy   443     66607     19323     83129         0     20475    253236    918875    169.60    119.93  --
142.21/35.81	c  S st   463     69386     19323     83129         0     23254    253236   1401343    165.54    119.82  --
143.01/36.00	c  S st   463     69890     19323     83129         0     23758    253236   1470324    165.54    119.82  --
143.01/36.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
143.01/36.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.81/36.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.78
143.81/36.21	c Calc non-exist non-lernt bins v-fix:     0 done:  19323 time:  0.04 s
143.81/36.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.81/36.23	c Subs w/ non-existent bins:      0 time:  0.06 s
144.21/36.32	c bin-w-bin subsume rem            0 bins  time:  0.02 s
144.21/36.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
144.21/36.33	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
156.60/39.43	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
164.18/41.31	c Added 0 vars  tried: 80000 time: 7.48
164.18/41.31	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.48
164.18/41.36	c lits-rem:         2  cl-subs:      699  v-elim:    320  v-fix:    0  time: 20.05 s
164.18/41.36	c learnt bin added due to v-elim: 0
164.18/41.37	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
164.18/41.39	c vivif2 --  cl tried    23059 cl shrink        0 lits rem          0 time: 0.08
165.38/41.60	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 0.88
165.38/41.61	c calculated reachability. Time: 0.00
165.38/41.61	c  N dy   463     69890     19323     83129         0     23059    253236   1430769    165.54    119.82  --
165.38/41.61	c  F st   463     69890     19323     83129         0     23059    253236   1430769    165.54    119.82  --
168.58/42.47	c Decided on dynamic restart strategy
172.58/43.44	c  N dy   486     74400     19323     83129         0     27569    253236   2281434    169.72    120.11  --
179.78/45.30	c  N dy   520     79286     19323     83129         0     32455    253236   3127451    172.90    119.93  --
187.76/47.21	c  N dy   556     84440     19323     83129         0     37609    253236   4000969    165.81    119.69  --
196.94/49.55	c  N dy   594     89875     19323     83129         0     22172    253236    815276    187.72    119.38  --
206.15/51.85	c  N dy   635     95704     19323     83129         0     28000    253236   1801712    162.75    119.11  --
216.12/54.33	c  N dy   678    101858     19323     83129         0     34153    253236   2881615    177.74    119.05  --
222.11/55.85	c  S st   699    104835     19323     83129         0     37130    253236   3395806    172.61    118.95  --
222.91/56.05	c  S st   699    105341     19323     83129         0     37636    253236   3459928    172.61    118.95  --
222.91/56.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
222.91/56.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
224.12/56.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.5M T:  1.28
224.50/56.40	c Calc non-exist non-lernt bins v-fix:     0 done:  19323 time:  0.04 s
224.50/56.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
224.50/56.43	c Subs w/ non-existent bins:      0 time:  0.14 s
225.30/56.65	c bin-w-bin subsume rem            0 bins  time:  0.02 s
225.30/56.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
225.30/56.67	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
263.27/66.18	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
263.67/66.26	c lits-rem:         1  cl-subs:     1440  v-elim:    320  v-fix:    0  time: 38.29 s
263.67/66.26	c learnt bin added due to v-elim: 0
263.67/66.26	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.03
264.04/66.30	c vivif2 --  cl tried    36196 cl shrink        0 lits rem          0 time: 0.16
265.24/66.64	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 1.35
265.24/66.65	c calculated reachability. Time: 0.00
265.24/66.65	c  N dy   699    105341     19323     83129         0     36196    253236   3330518    172.61    118.95  --
275.63/69.23	c  N dy   747    112148     19323     83129         0     43002    253236   4519925    167.27    119.00  --
286.01/71.85	c  N dy   798    119357     19323     83129         0     27775    253236   1488303    169.67    118.90  --
297.20/74.68	c  N dy   852    127110     19323     83129         0     35526    253236   2876187    165.10    119.09  --
310.39/77.92	c  N dy   909    135282     19324     83129         2     43698    253240   4298738    171.96    119.00  --
323.96/81.31	c  N dy   971    144043     19324     83129         2     28742    253240   1386721    171.75    118.79  --
337.97/84.83	c  N dy  1036    153322     19324     83129         2     38021    253240   3040879    168.06    118.86  --
346.75/87.05	c  S st  1069    158011     19324     83129         2     42710    253240   3846081    175.75    118.84  --
347.53/87.29	c  S st  1069    158515     19324     83129         2     43214    253240   3914095    175.75    118.84  --
347.93/87.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
347.93/87.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
349.13/87.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.45
349.13/87.67	c Calc non-exist non-lernt bins v-fix:     0 done:  19324 time:  0.04 s
349.13/87.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
349.53/87.71	c Subs w/ non-existent bins:      0 time:  0.14 s
350.32/87.94	c bin-w-bin subsume rem            0 bins  time:  0.03 s
350.32/87.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
350.32/87.95	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
460.58/115.54	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
460.99/115.62	c lits-rem:         0  cl-subs:     1759  v-elim:    321  v-fix:    0  time: 110.50 s
460.99/115.62	c learnt bin added due to v-elim: 0
460.99/115.63	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
460.99/115.68	c vivif2 --  cl tried    41455 cl shrink        0 lits rem          0 time: 0.19
462.57/116.08	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 1.58
462.57/116.08	c calculated reachability. Time: 0.00
462.57/116.08	c  N dy  1069    158515     19324     83129         2     41455    253240   3768134    175.75    118.84  --
479.35/120.28	c  N dy  1140    168665     19324     83129         2     26747    253240    814602    171.26    118.69  --
496.93/124.61	c  N dy  1216    179562     19324     83129         2     37640    253240   2696170    175.92    118.57  --
516.10/129.41	c  N dy  1297    191160     19324     83129         2     49233    253240   4757050    170.82    118.61  --
536.87/134.62	c  N dy  1383    203496     19324     83129         2     35645    253240   2198391    169.79    118.61  --
558.44/140.07	c  N dy  1474    216491     19324     83129         2     48636    253240   4491659    181.69    118.59  --
582.42/146.01	c  N dy  1571    230440     19324     83129         2     35624    253240   1965496    167.06    118.64  --
595.99/149.42	c  S st  1623    237774     19324     83129         2     42958    253240   3290004    175.03    118.72  --
596.79/149.66	c  S st  1623    238276     19324     83129         2     43460    253240   3357157    175.03    118.72  --
596.79/149.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
596.79/149.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
598.39/150.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  1.46
598.39/150.05	c Calc non-exist non-lernt bins v-fix:     0 done:  19324 time:  0.04 s
598.39/150.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
598.39/150.09	c Subs w/ non-existent bins:      0 time:  0.14 s
599.19/150.29	c bin-w-bin subsume rem            0 bins  time:  0.03 s
599.60/150.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
599.60/150.31	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
648.33/162.53	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
648.73/162.60	c lits-rem:         0  cl-subs:     2158  v-elim:    321  v-fix:    0  time: 49.09 s
648.73/162.60	c learnt bin added due to v-elim: 0
648.73/162.61	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.03
648.73/162.65	c vivif2 --  cl tried    41302 cl shrink        0 lits rem          0 time: 0.16
649.94/162.99	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 1.37
649.94/163.00	c calculated reachability. Time: 0.00
649.94/163.00	c  N dy  1623    238276     19324     83129         2     41302    253240   3215714    175.03    118.72  --
675.09/169.28	c  N dy  1729    253500     19324     83129         2     28545    253240    547330    166.26    118.76  --
700.65/175.66	c  N dy  1842    269742     19324     83129         2     44786    253240   3486782    160.51    118.89  --
729.43/182.87	c  N dy  1963    287047     19324     83129         2     33100    253240   1182603    189.50    118.96  --
759.38/190.33	c  N dy  2092    305460     19324     83129         2     51511    253240   4351885    166.79    118.75  --
792.93/198.77	c  N dy  2228    325000     19324     83129         2     41057    253240   2393499    171.70    118.83  --
828.09/207.55	c  N dy  2368    345104     19324     83129         2     61161    253240   5890427    178.56    118.74  --
848.85/212.78	c  S st  2455    357414     19324     83129         2     42475    253240   2487416    180.69    118.81  --
850.05/213.04	c  S st  2455    357917     19324     83129         2     42978    253240   2556210    180.69    118.81  --
850.05/213.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
850.05/213.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
851.65/213.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.5M T:  1.44
851.65/213.43	c Calc non-exist non-lernt bins v-fix:     0 done:  19324 time:  0.04 s
851.65/213.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
851.65/213.46	c Subs w/ non-existent bins:      0 time:  0.11 s
852.48/213.62	c bin-w-bin subsume rem            0 bins  time:  0.03 s
852.48/213.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
852.48/213.63	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
879.21/220.39	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
890.00/223.08	c Added 0 vars  tried: 80000 time: 10.77
890.00/223.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:   10.77
890.40/223.15	c lits-rem:         4  cl-subs:     2251  v-elim:    321  v-fix:    0  time: 38.02 s
890.40/223.15	c learnt bin added due to v-elim: 0
890.40/223.16	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
890.40/223.19	c vivif2 --  cl tried    40727 cl shrink        0 lits rem          0 time: 0.13
892.02/223.51	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 1.29
892.02/223.52	c calculated reachability. Time: 0.00
892.02/223.52	c  N dy  2455    357917     19324     83129         2     40727    253240   2451056    180.69    118.81  --
928.75/232.70	c  N dy  2595    378047     19324     83129         2     60853    253240   6044547    185.80    118.90  --
963.50/241.42	c  N dy  2736    398172     19324     83129         2     48980    253240   3379116    160.22    118.78  --
1001.06/250.82	c  N dy  2875    418215     19324     83129         2     36027    253240    980282    182.99    118.78  --
1037.03/259.88	c  N dy  3016    438343     19324     83129         2     56154    253240   4738778    171.05    119.09  --
1073.35/268.98	c  N dy  3156    458399     19324     83129         2     42209    253240   1872458    164.21    119.15  --
1108.11/277.69	c  N dy  3296    478407     19324     83129         2     62216    253240   5365882    181.09    119.12  --
1142.08/286.13	c  N dy  3436    498499     19324     83129         2     47309    253240   2577772    178.56    119.08  --
1177.64/295.05	c  N dy  3576    518645     19324     83129         2     67453    253240   6165052    175.66    119.13  --
1209.97/303.14	c  S st  3705    536877     19324     83129         2     49688    253240   2802873    175.02    119.10  --
1210.77/303.38	c  S st  3705    537378     19324     83129         2     50188    253240   2872984    175.02    119.10  --
1210.77/303.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1210.77/303.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1212.79/303.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.9M T:  1.64
1212.79/303.82	c Calc non-exist non-lernt bins v-fix:     0 done:  19324 time:  0.04 s
1212.79/303.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1212.79/303.84	c Subs w/ non-existent bins:      0 time:  0.11 s
1213.56/304.00	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1213.56/304.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1213.56/304.01	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
1250.32/313.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
1250.72/313.35	c lits-rem:         0  cl-subs:     2857  v-elim:    321  v-fix:    0  time: 37.27 s
1250.72/313.35	c learnt bin added due to v-elim: 0
1250.72/313.36	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.03
1250.72/313.39	c vivif2 --  cl tried    47331 cl shrink        0 lits rem          0 time: 0.14
1252.34/313.73	c asymm  cl-useful: 0/83129/83129 lits-rem:0 time: 1.37
1252.34/313.74	c calculated reachability. Time: 0.00
1252.34/313.74	c  N dy  3705    537378     19324     83129         2     47331    253240   2755403    175.02    119.10  --
1252.34/313.74	c  F st  3705    537378     19324     83129         2     47331    253240   2755403    175.02    119.10  --
1256.33/314.73	c Decided on dynamic restart strategy
1290.27/323.23	c  N dy  3837    557459     19324     83129         2     67405    253240   6403518    181.58    119.21  --
1326.21/332.27	c  N dy  3977    577534     19324     83129         2     50484    253240   2778012    182.75    119.23  --
1364.96/341.93	c  N dy  4116    597535     19324     83129         2     70482    253240   6363543    177.71    119.25  --
1401.74/351.17	c  N dy  4256    617589     19324     83129         2     52538    253240   2972163    169.84    119.20  --
1441.66/361.12	c  N dy  4397    637705     19324     83129         2     72650    253240   6377778    171.29    119.09  --
1480.02/370.71	c  N dy  4537    657820     19324     83129         2     53770    253240   3074708    197.05    119.10  --
1518.76/380.43	c  N dy  4678    677874     19324     83129         2     73821    253240   6641352    176.12    119.15  --
1557.90/390.20	c  N dy  4819    698009     19324     83129         2     53961    253240   2900626    189.80    119.13  --
1597.05/400.05	c  N dy  4959    718073     19324     83129         2     74023    253240   6424941    181.45    119.14  --
1633.40/409.15	c  N dy  5099    738118     19324     83129         2     53072    253240   2586109    173.21    119.19  --
1669.77/418.28	c  N dy  5239    758148     19324     83129         2     73095    253240   6195369    170.73    119.25  --
1707.30/427.61	c  N dy  5380    778293     19324     83129         2     51243    253240   2100832    187.23    119.31  --
1744.07/436.84	c  N dy  5521    798364     19324     83129         2     71312    253240   5672418    169.59    119.32  --
1761.65/441.26	c  S st  5575    806067     19324     83129         2     79015    253240   7023318    177.73    119.31  --
1762.82/441.57	c  S st  5575    806568     19324     83129         2     79516    253240   7079032    177.73    119.31  --
1762.82/441.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1762.82/441.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1766.04/442.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  3.11
1766.04/442.38	c Calc non-exist non-lernt bins v-fix:     0 done:  19324 time:  0.04 s
1766.04/442.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1766.44/442.44	c Subs w/ non-existent bins:      0 time:  0.24 s
1768.02/442.83	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1768.02/442.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1768.02/442.85	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
2245.78/562.45	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
2276.16/570.08	c Added 0 vars  tried: 80000 time: 30.47
2276.16/570.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:   30.47
2276.93/570.21	c lits-rem:         0  cl-subs:     4632  v-elim:    321  v-fix:    0  time: 508.71 s
2276.93/570.21	c learnt bin added due to v-elim: 0
2276.93/570.22	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
2277.33/570.30	c vivif2 --  cl tried    74884 cl shrink        0 lits rem          0 time: 0.32
2279.33/570.80	c asymm  cl-useful: 0/64133/83129 lits-rem:0 time: 1.99
2279.33/570.81	c calculated reachability. Time: 0.00
2279.33/570.81	c  N dy  5575    806568     19324     83129         2     74884    253240   6791214    177.73    119.31  --
2317.68/580.44	c  N dy  5715    826617     19324     83129         2     51937    253240   2015406    174.68    119.32  --
2356.44/590.11	c  N dy  5855    846641     19324     83129         2     71959    253240   5633457    199.21    119.37  --
2396.78/600.28	c  N dy  5996    866736     19324     83129         2     48057    253240   1204259    181.75    119.38  --
2434.34/609.68	c  N dy  6136    886793     19324     83129         2     68112    253240   4794095    170.92    119.41  --
2476.67/620.25	c  N dy  6276    906798     19324     83129         2     88116    253240   8255253    178.75    119.37  --
2515.41/629.91	c  N dy  6416    926812     19324     83129         2     63132    253240   3597128    181.30    119.33  --
2557.76/640.54	c  N dy  6557    946924     19324     83129         2     83242    253240   7159306    172.59    119.33  --
2597.71/650.58	c  N dy  6697    966946     19324     83129         2     57266    253240   2430343    171.97    119.31  --
2638.85/660.88	c  N dy  6838    987089     19324     83129         2     77408    253240   6003380    191.72    119.31  --
2682.79/671.84	c  N dy  6978   1007133     19324     83129         2     50455    253240   1074415    178.96    119.33  --
2721.54/681.52	c  N dy  7118   1027269     19324     83129         2     70585    253240   4651950    174.14    119.36  --
2765.89/692.68	c  N dy  7259   1047342     19324     83129         2     90655    253240   8200989    177.87    119.36  --
2804.63/702.31	c  N dy  7399   1067428     19324     83129         2     62747    253240   3086606    164.93    119.36  --
2843.77/712.11	c  N dy  7538   1087515     19324     83129         2     82832    253240   6683575    178.79    119.38  --
2884.92/722.43	c  N dy  7678   1107537     19324     83129         2     53857    253240   1332877    178.24    119.36  --
2921.27/731.54	c  N dy  7818   1127591     19324     83129         2     73907    253240   4899493    198.84    119.37  --
2963.21/742.01	c  N dy  7959   1147724     19324     83129         2     94038    253240   8494955    170.28    119.39  --
3002.77/751.91	c  N dy  8099   1167797     19324     83129         2     64115    253240   3048223    188.63    119.42  --
3042.31/761.82	c  N dy  8239   1187933     19324     83129         2     84247    253240   6751116    188.61    119.49  --
3086.65/772.93	c  N dy  8379   1208011     19324     83129         2     53330    253240    904387    186.66    119.51  --
3090.24/773.89	c  S st  8392   1209853     19324     83129         2     55171    253240   1238974    176.59    119.51  --
3091.44/774.16	c  S st  8392   1210356     19324     83129         2     55674    253240   1309856    176.59    119.51  --
3091.44/774.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3091.44/774.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3093.84/774.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.15
3093.84/774.73	c Calc non-exist non-lernt bins v-fix:     0 done:  19324 time:  0.04 s
3093.84/774.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3093.84/774.75	c Subs w/ non-existent bins:      0 time:  0.08 s
3094.24/774.85	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3094.24/774.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3094.24/774.86	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
3107.02/778.02	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
3111.41/779.18	c Added 0 vars  tried: 80000 time: 4.65
3111.41/779.18	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    4.65
3111.81/779.23	c lits-rem:         9  cl-subs:     3631  v-elim:    321  v-fix:    0  time: 17.46 s
3111.81/779.23	c learnt bin added due to v-elim: 0
3111.81/779.24	c vivif2 --  cl tried    83129 cl shrink        0 lits rem          0 time: 0.04
3111.81/779.26	c vivif2 --  cl tried    52043 cl shrink        0 lits rem          0 time: 0.07
3112.21/779.33	c asymm  cl-useful: 0/18996/83129 lits-rem:0 time: 0.28
3112.21/779.34	c calculated reachability. Time: 0.00
3112.21/779.34	c  N dy  8392   1210356     19324     83129         2     52043    253240   1246989    176.59    119.51  --
3151.36/789.15	c  N dy  8532   1230358     19324     83129         2     72045    253240   4736949    172.93    119.49  --
3195.31/800.15	c  N dy  8672   1250437     19324     83129         2     92121    253240   8300267    170.16    119.49  --
3239.24/811.17	c  N dy  8810   1270451     19324     83129         2     60139    253240   2005546    175.25    119.51  --
3280.39/821.44	c  N dy  8949   1290458     19324     83129         2     80143    253240   5542124    173.39    119.49  --
3327.53/833.25	c  N dy  9089   1310552     19324     83129         2    100232    253240   9160657    171.18    119.51  --
3369.07/843.67	c  N dy  9229   1330676     19324     83129         2     67363    253240   3058874    179.23    119.51  --
3413.02/854.66	c  N dy  9369   1350695     19324     83129         2     87379    253240   6680138    170.52    119.55  --
3459.75/866.36	c  N dy  9509   1370718     19324     83129         2    107400    253240  10193635    178.23    119.55  --
3500.89/876.63	c  N dy  9649   1390727     19324     83129         2     73410    253240   3944813    183.35    119.55  --
3546.43/888.07	c  N dy  9790   1410854     19324     83129         2     93533    253240   7504362    176.54    119.55  --
3592.38/899.52	c  N dy  9930   1430972     19324     83129         2     58658    253240   1175773    197.35    119.55  --
3630.32/909.05	c  N dy 10070   1451009     19324     83129         2     78693    253240   4731968    182.09    119.55  --
3672.26/919.59	c  N dy 10209   1471050     19324     83129         2     98731    253240   8354018    171.39    119.58  --
3714.60/930.15	c  N dy 10349   1491172     19324     83129         2     62856    253240   1730033    185.44    119.59  --
3752.95/939.77	c  N dy 10489   1511187     19324     83129         2     82868    253240   5260069    169.67    119.59  --
3796.90/950.73	c  N dy 10629   1531254     19324     83129         2    102933    253240   8815490    180.85    119.60  --
3840.84/961.74	c  N dy 10768   1551284     19324     83129         2     65970    253240   2091058    186.51    119.60  --
3881.98/972.02	c  N dy 10908   1571346     19324     83129         2     86025    253240   5623209    171.60    119.60  --
3927.52/983.43	c  N dy 11049   1591439     19324     83129         2    106115    253240   9177675    175.88    119.59  --
3971.46/994.44	c  N dy 11188   1611441     19324     83129         2     68123    253240   2335154    180.62    119.61  --
4014.61/1005.26	c  N dy 11329   1631553     19324     83129         2     88234    253240   5902906    155.76    119.61  --
4062.95/1017.31	c  N dy 11469   1651673     19324     83129         2    108353    253240   9458052    169.10    119.60  --
4107.68/1028.54	c  N dy 11609   1671741     19324     83129         2     69423    253240   2394288    176.85    119.61  --
4151.62/1039.50	c  N dy 11749   1691789     19324     83129         2     89468    253240   6016273    193.76    119.63  --
4199.16/1051.42	c  S st 11879   1710358     19324     83129         2    108037    253240   9306448    187.62    119.63  --
4200.77/1051.80	c  S st 11879   1710861     19324     83129         2    108540    253240   9370451    187.62    119.63  --
4200.77/1051.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4200.77/1051.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4205.94/1053.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 15.0M T:  5.24
4205.94/1053.15	c Calc non-exist non-lernt bins v-fix:     0 done:  19324 time:  0.04 s
4205.94/1053.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4206.34/1053.23	c Subs w/ non-existent bins:      0 time:  0.32 s
4208.34/1053.78	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4208.34/1053.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4208.34/1053.79	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-3172630-1304079815/watcher-3172630-1304079815 -o /tmp/evaluation-result-3172630-1304079815/solver-3172630-1304079815 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172630-1304079815.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.49 7.94 7.63 2/172 7436
/proc/meminfo: memFree=29761384/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=23100 CPUtime=0 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 1089 0 0 0 0 0 0 0 25 0 1 0 500396819 23654400 1028 33554432000 4194304 4797429 140736289408464 18446744073709551615 4365441 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7436/statm: 5775 1029 341 148 0 704 0

[startup+0.09591 s]
/proc/loadavg: 7.49 7.94 7.63 2/172 7436
/proc/meminfo: memFree=29761384/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=91176 CPUtime=0.08 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 12898 0 0 0 7 1 0 0 25 0 1 0 500396819 93364224 9556 33554432000 4194304 4797429 140736289408464 18446744073709551615 254261277381 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7436/statm: 22794 9556 348 148 0 17723 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 91176

[startup+0.10091 s]
/proc/loadavg: 7.49 7.94 7.63 2/172 7436
/proc/meminfo: memFree=29761384/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=92572 CPUtime=0.09 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 13203 0 0 0 8 1 0 0 25 0 1 0 500396819 94793728 9853 33554432000 4194304 4797429 140736289408464 18446744073709551615 254261285105 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7436/statm: 23143 9853 348 148 0 18072 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92572

[startup+0.300842 s]
/proc/loadavg: 7.49 7.94 7.63 2/172 7436
/proc/meminfo: memFree=29761384/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=199932 CPUtime=0.47 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 17267 0 0 0 45 2 0 0 25 0 4 0 500396819 204730368 13692 33554432000 4194304 4797429 140736289408464 18446744073709551615 4427299 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 49983 13692 373 148 0 44912 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 199932

[startup+0.894151 s]
/proc/loadavg: 7.49 7.94 7.63 2/172 7436
/proc/meminfo: memFree=29761384/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=817280 CPUtime=2.82 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 28487 0 0 0 272 10 0 0 18 0 4 0 500396819 836894720 22813 33554432000 4194304 4797429 140736289408464 18446744073709551615 254261313211 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 204320 22813 410 148 0 199249 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 817280

[startup+1.50063 s]
/proc/loadavg: 7.49 7.94 7.63 12/184 7453
/proc/meminfo: memFree=29631172/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=817280 CPUtime=5.23 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 30145 0 0 0 513 10 0 0 19 0 4 0 500396819 836894720 24458 33554432000 4194304 4797429 140736289408464 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 204320 24458 412 148 0 199249 0
[pid=7436/tid=7451] ppid=7434 vsize=817280 CPUtime=1.24 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 3064 0 0 0 122 2 0 0 19 0 4 0 500396843 836894720 24458 33554432000 4194304 4797429 140736289408464 18446744073709551615 4424432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=817280 CPUtime=1.25 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 3169 0 0 0 123 2 0 0 19 0 4 0 500396843 836894720 24458 33554432000 4194304 4797429 140736289408464 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=817280 CPUtime=1.24 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 2892 0 0 0 122 2 0 0 19 0 4 0 500396843 836894720 24458 33554432000 4194304 4797429 140736289408464 18446744073709551615 4385748 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 817280

[startup+3.10034 s]
/proc/loadavg: 7.49 7.94 7.63 9/184 7453
/proc/meminfo: memFree=29604636/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=821340 CPUtime=11.63 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 34795 0 0 0 1151 12 0 0 23 0 4 0 500396819 841052160 29091 33554432000 4194304 4797429 140736289408464 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 205335 29091 413 148 0 200264 0
[pid=7436/tid=7451] ppid=7434 vsize=821340 CPUtime=2.84 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 4114 0 0 0 282 2 0 0 23 0 4 0 500396843 841052160 29091 33554432000 4194304 4797429 140736289408464 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=821340 CPUtime=2.84 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 4639 0 0 0 282 2 0 0 22 0 4 0 500396843 841052160 29091 33554432000 4194304 4797429 140736289408464 18446744073709551615 4341204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=821340 CPUtime=2.83 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 3938 0 0 0 281 2 0 0 23 0 4 0 500396843 841052160 29091 33554432000 4194304 4797429 140736289408464 18446744073709551615 4387498 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.63
Current children cumulated vsize (KiB) 821340

[startup+6.30077 s]
/proc/loadavg: 7.53 7.94 7.63 9/184 7453
/proc/meminfo: memFree=29547472/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=837116 CPUtime=24.38 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 45927 0 0 0 2412 26 0 0 20 0 4 0 500396819 857206784 40208 33554432000 4194304 4797429 140736289408464 18446744073709551615 4425625 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 209279 40208 416 148 0 204208 0
[pid=7436/tid=7451] ppid=7434 vsize=837116 CPUtime=6.02 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 7114 0 0 0 595 7 0 0 20 0 4 0 500396843 857206784 40208 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=837116 CPUtime=6.04 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 7715 0 0 0 600 4 0 0 21 0 4 0 500396843 857206784 40208 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=837116 CPUtime=6 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 6920 0 0 0 592 8 0 0 20 0 4 0 500396843 857206784 40208 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.38
Current children cumulated vsize (KiB) 837116

[startup+12.7006 s]
/proc/loadavg: 7.65 7.96 7.64 9/184 7453
/proc/meminfo: memFree=29524820/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=843836 CPUtime=49.94 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 54025 0 0 0 4964 30 0 0 25 0 4 0 500396819 864088064 44258 33554432000 4194304 4797429 140736289408464 18446744073709551615 4524596 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 210959 44258 417 148 0 205888 0
[pid=7436/tid=7451] ppid=7434 vsize=843836 CPUtime=12.42 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 7506 0 0 0 1234 8 0 0 25 0 4 0 500396843 864088064 44258 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=843836 CPUtime=12.44 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 8194 0 0 0 1240 4 0 0 25 0 4 0 500396843 864088064 44258 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568126 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=843836 CPUtime=12.37 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 7357 0 0 0 1229 8 0 0 25 0 4 0 500396843 864088064 44258 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (KiB) 843836

[startup+25.5064 s]
/proc/loadavg: 7.73 7.96 7.64 9/184 7454
/proc/meminfo: memFree=29503752/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=851132 CPUtime=101.09 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 62363 0 0 0 10074 35 0 0 25 0 4 0 500396819 871559168 47315 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 212783 47315 419 148 0 207712 0
[pid=7436/tid=7451] ppid=7434 vsize=851132 CPUtime=25.22 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 8508 0 0 0 2514 8 0 0 25 0 4 0 500396843 871559168 47315 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=851132 CPUtime=25.25 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 9374 0 0 0 2520 5 0 0 25 0 4 0 500396843 871559168 47315 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=851132 CPUtime=25.11 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 8708 0 0 0 2502 9 0 0 25 0 4 0 500396843 871559168 47315 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 851132

[startup+51.1008 s]
/proc/loadavg: 7.82 7.96 7.65 9/184 7454
/proc/meminfo: memFree=29460744/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=864792 CPUtime=203.34 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 80081 0 0 0 20290 44 0 0 25 0 4 0 500396819 885547008 53827 33554432000 4194304 4797429 140736289408464 18446744073709551615 4424335 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 216198 53827 420 148 0 211127 0
[pid=7436/tid=7451] ppid=7434 vsize=864792 CPUtime=50.82 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 10208 0 0 0 5073 9 0 0 25 0 4 0 500396843 885547008 53827 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=864792 CPUtime=50.84 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 10999 0 0 0 5078 6 0 0 25 0 4 0 500396843 885547008 53827 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=864792 CPUtime=50.56 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 10776 0 0 0 5047 9 0 0 25 0 4 0 500396843 885547008 53827 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.34
Current children cumulated vsize (KiB) 864792

[startup+102.301 s]
/proc/loadavg: 8.20 8.03 7.68 10/185 7459
/proc/meminfo: memFree=29405236/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=883692 CPUtime=407.85 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 108286 0 0 0 40727 58 0 0 25 0 4 0 500396819 904900608 59929 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 220923 59929 420 148 0 215852 0
[pid=7436/tid=7451] ppid=7434 vsize=883692 CPUtime=102.01 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 13959 0 0 0 10190 11 0 0 25 0 4 0 500396843 904900608 59929 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=883692 CPUtime=102.04 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 15102 0 0 0 10196 8 0 0 25 0 4 0 500396843 904900608 59929 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=883692 CPUtime=101.48 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 14439 0 0 0 10137 11 0 0 25 0 4 0 500396843 904900608 59929 33554432000 4194304 4797429 140736289408464 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.85
Current children cumulated vsize (KiB) 883692

[startup+162.301 s]
/proc/loadavg: 8.18 8.06 7.72 9/184 7460
/proc/meminfo: memFree=29400056/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=898744 CPUtime=647.53 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 139139 0 0 0 64679 74 0 0 25 0 4 0 500396819 920313856 61861 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 224686 61861 420 148 0 219615 0
[pid=7436/tid=7451] ppid=7434 vsize=898744 CPUtime=162.02 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 17994 0 0 0 16189 13 0 0 25 0 4 0 500396843 920313856 61861 33554432000 4194304 4797429 140736289408464 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=898744 CPUtime=162.05 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 19016 0 0 0 16195 10 0 0 25 0 4 0 500396843 920313856 61861 33554432000 4194304 4797429 140736289408464 18446744073709551615 4653328 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=898744 CPUtime=161.16 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 18238 0 0 0 16103 13 0 0 25 0 4 0 500396843 920313856 61861 33554432000 4194304 4797429 140736289408464 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.53
Current children cumulated vsize (KiB) 898744

[startup+222.3 s]
/proc/loadavg: 8.19 8.09 7.75 9/184 7462
/proc/meminfo: memFree=29358468/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=905496 CPUtime=887.22 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 173241 0 0 0 88629 93 0 0 25 0 4 0 500396819 927227904 68868 33554432000 4194304 4797429 140736289408464 18446744073709551615 4495544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 226374 68868 420 148 0 221303 0
[pid=7436/tid=7451] ppid=7434 vsize=905496 CPUtime=222.02 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 20653 0 0 0 22188 14 0 0 25 0 4 0 500396843 927227904 68868 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=905496 CPUtime=222.05 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 21359 0 0 0 22194 11 0 0 25 0 4 0 500396843 927227904 68868 33554432000 4194304 4797429 140736289408464 18446744073709551615 4526212 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=905496 CPUtime=220.82 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 20410 0 0 0 22069 13 0 0 25 0 4 0 500396843 927227904 68868 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.22
Current children cumulated vsize (KiB) 905496

[startup+282.301 s]

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

[pid=7436] ppid=7434 vsize=951228 CPUtime=2804.63 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 375479 0 0 0 280251 212 0 0 25 0 4 0 500396819 974057472 86687 33554432000 4194304 4797429 140736289408464 18446744073709551615 4387526 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 237807 86687 420 148 0 232736 0
[pid=7436/tid=7451] ppid=7434 vsize=951228 CPUtime=702.03 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 38077 0 0 0 70182 21 0 0 25 0 4 0 500396843 974057472 86687 33554432000 4194304 4797429 140736289408464 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=951228 CPUtime=702.06 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 39440 0 0 0 70187 19 0 0 25 0 4 0 500396843 974057472 86687 33554432000 4194304 4797429 140736289408464 18446744073709551615 4523866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=951228 CPUtime=698.22 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 37161 0 0 0 69801 21 0 0 25 0 4 0 500396843 974057472 86687 33554432000 4194304 4797429 140736289408464 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.63
Current children cumulated vsize (KiB) 951228

[startup+762.3 s]
/proc/loadavg: 8.18 8.14 7.91 9/184 7476
/proc/meminfo: memFree=29224400/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=960300 CPUtime=3044.31 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 409112 0 0 0 304200 231 0 0 25 0 4 0 500396819 983347200 91369 33554432000 4194304 4797429 140736289408464 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 240075 91369 420 148 0 235004 0
[pid=7436/tid=7451] ppid=7434 vsize=960300 CPUtime=762.02 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 41681 0 0 0 76180 22 0 0 25 0 4 0 500396843 983347200 91369 33554432000 4194304 4797429 140736289408464 18446744073709551615 4524081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=960300 CPUtime=762.06 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 42428 0 0 0 76186 20 0 0 25 0 4 0 500396843 983347200 91369 33554432000 4194304 4797429 140736289408464 18446744073709551615 4237276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=960300 CPUtime=757.9 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 40332 0 0 0 75767 23 0 0 25 0 4 0 500396843 983347200 91369 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.31
Current children cumulated vsize (KiB) 960300

[startup+822.301 s]
/proc/loadavg: 8.12 8.13 7.91 9/184 7478
/proc/meminfo: memFree=29209128/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=960444 CPUtime=3283.99 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 432953 0 0 0 328150 249 0 0 25 0 4 0 500396819 983494656 93536 33554432000 4194304 4797429 140736289408464 18446744073709551615 4395244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 240111 93536 420 148 0 235040 0
[pid=7436/tid=7451] ppid=7434 vsize=960444 CPUtime=822.03 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 43135 0 0 0 82180 23 0 0 25 0 4 0 500396843 983494656 93536 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=960444 CPUtime=822.06 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 43372 0 0 0 82185 21 0 0 25 0 4 0 500396843 983494656 93536 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=960444 CPUtime=817.57 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 41372 0 0 0 81733 24 0 0 25 0 4 0 500396843 983494656 93536 33554432000 4194304 4797429 140736289408464 18446744073709551615 4242448 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.99
Current children cumulated vsize (KiB) 960444

[startup+882.301 s]
/proc/loadavg: 8.09 8.12 7.92 9/184 7479
/proc/meminfo: memFree=29200780/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=963996 CPUtime=3523.69 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 456155 0 0 0 352104 265 0 0 25 0 4 0 500396819 987131904 95298 33554432000 4194304 4797429 140736289408464 18446744073709551615 4422876 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 240999 95298 420 148 0 235928 0
[pid=7436/tid=7451] ppid=7434 vsize=963996 CPUtime=882.03 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 43610 0 0 0 88180 23 0 0 25 0 4 0 500396843 987131904 95298 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=963996 CPUtime=882.07 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 43893 0 0 0 88186 21 0 0 25 0 4 0 500396843 987131904 95298 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=963996 CPUtime=877.24 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 41867 0 0 0 87700 24 0 0 25 0 4 0 500396843 987131904 95298 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.69
Current children cumulated vsize (KiB) 963996

[startup+942.3 s]
/proc/loadavg: 8.08 8.11 7.93 9/184 7481
/proc/meminfo: memFree=29214872/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=968760 CPUtime=3763.34 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 488325 0 0 0 376052 282 0 0 25 0 4 0 500396819 992010240 91880 33554432000 4194304 4797429 140736289408464 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 242190 91880 420 148 0 237119 0
[pid=7436/tid=7451] ppid=7434 vsize=968760 CPUtime=942.03 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 46379 0 0 0 94179 24 0 0 25 0 4 0 500396843 992010240 91880 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=968760 CPUtime=942.06 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 47419 0 0 0 94183 23 0 0 25 0 4 0 500396843 992010240 91880 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=968760 CPUtime=936.91 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 44453 0 0 0 93666 25 0 0 25 0 4 0 500396843 992010240 91880 33554432000 4194304 4797429 140736289408464 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.34
Current children cumulated vsize (KiB) 968760

[startup+1002.31 s]
/proc/loadavg: 8.11 8.12 7.94 9/184 7483
/proc/meminfo: memFree=29192648/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=968820 CPUtime=4003.04 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 514580 0 0 0 400004 300 0 0 25 0 4 0 500396819 992071680 94620 33554432000 4194304 4797429 140736289408464 18446744073709551615 4413417 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 242205 94620 420 148 0 237134 0
[pid=7436/tid=7451] ppid=7434 vsize=968820 CPUtime=1002.04 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 47995 0 0 0 100179 25 0 0 25 0 4 0 500396843 992071680 94620 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=968820 CPUtime=1002.07 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 48681 0 0 0 100183 24 0 0 25 0 4 0 500396843 992071680 94620 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=968820 CPUtime=996.6 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 45724 0 0 0 99634 26 0 0 25 0 4 0 500396843 992071680 94620 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.04
Current children cumulated vsize (KiB) 968820

[startup+1062.3 s]
/proc/loadavg: 8.12 8.12 7.95 9/184 7484
/proc/meminfo: memFree=29162972/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=969124 CPUtime=4242.7 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 536262 0 0 0 423954 316 0 0 25 0 4 0 500396819 992382976 104379 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 242281 104379 420 148 0 237210 0
[pid=7436/tid=7451] ppid=7434 vsize=969124 CPUtime=1062.04 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 49040 0 0 0 106178 26 0 0 25 0 4 0 500396843 992382976 104379 33554432000 4194304 4797429 140736289408464 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=969124 CPUtime=1062.06 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 49376 0 0 0 106182 24 0 0 25 0 4 0 500396843 992382976 104379 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=969124 CPUtime=1056.26 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 46463 0 0 0 105600 26 0 0 25 0 4 0 500396843 992382976 104379 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.7
Current children cumulated vsize (KiB) 969124

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 7.95 9/184 7486
/proc/meminfo: memFree=29155252/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=972984 CPUtime=4482.38 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 539730 0 0 0 447920 318 0 0 25 0 4 0 500396819 996335616 103357 33554432000 4194304 4797429 140736289408464 18446744073709551615 4567894 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 243246 103357 420 148 0 238175 0
[pid=7436/tid=7451] ppid=7434 vsize=972984 CPUtime=1122.03 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 50067 0 0 0 112177 26 0 0 25 0 4 0 500396843 996335616 103357 33554432000 4194304 4797429 140736289408464 18446744073709551615 4501983 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=972984 CPUtime=1122.07 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 51222 0 0 0 112182 25 0 0 25 0 4 0 500396843 996335616 103357 33554432000 4194304 4797429 140736289408464 18446744073709551615 4503991 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=972984 CPUtime=1115.94 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 47058 0 0 0 111567 27 0 0 25 0 4 0 500396843 996335616 103357 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.38
Current children cumulated vsize (KiB) 972984

[startup+1182.3 s]
/proc/loadavg: 8.06 8.10 7.96 9/184 7487
/proc/meminfo: memFree=29136128/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=989240 CPUtime=4722.06 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 549398 0 0 0 471882 324 0 0 25 0 4 0 500396819 1012981760 103625 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 247310 103625 420 148 0 242239 0
[pid=7436/tid=7451] ppid=7434 vsize=989240 CPUtime=1182.04 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 52373 0 0 0 118176 28 0 0 25 0 4 0 500396843 1012981760 103625 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568055 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=989240 CPUtime=1182.07 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 54671 0 0 0 118180 27 0 0 25 0 4 0 500396843 1012981760 103625 33554432000 4194304 4797429 140736289408464 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=989240 CPUtime=1175.62 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 50971 0 0 0 117533 29 0 0 25 0 4 0 500396843 1012981760 103625 33554432000 4194304 4797429 140736289408464 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.06
Current children cumulated vsize (KiB) 989240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.11 8.11 7.96 9/184 7488
/proc/meminfo: memFree=29127816/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=989240 CPUtime=4800.37 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 551128 0 0 0 479712 325 0 0 25 0 4 0 500396819 1012981760 105206 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 247310 105206 420 148 0 242239 0
[pid=7436/tid=7451] ppid=7434 vsize=989240 CPUtime=1201.64 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 53021 0 0 0 120136 28 0 0 25 0 4 0 500396843 1012981760 105206 33554432000 4194304 4797429 140736289408464 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=989240 CPUtime=1201.67 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 55137 0 0 0 120140 27 0 0 25 0 4 0 500396843 1012981760 105206 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=989240 CPUtime=1195.11 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 51587 0 0 0 119482 29 0 0 25 0 4 0 500396843 1012981760 105206 33554432000 4194304 4797429 140736289408464 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 989240

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.11 8.11 7.96 9/184 7488
/proc/meminfo: memFree=29127816/32951124 swapFree=67111348/67111528
[pid=7436] ppid=7434 vsize=989240 CPUtime=4800.37 cores=1,3,5,7
/proc/7436/stat : 7436 (techdemo) R 7434 7436 4923 0 -1 4202496 551128 0 0 0 479712 325 0 0 25 0 4 0 500396819 1012981760 105206 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7436/statm: 247310 105206 420 148 0 242239 0
[pid=7436/tid=7451] ppid=7434 vsize=989240 CPUtime=1201.64 cores=1,3,5,7
/proc/7436/task/7451/stat : 7451 (techdemo) R 7434 7436 4923 0 -1 4202560 53021 0 0 0 120136 28 0 0 25 0 4 0 500396843 1012981760 105206 33554432000 4194304 4797429 140736289408464 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7436/tid=7452] ppid=7434 vsize=989240 CPUtime=1201.67 cores=1,3,5,7
/proc/7436/task/7452/stat : 7452 (techdemo) R 7434 7436 4923 0 -1 4202560 55137 0 0 0 120140 27 0 0 25 0 4 0 500396843 1012981760 105206 33554432000 4194304 4797429 140736289408464 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7436/tid=7453] ppid=7434 vsize=989240 CPUtime=1195.11 cores=1,3,5,7
/proc/7436/task/7453/stat : 7453 (techdemo) R 7434 7436 4923 0 -1 4202560 51587 0 0 0 119482 29 0 0 25 0 4 0 500396843 1012981760 105206 33554432000 4194304 4797429 140736289408464 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 989240

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.42
CPU user time (s): 4797.15
CPU system time (s): 3.2725
CPU usage (%): 399.392
Max. virtual memory (cumulated for all children) (KiB): 1099092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.15
system time used= 3.2725
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551128
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= 20382
involuntary context switches= 34334

runsolver used 1.87871 second user time and 4.69728 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 14:23:35
IDJOB=3172630
IDBENCH=82648
IDSOLVER=1584
FILE ID=node140/3172630-1304079815
RUNJOBID= node140-1304078611-7333
PBS_JOBID= 13170433
Free space on /tmp= 72664 MiB

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

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

MD5SUM BENCH= fa8f767b93a18fbf678b4d0ea0994bed
RANDOM SEED=181543515

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29761664 kB
Buffers:        993484 kB
Cached:        1643472 kB
SwapCached:        180 kB
Active:         150828 kB
Inactive:      2548712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29761664 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            9336 kB
Writeback:           0 kB
AnonPages:       62432 kB
Mapped:          14684 kB
Slab:           426292 kB
PageTables:       4648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184124 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= 72644 MiB
End job on node140 at 2011-04-29 14:43:39