Trace number 3172493

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf
MD5SUM8991b7c0d56154e632c95327c4937cf5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.2022
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-3172493-1304049648.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.16	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.66/0.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.66/0.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.66/0.40	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
4.24/1.28	c lits-rem:         0  cl-subs:        0  v-elim:    892  v-fix:    0  time:  0.64 s
4.24/1.28	c learnt bin added due to v-elim: 0
4.24/1.28	c Finding binary XORs  T:     0.01 s  found:       0
4.24/1.28	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
4.24/1.28	c calculated reachability. Time: 0.00
4.24/1.28	c Calc default polars -  time:   0.02 s pos:    6625 undec:    1754 neg:    6621
4.24/1.28	c =========================================================================================
4.24/1.28	c types(t): F = full restart, N = normal restart
4.24/1.28	c types(t): S = simplification begin/end, E = solution found
4.24/1.28	c restart types(rt): st = static, dy = dynamic
4.24/1.28	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
4.24/1.28	c  B st     0         0     14489     62363         0         0    189963         0   no data   no data  --
4.24/1.28	c Decided on dynamic restart strategy
5.06/1.46	c  N dy    20      4089     14489     62363         0      4088    189963    659955    129.11    102.94  --
9.45/2.53	c  N dy    49      8233     14489     62363         0      8231    189963   1303111    147.42    103.00  --
13.40/3.54	c  N dy    77     12234     14489     62363         0     12231    189963   1912476    142.98    102.78  --
17.78/4.60	c  N dy   105     16252     14489     62363         0     16249    189963   2511486    140.83    101.78  --
22.58/5.81	c  N dy   134     20357     14489     62363         0     10356    189963    487705    150.81    101.15  --
26.97/6.96	c  N dy   162     24379     14489     62363         0     14376    189963   1105473    156.09    101.15  --
31.37/8.04	c  N dy   191     28519     14489     62363         0     18515    189963   1747619    157.93    101.52  --
33.76/8.63	c  S st   202     30000     14489     62363         0     19996    189963   1984141    159.99    101.77  --
34.16/8.79	c  S st   202     30503     14489     62363         0     20499    189963   2043130    159.99    101.77  --
34.56/8.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
34.56/8.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.96/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
34.96/8.99	c Calc non-exist non-lernt bins v-fix:     0 done:  14489 time:  0.02 s
34.96/8.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.36/9.01	c Subs w/ non-existent bins:      0 time:  0.08 s
35.75/9.16	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.75/9.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.75/9.17	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
53.32/13.55	c lits-rem:         0  cl-subs:     1299  v-elim:    231  v-fix:    0  time: 17.49 s
53.32/13.55	c learnt bin added due to v-elim: 0
53.32/13.56	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
53.32/13.58	c vivif2 --  cl tried    19200 cl shrink        0 lits rem          0 time: 0.09
54.13/13.79	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.82
54.13/13.79	c calculated reachability. Time: 0.00
54.13/13.79	c  N dy   202     30503     14489     62363         0     19200    189963   1951370    159.99    101.77  --
54.13/13.79	c  F st   202     30503     14489     62363         0     19200    189963   1951370    159.99    101.77  --
56.91/14.45	c Decided on dynamic restart strategy
59.31/15.09	c  N dy   222     34574     14489     62363         0     23269    189963   2659486    151.93    103.29  --
64.90/16.42	c  N dy   251     38701     14489     62363         0     27396    189963   3285083    159.05    103.24  --
69.69/17.63	c  N dy   279     42728     14489     62363         0     15925    189963    616803    152.10    103.07  --
73.29/18.53	c  S st   301     45754     14489     62363         0     18950    189963   1065676    153.59    102.72  --
73.69/18.68	c  S st   301     46260     14489     62363         0     19456    189963   1127525    153.59    102.72  --
73.69/18.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
73.69/18.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.49/18.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.54
74.49/18.83	c Calc non-exist non-lernt bins v-fix:     0 done:  14489 time:  0.03 s
74.49/18.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.49/18.84	c Subs w/ non-existent bins:      0 time:  0.05 s
74.89/18.90	c bin-w-bin subsume rem            0 bins  time:  0.02 s
74.89/18.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
74.89/18.91	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
84.48/21.34	c lits-rem:         0  cl-subs:      644  v-elim:    231  v-fix:    0  time:  9.68 s
84.48/21.34	c learnt bin added due to v-elim: 0
84.48/21.34	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
84.48/21.36	c vivif2 --  cl tried    18812 cl shrink        0 lits rem          0 time: 0.05
85.29/21.53	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.68
85.29/21.53	c calculated reachability. Time: 0.00
85.29/21.53	c  N dy   301     46260     14489     62363         0     18812    189963   1086579    153.59    102.72  --
90.06/22.71	c  N dy   329     50318     14489     62363         0     22870    189963   1724601    155.25    102.74  --
94.46/23.85	c  N dy   357     54321     14489     62363         0     26873    189963   2329283    157.22    102.69  --
99.65/25.11	c  N dy   385     58344     14489     62363         0     30896    189963   2948051    155.41    102.65  --
105.24/26.54	c  N dy   413     62379     14489     62363         0     34930    189963   3586710    164.12    102.62  --
110.83/27.94	c  N dy   441     66459     14489     62363         0     20263    189963    780112    153.50    102.62  --
114.42/28.88	c  S st   462     69391     14489     62363         0     23194    189963   1225458    152.94    102.63  --
115.23/29.02	c  S st   462     69894     14489     62363         0     23697    189963   1284908    152.94    102.63  --
115.23/29.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
115.23/29.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
115.64/29.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.62
115.64/29.19	c Calc non-exist non-lernt bins v-fix:     0 done:  14489 time:  0.03 s
115.64/29.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
116.05/29.21	c Subs w/ non-existent bins:      0 time:  0.06 s
116.05/29.27	c bin-w-bin subsume rem            0 bins  time:  0.02 s
116.05/29.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
116.05/29.29	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
126.41/31.83	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.81/33.46	c Added 0 vars  tried: 80000 time: 6.54
132.81/33.46	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    6.54
133.22/33.51	c lits-rem:         4  cl-subs:      811  v-elim:    231  v-fix:    0  time: 16.85 s
133.22/33.51	c learnt bin added due to v-elim: 0
133.22/33.51	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
133.22/33.53	c vivif2 --  cl tried    22886 cl shrink        0 lits rem          0 time: 0.06
134.00/33.71	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 0.72
134.00/33.71	c calculated reachability. Time: 0.00
134.00/33.71	c  N dy   462     69894     14489     62363         0     22886    189963   1241377    152.94    102.63  --
134.00/33.71	c  F st   462     69894     14489     62363         0     22886    189963   1241377    152.94    102.63  --
136.40/34.37	c Decided on dynamic restart strategy
139.18/35.09	c  N dy   485     74393     14489     62363         0     27384    189963   2000695    156.11    103.00  --
145.18/36.52	c  N dy   518     79142     14489     62363         0     32131    189963   2768271    171.89    103.20  --
151.98/38.25	c  N dy   553     84204     14489     62363         0     37192    189963   3564007    163.05    103.28  --
159.98/40.28	c  N dy   591     89670     14489     62363         0     21787    189963    677934    159.05    103.49  --
167.15/42.08	c  N dy   631     95457     14489     62363         0     27573    189963   1575578    168.92    103.53  --
174.75/43.97	c  N dy   674    101691     14489     62363         0     33806    189963   2577542    163.73    103.75  --
179.94/45.24	c  S st   697    104841     14489     62363         0     36956    189963   3053900    144.62    103.65  --
180.74/45.42	c  S st   697    105348     14489     62363         0     37463    189963   3110508    144.62    103.65  --
180.74/45.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
180.74/45.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.55/45.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.06
181.95/45.70	c Calc non-exist non-lernt bins v-fix:     0 done:  14489 time:  0.03 s
181.95/45.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.95/45.73	c Subs w/ non-existent bins:      0 time:  0.11 s
182.33/45.88	c bin-w-bin subsume rem            0 bins  time:  0.02 s
182.33/45.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
182.33/45.89	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
213.49/53.68	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.89/53.74	c lits-rem:         4  cl-subs:     1391  v-elim:    231  v-fix:    0  time: 31.34 s
213.89/53.74	c learnt bin added due to v-elim: 0
213.89/53.74	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
213.89/53.78	c vivif2 --  cl tried    36072 cl shrink        0 lits rem          0 time: 0.13
215.10/54.07	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 1.17
215.10/54.08	c calculated reachability. Time: 0.00
215.10/54.08	c  N dy   697    105348     14489     62363         0     36072    189963   2996121    144.62    103.65  --
223.88/56.27	c  N dy   744    112099     14489     62363         0     42820    189963   4045005    156.87    103.70  --
233.07/58.54	c  N dy   794    119297     14489     62363         0     27583    189963   1303414    158.29    103.64  --
242.65/60.92	c  N dy   849    127034     14489     62363         0     35320    189963   2465179    148.50    103.45  --
253.44/63.67	c  N dy   906    135181     14489     62363         0     43467    189963   3668635    155.83    103.15  --
265.44/66.62	c  N dy   967    143944     14489     62363         0     28513    189963   1220498    161.72    103.33  --
277.02/69.54	c  N dy  1032    153227     14489     62363         0     37794    189963   2659857    158.63    103.34  --
285.00/71.52	c  S st  1065    158022     14489     62363         0     42588    189963   3402066    167.52    103.32  --
285.80/71.72	c  S st  1065    158524     14489     62363         0     43090    189963   3458071    167.52    103.32  --
285.80/71.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
285.80/71.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.01/72.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.23
287.01/72.04	c Calc non-exist non-lernt bins v-fix:     0 done:  14489 time:  0.03 s
287.01/72.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.01/72.07	c Subs w/ non-existent bins:      0 time:  0.12 s
287.79/72.25	c bin-w-bin subsume rem            0 bins  time:  0.02 s
287.79/72.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
287.79/72.26	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
326.97/82.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
326.97/82.08	c lits-rem:         0  cl-subs:     1788  v-elim:    231  v-fix:    0  time: 39.25 s
326.97/82.08	c learnt bin added due to v-elim: 0
326.97/82.09	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
327.35/82.13	c vivif2 --  cl tried    41302 cl shrink        0 lits rem          0 time: 0.15
328.55/82.46	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 1.32
328.55/82.46	c calculated reachability. Time: 0.00
328.55/82.46	c  N dy  1065    158524     14489     62363         0     41302    189963   3326033    167.52    103.32  --
342.93/86.05	c  N dy  1136    168717     14489     62363         0     26637    189963    747518    165.72    103.27  --
357.32/89.65	c  N dy  1211    179514     14489     62363         0     37432    189963   2424274    138.81    103.28  --
373.69/93.74	c  N dy  1290    191011     14489     62363         0     48928    189963   4229556    147.57    103.37  --
390.46/97.90	c  N dy  1375    203293     14489     62363         0     35283    189963   1870079    152.89    103.33  --
408.84/102.55	c  N dy  1467    216402     14489     62363         0     48391    189963   3901820    155.75    103.32  --
428.42/107.43	c  N dy  1564    230288     14489     62363         0     35316    189963   1685645    146.05    103.23  --
440.01/110.34	c  S st  1617    237786     14489     62363         0     42812    189963   2861163    151.25    103.27  --
440.82/110.55	c  S st  1617    238293     14489     62363         0     43319    189963   2919620    151.25    103.27  --
440.82/110.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
440.82/110.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
442.00/110.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.20
442.00/110.86	c Calc non-exist non-lernt bins v-fix:     0 done:  14489 time:  0.03 s
442.00/110.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
442.00/110.89	c Subs w/ non-existent bins:      0 time:  0.10 s
442.80/111.03	c bin-w-bin subsume rem            0 bins  time:  0.02 s
442.80/111.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
442.80/111.04	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
475.15/119.15	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
475.55/119.21	c lits-rem:         0  cl-subs:     2091  v-elim:    231  v-fix:    0  time: 32.62 s
475.55/119.21	c learnt bin added due to v-elim: 0
475.55/119.22	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
475.55/119.25	c vivif2 --  cl tried    41228 cl shrink        0 lits rem          0 time: 0.13
476.74/119.56	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 1.24
476.74/119.57	c calculated reachability. Time: 0.00
476.74/119.57	c  N dy  1617    238293     14489     62363         0     41228    189963   2801114    151.25    103.27  --
498.34/124.98	c  N dy  1723    253536     14489     62363         0     28489    189963    502383    161.32    103.37  --
519.91/130.32	c  N dy  1836    269773     14489     62363         0     44720    189963   3044300    156.12    103.40  --
543.86/136.34	c  N dy  1957    287074     14489     62363         0     33036    189963   1054698    165.67    103.36  --
569.03/142.62	c  N dy  2085    305395     14489     62363         0     51352    189963   3916426    155.48    103.36  --
596.20/149.48	c  N dy  2222    325004     14489     62363         0     40968    189963   2069297    150.11    103.31  --
626.56/157.06	c  N dy  2362    345125     14489     62363         0     61086    189963   5231721    158.28    103.40  --
644.53/161.56	c  S st  2449    357442     14489     62363         0     42411    189963   2171189    165.18    103.39  --
645.34/161.74	c  S st  2449    357946     14489     62363         0     42915    189963   2229117    165.18    103.39  --
645.34/161.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
645.34/161.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
646.54/162.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  1.15
646.54/162.04	c Calc non-exist non-lernt bins v-fix:     0 done:  14489 time:  0.03 s
646.54/162.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
646.54/162.06	c Subs w/ non-existent bins:      0 time:  0.08 s
646.94/162.18	c bin-w-bin subsume rem            0 bins  time:  0.02 s
646.94/162.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
646.94/162.19	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
669.32/167.70	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.03
678.51/170.00	c Added 0 vars  tried: 80000 time: 9.19
678.51/170.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:    9.19
678.51/170.06	c lits-rem:         0  cl-subs:     2339  v-elim:    231  v-fix:    0  time: 31.43 s
678.51/170.06	c learnt bin added due to v-elim: 0
678.51/170.06	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
678.51/170.09	c vivif2 --  cl tried    40576 cl shrink        0 lits rem          0 time: 0.10
679.69/170.35	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 1.05
679.69/170.36	c calculated reachability. Time: 0.00
679.69/170.36	c  N dy  2449    357946     14489     62363         0     40576    189963   2131455    165.18    103.39  --
710.45/178.06	c  N dy  2589    378023     14489     62363         0     60651    189963   5276451    175.08    103.43  --
740.02/185.40	c  N dy  2729    398060     14489     62363         0     48684    189963   2974643    159.56    103.44  --
771.57/193.36	c  N dy  2869    418103     14489     62363         0     35732    189963    797144    135.88    103.44  --
801.55/200.86	c  N dy  3009    438126     14489     62363         0     55752    189963   3896031    154.43    103.40  --
833.89/208.97	c  N dy  3148    458175     14489     62363         0     41805    189963   1653367    174.20    103.52  --
864.65/216.68	c  N dy  3288    478253     14489     62363         0     61880    189963   4809049    162.11    103.56  --
893.00/223.78	c  N dy  3428    498349     14489     62363         0     46979    189963   2259816    147.86    103.55  --
923.37/231.39	c  N dy  3568    518489     14489     62363         0     67117    189963   5436781    156.46    103.58  --
951.33/238.37	c  S st  3697    536919     14489     62363         0     49548    189963   2477672    166.56    103.56  --
952.13/238.57	c  S st  3697    537422     14489     62363         0     50051    189963   2538014    166.56    103.56  --
952.13/238.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
952.13/238.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
953.73/238.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.6M T:  1.40
953.73/238.94	c Calc non-exist non-lernt bins v-fix:     0 done:  14489 time:  0.03 s
953.73/238.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
953.73/238.96	c Subs w/ non-existent bins:      0 time:  0.09 s
954.13/239.07	c bin-w-bin subsume rem            0 bins  time:  0.02 s
954.13/239.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
954.13/239.08	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
983.30/246.40	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
983.70/246.45	c lits-rem:         4  cl-subs:     2990  v-elim:    231  v-fix:    0  time: 29.43 s
983.70/246.45	c learnt bin added due to v-elim: 0
983.70/246.46	c vivif2 --  cl tried    62363 cl shrink        0 lits rem          0 time: 0.02
983.70/246.49	c vivif2 --  cl tried    47061 cl shrink        0 lits rem          0 time: 0.12
984.90/246.79	c asymm  cl-useful: 0/62363/62363 lits-rem:0 time: 1.19
984.90/246.79	c calculated reachability. Time: 0.00
984.90/246.79	c  N dy  3697    537422     14489     62363         0     47061    189963   2422896    166.56    103.56  --
984.90/246.79	c  F st  3697    537422     14489     62363         0     47061    189963   2422896    166.56    103.56  --
988.49/247.62	c Decided on dynamic restart strategy
1017.25/254.83	c  N dy  3829    557527     14489     62363         0     67162    189963   5591149    158.44    103.58  --
1048.81/262.76	c  N dy  3969    577636     14489     62363         0     50272    189963   2492297    167.04    103.62  --
1081.97/271.04	c  N dy  4108    597721     14489     62363         0     70353    189963   5706478    174.41    103.71  --
1113.92/279.03	c  N dy  4248    617807     14489     62363         0     52442    189963   2724192    159.06    103.80  --
1147.48/287.47	c  N dy  4388    637897     14489     62363         0     72530    189963   5853442    148.17    103.78  --
1179.84/295.59	c  N dy  4528    657986     14489     62363         0     53622    189963   2712550    163.51    103.77  --
1214.98/304.33	c  N dy  4668    678072     14489     62363         0     73704    189963   5855638    163.82    103.76  --
1248.55/312.71	c  N dy  4808    698168     14489     62363         0     53804    189963   2546999    149.20    103.74  --
1283.30/321.46	c  N dy  4948    718291     14489     62363         0     73924    189963   5723862    158.44    103.78  --
1314.46/329.29	c  N dy  5088    738416     14489     62363         0     53053    189963   2311911    144.69    103.76  --
1345.63/337.01	c  N dy  5227    758478     14489     62363         0     73112    189963   5490720    163.54    103.80  --
1377.57/345.04	c  N dy  5366    778496     14489     62363         0     51134    189963   1870314    160.53    103.82  --
1409.14/352.95	c  N dy  5504    798507     14489     62363         0     71144    189963   5005651    153.22    103.82  --
1425.14/356.90	c  S st  5557    806133     14489     62363         0     78769    189963   6205952    148.52    103.83  --
1425.92/357.16	c  S st  5557    806635     14489     62363         0     79271    189963   6267027    148.52    103.83  --
1425.92/357.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1425.92/357.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1428.72/357.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.81
1428.72/357.88	c Calc non-exist non-lernt bins v-fix:     0 done:  14489 time:  0.03 s
1428.72/357.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1429.12/357.94	c Subs w/ non-existent bins:      0 time:  0.20 s
1430.32/358.23	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1430.32/358.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1430.32/358.24	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
1843.36/461.68	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
1871.33/468.62	c Added 1 vars  tried: 80000 time: 27.74
1871.33/468.62	c ORs :      1 avg-s:  0.0 cl-sh:   116 l-rem:    116 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   27.74
1871.73/468.73	c lits-rem:         0  cl-subs:     4594  v-elim:    231  v-fix:    0  time: 441.29 s
1871.73/468.73	c learnt bin added due to v-elim: 0
1871.73/468.73	c vivif2 --  cl tried    62364 cl shrink        0 lits rem          0 time: 0.02
1872.13/468.80	c vivif2 --  cl tried    74677 cl shrink        0 lits rem          0 time: 0.26
1873.74/469.24	c asymm  cl-useful: 0/50050/62364 lits-rem:0 time: 1.77
1873.74/469.25	c calculated reachability. Time: 0.00
1873.74/469.25	c  N dy  5557    806635     14490     62364         2     74677    189970   5989137    148.52    103.83  --
1908.09/477.80	c  N dy  5697    826716     14490     62364         2     51759    189970   1841166    151.34    103.89  --
1941.63/486.26	c  N dy  5837    846845     14490     62364         2     71885    189970   5071595    164.17    103.94  --
1977.59/495.27	c  N dy  5977    866858     14490     62364         2     47903    189970   1036421    152.38    103.93  --
2010.74/503.59	c  N dy  6117    886992     14490     62364         2     68033    189970   4188704    156.44    103.95  --
2048.30/513.00	c  N dy  6256    907030     14490     62364         2     88069    189970   7367564    166.07    103.98  --
2082.25/521.41	c  N dy  6395    927115     14490     62364         2     63159    189970   3256539    159.36    103.95  --
2118.60/530.59	c  N dy  6535    947183     14490     62364         2     83220    189970   6463693    167.35    104.02  --
2154.97/539.66	c  N dy  6674    967226     14490     62364         2     57263    189970   2242527    143.47    104.06  --
2190.90/548.68	c  N dy  6814    987305     14490     62364         2     77339    189970   5383256    159.21    104.05  --
2230.45/558.51	c  N dy  6953   1007322     14490     62364         2     50365    189970    982736    153.57    104.10  --
2262.41/566.57	c  N dy  7094   1027440     14490     62364         2     70479    189970   4065125    152.89    104.05  --
2296.36/575.09	c  N dy  7233   1047473     14490     62364         2     90511    189970   7235624    150.62    104.07  --
2328.72/583.17	c  N dy  7373   1067600     14490     62364         2     62642    189970   2741572    171.36    104.08  --
2362.67/591.69	c  N dy  7512   1087688     14490     62364         2     82726    189970   5916177    152.73    104.11  --
2399.43/600.86	c  N dy  7651   1107692     14490     62364         2     53735    189970   1177933    160.09    104.13  --
2432.59/609.18	c  N dy  7791   1127718     14490     62364         2     73758    189970   4272321    142.91    104.11  --
2470.13/618.55	c  N dy  7930   1147746     14490     62364         2     93786    189970   7429836    153.28    104.12  --
2505.30/627.32	c  N dy  8070   1167821     14490     62364         2     63864    189970   2655374    158.55    104.13  --
2541.26/636.33	c  N dy  8210   1187864     14490     62364         2     83898    189970   5845654    159.02    104.16  --
2581.21/646.30	c  N dy  8350   1207933     14490     62364         2     52976    189970    750926    161.69    104.17  --
2584.39/647.19	c  S st  8365   1209952     14490     62364         2     54995    189970   1061366    158.71    104.17  --
2585.61/647.44	c  S st  8365   1210452     14490     62364         2     55495    189970   1120833    158.71    104.17  --
2585.61/647.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2585.61/647.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2587.18/647.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  1.78
2587.58/647.90	c Calc non-exist non-lernt bins v-fix:     0 done:  14490 time:  0.03 s
2587.58/647.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2587.58/647.91	c Subs w/ non-existent bins:      0 time:  0.06 s
2587.58/647.98	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2587.58/647.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2587.98/648.00	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
2598.38/650.67	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
2598.79/650.71	c lits-rem:         2  cl-subs:     3691  v-elim:    232  v-fix:    0  time: 10.85 s
2598.79/650.71	c learnt bin added due to v-elim: 0
2598.79/650.72	c vivif2 --  cl tried    62364 cl shrink        0 lits rem          0 time: 0.02
2598.79/650.74	c vivif2 --  cl tried    51804 cl shrink        0 lits rem          0 time: 0.06
2598.79/650.79	c asymm  cl-useful: 0/12314/62364 lits-rem:0 time: 0.22
2599.16/650.80	c calculated reachability. Time: 0.00
2599.16/650.80	c  N dy  8365   1210452     14490     62364         2     51804    189970   1062223    158.71    104.17  --
2633.12/659.36	c  N dy  8506   1230527     14490     62364         2     71877    189970   4150044    154.95    104.14  --
2673.86/669.55	c  N dy  8646   1250673     14490     62364         2     92017    189970   7324656    168.54    104.15  --
2713.41/679.40	c  N dy  8786   1270800     14490     62364         2     60150    189970   1776596    163.85    104.15  --
2750.56/688.70	c  N dy  8925   1290823     14490     62364         2     80169    189970   4974195    159.53    104.19  --
2791.31/698.96	c  N dy  9065   1310956     14490     62364         2    100299    189970   8103932    144.76    104.18  --
2829.65/708.59	c  N dy  9205   1331010     14490     62364         2     67361    189970   2744945    148.55    104.17  --
2866.01/717.68	c  N dy  9345   1351132     14490     62364         2     87481    189970   5972096    176.93    104.21  --
2903.96/727.16	c  N dy  9485   1371204     14490     62364         2    107551    189970   9157622    164.60    104.22  --
2936.32/735.20	c  N dy  9625   1391351     14490     62364         2     73703    189970   3598160    152.88    104.23  --
2972.30/744.27	c  N dy  9764   1411417     14490     62364         2     93768    189970   6748983    156.52    104.22  --
3012.63/754.31	c  N dy  9904   1431499     14490     62364         2     58854    189970   1068604    146.28    104.24  --
3046.18/762.75	c  N dy 10043   1451543     14490     62364         2     78893    189970   4234409    145.73    104.24  --
3085.33/772.55	c  N dy 10183   1471632     14490     62364         2     98980    189970   7407417    162.01    104.25  --
3125.70/782.64	c  N dy 10323   1491743     14490     62364         2     63096    189970   1585845    153.59    104.27  --
3161.63/791.63	c  N dy 10463   1511787     14490     62364         2     83140    189970   4739711    151.08    104.28  --
3202.38/801.89	c  N dy 10602   1531857     14490     62364         2    103202    189970   7896511    156.69    104.29  --
3242.73/811.99	c  N dy 10742   1551985     14490     62364         2     66336    189970   1964108    151.99    104.28  --
3282.27/821.82	c  N dy 10881   1572026     14490     62364         2     86374    189970   5095150    149.81    104.28  --
3323.84/832.27	c  N dy 11021   1592139     14490     62364         2    106483    189970   8257456    155.66    104.29  --
3365.76/842.73	c  N dy 11161   1612218     14490     62364         2     68568    189970   2136963    155.66    104.28  --
3403.31/852.11	c  N dy 11301   1632268     14490     62364         2     88615    189970   5331189    159.66    104.30  --
3448.05/863.31	c  N dy 11441   1652382     14490     62364         2    108725    189970   8489665    159.09    104.30  --
3487.60/873.21	c  N dy 11580   1672411     14490     62364         2     69763    189970   2176916    161.06    104.31  --
3527.14/883.13	c  N dy 11719   1692425     14490     62364         2     89775    189970   5317002    151.66    104.31  --
3569.91/893.86	c  S st 11846   1710453     14490     62364         2    107800    189970   8180296    158.21    104.33  --
3571.48/894.24	c  S st 11846   1710954     14490     62364         2    108301    189970   8244473    158.21    104.33  --
3571.48/894.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3571.48/894.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3576.67/895.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.2M T:  5.06
3576.67/895.53	c Calc non-exist non-lernt bins v-fix:     0 done:  14490 time:  0.04 s
3576.67/895.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3577.07/895.60	c Subs w/ non-existent bins:      0 time:  0.27 s
3578.68/896.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3578.68/896.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3578.68/896.05	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
4308.49/1078.76	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
4346.05/1088.15	c Added 1 vars  tried: 80000 time: 37.52
4346.05/1088.15	c ORs :      1 avg-s:  0.0 cl-sh:   105 l-rem:    105 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   37.53
4346.85/1088.30	c lits-rem:         1  cl-subs:     6151  v-elim:    232  v-fix:    0  time: 767.87 s
4346.85/1088.30	c learnt bin added due to v-elim: 0
4346.85/1088.30	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.03
4347.26/1088.41	c vivif2 --  cl tried   102150 cl shrink        0 lits rem          0 time: 0.41
4348.84/1088.87	c asymm  cl-useful: 0/37814/62365 lits-rem:0 time: 1.84
4348.84/1088.87	c calculated reachability. Time: 0.00
4348.84/1088.87	c  N dy 11846   1710954     14491     62365         4    102150    189977   7885164    158.21    104.33  --
4396.00/1100.69	c  N dy 11986   1731097     14491     62365         4     62298    189977    878326    160.76    104.35  --
4431.53/1109.57	c  N dy 12125   1751113     14491     62365         4     82313    189977   3988145    156.98    104.33  --
4467.09/1118.49	c  N dy 12264   1771142     14491     62365         4    102340    189977   7181745    160.94    104.35  --
4508.24/1128.78	c  N dy 12403   1791153     14491     62365         4     61355    189977    575626    160.00    104.36  --
4541.02/1137.00	c  N dy 12542   1811183     14491     62365         4     81384    189977   3768463    157.23    104.38  --
4580.17/1146.73	c  N dy 12682   1831220     14491     62365         4    101419    189977   6910740    166.39    104.38  --
4622.90/1157.44	c  N dy 12822   1851305     14491     62365         4    121500    189977  10054467    151.90    104.39  --
4660.05/1166.78	c  N dy 12962   1871336     14491     62365         4     79535    189977   3305961    154.98    104.39  --
4699.99/1176.76	c  N dy 13102   1891446     14491     62365         4     99640    189977   6484025    164.78    104.40  --
4744.74/1187.96	c  N dy 13242   1911536     14491     62365         4    119727    189977   9636521    161.14    104.40  --
4784.69/1197.97	c  N dy 13382   1931676     14491     62365         4     76875    189977   2782099    161.85    104.43  --

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-3172493-1304049648/watcher-3172493-1304049648 -o /tmp/evaluation-result-3172493-1304049648/solver-3172493-1304049648 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172493-1304049648.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.14 8.05 7.50 3/180 19558
/proc/meminfo: memFree=12784760/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=24716 CPUtime=0 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 1455 0 0 0 0 0 0 0 25 0 1 0 595195488 25309184 1394 33554432000 4194304 4797429 140736733816112 18446744073709551615 4367912 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19558/statm: 6179 1394 341 148 0 1108 0

[startup+0.0323681 s]
/proc/loadavg: 8.14 8.05 7.50 3/180 19558
/proc/meminfo: memFree=12784760/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=73140 CPUtime=0.03 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 7326 0 0 0 2 1 0 0 25 0 1 0 595195488 74895360 5884 33554432000 4194304 4797429 140736733816112 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19558/statm: 18285 5884 348 148 0 13214 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 73140

[startup+0.100355 s]
/proc/loadavg: 8.14 8.05 7.50 3/180 19558
/proc/meminfo: memFree=12784760/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=80496 CPUtime=0.09 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 9869 0 0 0 8 1 0 0 25 0 1 0 595195488 82427904 8291 33554432000 4194304 4797429 140736733816112 18446744073709551615 216734839493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/19558/statm: 20124 8292 348 148 0 15053 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 80496

[startup+0.30031 s]
/proc/loadavg: 8.14 8.05 7.50 3/180 19558
/proc/meminfo: memFree=12784760/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=783048 CPUtime=0.66 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 16715 0 0 0 60 6 0 0 18 0 4 0 595195488 801841152 13786 33554432000 4194304 4797429 140736733816112 18446744073709551615 216735283694 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19558/statm: 195762 13796 385 148 0 190691 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 783048

[startup+1.29511 s]
/proc/loadavg: 8.14 8.05 7.50 3/180 19558
/proc/meminfo: memFree=12784760/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=789360 CPUtime=4.64 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 22591 0 0 0 455 9 0 0 19 0 4 0 595195488 808304640 19424 33554432000 4194304 4797429 140736733816112 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19558/statm: 197340 19424 412 148 0 192269 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 789360

[startup+1.50107 s]
/proc/loadavg: 8.14 8.05 7.50 3/180 19558
/proc/meminfo: memFree=12784760/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=789360 CPUtime=5.46 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 23118 0 0 0 537 9 0 0 19 0 4 0 595195488 808304640 19946 33554432000 4194304 4797429 140736733816112 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19558/statm: 197340 19946 412 148 0 192269 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 789360

[startup+3.10079 s]
/proc/loadavg: 8.53 8.13 7.53 9/184 19562
/proc/meminfo: memFree=12649836/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=792816 CPUtime=11.84 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 27884 0 0 0 1173 11 0 0 23 0 4 0 595195488 811843584 24685 33554432000 4194304 4797429 140736733816112 18446744073709551615 4424328 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 198204 24685 413 148 0 193133 0
[pid=19558/tid=19560] ppid=19556 vsize=792816 CPUtime=2.91 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 3878 0 0 0 289 2 0 0 23 0 4 0 595195504 811843584 24685 33554432000 4194304 4797429 140736733816112 18446744073709551615 216735283743 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=792816 CPUtime=2.91 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 4077 0 0 0 290 1 0 0 23 0 4 0 595195504 811843584 24685 33554432000 4194304 4797429 140736733816112 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=792816 CPUtime=2.91 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 3574 0 0 0 289 2 0 0 24 0 4 0 595195504 811843584 24685 33554432000 4194304 4797429 140736733816112 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.84
Current children cumulated vsize (KiB) 792816

[startup+6.30024 s]
/proc/loadavg: 8.49 8.13 7.53 9/184 19562
/proc/meminfo: memFree=12625460/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=802568 CPUtime=24.57 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 37438 0 0 0 2437 20 0 0 25 0 4 0 595195488 821829632 30732 33554432000 4194304 4797429 140736733816112 18446744073709551615 4351579 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 200642 30732 416 148 0 195571 0
[pid=19558/tid=19560] ppid=19556 vsize=802568 CPUtime=6.11 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 6377 0 0 0 606 5 0 0 23 0 4 0 595195504 821829632 30732 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=802568 CPUtime=6.09 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 5804 0 0 0 606 3 0 0 23 0 4 0 595195504 821829632 30732 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=802568 CPUtime=6.09 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 5591 0 0 0 604 5 0 0 23 0 4 0 595195504 821829632 30732 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.57
Current children cumulated vsize (KiB) 802568

[startup+12.7081 s]
/proc/loadavg: 8.45 8.13 7.53 10/189 19572
/proc/meminfo: memFree=12587876/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=810012 CPUtime=50.15 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 44406 0 0 0 4992 23 0 0 25 0 4 0 595195488 829452288 37347 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 202503 37347 417 148 0 197432 0
[pid=19558/tid=19560] ppid=19556 vsize=810012 CPUtime=12.5 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 7463 0 0 0 1244 6 0 0 25 0 4 0 595195504 829452288 37347 33554432000 4194304 4797429 140736733816112 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=810012 CPUtime=12.5 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 6679 0 0 0 1246 4 0 0 25 0 4 0 595195504 829452288 37347 33554432000 4194304 4797429 140736733816112 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=810012 CPUtime=12.49 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 6420 0 0 0 1244 5 0 0 25 0 4 0 595195504 829452288 37347 33554432000 4194304 4797429 140736733816112 18446744073709551615 4502057 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.15
Current children cumulated vsize (KiB) 810012

[startup+25.5009 s]
/proc/loadavg: 8.38 8.12 7.54 9/184 19572
/proc/meminfo: memFree=12556040/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=817264 CPUtime=101.25 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 54511 0 0 0 10097 28 0 0 25 0 4 0 595195488 836878336 42716 33554432000 4194304 4797429 140736733816112 18446744073709551615 4391046 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 204316 42716 419 148 0 199245 0
[pid=19558/tid=19560] ppid=19556 vsize=817264 CPUtime=25.29 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 8365 0 0 0 2522 7 0 0 25 0 4 0 595195504 836878336 42716 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=817264 CPUtime=25.29 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 7902 0 0 0 2525 4 0 0 25 0 4 0 595195504 836878336 42716 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=817264 CPUtime=25.29 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 7487 0 0 0 2523 6 0 0 25 0 4 0 595195504 836878336 42716 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 817264

[startup+51.1004 s]
/proc/loadavg: 8.29 8.13 7.56 9/184 19573
/proc/meminfo: memFree=12525336/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=833412 CPUtime=203.52 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 74769 0 0 0 20315 37 0 0 25 0 4 0 595195488 853413888 43684 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 208353 43684 420 148 0 203282 0
[pid=19558/tid=19560] ppid=19556 vsize=833412 CPUtime=50.89 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 10773 0 0 0 5082 7 0 0 25 0 4 0 595195504 853413888 43684 33554432000 4194304 4797429 140736733816112 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=833412 CPUtime=50.89 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 10795 0 0 0 5084 5 0 0 25 0 4 0 595195504 853413888 43684 33554432000 4194304 4797429 140736733816112 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=833412 CPUtime=50.89 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 10059 0 0 0 5083 6 0 0 25 0 4 0 595195504 853413888 43684 33554432000 4194304 4797429 140736733816112 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.52
Current children cumulated vsize (KiB) 833412

[startup+102.301 s]
/proc/loadavg: 8.19 8.12 7.58 9/184 19574
/proc/meminfo: memFree=12464328/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=847836 CPUtime=408.04 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 105601 0 0 0 40754 50 0 0 25 0 4 0 595195488 868184064 54668 33554432000 4194304 4797429 140736733816112 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 211959 54668 420 148 0 206888 0
[pid=19558/tid=19560] ppid=19556 vsize=847836 CPUtime=102.09 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 13647 0 0 0 10200 9 0 0 25 0 4 0 595195504 868184064 54668 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=847836 CPUtime=102.08 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 12964 0 0 0 10202 6 0 0 25 0 4 0 595195504 868184064 54668 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=847836 CPUtime=102.09 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 12655 0 0 0 10201 8 0 0 25 0 4 0 595195504 868184064 54668 33554432000 4194304 4797429 140736733816112 18446744073709551615 4404772 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 847836

[startup+162.306 s]
/proc/loadavg: 8.07 8.10 7.60 9/184 19576
/proc/meminfo: memFree=12436788/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=861072 CPUtime=647.75 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 145862 0 0 0 64706 69 0 0 25 0 4 0 595195488 881737728 57303 33554432000 4194304 4797429 140736733816112 18446744073709551615 4524200 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 215268 57303 420 148 0 210197 0
[pid=19558/tid=19560] ppid=19556 vsize=861072 CPUtime=162.1 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 17608 0 0 0 16200 10 0 0 25 0 4 0 595195504 881737728 57303 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=861072 CPUtime=162.1 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 17111 0 0 0 16202 8 0 0 25 0 4 0 595195504 881737728 57303 33554432000 4194304 4797429 140736733816112 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=861072 CPUtime=162.09 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 16377 0 0 0 16200 9 0 0 25 0 4 0 595195504 881737728 57303 33554432000 4194304 4797429 140736733816112 18446744073709551615 4389738 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.75
Current children cumulated vsize (KiB) 861072

[startup+222.301 s]
/proc/loadavg: 8.08 8.09 7.63 9/184 19577
/proc/meminfo: memFree=12433304/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=871200 CPUtime=887.41 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 181253 0 0 0 88658 83 0 0 25 0 4 0 595195488 892108800 57004 33554432000 4194304 4797429 140736733816112 18446744073709551615 4415696 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 217800 57004 420 148 0 212729 0
[pid=19558/tid=19560] ppid=19556 vsize=871200 CPUtime=222.09 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 20617 0 0 0 22198 11 0 0 25 0 4 0 595195504 892108800 57004 33554432000 4194304 4797429 140736733816112 18446744073709551615 4524013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=871200 CPUtime=222.09 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 20423 0 0 0 22201 8 0 0 25 0 4 0 595195504 892108800 57004 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=871200 CPUtime=222.09 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 19591 0 0 0 22198 11 0 0 25 0 4 0 595195504 892108800 57004 33554432000 4194304 4797429 140736733816112 18446744073709551615 4359268 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.41
Current children cumulated vsize (KiB) 871200

[startup+282.301 s]
/proc/loadavg: 8.08 8.09 7.66 9/184 19579
/proc/meminfo: memFree=12389136/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=876692 CPUtime=1127.11 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 211818 0 0 0 112612 99 0 0 25 0 4 0 595195488 897732608 66758 33554432000 4194304 4797429 140736733816112 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 219173 66758 420 148 0 214102 0
[pid=19558/tid=19560] ppid=19556 vsize=876692 CPUtime=282.09 cores=0,2,4,6

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

[pid=19558] ppid=19556 vsize=912124 CPUtime=2565.21 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 359014 0 0 0 256353 168 0 0 25 0 4 0 595195488 934014976 83302 33554432000 4194304 4797429 140736733816112 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 228031 83302 420 148 0 222960 0
[pid=19558/tid=19560] ppid=19556 vsize=912124 CPUtime=642.1 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 36744 0 0 0 64191 19 0 0 25 0 4 0 595195504 934014976 83302 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=912124 CPUtime=642.09 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 36878 0 0 0 64194 15 0 0 25 0 4 0 595195504 934014976 83302 33554432000 4194304 4797429 140736733816112 18446744073709551615 4567816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=912124 CPUtime=642.1 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 34721 0 0 0 64193 17 0 0 25 0 4 0 595195504 934014976 83302 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.21
Current children cumulated vsize (KiB) 912124

[startup+702.301 s]
/proc/loadavg: 8.08 8.08 7.80 9/184 19590
/proc/meminfo: memFree=12244328/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=914436 CPUtime=2804.9 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 382100 0 0 0 280309 181 0 0 25 0 4 0 595195488 936382464 87354 33554432000 4194304 4797429 140736733816112 18446744073709551615 4375785 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 228609 87354 420 148 0 223538 0
[pid=19558/tid=19560] ppid=19556 vsize=914436 CPUtime=702.1 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 37801 0 0 0 70191 19 0 0 25 0 4 0 595195504 936382464 87354 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=914436 CPUtime=702.1 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 37762 0 0 0 70194 16 0 0 25 0 4 0 595195504 936382464 87354 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=914436 CPUtime=702.1 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 35460 0 0 0 70193 17 0 0 25 0 4 0 595195504 936382464 87354 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.9
Current children cumulated vsize (KiB) 914436

[startup+762.301 s]
/proc/loadavg: 8.18 8.11 7.83 9/184 19592
/proc/meminfo: memFree=12257072/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=915308 CPUtime=3044.58 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 414660 0 0 0 304264 194 0 0 25 0 4 0 595195488 937275392 79537 33554432000 4194304 4797429 140736733816112 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 228827 79537 420 148 0 223756 0
[pid=19558/tid=19560] ppid=19556 vsize=915308 CPUtime=762.1 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 40803 0 0 0 76190 20 0 0 25 0 4 0 595195504 937275392 79537 33554432000 4194304 4797429 140736733816112 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=915308 CPUtime=762.09 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 40731 0 0 0 76192 17 0 0 25 0 4 0 595195504 937275392 79537 33554432000 4194304 4797429 140736733816112 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=915308 CPUtime=762.1 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 38034 0 0 0 76192 18 0 0 25 0 4 0 595195504 937275392 79537 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.58
Current children cumulated vsize (KiB) 915308

[startup+822.306 s]
/proc/loadavg: 8.18 8.12 7.84 9/184 19593
/proc/meminfo: memFree=12232884/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=931740 CPUtime=3284.29 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 440857 0 0 0 328222 207 0 0 25 0 4 0 595195488 954101760 85773 33554432000 4194304 4797429 140736733816112 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 232935 85773 420 148 0 227864 0
[pid=19558/tid=19560] ppid=19556 vsize=931740 CPUtime=822.11 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 42865 0 0 0 82190 21 0 0 25 0 4 0 595195504 954101760 85773 33554432000 4194304 4797429 140736733816112 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=931740 CPUtime=822.1 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 42785 0 0 0 82192 18 0 0 25 0 4 0 595195504 954101760 85773 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=931740 CPUtime=822.1 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 39131 0 0 0 82192 18 0 0 25 0 4 0 595195504 954101760 85773 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.29
Current children cumulated vsize (KiB) 931740

[startup+882.301 s]
/proc/loadavg: 8.18 8.13 7.86 9/184 19595
/proc/meminfo: memFree=12223068/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=931804 CPUtime=3523.94 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 463406 0 0 0 352174 220 0 0 25 0 4 0 595195488 954167296 87885 33554432000 4194304 4797429 140736733816112 18446744073709551615 4424435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 232951 87885 420 148 0 227880 0
[pid=19558/tid=19560] ppid=19556 vsize=931804 CPUtime=882.1 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 43737 0 0 0 88189 21 0 0 25 0 4 0 595195504 954167296 87885 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=931804 CPUtime=882.09 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 43629 0 0 0 88191 18 0 0 25 0 4 0 595195504 954167296 87885 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=931804 CPUtime=882.1 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 39679 0 0 0 88191 19 0 0 25 0 4 0 595195504 954167296 87885 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.94
Current children cumulated vsize (KiB) 931804

[startup+942.3 s]
/proc/loadavg: 8.17 8.13 7.88 9/184 19596
/proc/meminfo: memFree=12228876/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=933784 CPUtime=3763.61 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 476662 0 0 0 376136 225 0 0 25 0 4 0 595195488 956194816 88892 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 233446 88892 420 148 0 228375 0
[pid=19558/tid=19560] ppid=19556 vsize=933784 CPUtime=942.1 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 46116 0 0 0 94188 22 0 0 25 0 4 0 595195504 956194816 88892 33554432000 4194304 4797429 140736733816112 18446744073709551615 4356185 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=933784 CPUtime=942.09 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 46382 0 0 0 94190 19 0 0 25 0 4 0 595195504 956194816 88892 33554432000 4194304 4797429 140736733816112 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=933784 CPUtime=942.1 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 42770 0 0 0 94190 20 0 0 25 0 4 0 595195504 956194816 88892 33554432000 4194304 4797429 140736733816112 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.61
Current children cumulated vsize (KiB) 933784

[startup+1002.3 s]
/proc/loadavg: 8.24 8.15 7.90 9/184 19598
/proc/meminfo: memFree=12191296/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=933784 CPUtime=4003.3 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 480343 0 0 0 400101 229 0 0 25 0 4 0 595195488 956194816 92434 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 233446 92434 420 148 0 228375 0
[pid=19558/tid=19560] ppid=19556 vsize=933784 CPUtime=1002.11 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 47491 0 0 0 100187 24 0 0 25 0 4 0 595195504 956194816 92434 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=933784 CPUtime=1002.09 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 47570 0 0 0 100189 20 0 0 25 0 4 0 595195504 956194816 92434 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=933784 CPUtime=1002.11 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 43888 0 0 0 100190 21 0 0 25 0 4 0 595195504 956194816 92434 33554432000 4194304 4797429 140736733816112 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.3
Current children cumulated vsize (KiB) 933784

[startup+1062.3 s]
/proc/loadavg: 8.15 8.14 7.91 9/184 19600
/proc/meminfo: memFree=12182968/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=935608 CPUtime=4242.97 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 482727 0 0 0 424067 230 0 0 25 0 4 0 595195488 958062592 94689 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 233902 94689 420 148 0 228831 0
[pid=19558/tid=19560] ppid=19556 vsize=935608 CPUtime=1062.11 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 48444 0 0 0 106187 24 0 0 25 0 4 0 595195504 958062592 94689 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=935608 CPUtime=1062.1 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 48542 0 0 0 106189 21 0 0 25 0 4 0 595195504 958062592 94689 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=935608 CPUtime=1062.1 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 44347 0 0 0 106189 21 0 0 25 0 4 0 595195504 958062592 94689 33554432000 4194304 4797429 140736733816112 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.97
Current children cumulated vsize (KiB) 935608

[startup+1122.3 s]
/proc/loadavg: 8.18 8.14 7.92 9/184 19601
/proc/meminfo: memFree=12193984/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=939832 CPUtime=4482.67 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 501744 0 0 0 448029 238 0 0 25 0 4 0 595195488 962387968 89680 33554432000 4194304 4797429 140736733816112 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 234958 89680 420 148 0 229887 0
[pid=19558/tid=19560] ppid=19556 vsize=939832 CPUtime=1122.11 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 50434 0 0 0 112186 25 0 0 25 0 4 0 595195504 962387968 89680 33554432000 4194304 4797429 140736733816112 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=939832 CPUtime=1122.1 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 50996 0 0 0 112188 22 0 0 25 0 4 0 595195504 962387968 89680 33554432000 4194304 4797429 140736733816112 18446744073709551615 4242459 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=939832 CPUtime=1122.11 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 46704 0 0 0 112189 22 0 0 25 0 4 0 595195504 962387968 89680 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.67
Current children cumulated vsize (KiB) 939832

[startup+1182.3 s]
/proc/loadavg: 8.06 8.11 7.92 9/184 19603
/proc/meminfo: memFree=12175364/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=939864 CPUtime=4722.37 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 528760 0 0 0 471987 250 0 0 25 0 4 0 595195488 962420736 94422 33554432000 4194304 4797429 140736733816112 18446744073709551615 4424383 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 234966 94422 420 148 0 229895 0
[pid=19558/tid=19560] ppid=19556 vsize=939864 CPUtime=1182.11 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 52348 0 0 0 118186 25 0 0 25 0 4 0 595195504 962420736 94422 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=939864 CPUtime=1182.1 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 52793 0 0 0 118187 23 0 0 25 0 4 0 595195504 962420736 94422 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=939864 CPUtime=1182.11 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 48341 0 0 0 118188 23 0 0 25 0 4 0 595195504 962420736 94422 33554432000 4194304 4797429 140736733816112 18446744073709551615 4428551 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.37
Current children cumulated vsize (KiB) 939864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.81 s]
/proc/loadavg: 8.04 8.10 7.92 5/179 19604
/proc/meminfo: memFree=12426496/32951124 swapFree=67102140/67111528
[pid=19558] ppid=19556 vsize=939900 CPUtime=4800.3 cores=0,2,4,6
/proc/19558/stat : 19558 (techdemo) R 19556 19558 19423 0 -1 4202496 536784 0 0 0 479776 254 0 0 25 0 4 0 595195488 962457600 91299 33554432000 4194304 4797429 140736733816112 18446744073709551615 4425625 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19558/statm: 234975 91299 420 148 0 229904 0
[pid=19558/tid=19560] ppid=19556 vsize=939900 CPUtime=1201.62 cores=0,2,4,6
/proc/19558/task/19560/stat : 19560 (techdemo) R 19556 19558 19423 0 -1 4202560 52748 0 0 0 120137 25 0 0 25 0 4 0 595195504 962457600 91299 33554432000 4194304 4797429 140736733816112 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19556 vsize=939900 CPUtime=1201.61 cores=0,2,4,6
/proc/19558/task/19561/stat : 19561 (techdemo) R 19556 19558 19423 0 -1 4202560 53185 0 0 0 120138 23 0 0 25 0 4 0 595195504 962457600 91299 33554432000 4194304 4797429 140736733816112 18446744073709551615 216734836998 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19558/tid=19562] ppid=19556 vsize=939900 CPUtime=1201.62 cores=0,2,4,6
/proc/19558/task/19562/stat : 19562 (techdemo) R 19556 19558 19423 0 -1 4202560 48533 0 0 0 120139 23 0 0 25 0 4 0 595195504 962457600 91299 33554432000 4194304 4797429 140736733816112 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 939900

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.35
CPU user time (s): 4797.79
CPU system time (s): 2.55761
CPU usage (%): 399.418
Max. virtual memory (cumulated for all children) (KiB): 1049824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.79
system time used= 2.55761
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536786
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= 19616
involuntary context switches= 22079

runsolver used 1.88671 second user time and 4.41433 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 06:00:48
IDJOB=3172493
IDBENCH=82511
IDSOLVER=1584
FILE ID=node119/3172493-1304049648
RUNJOBID= node119-1304048444-19441
PBS_JOBID= 13170407
Free space on /tmp= 71808 MiB

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

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

MD5SUM BENCH= 8991b7c0d56154e632c95327c4937cf5
RANDOM SEED=683455101

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.67
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.815
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.815
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.74
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.815
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:      12784916 kB
Buffers:       2231196 kB
Cached:       17281896 kB
SwapCached:       5504 kB
Active:        7882036 kB
Inactive:     11700844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12784916 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           17140 kB
Writeback:           0 kB
AnonPages:       66860 kB
Mapped:          14928 kB
Slab:           519996 kB
PageTables:       4288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   277856 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= 71808 MiB
End job on node119 at 2011-04-29 06:20:52