Trace number 3172655

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf
MD5SUM0a98d6d9a7bdb797305aed69a94f9a69
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark355.73
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-3172655-1304081255.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.08/0.16	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.08/0.16	c -- vars added      15000
0.08/0.16	c Parsing time:  0.14 s
0.08/0.17	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.29/0.21	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.18
0.29/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.29/0.26	c Calc non-exist non-lernt bins v-fix:     0 done:  15000 time:  0.02 s
0.29/0.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.29/0.26	c Subs w/ non-existent bins:      0 time:  0.01 s
0.63/0.38	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.63/0.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.63/0.38	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
3.83/1.19	c lits-rem:         0  cl-subs:        0  v-elim:    882  v-fix:    0  time:  0.61 s
3.83/1.19	c learnt bin added due to v-elim: 0
3.83/1.19	c Finding binary XORs  T:     0.01 s  found:       0
3.83/1.19	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
3.83/1.19	c calculated reachability. Time: 0.00
3.83/1.19	c Calc default polars -  time:   0.02 s pos:    6618 undec:    1753 neg:    6629
3.83/1.19	c =========================================================================================
3.83/1.19	c types(t): F = full restart, N = normal restart
3.83/1.19	c types(t): S = simplification begin/end, E = solution found
3.83/1.19	c restart types(rt): st = static, dy = dynamic
3.83/1.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.83/1.19	c  B st     0         0     14502     62365         0         0    189945         0   no data   no data  --
3.83/1.19	c Decided on dynamic restart strategy
5.01/1.46	c  N dy    20      4093     14502     62365         0      4092    189945    665639    157.16    104.65  --
9.40/2.50	c  N dy    48      8136     14502     62365         0      8135    189945   1290068    156.08    104.62  --
12.99/3.49	c  N dy    76     12149     14502     62365         0     12148    189945   1893923    147.92    102.94  --
17.77/4.61	c  N dy   105     16277     14502     62365         0     16276    189945   2526099    148.27    102.47  --
22.57/5.80	c  N dy   134     20405     14502     62365         0     10404    189945    489018    147.07    102.16  --
26.96/6.96	c  N dy   162     24455     14502     62365         0     14454    189945   1118222    156.19    102.24  --
31.35/8.02	c  N dy   190     28467     14502     62365         0     18466    189945   1716745    153.07    102.08  --
33.75/8.62	c  S st   201     30003     14502     62365         0     20001    189945   1959568    161.02    102.30  --
34.16/8.77	c  S st   201     30511     14502     62365         0     20509    189945   2021654    161.02    102.30  --
34.16/8.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
34.16/8.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.94/8.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.71
34.94/8.97	c Calc non-exist non-lernt bins v-fix:     0 done:  14502 time:  0.03 s
34.94/8.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.94/8.99	c Subs w/ non-existent bins:      0 time:  0.07 s
35.75/9.14	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.75/9.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.75/9.15	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
52.92/13.47	c lits-rem:         4  cl-subs:     1310  v-elim:    234  v-fix:    0  time: 17.27 s
52.92/13.47	c learnt bin added due to v-elim: 0
52.92/13.48	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
53.32/13.50	c vivif2 --  cl tried    19199 cl shrink        0 lits rem          0 time: 0.09
54.12/13.70	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.81
54.12/13.71	c calculated reachability. Time: 0.00
54.12/13.71	c  N dy   201     30511     14502     62365         0     19199    189945   1931809    161.02    102.30  --
54.12/13.71	c  F st   201     30511     14502     62365         0     19199    189945   1931809    161.02    102.30  --
56.54/14.35	c Decided on dynamic restart strategy
58.92/14.97	c  N dy   221     34560     14502     62365         0     23246    189945   2607010    150.01    103.26  --
64.11/16.29	c  N dy   250     38686     14502     62365         0     27372    189945   3282153    158.19    103.85  --
69.31/17.56	c  N dy   279     42812     14502     62365         0     15999    189945    629217    146.44    103.70  --
72.90/18.44	c  S st   300     45767     14502     62365         0     18953    189945   1084993    151.46    103.64  --
73.30/18.59	c  S st   300     46269     14502     62365         0     19455    189945   1143278    151.46    103.64  --
73.30/18.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
73.30/18.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.11/18.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.55
74.11/18.74	c Calc non-exist non-lernt bins v-fix:     0 done:  14502 time:  0.03 s
74.11/18.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.11/18.75	c Subs w/ non-existent bins:      0 time:  0.05 s
74.49/18.82	c bin-w-bin subsume rem            0 bins  time:  0.02 s
74.49/18.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
74.49/18.83	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
84.07/21.27	c lits-rem:         2  cl-subs:      585  v-elim:    234  v-fix:    0  time:  9.75 s
84.07/21.27	c learnt bin added due to v-elim: 0
84.07/21.27	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
84.07/21.29	c vivif2 --  cl tried    18870 cl shrink        0 lits rem          0 time: 0.06
84.87/21.45	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.65
84.87/21.46	c calculated reachability. Time: 0.00
84.87/21.46	c  N dy   300     46269     14502     62365         0     18870    189945   1108927    151.46    103.64  --
89.68/22.68	c  N dy   328     50295     14502     62365         0     22895    189945   1745265    162.09    104.03  --
94.46/23.84	c  N dy   357     54412     14502     62365         0     27011    189945   2377422    143.26    103.84  --
99.25/25.05	c  N dy   385     58434     14502     62365         0     31032    189945   2990003    144.32    103.66  --
104.87/26.46	c  N dy   413     62496     14502     62365         0     35093    189945   3621865    150.29    103.65  --
110.44/27.89	c  N dy   441     66564     14502     62365         0     20414    189945    834752    167.98    103.89  --
114.43/28.83	c  S st   462     69403     14502     62365         0     23253    189945   1267549    163.91    103.87  --
114.83/28.97	c  S st   462     69906     14502     62365         0     23756    189945   1319142    163.91    103.87  --
114.83/28.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
114.83/28.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
115.64/29.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.59
115.64/29.13	c Calc non-exist non-lernt bins v-fix:     0 done:  14502 time:  0.03 s
115.64/29.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
115.64/29.14	c Subs w/ non-existent bins:      0 time:  0.06 s
116.04/29.22	c bin-w-bin subsume rem            0 bins  time:  0.02 s
116.04/29.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
116.04/29.23	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
126.02/31.79	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
133.61/33.68	c Added 0 vars  tried: 80000 time: 7.53
133.61/33.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:    7.53
134.01/33.72	c lits-rem:         4  cl-subs:      745  v-elim:    234  v-fix:    0  time: 17.94 s
134.01/33.72	c learnt bin added due to v-elim: 0
134.01/33.72	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
134.01/33.74	c vivif2 --  cl tried    23011 cl shrink        0 lits rem          0 time: 0.06
134.81/33.92	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 0.74
134.81/33.93	c calculated reachability. Time: 0.00
134.81/33.93	c  N dy   462     69906     14502     62365         0     23011    189945   1277252    163.91    103.87  --
134.81/33.93	c  F st   462     69906     14502     62365         0     23011    189945   1277252    163.91    103.87  --
137.60/34.61	c Decided on dynamic restart strategy
140.40/35.33	c  N dy   485     74434     14502     62365         0     27539    189945   2001160    143.55    103.89  --
145.99/36.76	c  N dy   519     79247     14502     62365         0     32352    189945   2728339    152.09    103.76  --
152.80/38.45	c  N dy   554     84307     14502     62365         0     37412    189945   3528763    171.67    103.86  --
160.37/40.38	c  N dy   592     89704     14502     62365         0     21937    189945    692960    151.72    103.54  --
167.97/42.28	c  N dy   633     95546     14502     62365         0     27778    189945   1579314    165.78    103.42  --
175.96/44.24	c  N dy   676    101712     14502     62365         0     33943    189945   2534290    155.20    103.35  --
181.15/45.55	c  S st   699    104859     14502     62365         0     37089    189945   3032321    143.79    103.37  --
181.95/45.75	c  S st   699    105367     14502     62365         0     37597    189945   3087336    143.79    103.37  --
181.95/45.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
181.95/45.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
183.15/46.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.06
183.15/46.03	c Calc non-exist non-lernt bins v-fix:     0 done:  14502 time:  0.03 s
183.15/46.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
183.15/46.06	c Subs w/ non-existent bins:      0 time:  0.11 s
183.96/46.22	c bin-w-bin subsume rem            0 bins  time:  0.02 s
183.96/46.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
183.96/46.23	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
214.32/53.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
214.32/53.89	c lits-rem:         4  cl-subs:     1435  v-elim:    234  v-fix:    0  time: 30.56 s
214.32/53.89	c learnt bin added due to v-elim: 0
214.32/53.89	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
214.72/53.92	c vivif2 --  cl tried    36162 cl shrink        0 lits rem          0 time: 0.13
215.90/54.21	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 1.16
215.90/54.22	c calculated reachability. Time: 0.00
215.90/54.22	c  N dy   699    105367     14502     62365         0     36162    189945   2974974    143.79    103.37  --
224.69/56.41	c  N dy   747    112193     14502     62365         0     42987    189945   4014531    144.66    103.25  --
233.07/58.59	c  N dy   797    119352     14502     62365         0     27709    189945   1339052    152.10    103.20  --
242.66/60.97	c  N dy   851    127020     14502     62365         0     35375    189945   2536113    178.31    103.24  --
253.44/63.64	c  N dy   908    135141     14505     62365         6     43495    189957   3807303    151.03    103.26  --
264.62/66.41	c  N dy   969    143838     14505     62365         6     28476    189957   1222780    151.09    103.26  --
276.23/69.34	c  N dy  1033    153024     14505     62365         6     37660    189957   2640016    165.69    103.22  --
284.20/71.30	c  S st  1068    158050     14505     62365         6     42684    189957   3434112    152.64    103.26  --
285.02/71.51	c  S st  1068    158554     14505     62365         6     43188    189957   3487379    152.64    103.26  --
285.02/71.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
285.02/71.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.20/71.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.24
286.20/71.84	c Calc non-exist non-lernt bins v-fix:     0 done:  14505 time:  0.03 s
286.20/71.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.20/71.87	c Subs w/ non-existent bins:      0 time:  0.12 s
287.00/72.05	c bin-w-bin subsume rem            0 bins  time:  0.02 s
287.00/72.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
287.00/72.06	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
325.74/81.79	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
326.14/81.86	c lits-rem:         0  cl-subs:     1903  v-elim:    234  v-fix:    0  time: 39.11 s
326.14/81.86	c learnt bin added due to v-elim: 0
326.14/81.86	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
326.54/81.90	c vivif2 --  cl tried    41285 cl shrink        0 lits rem          0 time: 0.16
327.74/82.23	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 1.33
327.74/82.24	c calculated reachability. Time: 0.00
327.74/82.24	c  N dy  1068    158554     14505     62365         6     41285    189957   3339872    152.64    103.26  --
341.74/85.78	c  N dy  1139    168740     14505     62365         6     26615    189957    750651    151.28    103.15  --
355.71/89.29	c  N dy  1215    179519     14505     62365         6     37392    189957   2415479    155.06    103.10  --
372.08/93.33	c  N dy  1295    191026     14505     62365         6     48895    189957   4243400    154.00    103.30  --
388.85/97.52	c  N dy  1380    203261     14505     62365         6     35205    189957   1882080    148.91    103.15  --
406.83/102.08	c  N dy  1471    216315     14505     62365         6     48259    189957   3910776    166.13    103.16  --
426.40/106.99	c  N dy  1568    230255     14505     62365         6     35237    189957   1741781    153.03    103.22  --
437.99/109.81	c  S st  1621    237832     14505     62365         6     42812    189957   2877111    159.07    103.14  --
438.81/110.03	c  S st  1621    238333     14505     62365         6     43313    189957   2935421    159.07    103.14  --
438.81/110.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
438.81/110.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.98/110.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.24
439.98/110.36	c Calc non-exist non-lernt bins v-fix:     0 done:  14505 time:  0.03 s
439.98/110.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.98/110.39	c Subs w/ non-existent bins:      0 time:  0.11 s
440.78/110.55	c bin-w-bin subsume rem            0 bins  time:  0.02 s
440.78/110.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
440.78/110.56	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
473.15/118.64	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
473.15/118.70	c lits-rem:         1  cl-subs:     2139  v-elim:    234  v-fix:    0  time: 32.50 s
473.15/118.70	c learnt bin added due to v-elim: 0
473.56/118.70	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
473.56/118.74	c vivif2 --  cl tried    41174 cl shrink        0 lits rem          0 time: 0.14
474.74/119.05	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 1.27
474.74/119.06	c calculated reachability. Time: 0.00
474.74/119.06	c  N dy  1621    238333     14505     62365         6     41174    189957   2805094    159.07    103.14  --
497.11/124.64	c  N dy  1727    253581     14505     62365         6     28441    189957    504154    150.72    103.24  --
519.07/130.13	c  N dy  1841    269838     14505     62365         6     44696    189957   2969944    146.34    103.16  --
542.64/136.10	c  N dy  1962    287155     14505     62365         6     33023    189957   1066048    157.12    103.38  --
567.41/142.24	c  N dy  2090    305578     14505     62365         6     51443    189957   3923077    159.88    103.39  --
594.57/149.01	c  N dy  2227    325169     14505     62365         6     41043    189957   2150912    157.58    103.47  --
624.13/156.42	c  N dy  2367    345254     14505     62365         6     61123    189957   5286216    142.32    103.49  --
641.31/160.71	c  S st  2452    357500     14505     62365         6     42374    189957   2193152    154.69    103.50  --
642.11/160.92	c  S st  2452    358005     14505     62365         6     42879    189957   2255243    154.69    103.50  --
642.11/160.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
642.11/160.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
643.31/161.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  1.21
643.31/161.24	c Calc non-exist non-lernt bins v-fix:     0 done:  14505 time:  0.03 s
643.31/161.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
643.31/161.26	c Subs w/ non-existent bins:      0 time:  0.09 s
643.71/161.39	c bin-w-bin subsume rem            0 bins  time:  0.02 s
643.71/161.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
644.11/161.40	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
665.68/166.86	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
674.87/169.15	c Added 0 vars  tried: 80000 time: 9.15
674.87/169.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:    9.15
675.27/169.20	c lits-rem:         8  cl-subs:     2403  v-elim:    234  v-fix:    0  time: 31.16 s
675.27/169.20	c learnt bin added due to v-elim: 0
675.27/169.21	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
675.27/169.23	c vivif2 --  cl tried    40476 cl shrink        0 lits rem          0 time: 0.10
676.08/169.49	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 1.04
676.46/169.50	c calculated reachability. Time: 0.00
676.46/169.50	c  N dy  2452    358005     14505     62365         6     40476    189957   2155870    154.69    103.50  --
706.43/177.04	c  N dy  2593    378042     14505     62365         6     60508    189957   5259178    149.23    103.42  --
735.58/184.37	c  N dy  2733    398088     14505     62365         6     48555    189957   2988648    162.22    103.37  --
767.13/192.24	c  N dy  2873    418164     14505     62365         6     35635    189957    795183    155.06    103.35  --
797.09/199.79	c  N dy  3013    438212     14505     62365         6     55679    189957   3950550    144.26    103.39  --
828.65/207.67	c  N dy  3153    458264     14505     62365         6     41735    189957   1612524    146.13    103.39  --
859.81/215.49	c  N dy  3293    478353     14505     62365         6     61823    189957   4789715    145.74    103.47  --
890.17/223.02	c  N dy  3434    498489     14505     62365         6     46963    189957   2253084    158.00    103.46  --
920.92/230.72	c  N dy  3575    518576     14505     62365         6     67047    189957   5411994    158.75    103.54  --
948.10/237.55	c  S st  3704    537007     14505     62365         6     49479    189957   2551211    151.49    103.57  --
948.88/237.76	c  S st  3704    537509     14505     62365         6     49981    189957   2607113    151.49    103.57  --
948.88/237.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
948.88/237.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
950.48/238.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  1.46
950.48/238.14	c Calc non-exist non-lernt bins v-fix:     0 done:  14505 time:  0.03 s
950.48/238.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
950.48/238.17	c Subs w/ non-existent bins:      0 time:  0.10 s
951.29/238.30	c bin-w-bin subsume rem            0 bins  time:  0.02 s
951.29/238.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
951.29/238.31	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
980.84/245.77	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
981.24/245.83	c lits-rem:         2  cl-subs:     2951  v-elim:    234  v-fix:    0  time: 30.03 s
981.24/245.83	c learnt bin added due to v-elim: 0
981.24/245.83	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
981.24/245.86	c vivif2 --  cl tried    47030 cl shrink        0 lits rem          0 time: 0.11
982.44/246.14	c asymm  cl-useful: 0/62365/62365 lits-rem:0 time: 1.11
982.44/246.14	c calculated reachability. Time: 0.00
982.44/246.14	c  N dy  3704    537509     14505     62365         6     47030    189957   2483802    151.49    103.57  --
982.44/246.14	c  F st  3704    537509     14505     62365         6     47030    189957   2483802    151.49    103.57  --
985.23/246.89	c Decided on dynamic restart strategy
1013.60/253.99	c  N dy  3835    557570     14505     62365         6     67086    189957   5699006    166.76    103.67  --
1045.18/261.86	c  N dy  3975    577705     14505     62365         6     50223    189957   2471624    152.81    103.69  --
1077.51/269.95	c  N dy  4115    597790     14505     62365         6     70305    189957   5620311    157.36    103.71  --
1108.67/277.75	c  N dy  4255    617795     14505     62365         6     52316    189957   2650545    171.09    103.71  --
1141.85/286.06	c  N dy  4395    637897     14505     62365         6     72415    189957   5802686    164.57    103.73  --
1174.18/294.14	c  N dy  4534    657955     14505     62365         6     53476    189957   2658343    157.96    103.75  --
1208.93/302.81	c  N dy  4674    678085     14505     62365         6     73603    189957   5800474    163.26    103.75  --
1242.09/311.12	c  N dy  4813    698106     14505     62365         6     53626    189957   2549301    150.84    103.80  --
1276.85/319.89	c  N dy  4952    718151     14505     62365         6     73669    189957   5688701    154.35    103.81  --
1311.60/328.52	c  N dy  5092    738166     14505     62365         6     52687    189957   2295299    151.11    103.88  --
1342.35/336.23	c  N dy  5232    758249     14505     62365         6     72770    189957   5410430    159.01    103.86  --
1373.51/344.03	c  N dy  5372    778330     14505     62365         6     50853    189957   1829314    167.81    103.92  --
1404.67/351.84	c  N dy  5511    798404     14505     62365         6     70922    189957   4973048    155.84    103.92  --
1420.65/355.80	c  S st  5566    806263     14505     62365         6     78781    189957   6233831    157.31    103.95  --
1421.45/356.08	c  S st  5566    806766     14505     62365         6     79284    189957   6292296    157.31    103.95  --
1421.45/356.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1421.45/356.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1424.24/356.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.76
1424.64/356.80	c Calc non-exist non-lernt bins v-fix:     0 done:  14505 time:  0.03 s
1424.64/356.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1424.64/356.85	c Subs w/ non-existent bins:      0 time:  0.21 s
1425.84/357.16	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1425.84/357.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1425.84/357.17	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1842.47/461.47	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
1872.82/469.03	c Added 0 vars  tried: 80000 time: 30.19
1872.82/469.03	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:   30.19
1873.22/469.14	c lits-rem:         0  cl-subs:     4521  v-elim:    234  v-fix:    0  time: 447.22 s
1873.22/469.14	c learnt bin added due to v-elim: 0
1873.22/469.15	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
1873.62/469.22	c vivif2 --  cl tried    74763 cl shrink        0 lits rem          0 time: 0.29
1875.24/469.67	c asymm  cl-useful: 0/50472/62365 lits-rem:0 time: 1.80
1875.24/469.68	c calculated reachability. Time: 0.00
1875.24/469.68	c  N dy  5566    806766     14505     62365         6     74763    189957   6029206    157.31    103.95  --
1908.78/478.03	c  N dy  5705    826837     14505     62365         6     51835    189957   1806705    137.65    103.95  --
1941.56/486.29	c  N dy  5845    846849     14505     62365         6     71845    189957   4979859    158.79    104.00  --
1978.68/495.53	c  N dy  5985    866946     14505     62365         6     47946    189957   1075563    169.72    104.07  --
2011.45/503.79	c  N dy  6125    886976     14505     62365         6     67972    189957   4244889    157.20    104.08  --
2049.38/513.23	c  N dy  6266    907095     14505     62365         6     88088    189957   7358496    134.63    104.07  --
2082.16/521.42	c  N dy  6406    927147     14505     62365         6     63142    189957   3267069    167.66    104.06  --
2118.89/530.60	c  N dy  6546    947170     14505     62365         6     83159    189957   6440054    152.51    104.10  --
2154.44/539.56	c  N dy  6685    967185     14505     62365         6     57181    189957   2219477    154.85    104.09  --
2190.79/548.64	c  N dy  6825    987233     14505     62365         6     77225    189957   5343292    149.32    104.10  --
2228.74/558.12	c  N dy  6964   1007286     14505     62365         6     50282    189957    981226    156.17    104.10  --
2260.30/566.03	c  N dy  7104   1027323     14505     62365         6     70317    189957   4136882    159.78    104.10  --
2295.05/574.79	c  N dy  7243   1047384     14505     62365         6     90377    189957   7242139    156.85    104.08  --
2327.00/582.79	c  N dy  7384   1067511     14505     62365         6     62505    189957   2718942    161.74    104.10  --
2360.97/591.23	c  N dy  7524   1087572     14505     62365         6     82562    189957   5896335    163.00    104.12  --
2398.13/600.50	c  N dy  7663   1107671     14505     62365         6     53669    189957   1191848    161.88    104.15  --
2430.86/608.78	c  N dy  7802   1127808     14505     62365         6     73802    189957   4363830    156.88    104.17  --
2468.83/618.25	c  N dy  7942   1147878     14505     62365         6     93867    189957   7522179    159.80    104.17  --
2504.37/627.15	c  N dy  8083   1168013     14505     62365         6     64009    189957   2678488    150.90    104.17  --
2540.72/636.24	c  N dy  8223   1188110     14505     62365         6     84105    189957   5850254    154.00    104.17  --
2580.67/646.29	c  N dy  8363   1208114     14505     62365         6     53114    189957    786378    153.99    104.21  --
2584.26/647.10	c  S st  8378   1210149     14505     62365         6     55148    189957   1097151    153.62    104.21  --
2585.06/647.32	c  S st  8378   1210652     14505     62365         6     55651    189957   1156924    153.62    104.21  --
2585.06/647.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2585.06/647.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2586.65/647.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  1.69
2586.65/647.76	c Calc non-exist non-lernt bins v-fix:     0 done:  14505 time:  0.03 s
2586.65/647.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2586.65/647.77	c Subs w/ non-existent bins:      0 time:  0.05 s
2587.06/647.84	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2587.06/647.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2587.06/647.85	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
2597.43/650.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:    0.01
2597.83/650.50	c lits-rem:         0  cl-subs:     3742  v-elim:    234  v-fix:    0  time: 10.60 s
2597.83/650.50	c learnt bin added due to v-elim: 0
2597.83/650.51	c vivif2 --  cl tried    62365 cl shrink        0 lits rem          0 time: 0.02
2597.83/650.53	c vivif2 --  cl tried    51909 cl shrink        0 lits rem          0 time: 0.06
2597.83/650.58	c asymm  cl-useful: 0/11893/62365 lits-rem:0 time: 0.21
2597.83/650.58	c calculated reachability. Time: 0.00
2597.83/650.58	c  N dy  8378   1210652     14505     62365         6     51909    189957   1095504    153.62    104.21  --
2632.59/659.21	c  N dy  8517   1230675     14505     62365         6     71928    189957   4258553    159.43    104.22  --
2671.74/669.03	c  N dy  8657   1250720     14505     62365         6     91969    189957   7403115    160.74    104.22  --
2710.89/678.81	c  N dy  8797   1270816     14505     62365         6     60074    189957   1728183    151.04    104.26  --
2747.63/688.08	c  N dy  8938   1290953     14505     62365         6     80210    189957   4849238    156.02    104.24  --
2788.78/698.39	c  N dy  9077   1311054     14505     62365         6    100307    189957   8019377    162.35    104.25  --
2827.12/707.94	c  N dy  9216   1331083     14505     62365         6     67341    189957   2727661    157.56    104.26  --
2864.30/717.22	c  N dy  9356   1351189     14505     62365         6     87440    189957   5863678    143.15    104.27  --
2902.22/726.78	c  N dy  9496   1371273     14505     62365         6    107521    189957   9063853    164.68    104.30  --
2934.20/734.78	c  N dy  9635   1391282     14505     62365         6     73535    189957   3500918    150.16    104.28  --
2970.52/743.84	c  N dy  9775   1411342     14505     62365         6     93592    189957   6684891    160.10    104.29  --
3010.08/753.72	c  N dy  9914   1431346     14505     62365         6     58603    189957   1062255    164.81    104.31  --
3044.45/762.33	c  N dy 10054   1451491     14505     62365         6     78747    189957   4241474    150.32    104.31  --
3082.77/771.95	c  N dy 10194   1471539     14505     62365         6     98789    189957   7400720    169.95    104.33  --
3123.14/782.08	c  N dy 10335   1491635     14505     62365         6     62888    189957   1622138    176.95    104.36  --
3159.07/791.09	c  N dy 10475   1511750     14505     62365         6     83001    189957   4758361    148.74    104.35  --
3200.21/801.33	c  N dy 10614   1531863     14505     62365         6    103108    189957   7947369    151.64    104.36  --
3240.97/811.56	c  N dy 10754   1551869     14505     62365         6     66121    189957   1978509    158.69    104.38  --
3278.10/820.86	c  N dy 10893   1571942     14505     62365         6     86192    189957   5155607    170.03    104.41  --
3321.26/831.67	c  N dy 11033   1591987     14505     62365         6    106234    189957   8352648    173.15    104.43  --
3361.59/841.74	c  N dy 11173   1612087     14505     62365         6     68343    189957   2125013    166.51    104.44  --
3400.73/851.51	c  N dy 11312   1632109     14505     62365         6     88363    189957   5315943    165.05    104.47  --
3443.90/862.36	c  N dy 11452   1652207     14505     62365         6    108459    189957   8504747    153.56    104.48  --
3485.42/872.73	c  N dy 11592   1672264     14505     62365         6     69520    189957   2174649    180.10    104.47  --
3524.16/882.40	c  N dy 11732   1692317     14505     62365         6     89572    189957   5334651    158.96    104.49  --
3566.50/893.05	c  S st 11860   1710652     14505     62365         6    107905    189957   8216479    163.87    104.48  --
3568.10/893.42	c  S st 11860   1711155     14505     62365         6    108408    189957   8274795    163.87    104.48  --
3568.10/893.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3568.10/893.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3572.90/894.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.3M T:  5.00
3573.30/894.70	c Calc non-exist non-lernt bins v-fix:     0 done:  14505 time:  0.04 s
3573.30/894.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3573.30/894.77	c Subs w/ non-existent bins:      0 time:  0.27 s
3574.90/895.19	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3574.90/895.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3575.30/895.20	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
4309.91/1079.14	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
4349.84/1089.13	c Added 4 vars  tried: 80000 time: 39.89
4349.84/1089.14	c ORs :      4 avg-s:  0.0 cl-sh:   463 l-rem:    463 b-add:      8 v-rep:   0 cl-rem: 0 avg s: nan T:   39.93
4350.24/1089.28	c lits-rem:         0  cl-subs:     6313  v-elim:    234  v-fix:    0  time: 775.17 s
4350.24/1089.28	c learnt bin added due to v-elim: 0
4350.24/1089.29	c vivif2 --  cl tried    62369 cl shrink        0 lits rem          0 time: 0.02
4350.64/1089.38	c vivif2 --  cl tried   102095 cl shrink        0 lits rem          0 time: 0.37
4352.64/1089.81	c asymm  cl-useful: 0/38015/62369 lits-rem:0 time: 1.73
4352.64/1089.82	c calculated reachability. Time: 0.00
4352.64/1089.82	c  N dy 11860   1711155     14509     62369        14    102095    189985   7891582    163.87    104.48  --
4398.57/1101.32	c  N dy 12000   1731217     14509     62369        14     62161    189985    853377    149.38    104.48  --
4436.94/1110.98	c  N dy 12141   1751328     14509     62369        14     82266    189985   3987731    152.88    104.47  --
4477.66/1121.14	c  N dy 12280   1771406     14509     62369        14    102340    189985   7214338    165.13    104.50  --
4520.42/1131.87	c  N dy 12420   1791487     14509     62369        14     61430    189985    591911    168.21    104.53  --
4553.17/1140.08	c  N dy 12560   1811605     14509     62369        14     81545    189985   3804543    171.63    104.55  --
4590.30/1149.34	c  N dy 12700   1831672     14509     62369        14    101607    189985   6978771    175.25    104.56  --
4632.65/1159.93	c  N dy 12840   1851772     14509     62369        14    121704    189985  10102254    151.74    104.54  --
4668.20/1168.89	c  N dy 12979   1871838     14509     62369        14     79774    189985   3348055    157.29    104.56  --
4707.36/1178.63	c  N dy 13118   1891841     14509     62369        14     99773    189985   6525340    158.17    104.56  --
4751.29/1189.67	c  N dy 13258   1911897     14509     62369        14    119828    189985   9634156    156.82    104.55  --
4790.04/1199.32	c  N dy 13397   1931925     14509     62369        14     76864    189985   2735304    155.08    104.55  --

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-3172655-1304081255/watcher-3172655-1304081255 -o /tmp/evaluation-result-3172655-1304081255/solver-3172655-1304081255 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172655-1304081255.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.08 8.09 8.02 3/173 23039
/proc/meminfo: memFree=18784244/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=24212 CPUtime=0 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 1342 0 0 0 0 0 0 0 25 0 1 0 519723445 24793088 1281 33554432000 4194304 4797429 140735188266016 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23039/statm: 6053 1282 341 148 0 982 0

[startup+0.049134 s]
/proc/loadavg: 8.08 8.09 8.02 3/173 23039
/proc/meminfo: memFree=18784244/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=75200 CPUtime=0.04 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 8026 0 0 0 3 1 0 0 25 0 1 0 519723445 77004800 6548 33554432000 4194304 4797429 140735188266016 18446744073709551615 228122374853 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23039/statm: 18800 6550 348 148 0 13729 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 75200

[startup+0.101151 s]
/proc/loadavg: 8.08 8.09 8.02 3/173 23039
/proc/meminfo: memFree=18784244/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=80484 CPUtime=0.08 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 9862 0 0 0 7 1 0 0 25 0 1 0 519723445 82415616 8285 33554432000 4194304 4797429 140735188266016 18446744073709551615 228122374853 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23039/statm: 20121 8285 348 148 0 15050 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 80484

[startup+0.301069 s]
/proc/loadavg: 8.08 8.09 8.02 3/173 23039
/proc/meminfo: memFree=18784244/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=783752 CPUtime=0.63 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 16870 0 0 0 58 5 0 0 17 0 4 0 519723445 802562048 13939 33554432000 4194304 4797429 140735188266016 18446744073709551615 228122819103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 195938 13939 387 148 0 190867 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 783752

[startup+0.700999 s]
/proc/loadavg: 8.08 8.09 8.02 3/173 23039
/proc/meminfo: memFree=18784244/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=790924 CPUtime=2.21 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 20768 0 0 0 215 6 0 0 18 0 4 0 519723445 809906176 17816 33554432000 4194304 4797429 140735188266016 18446744073709551615 4424335 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 197731 17816 410 148 0 192660 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 790924

[startup+1.5008 s]
/proc/loadavg: 7.91 8.05 8.01 10/184 23051
/proc/meminfo: memFree=18552648/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=790924 CPUtime=5.41 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 23057 0 0 0 534 7 0 0 19 0 4 0 519723445 809906176 20092 33554432000 4194304 4797429 140735188266016 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 197731 20092 412 148 0 192660 0
[pid=23039/tid=23046] ppid=23037 vsize=790924 CPUtime=1.32 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 2905 0 0 0 131 1 0 0 19 0 4 0 519723462 809906176 20092 33554432000 4194304 4797429 140735188266016 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=790924 CPUtime=1.3 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 2644 0 0 0 129 1 0 0 19 0 4 0 519723462 809906176 20092 33554432000 4194304 4797429 140735188266016 18446744073709551615 4424399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=790924 CPUtime=1.3 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 2525 0 0 0 130 0 0 0 19 0 4 0 519723462 809906176 20092 33554432000 4194304 4797429 140735188266016 18446744073709551615 4424380 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 790924

[startup+3.10052 s]
/proc/loadavg: 7.91 8.05 8.01 9/184 23051
/proc/meminfo: memFree=18482800/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=796448 CPUtime=11.79 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 27911 0 0 0 1170 9 0 0 23 0 4 0 519723445 815562752 24931 33554432000 4194304 4797429 140735188266016 18446744073709551615 4341226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 199112 24931 413 148 0 194041 0
[pid=23039/tid=23046] ppid=23037 vsize=796448 CPUtime=2.91 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 3981 0 0 0 290 1 0 0 23 0 4 0 519723462 815562752 24931 33554432000 4194304 4797429 140735188266016 18446744073709551615 4415661 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=796448 CPUtime=2.89 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 4116 0 0 0 288 1 0 0 23 0 4 0 519723462 815562752 24931 33554432000 4194304 4797429 140735188266016 18446744073709551615 4395274 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=796448 CPUtime=2.9 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 3605 0 0 0 289 1 0 0 23 0 4 0 519723462 815562752 24931 33554432000 4194304 4797429 140735188266016 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.79
Current children cumulated vsize (KiB) 796448

[startup+6.30094 s]
/proc/loadavg: 7.91 8.05 8.01 9/184 23051
/proc/meminfo: memFree=18402460/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=809220 CPUtime=24.56 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 37444 0 0 0 2442 14 0 0 23 0 4 0 519723445 828641280 30921 33554432000 4194304 4797429 140735188266016 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 202305 30921 416 148 0 197234 0
[pid=23039/tid=23046] ppid=23037 vsize=809220 CPUtime=6.1 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 6366 0 0 0 608 2 0 0 23 0 4 0 519723462 828641280 30921 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=809220 CPUtime=6.1 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 5829 0 0 0 607 3 0 0 25 0 4 0 519723462 828641280 30921 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=809220 CPUtime=6.07 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 5782 0 0 0 606 1 0 0 23 0 4 0 519723462 828641280 30921 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.56
Current children cumulated vsize (KiB) 809220

[startup+12.7008 s]
/proc/loadavg: 8.01 8.07 8.01 9/184 23051
/proc/meminfo: memFree=18323476/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=815212 CPUtime=50.13 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 44381 0 0 0 4997 16 0 0 25 0 4 0 519723445 834777088 37521 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 203803 37521 417 148 0 198732 0
[pid=23039/tid=23046] ppid=23037 vsize=815212 CPUtime=12.51 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 7224 0 0 0 1248 3 0 0 25 0 4 0 519723462 834777088 37521 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=815212 CPUtime=12.49 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 6682 0 0 0 1246 3 0 0 25 0 4 0 519723462 834777088 37521 33554432000 4194304 4797429 140735188266016 18446744073709551615 4341044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=815212 CPUtime=12.44 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 6820 0 0 0 1242 2 0 0 25 0 4 0 519723462 834777088 37521 33554432000 4194304 4797429 140735188266016 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.13
Current children cumulated vsize (KiB) 815212

[startup+25.5005 s]
/proc/loadavg: 8.00 8.06 8.01 9/184 23051
/proc/meminfo: memFree=18273100/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=823692 CPUtime=101.25 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 54318 0 0 0 10106 19 0 0 25 0 4 0 519723445 843460608 42975 33554432000 4194304 4797429 140735188266016 18446744073709551615 4425930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 205923 42975 419 148 0 200852 0
[pid=23039/tid=23046] ppid=23037 vsize=823692 CPUtime=25.3 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 8101 0 0 0 2527 3 0 0 25 0 4 0 519723462 843460608 42975 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=823692 CPUtime=25.29 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 7814 0 0 0 2526 3 0 0 25 0 4 0 519723462 843460608 42975 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=823692 CPUtime=25.16 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 7901 0 0 0 2514 2 0 0 25 0 4 0 519723462 843460608 42975 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 823692

[startup+51.1009 s]
/proc/loadavg: 8.08 8.07 8.02 9/184 23052
/proc/meminfo: memFree=18257008/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=839392 CPUtime=203.52 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 73640 0 0 0 20325 27 0 0 25 0 4 0 519723445 859537408 43477 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 209848 43477 420 148 0 204777 0
[pid=23039/tid=23046] ppid=23037 vsize=839392 CPUtime=50.91 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 10408 0 0 0 5087 4 0 0 25 0 4 0 519723462 859537408 43477 33554432000 4194304 4797429 140735188266016 18446744073709551615 4509074 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=839392 CPUtime=50.9 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 10374 0 0 0 5086 4 0 0 25 0 4 0 519723462 859537408 43477 33554432000 4194304 4797429 140735188266016 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=839392 CPUtime=50.62 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 10636 0 0 0 5059 3 0 0 25 0 4 0 519723462 859537408 43477 33554432000 4194304 4797429 140735188266016 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.52
Current children cumulated vsize (KiB) 839392

[startup+102.307 s]
/proc/loadavg: 8.18 8.09 8.02 9/184 23053
/proc/meminfo: memFree=18186556/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=853128 CPUtime=408.06 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 104863 0 0 0 40766 40 0 0 25 0 4 0 519723445 873603072 54434 33554432000 4194304 4797429 140735188266016 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 213282 54434 420 148 0 208211 0
[pid=23039/tid=23046] ppid=23037 vsize=853128 CPUtime=102.11 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 13312 0 0 0 10206 5 0 0 25 0 4 0 519723462 873603072 54434 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=853128 CPUtime=102.1 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 12626 0 0 0 10206 4 0 0 25 0 4 0 519723462 873603072 54434 33554432000 4194304 4797429 140735188266016 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=853128 CPUtime=101.54 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 12964 0 0 0 10150 4 0 0 25 0 4 0 519723462 873603072 54434 33554432000 4194304 4797429 140735188266016 18446744073709551615 4526613 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 853128

[startup+162.301 s]
/proc/loadavg: 8.20 8.10 8.03 9/184 23055
/proc/meminfo: memFree=18145252/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=867432 CPUtime=647.7 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 144608 0 0 0 64711 59 0 0 25 0 4 0 519723445 888250368 56431 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 216858 56431 420 148 0 211787 0
[pid=23039/tid=23046] ppid=23037 vsize=867432 CPUtime=162.11 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 17013 0 0 0 16204 7 0 0 25 0 4 0 519723462 888250368 56431 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=867432 CPUtime=162.09 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 16434 0 0 0 16204 5 0 0 25 0 4 0 519723462 888250368 56431 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=867432 CPUtime=161.21 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 16695 0 0 0 16115 6 0 0 25 0 4 0 519723462 888250368 56431 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.7
Current children cumulated vsize (KiB) 867432

[startup+222.301 s]
/proc/loadavg: 8.20 8.11 8.03 9/184 23056
/proc/meminfo: memFree=18138784/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=878316 CPUtime=887.37 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 178654 0 0 0 88662 75 0 0 25 0 4 0 519723445 899395584 58511 33554432000 4194304 4797429 140735188266016 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 219579 58511 420 148 0 214508 0
[pid=23039/tid=23046] ppid=23037 vsize=878316 CPUtime=222.1 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 18970 0 0 0 22203 7 0 0 25 0 4 0 519723462 899395584 58511 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=878316 CPUtime=222.09 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 19208 0 0 0 22202 7 0 0 25 0 4 0 519723462 899395584 58511 33554432000 4194304 4797429 140735188266016 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=878316 CPUtime=220.87 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 19997 0 0 0 22080 7 0 0 25 0 4 0 519723462 899395584 58511 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.37
Current children cumulated vsize (KiB) 878316

[startup+282.3 s]

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

[pid=23039] ppid=23037 vsize=923740 CPUtime=2565.1 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 358438 0 0 0 256350 160 0 0 25 0 4 0 519723445 945909760 83634 33554432000 4194304 4797429 140735188266016 18446744073709551615 228122410763 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 230935 83634 420 148 0 225864 0
[pid=23039/tid=23046] ppid=23037 vsize=923740 CPUtime=642.12 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 36737 0 0 0 64197 15 0 0 25 0 4 0 519723462 945909760 83634 33554432000 4194304 4797429 140735188266016 18446744073709551615 4241128 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=923740 CPUtime=642.12 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 35940 0 0 0 64198 14 0 0 25 0 4 0 519723462 945909760 83634 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=923740 CPUtime=638.56 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 35423 0 0 0 63843 13 0 0 25 0 4 0 519723462 945909760 83634 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.1
Current children cumulated vsize (KiB) 923740

[startup+702.301 s]
/proc/loadavg: 8.01 8.04 8.02 9/184 23069
/proc/meminfo: memFree=17913816/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=923896 CPUtime=2804.75 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 382181 0 0 0 280302 173 0 0 25 0 4 0 519723445 946069504 79063 33554432000 4194304 4797429 140735188266016 18446744073709551615 4424320 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 230974 79063 420 148 0 225903 0
[pid=23039/tid=23046] ppid=23037 vsize=923896 CPUtime=702.12 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 37771 0 0 0 70196 16 0 0 25 0 4 0 519723462 946069504 79063 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=923896 CPUtime=702.11 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 36563 0 0 0 70197 14 0 0 25 0 4 0 519723462 946069504 79063 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=923896 CPUtime=698.22 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 36220 0 0 0 69809 13 0 0 25 0 4 0 519723462 946069504 79063 33554432000 4194304 4797429 140735188266016 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.75
Current children cumulated vsize (KiB) 923896

[startup+762.307 s]
/proc/loadavg: 8.04 8.05 8.02 9/184 23071
/proc/meminfo: memFree=17958444/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=923752 CPUtime=3044.45 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 413301 0 0 0 304258 187 0 0 25 0 4 0 519723445 945922048 79298 33554432000 4194304 4797429 140735188266016 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 230938 79298 420 148 0 225867 0
[pid=23039/tid=23046] ppid=23037 vsize=923752 CPUtime=762.12 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 40550 0 0 0 76195 17 0 0 25 0 4 0 519723462 945922048 79298 33554432000 4194304 4797429 140735188266016 18446744073709551615 4424970 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=923752 CPUtime=762.12 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 39480 0 0 0 76197 15 0 0 25 0 4 0 519723462 945922048 79298 33554432000 4194304 4797429 140735188266016 18446744073709551615 4358620 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=923752 CPUtime=757.89 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 38953 0 0 0 75775 14 0 0 25 0 4 0 519723462 945922048 79298 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.45
Current children cumulated vsize (KiB) 923752

[startup+822.301 s]
/proc/loadavg: 8.16 8.08 8.03 9/184 23081
/proc/meminfo: memFree=17922856/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=940184 CPUtime=3284.09 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 440374 0 0 0 328210 199 0 0 25 0 4 0 519723445 962748416 86282 33554432000 4194304 4797429 140735188266016 18446744073709551615 4355024 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 235046 86282 420 148 0 229975 0
[pid=23039/tid=23046] ppid=23037 vsize=940184 CPUtime=822.11 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 41968 0 0 0 82194 17 0 0 25 0 4 0 519723462 962748416 86282 33554432000 4194304 4797429 140735188266016 18446744073709551615 4502043 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=940184 CPUtime=822.11 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 41669 0 0 0 82196 15 0 0 25 0 4 0 519723462 962748416 86282 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=940184 CPUtime=817.56 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 41139 0 0 0 81741 15 0 0 25 0 4 0 519723462 962748416 86282 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.09
Current children cumulated vsize (KiB) 940184

[startup+882.3 s]
/proc/loadavg: 8.13 8.08 8.03 9/184 23083
/proc/meminfo: memFree=17918588/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=942080 CPUtime=3523.75 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 462639 0 0 0 352165 210 0 0 25 0 4 0 519723445 964689920 87835 33554432000 4194304 4797429 140735188266016 18446744073709551615 4415829 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 235520 87836 420 148 0 230449 0
[pid=23039/tid=23046] ppid=23037 vsize=942080 CPUtime=882.11 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 42423 0 0 0 88194 17 0 0 25 0 4 0 519723462 964689920 87836 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=942080 CPUtime=882.11 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 42372 0 0 0 88195 16 0 0 25 0 4 0 519723462 964689920 87836 33554432000 4194304 4797429 140735188266016 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=942080 CPUtime=877.22 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 41716 0 0 0 87707 15 0 0 25 0 4 0 519723462 964689920 87836 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.75
Current children cumulated vsize (KiB) 942080

[startup+942.3 s]
/proc/loadavg: 8.11 8.08 8.03 9/184 23085
/proc/meminfo: memFree=17865232/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=942952 CPUtime=3763.44 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 475962 0 0 0 376126 218 0 0 25 0 4 0 519723445 965582848 89075 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 235738 89075 420 148 0 230667 0
[pid=23039/tid=23046] ppid=23037 vsize=942952 CPUtime=942.12 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 44552 0 0 0 94193 19 0 0 25 0 4 0 519723462 965582848 89075 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=942952 CPUtime=942.11 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 45490 0 0 0 94194 17 0 0 25 0 4 0 519723462 965582848 89075 33554432000 4194304 4797429 140735188266016 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=942952 CPUtime=936.9 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 44066 0 0 0 93673 17 0 0 25 0 4 0 519723462 965582848 89075 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.44
Current children cumulated vsize (KiB) 942952

[startup+1002.3 s]
/proc/loadavg: 8.18 8.09 8.03 9/184 23088
/proc/meminfo: memFree=17842624/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=942952 CPUtime=4003.11 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 479926 0 0 0 400090 221 0 0 25 0 4 0 519723445 965582848 92819 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 235738 92819 420 148 0 230667 0
[pid=23039/tid=23046] ppid=23037 vsize=942952 CPUtime=1002.11 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 46090 0 0 0 100191 20 0 0 25 0 4 0 519723462 965582848 92819 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=942952 CPUtime=1002.11 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 46552 0 0 0 100193 18 0 0 25 0 4 0 519723462 965582848 92819 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=942952 CPUtime=996.57 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 45430 0 0 0 99639 18 0 0 25 0 4 0 519723462 965582848 92819 33554432000 4194304 4797429 140735188266016 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.11
Current children cumulated vsize (KiB) 942952

[startup+1062.3 s]
/proc/loadavg: 8.21 8.13 8.05 9/184 23091
/proc/meminfo: memFree=17873724/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=942952 CPUtime=4242.79 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 481753 0 0 0 424056 223 0 0 25 0 4 0 519723445 965582848 94561 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 235738 94561 420 148 0 230667 0
[pid=23039/tid=23046] ppid=23037 vsize=942952 CPUtime=1062.11 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 46655 0 0 0 106191 20 0 0 25 0 4 0 519723462 965582848 94561 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=942952 CPUtime=1062.12 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 47177 0 0 0 106193 19 0 0 25 0 4 0 519723462 965582848 94561 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=942952 CPUtime=1056.23 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 46067 0 0 0 105605 18 0 0 25 0 4 0 519723462 965582848 94561 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.79
Current children cumulated vsize (KiB) 942952

[startup+1122.3 s]
/proc/loadavg: 8.07 8.11 8.04 9/184 23092
/proc/meminfo: memFree=17863536/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=948132 CPUtime=4482.46 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 497753 0 0 0 448015 231 0 0 25 0 4 0 519723445 970887168 90829 33554432000 4194304 4797429 140735188266016 18446744073709551615 4424340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 237033 90829 420 148 0 231962 0
[pid=23039/tid=23046] ppid=23037 vsize=948132 CPUtime=1122.11 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 47470 0 0 0 112190 21 0 0 25 0 4 0 519723462 970887168 90829 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=948132 CPUtime=1122.11 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 49134 0 0 0 112192 19 0 0 25 0 4 0 519723462 970887168 90829 33554432000 4194304 4797429 140735188266016 18446744073709551615 4237276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=948132 CPUtime=1115.9 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 47596 0 0 0 111572 18 0 0 25 0 4 0 519723462 970887168 90829 33554432000 4194304 4797429 140735188266016 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.46
Current children cumulated vsize (KiB) 948132

[startup+1182.3 s]
/proc/loadavg: 8.03 8.08 8.03 9/184 23094
/proc/meminfo: memFree=17863028/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=948376 CPUtime=4722.13 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 526436 0 0 0 471971 242 0 0 25 0 4 0 519723445 971137024 93154 33554432000 4194304 4797429 140735188266016 18446744073709551615 4425099 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 237094 93154 420 148 0 232023 0
[pid=23039/tid=23046] ppid=23037 vsize=948376 CPUtime=1182.12 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 50232 0 0 0 118190 22 0 0 25 0 4 0 519723462 971137024 93154 33554432000 4194304 4797429 140735188266016 18446744073709551615 4423648 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=948376 CPUtime=1182.12 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 50993 0 0 0 118192 20 0 0 25 0 4 0 519723462 971137024 93154 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=948376 CPUtime=1175.57 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 49732 0 0 0 117538 19 0 0 25 0 4 0 519723462 971137024 93154 33554432000 4194304 4797429 140735188266016 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.13
Current children cumulated vsize (KiB) 948376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.02 8.08 8.03 9/184 23095
/proc/meminfo: memFree=17847028/32951124 swapFree=67111528/67111528
[pid=23039] ppid=23037 vsize=948408 CPUtime=4800.04 cores=0,2,4,6
/proc/23039/stat : 23039 (techdemo) R 23037 23039 22817 0 -1 4202496 534703 0 0 0 479757 247 0 0 25 0 4 0 519723445 971169792 90300 33554432000 4194304 4797429 140735188266016 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23039/statm: 237102 90300 420 148 0 232031 0
[pid=23039/tid=23046] ppid=23037 vsize=948408 CPUtime=1201.62 cores=0,2,4,6
/proc/23039/task/23046/stat : 23046 (techdemo) R 23037 23039 22817 0 -1 4202560 50662 0 0 0 120140 22 0 0 25 0 4 0 519723462 971169792 90300 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23039/tid=23047] ppid=23037 vsize=948408 CPUtime=1201.62 cores=0,2,4,6
/proc/23039/task/23047/stat : 23047 (techdemo) R 23037 23039 22817 0 -1 4202560 51367 0 0 0 120142 20 0 0 25 0 4 0 519723462 971169792 90300 33554432000 4194304 4797429 140735188266016 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23039/tid=23048] ppid=23037 vsize=948408 CPUtime=1194.96 cores=0,2,4,6
/proc/23039/task/23048/stat : 23048 (techdemo) R 23037 23039 22817 0 -1 4202560 50138 0 0 0 119477 19 0 0 25 0 4 0 519723462 971169792 90300 33554432000 4194304 4797429 140735188266016 18446744073709551615 4428520 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 948408

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.09
CPU user time (s): 4797.6
CPU system time (s): 2.48862
CPU usage (%): 399.398
Max. virtual memory (cumulated for all children) (KiB): 1058348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.6
system time used= 2.48862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534704
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= 7272
involuntary context switches= 22429

runsolver used 1.84472 second user time and 4.73628 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-29 14:47:35
IDJOB=3172655
IDBENCH=82673
IDSOLVER=1584
FILE ID=node138/3172655-1304081255
RUNJOBID= node138-1304078846-22835
PBS_JOBID= 13170524
Free space on /tmp= 71812 MiB

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

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

MD5SUM BENCH= 0a98d6d9a7bdb797305aed69a94f9a69
RANDOM SEED=1622869982

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18786012 kB
Buffers:       2041620 kB
Cached:       11495360 kB
SwapCached:          0 kB
Active:        3286168 kB
Inactive:     10315112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18786012 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18288 kB
Writeback:           0 kB
AnonPages:       63100 kB
Mapped:          14320 kB
Slab:           500052 kB
PageTables:       4676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189432 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= 71796 MiB
End job on node138 at 2011-04-29 15:07:39