Trace number 3172566

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.13 1201.84

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf
MD5SUMcf967108532c9cfea4028aa361399380
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.8385
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-3172566-1304071855.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.15 s
0.28/0.21	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.26	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.67/0.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.67/0.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.67/0.40	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
0.67/0.88	c lits-rem:         0  cl-subs:        0  v-elim:    837  v-fix:    0  time:  0.63 s
0.67/0.88	c learnt bin added due to v-elim: 0
0.67/0.88	c Finding binary XORs  T:     0.01 s  found:       0
0.67/0.88	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
0.67/0.88	c calculated reachability. Time: 0.00
0.67/0.88	c Calc default polars -  time:   0.02 s pos:    6593 undec:    1782 neg:    6625
0.67/0.88	c =========================================================================================
0.67/0.88	c types(t): F = full restart, N = normal restart
0.67/0.88	c types(t): S = simplification begin/end, E = solution found
0.67/0.88	c restart types(rt): st = static, dy = dynamic
0.67/0.88	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.67/0.88	c  B st     0         0     14523     62500         0         0    190210         0   no data   no data  --
0.67/1.02	c Decided on dynamic restart strategy
5.06/1.48	c  N dy    20      4099     14523     62500         0      4094    190210    716421    150.38    112.68  --
9.46/2.53	c  N dy    48      8107     14523     62500         0      8102    190210   1367923    167.41    110.43  --
13.43/3.53	c  N dy    77     12194     14523     62500         0     12189    190210   1972172    148.54    105.91  --
17.82/4.60	c  N dy   105     16200     14523     62500         0     16193    190210   2575579    145.52    104.65  --
22.20/5.79	c  N dy   134     20334     14523     62500         0     10330    190210    486626    144.93    103.70  --
26.99/6.96	c  N dy   163     24459     14523     62500         0     14454    190210   1108044    155.74    103.27  --
31.39/8.05	c  N dy   192     28587     14523     62500         0     18580    190210   1742149    150.25    103.31  --
33.78/8.60	c  S st   202     30000     14523     62500         0     19993    190210   1941405    145.56    102.98  --
34.18/8.76	c  S st   202     30501     14523     62500         0     20494    190210   1996059    145.56    102.98  --
34.18/8.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
34.18/8.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.98/8.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.71
34.98/8.95	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.02 s
34.98/8.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.98/8.97	c Subs w/ non-existent bins:      0 time:  0.07 s
35.78/9.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.78/9.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.78/9.13	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
52.56/13.37	c lits-rem:         0  cl-subs:     1262  v-elim:    218  v-fix:    0  time: 16.96 s
52.56/13.37	c learnt bin added due to v-elim: 0
52.56/13.38	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
52.96/13.40	c vivif2 --  cl tried    19232 cl shrink        0 lits rem          0 time: 0.08
53.76/13.60	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.81
53.76/13.61	c calculated reachability. Time: 0.00
53.76/13.61	c  N dy   202     30501     14523     62500         0     19232    190210   1919094    145.56    102.98  --
53.76/13.61	c  F st   202     30501     14523     62500         0     19232    190210   1919094    145.56    102.98  --
56.15/14.24	c Decided on dynamic restart strategy
58.57/14.83	c  N dy   222     34573     14523     62500         0     23302    190210   2557475    138.17    102.96  --
63.74/16.13	c  N dy   251     38638     14523     62500         0     27366    190210   3165873    154.19    102.73  --
68.93/17.43	c  N dy   280     42772     14523     62500         0     16005    190210    624021    150.29    102.58  --
72.53/18.32	c  S st   301     45751     14523     62500         0     18983    190210   1119867    168.11    103.05  --
72.92/18.48	c  S st   301     46253     14523     62500         0     19485    190210   1176717    168.11    103.05  --
72.92/18.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
72.92/18.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.72/18.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.55
73.72/18.63	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.02 s
73.72/18.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.72/18.64	c Subs w/ non-existent bins:      0 time:  0.05 s
74.13/18.71	c bin-w-bin subsume rem            0 bins  time:  0.02 s
74.13/18.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
74.13/18.72	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
83.72/21.16	c lits-rem:         0  cl-subs:      622  v-elim:    218  v-fix:    0  time:  9.76 s
83.72/21.16	c learnt bin added due to v-elim: 0
83.72/21.17	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
83.72/21.18	c vivif2 --  cl tried    18863 cl shrink        0 lits rem          0 time: 0.06
84.52/21.34	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.64
84.52/21.35	c calculated reachability. Time: 0.00
84.52/21.35	c  N dy   301     46253     14523     62500         0     18863    190210   1139555    168.11    103.05  --
89.33/22.56	c  N dy   330     50369     14523     62500         0     22979    190210   1750091    153.45    102.66  --
94.12/23.74	c  N dy   359     54500     14523     62500         0     27110    190210   2406728    162.25    102.80  --
98.90/24.99	c  N dy   388     58623     14523     62500         0     31233    190210   3027865    161.75    102.63  --
104.49/26.35	c  N dy   416     62645     14523     62500         0     35253    190210   3641592    150.09    102.58  --
110.08/27.75	c  N dy   445     66785     14523     62500         0     20647    190210    862699    159.69    102.96  --
113.67/28.63	c  S st   463     69380     14523     62500         0     23241    190210   1271298    146.00    102.94  --
114.07/28.78	c  S st   463     69886     14523     62500         0     23747    190210   1330679    146.00    102.94  --
114.07/28.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
114.07/28.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.87/28.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.60
114.87/28.94	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.02 s
114.87/28.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.87/28.96	c Subs w/ non-existent bins:      0 time:  0.06 s
115.27/29.02	c bin-w-bin subsume rem            0 bins  time:  0.02 s
115.27/29.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
115.27/29.03	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
125.26/31.55	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.45/33.31	c Added 0 vars  tried: 80000 time: 7.04
132.45/33.31	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    7.04
132.45/33.35	c lits-rem:        11  cl-subs:      832  v-elim:    218  v-fix:    0  time: 17.22 s
132.45/33.35	c learnt bin added due to v-elim: 0
132.45/33.35	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
132.45/33.37	c vivif2 --  cl tried    22915 cl shrink        0 lits rem          0 time: 0.06
133.26/33.55	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 0.71
133.26/33.55	c calculated reachability. Time: 0.00
133.26/33.55	c  N dy   463     69886     14523     62500         0     22915    190210   1278971    146.00    102.94  --
133.26/33.55	c  F st   463     69886     14523     62500         0     22915    190210   1278971    146.00    102.94  --
136.04/34.23	c Decided on dynamic restart strategy
138.83/34.99	c  N dy   486     74403     14523     62500         0     27430    190210   2067425    179.02    103.50  --
144.83/36.42	c  N dy   519     79162     14523     62500         0     32189    190210   2815874    144.69    103.64  --
151.61/38.11	c  N dy   555     84337     14523     62500         0     37363    190210   3605444    143.64    103.54  --
159.21/40.10	c  N dy   593     89821     14523     62500         0     21974    190210    712314    169.69    103.78  --
166.80/41.99	c  N dy   634     95677     14523     62500         0     27829    190210   1622244    169.44    103.72  --
174.79/43.91	c  N dy   677    101852     14523     62500         0     34002    190210   2595432    172.65    103.80  --
179.58/45.16	c  S st   698    104829     14523     62500         0     36978    190210   3049535    160.10    103.73  --
180.38/45.35	c  S st   698    105332     14523     62500         0     37481    190210   3105953    160.10    103.73  --
180.38/45.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
180.38/45.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.60/45.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.05
181.60/45.63	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.03 s
181.60/45.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.60/45.66	c Subs w/ non-existent bins:      0 time:  0.11 s
182.37/45.82	c bin-w-bin subsume rem            0 bins  time:  0.02 s
182.37/45.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
182.37/45.83	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
213.13/53.54	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
213.53/53.60	c lits-rem:         0  cl-subs:     1539  v-elim:    218  v-fix:    0  time: 31.04 s
213.53/53.60	c learnt bin added due to v-elim: 0
213.53/53.60	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
213.53/53.64	c vivif2 --  cl tried    35942 cl shrink        0 lits rem          0 time: 0.13
214.73/53.93	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 1.17
214.73/53.93	c calculated reachability. Time: 0.00
214.73/53.93	c  N dy   698    105332     14523     62500         0     35942    190210   2989465    160.10    103.73  --
223.52/56.12	c  N dy   746    112174     14523     62500         0     42783    190210   4051493    144.44    103.64  --
232.30/58.38	c  N dy   796    119387     14523     62500         0     27562    190210   1334458    162.74    103.85  --
241.89/60.72	c  N dy   850    127097     14523     62500         0     35271    190210   2532028    153.84    103.88  --
252.68/63.44	c  N dy   907    135362     14523     62500         0     43535    190210   3867081    176.35    104.05  --
263.86/66.27	c  N dy   968    144050     14523     62500         0     28508    190210   1243589    150.01    104.08  --
275.84/69.20	c  N dy  1033    153336     14523     62500         0     37792    190210   2701446    169.57    104.06  --
283.44/71.11	c  S st  1066    157999     14523     62500         0     42455    190210   3406367    144.63    104.00  --
284.24/71.31	c  S st  1066    158501     14523     62500         0     42957    190210   3463845    144.63    104.00  --
284.24/71.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
284.24/71.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.44/71.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.22
285.44/71.63	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.03 s
285.44/71.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.44/71.66	c Subs w/ non-existent bins:      0 time:  0.12 s
286.24/71.84	c bin-w-bin subsume rem            0 bins  time:  0.02 s
286.24/71.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
286.24/71.85	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
361.74/90.78	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
362.14/90.84	c lits-rem:         0  cl-subs:     1832  v-elim:    218  v-fix:    0  time: 75.83 s
362.14/90.84	c learnt bin added due to v-elim: 0
362.14/90.85	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
362.14/90.88	c vivif2 --  cl tried    41125 cl shrink        0 lits rem          0 time: 0.15
363.71/91.21	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 1.31
363.71/91.22	c calculated reachability. Time: 0.00
363.71/91.22	c  N dy  1066    158501     14523     62500         0     41125    190210   3327098    144.63    104.00  --
378.10/94.85	c  N dy  1137    168690     14523     62500         0     26457    190210    707049    152.97    104.02  --
392.49/98.42	c  N dy  1213    179550     14523     62500         0     37317    190210   2433196    146.31    104.05  --
408.86/102.54	c  N dy  1293    191037     14523     62500         0     48802    190210   4213291    161.06    104.02  --
425.63/106.71	c  N dy  1379    203367     14523     62500         0     35204    190210   1868826    161.06    103.91  --
444.41/111.43	c  N dy  1470    216373     14523     62500         0     48208    190210   3914608    163.02    103.91  --
463.20/116.18	c  N dy  1567    230253     14523     62500         0     35126    190210   1723164    162.41    103.90  --
475.17/119.12	c  S st  1620    237752     14523     62500         0     42624    190210   2881619    126.72    103.88  --
475.99/119.34	c  S st  1620    238257     14523     62500         0     43129    190210   2935858    126.72    103.88  --
475.99/119.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
475.99/119.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
477.17/119.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.24
477.17/119.67	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.03 s
477.17/119.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
477.17/119.69	c Subs w/ non-existent bins:      0 time:  0.11 s
477.97/119.85	c bin-w-bin subsume rem            0 bins  time:  0.02 s
477.97/119.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
477.97/119.86	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
509.92/127.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
509.92/127.89	c lits-rem:         0  cl-subs:     2056  v-elim:    218  v-fix:    0  time: 32.05 s
509.92/127.89	c learnt bin added due to v-elim: 0
509.92/127.89	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
510.32/127.93	c vivif2 --  cl tried    41073 cl shrink        0 lits rem          0 time: 0.13
511.54/128.23	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 1.21
511.54/128.24	c calculated reachability. Time: 0.00
511.54/128.24	c  N dy  1620    238257     14523     62500         0     41073    190210   2811971    126.72    103.88  --
533.11/133.68	c  N dy  1727    253592     14523     62500         0     28429    190210    489204    148.95    103.82  --
554.26/138.93	c  N dy  1841    269833     14523     62500         0     44668    190210   3050631    153.55    103.82  --
578.62/145.08	c  N dy  1961    287081     14523     62500         0     32926    190210   1030231    161.21    103.83  --
604.18/151.43	c  N dy  2089    305534     14523     62500         0     51375    190210   3955105    161.96    103.90  --
631.75/158.38	c  N dy  2224    325048     14523     62500         0     40895    190210   2139727    153.72    103.88  --
661.70/165.89	c  N dy  2363    345103     14523     62500         0     60948    190210   5273896    168.50    103.88  --
679.28/170.27	c  S st  2449    357386     14523     62500         0     42235    190210   2146665    156.26    103.89  --
680.08/170.46	c  S st  2449    357892     14523     62500         0     42741    190210   2206536    156.26    103.89  --
680.08/170.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
680.08/170.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
681.28/170.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.9M T:  1.19
681.28/170.78	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.03 s
681.28/170.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
681.68/170.80	c Subs w/ non-existent bins:      0 time:  0.09 s
682.08/170.92	c bin-w-bin subsume rem            0 bins  time:  0.02 s
682.08/170.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
682.08/170.93	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
703.25/176.25	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
712.44/178.55	c Added 0 vars  tried: 80000 time: 9.19
712.44/178.55	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
712.84/178.61	c lits-rem:         5  cl-subs:     2271  v-elim:    218  v-fix:    0  time: 30.66 s
712.84/178.61	c learnt bin added due to v-elim: 0
712.84/178.61	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
712.84/178.64	c vivif2 --  cl tried    40470 cl shrink        0 lits rem          0 time: 0.10
714.04/178.91	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 1.07
714.04/178.91	c calculated reachability. Time: 0.00
714.04/178.91	c  N dy  2449    357892     14523     62500         0     40470    190210   2104195    156.26    103.89  --
744.79/186.60	c  N dy  2589    377990     14523     62500         0     60562    190210   5268518    165.52    103.92  --
773.55/193.84	c  N dy  2728    397992     14523     62500         0     48569    190210   2995361    149.17    103.96  --
805.53/201.85	c  N dy  2868    418074     14523     62500         0     35651    190210    821263    150.72    103.95  --
835.87/209.45	c  N dy  3008    438176     14523     62500         0     55746    190210   3971489    170.13    103.95  --
867.04/217.24	c  N dy  3149    458279     14523     62500         0     41854    190210   1626691    142.91    103.91  --
896.99/224.77	c  N dy  3289    478315     14523     62500         0     61888    190210   4756999    162.99    103.90  --
926.13/232.04	c  N dy  3429    498348     14523     62500         0     46927    190210   2261807    150.71    103.94  --
956.49/239.60	c  N dy  3568    518389     14523     62500         0     66966    190210   5417941    156.34    103.96  --
984.46/246.64	c  S st  3696    536840     14523     62500         0     49421    190210   2559355    151.28    104.03  --
985.26/246.85	c  S st  3696    537344     14523     62500         0     49925    190210   2626211    151.28    104.03  --
985.26/246.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
985.26/246.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
986.85/247.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  1.48
986.85/247.24	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.03 s
986.85/247.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
986.85/247.27	c Subs w/ non-existent bins:      0 time:  0.10 s
987.65/247.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
987.65/247.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
987.65/247.41	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
1018.80/255.28	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
1019.20/255.34	c lits-rem:         0  cl-subs:     2806  v-elim:    218  v-fix:    0  time: 31.66 s
1019.20/255.34	c learnt bin added due to v-elim: 0
1019.20/255.34	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
1019.20/255.37	c vivif2 --  cl tried    47119 cl shrink        0 lits rem          0 time: 0.12
1020.40/255.67	c asymm  cl-useful: 0/62500/62500 lits-rem:0 time: 1.18
1020.40/255.67	c calculated reachability. Time: 0.00
1020.40/255.67	c  N dy  3696    537344     14523     62500         0     47119    190210   2510298    151.28    104.03  --
1020.40/255.67	c  F st  3696    537344     14523     62500         0     47119    190210   2510298    151.28    104.03  --
1024.00/256.51	c Decided on dynamic restart strategy
1052.36/263.63	c  N dy  3827    557382     14523     62500         0     67153    190210   5733801    154.38    104.12  --
1083.12/271.36	c  N dy  3967    577443     14523     62500         0     50217    190210   2450503    155.00    104.03  --
1116.28/279.66	c  N dy  4107    597541     14523     62500         0     70309    190210   5677281    159.81    104.13  --
1147.84/287.57	c  N dy  4247    617604     14523     62500         0     52377    190210   2615060    156.76    104.10  --
1181.79/296.06	c  N dy  4387    637621     14523     62500         0     72392    190210   5790218    139.44    104.14  --
1214.16/304.20	c  N dy  4527    657702     14523     62500         0     53478    190210   2756105    168.23    104.16  --
1248.49/312.70	c  N dy  4667    677825     14523     62500         0     73598    190210   5938260    168.34    104.19  --
1282.04/321.11	c  N dy  4807    697938     14523     62500         0     53710    190210   2515695    166.19    104.18  --
1316.00/329.67	c  N dy  4947    718042     14523     62500         0     73811    190210   5619602    149.81    104.17  --
1346.76/337.39	c  N dy  5087    738133     14523     62500         0     52903    190210   2271600    158.22    104.15  --
1377.92/345.12	c  N dy  5228    758241     14523     62500         0     73010    190210   5397521    148.49    104.14  --
1409.87/353.16	c  N dy  5368    778282     14523     62500         0     51054    190210   1836886    147.72    104.16  --
1441.43/361.03	c  N dy  5508    798312     14523     62500         0     71081    190210   4908864    163.89    104.13  --
1456.61/364.89	c  S st  5562    806016     14523     62500         0     78783    190210   6103757    148.01    104.12  --
1457.81/365.17	c  S st  5562    806521     14523     62500         0     79288    190210   6165473    148.01    104.12  --
1457.81/365.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1457.81/365.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1460.63/365.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.80
1460.63/365.89	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.03 s
1460.63/365.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1461.01/365.94	c Subs w/ non-existent bins:      0 time:  0.19 s
1462.20/366.25	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1462.20/366.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1462.20/366.26	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
1864.05/466.82	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
1891.23/473.65	c Added 0 vars  tried: 80000 time: 27.29
1891.23/473.65	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:   27.29
1891.61/473.76	c lits-rem:         3  cl-subs:     4570  v-elim:    218  v-fix:    0  time: 429.33 s
1891.61/473.76	c learnt bin added due to v-elim: 0
1891.61/473.76	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
1892.01/473.83	c vivif2 --  cl tried    74718 cl shrink        0 lits rem          0 time: 0.28
1893.61/474.28	c asymm  cl-useful: 0/49952/62500 lits-rem:0 time: 1.80
1893.61/474.29	c calculated reachability. Time: 0.00
1893.61/474.29	c  N dy  5562    806521     14523     62500         0     74718    190210   5901642    148.01    104.12  --
1927.56/482.72	c  N dy  5702    826637     14523     62500         0     51840    190210   1830671    149.74    104.13  --
1960.72/491.06	c  N dy  5842    846726     14523     62500         0     71927    190210   5057871    154.98    104.18  --
1997.06/500.18	c  N dy  5982    866865     14523     62500         0     48071    190210   1059558    155.75    104.19  --
2029.42/508.23	c  N dy  6122    886869     14523     62500         0     68074    190210   4219335    163.50    104.21  --
2066.58/517.54	c  N dy  6262    906914     14523     62500         0     88116    190210   7354403    145.19    104.18  --
2099.72/525.80	c  N dy  6403    926985     14523     62500         0     63190    190210   3227811    159.60    104.16  --
2137.29/535.23	c  N dy  6543    947051     14523     62500         0     83254    190210   6342698    143.01    104.17  --
2172.45/544.06	c  N dy  6682    967053     14523     62500         0     57254    190210   2268823    165.37    104.23  --
2208.37/553.03	c  N dy  6822    987139     14523     62500         0     77338    190210   5393977    173.58    104.22  --
2245.93/562.40	c  N dy  6961   1007172     14523     62500         0     50375    190210    978508    162.55    104.23  --
2275.48/569.87	c  N dy  7101   1027188     14523     62500         0     70389    190210   4099775    172.01    104.22  --
2309.84/578.48	c  N dy  7242   1047315     14523     62500         0     90513    190210   7277125    149.49    104.24  --
2341.79/586.45	c  N dy  7381   1067325     14523     62500         0     62524    190210   2721043    157.70    104.25  --
2376.14/595.05	c  N dy  7521   1087443     14523     62500         0     82638    190210   5951379    164.00    104.29  --
2413.30/604.33	c  N dy  7660   1107495     14523     62500         0     53695    190210   1207128    154.84    104.30  --
2446.05/612.56	c  N dy  7800   1127509     14523     62500         0     73706    190210   4363266    161.58    104.32  --
2483.20/621.82	c  N dy  7939   1147510     14523     62500         0     93704    190210   7493998    163.65    104.32  --
2517.95/630.55	c  N dy  8080   1167646     14523     62500         0     63843    190210   2636599    147.55    104.32  --
2553.51/639.50	c  N dy  8220   1187753     14523     62500         0     83948    190210   5814824    167.18    104.33  --
2593.45/649.46	c  N dy  8359   1207838     14523     62500         0     53040    190210    768445    142.89    104.34  --
2597.05/650.33	c  S st  8373   1209783     14523     62500         0     54985    190210   1065433    152.66    104.33  --
2597.85/650.57	c  S st  8373   1210287     14523     62500         0     55489    190210   1132970    152.66    104.33  --
2597.85/650.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2597.85/650.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2599.84/651.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.2M T:  1.85
2599.84/651.06	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.04 s
2599.84/651.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2599.84/651.07	c Subs w/ non-existent bins:      0 time:  0.06 s
2600.24/651.15	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2600.24/651.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2600.24/651.16	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
2611.03/653.85	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
2615.42/654.99	c Added 0 vars  tried: 80000 time: 4.55
2615.42/654.99	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    4.55
2615.84/655.03	c lits-rem:         1  cl-subs:     3569  v-elim:    218  v-fix:    0  time: 15.46 s
2615.84/655.03	c learnt bin added due to v-elim: 0
2615.84/655.04	c vivif2 --  cl tried    62500 cl shrink        0 lits rem          0 time: 0.02
2615.84/655.05	c vivif2 --  cl tried    51920 cl shrink        0 lits rem          0 time: 0.06
2616.24/655.11	c asymm  cl-useful: 0/12548/62500 lits-rem:0 time: 0.21
2616.24/655.11	c calculated reachability. Time: 0.00
2616.24/655.11	c  N dy  8373   1210287     14523     62500         0     51920    190210   1080208    152.66    104.33  --
2650.58/663.75	c  N dy  8514   1230418     14523     62500         0     72047    190210   4243716    155.49    104.34  --
2690.13/673.60	c  N dy  8654   1250557     14523     62500         0     92183    190210   7435989    167.46    104.36  --
2730.08/683.64	c  N dy  8792   1270566     14523     62500         0     60197    190210   1821351    157.73    104.39  --
2766.01/692.61	c  N dy  8933   1290704     14523     62500         0     80329    190210   4990754    146.45    104.40  --
2807.56/703.09	c  N dy  9072   1310741     14523     62500         0    100361    190210   8218433    173.24    104.43  --
2845.51/712.59	c  N dy  9212   1330801     14523     62500         0     67428    190210   2789701    156.62    104.45  --
2881.46/721.57	c  N dy  9351   1350932     14523     62500         0     87552    190210   6021391    150.53    104.48  --
2919.80/731.18	c  N dy  9491   1371042     14523     62500         0    107661    190210   9191306    150.03    104.48  --
2951.76/739.13	c  N dy  9631   1391085     14523     62500         0     73712    190210   3565121    156.09    104.48  --
2987.71/748.12	c  N dy  9771   1411190     14523     62500         0     93816    190210   6749859    155.99    104.49  --
3026.86/757.93	c  N dy  9910   1431289     14523     62500         0     58921    190210   1117883    152.82    104.48  --
3060.81/766.46	c  N dy 10050   1451438     14523     62500         0     79069    190210   4301525    146.43    104.49  --
3099.18/776.06	c  N dy 10190   1471500     14523     62500         0     99126    190210   7434275    155.08    104.50  --
3139.13/786.06	c  N dy 10330   1491532     14523     62500         0     63163    190210   1612628    153.15    104.49  --
3174.66/794.99	c  N dy 10470   1511609     14523     62500         0     83238    190210   4833791    167.93    104.52  --
3215.41/805.15	c  N dy 10609   1531639     14523     62500         0    103265    190210   7931502    154.30    104.51  --
3255.35/815.13	c  N dy 10748   1551707     14523     62500         0     66340    190210   1953556    147.71    104.53  --
3293.69/824.76	c  N dy 10888   1571829     14523     62500         0     86460    190210   5147770    170.96    104.54  --
3335.64/835.20	c  N dy 11027   1591861     14523     62500         0    106491    190210   8303377    154.57    104.54  --
3376.78/845.51	c  N dy 11167   1611928     14523     62500         0     68562    190210   2081477    145.37    104.51  --
3413.93/854.85	c  N dy 11306   1631966     14523     62500         0     88597    190210   5232520    155.23    104.51  --
3457.47/865.78	c  N dy 11445   1651967     14523     62500         0    108597    190210   8390501    158.00    104.52  --
3499.03/876.17	c  N dy 11585   1672007     14523     62500         0     69638    190210   2190474    158.84    104.54  --
3537.36/885.71	c  N dy 11725   1692042     14523     62500         0     89668    190210   5365193    163.68    104.56  --
3579.70/896.35	c  S st 11853   1710287     14523     62500         0    107910    190210   8249120    157.08    104.56  --
3581.30/896.73	c  S st 11853   1710795     14523     62500         0    108418    190210   8309530    157.08    104.56  --
3581.30/896.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3581.30/896.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3586.49/898.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.1M T:  5.11
3586.49/898.04	c Calc non-exist non-lernt bins v-fix:     0 done:  14523 time:  0.04 s
3586.49/898.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3586.91/898.11	c Subs w/ non-existent bins:      0 time:  0.27 s
3588.49/898.56	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3588.49/898.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3588.49/898.57	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
4326.29/1083.22	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
4363.83/1092.65	c Added 1 vars  tried: 80000 time: 37.70
4363.83/1092.66	c ORs :      1 avg-s:  0.0 cl-sh:   127 l-rem:    127 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   37.71
4364.65/1092.80	c lits-rem:         0  cl-subs:     6171  v-elim:    218  v-fix:    0  time: 775.81 s
4364.65/1092.80	c learnt bin added due to v-elim: 0
4364.65/1092.81	c vivif2 --  cl tried    62501 cl shrink        0 lits rem          0 time: 0.02
4365.05/1092.91	c vivif2 --  cl tried   102247 cl shrink        0 lits rem          0 time: 0.39
4366.63/1093.38	c asymm  cl-useful: 0/37008/62501 lits-rem:0 time: 1.88
4366.63/1093.38	c calculated reachability. Time: 0.00
4366.63/1093.39	c  N dy 11853   1710795     14524     62501         2    102247    190217   7926091    157.08    104.56  --
4412.99/1104.96	c  N dy 11993   1730873     14524     62501         2     62333    190217    892752    152.67    104.56  --
4451.32/1114.52	c  N dy 12132   1750952     14524     62501         2     82407    190217   4092328    154.92    104.58  --
4490.07/1124.26	c  N dy 12271   1770967     14524     62501         2    102421    190217   7315707    166.18    104.61  --
4530.41/1134.39	c  N dy 12410   1791006     14524     62501         2     61467    190217    591749    155.21    104.61  --
4562.78/1142.41	c  N dy 12550   1811028     14524     62501         2     81486    190217   3716702    178.71    104.61  --
4600.72/1151.95	c  N dy 12690   1831116     14524     62501         2    101571    190217   6870773    160.96    104.61  --
4643.86/1162.70	c  N dy 12831   1851252     14524     62501         2    121706    190217  10065574    163.48    104.62  --
4679.81/1171.75	c  N dy 12971   1871371     14524     62501         2     79829    190217   3377395    154.83    104.63  --
4719.35/1181.61	c  N dy 13111   1891460     14524     62501         2     99914    190217   6596552    152.13    104.65  --
4762.50/1192.43	c  N dy 13251   1911531     14524     62501         2    119984    190217   9816067    156.99    104.67  --

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-3172566-1304071855/watcher-3172566-1304071855 -o /tmp/evaluation-result-3172566-1304071855/solver-3172566-1304071855 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172566-1304071855.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: 3.46 3.91 4.28 3/174 32615
/proc/meminfo: memFree=15101008/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=23404 CPUtime=0 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 1137 0 0 0 0 0 0 0 22 0 1 0 518785216 23965696 1076 33554432000 4194304 4797429 140735603381872 18446744073709551615 4417469 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32615/statm: 5851 1076 341 148 0 780 0

[startup+0.084565 s]
/proc/loadavg: 3.46 3.91 4.28 3/174 32615
/proc/meminfo: memFree=15101008/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=78296 CPUtime=0.07 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 9225 0 0 0 7 0 0 0 22 0 1 0 518785216 80175104 7679 33554432000 4194304 4797429 140735603381872 18446744073709551615 274473628357 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32615/statm: 19574 7680 348 148 0 14503 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 78296

[startup+0.100488 s]
/proc/loadavg: 3.46 3.91 4.28 3/174 32615
/proc/meminfo: memFree=15101008/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=80500 CPUtime=0.08 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 9821 0 0 0 8 0 0 0 22 0 1 0 518785216 82432000 8247 33554432000 4194304 4797429 140735603381872 18446744073709551615 4359082 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32615/statm: 20125 8247 348 148 0 15054 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 80500

[startup+0.300579 s]
/proc/loadavg: 3.46 3.91 4.28 3/174 32615
/proc/meminfo: memFree=15101008/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=783644 CPUtime=0.67 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 17012 0 0 0 62 5 0 0 17 0 4 0 518785216 802451456 14082 33554432000 4194304 4797429 140735603381872 18446744073709551615 274474072607 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 195911 14095 390 148 0 190840 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 783644

[startup+1.1933 s]
/proc/loadavg: 3.46 3.91 4.28 3/174 32615
/proc/meminfo: memFree=15101008/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=788288 CPUtime=4.23 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 22481 0 0 0 417 6 0 0 19 0 4 0 518785216 807206912 19517 33554432000 4194304 4797429 140735603381872 18446744073709551615 4341360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 197072 19517 412 148 0 192001 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 788288

[startup+1.50024 s]
/proc/loadavg: 3.46 3.91 4.28 3/174 32615
/proc/meminfo: memFree=15101008/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=788288 CPUtime=5.46 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 23288 0 0 0 540 6 0 0 19 0 4 0 518785216 807206912 20320 33554432000 4194304 4797429 140735603381872 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 197072 20320 412 148 0 192001 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 788288

[startup+3.10096 s]
/proc/loadavg: 3.46 3.91 4.28 9/184 32628
/proc/meminfo: memFree=14769872/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=793880 CPUtime=11.86 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 28222 0 0 0 1178 8 0 0 23 0 4 0 518785216 812933120 25235 33554432000 4194304 4797429 140735603381872 18446744073709551615 4387526 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 198470 25235 413 148 0 193399 0
[pid=32615/tid=32617] ppid=32613 vsize=793880 CPUtime=2.9 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 3909 0 0 0 288 2 0 0 24 0 4 0 518785233 812933120 25235 33554432000 4194304 4797429 140735603381872 18446744073709551615 4425622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=793880 CPUtime=2.92 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 4248 0 0 0 291 1 0 0 24 0 4 0 518785233 812933120 25235 33554432000 4194304 4797429 140735603381872 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=793880 CPUtime=2.92 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 4328 0 0 0 291 1 0 0 24 0 4 0 518785233 812933120 25235 33554432000 4194304 4797429 140735603381872 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 793880

[startup+6.3004 s]
/proc/loadavg: 3.91 4.00 4.31 9/184 32628
/proc/meminfo: memFree=14720660/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=800792 CPUtime=24.6 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 37609 0 0 0 2442 18 0 0 25 0 4 0 518785216 820011008 31043 33554432000 4194304 4797429 140735603381872 18446744073709551615 4424435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 200198 31043 416 148 0 195127 0
[pid=32615/tid=32617] ppid=32613 vsize=800792 CPUtime=6.07 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 5744 0 0 0 602 5 0 0 23 0 4 0 518785233 820011008 31043 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=800792 CPUtime=6.1 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 6313 0 0 0 604 6 0 0 23 0 4 0 518785233 820011008 31043 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=800792 CPUtime=6.12 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 6545 0 0 0 610 2 0 0 23 0 4 0 518785233 820011008 31043 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 800792

[startup+12.7063 s]
/proc/loadavg: 4.23 4.06 4.33 9/184 32629
/proc/meminfo: memFree=14624832/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=810928 CPUtime=50.18 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 44058 0 0 0 4998 20 0 0 25 0 4 0 518785216 830390272 37167 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 202732 37167 417 148 0 197661 0
[pid=32615/tid=32617] ppid=32613 vsize=810928 CPUtime=12.44 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 6420 0 0 0 1238 6 0 0 25 0 4 0 518785233 830390272 37167 33554432000 4194304 4797429 140735603381872 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=810928 CPUtime=12.5 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 7193 0 0 0 1244 6 0 0 25 0 4 0 518785233 830390272 37167 33554432000 4194304 4797429 140735603381872 18446744073709551615 4242465 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=810928 CPUtime=12.52 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 7450 0 0 0 1250 2 0 0 25 0 4 0 518785233 830390272 37167 33554432000 4194304 4797429 140735603381872 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.18
Current children cumulated vsize (KiB) 810928

[startup+25.501 s]
/proc/loadavg: 5.07 4.26 4.38 9/184 32629
/proc/meminfo: memFree=14583772/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=817720 CPUtime=101.29 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 54227 0 0 0 10106 23 0 0 25 0 4 0 518785216 837345280 42948 33554432000 4194304 4797429 140735603381872 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 204430 42948 419 148 0 199359 0
[pid=32615/tid=32617] ppid=32613 vsize=817720 CPUtime=25.17 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 7864 0 0 0 2511 6 0 0 25 0 4 0 518785233 837345280 42948 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=817720 CPUtime=25.29 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 8081 0 0 0 2523 6 0 0 25 0 4 0 518785233 837345280 42948 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=817720 CPUtime=25.32 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 8459 0 0 0 2529 3 0 0 25 0 4 0 518785233 837345280 42948 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 817720

[startup+51.1005 s]
/proc/loadavg: 6.07 4.56 4.48 9/184 32630
/proc/meminfo: memFree=14567096/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=834200 CPUtime=203.57 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 73956 0 0 0 20327 30 0 0 25 0 4 0 518785216 854220800 43574 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 208550 43574 420 148 0 203479 0
[pid=32615/tid=32617] ppid=32613 vsize=834200 CPUtime=50.63 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 10552 0 0 0 5057 6 0 0 25 0 4 0 518785233 854220800 43574 33554432000 4194304 4797429 140735603381872 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=834200 CPUtime=50.9 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 10930 0 0 0 5083 7 0 0 25 0 4 0 518785233 854220800 43574 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=834200 CPUtime=50.93 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 11043 0 0 0 5089 4 0 0 25 0 4 0 518785233 854220800 43574 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.57
Current children cumulated vsize (KiB) 834200

[startup+102.301 s]
/proc/loadavg: 7.16 5.09 4.66 9/184 32631
/proc/meminfo: memFree=14499748/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=849188 CPUtime=408.06 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 99945 0 0 0 40766 40 0 0 25 0 4 0 518785216 869568512 54602 33554432000 4194304 4797429 140735603381872 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 212297 54602 420 148 0 207226 0
[pid=32615/tid=32617] ppid=32613 vsize=849188 CPUtime=101.55 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 13307 0 0 0 10148 7 0 0 25 0 4 0 518785233 869568512 54602 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=849188 CPUtime=102.09 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 13247 0 0 0 10201 8 0 0 25 0 4 0 518785233 869568512 54602 33554432000 4194304 4797429 140735603381872 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=849188 CPUtime=102.12 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 13873 0 0 0 10207 5 0 0 25 0 4 0 518785233 869568512 54602 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 849188

[startup+162.307 s]
/proc/loadavg: 7.69 5.61 4.87 9/184 32633
/proc/meminfo: memFree=14446300/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=858300 CPUtime=647.74 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 140746 0 0 0 64718 56 0 0 25 0 4 0 518785216 878899200 58049 33554432000 4194304 4797429 140735603381872 18446744073709551615 4404772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 214575 58049 420 148 0 209504 0
[pid=32615/tid=32617] ppid=32613 vsize=858300 CPUtime=161.23 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 17341 0 0 0 16115 8 0 0 25 0 4 0 518785233 878899200 58049 33554432000 4194304 4797429 140735603381872 18446744073709551615 4237276 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=858300 CPUtime=162.09 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 17170 0 0 0 16199 10 0 0 25 0 4 0 518785233 878899200 58049 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=858300 CPUtime=162.12 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 17801 0 0 0 16206 6 0 0 25 0 4 0 518785233 878899200 58049 33554432000 4194304 4797429 140735603381872 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.74
Current children cumulated vsize (KiB) 858300

[startup+222.3 s]
/proc/loadavg: 7.93 6.06 5.06 9/184 32634
/proc/meminfo: memFree=14437112/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=869828 CPUtime=887.39 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 175500 0 0 0 88669 70 0 0 25 0 4 0 518785216 890703872 61244 33554432000 4194304 4797429 140735603381872 18446744073709551615 4389984 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 217457 61244 420 148 0 212386 0
[pid=32615/tid=32617] ppid=32613 vsize=869828 CPUtime=220.91 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 18874 0 0 0 22082 9 0 0 25 0 4 0 518785233 890703872 61244 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=869828 CPUtime=222.08 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 20479 0 0 0 22197 11 0 0 25 0 4 0 518785233 890703872 61244 33554432000 4194304 4797429 140735603381872 18446744073709551615 4270752 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=869828 CPUtime=222.12 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 21308 0 0 0 22205 7 0 0 25 0 4 0 518785233 890703872 61244 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.39
Current children cumulated vsize (KiB) 869828

[startup+282.301 s]
/proc/loadavg: 8.02 6.43 5.25 9/184 32636
/proc/meminfo: memFree=14391592/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=876504 CPUtime=1127.06 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 208094 0 0 0 112621 85 0 0 25 0 4 0 518785216 897540096 62587 33554432000 4194304 4797429 140735603381872 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 219126 62587 420 148 0 214055 0
[pid=32615/tid=32617] ppid=32613 vsize=876504 CPUtime=280.79 cores=0,2,4,6

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

[pid=32615] ppid=32613 vsize=911872 CPUtime=2565.09 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 356269 0 0 0 256357 152 0 0 25 0 4 0 518785216 933756928 80643 33554432000 4194304 4797429 140735603381872 18446744073709551615 4423648 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 227968 80643 420 148 0 222897 0
[pid=32615/tid=32617] ppid=32613 vsize=911872 CPUtime=640.8 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 34847 0 0 0 64064 16 0 0 25 0 4 0 518785233 933756928 80643 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=911872 CPUtime=642.08 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 36855 0 0 0 64189 19 0 0 25 0 4 0 518785233 933756928 80643 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=911872 CPUtime=639.96 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 36002 0 0 0 63983 13 0 0 25 0 4 0 518785233 933756928 80643 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.09
Current children cumulated vsize (KiB) 911872

[startup+702.301 s]
/proc/loadavg: 8.02 7.66 6.27 9/184 32647
/proc/meminfo: memFree=14268136/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=914444 CPUtime=2804.78 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 379963 0 0 0 280313 165 0 0 25 0 4 0 518785216 936390656 85534 33554432000 4194304 4797429 140735603381872 18446744073709551615 274473664198 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 228611 85534 420 148 0 223540 0
[pid=32615/tid=32617] ppid=32613 vsize=914444 CPUtime=700.81 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 35742 0 0 0 70064 17 0 0 25 0 4 0 518785233 936390656 85534 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=914444 CPUtime=702.09 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 37818 0 0 0 70189 20 0 0 25 0 4 0 518785233 936390656 85534 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=914444 CPUtime=699.64 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 37083 0 0 0 69950 14 0 0 25 0 4 0 518785233 936390656 85534 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.78
Current children cumulated vsize (KiB) 914444

[startup+762.3 s]
/proc/loadavg: 8.00 7.72 6.37 9/184 32649
/proc/meminfo: memFree=14270976/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=917292 CPUtime=3044.44 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 412143 0 0 0 304263 181 0 0 25 0 4 0 518785216 939307008 77450 33554432000 4194304 4797429 140735603381872 18446744073709551615 4388886 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 229323 77450 420 148 0 224252 0
[pid=32615/tid=32617] ppid=32613 vsize=917292 CPUtime=760.81 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 37940 0 0 0 76063 18 0 0 25 0 4 0 518785233 939307008 77450 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568160 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=917292 CPUtime=762.08 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 40650 0 0 0 76187 21 0 0 25 0 4 0 518785233 939307008 77450 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=917292 CPUtime=759.32 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 39950 0 0 0 75917 15 0 0 25 0 4 0 518785233 939307008 77450 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.44
Current children cumulated vsize (KiB) 917292

[startup+822.307 s]
/proc/loadavg: 8.05 7.78 6.48 9/184 32650
/proc/meminfo: memFree=14231032/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=941924 CPUtime=3284.13 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 439978 0 0 0 328218 195 0 0 25 0 4 0 518785216 964530176 85418 33554432000 4194304 4797429 140735603381872 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 235481 85418 420 148 0 230410 0
[pid=32615/tid=32617] ppid=32613 vsize=941924 CPUtime=820.81 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 40184 0 0 0 82062 19 0 0 25 0 4 0 518785233 964530176 85418 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=941924 CPUtime=822.08 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 42821 0 0 0 82187 21 0 0 25 0 4 0 518785233 964530176 85418 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=941924 CPUtime=819 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 41986 0 0 0 81884 16 0 0 25 0 4 0 518785233 964530176 85418 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.13
Current children cumulated vsize (KiB) 941924

[startup+882.3 s]
/proc/loadavg: 8.06 7.83 6.57 9/184 32652
/proc/meminfo: memFree=14228912/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=941980 CPUtime=3523.78 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 462901 0 0 0 352172 206 0 0 25 0 4 0 518785216 964587520 87861 33554432000 4194304 4797429 140735603381872 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 235495 87861 420 148 0 230424 0
[pid=32615/tid=32617] ppid=32613 vsize=941980 CPUtime=880.8 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 41114 0 0 0 88061 19 0 0 25 0 4 0 518785233 964587520 87861 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=941980 CPUtime=882.08 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 43713 0 0 0 88186 22 0 0 25 0 4 0 518785233 964587520 87861 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=941980 CPUtime=878.67 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 42708 0 0 0 87851 16 0 0 25 0 4 0 518785233 964587520 87861 33554432000 4194304 4797429 140735603381872 18446744073709551615 4425633 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.78
Current children cumulated vsize (KiB) 941980

[startup+942.301 s]
/proc/loadavg: 8.06 7.87 6.66 9/184 32654
/proc/meminfo: memFree=14179300/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=941856 CPUtime=3763.46 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 474792 0 0 0 376134 212 0 0 25 0 4 0 518785216 964460544 87368 33554432000 4194304 4797429 140735603381872 18446744073709551615 4567820 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 235464 87368 420 148 0 230393 0
[pid=32615/tid=32617] ppid=32613 vsize=941856 CPUtime=940.81 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 43139 0 0 0 94061 20 0 0 25 0 4 0 518785233 964460544 87368 33554432000 4194304 4797429 140735603381872 18446744073709551615 4331610 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=941856 CPUtime=942.09 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 46248 0 0 0 94186 23 0 0 25 0 4 0 518785233 964460544 87368 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=941856 CPUtime=938.34 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 44947 0 0 0 93817 17 0 0 25 0 4 0 518785233 964460544 87368 33554432000 4194304 4797429 140735603381872 18446744073709551615 4528955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.46
Current children cumulated vsize (KiB) 941856

[startup+1002.3 s]
/proc/loadavg: 8.06 7.91 6.75 9/184 32655
/proc/meminfo: memFree=14157320/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=941856 CPUtime=4003.14 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 479178 0 0 0 400099 215 0 0 25 0 4 0 518785216 964460544 91448 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 235464 91448 420 148 0 230393 0
[pid=32615/tid=32617] ppid=32613 vsize=941856 CPUtime=1000.81 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 44728 0 0 0 100060 21 0 0 25 0 4 0 518785233 964460544 91448 33554432000 4194304 4797429 140735603381872 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=941856 CPUtime=1002.08 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 47671 0 0 0 100185 23 0 0 25 0 4 0 518785233 964460544 91448 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=941856 CPUtime=998.02 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 46321 0 0 0 99784 18 0 0 25 0 4 0 518785233 964460544 91448 33554432000 4194304 4797429 140735603381872 18446744073709551615 4656609 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.14
Current children cumulated vsize (KiB) 941856

[startup+1062.3 s]
/proc/loadavg: 8.05 7.94 6.83 9/184 32657
/proc/meminfo: memFree=14179736/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=941856 CPUtime=4242.8 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 481675 0 0 0 424064 216 0 0 25 0 4 0 518785216 964460544 93846 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 235464 93846 420 148 0 230393 0
[pid=32615/tid=32617] ppid=32613 vsize=941856 CPUtime=1060.8 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 45549 0 0 0 106059 21 0 0 25 0 4 0 518785233 964460544 93846 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=941856 CPUtime=1062.08 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 48576 0 0 0 106184 24 0 0 25 0 4 0 518785233 964460544 93846 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=941856 CPUtime=1057.69 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 47092 0 0 0 105751 18 0 0 25 0 4 0 518785233 964460544 93846 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.8
Current children cumulated vsize (KiB) 941856

[startup+1122.3 s]
/proc/loadavg: 8.09 7.97 6.91 9/184 32658
/proc/meminfo: memFree=14214792/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=949164 CPUtime=4482.48 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 496284 0 0 0 448027 221 0 0 25 0 4 0 518785216 971943936 88966 33554432000 4194304 4797429 140735603381872 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 237291 88966 420 148 0 232220 0
[pid=32615/tid=32617] ppid=32613 vsize=949164 CPUtime=1120.81 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 46257 0 0 0 112059 22 0 0 25 0 4 0 518785233 971943936 88966 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=949164 CPUtime=1122.09 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 49937 0 0 0 112184 25 0 0 25 0 4 0 518785233 971943936 88966 33554432000 4194304 4797429 140735603381872 18446744073709551615 4524363 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=949164 CPUtime=1117.36 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 48532 0 0 0 111718 18 0 0 25 0 4 0 518785233 971943936 88966 33554432000 4194304 4797429 140735603381872 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.48
Current children cumulated vsize (KiB) 949164

[startup+1182.3 s]
/proc/loadavg: 8.03 7.97 6.98 9/184 32660
/proc/meminfo: memFree=14166676/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=949172 CPUtime=4722.15 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 524744 0 0 0 471982 233 0 0 25 0 4 0 518785216 971952128 91695 33554432000 4194304 4797429 140735603381872 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 237293 91695 420 148 0 232222 0
[pid=32615/tid=32617] ppid=32613 vsize=949172 CPUtime=1180.81 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 48879 0 0 0 118058 23 0 0 25 0 4 0 518785233 971952128 91695 33554432000 4194304 4797429 140735603381872 18446744073709551615 4424639 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=949172 CPUtime=1182.08 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 51682 0 0 0 118183 25 0 0 25 0 4 0 518785233 971952128 91695 33554432000 4194304 4797429 140735603381872 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=949172 CPUtime=1177.05 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 50518 0 0 0 117686 19 0 0 25 0 4 0 518785233 971952128 91695 33554432000 4194304 4797429 140735603381872 18446744073709551615 4423648 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.15
Current children cumulated vsize (KiB) 949172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.81 s]
/proc/loadavg: 8.02 7.97 7.00 10/184 32660
/proc/meminfo: memFree=14195192/32950928 swapFree=67111528/67111528
[pid=32615] ppid=32613 vsize=949204 CPUtime=4800.08 cores=0,2,4,6
/proc/32615/stat : 32615 (techdemo) R 32613 32615 31999 0 -1 4202496 533077 0 0 0 479771 237 0 0 25 0 4 0 518785216 971984896 88729 33554432000 4194304 4797429 140735603381872 18446744073709551615 274473664267 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32615/statm: 237301 88729 420 148 0 232230 0
[pid=32615/tid=32617] ppid=32613 vsize=949204 CPUtime=1200.32 cores=0,2,4,6
/proc/32615/task/32617/stat : 32617 (techdemo) R 32613 32615 31999 0 -1 4202560 49385 0 0 0 120009 23 0 0 25 0 4 0 518785233 971984896 88729 33554432000 4194304 4797429 140735603381872 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32615/tid=32618] ppid=32613 vsize=949204 CPUtime=1201.59 cores=0,2,4,6
/proc/32615/task/32618/stat : 32618 (techdemo) R 32613 32615 31999 0 -1 4202560 52056 0 0 0 120134 25 0 0 25 0 4 0 518785233 971984896 88729 33554432000 4194304 4797429 140735603381872 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32615/tid=32619] ppid=32613 vsize=949204 CPUtime=1196.44 cores=0,2,4,6
/proc/32615/task/32619/stat : 32619 (techdemo) R 32613 32615 31999 0 -1 4202560 51041 0 0 0 119625 19 0 0 25 0 4 0 518785233 971984896 88729 33554432000 4194304 4797429 140735603381872 18446744073709551615 4426352 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 949204

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.84
CPU time (s): 4800.13
CPU user time (s): 4797.74
CPU system time (s): 2.39164
CPU usage (%): 399.4
Max. virtual memory (cumulated for all children) (KiB): 1059096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.74
system time used= 2.39164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533082
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= 16030
involuntary context switches= 33300

runsolver used 1.9727 second user time and 4.5713 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 12:10:56
IDJOB=3172566
IDBENCH=82584
IDSOLVER=1584
FILE ID=node125/3172566-1304071855
RUNJOBID= node125-1304071855-32601
PBS_JOBID= 13170462
Free space on /tmp= 72764 MiB

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

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

MD5SUM BENCH= cf967108532c9cfea4028aa361399380
RANDOM SEED=497306151

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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:     32950928 kB
MemFree:      15101420 kB
Buffers:       2219592 kB
Cached:       15030808 kB
SwapCached:          0 kB
Active:        9139444 kB
Inactive:      8178612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15101420 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9860 kB
Writeback:           0 kB
AnonPages:       66472 kB
Mapped:          14492 kB
Slab:           469180 kB
PageTables:       4316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189928 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= 72744 MiB
End job on node125 at 2011-04-29 12:30:59