Trace number 3172553

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.16 1201.83

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf
MD5SUM951fe016d765ee9b2e2038c7330879da
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.87765
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-3172553-1304063873.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.09/0.17	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.09/0.17	c -- vars added      15000
0.09/0.17	c Parsing time:  0.15 s
0.34/0.22	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.34/0.22	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.18
0.34/0.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.14
0.34/0.27	c Calc non-exist non-lernt bins v-fix:     0 done:  15000 time:  0.02 s
0.34/0.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.34/0.27	c Subs w/ non-existent bins:      0 time:  0.01 s
0.63/0.37	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.63/0.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.63/0.37	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
4.21/1.20	c lits-rem:         0  cl-subs:        0  v-elim:    883  v-fix:    0  time:  0.64 s
4.21/1.20	c learnt bin added due to v-elim: 0
4.21/1.20	c Finding binary XORs  T:     0.01 s  found:       0
4.21/1.20	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
4.21/1.20	c calculated reachability. Time: 0.00
4.21/1.20	c Calc default polars -  time:   0.02 s pos:    6694 undec:    1716 neg:    6590
4.21/1.20	c =========================================================================================
4.21/1.20	c types(t): F = full restart, N = normal restart
4.21/1.20	c types(t): S = simplification begin/end, E = solution found
4.21/1.20	c restart types(rt): st = static, dy = dynamic
4.21/1.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
4.21/1.20	c  B st     0         0     14497     62445         0         0    190201         0   no data   no data  --
4.21/1.20	c Decided on dynamic restart strategy
5.02/1.48	c  N dy    20      4047     14497     62445         0      4047    190201    695847    155.76    111.53  --
9.40/2.54	c  N dy    49      8136     14497     62445         0      8136    190201   1302919    150.46    105.54  --
13.38/3.54	c  N dy    77     12138     14497     62445         0     12137    190201   1911671    155.79    104.76  --
17.77/4.64	c  N dy   106     16279     14497     62445         0     16277    190201   2539235    146.18    103.51  --
22.57/5.85	c  N dy   134     20328     14497     62445         0     10326    190201    493849    153.01    103.12  --
27.36/7.03	c  N dy   162     24361     14497     62445         0     14358    190201   1114862    156.23    103.16  --
31.75/8.10	c  N dy   191     28463     14497     62445         0     18460    190201   1726355    162.72    102.63  --
33.75/8.69	c  S st   202     30001     14497     62445         0     19998    190201   1963312    155.46    102.76  --
34.57/8.84	c  S st   202     30505     14497     62445         0     20502    190201   2023572    155.46    102.76  --
34.57/8.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
34.57/8.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.34/9.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.72
35.34/9.04	c Calc non-exist non-lernt bins v-fix:     0 done:  14497 time:  0.03 s
35.34/9.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.34/9.05	c Subs w/ non-existent bins:      0 time:  0.07 s
36.15/9.21	c bin-w-bin subsume rem            0 bins  time:  0.02 s
36.15/9.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
36.15/9.22	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
52.92/13.45	c lits-rem:         1  cl-subs:     1344  v-elim:    222  v-fix:    0  time: 16.90 s
52.92/13.45	c learnt bin added due to v-elim: 0
52.92/13.45	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
52.92/13.47	c vivif2 --  cl tried    19158 cl shrink        0 lits rem          0 time: 0.09
53.72/13.68	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.80
53.72/13.68	c calculated reachability. Time: 0.00
53.72/13.68	c  N dy   202     30505     14497     62445         0     19158    190201   1930450    155.46    102.76  --
53.72/13.68	c  F st   202     30505     14497     62445         0     19158    190201   1930450    155.46    102.76  --
56.13/14.28	c Decided on dynamic restart strategy
58.91/14.92	c  N dy   222     34573     14497     62445         0     23226    190201   2598166    149.02    103.73  --
64.11/16.23	c  N dy   250     38606     14497     62445         0     27258    190201   3201068    151.34    103.35  --
69.32/17.52	c  N dy   279     42722     14497     62445         0     15876    190201    606460    150.17    102.93  --
72.90/18.44	c  S st   301     45757     14497     62445         0     18911    190201   1075935    152.27    102.83  --
73.30/18.59	c  S st   301     46262     14497     62445         0     19416    190201   1142012    152.27    102.83  --
73.30/18.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
73.30/18.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.12/18.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.55
74.12/18.74	c Calc non-exist non-lernt bins v-fix:     0 done:  14497 time:  0.03 s
74.12/18.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.12/18.76	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.83	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.48/21.35	c lits-rem:         5  cl-subs:      616  v-elim:    222  v-fix:    0  time: 10.06 s
84.48/21.35	c learnt bin added due to v-elim: 0
84.48/21.36	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
84.48/21.37	c vivif2 --  cl tried    18800 cl shrink        0 lits rem          0 time: 0.06
85.28/21.53	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.65
85.28/21.54	c calculated reachability. Time: 0.00
85.28/21.54	c  N dy   301     46262     14497     62445         0     18800    190201   1108527    152.27    102.83  --
90.07/22.75	c  N dy   329     50274     14497     62445         0     22812    190201   1716906    151.58    102.74  --
94.87/23.92	c  N dy   357     54280     14497     62445         0     26818    190201   2342653    156.68    102.82  --
99.66/25.18	c  N dy   385     58313     14497     62445         0     30851    190201   2968845    159.12    102.97  --
105.66/26.61	c  N dy   414     62425     14497     62445         0     34963    190201   3576479    144.67    102.84  --
111.25/28.07	c  N dy   443     66562     14497     62445         0     20351    190201    785803    147.06    103.02  --
115.24/29.00	c  S st   463     69394     14497     62445         0     23183    190201   1212127    150.90    102.95  --
115.64/29.14	c  S st   463     69899     14497     62445         0     23688    190201   1273375    150.90    102.95  --
115.64/29.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
115.64/29.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
116.04/29.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.58
116.44/29.30	c Calc non-exist non-lernt bins v-fix:     0 done:  14497 time:  0.03 s
116.44/29.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
116.44/29.31	c Subs w/ non-existent bins:      0 time:  0.06 s
116.44/29.38	c bin-w-bin subsume rem            0 bins  time:  0.02 s
116.44/29.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
116.44/29.39	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
126.44/31.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
133.21/33.58	c Added 0 vars  tried: 80000 time: 6.89
133.21/33.58	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    6.89
133.61/33.62	c lits-rem:         6  cl-subs:      745  v-elim:    222  v-fix:    0  time: 16.87 s
133.61/33.62	c learnt bin added due to v-elim: 0
133.61/33.62	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
133.61/33.64	c vivif2 --  cl tried    22943 cl shrink        0 lits rem          0 time: 0.06
134.41/33.82	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 0.72
134.41/33.83	c calculated reachability. Time: 0.00
134.41/33.83	c  N dy   463     69899     14497     62445         0     22943    190201   1237970    150.90    102.95  --
134.41/33.83	c  F st   463     69899     14497     62445         0     22943    190201   1237970    150.90    102.95  --
137.21/34.53	c Decided on dynamic restart strategy
140.03/35.29	c  N dy   486     74412     14497     62445         0     27453    190201   2034883    162.30    103.96  --
145.99/36.74	c  N dy   520     79287     14497     62445         0     32328    190201   2798457    168.21    103.98  --
152.80/38.46	c  N dy   556     84410     14497     62445         0     37451    190201   3605632    150.67    103.92  --
160.77/40.47	c  N dy   594     89826     14497     62445         0     21992    190201    700478    152.41    104.10  --
168.36/42.35	c  N dy   635     95687     14497     62445         0     27852    190201   1602339    166.70    104.03  --
176.35/44.30	c  N dy   678    101860     14497     62445         0     34023    190201   2548509    142.20    103.88  --
181.14/45.57	c  S st   699    104848     14497     62445         0     37010    190201   3010183    145.82    103.88  --
181.94/45.76	c  S st   699    105349     14497     62445         0     37511    190201   3059564    145.82    103.88  --
181.94/45.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
181.94/45.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
183.14/46.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.05
183.14/46.04	c Calc non-exist non-lernt bins v-fix:     0 done:  14497 time:  0.03 s
183.14/46.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
183.14/46.06	c Subs w/ non-existent bins:      0 time:  0.11 s
183.97/46.23	c bin-w-bin subsume rem            0 bins  time:  0.02 s
183.97/46.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
183.97/46.24	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
213.90/53.76	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.31/53.82	c lits-rem:         0  cl-subs:     1442  v-elim:    222  v-fix:    0  time: 30.26 s
214.31/53.82	c learnt bin added due to v-elim: 0
214.31/53.82	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
214.31/53.85	c vivif2 --  cl tried    36069 cl shrink        0 lits rem          0 time: 0.13
215.49/54.14	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 1.16
215.49/54.15	c calculated reachability. Time: 0.00
215.49/54.15	c  N dy   699    105349     14497     62445         0     36069    190201   2939635    145.82    103.88  --
224.69/56.41	c  N dy   747    112178     14497     62445         0     42898    190201   3988032    150.16    103.85  --
233.48/58.62	c  N dy   798    119392     14497     62445         0     27679    190201   1316932    134.42    103.81  --
243.06/61.00	c  N dy   852    127129     14497     62445         0     35413    190201   2518971    150.53    103.78  --
253.87/63.77	c  N dy   910    135353     14497     62445         0     43637    190201   3774170    150.28    103.67  --
265.43/66.62	c  N dy   971    144048     14506     62445        18     28625    190237   1194970    144.18    103.51  --
277.02/69.55	c  N dy  1036    153342     14506     62445        18     37918    190237   2624011    145.74    103.41  --
284.63/71.43	c  S st  1069    158023     14506     62445        18     42599    190237   3324746    146.43    103.31  --
285.41/71.64	c  S st  1069    158528     14506     62445        18     43104    190237   3381936    146.43    103.31  --
285.41/71.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
285.41/71.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.61/71.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.20
286.61/71.96	c Calc non-exist non-lernt bins v-fix:     0 done:  14506 time:  0.03 s
286.61/71.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.61/71.99	c Subs w/ non-existent bins:      0 time:  0.12 s
287.41/72.16	c bin-w-bin subsume rem            0 bins  time:  0.02 s
287.41/72.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
287.41/72.17	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
326.55/81.93	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.55/82.00	c lits-rem:         0  cl-subs:     1782  v-elim:    222  v-fix:    0  time: 39.25 s
326.55/82.00	c learnt bin added due to v-elim: 0
326.95/82.00	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
326.95/82.04	c vivif2 --  cl tried    41322 cl shrink        0 lits rem          0 time: 0.16
328.15/82.37	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 1.32
328.15/82.37	c calculated reachability. Time: 0.00
328.15/82.38	c  N dy  1069    158528     14506     62445        18     41322    190237   3254263    146.43    103.31  --
342.53/85.96	c  N dy  1140    168714     14506     62445        18     26646    190237    724937    153.35    103.33  --
356.91/89.56	c  N dy  1217    179609     14506     62445        18     37541    190237   2380678    164.55    103.22  --
373.30/93.64	c  N dy  1298    191216     14506     62445        18     49146    190237   4151024    150.75    103.07  --
390.50/97.91	c  N dy  1384    203468     14506     62445        18     35468    190237   1905794    139.60    103.01  --
408.45/102.47	c  N dy  1476    216495     14506     62445        18     48491    190237   3906271    150.06    102.96  --
428.03/107.33	c  N dy  1574    230391     14506     62445        18     35422    190237   1749670    162.87    103.01  --
439.21/110.18	c  S st  1626    237792     14506     62445        18     42820    190237   2881125    146.42    102.98  --
440.01/110.40	c  S st  1626    238299     14506     62445        18     43327    190237   2940608    146.42    102.98  --
440.41/110.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
440.41/110.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
441.61/110.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.24
441.61/110.72	c Calc non-exist non-lernt bins v-fix:     0 done:  14506 time:  0.03 s
441.61/110.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
441.61/110.75	c Subs w/ non-existent bins:      0 time:  0.11 s
442.41/110.91	c bin-w-bin subsume rem            0 bins  time:  0.02 s
442.41/110.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
442.41/110.92	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
474.36/118.94	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
474.76/119.00	c lits-rem:         0  cl-subs:     2112  v-elim:    222  v-fix:    0  time: 32.28 s
474.76/119.00	c learnt bin added due to v-elim: 0
474.76/119.01	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
474.76/119.04	c vivif2 --  cl tried    41215 cl shrink        0 lits rem          0 time: 0.14
475.96/119.36	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 1.25
475.96/119.36	c calculated reachability. Time: 0.00
475.96/119.36	c  N dy  1626    238299     14506     62445        18     41215    190237   2818614    146.42    102.98  --
498.74/125.00	c  N dy  1732    253553     14506     62445        18     28489    190237    506433    179.30    103.11  --
520.70/130.51	c  N dy  1845    269825     14506     62445        18     44758    190237   3046880    156.19    103.18  --
544.68/136.51	c  N dy  1966    287116     14506     62445        18     33062    190237   1043482    141.50    103.15  --
569.44/142.78	c  N dy  2094    305446     14506     62445        18     51391    190237   3931507    150.41    103.24  --
597.03/149.66	c  N dy  2230    324970     14506     62445        18     40922    190237   2156204    159.93    103.36  --
626.57/157.09	c  N dy  2370    345017     14506     62445        18     60964    190237   5240934    155.73    103.30  --
644.55/161.56	c  S st  2457    357448     14506     62445        18     42396    190237   2192601    143.12    103.34  --
645.37/161.77	c  S st  2457    357951     14506     62445        18     42898    190237   2253561    143.12    103.34  --
645.37/161.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
645.37/161.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
646.54/162.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  1.22
646.54/162.09	c Calc non-exist non-lernt bins v-fix:     0 done:  14506 time:  0.03 s
646.54/162.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
646.94/162.11	c Subs w/ non-existent bins:      0 time:  0.09 s
647.34/162.23	c bin-w-bin subsume rem            0 bins  time:  0.02 s
647.34/162.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
647.34/162.24	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
669.72/167.80	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
678.91/170.16	c Added 0 vars  tried: 80000 time: 9.42
678.91/170.16	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.42
679.31/170.21	c lits-rem:         4  cl-subs:     2270  v-elim:    222  v-fix:    0  time: 31.82 s
679.31/170.21	c learnt bin added due to v-elim: 0
679.31/170.21	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
679.31/170.24	c vivif2 --  cl tried    40628 cl shrink        0 lits rem          0 time: 0.10
680.12/170.50	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 1.03
680.12/170.50	c calculated reachability. Time: 0.00
680.12/170.50	c  N dy  2457    357951     14506     62445        18     40628    190237   2157795    143.12    103.34  --
710.88/178.16	c  N dy  2598    378069     14506     62445        18     60743    190237   5267524    148.85    103.28  --
740.42/185.54	c  N dy  2738    398075     14506     62445        18     48753    190237   3033859    153.78    103.35  --
772.37/193.54	c  N dy  2878    418111     14506     62445        18     35794    190237    847279    166.97    103.30  --
802.31/201.01	c  N dy  3018    438186     14506     62445        18     55864    190237   3977131    140.35    103.29  --
834.67/209.18	c  N dy  3158    458315     14506     62445        18     41997    190237   1649320    160.87    103.43  --
866.22/217.09	c  N dy  3298    478419     14506     62445        18     62096    190237   4758513    149.79    103.42  --
896.18/224.60	c  N dy  3438    498423     14506     62445        18     47104    190237   2289156    151.34    103.45  --
926.16/232.10	c  N dy  3577    518426     14506     62445        18     67104    190237   5458757    172.50    103.51  --
954.11/239.09	c  S st  3706    536926     14506     62445        18     49609    190237   2528633    150.43    103.55  --
955.32/239.30	c  S st  3706    537429     14506     62445        18     50112    190237   2583513    150.43    103.55  --
955.32/239.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
955.32/239.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
956.52/239.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.6M T:  1.50
956.52/239.70	c Calc non-exist non-lernt bins v-fix:     0 done:  14506 time:  0.03 s
956.52/239.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
956.93/239.72	c Subs w/ non-existent bins:      0 time:  0.09 s
957.34/239.85	c bin-w-bin subsume rem            0 bins  time:  0.02 s
957.34/239.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
957.34/239.86	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
986.87/247.23	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
986.87/247.29	c lits-rem:         6  cl-subs:     2792  v-elim:    222  v-fix:    0  time: 29.66 s
986.87/247.29	c learnt bin added due to v-elim: 0
986.87/247.29	c vivif2 --  cl tried    62445 cl shrink        0 lits rem          0 time: 0.02
987.27/247.32	c vivif2 --  cl tried    47320 cl shrink        0 lits rem          0 time: 0.12
988.47/247.62	c asymm  cl-useful: 0/62445/62445 lits-rem:0 time: 1.17
988.47/247.62	c calculated reachability. Time: 0.00
988.47/247.62	c  N dy  3706    537429     14506     62445        18     47320    190237   2462614    150.43    103.55  --
988.47/247.62	c  F st  3706    537429     14506     62445        18     47320    190237   2462614    150.43    103.55  --
991.27/248.37	c Decided on dynamic restart strategy
1020.43/255.67	c  N dy  3838    557530     14506     62445        18     67419    190237   5683255    156.00    103.65  --
1052.38/263.65	c  N dy  3978    577611     14506     62445        18     50502    190237   2555067    162.44    103.68  --
1085.13/271.89	c  N dy  4118    597706     14506     62445        18     70594    190237   5720026    149.25    103.70  --
1117.09/279.80	c  N dy  4257    617726     14506     62445        18     52615    190237   2688874    154.35    103.71  --
1150.67/288.23	c  N dy  4397    637795     14506     62445        18     72676    190237   5845867    141.75    103.75  --
1183.00/296.39	c  N dy  4536    657805     14506     62445        18     53689    190237   2729623    176.57    103.76  --
1218.55/305.26	c  N dy  4676    677932     14506     62445        18     73815    190237   5877379    158.83    103.77  --
1252.11/313.64	c  N dy  4815    698024     14506     62445        18     53912    190237   2539744    145.65    103.74  --
1287.65/322.51	c  N dy  4955    718094     14506     62445        18     73980    190237   5699996    151.62    103.79  --
1318.42/330.20	c  N dy  5095    738177     14506     62445        18     53063    190237   2328223    154.96    103.82  --
1349.58/338.04	c  N dy  5235    758290     14506     62445        18     73175    190237   5499943    152.82    103.86  --
1381.94/346.16	c  N dy  5374    778347     14506     62445        18     51235    190237   1923380    159.44    103.91  --
1413.91/354.15	c  N dy  5514    798429     14506     62445        18     71316    190237   5102783    160.94    103.95  --
1429.87/358.10	c  S st  5569    806143     14506     62445        18     79028    190237   6247852    133.28    103.90  --
1430.67/358.37	c  S st  5569    806650     14506     62445        18     79535    190237   6309702    133.28    103.90  --
1430.67/358.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1430.67/358.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1433.47/359.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.2M T:  2.78
1433.47/359.09	c Calc non-exist non-lernt bins v-fix:     0 done:  14506 time:  0.03 s
1433.47/359.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1433.87/359.14	c Subs w/ non-existent bins:      0 time:  0.20 s
1435.06/359.43	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1435.06/359.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1435.06/359.44	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1852.09/463.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
1880.45/470.98	c Added 1 vars  tried: 80000 time: 28.59
1880.45/470.98	c ORs :      1 avg-s:  0.0 cl-sh:   105 l-rem:    105 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   28.60
1880.85/471.09	c lits-rem:         0  cl-subs:     4565  v-elim:    222  v-fix:    0  time: 445.91 s
1880.85/471.09	c learnt bin added due to v-elim: 0
1880.85/471.09	c vivif2 --  cl tried    62446 cl shrink        0 lits rem          0 time: 0.02
1881.25/471.16	c vivif2 --  cl tried    74970 cl shrink        0 lits rem          0 time: 0.28
1883.25/471.62	c asymm  cl-useful: 0/50010/62446 lits-rem:0 time: 1.80
1883.25/471.62	c calculated reachability. Time: 0.00
1883.25/471.62	c  N dy  5569    806650     14507     62446        20     74970    190244   6021966    133.28    103.90  --
1917.60/480.28	c  N dy  5708    826718     14507     62446        20     52043    190244   1844547    162.76    103.93  --
1951.15/488.67	c  N dy  5847    846738     14507     62446        20     72059    190244   4935756    166.90    103.91  --
1987.91/497.81	c  N dy  5987    866812     14507     62446        20     48135    190244   1072486    146.86    103.90  --
2020.68/506.01	c  N dy  6127    886867     14507     62446        20     68190    190244   4215848    155.27    103.91  --
2058.61/515.51	c  N dy  6268    906984     14507     62446        20     88303    190244   7354798    157.65    103.90  --
2092.96/524.11	c  N dy  6408    927126     14507     62446        20     63449    190244   3352068    170.21    103.93  --
2130.13/533.43	c  N dy  6548    947184     14507     62446        20     83505    190244   6494270    156.78    103.93  --
2166.46/542.54	c  N dy  6688    967201     14507     62446        20     57528    190244   2223160    162.31    103.91  --
2203.22/551.70	c  N dy  6827    987250     14507     62446        20     77574    190244   5389223    154.36    103.94  --
2240.76/561.19	c  N dy  6966   1007268     14507     62446        20     50594    190244    997660    144.84    103.98  --
2272.32/569.01	c  N dy  7106   1027279     14507     62446        20     70600    190244   4164921    155.27    104.01  --
2307.07/577.73	c  N dy  7246   1047384     14507     62446        20     90704    190244   7316735    156.01    104.00  --
2339.83/585.98	c  N dy  7385   1067409     14507     62446        20     62734    190244   2819479    158.42    104.09  --
2374.58/594.68	c  N dy  7524   1087414     14507     62446        20     82739    190244   5945018    153.88    104.09  --
2412.53/604.10	c  N dy  7664   1107468     14507     62446        20     53794    190244   1196798    160.79    104.11  --
2445.29/612.39	c  N dy  7804   1127592     14507     62446        20     73912    190244   4392217    159.39    104.14  --
2483.63/621.97	c  N dy  7944   1147687     14507     62446        20     94003    190244   7549761    156.60    104.15  --
2519.19/630.86	c  N dy  8084   1167715     14507     62446        20     64036    190244   2637283    160.94    104.15  --
2555.53/639.97	c  N dy  8223   1187788     14507     62446        20     84104    190244   5839413    173.88    104.19  --
2595.90/650.05	c  N dy  8363   1207817     14507     62446        20     53140    190244    776491    149.59    104.17  --
2599.88/651.04	c  S st  8378   1209975     14507     62446        20     55298    190244   1128482    171.08    104.18  --
2600.70/651.27	c  S st  8378   1210477     14507     62446        20     55800    190244   1183074    171.08    104.18  --
2600.70/651.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2600.70/651.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2602.68/651.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  1.80
2602.68/651.74	c Calc non-exist non-lernt bins v-fix:     0 done:  14507 time:  0.03 s
2602.68/651.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2602.68/651.76	c Subs w/ non-existent bins:      0 time:  0.06 s
2603.08/651.82	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2603.08/651.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2603.08/651.84	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
2613.88/654.55	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
2613.88/654.59	c lits-rem:         5  cl-subs:     3637  v-elim:    222  v-fix:    0  time: 11.01 s
2613.88/654.59	c learnt bin added due to v-elim: 0
2614.26/654.60	c vivif2 --  cl tried    62446 cl shrink        0 lits rem          0 time: 0.02
2614.26/654.61	c vivif2 --  cl tried    52163 cl shrink        0 lits rem          0 time: 0.06
2614.26/654.66	c asymm  cl-useful: 0/12436/62446 lits-rem:0 time: 0.19
2614.26/654.67	c calculated reachability. Time: 0.00
2614.26/654.67	c  N dy  8378   1210477     14507     62446        20     52163    190244   1122767    171.08    104.18  --
2650.61/663.78	c  N dy  8518   1230612     14507     62446        20     72292    190244   4367862    159.08    104.22  --
2690.15/673.64	c  N dy  8657   1250648     14507     62446        20     92326    190244   7550124    158.32    104.23  --
2729.29/683.49	c  N dy  8797   1270754     14507     62446        20     60438    190244   1774238    157.89    104.25  --
2766.44/692.77	c  N dy  8936   1290777     14507     62446        20     80455    190244   4903190    160.64    104.22  --
2806.81/702.81	c  N dy  9076   1310901     14507     62446        20    100573    190244   8036023    153.56    104.22  --
2843.54/712.04	c  N dy  9215   1330912     14507     62446        20     67594    190244   2811148    153.88    104.25  --
2879.89/721.18	c  N dy  9354   1350939     14507     62446        20     87618    190244   6011923    169.08    104.28  --
2919.03/730.94	c  N dy  9494   1370980     14507     62446        20    107655    190244   9134402    156.12    104.28  --
2951.40/739.08	c  N dy  9634   1390989     14507     62446        20     73672    190244   3503770    161.41    104.25  --
2988.55/748.36	c  N dy  9773   1411002     14507     62446        20     93680    190244   6672394    152.84    104.27  --
3029.29/758.55	c  N dy  9913   1431126     14507     62446        20     58809    190244   1118381    173.25    104.27  --
3063.64/767.19	c  N dy 10052   1451138     14507     62446        20     78816    190244   4336151    162.62    104.30  --
3103.18/777.07	c  N dy 10192   1471160     14507     62446        20     98836    190244   7467393    149.84    104.29  --
3143.93/787.22	c  N dy 10332   1491260     14507     62446        20     62945    190244   1606396    162.32    104.29  --
3180.30/796.34	c  N dy 10471   1511273     14507     62446        20     82955    190244   4816021    155.66    104.31  --
3222.63/806.92	c  N dy 10610   1531314     14507     62446        20    102993    190244   8058263    167.11    104.36  --
3262.97/817.00	c  N dy 10750   1551325     14507     62446        20     66008    190244   1929937    147.86    104.37  --
3301.31/826.64	c  N dy 10889   1571377     14507     62446        20     86059    190244   5081529    162.88    104.37  --
3343.28/837.13	c  N dy 11029   1591495     14507     62446        20    106171    190244   8245091    155.57    104.37  --
3385.60/847.74	c  N dy 11169   1611602     14507     62446        20     68286    190244   2127779    162.55    104.38  --
3423.55/857.28	c  N dy 11308   1631604     14507     62446        20     88285    190244   5300457    145.49    104.40  --
3467.88/868.30	c  N dy 11448   1651684     14507     62446        20    108360    190244   8463457    153.77    104.40  --
3509.03/878.65	c  N dy 11587   1671755     14507     62446        20     69438    190244   2151193    161.87    104.40  --
3547.39/888.28	c  N dy 11726   1691805     14507     62446        20     89483    190244   5329065    154.34    104.42  --
3590.12/898.91	c  S st 11856   1710477     14507     62446        20    108152    190244   8224535    149.18    104.42  --
3591.33/899.27	c  S st 11856   1710983     14507     62446        20    108658    190244   8283042    149.18    104.42  --
3591.33/899.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3591.33/899.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3596.52/900.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.3M T:  4.94
3596.52/900.53	c Calc non-exist non-lernt bins v-fix:     0 done:  14507 time:  0.04 s
3596.52/900.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3596.92/900.60	c Subs w/ non-existent bins:      0 time:  0.26 s
3598.14/900.98	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3598.14/900.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3598.14/900.99	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
4334.31/1085.23	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
4370.67/1094.30	c Added 0 vars  tried: 80000 time: 36.22
4370.67/1094.30	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:   36.22
4371.08/1094.44	c lits-rem:         3  cl-subs:     6083  v-elim:    222  v-fix:    0  time: 772.68 s
4371.08/1094.44	c learnt bin added due to v-elim: 0
4371.08/1094.45	c vivif2 --  cl tried    62446 cl shrink        0 lits rem          0 time: 0.02
4371.48/1094.54	c vivif2 --  cl tried   102575 cl shrink        0 lits rem          0 time: 0.38
4373.06/1094.99	c asymm  cl-useful: 0/37868/62446 lits-rem:0 time: 1.77
4373.06/1095.00	c calculated reachability. Time: 0.00
4373.46/1095.00	c  N dy 11856   1710983     14507     62446        20    102575    190244   7924561    149.18    104.42  --
4416.60/1105.83	c  N dy 11995   1731065     14507     62446        20     62665    190244    970237    160.44    104.45  --
4452.56/1114.86	c  N dy 12135   1751168     14507     62446        20     82766    190244   4169210    171.99    104.46  --
4493.31/1125.02	c  N dy 12274   1771212     14507     62446        20    102808    190244   7359340    159.47    104.48  --
4536.44/1135.83	c  N dy 12413   1791218     14507     62446        20     61822    190244    648121    155.06    104.49  --
4570.00/1144.25	c  N dy 12553   1811238     14507     62446        20     81840    190244   3726561    150.91    104.48  --
4609.96/1154.23	c  N dy 12694   1831382     14507     62446        20    101980    190244   6886589    159.29    104.48  --
4654.69/1165.45	c  N dy 12833   1851405     14507     62446        20    122002    190244  10076460    159.59    104.49  --
4692.26/1174.82	c  N dy 12974   1871534     14507     62446        20     80136    190244   3371284    166.27    104.49  --
4732.59/1184.92	c  N dy 13113   1891578     14507     62446        20    100171    190244   6571193    165.94    104.51  --
4777.72/1196.25	c  N dy 13252   1911591     14507     62446        20    120182    190244   9726140    161.04    104.50  --

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-3172553-1304063873/watcher-3172553-1304063873 -o /tmp/evaluation-result-3172553-1304063873/solver-3172553-1304063873 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172553-1304063873.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: 4.08 4.24 5.46 2/174 10050
/proc/meminfo: memFree=19544684/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=23228 CPUtime=0 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 1100 0 0 0 0 0 0 0 23 0 1 0 498803465 23785472 1039 33554432000 4194304 4797429 140737480350624 18446744073709551615 4417469 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/10050/statm: 5807 1046 341 148 0 736 0

[startup+0.0210729 s]
/proc/loadavg: 4.08 4.24 5.46 2/174 10050
/proc/meminfo: memFree=19544684/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=39564 CPUtime=0.01 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 5259 0 0 0 1 0 0 0 23 0 1 0 498803465 40513536 3821 33554432000 4194304 4797429 140737480350624 18446744073709551615 4367912 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/10050/statm: 9891 3825 342 148 0 4820 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 39564

[startup+0.101074 s]
/proc/loadavg: 4.08 4.24 5.46 2/174 10050
/proc/meminfo: memFree=19544684/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=80488 CPUtime=0.09 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 9806 0 0 0 8 1 0 0 23 0 1 0 498803465 82419712 8232 33554432000 4194304 4797429 140737480350624 18446744073709551615 4431783 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/10050/statm: 20122 8236 348 148 0 15051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 80488

[startup+0.300996 s]
/proc/loadavg: 4.08 4.24 5.46 2/174 10050
/proc/meminfo: memFree=19544684/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=781672 CPUtime=0.63 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 17047 0 0 0 59 4 0 0 18 0 4 0 498803465 800432128 14112 33554432000 4194304 4797429 140737480350624 18446744073709551615 255106873887 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 195418 14113 385 148 0 190347 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 781672

[startup+0.700877 s]
/proc/loadavg: 4.08 4.24 5.46 2/174 10050
/proc/meminfo: memFree=19544684/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=786676 CPUtime=2.22 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 21109 0 0 0 217 5 0 0 18 0 4 0 498803465 805556224 18153 33554432000 4194304 4797429 140737480350624 18446744073709551615 4415773 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 196669 18153 410 148 0 191598 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 786676

[startup+1.50074 s]
/proc/loadavg: 3.91 4.20 5.44 10/184 10063
/proc/meminfo: memFree=19338032/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=786676 CPUtime=5.41 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 23354 0 0 0 535 6 0 0 19 0 4 0 498803465 805556224 20385 33554432000 4194304 4797429 140737480350624 18446744073709551615 4258829 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 196669 20385 412 148 0 191598 0
[pid=10050/tid=10058] ppid=10048 vsize=786676 CPUtime=1.3 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 2912 0 0 0 129 1 0 0 19 0 4 0 498803482 805556224 20385 33554432000 4194304 4797429 140737480350624 18446744073709551615 4387672 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=786676 CPUtime=1.32 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 2758 0 0 0 131 1 0 0 19 0 4 0 498803482 805556224 20385 33554432000 4194304 4797429 140737480350624 18446744073709551615 4352293 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=786676 CPUtime=1.29 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 2837 0 0 0 129 0 0 0 19 0 4 0 498803482 805556224 20385 33554432000 4194304 4797429 140737480350624 18446744073709551615 4424750 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) 786676

[startup+3.10046 s]
/proc/loadavg: 3.91 4.20 5.44 9/184 10063
/proc/meminfo: memFree=19270328/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=790472 CPUtime=11.8 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 27882 0 0 0 1173 7 0 0 23 0 4 0 498803465 809443328 24889 33554432000 4194304 4797429 140737480350624 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 197618 24889 413 148 0 192547 0
[pid=10050/tid=10058] ppid=10048 vsize=790472 CPUtime=2.89 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 4172 0 0 0 288 1 0 0 23 0 4 0 498803482 809443328 24889 33554432000 4194304 4797429 140737480350624 18446744073709551615 4423089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=790472 CPUtime=2.91 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 3822 0 0 0 290 1 0 0 23 0 4 0 498803482 809443328 24889 33554432000 4194304 4797429 140737480350624 18446744073709551615 4422950 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=790472 CPUtime=2.89 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 3896 0 0 0 288 1 0 0 23 0 4 0 498803482 809443328 24889 33554432000 4194304 4797429 140737480350624 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.8
Current children cumulated vsize (KiB) 790472

[startup+6.3009 s]
/proc/loadavg: 4.24 4.27 5.45 9/184 10063
/proc/meminfo: memFree=19204016/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=798920 CPUtime=24.56 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 37287 0 0 0 2440 16 0 0 23 0 4 0 498803465 818094080 30748 33554432000 4194304 4797429 140737480350624 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 199730 30748 416 148 0 194659 0
[pid=10050/tid=10058] ppid=10048 vsize=798920 CPUtime=6.08 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 6364 0 0 0 604 4 0 0 23 0 4 0 498803482 818094080 30748 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=798920 CPUtime=6.11 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 5645 0 0 0 609 2 0 0 24 0 4 0 498803482 818094080 30748 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=798920 CPUtime=6.06 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 5972 0 0 0 602 4 0 0 23 0 4 0 498803482 818094080 30748 33554432000 4194304 4797429 140737480350624 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) 798920

[startup+12.7008 s]
/proc/loadavg: 4.54 4.33 5.47 9/184 10063
/proc/meminfo: memFree=19130644/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=807776 CPUtime=50.13 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 44082 0 0 0 4993 20 0 0 25 0 4 0 498803465 827162624 37262 33554432000 4194304 4797429 140737480350624 18446744073709551615 4567913 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 201944 37262 417 148 0 196873 0
[pid=10050/tid=10058] ppid=10048 vsize=807776 CPUtime=12.49 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 7257 0 0 0 1244 5 0 0 25 0 4 0 498803482 827162624 37262 33554432000 4194304 4797429 140737480350624 18446744073709551615 4424579 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=807776 CPUtime=12.52 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 6611 0 0 0 1249 3 0 0 25 0 4 0 498803482 827162624 37262 33554432000 4194304 4797429 140737480350624 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=807776 CPUtime=12.43 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 6712 0 0 0 1239 4 0 0 25 0 4 0 498803482 827162624 37262 33554432000 4194304 4797429 140737480350624 18446744073709551615 4258789 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) 807776

[startup+25.5005 s]
/proc/loadavg: 5.31 4.51 5.51 9/184 10064
/proc/meminfo: memFree=19086416/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=814440 CPUtime=101.26 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 53918 0 0 0 10103 23 0 0 25 0 4 0 498803465 833986560 42644 33554432000 4194304 4797429 140737480350624 18446744073709551615 4424320 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 203610 42644 419 148 0 198539 0
[pid=10050/tid=10058] ppid=10048 vsize=814440 CPUtime=25.28 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 8660 0 0 0 2523 5 0 0 25 0 4 0 498803482 833986560 42644 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=814440 CPUtime=25.32 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 7527 0 0 0 2529 3 0 0 25 0 4 0 498803482 833986560 42644 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=814440 CPUtime=25.16 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 7674 0 0 0 2512 4 0 0 25 0 4 0 498803482 833986560 42644 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.26
Current children cumulated vsize (KiB) 814440

[startup+51.101 s]
/proc/loadavg: 6.22 4.78 5.57 9/184 10064
/proc/meminfo: memFree=19059692/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=831456 CPUtime=203.52 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 73437 0 0 0 20321 31 0 0 25 0 4 0 498803465 851410944 43194 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 207864 43194 420 148 0 202793 0
[pid=10050/tid=10058] ppid=10048 vsize=831456 CPUtime=50.87 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 11105 0 0 0 5081 6 0 0 25 0 4 0 498803482 851410944 43194 33554432000 4194304 4797429 140737480350624 18446744073709551615 4523824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=831456 CPUtime=50.92 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 10092 0 0 0 5088 4 0 0 25 0 4 0 498803482 851410944 43194 33554432000 4194304 4797429 140737480350624 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=831456 CPUtime=50.62 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 10228 0 0 0 5057 5 0 0 25 0 4 0 498803482 851410944 43194 33554432000 4194304 4797429 140737480350624 18446744073709551615 4524088 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) 831456

[startup+102.307 s]
/proc/loadavg: 7.35 5.31 5.71 9/184 10066
/proc/meminfo: memFree=18970640/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=847176 CPUtime=408.07 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 104221 0 0 0 40762 45 0 0 25 0 4 0 498803465 867508224 54169 33554432000 4194304 4797429 140737480350624 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 211794 54169 420 148 0 206723 0
[pid=10050/tid=10058] ppid=10048 vsize=847176 CPUtime=102.07 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 13697 0 0 0 10200 7 0 0 25 0 4 0 498803482 867508224 54169 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=847176 CPUtime=102.13 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 12435 0 0 0 10208 5 0 0 25 0 4 0 498803482 867508224 54169 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=847176 CPUtime=101.56 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 12708 0 0 0 10150 6 0 0 25 0 4 0 498803482 867508224 54169 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 847176

[startup+162.3 s]
/proc/loadavg: 7.87 5.83 5.86 9/184 10067
/proc/meminfo: memFree=18982412/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=857988 CPUtime=647.74 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 143912 0 0 0 64715 59 0 0 25 0 4 0 498803465 878579712 56258 33554432000 4194304 4797429 140737480350624 18446744073709551615 4506625 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 214497 56258 420 148 0 209426 0
[pid=10050/tid=10058] ppid=10048 vsize=857988 CPUtime=162.06 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 17734 0 0 0 16198 8 0 0 25 0 4 0 498803482 878579712 56258 33554432000 4194304 4797429 140737480350624 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=857988 CPUtime=162.11 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 16066 0 0 0 16206 5 0 0 25 0 4 0 498803482 878579712 56258 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=857988 CPUtime=161.27 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 16516 0 0 0 16119 8 0 0 25 0 4 0 498803482 878579712 56258 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.74
Current children cumulated vsize (KiB) 857988

[startup+222.301 s]
/proc/loadavg: 8.13 6.27 6.00 9/184 10078
/proc/meminfo: memFree=18927564/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=869296 CPUtime=887.39 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 177895 0 0 0 88665 74 0 0 25 0 4 0 498803465 890159104 58226 33554432000 4194304 4797429 140737480350624 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 217324 58226 420 148 0 212253 0
[pid=10050/tid=10058] ppid=10048 vsize=869296 CPUtime=222.06 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 19619 0 0 0 22197 9 0 0 25 0 4 0 498803482 890159104 58226 33554432000 4194304 4797429 140737480350624 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=869296 CPUtime=222.1 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 19334 0 0 0 22203 7 0 0 25 0 4 0 498803482 890159104 58226 33554432000 4194304 4797429 140737480350624 18446744073709551615 4354716 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=869296 CPUtime=220.92 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 19973 0 0 0 22084 8 0 0 25 0 4 0 498803482 890159104 58226 33554432000 4194304 4797429 140737480350624 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.39
Current children cumulated vsize (KiB) 869296

[startup+282.3 s]

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

[pid=10050] ppid=10048 vsize=911908 CPUtime=2565.14 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 356576 0 0 0 256357 157 0 0 25 0 4 0 498803465 933793792 81791 33554432000 4194304 4797429 140737480350624 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 227977 81791 420 148 0 222906 0
[pid=10050/tid=10058] ppid=10048 vsize=911908 CPUtime=642.03 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 37425 0 0 0 64188 15 0 0 25 0 4 0 498803482 933793792 81791 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=911908 CPUtime=642.12 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 36266 0 0 0 64197 15 0 0 25 0 4 0 498803482 933793792 81791 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=911908 CPUtime=638.67 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 35120 0 0 0 63851 16 0 0 25 0 4 0 498803482 933793792 81791 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.14
Current children cumulated vsize (KiB) 911908

[startup+702.301 s]
/proc/loadavg: 8.00 7.65 6.80 9/184 10091
/proc/meminfo: memFree=18761680/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=911984 CPUtime=2804.79 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 380912 0 0 0 280311 168 0 0 25 0 4 0 498803465 933871616 83286 33554432000 4194304 4797429 140737480350624 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 227996 83286 420 148 0 222925 0
[pid=10050/tid=10058] ppid=10048 vsize=911984 CPUtime=702.02 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 39579 0 0 0 70186 16 0 0 25 0 4 0 498803482 933871616 83286 33554432000 4194304 4797429 140737480350624 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=911984 CPUtime=702.11 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 36944 0 0 0 70196 15 0 0 25 0 4 0 498803482 933871616 83286 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=911984 CPUtime=698.35 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 36373 0 0 0 69818 17 0 0 25 0 4 0 498803482 933871616 83286 33554432000 4194304 4797429 140737480350624 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.79
Current children cumulated vsize (KiB) 911984

[startup+762.307 s]
/proc/loadavg: 8.04 7.73 6.88 9/184 10092
/proc/meminfo: memFree=18728316/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=912600 CPUtime=3044.49 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 411533 0 0 0 304268 181 0 0 25 0 4 0 498803465 934502400 77684 33554432000 4194304 4797429 140737480350624 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 228150 77684 420 148 0 223079 0
[pid=10050/tid=10058] ppid=10048 vsize=912600 CPUtime=762.02 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 41500 0 0 0 76185 17 0 0 25 0 4 0 498803482 934502400 77684 33554432000 4194304 4797429 140737480350624 18446744073709551615 4355877 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=912600 CPUtime=762.12 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 39558 0 0 0 76196 16 0 0 25 0 4 0 498803482 934502400 77685 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=912600 CPUtime=758.03 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 39200 0 0 0 75785 18 0 0 25 0 4 0 498803482 934502400 77685 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.49
Current children cumulated vsize (KiB) 912600

[startup+822.3 s]
/proc/loadavg: 8.09 7.80 6.96 9/184 10094
/proc/meminfo: memFree=18732272/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=937228 CPUtime=3284.14 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 439280 0 0 0 328219 195 0 0 25 0 4 0 498803465 959721472 85410 33554432000 4194304 4797429 140737480350624 18446744073709551615 4258823 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 234307 85410 420 148 0 229236 0
[pid=10050/tid=10058] ppid=10048 vsize=937228 CPUtime=822.01 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 43460 0 0 0 82183 18 0 0 25 0 4 0 498803482 959721472 85410 33554432000 4194304 4797429 140737480350624 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=937228 CPUtime=822.12 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 41797 0 0 0 82195 17 0 0 25 0 4 0 498803482 959721472 85410 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=937228 CPUtime=817.69 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 41635 0 0 0 81751 18 0 0 25 0 4 0 498803482 959721472 85410 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.14
Current children cumulated vsize (KiB) 937228

[startup+882.301 s]
/proc/loadavg: 8.18 7.88 7.03 9/184 10095
/proc/meminfo: memFree=18706100/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=937284 CPUtime=3523.81 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 461434 0 0 0 352176 205 0 0 25 0 4 0 498803465 959778816 87037 33554432000 4194304 4797429 140737480350624 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 234321 87037 420 148 0 229250 0
[pid=10050/tid=10058] ppid=10048 vsize=937284 CPUtime=882.01 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 44192 0 0 0 88182 19 0 0 25 0 4 0 498803482 959778816 87037 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=937284 CPUtime=882.11 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 42425 0 0 0 88194 17 0 0 25 0 4 0 498803482 959778816 87037 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=937284 CPUtime=877.37 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 42250 0 0 0 87718 19 0 0 25 0 4 0 498803482 959778816 87037 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.81
Current children cumulated vsize (KiB) 937284

[startup+942.3 s]
/proc/loadavg: 8.06 7.90 7.09 9/184 10097
/proc/meminfo: memFree=18709068/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=937148 CPUtime=3763.49 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 476009 0 0 0 376137 212 0 0 25 0 4 0 498803465 959639552 89278 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 234287 89278 420 148 0 229216 0
[pid=10050/tid=10058] ppid=10048 vsize=937148 CPUtime=942 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 47027 0 0 0 94180 20 0 0 25 0 4 0 498803482 959639552 89278 33554432000 4194304 4797429 140737480350624 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=937148 CPUtime=942.12 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 45261 0 0 0 94194 18 0 0 25 0 4 0 498803482 959639552 89278 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=937148 CPUtime=937.05 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 44682 0 0 0 93685 20 0 0 25 0 4 0 498803482 959639552 89278 33554432000 4194304 4797429 140737480350624 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.49
Current children cumulated vsize (KiB) 937148

[startup+1002.3 s]
/proc/loadavg: 8.10 7.93 7.15 9/184 10099
/proc/meminfo: memFree=18642716/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=937148 CPUtime=4003.17 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 479964 0 0 0 400103 214 0 0 25 0 4 0 498803465 959639552 92869 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 234287 92869 420 148 0 229216 0
[pid=10050/tid=10058] ppid=10048 vsize=937148 CPUtime=1001.99 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 48271 0 0 0 100179 20 0 0 25 0 4 0 498803482 959639552 92869 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=937148 CPUtime=1002.12 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 46520 0 0 0 100193 19 0 0 25 0 4 0 498803482 959639552 92869 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=937148 CPUtime=996.72 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 46134 0 0 0 99651 21 0 0 25 0 4 0 498803482 959639552 92869 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.17
Current children cumulated vsize (KiB) 937148

[startup+1062.3 s]
/proc/loadavg: 8.14 7.97 7.21 9/184 10100
/proc/meminfo: memFree=18667752/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=937148 CPUtime=4242.84 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 482036 0 0 0 424069 215 0 0 25 0 4 0 498803465 959639552 94803 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 234287 94803 420 148 0 229216 0
[pid=10050/tid=10058] ppid=10048 vsize=937148 CPUtime=1062 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 48955 0 0 0 106179 21 0 0 25 0 4 0 498803482 959639552 94803 33554432000 4194304 4797429 140737480350624 18446744073709551615 4415805 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=937148 CPUtime=1062.12 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 47264 0 0 0 106192 20 0 0 25 0 4 0 498803482 959639552 94803 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=937148 CPUtime=1056.4 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 46778 0 0 0 105619 21 0 0 25 0 4 0 498803482 959639552 94803 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.84
Current children cumulated vsize (KiB) 937148

[startup+1122.3 s]
/proc/loadavg: 8.23 8.02 7.27 9/184 10102
/proc/meminfo: memFree=18685344/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=938684 CPUtime=4482.51 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 497750 0 0 0 448028 223 0 0 25 0 4 0 498803465 961212416 91140 33554432000 4194304 4797429 140737480350624 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 234671 91140 420 148 0 229600 0
[pid=10050/tid=10058] ppid=10048 vsize=938684 CPUtime=1121.98 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 51883 0 0 0 112176 22 0 0 25 0 4 0 498803482 961212416 91140 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=938684 CPUtime=1122.12 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 49501 0 0 0 112191 21 0 0 25 0 4 0 498803482 961212416 91140 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=938684 CPUtime=1116.08 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 47513 0 0 0 111587 21 0 0 25 0 4 0 498803482 961212416 91140 33554432000 4194304 4797429 140737480350624 18446744073709551615 4567816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.51
Current children cumulated vsize (KiB) 938684

[startup+1182.3 s]
/proc/loadavg: 8.22 8.05 7.33 9/184 10103
/proc/meminfo: memFree=18645032/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=938672 CPUtime=4722.2 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 524787 0 0 0 471985 235 0 0 25 0 4 0 498803465 961200128 92078 33554432000 4194304 4797429 140737480350624 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 234668 92078 420 148 0 229597 0
[pid=10050/tid=10058] ppid=10048 vsize=938672 CPUtime=1181.98 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 53054 0 0 0 118175 23 0 0 25 0 4 0 498803482 961200128 92078 33554432000 4194304 4797429 140737480350624 18446744073709551615 4502030 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=938672 CPUtime=1182.12 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 51035 0 0 0 118190 22 0 0 25 0 4 0 498803482 961200128 92078 33554432000 4194304 4797429 140737480350624 18446744073709551615 4495554 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=938672 CPUtime=1175.77 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 50397 0 0 0 117554 23 0 0 25 0 4 0 498803482 961200128 92078 33554432000 4194304 4797429 140737480350624 18446744073709551615 4415442 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.2
Current children cumulated vsize (KiB) 938672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.16 8.04 7.34 9/184 10104
/proc/meminfo: memFree=18678012/32951124 swapFree=67111524/67111528
[pid=10050] ppid=10048 vsize=938704 CPUtime=4800.1 cores=0,2,4,6
/proc/10050/stat : 10050 (techdemo) R 10048 10050 9362 0 -1 4202496 532419 0 0 0 479772 238 0 0 25 0 4 0 498803465 961232896 88122 33554432000 4194304 4797429 140737480350624 18446744073709551615 4425675 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10050/statm: 234676 88122 420 148 0 229605 0
[pid=10050/tid=10058] ppid=10048 vsize=938704 CPUtime=1201.48 cores=0,2,4,6
/proc/10050/task/10058/stat : 10058 (techdemo) R 10048 10050 9362 0 -1 4202560 53054 0 0 0 120125 23 0 0 25 0 4 0 498803482 961232896 88122 33554432000 4194304 4797429 140737480350624 18446744073709551615 4356102 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10050/tid=10059] ppid=10048 vsize=938704 CPUtime=1201.63 cores=0,2,4,6
/proc/10050/task/10059/stat : 10059 (techdemo) R 10048 10050 9362 0 -1 4202560 51453 0 0 0 120141 22 0 0 25 0 4 0 498803482 961232896 88122 33554432000 4194304 4797429 140737480350624 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10050/tid=10060] ppid=10048 vsize=938704 CPUtime=1195.16 cores=0,2,4,6
/proc/10050/task/10060/stat : 10060 (techdemo) R 10048 10050 9362 0 -1 4202560 50995 0 0 0 119493 23 0 0 25 0 4 0 498803482 961232896 88122 33554432000 4194304 4797429 140737480350624 18446744073709551615 4430004 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 938704

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

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.75
system time used= 2.40663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532421
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= 10375
involuntary context switches= 25397

runsolver used 1.87071 second user time and 4.5693 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 09:57:53
IDJOB=3172553
IDBENCH=82571
IDSOLVER=1584
FILE ID=node144/3172553-1304063873
RUNJOBID= node144-1304063873-10036
PBS_JOBID= 13170439
Free space on /tmp= 72408 MiB

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

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

MD5SUM BENCH= 951fe016d765ee9b2e2038c7330879da
RANDOM SEED=303551575

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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.75
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.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19544972 kB
Buffers:       2207228 kB
Cached:       10568132 kB
SwapCached:          4 kB
Active:        4693936 kB
Inactive:      8148748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19544972 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11300 kB
Writeback:           0 kB
AnonPages:       66544 kB
Mapped:          14700 kB
Slab:           499520 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189664 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= 72392 MiB
End job on node144 at 2011-04-29 10:17:57