Trace number 3172549

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.12 1203.43

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf
MD5SUM211de71ef1119669a20965247c8273d8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.9058
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
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-3172549-1304062771.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.09/0.16	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.09/0.16	c -- vars added      15000
0.09/0.16	c Parsing time:  0.15 s
0.09/0.17	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.28/0.21	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.18
0.28/0.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.14
0.28/0.26	c Calc non-exist non-lernt bins v-fix:     0 done:  15000 time:  0.02 s
0.28/0.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.28/0.26	c Subs w/ non-existent bins:      0 time:  0.01 s
0.64/0.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.64/0.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.64/0.40	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1.68/0.58	c lits-rem:         0  cl-subs:        0  v-elim:    912  v-fix:    0  time:  0.64 s
1.68/0.58	c learnt bin added due to v-elim: 0
1.68/0.58	c Finding binary XORs  T:     0.01 s  found:       0
1.68/0.58	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
1.68/0.58	c calculated reachability. Time: 0.00
1.68/0.58	c Calc default polars -  time:   0.02 s pos:    6622 undec:    1767 neg:    6611
1.68/0.58	c =========================================================================================
1.68/0.58	c types(t): F = full restart, N = normal restart
1.68/0.58	c types(t): S = simplification begin/end, E = solution found
1.68/0.58	c restart types(rt): st = static, dy = dynamic
1.68/0.58	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.68/0.58	c  B st     0         0     14467     62365         0         0    190212         0   no data   no data  --
3.46/1.03	c Decided on dynamic restart strategy
5.04/1.48	c  N dy    20      4078     14467     62365         0      4074    190212    712612    155.16    111.03  --
9.42/2.52	c  N dy    49      8186     14467     62365         0      8182    190212   1317615    137.50    105.75  --
13.41/3.52	c  N dy    77     12245     14467     62365         0     12241    190212   1938631    153.09    103.76  --
17.61/4.61	c  N dy   106     16358     14467     62365         0     16354    190212   2565754    153.36    103.37  --
20.97/5.73	c  N dy   134     20422     14467     62365         0     10420    190212    503999    162.43    103.41  --
23.96/6.78	c  N dy   162     24428     14467     62365         0     14425    190212   1146158    164.81    104.00  --
27.26/7.86	c  N dy   191     28563     14467     62365         0     18560    190212   1749779    149.11    103.12  --
29.06/8.42	c  S st   201     30001     14467     62365         0     19998    190212   1975804    155.70    103.09  --
29.40/8.57	c  S st   201     30504     14467     62365         0     20501    190212   2031306    155.70    103.09  --
29.40/8.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
29.40/8.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.03/8.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.60
30.03/8.79	c Calc non-exist non-lernt bins v-fix:     0 done:  14467 time:  0.02 s
30.03/8.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.33/8.81	c Subs w/ non-existent bins:      0 time:  0.05 s
31.52/9.24	c bin-w-bin subsume rem            0 bins  time:  0.01 s
31.52/9.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
31.52/9.25	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.01 s
48.61/13.69	c lits-rem:        20  cl-subs:     1376  v-elim:    225  v-fix:    0  time: 17.26 s
48.61/13.69	c learnt bin added due to v-elim: 0
48.61/13.70	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
49.01/13.72	c vivif2 --  cl tried    19125 cl shrink        0 lits rem          0 time: 0.09
49.81/13.92	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.81
49.81/13.93	c calculated reachability. Time: 0.00
49.81/13.93	c  N dy   201     30504     14467     62365         0     19125    190212   1941040    155.70    103.09  --
49.81/13.93	c  F st   201     30504     14467     62365         0     19125    190212   1941040    155.70    103.09  --
52.21/14.53	c Decided on dynamic restart strategy
54.61/15.10	c  N dy   221     34586     14467     62365         0     23207    190212   2627949    160.49    104.02  --
59.39/16.34	c  N dy   249     38594     14467     62365         0     27215    190212   3261990    161.36    104.09  --
64.98/17.71	c  N dy   277     42642     14467     62365         0     15764    190212    603399    166.32    104.48  --
68.59/18.68	c  S st   299     45758     14467     62365         0     18880    190212   1071137    150.98    104.22  --
69.37/18.84	c  S st   299     46264     14467     62365         0     19386    190212   1133170    150.98    104.22  --
69.37/18.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
69.37/18.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.77/18.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.54
69.77/18.99	c Calc non-exist non-lernt bins v-fix:     0 done:  14467 time:  0.03 s
69.77/18.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
70.17/19.00	c Subs w/ non-existent bins:      0 time:  0.05 s
70.17/19.07	c bin-w-bin subsume rem            0 bins  time:  0.02 s
70.17/19.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
70.17/19.08	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
79.75/21.46	c lits-rem:         4  cl-subs:      556  v-elim:    225  v-fix:    0  time:  9.50 s
79.75/21.46	c learnt bin added due to v-elim: 0
79.75/21.47	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
79.75/21.48	c vivif2 --  cl tried    18830 cl shrink        0 lits rem          0 time: 0.06
80.55/21.64	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.63
80.55/21.64	c calculated reachability. Time: 0.00
80.55/21.64	c  N dy   299     46264     14467     62365         0     18830    190212   1099849    150.98    104.22  --
85.34/22.87	c  N dy   327     50267     14467     62365         0     22832    190212   1722264    154.32    104.25  --
90.56/24.11	c  N dy   356     54391     14467     62365         0     26956    190212   2311579    144.96    103.75  --
95.35/25.39	c  N dy   385     58531     14467     62365         0     31094    190212   2979603    156.14    104.06  --
100.52/26.67	c  N dy   414     62614     14467     62365         0     35177    190212   3592599    153.04    103.84  --
106.11/28.01	c  N dy   442     66622     14467     62365         0     20438    190212    816636    156.14    104.01  --
109.71/28.99	c  S st   462     69396     14467     62365         0     23212    190212   1251024    163.90    103.99  --
110.51/29.15	c  S st   462     69897     14467     62365         0     23713    190212   1307126    163.90    103.99  --
110.51/29.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
110.51/29.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.31/29.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.64
111.31/29.33	c Calc non-exist non-lernt bins v-fix:     0 done:  14467 time:  0.03 s
111.31/29.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.31/29.34	c Subs w/ non-existent bins:      0 time:  0.06 s
111.71/29.43	c bin-w-bin subsume rem            0 bins  time:  0.02 s
111.71/29.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
111.71/29.44	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
122.08/32.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
129.27/33.82	c Added 0 vars  tried: 80000 time: 7.20
129.27/33.82	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.20
129.27/33.86	c lits-rem:         3  cl-subs:      803  v-elim:    225  v-fix:    0  time: 17.64 s
129.27/33.86	c learnt bin added due to v-elim: 0
129.27/33.87	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
129.27/33.88	c vivif2 --  cl tried    22910 cl shrink        0 lits rem          0 time: 0.06
130.09/34.06	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.71
130.09/34.07	c calculated reachability. Time: 0.00
130.09/34.07	c  N dy   462     69897     14467     62365         0     22910    190212   1266520    163.90    103.99  --
130.09/34.07	c  F st   462     69897     14467     62365         0     22910    190212   1266520    163.90    103.99  --
132.87/34.78	c Decided on dynamic restart strategy
136.05/35.58	c  N dy   485     74445     14467     62365         0     27457    190212   2063108    150.36    104.90  --
142.45/37.16	c  N dy   519     79314     14467     62365         0     32325    190212   2793901    147.72    104.63  --
149.24/38.80	c  N dy   555     84466     14467     62365         0     37474    190212   3587056    147.68    104.59  --
156.44/40.64	c  N dy   593     89903     14467     62365         0     22039    190212    704784    147.89    104.48  --
163.61/42.47	c  N dy   633     95645     14467     62365         0     27781    190212   1581773    159.04    104.31  --
172.00/44.55	c  N dy   676    101762     14467     62365         0     33897    190212   2527695    156.24    104.19  --
177.20/45.82	c  S st   698    104846     14467     62365         0     36981    190212   2992699    149.53    104.12  --
178.00/46.00	c  S st   698    105350     14467     62365         0     37485    190212   3052293    149.53    104.12  --
178.00/46.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
178.00/46.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
178.82/46.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.04
178.82/46.28	c Calc non-exist non-lernt bins v-fix:     0 done:  14467 time:  0.03 s
178.82/46.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
179.19/46.31	c Subs w/ non-existent bins:      0 time:  0.11 s
179.59/46.47	c bin-w-bin subsume rem            0 bins  time:  0.02 s
179.59/46.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
179.59/46.48	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
209.92/54.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
210.32/54.12	c lits-rem:         0  cl-subs:     1420  v-elim:    225  v-fix:    0  time: 30.46 s
210.32/54.12	c learnt bin added due to v-elim: 0
210.32/54.12	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
210.32/54.16	c vivif2 --  cl tried    36065 cl shrink        0 lits rem          0 time: 0.13
211.52/54.45	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 1.18
211.52/54.46	c calculated reachability. Time: 0.00
211.52/54.46	c  N dy   698    105350     14467     62365         0     36065    190212   2937609    149.53    104.12  --
220.31/56.63	c  N dy   746    112132     14467     62365         0     42847    190212   3971038    155.14    104.00  --
229.09/58.82	c  N dy   796    119295     14467     62365         0     27574    190212   1288539    152.41    104.00  --
238.28/61.17	c  N dy   850    126990     14467     62365         0     35269    190212   2402355    154.78    103.62  --
249.08/63.82	c  N dy   907    135132     14467     62365         0     43410    190212   3679271    154.49    103.56  --
260.24/66.69	c  N dy   968    143816     14469     62365         4     28377    190220   1217375    158.55    103.60  --
272.22/69.65	c  N dy  1033    153063     14469     62365         4     37622    190220   2660897    145.19    103.55  --
279.83/71.58	c  S st  1068    158026     14469     62365         4     42585    190220   3430949    154.44    103.57  --
280.60/71.78	c  S st  1068    158531     14469     62365         4     43090    190220   3485209    154.44    103.57  --
280.60/71.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
280.60/71.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
281.80/72.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.20
281.80/72.10	c Calc non-exist non-lernt bins v-fix:     0 done:  14469 time:  0.03 s
281.80/72.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.20/72.12	c Subs w/ non-existent bins:      0 time:  0.12 s
282.60/72.29	c bin-w-bin subsume rem            0 bins  time:  0.02 s
283.00/72.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
283.00/72.31	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
359.68/91.58	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
360.08/91.65	c lits-rem:         0  cl-subs:     1875  v-elim:    226  v-fix:    0  time: 77.21 s
360.08/91.65	c learnt bin added due to v-elim: 0
360.08/91.65	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
360.08/91.69	c vivif2 --  cl tried    41215 cl shrink        0 lits rem          0 time: 0.16
361.68/92.03	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 1.33
361.68/92.03	c calculated reachability. Time: 0.00
361.68/92.03	c  N dy  1068    158531     14469     62365         4     41215    190220   3334183    154.44    103.57  --
375.65/95.60	c  N dy  1139    168684     14469     62365         4     26509    190220    719937    147.34    103.52  --
390.02/99.11	c  N dy  1215    179512     14469     62365         4     37333    190220   2367740    151.39    103.38  --
406.41/103.21	c  N dy  1296    191063     14469     62365         4     48884    190220   4128047    155.16    103.23  --
422.78/107.35	c  N dy  1381    203259     14469     62365         4     35154    190220   1915829    166.27    103.36  --
441.14/111.90	c  N dy  1472    216265     14469     62365         4     48157    190220   3921459    154.59    103.32  --
460.30/116.73	c  N dy  1569    230150     14469     62365         4     35078    190220   1702777    165.55    103.30  --
471.88/119.63	c  S st  1623    237796     14469     62365         4     42724    190220   2890914    142.92    103.32  --
472.70/119.84	c  S st  1623    238303     14469     62365         4     43231    190220   2956090    142.92    103.32  --
472.70/119.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
472.70/119.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
473.88/120.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.22
473.88/120.17	c Calc non-exist non-lernt bins v-fix:     0 done:  14469 time:  0.03 s
473.88/120.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
473.88/120.19	c Subs w/ non-existent bins:      0 time:  0.11 s
474.68/120.35	c bin-w-bin subsume rem            0 bins  time:  0.02 s
474.68/120.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
474.68/120.36	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
507.85/128.66	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
508.25/128.72	c lits-rem:        28  cl-subs:     2148  v-elim:    226  v-fix:    0  time: 33.40 s
508.25/128.72	c learnt bin added due to v-elim: 0
508.25/128.73	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
508.25/128.76	c vivif2 --  cl tried    41083 cl shrink        0 lits rem          0 time: 0.13
509.42/129.08	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 1.25
509.42/129.08	c calculated reachability. Time: 0.00
509.42/129.08	c  N dy  1623    238303     14469     62365         4     41083    190220   2829287    142.92    103.32  --
532.19/134.73	c  N dy  1729    253585     14469     62365         4     28385    190220    499208    156.85    103.39  --
552.94/139.92	c  N dy  1843    269801     14469     62365         4     44596    190220   2996104    157.65    103.35  --
576.91/145.90	c  N dy  1964    287150     14469     62365         4     32954    190220   1068413    162.80    103.41  --
601.66/152.19	c  N dy  2093    305585     14469     62365         4     51387    190220   3920848    155.29    103.39  --
629.22/159.06	c  N dy  2230    325136     14469     62365         4     40947    190220   2096497    150.44    103.39  --
659.17/166.54	c  N dy  2370    345190     14469     62365         4     60996    190220   5231154    150.90    103.41  --
677.14/171.01	c  S st  2456    357455     14469     62365         4     42268    190220   2141861    145.48    103.41  --
677.94/171.20	c  S st  2456    357959     14469     62365         4     42772    190220   2200459    145.48    103.41  --
677.94/171.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
677.94/171.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
679.15/171.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  1.14
679.15/171.51	c Calc non-exist non-lernt bins v-fix:     0 done:  14469 time:  0.03 s
679.15/171.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
679.15/171.53	c Subs w/ non-existent bins:      0 time:  0.08 s
679.56/171.63	c bin-w-bin subsume rem            0 bins  time:  0.02 s
679.56/171.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
679.56/171.64	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
701.11/177.00	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
709.90/179.22	c Added 0 vars  tried: 80000 time: 8.83
709.90/179.22	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:    8.83
709.90/179.27	c lits-rem:         2  cl-subs:     2246  v-elim:    226  v-fix:    0  time: 30.42 s
709.90/179.27	c learnt bin added due to v-elim: 0
709.90/179.27	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
709.90/179.29	c vivif2 --  cl tried    40526 cl shrink        0 lits rem          0 time: 0.10
711.08/179.55	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 1.00
711.08/179.55	c calculated reachability. Time: 0.00
711.08/179.55	c  N dy  2456    357959     14469     62365         4     40526    190220   2102270    145.48    103.41  --
741.43/187.13	c  N dy  2596    378054     14469     62365         4     60616    190220   5276609    158.50    103.50  --
770.58/194.46	c  N dy  2736    398120     14469     62365         4     48687    190220   3015045    148.76    103.50  --
802.93/202.57	c  N dy  2876    418203     14469     62365         4     35772    190220    853408    166.85    103.57  --
832.90/210.08	c  N dy  3017    438357     14469     62365         4     55921    190220   3977450    166.74    103.57  --
864.43/217.90	c  N dy  3157    458368     14469     62365         4     41936    190220   1607157    150.76    103.52  --
894.39/225.42	c  N dy  3296    478421     14469     62365         4     61986    190220   4728700    156.92    103.51  --
923.94/232.81	c  N dy  3436    498506     14469     62365         4     47074    190220   2278888    158.88    103.51  --
953.88/240.33	c  N dy  3576    518568     14469     62365         4     67131    190220   5418712    149.22    103.53  --
981.04/247.17	c  S st  3704    536938     14469     62365         4     49503    190220   2492775    161.12    103.51  --
981.84/247.38	c  S st  3704    537442     14469     62365         4     50007    190220   2558381    161.12    103.51  --
981.84/247.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
981.84/247.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
983.43/247.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  1.48
983.43/247.77	c Calc non-exist non-lernt bins v-fix:     0 done:  14469 time:  0.03 s
983.43/247.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
983.43/247.79	c Subs w/ non-existent bins:      0 time:  0.10 s
984.23/247.92	c bin-w-bin subsume rem            0 bins  time:  0.02 s
984.23/247.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
984.23/247.93	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1013.78/255.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
1014.18/255.43	c lits-rem:         0  cl-subs:     2924  v-elim:    226  v-fix:    0  time: 29.94 s
1014.18/255.43	c learnt bin added due to v-elim: 0
1014.18/255.43	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
1014.18/255.46	c vivif2 --  cl tried    47083 cl shrink        0 lits rem          0 time: 0.12
1015.38/255.77	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 1.21
1015.38/255.77	c calculated reachability. Time: 0.00
1015.38/255.77	c  N dy  3704    537442     14469     62365         4     47083    190220   2452150    161.12    103.51  --
1015.38/255.77	c  F st  3704    537442     14469     62365         4     47083    190220   2452150    161.12    103.51  --
1018.58/256.56	c Decided on dynamic restart strategy
1047.34/263.73	c  N dy  3835    557479     14469     62365         4     67118    190220   5721939    174.81    103.71  --
1078.90/271.64	c  N dy  3976    577600     14469     62365         4     50242    190220   2500120    151.82    103.74  --
1111.63/279.88	c  N dy  4116    597749     14469     62365         4     70389    190220   5671870    152.41    103.80  --
1143.18/287.70	c  N dy  4255    617795     14469     62365         4     52439    190220   2758364    163.22    103.90  --
1176.72/296.17	c  N dy  4395    637821     14469     62365         4     72458    190220   5914264    157.28    103.91  --
1209.06/304.29	c  N dy  4535    657903     14469     62365         4     53544    190220   2713465    145.75    103.97  --
1243.01/312.79	c  N dy  4675    678031     14469     62365         4     73666    190220   5893046    157.13    104.00  --
1276.97/321.22	c  N dy  4815    698094     14469     62365         4     53735    190220   2600658    161.58    104.06  --
1310.10/329.55	c  N dy  4955    718152     14469     62365         4     73789    190220   5702013    134.54    104.02  --
1342.05/337.50	c  N dy  5095    738190     14469     62365         4     52832    190220   2272950    152.45    104.03  --
1372.82/345.26	c  N dy  5235    758263     14469     62365         4     72904    190220   5442997    157.99    104.06  --
1404.38/353.12	c  N dy  5374    778279     14469     62365         4     50924    190220   1811583    170.48    104.06  --
1435.90/361.04	c  N dy  5514    798303     14469     62365         4     70944    190220   4937886    157.30    104.07  --
1451.08/364.85	c  S st  5569    806164     14469     62365         4     78802    190220   6162525    158.05    104.07  --
1452.29/365.14	c  S st  5569    806666     14469     62365         4     79304    190220   6221005    158.05    104.07  --
1452.29/365.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1452.29/365.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1455.07/365.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.89
1455.07/365.89	c Calc non-exist non-lernt bins v-fix:     0 done:  14469 time:  0.04 s
1455.07/365.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1455.47/365.94	c Subs w/ non-existent bins:      0 time:  0.21 s
1456.68/366.28	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1456.68/366.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1456.68/366.29	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
1864.42/468.39	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
1892.77/475.45	c Added 1 vars  tried: 80000 time: 28.19
1892.77/475.45	c ORs :      1 avg-s:  0.0 cl-sh:   101 l-rem:    101 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   28.20
1893.17/475.56	c lits-rem:         1  cl-subs:     4654  v-elim:    226  v-fix:    0  time: 436.29 s
1893.17/475.56	c learnt bin added due to v-elim: 0
1893.17/475.57	c vivif2 --  cl tried    62366 cl shrink        0 lits rem          0 time: 0.02
1893.57/475.64	c vivif2 --  cl tried    74650 cl shrink        0 lits rem          0 time: 0.28
1895.57/476.11	c asymm  cl-useful: 0/49656/62366 lits-rem:0 time: 1.87
1895.57/476.11	c calculated reachability. Time: 0.00
1895.57/476.11	c  N dy  5569    806666     14470     62366         6     74650    190227   5937349    158.05    104.07  --
1929.50/484.66	c  N dy  5709    826809     14470     62366         6     51796    190227   1821271    162.57    104.10  --
1963.05/493.01	c  N dy  5849    846882     14470     62366         6     71867    190227   5027800    153.90    104.15  --
1998.99/502.05	c  N dy  5989    866991     14470     62366         6     47980    190227   1076924    163.05    104.15  --
2031.74/510.23	c  N dy  6129    887130     14470     62366         6     68117    190227   4217701    158.93    104.15  --
2069.28/519.62	c  N dy  6269    907173     14470     62366         6     88159    190227   7318366    138.91    104.13  --
2102.03/527.89	c  N dy  6410    927257     14470     62366         6     63245    190227   3277385    150.23    104.13  --
2138.35/536.90	c  N dy  6549    947265     14470     62366         6     83252    190227   6456426    161.23    104.17  --
2173.12/545.63	c  N dy  6690    967401     14470     62366         6     57391    190227   2264634    170.93    104.19  --
2207.45/554.29	c  N dy  6830    987500     14470     62366         6     77488    190227   5485064    147.86    104.24  --
2245.38/563.70	c  N dy  6970   1007576     14470     62366         6     50568    190227   1000304    147.90    104.26  --
2277.74/571.88	c  N dy  7110   1027680     14470     62366         6     70670    190227   4182760    153.24    104.27  --
2313.30/580.78	c  N dy  7249   1047782     14470     62366         6     90768    190227   7420954    166.94    104.35  --
2345.62/588.83	c  N dy  7389   1067810     14470     62366         6     62800    190227   2723933    159.47    104.33  --
2379.95/597.46	c  N dy  7529   1087897     14470     62366         6     82887    190227   5883030    143.20    104.36  --
2416.71/606.63	c  N dy  7668   1107963     14470     62366         6     53955    190227   1223120    157.44    104.36  --
2449.88/614.93	c  N dy  7808   1128010     14470     62366         6     73999    190227   4384537    156.55    104.38  --
2486.99/624.27	c  N dy  7948   1148030     14470     62366         6     94011    190227   7547352    152.84    104.40  --
2522.13/633.03	c  N dy  8088   1168121     14470     62366         6     64108    190227   2681401    154.88    104.41  --
2558.07/642.00	c  N dy  8229   1188264     14470     62366         6     84248    190227   5849345    150.40    104.42  --
2598.82/652.24	c  N dy  8370   1208415     14470     62366         6     53404    190227    824490    152.39    104.44  --
2601.60/652.97	c  S st  8382   1210000     14470     62366         6     54989    190227   1063926    158.68    104.43  --
2602.80/653.20	c  S st  8382   1210503     14470     62366         6     55492    190227   1123090    158.68    104.43  --
2602.80/653.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2602.80/653.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2604.39/653.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  1.86
2604.39/653.69	c Calc non-exist non-lernt bins v-fix:     0 done:  14470 time:  0.03 s
2604.39/653.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2604.79/653.70	c Subs w/ non-existent bins:      0 time:  0.06 s
2604.79/653.78	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2604.79/653.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2604.79/653.79	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
2614.79/656.26	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
2619.17/657.36	c Added 0 vars  tried: 80000 time: 4.34
2619.17/657.36	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.34
2619.17/657.39	c lits-rem:         3  cl-subs:     3629  v-elim:    227  v-fix:    0  time: 14.38 s
2619.17/657.39	c learnt bin added due to v-elim: 0
2619.56/657.40	c vivif2 --  cl tried    62366 cl shrink        0 lits rem          0 time: 0.02
2619.56/657.41	c vivif2 --  cl tried    51863 cl shrink        0 lits rem          0 time: 0.06
2619.56/657.47	c asymm  cl-useful: 0/12710/62366 lits-rem:0 time: 0.21
2619.56/657.47	c calculated reachability. Time: 0.00
2619.56/657.47	c  N dy  8382   1210503     14470     62366         6     51863    190227   1066580    158.68    104.43  --
2654.71/666.21	c  N dy  8521   1230512     14470     62366         6     71870    190227   4240529    164.81    104.45  --
2694.64/676.22	c  N dy  8661   1250547     14470     62366         6     91900    190227   7423098    148.00    104.47  --
2731.78/685.53	c  N dy  8800   1270596     14470     62366         6     59955    190227   1699015    156.45    104.48  --
2767.72/694.50	c  N dy  8939   1290642     14470     62366         6     79999    190227   4874082    147.59    104.49  --
2806.46/704.27	c  N dy  9078   1310663     14470     62366         6    100019    190227   8029019    174.12    104.50  --
2844.40/713.72	c  N dy  9218   1330791     14470     62366         6     67153    190227   2690373    161.20    104.49  --
2881.93/723.13	c  N dy  9358   1350848     14470     62366         6     87209    190227   5814173    160.57    104.49  --
2922.26/733.24	c  N dy  9498   1370926     14470     62366         6    107286    190227   8981694    150.16    104.48  --
2954.22/741.23	c  N dy  9637   1391061     14470     62366         6     73422    190227   3588359    168.30    104.49  --
2989.36/750.10	c  N dy  9777   1411129     14470     62366         6     93485    190227   6664723    149.37    104.46  --
3028.50/759.88	c  N dy  9916   1431144     14470     62366         6     58506    190227   1039747    159.06    104.45  --
3062.84/768.49	c  N dy 10056   1451225     14470     62366         6     78586    190227   4235332    162.07    104.48  --
3101.96/778.27	c  N dy 10196   1471351     14470     62366         6     98706    190227   7420345    147.15    104.50  --
3143.52/788.61	c  N dy 10336   1491401     14470     62366         6     62762    190227   1539104    171.49    104.51  --
3179.45/797.62	c  N dy 10476   1511519     14470     62366         6     82880    190227   4694957    159.12    104.51  --
3220.58/807.97	c  N dy 10616   1531584     14470     62366         6    102941    190227   7948823    172.58    104.55  --
3260.51/817.99	c  N dy 10756   1551701     14470     62366         6     66060    190227   1918458    161.62    104.56  --
3297.67/827.24	c  N dy 10896   1571805     14470     62366         6     86160    190227   5070774    159.72    104.56  --
3339.18/837.64	c  N dy 11035   1591821     14470     62366         6    106173    190227   8260022    154.06    104.59  --
3379.92/847.88	c  N dy 11174   1611895     14470     62366         6     68252    190227   2148815    161.75    104.62  --
3418.26/857.43	c  N dy 11314   1631900     14470     62366         6     88256    190227   5255934    156.29    104.61  --
3460.99/868.12	c  N dy 11454   1652001     14470     62366         6    108352    190227   8447611    161.12    104.62  --
3500.12/877.92	c  N dy 11594   1672077     14470     62366         6     69436    190227   2148380    165.86    104.63  --
3536.86/887.14	c  N dy 11734   1692119     14470     62366         6     89474    190227   5329296    162.91    104.64  --
3577.58/897.33	c  S st 11862   1710503     14470     62366         6    107857    190227   8166995    158.10    104.62  --
3579.18/897.70	c  S st 11862   1711003     14470     62366         6    108357    190227   8221243    158.10    104.62  --
3579.18/897.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3579.18/897.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3583.97/898.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.4M T:  5.03
3583.97/898.99	c Calc non-exist non-lernt bins v-fix:     0 done:  14470 time:  0.04 s
3583.97/898.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3584.37/899.05	c Subs w/ non-existent bins:      0 time:  0.27 s
3585.97/899.49	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3585.97/899.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3586.38/899.50	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
4315.63/1082.17	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
4316.45/1082.31	c lits-rem:         0  cl-subs:     6249  v-elim:    227  v-fix:    0  time: 729.97 s
4316.45/1082.31	c learnt bin added due to v-elim: 0
4316.45/1082.32	c vivif2 --  cl tried    62366 cl shrink        0 lits rem          0 time: 0.02
4316.84/1082.41	c vivif2 --  cl tried   102108 cl shrink        0 lits rem          0 time: 0.38
4318.42/1082.87	c asymm  cl-useful: 0/37385/62366 lits-rem:0 time: 1.84
4318.42/1082.88	c calculated reachability. Time: 0.00
4318.42/1082.88	c  N dy 11862   1711003     14470     62366         6    102108    190227   7855671    158.10    104.62  --
4364.78/1094.41	c  N dy 12002   1731126     14470     62366         6     62236    190227    879519    165.51    104.65  --
4400.69/1103.43	c  N dy 12142   1751232     14470     62366         6     82338    190227   4037198    167.97    104.65  --
4442.63/1113.93	c  N dy 12281   1771297     14470     62366         6    102401    190227   7186131    162.07    104.64  --
4489.35/1125.68	c  N dy 12421   1791316     14470     62366         6     61426    190227    594855    152.37    104.63  --
4526.08/1134.84	c  N dy 12561   1811371     14470     62366         6     81477    190227   3715176    154.75    104.63  --
4564.02/1144.38	c  N dy 12701   1831382     14470     62366         6    101487    190227   6868093    153.59    104.63  --
4605.95/1154.86	c  N dy 12841   1851449     14470     62366         6    121553    190227  10025803    161.53    104.63  --
4642.69/1164.02	c  N dy 12981   1871502     14470     62366         6     79613    190227   3326263    155.30    104.64  --
4681.05/1173.61	c  N dy 13120   1891584     14470     62366         6     99692    190227   6451211    150.28    104.64  --
4724.98/1184.63	c  N dy 13259   1911645     14470     62366         6    119751    190227   9591662    145.44    104.63  --
4763.70/1194.34	c  N dy 13399   1931740     14470     62366         6     76851    190227   2694600    157.60    104.62  --

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-3172549-1304062771/watcher-3172549-1304062771 -o /tmp/evaluation-result-3172549-1304062771/solver-3172549-1304062771 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172549-1304062771.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: 6.85 7.74 7.36 2/175 5173
/proc/meminfo: memFree=16789428/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=24708 CPUtime=0 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 1439 0 0 0 0 0 0 0 22 0 1 0 517876692 25300992 1379 33554432000 4194304 4797429 140733415423248 18446744073709551615 210646843577 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5173/statm: 6177 1382 341 148 0 1106 0

[startup+0.0342331 s]
/proc/loadavg: 6.85 7.74 7.36 2/175 5173
/proc/meminfo: memFree=16789428/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=73132 CPUtime=0.02 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 7341 0 0 0 2 0 0 0 22 0 1 0 517876692 74887168 5896 33554432000 4194304 4797429 140733415423248 18446744073709551615 210646815392 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5173/statm: 18283 5896 348 148 0 13212 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 73132

[startup+0.100221 s]
/proc/loadavg: 6.85 7.74 7.36 2/175 5173
/proc/meminfo: memFree=16789428/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=80492 CPUtime=0.09 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 9810 0 0 0 8 1 0 0 22 0 1 0 517876692 82423808 8237 33554432000 4194304 4797429 140733415423248 18446744073709551615 210646842873 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5173/statm: 20123 8237 348 148 0 15052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 80492

[startup+0.300206 s]
/proc/loadavg: 6.85 7.74 7.36 2/175 5173
/proc/meminfo: memFree=16789428/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=783484 CPUtime=0.64 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) S 5171 5173 4259 0 -1 4202496 16617 0 0 0 59 5 0 0 18 0 4 0 517876692 802287616 13651 33554432000 4194304 4797429 140733415423248 18446744073709551615 210647251438 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 195871 13656 385 148 0 190800 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 783484

[startup+0.701055 s]
/proc/loadavg: 6.85 7.74 7.36 2/175 5173
/proc/meminfo: memFree=16789428/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=790404 CPUtime=2.24 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 21040 0 0 0 217 7 0 0 18 0 4 0 517876692 809373696 17836 33554432000 4194304 4797429 140733415423248 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 197601 17836 411 148 0 192530 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 790404

[startup+1.50092 s]
/proc/loadavg: 6.85 7.74 7.36 10/182 5180
/proc/meminfo: memFree=16699472/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=790404 CPUtime=5.44 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 23389 0 0 0 537 7 0 0 19 0 4 0 517876692 809373696 20169 33554432000 4194304 4797429 140733415423248 18446744073709551615 4425558 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 197601 20169 413 148 0 192530 0
[pid=5173/tid=5178] ppid=5171 vsize=790404 CPUtime=1.31 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) S 5171 5173 4259 0 -1 4202560 2918 0 0 0 130 1 0 0 19 0 4 0 517876709 809373696 20169 33554432000 4194304 4797429 140733415423248 18446744073709551615 210647251438 0 0 4096 2 18446604453800932352 0 0 -1 0 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=790404 CPUtime=1.3 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 2633 0 0 0 129 1 0 0 19 0 4 0 517876709 809373696 20169 33554432000 4194304 4797429 140733415423248 18446744073709551615 210646805865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=790404 CPUtime=1.31 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) S 5171 5173 4259 0 -1 4202560 3239 0 0 0 130 1 0 0 19 0 4 0 517876709 809373696 20169 33554432000 4194304 4797429 140733415423248 18446744073709551615 210647251438 0 0 4096 2 18446604453800932352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 790404

[startup+3.10065 s]
/proc/loadavg: 6.85 7.74 7.36 9/182 5180
/proc/meminfo: memFree=16665744/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=794124 CPUtime=11.83 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 28041 0 0 0 1174 9 0 0 24 0 4 0 517876692 813182976 24804 33554432000 4194304 4797429 140733415423248 18446744073709551615 4422944 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 198531 24804 414 148 0 193460 0
[pid=5173/tid=5178] ppid=5171 vsize=794124 CPUtime=2.91 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 4285 0 0 0 290 1 0 0 23 0 4 0 517876709 813182976 24804 33554432000 4194304 4797429 140733415423248 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=794124 CPUtime=2.9 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 3699 0 0 0 288 2 0 0 23 0 4 0 517876709 813182976 24804 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=794124 CPUtime=2.91 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 4306 0 0 0 290 1 0 0 24 0 4 0 517876709 813182976 24804 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424435 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 794124

[startup+6.30111 s]
/proc/loadavg: 7.03 7.76 7.37 10/182 5180
/proc/meminfo: memFree=16620552/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=802848 CPUtime=22.77 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 38085 0 0 0 2253 24 0 0 25 0 4 0 517876692 822116352 31264 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424639 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 200712 31264 417 148 0 195641 0
[pid=5173/tid=5178] ppid=5171 vsize=802848 CPUtime=5.25 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 6625 0 0 0 515 10 0 0 21 0 4 0 517876709 822116352 31264 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=802848 CPUtime=5.69 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 5633 0 0 0 565 4 0 0 22 0 4 0 517876709 822116352 31264 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=802848 CPUtime=5.52 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 6647 0 0 0 548 4 0 0 21 0 4 0 517876709 822116352 31264 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.77
Current children cumulated vsize (KiB) 802848

[startup+12.701 s]
/proc/loadavg: 7.26 7.79 7.38 9/182 5180
/proc/meminfo: memFree=16592676/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=809512 CPUtime=45.02 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 43478 0 0 0 4462 40 0 0 25 0 4 0 517876692 828940288 36562 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 202378 36562 418 148 0 197307 0
[pid=5173/tid=5178] ppid=5171 vsize=809512 CPUtime=10.61 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 7170 0 0 0 1051 10 0 0 25 0 4 0 517876709 828940288 36562 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=809512 CPUtime=10.22 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 6190 0 0 0 1007 15 0 0 25 0 4 0 517876709 828940288 36562 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=809512 CPUtime=11.92 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 7162 0 0 0 1185 7 0 0 25 0 4 0 517876709 828940288 36562 33554432000 4194304 4797429 140733415423248 18446744073709551615 210646843147 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.02
Current children cumulated vsize (KiB) 809512

[startup+25.5009 s]
/proc/loadavg: 7.43 7.80 7.39 9/182 5180
/proc/meminfo: memFree=16566524/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=817728 CPUtime=96.13 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 53702 0 0 0 9569 44 0 0 25 0 4 0 517876692 837353472 42342 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 204432 42342 419 148 0 199361 0
[pid=5173/tid=5178] ppid=5171 vsize=817728 CPUtime=23.34 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 8493 0 0 0 2323 11 0 0 25 0 4 0 517876709 837353472 42342 33554432000 4194304 4797429 140733415423248 18446744073709551615 4502057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=817728 CPUtime=23.03 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 7130 0 0 0 2287 16 0 0 25 0 4 0 517876709 837353472 42342 33554432000 4194304 4797429 140733415423248 18446744073709551615 4415811 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=817728 CPUtime=24.72 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 8330 0 0 0 2464 8 0 0 25 0 4 0 517876709 837353472 42342 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 96.13
Current children cumulated vsize (KiB) 817728

[startup+51.1006 s]
/proc/loadavg: 7.62 7.82 7.40 9/182 5181
/proc/meminfo: memFree=16520916/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=838336 CPUtime=198.35 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 73527 0 0 0 19783 52 0 0 25 0 4 0 517876692 858456064 43133 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 209584 43133 420 148 0 204513 0
[pid=5173/tid=5178] ppid=5171 vsize=838336 CPUtime=48.8 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 10861 0 0 0 4868 12 0 0 25 0 4 0 517876709 858456064 43133 33554432000 4194304 4797429 140733415423248 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=838336 CPUtime=48.62 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 9947 0 0 0 4845 17 0 0 25 0 4 0 517876709 858456064 43133 33554432000 4194304 4797429 140733415423248 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=838336 CPUtime=50.32 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 10742 0 0 0 5023 9 0 0 25 0 4 0 517876709 858456064 43133 33554432000 4194304 4797429 140733415423248 18446744073709551615 4423072 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.35
Current children cumulated vsize (KiB) 838336

[startup+102.307 s]
/proc/loadavg: 7.96 7.88 7.44 9/182 5182
/proc/meminfo: memFree=16459272/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=853020 CPUtime=402.82 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 99118 0 0 0 40218 64 0 0 25 0 4 0 517876692 873492480 53751 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424383 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 213255 53751 420 148 0 208184 0
[pid=5173/tid=5178] ppid=5171 vsize=853020 CPUtime=99.7 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 13800 0 0 0 9956 14 0 0 25 0 4 0 517876709 873492480 53751 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424644 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=853020 CPUtime=99.83 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 12107 0 0 0 9965 18 0 0 25 0 4 0 517876709 873492480 53751 33554432000 4194304 4797429 140733415423248 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=853020 CPUtime=101.52 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 13540 0 0 0 10141 11 0 0 25 0 4 0 517876709 873492480 53751 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 402.82
Current children cumulated vsize (KiB) 853020

[startup+162.301 s]
/proc/loadavg: 8.14 7.94 7.49 9/182 5184
/proc/meminfo: memFree=16423548/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=865120 CPUtime=642.4 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 139697 0 0 0 64157 83 0 0 25 0 4 0 517876692 885882880 57460 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 216280 57460 420 148 0 211209 0
[pid=5173/tid=5178] ppid=5171 vsize=865120 CPUtime=159.33 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 17847 0 0 0 15917 16 0 0 25 0 4 0 517876709 885882880 57460 33554432000 4194304 4797429 140733415423248 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=865120 CPUtime=159.82 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 15879 0 0 0 15963 19 0 0 25 0 4 0 517876709 885882880 57460 33554432000 4194304 4797429 140733415423248 18446744073709551615 4655601 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=865120 CPUtime=161.5 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 17205 0 0 0 16138 12 0 0 25 0 4 0 517876709 885882880 57460 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 642.4
Current children cumulated vsize (KiB) 865120

[startup+222.301 s]
/proc/loadavg: 8.05 7.95 7.52 9/182 5186
/proc/meminfo: memFree=16398864/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=875884 CPUtime=882.01 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 174212 0 0 0 88101 100 0 0 25 0 4 0 517876692 896905216 60270 33554432000 4194304 4797429 140733415423248 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 218971 60270 420 148 0 213900 0
[pid=5173/tid=5178] ppid=5171 vsize=875884 CPUtime=218.98 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 19833 0 0 0 21880 18 0 0 25 0 4 0 517876709 896905216 60270 33554432000 4194304 4797429 140733415423248 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=875884 CPUtime=219.82 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 19011 0 0 0 21962 20 0 0 25 0 4 0 517876709 896905216 60270 33554432000 4194304 4797429 140733415423248 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=875884 CPUtime=221.51 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 20458 0 0 0 22137 14 0 0 25 0 4 0 517876709 896905216 60270 33554432000 4194304 4797429 140733415423248 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 875884

[startup+282.301 s]

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

[pid=5173] ppid=5171 vsize=920496 CPUtime=2559.29 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 356133 0 0 0 255737 192 0 0 25 0 4 0 517876692 942587904 80866 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 230124 80866 420 148 0 225053 0
[pid=5173/tid=5178] ppid=5171 vsize=920496 CPUtime=636.5 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 37049 0 0 0 63616 34 0 0 25 0 4 0 517876709 942587904 80866 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=920496 CPUtime=639.83 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 35850 0 0 0 63955 28 0 0 25 0 4 0 517876709 942587904 80866 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=920496 CPUtime=641.47 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 35706 0 0 0 64126 21 0 0 25 0 4 0 517876709 942587904 80866 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2559.29
Current children cumulated vsize (KiB) 920496

[startup+702.301 s]
/proc/loadavg: 8.08 8.04 7.73 9/182 5198
/proc/meminfo: memFree=16191800/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=920564 CPUtime=2798.87 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 380850 0 0 0 279680 207 0 0 25 0 4 0 517876692 942657536 82926 33554432000 4194304 4797429 140733415423248 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 230141 82926 420 148 0 225070 0
[pid=5173/tid=5178] ppid=5171 vsize=920564 CPUtime=696.14 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 38002 0 0 0 69579 35 0 0 25 0 4 0 517876709 942657536 82926 33554432000 4194304 4797429 140733415423248 18446744073709551615 4422927 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=920564 CPUtime=699.83 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 38031 0 0 0 69954 29 0 0 25 0 4 0 517876709 942657536 82926 33554432000 4194304 4797429 140733415423248 18446744073709551615 4415701 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=920564 CPUtime=701.46 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 36978 0 0 0 70124 22 0 0 25 0 4 0 517876709 942657536 82926 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2798.87
Current children cumulated vsize (KiB) 920564

[startup+762.307 s]
/proc/loadavg: 8.12 8.06 7.75 9/182 5200
/proc/meminfo: memFree=16210640/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=931664 CPUtime=3038.51 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 412415 0 0 0 303625 226 0 0 25 0 4 0 517876692 954023936 78325 33554432000 4194304 4797429 140733415423248 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 232916 78325 420 148 0 227845 0
[pid=5173/tid=5178] ppid=5171 vsize=931664 CPUtime=755.78 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 40458 0 0 0 75539 39 0 0 25 0 4 0 517876709 954023936 78325 33554432000 4194304 4797429 140733415423248 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=931664 CPUtime=759.83 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 40764 0 0 0 75953 30 0 0 25 0 4 0 517876709 954023936 78325 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=931664 CPUtime=761.46 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 39477 0 0 0 76123 23 0 0 25 0 4 0 517876709 954023936 78325 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3038.51
Current children cumulated vsize (KiB) 931664

[startup+822.301 s]
/proc/loadavg: 8.08 8.06 7.77 9/182 5202
/proc/meminfo: memFree=16169712/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=948092 CPUtime=3278.09 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 439443 0 0 0 327567 242 0 0 25 0 4 0 517876692 970846208 85254 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424333 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 237023 85254 420 148 0 231952 0
[pid=5173/tid=5178] ppid=5171 vsize=948092 CPUtime=815.42 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 42998 0 0 0 81500 42 0 0 25 0 4 0 517876709 970846208 85254 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=948092 CPUtime=819.83 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 41384 0 0 0 81952 31 0 0 25 0 4 0 517876709 970846208 85254 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=948092 CPUtime=821.45 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 41856 0 0 0 82121 24 0 0 25 0 4 0 517876709 970846208 85254 33554432000 4194304 4797429 140733415423248 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3278.09
Current children cumulated vsize (KiB) 948092

[startup+882.301 s]
/proc/loadavg: 8.14 8.08 7.79 9/182 5204
/proc/meminfo: memFree=16165468/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=948112 CPUtime=3517.69 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 463257 0 0 0 351513 256 0 0 25 0 4 0 517876692 970866688 84635 33554432000 4194304 4797429 140733415423248 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 237028 84635 420 148 0 231957 0
[pid=5173/tid=5178] ppid=5171 vsize=948112 CPUtime=875.06 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 43780 0 0 0 87462 44 0 0 25 0 4 0 517876709 970866688 84635 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=948112 CPUtime=879.83 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 43293 0 0 0 87952 31 0 0 25 0 4 0 517876709 970866688 84635 33554432000 4194304 4797429 140733415423248 18446744073709551615 4557648 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=948112 CPUtime=881.44 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 42239 0 0 0 88120 24 0 0 25 0 4 0 517876709 970866688 84635 33554432000 4194304 4797429 140733415423248 18446744073709551615 4656727 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517.69
Current children cumulated vsize (KiB) 948112

[startup+942.301 s]
/proc/loadavg: 8.17 8.09 7.81 9/182 5205
/proc/meminfo: memFree=16138428/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=948020 CPUtime=3757.31 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 475435 0 0 0 375467 264 0 0 25 0 4 0 517876692 970772480 88654 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 237005 88654 420 148 0 231934 0
[pid=5173/tid=5178] ppid=5171 vsize=948020 CPUtime=934.69 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 45995 0 0 0 93423 46 0 0 25 0 4 0 517876709 970772480 88654 33554432000 4194304 4797429 140733415423248 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=948020 CPUtime=939.83 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 44979 0 0 0 93951 32 0 0 25 0 4 0 517876709 970772480 88654 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=948020 CPUtime=941.44 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 44372 0 0 0 94119 25 0 0 25 0 4 0 517876709 970772480 88654 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.31
Current children cumulated vsize (KiB) 948020

[startup+1002.3 s]
/proc/loadavg: 8.13 8.09 7.83 9/182 5206
/proc/meminfo: memFree=16124900/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=948020 CPUtime=3996.93 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 479679 0 0 0 399425 268 0 0 25 0 4 0 517876692 970772480 92519 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 237005 92519 420 148 0 231934 0
[pid=5173/tid=5178] ppid=5171 vsize=948020 CPUtime=994.33 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 47643 0 0 0 99385 48 0 0 25 0 4 0 517876709 970772480 92519 33554432000 4194304 4797429 140733415423248 18446744073709551615 4567880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=948020 CPUtime=999.83 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 45891 0 0 0 99950 33 0 0 25 0 4 0 517876709 970772480 92519 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=948020 CPUtime=1001.43 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 46056 0 0 0 100117 26 0 0 25 0 4 0 517876709 970772480 92519 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3996.93
Current children cumulated vsize (KiB) 948020

[startup+1062.3 s]
/proc/loadavg: 8.15 8.10 7.84 9/182 5208
/proc/meminfo: memFree=16121784/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=947988 CPUtime=4236.56 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 483704 0 0 0 423385 271 0 0 25 0 4 0 517876692 970739712 92502 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 236997 92502 420 148 0 231926 0
[pid=5173/tid=5178] ppid=5171 vsize=947988 CPUtime=1053.97 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 48542 0 0 0 105348 49 0 0 25 0 4 0 517876709 970739712 92502 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=947988 CPUtime=1059.84 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 48166 0 0 0 105949 35 0 0 25 0 4 0 517876709 970739712 92502 33554432000 4194304 4797429 140733415423248 18446744073709551615 4428637 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=947988 CPUtime=1061.43 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 46907 0 0 0 106116 27 0 0 25 0 4 0 517876709 970739712 92502 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4236.56
Current children cumulated vsize (KiB) 947988

[startup+1122.3 s]
/proc/loadavg: 8.09 8.09 7.86 9/182 5210
/proc/meminfo: memFree=16059028/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=948100 CPUtime=4476.16 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 499203 0 0 0 447335 281 0 0 25 0 4 0 517876692 970854400 96407 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424380 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 237025 96407 420 148 0 231954 0
[pid=5173/tid=5178] ppid=5171 vsize=948100 CPUtime=1113.6 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 49251 0 0 0 111309 51 0 0 25 0 4 0 517876709 970854400 96407 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=948100 CPUtime=1119.83 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 49641 0 0 0 111948 35 0 0 25 0 4 0 517876709 970854400 96407 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=948100 CPUtime=1121.42 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 47510 0 0 0 112115 27 0 0 25 0 4 0 517876709 970854400 96407 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.16
Current children cumulated vsize (KiB) 948100

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 7.87 9/182 5211
/proc/meminfo: memFree=16073284/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=949672 CPUtime=4715.78 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 527503 0 0 0 471280 298 0 0 25 0 4 0 517876692 972464128 94969 33554432000 4194304 4797429 140733415423248 18446744073709551615 4387526 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 237418 94969 420 148 0 232347 0
[pid=5173/tid=5178] ppid=5171 vsize=949672 CPUtime=1173.25 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 52131 0 0 0 117272 53 0 0 25 0 4 0 517876709 972464128 94969 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=949672 CPUtime=1179.84 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 50473 0 0 0 117948 36 0 0 25 0 4 0 517876709 972464128 94969 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=949672 CPUtime=1181.41 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 50164 0 0 0 118113 28 0 0 25 0 4 0 517876709 972464128 94969 33554432000 4194304 4797429 140733415423248 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.78
Current children cumulated vsize (KiB) 949672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.10 8.09 7.87 5/177 5213
/proc/meminfo: memFree=16433044/32951132 swapFree=67111524/67111528
[pid=5173] ppid=5171 vsize=949700 CPUtime=4800.07 cores=0,2,4,6
/proc/5173/stat : 5173 (techdemo) R 5171 5173 4259 0 -1 4202496 536236 0 0 0 479705 302 0 0 25 0 4 0 517876692 972492800 92220 33554432000 4194304 4797429 140733415423248 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5173/statm: 237425 92220 420 148 0 232354 0
[pid=5173/tid=5178] ppid=5171 vsize=949700 CPUtime=1194.22 cores=0,2,4,6
/proc/5173/task/5178/stat : 5178 (techdemo) R 5171 5173 4259 0 -1 4202560 52510 0 0 0 119368 54 0 0 25 0 4 0 517876709 972492800 92220 33554432000 4194304 4797429 140733415423248 18446744073709551615 210646844010 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5173/tid=5179] ppid=5171 vsize=949700 CPUtime=1200.95 cores=0,2,4,6
/proc/5173/task/5179/stat : 5179 (techdemo) R 5171 5173 4259 0 -1 4202560 50635 0 0 0 120059 36 0 0 25 0 4 0 517876709 972492800 92220 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5173/tid=5180] ppid=5171 vsize=949700 CPUtime=1202.53 cores=0,2,4,6
/proc/5173/task/5180/stat : 5180 (techdemo) R 5171 5173 4259 0 -1 4202560 50682 0 0 0 120224 29 0 0 25 0 4 0 517876709 972492800 92220 33554432000 4194304 4797429 140733415423248 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 949700

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): 1203.43
CPU time (s): 4800.12
CPU user time (s): 4797.08
CPU system time (s): 3.03854
CPU usage (%): 398.869
Max. virtual memory (cumulated for all children) (KiB): 1057188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.08
system time used= 3.03854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536237
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= 14851
involuntary context switches= 23787

runsolver used 1.91271 second user time and 4.55631 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-29 09:39:31
IDJOB=3172549
IDBENCH=82567
IDSOLVER=1584
FILE ID=node129/3172549-1304062771
RUNJOBID= node129-1304062770-5153
PBS_JOBID= 13170431
Free space on /tmp= 66360 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172549-1304062771/watcher-3172549-1304062771 -o /tmp/evaluation-result-3172549-1304062771/solver-3172549-1304062771 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172549-1304062771.cnf

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

MD5SUM BENCH= 211de71ef1119669a20965247c8273d8
RANDOM SEED=1833383123

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      16790328 kB
Buffers:       1279568 kB
Cached:       14138664 kB
SwapCached:          4 kB
Active:        3779152 kB
Inactive:     11716780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      16790328 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           17260 kB
Writeback:           8 kB
AnonPages:       76620 kB
Mapped:          15512 kB
Slab:           603036 kB
PageTables:       4916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   250640 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66360 MiB
End job on node129 at 2011-04-29 09:59:36