Trace number 3172662

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.16 1201.83

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf
MD5SUM745003317611baf9e79e91bc0ab8e275
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.2018
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-3172662-1304082598.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.09/0.17	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.09/0.17	c -- vars added      15000
0.09/0.17	c Parsing time:  0.16 s
0.34/0.21	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.34/0.21	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.17
0.34/0.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.14
0.34/0.27	c Calc non-exist non-lernt bins v-fix:     0 done:  15000 time:  0.02 s
0.34/0.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.34/0.27	c Subs w/ non-existent bins:      0 time:  0.01 s
0.34/0.29	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3.89/1.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3.89/1.17	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.01 s
3.89/1.17	c lits-rem:         0  cl-subs:        0  v-elim:    938  v-fix:    0  time:  0.63 s
3.89/1.17	c learnt bin added due to v-elim: 0
3.89/1.17	c Finding binary XORs  T:     0.01 s  found:       0
3.89/1.17	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
3.89/1.17	c calculated reachability. Time: 0.00
3.89/1.17	c Calc default polars -  time:   0.02 s pos:    6495 undec:    1788 neg:    6717
3.89/1.17	c =========================================================================================
3.89/1.17	c types(t): F = full restart, N = normal restart
3.89/1.17	c types(t): S = simplification begin/end, E = solution found
3.89/1.17	c restart types(rt): st = static, dy = dynamic
3.89/1.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.89/1.17	c  B st     0         0     14441     62336         0         0    190214         0   no data   no data  --
3.89/1.17	c Decided on dynamic restart strategy
5.06/1.47	c  N dy    20      4118     14441     62336         0      4116    190214    692214    157.08    110.96  --
9.45/2.54	c  N dy    48      8178     14441     62336         0      8175    190214   1333377    152.04    108.40  --
13.44/3.58	c  N dy    77     12264     14441     62336         0     12260    190214   1968797    170.12    106.87  --
17.83/4.67	c  N dy   106     16398     14441     62336         0     16391    190214   2588768    141.64    105.72  --
23.02/5.91	c  N dy   135     20540     14441     62336         0     10536    190214    538098    161.52    105.63  --
27.42/7.04	c  N dy   163     24556     14441     62336         0     14552    190214   1152687    164.30    104.86  --
31.41/8.09	c  N dy   191     28558     14441     62336         0     18553    190214   1764731    155.78    104.47  --
33.82/8.64	c  S st   202     30000     14441     62336         0     19995    190214   1964324    140.70    104.09  --
34.23/8.79	c  S st   202     30504     14441     62336         0     20499    190214   2022689    140.70    104.09  --
34.63/8.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
34.63/8.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.01/8.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.72
35.01/8.99	c Calc non-exist non-lernt bins v-fix:     0 done:  14441 time:  0.02 s
35.01/8.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.41/9.01	c Subs w/ non-existent bins:      0 time:  0.07 s
35.80/9.15	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.80/9.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.80/9.16	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
52.98/13.42	c lits-rem:        11  cl-subs:     1273  v-elim:    222  v-fix:    0  time: 17.01 s
52.98/13.42	c learnt bin added due to v-elim: 0
52.98/13.43	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
52.98/13.45	c vivif2 --  cl tried    19226 cl shrink        0 lits rem          0 time: 0.09
53.78/13.65	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.80
53.78/13.65	c calculated reachability. Time: 0.00
53.78/13.65	c  N dy   202     30504     14441     62336         0     19226    190214   1927338    140.70    104.09  --
53.78/13.65	c  F st   202     30504     14441     62336         0     19226    190214   1927338    140.70    104.09  --
56.19/14.26	c Decided on dynamic restart strategy
58.97/14.90	c  N dy   222     34578     14441     62336         0     23298    190214   2615495    153.33    104.92  --
64.17/16.23	c  N dy   251     38700     14441     62336         0     27420    190214   3230798    141.28    104.43  --
69.38/17.51	c  N dy   280     42839     14441     62336         0     16063    190214    638462    149.03    104.52  --
72.55/18.37	c  S st   301     45757     14441     62336         0     18979    190214   1068550    147.05    104.10  --
73.35/18.52	c  S st   301     46263     14441     62336         0     19485    190214   1124646    147.05    104.10  --
73.35/18.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
73.35/18.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.76/18.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.54
73.76/18.67	c Calc non-exist non-lernt bins v-fix:     0 done:  14441 time:  0.03 s
73.76/18.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.76/18.68	c Subs w/ non-existent bins:      0 time:  0.05 s
74.17/18.74	c bin-w-bin subsume rem            0 bins  time:  0.02 s
74.17/18.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
74.17/18.75	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
83.73/21.16	c lits-rem:         1  cl-subs:      639  v-elim:    222  v-fix:    0  time:  9.59 s
83.73/21.16	c learnt bin added due to v-elim: 0
83.73/21.16	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
83.73/21.18	c vivif2 --  cl tried    18846 cl shrink        0 lits rem          0 time: 0.06
84.54/21.34	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.64
84.54/21.34	c calculated reachability. Time: 0.00
84.54/21.34	c  N dy   301     46263     14441     62336         0     18846    190214   1089475    147.05    104.10  --
89.33/22.59	c  N dy   330     50377     14441     62336         0     22959    190214   1716281    156.37    103.94  --
94.12/23.71	c  N dy   358     54390     14441     62336         0     26972    190214   2345004    149.21    103.93  --
98.92/24.94	c  N dy   386     58422     14441     62336         0     31003    190214   2992057    159.92    104.11  --
104.52/26.34	c  N dy   415     62499     14441     62336         0     35080    190214   3609365    155.42    103.92  --
110.10/27.71	c  N dy   443     66504     14441     62336         0     20338    190214    805536    166.90    103.95  --
113.71/28.70	c  S st   464     69394     14441     62336         0     23225    190214   1260823    157.46    103.87  --
114.49/28.83	c  S st   464     69895     14441     62336         0     23726    190214   1316439    157.46    103.87  --
114.49/28.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
114.49/28.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.89/28.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.58
114.89/28.99	c Calc non-exist non-lernt bins v-fix:     0 done:  14441 time:  0.02 s
114.89/28.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
115.29/29.01	c Subs w/ non-existent bins:      0 time:  0.05 s
115.29/29.07	c bin-w-bin subsume rem            0 bins  time:  0.02 s
115.29/29.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
115.29/29.08	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
125.28/31.52	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
132.07/33.28	c Added 0 vars  tried: 80000 time: 7.03
132.07/33.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:    7.03
132.47/33.32	c lits-rem:        15  cl-subs:      851  v-elim:    222  v-fix:    0  time: 16.95 s
132.47/33.32	c learnt bin added due to v-elim: 0
132.47/33.33	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
132.47/33.34	c vivif2 --  cl tried    22875 cl shrink        0 lits rem          0 time: 0.06
133.27/33.52	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 0.71
133.27/33.53	c calculated reachability. Time: 0.00
133.27/33.53	c  N dy   464     69895     14441     62336         0     22875    190214   1266495    157.46    103.87  --
133.27/33.53	c  F st   464     69895     14441     62336         0     22875    190214   1266495    157.46    103.87  --
136.06/34.21	c Decided on dynamic restart strategy
139.26/35.03	c  N dy   487     74451     14441     62336         0     27431    190214   2026562    153.91    104.31  --
144.86/36.41	c  N dy   520     79211     14441     62336         0     32191    190214   2754835    163.37    104.13  --
151.25/38.05	c  N dy   556     84349     14441     62336         0     37329    190214   3562229    166.13    104.14  --
159.24/40.02	c  N dy   593     89736     14441     62336         0     21844    190214    682808    153.97    104.09  --
166.82/41.92	c  N dy   634     95583     14441     62336         0     27691    190214   1580145    154.01    103.97  --
174.83/43.91	c  N dy   677    101727     14441     62336         0     33835    190214   2564821    177.65    104.12  --
180.00/45.22	c  S st   699    104842     14441     62336         0     36950    190214   3072445    143.72    104.20  --
180.80/45.41	c  S st   699    105344     14441     62336         0     37452    190214   3129176    143.72    104.20  --
180.80/45.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
180.80/45.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.60/45.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.5M T:  1.06
181.60/45.69	c Calc non-exist non-lernt bins v-fix:     0 done:  14441 time:  0.03 s
181.60/45.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.01/45.72	c Subs w/ non-existent bins:      0 time:  0.11 s
182.41/45.89	c bin-w-bin subsume rem            0 bins  time:  0.02 s
182.41/45.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
182.81/45.90	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
213.56/53.69	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
213.96/53.75	c lits-rem:         0  cl-subs:     1570  v-elim:    222  v-fix:    0  time: 31.36 s
213.96/53.75	c learnt bin added due to v-elim: 0
213.96/53.76	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
213.96/53.79	c vivif2 --  cl tried    35882 cl shrink        0 lits rem          0 time: 0.14
215.16/54.08	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 1.15
215.16/54.08	c calculated reachability. Time: 0.00
215.16/54.08	c  N dy   699    105344     14441     62336         0     35882    190214   2988400    143.72    104.20  --
223.94/56.25	c  N dy   746    112071     14441     62336         0     42609    190214   4062896    160.41    104.33  --
232.73/58.46	c  N dy   797    119306     14441     62336         0     27409    190214   1291994    159.57    104.22  --
242.32/60.81	c  N dy   851    126985     14441     62336         0     35085    190214   2462986    159.20    104.15  --
253.11/63.51	c  N dy   908    135141     14450     62336        18     43247    190250   3732623    157.26    104.11  --
264.29/66.36	c  N dy   969    143900     14450     62336        18     28285    190250   1191408    154.85    104.16  --
275.89/69.27	c  N dy  1034    153167     14450     62336        18     37551    190250   2623533    154.61    103.96  --
283.47/71.16	c  S st  1068    158020     14450     62336        18     42403    190250   3361782    149.31    103.89  --
284.27/71.37	c  S st  1068    158522     14450     62336        18     42905    190250   3414591    149.31    103.89  --
284.27/71.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
284.27/71.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.46/71.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.22
285.46/71.69	c Calc non-exist non-lernt bins v-fix:     0 done:  14450 time:  0.03 s
285.46/71.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.86/71.72	c Subs w/ non-existent bins:      0 time:  0.12 s
286.66/71.90	c bin-w-bin subsume rem            0 bins  time:  0.02 s
286.66/71.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
286.66/71.91	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
325.80/81.75	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
326.20/81.82	c lits-rem:         1  cl-subs:     1974  v-elim:    224  v-fix:    0  time: 39.58 s
326.20/81.82	c learnt bin added due to v-elim: 0
326.20/81.83	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
326.20/81.86	c vivif2 --  cl tried    40931 cl shrink        0 lits rem          0 time: 0.15
327.40/82.19	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 1.30
327.40/82.19	c calculated reachability. Time: 0.00
327.40/82.19	c  N dy  1068    158522     14450     62336        18     40931    190250   3261173    149.31    103.89  --
341.39/85.69	c  N dy  1139    168673     14450     62336        18     26222    190250    688038    165.98    104.10  --
355.76/89.25	c  N dy  1215    179515     14450     62336        18     37063    190250   2368576    154.74    104.10  --
371.75/93.29	c  N dy  1295    191051     14450     62336        18     48598    190250   4180646    152.25    104.11  --
388.92/97.53	c  N dy  1381    203336     14450     62336        18     34955    190250   1884808    161.95    104.12  --
406.89/102.09	c  N dy  1472    216345     14450     62336        18     47963    190250   3928914    159.17    104.12  --
426.46/106.94	c  N dy  1569    230242     14450     62336        18     34894    190250   1639896    145.35    104.11  --
438.05/109.84	c  S st  1622    237784     14450     62336        18     42435    190250   2834600    154.19    104.15  --
438.87/110.05	c  S st  1622    238284     14450     62336        18     42935    190250   2890984    154.19    104.15  --
438.87/110.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
438.87/110.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
440.04/110.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.23
440.04/110.38	c Calc non-exist non-lernt bins v-fix:     0 done:  14450 time:  0.03 s
440.04/110.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
440.44/110.41	c Subs w/ non-existent bins:      0 time:  0.11 s
440.84/110.56	c bin-w-bin subsume rem            0 bins  time:  0.02 s
440.84/110.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
440.84/110.57	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
472.40/118.49	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
472.80/118.55	c lits-rem:         0  cl-subs:     2132  v-elim:    224  v-fix:    0  time: 31.87 s
472.80/118.55	c learnt bin added due to v-elim: 0
472.80/118.55	c vivif2 --  cl tried    62336 cl shrink        0 lits rem          0 time: 0.02
472.80/118.59	c vivif2 --  cl tried    40803 cl shrink        0 lits rem          0 time: 0.14
474.02/118.89	c asymm  cl-useful: 0/62336/62336 lits-rem:0 time: 1.23
474.40/118.90	c calculated reachability. Time: 0.00
474.40/118.90	c  N dy  1622    238284     14450     62336        18     40803    190250   2762851    154.19    104.15  --
496.77/124.54	c  N dy  1729    253612     14450     62336        18     28151    190250    463760    164.56    104.26  --
518.34/129.92	c  N dy  1842    269821     14450     62336        18     44356    190250   2973901    157.71    104.25  --
541.91/135.89	c  N dy  1963    287115     14450     62336        18     32661    190250   1010224    174.74    104.21  --
566.67/142.01	c  N dy  2091    305456     14450     62336        18     51000    190250   3906909    163.75    104.27  --
593.84/148.85	c  N dy  2227    325045     14450     62336        18     40598    190250   2020053    172.93    104.20  --
623.42/156.27	c  N dy  2368    345168     14450     62336        18     60718    190250   5146190    147.36    104.16  --
640.99/160.68	c  S st  2454    357428     14450     62336        18     41983    190250   2122402    157.37    104.17  --
641.77/160.87	c  S st  2454    357931     14450     62336        18     42486    190250   2182510    157.37    104.17  --
641.77/160.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
641.77/160.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
642.97/161.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  1.16
642.97/161.17	c Calc non-exist non-lernt bins v-fix:     0 done:  14450 time:  0.03 s
642.97/161.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
642.97/161.19	c Subs w/ non-existent bins:      0 time:  0.08 s
643.77/161.30	c bin-w-bin subsume rem            0 bins  time:  0.02 s
643.77/161.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
643.77/161.31	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
664.14/166.48	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
673.33/168.71	c Added 1 vars  tried: 80000 time: 8.94
673.33/168.72	c ORs :      1 avg-s:  0.0 cl-sh:   118 l-rem:    118 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    8.95
673.33/168.77	c lits-rem:         0  cl-subs:     2230  v-elim:    224  v-fix:    0  time: 29.78 s
673.33/168.77	c learnt bin added due to v-elim: 0
673.33/168.77	c vivif2 --  cl tried    62337 cl shrink        0 lits rem          0 time: 0.02
673.73/168.80	c vivif2 --  cl tried    40256 cl shrink        0 lits rem          0 time: 0.10
674.53/169.06	c asymm  cl-useful: 0/62337/62337 lits-rem:0 time: 1.04
674.53/169.06	c calculated reachability. Time: 0.00
674.53/169.06	c  N dy  2454    357931     14451     62337        20     40256    190257   2094706    157.37    104.17  --
704.88/176.64	c  N dy  2594    377949     14451     62337        20     60271    190257   5234779    152.08    104.15  --
734.04/183.97	c  N dy  2734    398041     14451     62337        20     48360    190257   2992119    153.89    104.18  --
766.00/191.95	c  N dy  2874    418077     14451     62337        20     35400    190257    792962    159.16    104.14  --
795.16/199.28	c  N dy  3013    438084     14451     62337        20     55400    190257   3902343    165.60    104.13  --
827.52/207.30	c  N dy  3153    458143     14451     62337        20     41464    190257   1562388    141.46    104.09  --
858.28/215.03	c  N dy  3293    478147     14451     62337        20     61466    190257   4702753    150.69    104.09  --
888.64/222.60	c  N dy  3433    498244     14451     62337        20     46566    190257   2212579    137.46    104.11  --
917.82/229.95	c  N dy  3573    518309     14451     62337        20     66631    190257   5386449    157.27    104.15  --
945.76/236.95	c  S st  3704    536896     14451     62337        20     49219    190257   2476387    186.71    104.13  --
946.56/237.15	c  S st  3704    537400     14451     62337        20     49723    190257   2534078    186.71    104.13  --
946.56/237.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
946.56/237.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
948.18/237.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.6M T:  1.42
948.18/237.52	c Calc non-exist non-lernt bins v-fix:     0 done:  14451 time:  0.03 s
948.18/237.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
948.18/237.54	c Subs w/ non-existent bins:      0 time:  0.09 s
948.58/237.66	c bin-w-bin subsume rem            0 bins  time:  0.02 s
948.58/237.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
948.58/237.67	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
974.54/244.16	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
974.94/244.22	c lits-rem:         2  cl-subs:     2846  v-elim:    224  v-fix:    0  time: 26.13 s
974.94/244.22	c learnt bin added due to v-elim: 0
974.94/244.22	c vivif2 --  cl tried    62337 cl shrink        0 lits rem          0 time: 0.02
974.94/244.25	c vivif2 --  cl tried    46877 cl shrink        0 lits rem          0 time: 0.12
976.12/244.52	c asymm  cl-useful: 0/62337/62337 lits-rem:0 time: 1.09
976.12/244.53	c calculated reachability. Time: 0.00
976.12/244.53	c  N dy  3704    537400     14451     62337        20     46877    190257   2415923    186.71    104.13  --
976.12/244.53	c  F st  3704    537400     14451     62337        20     46877    190257   2415923    186.71    104.13  --
979.33/245.31	c Decided on dynamic restart strategy
1007.27/252.36	c  N dy  3836    557540     14451     62337        20     67012    190257   5607025    154.68    104.19  --
1038.43/260.16	c  N dy  3976    577668     14451     62337        20     50141    190257   2476696    141.25    104.18  --
1071.21/268.35	c  N dy  4116    597745     14451     62337        20     70217    190257   5622662    156.03    104.18  --
1102.74/276.28	c  N dy  4256    617783     14451     62337        20     52258    190257   2677641    142.65    104.21  --
1135.90/284.58	c  N dy  4397    637904     14451     62337        20     72375    190257   5835479    159.40    104.22  --
1167.87/292.57	c  N dy  4536    657970     14451     62337        20     53446    190257   2692348    170.58    104.19  --
1202.61/301.21	c  N dy  4676    678092     14451     62337        20     73568    190257   5887819    160.50    104.23  --
1235.36/309.48	c  N dy  4816    698138     14451     62337        20     53618    190257   2532028    143.27    104.22  --
1270.12/318.17	c  N dy  4956    718222     14451     62337        20     73698    190257   5660107    165.08    104.22  --
1301.68/326.03	c  N dy  5096    738331     14451     62337        20     52811    190257   2253426    165.35    104.21  --
1332.03/333.60	c  N dy  5236    758346     14451     62337        20     72822    190257   5444600    152.57    104.25  --
1363.59/341.58	c  N dy  5376    778421     14451     62337        20     50899    190257   1796475    143.12    104.22  --
1395.94/349.61	c  N dy  5516    798531     14451     62337        20     70999    190257   5029780    178.68    104.29  --
1410.72/353.30	c  S st  5569    806100     14451     62337        20     78567    190257   6197454    147.09    104.27  --
1411.92/353.61	c  S st  5569    806601     14451     62337        20     79068    190257   6261872    147.09    104.27  --
1411.92/353.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1411.92/353.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1414.72/354.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.2M T:  2.94
1414.72/354.37	c Calc non-exist non-lernt bins v-fix:     0 done:  14451 time:  0.03 s
1414.72/354.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1415.12/354.42	c Subs w/ non-existent bins:      0 time:  0.20 s
1416.32/354.72	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1416.32/354.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1416.32/354.73	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
1831.78/458.71	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
1860.12/465.86	c Added 1 vars  tried: 80000 time: 28.55
1860.12/465.86	c ORs :      1 avg-s:  0.0 cl-sh:   186 l-rem:    186 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   28.55
1860.51/465.97	c lits-rem:         1  cl-subs:     4587  v-elim:    224  v-fix:    0  time: 444.29 s
1860.51/465.97	c learnt bin added due to v-elim: 0
1860.51/465.98	c vivif2 --  cl tried    62338 cl shrink        0 lits rem          0 time: 0.02
1860.91/466.05	c vivif2 --  cl tried    74481 cl shrink        0 lits rem          0 time: 0.28
1862.53/466.49	c asymm  cl-useful: 0/50055/62338 lits-rem:0 time: 1.79
1862.91/466.50	c calculated reachability. Time: 0.00
1862.91/466.50	c  N dy  5569    806601     14452     62338        22     74481    190264   5992167    147.09    104.27  --
1896.46/474.93	c  N dy  5709    826644     14452     62338        22     51530    190264   1748936    161.05    104.28  --
1929.62/483.25	c  N dy  5849    846723     14452     62338        22     71609    190264   4882787    154.18    104.30  --
1965.97/492.36	c  N dy  5989    866824     14452     62338        22     47714    190264   1041816    173.20    104.30  --
1998.34/500.44	c  N dy  6129    886861     14452     62338        22     67746    190264   4146244    153.26    104.28  --
2035.47/509.78	c  N dy  6269    906928     14452     62338        22     87810    190264   7298318    168.30    104.28  --
2068.64/518.09	c  N dy  6409    927027     14452     62338        22     62912    190264   3225602    151.21    104.28  --
2105.38/527.24	c  N dy  6549    947062     14452     62338        22     82944    190264   6363225    160.66    104.27  --
2141.33/536.21	c  N dy  6689    967093     14452     62338        22     56978    190264   2190611    170.50    104.30  --
2177.28/545.22	c  N dy  6829    987161     14452     62338        22     77044    190264   5328858    154.96    104.29  --
2214.42/554.51	c  N dy  6968   1007200     14452     62338        22     50087    190264    931101    152.24    104.29  --
2243.99/561.94	c  N dy  7108   1027310     14452     62338        22     70191    190264   4084973    170.65    104.31  --
2278.74/570.69	c  N dy  7248   1047433     14452     62338        22     90313    190264   7223348    160.58    104.29  --
2311.50/578.81	c  N dy  7388   1067449     14452     62338        22     62335    190264   2709158    154.43    104.29  --
2346.24/587.52	c  N dy  7529   1087528     14452     62338        22     82409    190264   5833930    156.36    104.28  --
2383.40/596.82	c  N dy  7670   1107647     14452     62338        22     53534    190264   1124509    143.72    104.28  --
2416.54/605.10	c  N dy  7810   1127756     14452     62338        22     73640    190264   4242317    146.32    104.28  --
2454.10/614.58	c  N dy  7951   1147869     14452     62338        22     93752    190264   7358477    163.66    104.27  --
2489.65/623.46	c  N dy  8092   1168010     14452     62338        22     63900    190264   2655418    167.52    104.29  --
2525.20/632.40	c  N dy  8231   1188021     14452     62338        22     83906    190264   5804527    154.46    104.30  --
2565.95/642.52	c  N dy  8371   1208087     14452     62338        22     52977    190264    773852    167.45    104.31  --
2568.74/643.27	c  S st  8384   1209903     14452     62338        22     54792    190264   1058925    156.62    104.31  --
2569.56/643.47	c  S st  8384   1210409     14452     62338        22     55298    190264   1112457    156.62    104.31  --
2569.56/643.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2569.56/643.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2571.54/643.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.4M T:  1.81
2571.54/643.94	c Calc non-exist non-lernt bins v-fix:     0 done:  14452 time:  0.03 s
2571.54/643.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2571.54/643.96	c Subs w/ non-existent bins:      0 time:  0.06 s
2571.94/644.03	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2571.94/644.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2571.94/644.04	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
2582.32/646.66	c ORs :      2 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
2582.74/646.71	c lits-rem:         5  cl-subs:     3629  v-elim:    224  v-fix:    0  time: 10.64 s
2582.74/646.71	c learnt bin added due to v-elim: 0
2582.74/646.71	c vivif2 --  cl tried    62338 cl shrink        0 lits rem          0 time: 0.02
2582.74/646.73	c vivif2 --  cl tried    51669 cl shrink        0 lits rem          0 time: 0.07
2582.74/646.78	c asymm  cl-useful: 0/12283/62338 lits-rem:0 time: 0.22
2582.74/646.79	c calculated reachability. Time: 0.00
2582.74/646.79	c  N dy  8384   1210409     14452     62338        22     51669    190264   1052948    156.62    104.31  --
2617.47/655.41	c  N dy  8523   1230459     14452     62338        22     71715    190264   4171802    147.20    104.30  --
2656.62/665.26	c  N dy  8662   1250599     14452     62338        22     91851    190264   7359573    171.07    104.32  --
2696.99/675.31	c  N dy  8801   1270635     14452     62338        22     59892    190264   1744973    174.25    104.33  --
2731.32/683.96	c  N dy  8941   1290695     14452     62338        22     79952    190264   4866873    150.48    104.30  --
2771.68/694.05	c  N dy  9080   1310737     14452     62338        22     99992    190264   8056286    163.15    104.32  --
2807.24/702.97	c  N dy  9220   1330751     14452     62338        22     67009    190264   2727050    159.15    104.33  --
2841.17/711.42	c  N dy  9360   1350861     14452     62338        22     87118    190264   5870451    150.09    104.33  --
2879.52/721.02	c  N dy  9501   1370962     14452     62338        22    107210    190264   9009383    152.11    104.32  --
2911.88/729.14	c  N dy  9641   1390998     14452     62338        22     73255    190264   3464726    171.78    104.31  --
2949.43/738.56	c  N dy  9781   1411074     14452     62338        22     93326    190264   6666699    155.18    104.33  --
2989.37/748.58	c  N dy  9921   1431099     14452     62338        22     58358    190264   1021153    165.98    104.33  --
3024.52/757.30	c  N dy 10060   1451175     14452     62338        22     78428    190264   4205614    160.88    104.34  --
3063.26/767.05	c  N dy 10199   1471217     14452     62338        22     98465    190264   7380702    168.02    104.36  --
3103.22/777.00	c  N dy 10339   1491329     14452     62338        22     62586    190264   1513896    156.90    104.36  --
3138.76/785.96	c  N dy 10478   1511430     14452     62338        22     82684    190264   4683594    157.78    104.37  --
3180.32/796.32	c  N dy 10617   1531453     14452     62338        22    102702    190264   7865733    157.72    104.39  --
3220.65/806.44	c  N dy 10757   1551492     14452     62338        22     65749    190264   1919446    167.34    104.42  --
3258.21/815.81	c  N dy 10897   1571586     14452     62338        22     85841    190264   5035018    140.75    104.40  --
3300.15/826.34	c  N dy 11036   1591592     14452     62338        22    105842    190264   8180444    147.94    104.39  --
3340.89/836.57	c  N dy 11176   1611709     14452     62338        22     67966    190264   2075003    156.41    104.40  --
3380.43/846.41	c  N dy 11315   1631807     14452     62338        22     88059    190264   5249805    151.48    104.41  --
3421.59/856.76	c  N dy 11456   1651946     14452     62338        22    108193    190264   8477135    164.34    104.43  --
3459.53/866.26	c  N dy 11596   1672002     14452     62338        22     69258    190264   2067945    149.10    104.44  --
3494.67/875.04	c  N dy 11737   1692059     14452     62338        22     89311    190264   5201165    167.52    104.43  --
3531.43/884.29	c  S st 11864   1710409     14452     62338        22    107657    190264   8114773    149.93    104.45  --
3533.02/884.63	c  S st 11864   1710915     14452     62338        22    108163    190264   8173186    149.93    104.45  --
3533.02/884.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3533.02/884.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3537.82/885.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.3M T:  4.94
3538.22/885.90	c Calc non-exist non-lernt bins v-fix:     0 done:  14452 time:  0.03 s
3538.22/885.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3538.22/885.97	c Subs w/ non-existent bins:      0 time:  0.27 s
3539.82/886.33	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3539.82/886.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3539.82/886.34	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
4257.64/1066.04	c ORs :      2 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
4294.79/1075.31	c Added 5 vars  tried: 80000 time: 37.02
4294.79/1075.32	c ORs :      5 avg-s:  0.0 cl-sh:   508 l-rem:    508 b-add:     10 v-rep:   0 cl-rem: 0 avg s: nan T:   37.06
4295.19/1075.46	c lits-rem:         0  cl-subs:     6262  v-elim:    224  v-fix:    0  time: 755.39 s
4295.19/1075.46	c learnt bin added due to v-elim: 0
4295.19/1075.46	c vivif2 --  cl tried    62343 cl shrink        0 lits rem          0 time: 0.02
4295.59/1075.55	c vivif2 --  cl tried   101901 cl shrink        0 lits rem          0 time: 0.36
4297.18/1075.98	c asymm  cl-useful: 0/38090/62343 lits-rem:0 time: 1.70
4297.18/1075.99	c calculated reachability. Time: 0.00
4297.18/1075.99	c  N dy 11864   1710915     14457     62343        32    101901    190299   7802624    149.93    104.45  --
4338.33/1086.28	c  N dy 12004   1730995     14457     62343        32     61990    190299    857445    175.14    104.47  --
4371.11/1094.49	c  N dy 12144   1751110     14457     62343        32     82102    190299   3991260    163.25    104.45  --
4409.43/1104.00	c  N dy 12283   1771177     14457     62343        32    102168    190299   7176193    151.40    104.48  --
4452.58/1114.85	c  N dy 12422   1791215     14457     62343        32     61214    190299    549303    152.27    104.49  --
4486.93/1123.40	c  N dy 12562   1811302     14457     62343        32     81298    190299   3716261    158.04    104.49  --
4526.87/1133.44	c  N dy 12702   1831364     14457     62343        32    101356    190299   6914488    148.18    104.51  --
4571.21/1144.53	c  N dy 12842   1851439     14457     62343        32    121427    190299  10049512    163.94    104.51  --
4608.78/1153.96	c  N dy 12981   1871459     14457     62343        32     79454    190299   3335424    155.48    104.54  --
4648.70/1163.90	c  N dy 13121   1891579     14457     62343        32     99570    190299   6538972    145.53    104.54  --
4693.85/1175.22	c  N dy 13260   1911606     14457     62343        32    119594    190299   9744711    172.22    104.56  --
4733.39/1185.17	c  N dy 13400   1931643     14457     62343        32     76639    190299   2699627    168.68    104.57  --
4773.73/1195.23	c  N dy 13540   1951735     14457     62343        32     96729    190299   5901721    147.10    104.59  --

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-3172662-1304082598/watcher-3172662-1304082598 -o /tmp/evaluation-result-3172662-1304082598/solver-3172662-1304082598 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172662-1304082598.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: 8.09 8.15 8.07 2/175 24712
/proc/meminfo: memFree=17366464/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=24708 CPUtime=0 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 1443 0 0 0 0 0 0 0 25 0 1 0 519860745 25300992 1383 33554432000 4194304 4797429 140733966393184 18446744073709551615 4366859 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24712/statm: 6177 1387 341 148 0 1106 0

[startup+0.0762809 s]
/proc/loadavg: 8.09 8.15 8.07 2/175 24712
/proc/meminfo: memFree=17366464/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=77764 CPUtime=0.06 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 8942 0 0 0 6 0 0 0 25 0 1 0 519860745 79630336 7413 33554432000 4194304 4797429 140733966393184 18446744073709551615 4408377 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24712/statm: 19441 7415 348 148 0 14370 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 77764

[startup+0.100295 s]
/proc/loadavg: 8.09 8.15 8.07 2/175 24712
/proc/meminfo: memFree=17366464/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=80480 CPUtime=0.09 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 9795 0 0 0 9 0 0 0 25 0 1 0 519860745 82411520 8226 33554432000 4194304 4797429 140733966393184 18446744073709551615 270612776023 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/24712/statm: 20120 8226 348 148 0 15049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 80480

[startup+0.30021 s]
/proc/loadavg: 8.09 8.15 8.07 2/175 24712
/proc/meminfo: memFree=17366464/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=715744 CPUtime=0.66 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 17215 0 0 0 64 2 0 0 18 0 4 0 519860745 732921856 14281 33554432000 4194304 4797429 140733966393184 18446744073709551615 4593293 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 178936 14281 390 148 0 173865 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 715744

[startup+0.700108 s]
/proc/loadavg: 8.09 8.15 8.07 2/175 24712
/proc/meminfo: memFree=17366464/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=722696 CPUtime=2.26 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 21000 0 0 0 224 2 0 0 18 0 4 0 519860745 740040704 18040 33554432000 4194304 4797429 140733966393184 18446744073709551615 4423083 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 180674 18041 410 148 0 175603 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 722696

[startup+1.50097 s]
/proc/loadavg: 8.09 8.15 8.07 13/184 24746
/proc/meminfo: memFree=17241268/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=722828 CPUtime=5.46 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 23328 0 0 0 543 3 0 0 19 0 4 0 519860745 740175872 20359 33554432000 4194304 4797429 140733966393184 18446744073709551615 4351915 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 180707 20359 412 148 0 175636 0
[pid=24712/tid=24735] ppid=24710 vsize=722828 CPUtime=1.32 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 2145 0 0 0 132 0 0 0 19 0 4 0 519860762 740175872 20359 33554432000 4194304 4797429 140733966393184 18446744073709551615 4424652 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=722828 CPUtime=1.31 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 2910 0 0 0 131 0 0 0 19 0 4 0 519860762 740175872 20359 33554432000 4194304 4797429 140733966393184 18446744073709551615 4425609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=722828 CPUtime=1.32 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 3236 0 0 0 132 0 0 0 19 0 4 0 519860762 740175872 20359 33554432000 4194304 4797429 140733966393184 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 722828

[startup+3.10068 s]
/proc/loadavg: 8.09 8.14 8.07 9/184 24746
/proc/meminfo: memFree=17212748/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=727032 CPUtime=11.85 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 28270 0 0 0 1181 4 0 0 24 0 4 0 519860745 744480768 25280 33554432000 4194304 4797429 140733966393184 18446744073709551615 4425719 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 181758 25280 413 148 0 176687 0
[pid=24712/tid=24735] ppid=24710 vsize=727032 CPUtime=2.91 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 3228 0 0 0 291 0 0 0 24 0 4 0 519860762 744480768 25280 33554432000 4194304 4797429 140733966393184 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=727032 CPUtime=2.9 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 4394 0 0 0 289 1 0 0 24 0 4 0 519860762 744480768 25280 33554432000 4194304 4797429 140733966393184 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=727032 CPUtime=2.91 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 4368 0 0 0 291 0 0 0 24 0 4 0 519860762 744480768 25280 33554432000 4194304 4797429 140733966393184 18446744073709551615 4621453 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 727032

[startup+6.30112 s]
/proc/loadavg: 8.09 8.14 8.07 9/184 24746
/proc/meminfo: memFree=17155712/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=740096 CPUtime=24.63 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 37993 0 0 0 2454 9 0 0 25 0 4 0 519860745 757858304 31398 33554432000 4194304 4797429 140733966393184 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 185024 31398 416 148 0 179953 0
[pid=24712/tid=24735] ppid=24710 vsize=740096 CPUtime=6.11 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 5467 0 0 0 611 0 0 0 23 0 4 0 519860762 757858304 31398 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=740096 CPUtime=6.08 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 6450 0 0 0 606 2 0 0 24 0 4 0 519860762 757858304 31398 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=740096 CPUtime=6.12 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 6670 0 0 0 610 2 0 0 23 0 4 0 519860762 757858304 31398 33554432000 4194304 4797429 140733966393184 18446744073709551615 4526784 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.63
Current children cumulated vsize (KiB) 740096

[startup+12.701 s]
/proc/loadavg: 8.07 8.14 8.07 10/184 24747
/proc/meminfo: memFree=17132500/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=745864 CPUtime=50.19 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 45089 0 0 0 5007 12 0 0 25 0 4 0 519860745 763764736 38229 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 186466 38229 417 148 0 181395 0
[pid=24712/tid=24735] ppid=24710 vsize=745864 CPUtime=12.52 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 6279 0 0 0 1251 1 0 0 18 0 4 0 519860762 763764736 38229 33554432000 4194304 4797429 140733966393184 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=745864 CPUtime=12.45 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 7438 0 0 0 1242 3 0 0 25 0 4 0 519860762 763764736 38229 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=745864 CPUtime=12.51 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 7557 0 0 0 1249 2 0 0 25 0 4 0 519860762 763764736 38229 33554432000 4194304 4797429 140733966393184 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.19
Current children cumulated vsize (KiB) 745864

[startup+25.5007 s]
/proc/loadavg: 8.06 8.13 8.07 9/184 24747
/proc/meminfo: memFree=17088240/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=753552 CPUtime=101.31 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 54818 0 0 0 10115 16 0 0 25 0 4 0 519860745 771637248 43183 33554432000 4194304 4797429 140733966393184 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 188388 43183 419 148 0 183317 0
[pid=24712/tid=24735] ppid=24710 vsize=753552 CPUtime=25.31 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 7493 0 0 0 2530 1 0 0 25 0 4 0 519860762 771637248 43183 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=753552 CPUtime=25.17 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 8431 0 0 0 2514 3 0 0 25 0 4 0 519860762 771637248 43183 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=753552 CPUtime=25.32 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 8550 0 0 0 2529 3 0 0 25 0 4 0 519860762 771637248 43183 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 753552

[startup+51.1002 s]
/proc/loadavg: 8.11 8.14 8.07 10/184 24748
/proc/meminfo: memFree=17052568/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=769396 CPUtime=203.57 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 74841 0 0 0 20334 23 0 0 25 0 4 0 519860745 787861504 43762 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 192349 43762 420 148 0 187278 0
[pid=24712/tid=24735] ppid=24710 vsize=769396 CPUtime=50.91 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 10017 0 0 0 5090 1 0 0 25 0 4 0 519860762 787861504 43762 33554432000 4194304 4797429 140733966393184 18446744073709551615 4508748 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=769396 CPUtime=50.64 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 11271 0 0 0 5060 4 0 0 25 0 4 0 519860762 787861504 43762 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=769396 CPUtime=50.92 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 11366 0 0 0 5088 4 0 0 25 0 4 0 519860762 787861504 43762 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.57
Current children cumulated vsize (KiB) 769396

[startup+102.306 s]
/proc/loadavg: 8.15 8.14 8.08 10/184 24749
/proc/meminfo: memFree=16987328/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=782000 CPUtime=408.12 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 105941 0 0 0 40776 36 0 0 25 0 4 0 519860745 800768000 54813 33554432000 4194304 4797429 140733966393184 18446744073709551615 4389728 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 195500 54813 420 148 0 190429 0
[pid=24712/tid=24735] ppid=24710 vsize=782000 CPUtime=102.11 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 12578 0 0 0 10209 2 0 0 25 0 4 0 519860762 800768000 54813 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=782000 CPUtime=101.56 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 13667 0 0 0 10152 4 0 0 25 0 4 0 519860762 800768000 54813 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=782000 CPUtime=102.11 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 13679 0 0 0 10207 4 0 0 25 0 4 0 519860762 800768000 54813 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.12
Current children cumulated vsize (KiB) 782000

[startup+162.301 s]
/proc/loadavg: 8.17 8.15 8.08 9/184 24751
/proc/meminfo: memFree=16947636/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=794860 CPUtime=647.76 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 145628 0 0 0 64725 51 0 0 25 0 4 0 519860745 813936640 56679 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524200 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 198715 56679 420 148 0 193644 0
[pid=24712/tid=24735] ppid=24710 vsize=794860 CPUtime=162.12 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 16241 0 0 0 16208 4 0 0 25 0 4 0 519860762 813936640 56679 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=794860 CPUtime=161.23 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 17607 0 0 0 16118 5 0 0 25 0 4 0 519860762 813936640 56679 33554432000 4194304 4797429 140733966393184 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=794860 CPUtime=162.12 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 17409 0 0 0 16206 6 0 0 25 0 4 0 519860762 813936640 56679 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.76
Current children cumulated vsize (KiB) 794860

[startup+222.301 s]
/proc/loadavg: 8.16 8.15 8.09 9/184 24752
/proc/meminfo: memFree=16892680/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=806348 CPUtime=887.43 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 181004 0 0 0 88675 68 0 0 25 0 4 0 519860745 825700352 59898 33554432000 4194304 4797429 140733966393184 18446744073709551615 4424536 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 201587 59898 420 148 0 196516 0
[pid=24712/tid=24735] ppid=24710 vsize=806348 CPUtime=222.11 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 17577 0 0 0 22207 4 0 0 25 0 4 0 519860762 825700352 59898 33554432000 4194304 4797429 140733966393184 18446744073709551615 4495554 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=806348 CPUtime=220.91 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 21330 0 0 0 22084 7 0 0 25 0 4 0 519860762 825700352 59898 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=806348 CPUtime=222.11 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 21064 0 0 0 22204 7 0 0 25 0 4 0 519860762 825700352 59898 33554432000 4194304 4797429 140733966393184 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.43
Current children cumulated vsize (KiB) 806348

[startup+282.3 s]

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

[pid=24712] ppid=24710 vsize=843852 CPUtime=2565.17 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 360608 0 0 0 256362 155 0 0 25 0 4 0 519860745 864104448 76248 33554432000 4194304 4797429 140733966393184 18446744073709551615 270612807435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 210963 76248 420 148 0 205892 0
[pid=24712/tid=24735] ppid=24710 vsize=843852 CPUtime=642.13 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 34034 0 0 0 64202 11 0 0 25 0 4 0 519860762 864104448 76248 33554432000 4194304 4797429 140733966393184 18446744073709551615 4415712 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=843852 CPUtime=638.63 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 36769 0 0 0 63850 13 0 0 25 0 4 0 519860762 864104448 76248 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=843852 CPUtime=642.12 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 36844 0 0 0 64198 14 0 0 25 0 4 0 519860762 864104448 76248 33554432000 4194304 4797429 140733966393184 18446744073709551615 4428600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.17
Current children cumulated vsize (KiB) 843852

[startup+702.301 s]
/proc/loadavg: 8.12 8.12 8.09 9/184 24765
/proc/meminfo: memFree=16731592/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=848952 CPUtime=2804.81 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 387723 0 0 0 280312 169 0 0 25 0 4 0 519860745 869326848 76861 33554432000 4194304 4797429 140733966393184 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 212238 76861 420 148 0 207167 0
[pid=24712/tid=24735] ppid=24710 vsize=848952 CPUtime=702.12 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 36681 0 0 0 70200 12 0 0 25 0 4 0 519860762 869326848 76861 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=848952 CPUtime=698.3 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 38749 0 0 0 69816 14 0 0 25 0 4 0 519860762 869326848 76861 33554432000 4194304 4797429 140733966393184 18446744073709551615 4240449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=848952 CPUtime=702.12 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 37759 0 0 0 70198 14 0 0 25 0 4 0 519860762 869326848 76861 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.81
Current children cumulated vsize (KiB) 848952

[startup+762.306 s]
/proc/loadavg: 8.12 8.12 8.09 10/184 24767
/proc/meminfo: memFree=16677400/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=857132 CPUtime=3044.52 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 418119 0 0 0 304267 185 0 0 25 0 4 0 519860745 877703168 84025 33554432000 4194304 4797429 140733966393184 18446744073709551615 4425719 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 214283 84025 420 148 0 209212 0
[pid=24712/tid=24735] ppid=24710 vsize=857132 CPUtime=762.13 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 39308 0 0 0 76200 13 0 0 25 0 4 0 519860762 877703168 84025 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=857132 CPUtime=757.99 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 40767 0 0 0 75783 16 0 0 25 0 4 0 519860762 877703168 84025 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524489 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=857132 CPUtime=762.13 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 40862 0 0 0 76197 16 0 0 25 0 4 0 519860762 877703168 84025 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.52
Current children cumulated vsize (KiB) 857132

[startup+822.301 s]
/proc/loadavg: 8.08 8.11 8.09 10/184 24768
/proc/meminfo: memFree=16677508/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=873568 CPUtime=3284.17 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 444016 0 0 0 328221 196 0 0 25 0 4 0 519860745 894533632 89818 33554432000 4194304 4797429 140733966393184 18446744073709551615 4377500 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 218392 89818 420 148 0 213321 0
[pid=24712/tid=24735] ppid=24710 vsize=873568 CPUtime=822.13 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 39950 0 0 0 82199 14 0 0 25 0 4 0 519860762 894533632 89818 33554432000 4194304 4797429 140733966393184 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=873568 CPUtime=817.66 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 43041 0 0 0 81749 17 0 0 25 0 4 0 519860762 894533632 89818 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=873568 CPUtime=822.12 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 42921 0 0 0 82195 17 0 0 25 0 4 0 519860762 894533632 89818 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.17
Current children cumulated vsize (KiB) 873568

[startup+882.301 s]
/proc/loadavg: 8.06 8.10 8.09 9/184 24770
/proc/meminfo: memFree=16653804/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=873488 CPUtime=3523.84 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 472208 0 0 0 352174 210 0 0 25 0 4 0 519860745 894451712 85415 33554432000 4194304 4797429 140733966393184 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 218372 85415 420 148 0 213301 0
[pid=24712/tid=24735] ppid=24710 vsize=873488 CPUtime=882.13 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 42868 0 0 0 88199 14 0 0 25 0 4 0 519860762 894451712 85415 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=873488 CPUtime=877.33 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 45224 0 0 0 87715 18 0 0 25 0 4 0 519860762 894451712 85415 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=873488 CPUtime=882.12 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 44777 0 0 0 88195 17 0 0 25 0 4 0 519860762 894451712 85415 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.84
Current children cumulated vsize (KiB) 873488

[startup+942.301 s]
/proc/loadavg: 8.09 8.11 8.09 9/184 24771
/proc/meminfo: memFree=16620572/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=873488 CPUtime=3763.52 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 480331 0 0 0 376137 215 0 0 25 0 4 0 519860745 894451712 93237 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 218372 93237 420 148 0 213301 0
[pid=24712/tid=24735] ppid=24710 vsize=873488 CPUtime=942.13 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 44186 0 0 0 94198 15 0 0 25 0 4 0 519860762 894451712 93237 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=873488 CPUtime=937.01 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 46770 0 0 0 93682 19 0 0 25 0 4 0 519860762 894451712 93237 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=873488 CPUtime=942.12 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 46938 0 0 0 94193 19 0 0 25 0 4 0 519860762 894451712 93237 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.52
Current children cumulated vsize (KiB) 873488

[startup+1002.3 s]
/proc/loadavg: 8.07 8.10 8.09 9/184 24773
/proc/meminfo: memFree=16546292/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=873488 CPUtime=4003.19 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 482584 0 0 0 400103 216 0 0 25 0 4 0 519860745 894451712 95425 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 218372 95425 420 148 0 213301 0
[pid=24712/tid=24735] ppid=24710 vsize=873488 CPUtime=1002.13 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 44773 0 0 0 100197 16 0 0 25 0 4 0 519860762 894451712 95425 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=873488 CPUtime=996.68 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 47403 0 0 0 99649 19 0 0 25 0 4 0 519860762 894451712 95425 33554432000 4194304 4797429 140733966393184 18446744073709551615 4567910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=873488 CPUtime=1002.12 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 47971 0 0 0 100193 19 0 0 25 0 4 0 519860762 894451712 95425 33554432000 4194304 4797429 140733966393184 18446744073709551615 4501903 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.19
Current children cumulated vsize (KiB) 873488

[startup+1062.3 s]
/proc/loadavg: 8.06 8.10 8.09 9/184 24775
/proc/meminfo: memFree=16545288/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=873456 CPUtime=4242.86 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 485123 0 0 0 424069 217 0 0 25 0 4 0 519860745 894418944 94013 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 218364 94013 420 148 0 213293 0
[pid=24712/tid=24735] ppid=24710 vsize=873456 CPUtime=1062.13 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 46096 0 0 0 106197 16 0 0 25 0 4 0 519860762 894418944 94013 33554432000 4194304 4797429 140733966393184 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=873456 CPUtime=1056.35 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 47985 0 0 0 105616 19 0 0 25 0 4 0 519860762 894418944 94013 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=873456 CPUtime=1062.13 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 48605 0 0 0 106193 20 0 0 25 0 4 0 519860762 894418944 94013 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.86
Current children cumulated vsize (KiB) 873456

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.09 10/184 24776
/proc/meminfo: memFree=16566224/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=873480 CPUtime=4482.53 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 510145 0 0 0 448025 228 0 0 25 0 4 0 519860745 894443520 88676 33554432000 4194304 4797429 140733966393184 18446744073709551615 4423639 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 218370 88676 420 148 0 213299 0
[pid=24712/tid=24735] ppid=24710 vsize=873480 CPUtime=1122.13 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 48044 0 0 0 112196 17 0 0 25 0 4 0 519860762 894443520 88676 33554432000 4194304 4797429 140733966393184 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=873480 CPUtime=1116.03 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 50844 0 0 0 111582 21 0 0 25 0 4 0 519860762 894443520 88676 33554432000 4194304 4797429 140733966393184 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=873480 CPUtime=1122.13 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 51452 0 0 0 112192 21 0 0 25 0 4 0 519860762 894443520 88676 33554432000 4194304 4797429 140733966393184 18446744073709551615 4237276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.53
Current children cumulated vsize (KiB) 873480

[startup+1182.3 s]
/proc/loadavg: 8.18 8.12 8.09 10/184 24778
/proc/meminfo: memFree=16548972/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=873540 CPUtime=4722.21 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 534111 0 0 0 471982 239 0 0 25 0 4 0 519860745 894504960 90099 33554432000 4194304 4797429 140733966393184 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 218385 90099 420 148 0 213314 0
[pid=24712/tid=24735] ppid=24710 vsize=873540 CPUtime=1182.14 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 48864 0 0 0 118196 18 0 0 25 0 4 0 519860762 894504960 90099 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=873540 CPUtime=1175.71 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 51819 0 0 0 117550 21 0 0 25 0 4 0 519860762 894504960 90099 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=873540 CPUtime=1182.13 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 52602 0 0 0 118192 21 0 0 25 0 4 0 519860762 894504960 90099 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.21
Current children cumulated vsize (KiB) 873540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.12 8.11 8.09 9/184 24778
/proc/meminfo: memFree=16551076/32951124 swapFree=67111528/67111528
[pid=24712] ppid=24710 vsize=873540 CPUtime=4800.12 cores=0,2,4,6
/proc/24712/stat : 24712 (techdemo) R 24710 24712 24299 0 -1 4202496 540951 0 0 0 479768 244 0 0 25 0 4 0 519860745 894504960 96891 33554432000 4194304 4797429 140733966393184 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24712/statm: 218385 96891 420 148 0 213314 0
[pid=24712/tid=24735] ppid=24710 vsize=873540 CPUtime=1201.65 cores=0,2,4,6
/proc/24712/task/24735/stat : 24735 (techdemo) R 24710 24712 24299 0 -1 4202560 49059 0 0 0 120147 18 0 0 25 0 4 0 519860762 894504960 96891 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24712/tid=24736] ppid=24710 vsize=873540 CPUtime=1195.1 cores=0,2,4,6
/proc/24712/task/24736/stat : 24736 (techdemo) R 24710 24712 24299 0 -1 4202560 52012 0 0 0 119489 21 0 0 25 0 4 0 519860762 894504960 96891 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24712/tid=24737] ppid=24710 vsize=873540 CPUtime=1201.63 cores=0,2,4,6
/proc/24712/task/24737/stat : 24737 (techdemo) R 24710 24712 24299 0 -1 4202560 52988 0 0 0 120142 21 0 0 25 0 4 0 519860762 894504960 96891 33554432000 4194304 4797429 140733966393184 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 873540

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.83
CPU time (s): 4800.16
CPU user time (s): 4797.7
CPU system time (s): 2.45963
CPU usage (%): 399.404
Max. virtual memory (cumulated for all children) (KiB): 983336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.7
system time used= 2.45963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540953
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= 2710
involuntary context switches= 34122

runsolver used 1.9687 second user time and 4.5873 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-29 15:09:58
IDJOB=3172662
IDBENCH=82680
IDSOLVER=1584
FILE ID=node108/3172662-1304082598
RUNJOBID= node108-1304081394-24613
PBS_JOBID= 13170514
Free space on /tmp= 72112 MiB

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

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

MD5SUM BENCH= 745003317611baf9e79e91bc0ab8e275
RANDOM SEED=1444639987

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17366504 kB
Buffers:       2164412 kB
Cached:       12773340 kB
SwapCached:          0 kB
Active:        4214724 kB
Inactive:     10788444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17366504 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8992 kB
Writeback:           0 kB
AnonPages:       64796 kB
Mapped:          15080 kB
Slab:           518100 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   218764 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= 72104 MiB
End job on node108 at 2011-04-29 15:30:02