Trace number 3172600

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf
MD5SUM04e94fe2f2a1881d983170c76e6cb046
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark29.6875
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-3172600-1304078255.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.09/0.16	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.09/0.16	c -- vars added      15000
0.09/0.16	c Parsing time:  0.15 s
0.09/0.17	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.27/0.21	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.18
0.27/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.27/0.26	c Calc non-exist non-lernt bins v-fix:     0 done:  15000 time:  0.02 s
0.27/0.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.27/0.26	c Subs w/ non-existent bins:      0 time:  0.02 s
0.27/0.29	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.67/0.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.67/0.39	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1.06/0.48	c lits-rem:         0  cl-subs:        0  v-elim:    824  v-fix:    0  time:  0.60 s
1.06/0.48	c learnt bin added due to v-elim: 0
1.06/0.48	c Finding binary XORs  T:     0.01 s  found:       0
1.06/0.49	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
1.06/0.49	c calculated reachability. Time: 0.00
1.46/0.50	c Calc default polars -  time:   0.02 s pos:    6599 undec:    1792 neg:    6609
1.46/0.50	c =========================================================================================
1.46/0.50	c types(t): F = full restart, N = normal restart
1.46/0.50	c types(t): S = simplification begin/end, E = solution found
1.46/0.50	c restart types(rt): st = static, dy = dynamic
1.46/0.50	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.46/0.50	c  B st     0         0     14551     62414         0         0    189769         0   no data   no data  --
3.49/1.03	c Decided on dynamic restart strategy
5.06/1.50	c  N dy    20      4088     14551     62414         0      4087    189769    691230    149.60    113.28  --
9.45/2.55	c  N dy    48      8135     14551     62414         0      8133    189769   1320840    155.33    108.88  --
13.43/3.58	c  N dy    77     12232     14551     62414         0     12230    189769   1920206    147.42    105.03  --
17.83/4.68	c  N dy   106     16341     14551     62414         0     16338    189769   2553991    146.09    104.63  --
22.62/5.87	c  N dy   134     20357     14551     62414         0     10356    189769    501500    144.89    104.02  --
27.41/7.01	c  N dy   163     24469     14551     62414         0     14468    189769   1120497    147.69    103.65  --
31.41/8.08	c  N dy   191     28496     14551     62414         0     18495    189769   1756006    155.10    103.82  --
33.81/8.68	c  S st   202     30000     14551     62414         0     19999    189769   1991682    160.04    103.91  --
34.63/8.84	c  S st   202     30503     14551     62414         0     20502    189769   2050167    160.04    103.91  --
34.63/8.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
34.63/8.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.41/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.41/9.03	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.03 s
35.41/9.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.41/9.05	c Subs w/ non-existent bins:      0 time:  0.07 s
36.20/9.20	c bin-w-bin subsume rem            0 bins  time:  0.02 s
36.20/9.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
36.20/9.21	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
53.38/13.56	c lits-rem:         7  cl-subs:     1302  v-elim:    228  v-fix:    0  time: 17.36 s
53.38/13.56	c learnt bin added due to v-elim: 0
53.38/13.57	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
53.38/13.59	c vivif2 --  cl tried    19200 cl shrink        0 lits rem          0 time: 0.08
54.18/13.78	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.78
54.18/13.79	c calculated reachability. Time: 0.00
54.18/13.79	c  N dy   202     30503     14551     62414         0     19200    189769   1966580    160.04    103.91  --
54.18/13.79	c  F st   202     30503     14551     62414         0     19200    189769   1966580    160.04    103.91  --
56.97/14.45	c Decided on dynamic restart strategy
59.37/15.09	c  N dy   222     34618     14551     62414         0     23313    189769   2679560    159.69    104.78  --
64.57/16.39	c  N dy   250     38643     14551     62414         0     27338    189769   3290560    155.25    104.45  --
69.77/17.65	c  N dy   279     42785     14551     62414         0     15981    189769    643221    162.83    104.59  --
73.35/18.57	c  S st   300     45754     14551     62414         0     18950    189769   1129985    164.05    104.83  --
74.17/18.72	c  S st   300     46259     14551     62414         0     19455    189769   1184288    164.05    104.83  --
74.17/18.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
74.17/18.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.54/18.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.56
74.54/18.88	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.03 s
74.54/18.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.54/18.89	c Subs w/ non-existent bins:      0 time:  0.05 s
74.94/18.96	c bin-w-bin subsume rem            0 bins  time:  0.02 s
74.94/18.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
74.94/18.97	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
84.93/21.42	c lits-rem:         1  cl-subs:      624  v-elim:    228  v-fix:    0  time:  9.81 s
84.93/21.42	c learnt bin added due to v-elim: 0
84.93/21.43	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
84.93/21.44	c vivif2 --  cl tried    18831 cl shrink        0 lits rem          0 time: 0.06
85.73/21.61	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.65
85.73/21.61	c calculated reachability. Time: 0.00
85.73/21.61	c  N dy   300     46259     14551     62414         0     18831    189769   1151569    164.05    104.83  --
90.12/22.76	c  N dy   328     50282     14551     62414         0     22853    189769   1765771    166.31    104.52  --
94.92/23.91	c  N dy   356     54353     14551     62414         0     26923    189769   2376126    145.79    104.13  --
99.72/25.17	c  N dy   384     58381     14551     62414         0     30950    189769   3005616    153.00    104.16  --
105.30/26.57	c  N dy   412     62382     14551     62414         0     34950    189769   3618547    146.32    104.10  --
110.90/27.95	c  N dy   440     66385     14551     62414         0     20206    189769    785502    151.13    104.19  --
114.49/28.88	c  S st   462     69388     14551     62414         0     23209    189769   1247842    152.93    104.22  --
115.29/29.02	c  S st   462     69889     14551     62414         0     23710    189769   1303065    152.93    104.22  --
115.29/29.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
115.29/29.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
115.69/29.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.60
115.69/29.19	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.03 s
115.69/29.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
116.09/29.20	c Subs w/ non-existent bins:      0 time:  0.06 s
116.09/29.27	c bin-w-bin subsume rem            0 bins  time:  0.02 s
116.09/29.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
116.09/29.28	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
126.50/31.88	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
134.07/33.72	c Added 0 vars  tried: 80000 time: 7.34
134.07/33.72	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.34
134.07/33.76	c lits-rem:        12  cl-subs:      840  v-elim:    228  v-fix:    0  time: 17.88 s
134.07/33.76	c learnt bin added due to v-elim: 0
134.07/33.76	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
134.07/33.78	c vivif2 --  cl tried    22870 cl shrink        0 lits rem          0 time: 0.06
134.87/33.96	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 0.74
134.87/33.97	c calculated reachability. Time: 0.00
134.87/33.97	c  N dy   462     69889     14551     62414         0     22870    189769   1265794    152.93    104.22  --
134.87/33.97	c  F st   462     69889     14551     62414         0     22870    189769   1265794    152.93    104.22  --
137.66/34.66	c Decided on dynamic restart strategy
140.45/35.35	c  N dy   485     74403     14551     62414         0     27384    189769   2057609    156.94    104.82  --
146.45/36.80	c  N dy   518     79174     14551     62414         0     32154    189769   2797171    149.17    104.71  --
153.26/38.57	c  N dy   554     84299     14551     62414         0     37279    189769   3580400    149.95    104.50  --
161.23/40.56	c  N dy   592     89760     14551     62414         0     21867    189769    692110    156.51    104.42  --
168.42/42.38	c  N dy   633     95545     14551     62414         0     27652    189769   1570176    152.82    104.33  --
176.00/44.26	c  N dy   676    101650     14551     62414         0     33756    189769   2522470    146.84    104.27  --
181.20/45.51	c  S st   699    104835     14551     62414         0     36941    189769   3012675    151.81    104.21  --
181.60/45.69	c  S st   699    105337     14551     62414         0     37443    189769   3072586    151.81    104.21  --
182.00/45.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
182.00/45.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.80/45.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.03
182.80/45.96	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.03 s
182.80/45.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.80/45.99	c Subs w/ non-existent bins:      0 time:  0.10 s
183.61/46.15	c bin-w-bin subsume rem            0 bins  time:  0.02 s
183.61/46.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
183.61/46.16	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
213.95/53.73	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.95/53.79	c lits-rem:         2  cl-subs:     1431  v-elim:    228  v-fix:    0  time: 30.49 s
213.95/53.79	c learnt bin added due to v-elim: 0
213.95/53.80	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
214.37/53.83	c vivif2 --  cl tried    36012 cl shrink        0 lits rem          0 time: 0.15
215.55/54.13	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 1.17
215.55/54.13	c calculated reachability. Time: 0.00
215.55/54.13	c  N dy   699    105337     14551     62414         0     36012    189769   2968297    151.81    104.21  --
224.34/56.33	c  N dy   746    112072     14551     62414         0     42747    189769   4015428    152.83    104.17  --
233.53/58.62	c  N dy   797    119362     14551     62414         0     27598    189769   1330866    160.13    104.21  --
242.71/60.97	c  N dy   850    126993     14551     62414         0     35226    189769   2523359    156.22    104.20  --
253.50/63.68	c  N dy   908    135203     14551     62414         0     43436    189769   3758895    159.19    103.99  --
265.09/66.57	c  N dy   969    143887     14551     62414         0     28405    189769   1186142    156.20    103.86  --
276.66/69.45	c  N dy  1033    153092     14551     62414         0     37607    189769   2593800    153.30    103.79  --
284.68/71.46	c  S st  1068    158006     14551     62414         0     42520    189769   3392194    158.32    103.93  --
285.46/71.66	c  S st  1068    158510     14551     62414         0     43024    189769   3447688    158.32    103.93  --
285.46/71.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
285.46/71.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.65/71.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.22
286.65/71.98	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.03 s
286.65/71.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.05/72.01	c Subs w/ non-existent bins:      0 time:  0.12 s
287.45/72.19	c bin-w-bin subsume rem            0 bins  time:  0.02 s
287.45/72.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
287.86/72.20	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
327.00/82.04	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
327.40/82.10	c lits-rem:         1  cl-subs:     1925  v-elim:    228  v-fix:    0  time: 39.56 s
327.40/82.10	c learnt bin added due to v-elim: 0
327.40/82.11	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
327.40/82.15	c vivif2 --  cl tried    41099 cl shrink        0 lits rem          0 time: 0.15
328.62/82.48	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 1.33
328.62/82.49	c calculated reachability. Time: 0.00
328.62/82.49	c  N dy  1068    158510     14551     62414         0     41099    189769   3291807    158.32    103.93  --
343.38/86.10	c  N dy  1139    168707     14551     62414         0     26438    189769    711113    154.20    104.17  --
357.36/89.69	c  N dy  1214    179503     14551     62414         0     37232    189769   2430780    160.25    104.20  --
373.74/93.79	c  N dy  1295    191070     14551     62414         0     48799    189769   4242751    167.72    104.16  --
390.54/97.96	c  N dy  1381    203363     14551     62414         0     35166    189769   1849720    161.50    103.96  --
409.29/102.64	c  N dy  1472    216367     14551     62414         0     48167    189769   3897660    154.94    104.08  --
428.46/107.43	c  N dy  1568    230252     14551     62414         0     35091    189769   1695694    149.12    103.90  --
440.45/110.42	c  S st  1621    237765     14551     62414         0     42603    189769   2881270    148.52    103.93  --
441.25/110.63	c  S st  1621    238266     14551     62414         0     43104    189769   2943237    148.52    103.93  --
441.25/110.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
441.25/110.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
442.45/110.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.21
442.45/110.95	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.03 s
442.45/110.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
442.45/110.98	c Subs w/ non-existent bins:      0 time:  0.10 s
443.26/111.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
443.26/111.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
443.26/111.13	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
476.00/119.33	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
476.00/119.39	c lits-rem:         0  cl-subs:     2117  v-elim:    228  v-fix:    0  time: 33.00 s
476.00/119.39	c learnt bin added due to v-elim: 0
476.40/119.40	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
476.40/119.43	c vivif2 --  cl tried    40987 cl shrink        0 lits rem          0 time: 0.14
477.60/119.73	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 1.20
477.60/119.74	c calculated reachability. Time: 0.00
477.60/119.74	c  N dy  1621    238266     14551     62414         0     40987    189769   2816212    148.52    103.93  --
499.57/125.20	c  N dy  1727    253517     14551     62414         0     28257    189769    466486    154.80    103.99  --
520.34/130.48	c  N dy  1840    269815     14551     62414         0     44552    189769   3006304    166.37    103.93  --
544.71/136.50	c  N dy  1960    287064     14551     62414         0     32811    189769   1034983    166.97    104.03  --
569.88/142.82	c  N dy  2089    305446     14551     62414         0     51191    189769   3872017    162.26    103.98  --
597.06/149.61	c  N dy  2226    324994     14551     62414         0     40745    189769   2059036    153.03    103.86  --
627.00/157.11	c  N dy  2366    345013     14551     62414         0     60759    189769   5140775    147.74    103.76  --
644.99/161.62	c  S st  2454    357399     14551     62414         0     42152    189769   2155780    156.22    103.80  --
645.77/161.81	c  S st  2454    357900     14551     62414         0     42653    189769   2211015    156.22    103.80  --
645.77/161.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
645.77/161.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
646.97/162.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.9M T:  1.18
646.97/162.13	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.03 s
646.97/162.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
646.97/162.15	c Subs w/ non-existent bins:      0 time:  0.09 s
647.37/162.26	c bin-w-bin subsume rem            0 bins  time:  0.02 s
647.37/162.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
647.37/162.27	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
668.94/167.64	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
678.12/169.91	c Added 0 vars  tried: 80000 time: 9.06
678.12/169.91	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.06
678.12/169.96	c lits-rem:         5  cl-subs:     2139  v-elim:    228  v-fix:    0  time: 30.71 s
678.12/169.96	c learnt bin added due to v-elim: 0
678.12/169.97	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
678.12/169.99	c vivif2 --  cl tried    40514 cl shrink        0 lits rem          0 time: 0.10
679.32/170.24	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 1.00
679.32/170.25	c calculated reachability. Time: 0.00
679.32/170.25	c  N dy  2454    357900     14551     62414         0     40514    189769   2116762    156.22    103.80  --
710.08/177.92	c  N dy  2595    378059     14551     62414         0     60669    189769   5232128    153.64    103.71  --
739.64/185.38	c  N dy  2735    398080     14551     62414         0     48691    189769   3085314    167.09    103.79  --
771.60/193.39	c  N dy  2875    418087     14551     62414         0     35701    189769    827984    162.80    103.81  --
801.96/200.96	c  N dy  3015    438192     14551     62414         0     55806    189769   4002485    163.75    103.85  --
834.33/209.04	c  N dy  3155    458210     14551     62414         0     41826    189769   1673631    154.08    103.88  --
865.08/216.76	c  N dy  3296    478317     14551     62414         0     61927    189769   4757425    154.33    103.81  --
893.42/223.87	c  N dy  3435    498366     14551     62414         0     46976    189769   2322238    141.39    103.88  --
924.18/231.52	c  N dy  3574    518435     14551     62414         0     67042    189769   5482006    147.61    103.92  --
952.15/238.50	c  S st  3703    536850     14551     62414         0     49464    189769   2503384    166.45    103.91  --
952.97/238.71	c  S st  3703    537355     14551     62414         0     49969    189769   2562446    166.45    103.91  --
952.97/238.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
952.97/238.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
954.14/239.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  1.46
954.14/239.10	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.03 s
954.14/239.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
954.54/239.12	c Subs w/ non-existent bins:      0 time:  0.10 s
954.94/239.24	c bin-w-bin subsume rem            0 bins  time:  0.02 s
954.94/239.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
954.94/239.25	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
984.89/246.74	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
985.29/246.80	c lits-rem:         3  cl-subs:     2892  v-elim:    228  v-fix:    0  time: 30.14 s
985.29/246.80	c learnt bin added due to v-elim: 0
985.29/246.81	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
985.29/246.84	c vivif2 --  cl tried    47077 cl shrink        0 lits rem          0 time: 0.12
986.49/247.12	c asymm  cl-useful: 0/62414/62414 lits-rem:0 time: 1.13
986.49/247.12	c calculated reachability. Time: 0.00
986.49/247.12	c  N dy  3703    537355     14551     62414         0     47077    189769   2455027    166.45    103.91  --
986.49/247.12	c  F st  3703    537355     14551     62414         0     47077    189769   2455027    166.45    103.91  --
989.29/247.88	c Decided on dynamic restart strategy
1018.05/255.07	c  N dy  3834    557385     14551     62414         0     67104    189769   5652357    151.00    103.99  --
1049.24/262.90	c  N dy  3974    577455     14551     62414         0     50179    189769   2444698    151.18    103.97  --
1082.37/271.15	c  N dy  4113    597483     14551     62414         0     70202    189769   5594759    169.81    103.99  --
1114.73/279.24	c  N dy  4254    617604     14551     62414         0     52327    189769   2683319    137.73    104.02  --
1148.28/287.65	c  N dy  4394    637643     14551     62414         0     72365    189769   5802819    152.54    104.02  --
1180.24/295.67	c  N dy  4533    657644     14551     62414         0     53367    189769   2683835    167.32    104.03  --
1214.19/304.17	c  N dy  4672    677695     14551     62414         0     73414    189769   5830930    172.19    104.03  --
1248.14/312.61	c  N dy  4812    697732     14551     62414         0     53454    189769   2471829    157.75    104.01  --
1281.70/321.09	c  N dy  4951    717746     14551     62414         0     73465    189769   5658966    159.14    104.07  --
1314.05/329.14	c  N dy  5092    737877     14551     62414         0     52599    189769   2259239    173.06    104.10  --
1345.21/336.96	c  N dy  5231    757886     14551     62414         0     72603    189769   5455788    147.09    104.11  --
1377.57/345.00	c  N dy  5372    777932     14551     62414         0     50654    189769   1758505    153.96    104.08  --
1409.55/353.07	c  N dy  5511    797977     14551     62414         0     70697    189769   4916267    169.87    104.09  --
1425.91/357.10	c  S st  5567    806033     14551     62414         0     78751    189769   6191005    163.65    104.10  --
1426.71/357.39	c  S st  5567    806535     14551     62414         0     79253    189769   6252623    163.65    104.10  --
1427.12/357.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1427.12/357.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1429.90/358.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.79
1429.90/358.12	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.03 s
1429.90/358.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1429.90/358.17	c Subs w/ non-existent bins:      0 time:  0.20 s
1431.10/358.46	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1431.10/358.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1431.10/358.47	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1841.35/461.15	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
1868.91/468.04	c Added 0 vars  tried: 80000 time: 27.55
1868.91/468.04	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.55
1869.31/468.15	c lits-rem:         0  cl-subs:     4632  v-elim:    228  v-fix:    0  time: 438.06 s
1869.31/468.15	c learnt bin added due to v-elim: 0
1869.31/468.16	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
1869.71/468.23	c vivif2 --  cl tried    74621 cl shrink        0 lits rem          0 time: 0.28
1871.32/468.69	c asymm  cl-useful: 0/50640/62414 lits-rem:0 time: 1.83
1871.70/468.70	c calculated reachability. Time: 0.00
1871.70/468.70	c  N dy  5567    806535     14551     62414         0     74621    189769   5983389    163.65    104.10  --
1906.08/477.33	c  N dy  5707    826624     14551     62414         0     51715    189769   1807953    164.13    104.10  --
1940.01/485.81	c  N dy  5847    846705     14551     62414         0     71793    189769   4957739    160.79    104.10  --
1976.39/494.91	c  N dy  5987    866742     14551     62414         0     47834    189769   1027048    139.86    104.06  --
2008.72/503.05	c  N dy  6128    886856     14551     62414         0     67944    189769   4195153    149.50    104.09  --
2046.28/512.48	c  N dy  6268    906906     14551     62414         0     87990    189769   7370630    162.70    104.14  --
2080.23/520.96	c  N dy  6408    927061     14551     62414         0     63148    189769   3370310    169.27    104.19  --
2117.78/530.32	c  N dy  6547    947120     14551     62414         0     83201    189769   6546872    166.72    104.20  --
2154.12/539.46	c  N dy  6687    967132     14551     62414         0     57219    189769   2211910    148.74    104.18  --
2189.68/548.37	c  N dy  6826    987173     14551     62414         0     77259    189769   5368153    176.41    104.20  --
2226.03/557.49	c  N dy  6966   1007246     14551     62414         0     50336    189769    970241    170.05    104.20  --
2256.79/565.12	c  N dy  7106   1027328     14551     62414         0     70412    189769   4087100    171.12    104.19  --
2292.34/574.04	c  N dy  7246   1047412     14551     62414         0     90494    189769   7279310    156.75    104.21  --
2325.49/582.34	c  N dy  7385   1067466     14551     62414         0     62552    189769   2733747    162.49    104.20  --
2360.65/591.18	c  N dy  7524   1087558     14551     62414         0     82643    189769   5965137    156.46    104.23  --
2398.23/600.54	c  N dy  7664   1107636     14551     62414         0     53725    189769   1177944    147.53    104.25  --
2431.35/608.88	c  N dy  7804   1127680     14551     62414         0     73766    189769   4337962    158.13    104.26  --
2470.10/618.58	c  N dy  7942   1147702     14551     62414         0     93786    189769   7536757    151.78    104.29  --
2505.65/627.45	c  N dy  8082   1167782     14551     62414         0     63870    189769   2643708    155.58    104.29  --
2542.00/636.57	c  N dy  8222   1187796     14551     62414         0     83879    189769   5835947    150.86    104.33  --
2582.77/646.79	c  N dy  8361   1207863     14551     62414         0     52953    189769    762403    150.84    104.30  --
2586.35/647.62	c  S st  8375   1209805     14551     62414         0     54893    189769   1055923    147.36    104.30  --
2587.17/647.84	c  S st  8375   1210307     14551     62414         0     55395    189769   1110041    147.36    104.30  --
2587.17/647.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2587.17/647.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2589.15/648.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.2M T:  1.82
2589.15/648.32	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.04 s
2589.15/648.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2589.15/648.33	c Subs w/ non-existent bins:      0 time:  0.06 s
2589.55/648.40	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2589.55/648.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2589.55/648.41	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
2599.54/650.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
2603.93/652.08	c Added 0 vars  tried: 80000 time: 4.55
2603.93/652.08	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
2604.33/652.12	c lits-rem:         7  cl-subs:     3681  v-elim:    228  v-fix:    0  time: 14.82 s
2604.33/652.12	c learnt bin added due to v-elim: 0
2604.33/652.13	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
2604.33/652.14	c vivif2 --  cl tried    51714 cl shrink        0 lits rem          0 time: 0.06
2604.33/652.19	c asymm  cl-useful: 0/11774/62414 lits-rem:0 time: 0.19
2604.75/652.20	c calculated reachability. Time: 0.00
2604.75/652.20	c  N dy  8375   1210307     14551     62414         0     51714    189769   1052168    147.36    104.30  --
2639.08/660.80	c  N dy  8515   1230343     14551     62414         0     71747    189769   4189595    152.54    104.29  --
2679.44/670.99	c  N dy  8655   1250439     14551     62414         0     91842    189769   7362420    160.40    104.30  --
2718.99/680.84	c  N dy  8794   1270471     14551     62414         0     59878    189769   1748009    153.44    104.32  --
2756.52/690.27	c  N dy  8933   1290472     14551     62414         0     79875    189769   4936576    168.79    104.35  --
2797.27/700.41	c  N dy  9072   1310566     14551     62414         0     99968    189769   8127465    162.49    104.37  --
2831.62/709.08	c  N dy  9212   1330605     14551     62414         0     67015    189769   2698457    176.19    104.38  --
2866.78/717.81	c  N dy  9352   1350701     14551     62414         0     87110    189769   5841338    158.92    104.38  --
2905.92/727.61	c  N dy  9491   1370720     14551     62414         0    107122    189769   9036580    159.85    104.39  --
2938.27/735.74	c  N dy  9631   1390864     14551     62414         0     73270    189769   3434239    146.09    104.35  --
2975.43/745.09	c  N dy  9770   1410865     14551     62414         0     93267    189769   6582260    152.83    104.37  --
3016.17/755.28	c  N dy  9911   1430982     14551     62414         0     58390    189769   1005263    155.90    104.38  --
3050.92/763.98	c  N dy 10051   1451030     14551     62414         0     78436    189769   4132730    147.61    104.37  --
3090.47/773.80	c  N dy 10190   1471068     14551     62414         0     98474    189769   7229743    156.25    104.36  --
3131.21/784.02	c  N dy 10329   1491081     14551     62414         0     62490    189769   1484846    145.48    104.37  --
3168.76/793.41	c  N dy 10469   1511164     14551     62414         0     82566    189769   4703485    159.80    104.40  --
3209.91/803.78	c  N dy 10609   1531212     14551     62414         0    102613    189769   7883451    153.20    104.42  --
3250.26/813.88	c  N dy 10749   1551357     14551     62414         0     65762    189769   1906191    159.93    104.45  --
3289.40/823.66	c  N dy 10889   1571496     14551     62414         0     85895    189769   5103318    145.53    104.46  --
3330.54/833.98	c  N dy 11028   1591511     14551     62414         0    105906    189769   8181034    157.50    104.43  --
3372.89/844.50	c  N dy 11168   1611611     14551     62414         0     68015    189769   2042821    157.00    104.42  --
3411.24/854.15	c  N dy 11308   1631691     14551     62414         0     88090    189769   5223433    162.59    104.44  --
3455.18/865.12	c  N dy 11448   1651733     14551     62414         0    108128    189769   8351844    148.80    104.43  --
3496.33/875.44	c  N dy 11588   1671747     14551     62414         0     69150    189769   2109271    142.58    104.43  --
3535.08/885.13	c  N dy 11728   1691865     14551     62414         0     89264    189769   5248757    156.63    104.42  --
3576.62/895.53	c  S st 11857   1710307     14551     62414         0    107705    189769   8168154    162.61    104.44  --
3578.22/895.90	c  S st 11857   1710812     14551     62414         0    108210    189769   8234237    162.61    104.44  --
3578.22/895.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3578.22/895.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3583.01/897.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.1M T:  5.02
3583.01/897.19	c Calc non-exist non-lernt bins v-fix:     0 done:  14551 time:  0.04 s
3583.01/897.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3583.41/897.26	c Subs w/ non-existent bins:      0 time:  0.27 s
3585.03/897.66	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3585.03/897.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3585.03/897.68	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
4312.43/1079.79	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
4349.20/1088.93	c Added 0 vars  tried: 80000 time: 36.48
4349.20/1088.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:   36.49
4349.60/1089.07	c lits-rem:         0  cl-subs:     6061  v-elim:    228  v-fix:    0  time: 764.50 s
4349.60/1089.07	c learnt bin added due to v-elim: 0
4349.60/1089.08	c vivif2 --  cl tried    62414 cl shrink        0 lits rem          0 time: 0.02
4349.97/1089.18	c vivif2 --  cl tried   102149 cl shrink        0 lits rem          0 time: 0.38
4351.98/1089.63	c asymm  cl-useful: 0/38738/62414 lits-rem:0 time: 1.80
4351.98/1089.63	c calculated reachability. Time: 0.00
4351.98/1089.63	c  N dy 11857   1710812     14551     62414         0    102149    189769   7851614    162.61    104.44  --
4397.53/1101.03	c  N dy 11997   1730935     14551     62414         0     62280    189769    897690    169.12    104.45  --
4434.26/1110.24	c  N dy 12137   1751030     14551     62414         0     82369    189769   4098914    163.00    104.47  --
4472.63/1119.85	c  N dy 12276   1771140     14551     62414         0    102476    189769   7262221    163.51    104.46  --
4514.56/1130.32	c  N dy 12416   1791283     14551     62414         0     61628    189769    610032    157.82    104.46  --
4548.10/1138.71	c  N dy 12555   1811294     14551     62414         0     81634    189769   3833471    156.31    104.49  --
4586.88/1148.42	c  N dy 12695   1831353     14551     62414         0    101688    189769   7074331    163.90    104.53  --
4631.20/1159.55	c  N dy 12835   1851402     14551     62414         0    121735    189769  10216293    151.27    104.52  --
4668.35/1168.85	c  N dy 12975   1871483     14551     62414         0     79824    189769   3319974    157.84    104.51  --
4707.90/1178.79	c  N dy 13115   1891598     14551     62414         0     99938    189769   6526461    175.62    104.53  --
4753.04/1190.03	c  N dy 13255   1911611     14551     62414         0    119944    189769   9692009    158.80    104.54  --
4792.59/1199.97	c  N dy 13395   1931702     14551     62414         0     77043    189769   2753767    160.53    104.56  --

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-3172600-1304078255/watcher-3172600-1304078255 -o /tmp/evaluation-result-3172600-1304078255/solver-3172600-1304078255 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172600-1304078255.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.67 7.24 7.78 1/176 21572
/proc/meminfo: memFree=25385836/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=24216 CPUtime=0 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 1333 0 0 0 0 0 0 0 21 0 1 0 519423690 24797184 1273 33554432000 4194304 4797429 140733746489952 18446744073709551615 4367912 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21572/statm: 6054 1277 341 148 0 983 0

[startup+0.020604 s]
/proc/loadavg: 4.67 7.24 7.78 1/176 21572
/proc/meminfo: memFree=25385836/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=39564 CPUtime=0.01 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 5297 0 0 0 1 0 0 0 21 0 1 0 519423690 40513536 3860 33554432000 4194304 4797429 140733746489952 18446744073709551615 4365820 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21572/statm: 9891 3875 342 148 0 4820 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 39564

[startup+0.100573 s]
/proc/loadavg: 4.67 7.24 7.78 1/176 21572
/proc/meminfo: memFree=25385836/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=80472 CPUtime=0.09 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 9811 0 0 0 8 1 0 0 21 0 1 0 519423690 82403328 8238 33554432000 4194304 4797429 140733746489952 18446744073709551615 232335551643 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21572/statm: 20118 8242 348 148 0 15047 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 80472

[startup+0.300482 s]
/proc/loadavg: 4.67 7.24 7.78 1/176 21572
/proc/meminfo: memFree=25385836/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=718356 CPUtime=0.67 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 17170 0 0 0 64 3 0 0 23 0 4 0 519423690 735596544 14229 33554432000 4194304 4797429 140733746489952 18446744073709551615 4521947 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 179589 14229 389 148 0 174518 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 718356

[startup+0.700413 s]
/proc/loadavg: 4.67 7.24 7.78 1/176 21572
/proc/meminfo: memFree=25385836/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=724008 CPUtime=2.26 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 20997 0 0 0 223 3 0 0 25 0 4 0 519423690 741384192 17822 33554432000 4194304 4797429 140733746489952 18446744073709551615 4377384 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 181002 17822 410 148 0 175931 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 724008

[startup+1.50027 s]
/proc/loadavg: 4.67 7.24 7.78 5/180 21576
/proc/meminfo: memFree=25312148/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=724272 CPUtime=5.46 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 23406 0 0 0 542 4 0 0 25 0 4 0 519423690 741654528 20218 33554432000 4194304 4797429 140733746489952 18446744073709551615 4379204 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 181068 20218 412 148 0 175997 0
[pid=21572/tid=21574] ppid=21570 vsize=724272 CPUtime=1.32 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 2807 0 0 0 132 0 0 0 19 0 4 0 519423707 741654528 20219 33554432000 4194304 4797429 140733746489952 18446744073709551615 4424335 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=724272 CPUtime=1.31 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 3166 0 0 0 131 0 0 0 19 0 4 0 519423707 741654528 20219 33554432000 4194304 4797429 140733746489952 18446744073709551615 232335589131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=724272 CPUtime=1.32 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 2328 0 0 0 132 0 0 0 19 0 4 0 519423707 741654528 20219 33554432000 4194304 4797429 140733746489952 18446744073709551615 4331805 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 724272

[startup+3.10095 s]
/proc/loadavg: 4.67 7.24 7.78 5/180 21576
/proc/meminfo: memFree=25298008/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=730144 CPUtime=11.85 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 28348 0 0 0 1180 5 0 0 25 0 4 0 519423690 747667456 25135 33554432000 4194304 4797429 140733746489952 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 182536 25135 413 148 0 177465 0
[pid=21572/tid=21574] ppid=21570 vsize=730144 CPUtime=2.91 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 4292 0 0 0 291 0 0 0 18 0 4 0 519423707 747667456 25135 33554432000 4194304 4797429 140733746489952 18446744073709551615 4422967 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=730144 CPUtime=2.91 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 4288 0 0 0 291 0 0 0 24 0 4 0 519423707 747667456 25135 33554432000 4194304 4797429 140733746489952 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=730144 CPUtime=2.91 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 3465 0 0 0 291 0 0 0 20 0 4 0 519423707 747667456 25135 33554432000 4194304 4797429 140733746489952 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 730144

[startup+6.30039 s]
/proc/loadavg: 4.94 7.25 7.78 9/188 21589
/proc/meminfo: memFree=25205696/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=745060 CPUtime=24.62 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 38049 0 0 0 2453 9 0 0 25 0 4 0 519423690 762941440 31417 33554432000 4194304 4797429 140733746489952 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 186265 31417 416 148 0 181194 0
[pid=21572/tid=21574] ppid=21570 vsize=745060 CPUtime=6.12 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 6260 0 0 0 611 1 0 0 24 0 4 0 519423707 762941440 31417 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=745060 CPUtime=6.12 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 6656 0 0 0 611 1 0 0 25 0 4 0 519423707 762941440 31417 33554432000 4194304 4797429 140733746489952 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=745060 CPUtime=6.11 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 5568 0 0 0 610 1 0 0 23 0 4 0 519423707 762941440 31417 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (KiB) 745060

[startup+12.7002 s]
/proc/loadavg: 5.18 7.26 7.78 9/188 21590
/proc/meminfo: memFree=25185104/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=749008 CPUtime=50.18 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 44814 0 0 0 5007 11 0 0 25 0 4 0 519423690 766984192 37849 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 187252 37849 417 148 0 182181 0
[pid=21572/tid=21574] ppid=21570 vsize=749008 CPUtime=12.51 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 7186 0 0 0 1250 1 0 0 25 0 4 0 519423707 766984192 37849 33554432000 4194304 4797429 140733746489952 18446744073709551615 4241145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=749008 CPUtime=12.51 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 7348 0 0 0 1250 1 0 0 25 0 4 0 519423707 766984192 37849 33554432000 4194304 4797429 140733746489952 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=749008 CPUtime=12.5 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 6427 0 0 0 1249 1 0 0 25 0 4 0 519423707 766984192 37849 33554432000 4194304 4797429 140733746489952 18446744073709551615 4501891 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.18
Current children cumulated vsize (KiB) 749008

[startup+25.501 s]
/proc/loadavg: 5.88 7.31 7.79 9/188 21590
/proc/meminfo: memFree=25146248/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=758156 CPUtime=101.31 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 54674 0 0 0 10117 14 0 0 25 0 4 0 519423690 776351744 43215 33554432000 4194304 4797429 140733746489952 18446744073709551615 4425692 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 189539 43215 419 148 0 184468 0
[pid=21572/tid=21574] ppid=21570 vsize=758156 CPUtime=25.32 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 8351 0 0 0 2530 2 0 0 25 0 4 0 519423707 776351744 43215 33554432000 4194304 4797429 140733746489952 18446744073709551615 4567800 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=758156 CPUtime=25.31 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 8287 0 0 0 2530 1 0 0 25 0 4 0 519423707 776351744 43215 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=758156 CPUtime=25.31 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 7571 0 0 0 2529 2 0 0 25 0 4 0 519423707 776351744 43215 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 758156

[startup+51.1004 s]
/proc/loadavg: 6.66 7.38 7.80 9/188 21591
/proc/meminfo: memFree=25125232/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=772516 CPUtime=203.57 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 74920 0 0 0 20338 19 0 0 25 0 4 0 519423690 791056384 44041 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 193129 44041 420 148 0 188058 0
[pid=21572/tid=21574] ppid=21570 vsize=772516 CPUtime=50.91 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 11221 0 0 0 5089 2 0 0 25 0 4 0 519423707 791056384 44041 33554432000 4194304 4797429 140733746489952 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=772516 CPUtime=50.91 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 11136 0 0 0 5089 2 0 0 25 0 4 0 519423707 791056384 44041 33554432000 4194304 4797429 140733746489952 18446744073709551615 4524142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=772516 CPUtime=50.9 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 10209 0 0 0 5088 2 0 0 25 0 4 0 519423707 791056384 44041 33554432000 4194304 4797429 140733746489952 18446744073709551615 4523848 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.57
Current children cumulated vsize (KiB) 772516

[startup+102.306 s]
/proc/loadavg: 7.53 7.51 7.82 9/188 21592
/proc/meminfo: memFree=25066940/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=786008 CPUtime=408.11 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 106020 0 0 0 40779 32 0 0 25 0 4 0 519423690 804872192 54927 33554432000 4194304 4797429 140733746489952 18446744073709551615 4351804 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 196502 54927 420 148 0 191431 0
[pid=21572/tid=21574] ppid=21570 vsize=786008 CPUtime=102.12 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 14095 0 0 0 10209 3 0 0 25 0 4 0 519423707 804872192 54927 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=786008 CPUtime=102.12 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 13313 0 0 0 10209 3 0 0 25 0 4 0 519423707 804872192 54927 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=786008 CPUtime=102.11 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 12801 0 0 0 10208 3 0 0 25 0 4 0 519423707 804872192 54927 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568042 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 786008

[startup+162.301 s]
/proc/loadavg: 8.07 7.66 7.85 9/188 21594
/proc/meminfo: memFree=25035916/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=797620 CPUtime=647.77 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 146004 0 0 0 64731 46 0 0 25 0 4 0 519423690 816762880 57335 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 199405 57335 420 148 0 194334 0
[pid=21572/tid=21574] ppid=21570 vsize=797620 CPUtime=162.11 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 18011 0 0 0 16207 4 0 0 25 0 4 0 519423707 816762880 57335 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=797620 CPUtime=162.12 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 17142 0 0 0 16207 5 0 0 25 0 4 0 519423707 816762880 57335 33554432000 4194304 4797429 140733746489952 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=797620 CPUtime=162.11 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 16495 0 0 0 16207 4 0 0 25 0 4 0 519423707 816762880 57335 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.77
Current children cumulated vsize (KiB) 797620

[startup+222.301 s]
/proc/loadavg: 8.20 7.76 7.87 9/188 21604
/proc/meminfo: memFree=25024564/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=809088 CPUtime=887.43 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 181809 0 0 0 88682 61 0 0 25 0 4 0 519423690 828506112 57381 33554432000 4194304 4797429 140733746489952 18446744073709551615 4391334 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 202272 57381 420 148 0 197201 0
[pid=21572/tid=21574] ppid=21570 vsize=809088 CPUtime=222.11 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 20841 0 0 0 22206 5 0 0 25 0 4 0 519423707 828506112 57381 33554432000 4194304 4797429 140733746489952 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=809088 CPUtime=222.1 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 20630 0 0 0 22204 6 0 0 25 0 4 0 519423707 828506112 57381 33554432000 4194304 4797429 140733746489952 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=809088 CPUtime=222.11 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 20011 0 0 0 22206 5 0 0 25 0 4 0 519423707 828506112 57381 33554432000 4194304 4797429 140733746489952 18446744073709551615 4423077 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.43
Current children cumulated vsize (KiB) 809088

[startup+282.3 s]

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

[pid=21572] ppid=21570 vsize=850736 CPUtime=2565.19 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 359881 0 0 0 256373 146 0 0 25 0 4 0 519423690 871153664 83999 33554432000 4194304 4797429 140733746489952 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 212684 83999 420 148 0 207613 0
[pid=21572/tid=21574] ppid=21570 vsize=850736 CPUtime=642.13 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 36598 0 0 0 64201 12 0 0 25 0 4 0 519423707 871153664 83999 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=850736 CPUtime=642.11 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 37598 0 0 0 64197 14 0 0 25 0 4 0 519423707 871153664 83999 33554432000 4194304 4797429 140733746489952 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=850736 CPUtime=642.13 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 35996 0 0 0 64200 13 0 0 25 0 4 0 519423707 871153664 83999 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.19
Current children cumulated vsize (KiB) 850736

[startup+702.301 s]
/proc/loadavg: 8.13 8.08 7.98 9/188 21620
/proc/meminfo: memFree=24869700/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=852652 CPUtime=2804.85 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 384453 0 0 0 280326 159 0 0 25 0 4 0 519423690 873115648 81459 33554432000 4194304 4797429 140733746489952 18446744073709551615 4404790 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 213163 81459 420 148 0 208092 0
[pid=21572/tid=21574] ppid=21570 vsize=852652 CPUtime=702.13 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 38515 0 0 0 70201 12 0 0 25 0 4 0 519423707 873115648 81459 33554432000 4194304 4797429 140733746489952 18446744073709551615 4424452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=852652 CPUtime=702.11 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 39359 0 0 0 70196 15 0 0 25 0 4 0 519423707 873115648 81459 33554432000 4194304 4797429 140733746489952 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=852652 CPUtime=702.12 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 36854 0 0 0 70199 13 0 0 25 0 4 0 519423707 873115648 81459 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.85
Current children cumulated vsize (KiB) 852652

[startup+762.307 s]
/proc/loadavg: 8.05 8.07 7.98 9/188 21622
/proc/meminfo: memFree=24882840/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=852640 CPUtime=3044.55 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 414769 0 0 0 304283 172 0 0 25 0 4 0 519423690 873103360 79255 33554432000 4194304 4797429 140733746489952 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 213160 79255 420 148 0 208089 0
[pid=21572/tid=21574] ppid=21570 vsize=852640 CPUtime=762.14 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 40404 0 0 0 76201 13 0 0 25 0 4 0 519423707 873103360 79255 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=852640 CPUtime=762.12 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 41502 0 0 0 76196 16 0 0 25 0 4 0 519423707 873103360 79255 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=852640 CPUtime=762.13 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 39643 0 0 0 76199 14 0 0 25 0 4 0 519423707 873103360 79255 33554432000 4194304 4797429 140733746489952 18446744073709551615 4424410 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.55
Current children cumulated vsize (KiB) 852640

[startup+822.301 s]
/proc/loadavg: 8.18 8.10 8.00 9/188 21623
/proc/meminfo: memFree=24839056/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=869068 CPUtime=3284.21 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 441569 0 0 0 328237 184 0 0 25 0 4 0 519423690 889925632 85562 33554432000 4194304 4797429 140733746489952 18446744073709551615 4387498 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 217267 85562 420 148 0 212196 0
[pid=21572/tid=21574] ppid=21570 vsize=869068 CPUtime=822.14 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 42495 0 0 0 82200 14 0 0 25 0 4 0 519423707 889925632 85562 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=869068 CPUtime=822.11 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 43388 0 0 0 82195 16 0 0 25 0 4 0 519423707 889925632 85562 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=869068 CPUtime=822.13 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 40741 0 0 0 82198 15 0 0 25 0 4 0 519423707 889925632 85562 33554432000 4194304 4797429 140733746489952 18446744073709551615 4567910 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.21
Current children cumulated vsize (KiB) 869068

[startup+882.301 s]
/proc/loadavg: 8.12 8.09 8.00 9/188 21625
/proc/meminfo: memFree=24822060/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=871256 CPUtime=3523.89 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 464017 0 0 0 352192 197 0 0 25 0 4 0 519423690 892166144 87613 33554432000 4194304 4797429 140733746489952 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 217814 87613 420 148 0 212743 0
[pid=21572/tid=21574] ppid=21570 vsize=871256 CPUtime=882.14 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 43069 0 0 0 88200 14 0 0 25 0 4 0 519423707 892166144 87613 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=871256 CPUtime=882.1 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 44305 0 0 0 88194 16 0 0 25 0 4 0 519423707 892166144 87613 33554432000 4194304 4797429 140733746489952 18446744073709551615 4504142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=871256 CPUtime=882.13 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 41464 0 0 0 88198 15 0 0 25 0 4 0 519423707 892166144 87613 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.89
Current children cumulated vsize (KiB) 871256

[startup+942.3 s]
/proc/loadavg: 8.20 8.12 8.01 9/188 21627
/proc/meminfo: memFree=24818452/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=871788 CPUtime=3763.57 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 478437 0 0 0 376154 203 0 0 25 0 4 0 519423690 892710912 90254 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 217947 90254 420 148 0 212876 0
[pid=21572/tid=21574] ppid=21570 vsize=871788 CPUtime=942.14 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 45937 0 0 0 94199 15 0 0 25 0 4 0 519423707 892710912 90254 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=871788 CPUtime=942.11 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 46801 0 0 0 94193 18 0 0 25 0 4 0 519423707 892710912 90254 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=871788 CPUtime=942.13 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 43590 0 0 0 94197 16 0 0 25 0 4 0 519423707 892710912 90254 33554432000 4194304 4797429 140733746489952 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.57
Current children cumulated vsize (KiB) 871788

[startup+1002.3 s]
/proc/loadavg: 8.07 8.09 8.01 9/188 21628
/proc/meminfo: memFree=24812980/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=871788 CPUtime=4003.25 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 481734 0 0 0 400120 205 0 0 25 0 4 0 519423690 892710912 93517 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568144 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 217947 93517 420 148 0 212876 0
[pid=21572/tid=21574] ppid=21570 vsize=871788 CPUtime=1002.13 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 46887 0 0 0 100198 15 0 0 25 0 4 0 519423707 892710912 93517 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=871788 CPUtime=1002.11 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 47957 0 0 0 100193 18 0 0 25 0 4 0 519423707 892710912 93517 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=871788 CPUtime=1002.13 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 44781 0 0 0 100196 17 0 0 25 0 4 0 519423707 892710912 93517 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568144 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.25
Current children cumulated vsize (KiB) 871788

[startup+1062.3 s]
/proc/loadavg: 8.21 8.12 8.02 9/188 21630
/proc/meminfo: memFree=24790536/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=872680 CPUtime=4242.93 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 484049 0 0 0 424086 207 0 0 25 0 4 0 519423690 893624320 95768 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 218170 95768 420 148 0 213099 0
[pid=21572/tid=21574] ppid=21570 vsize=872680 CPUtime=1062.14 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 47607 0 0 0 106198 16 0 0 25 0 4 0 519423707 893624320 95768 33554432000 4194304 4797429 140733746489952 18446744073709551615 4424904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=872680 CPUtime=1062.12 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 48825 0 0 0 106192 20 0 0 25 0 4 0 519423707 893624320 95768 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=872680 CPUtime=1062.13 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 45508 0 0 0 106196 17 0 0 25 0 4 0 519423707 893624320 95768 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.93
Current children cumulated vsize (KiB) 872680

[startup+1122.3 s]
/proc/loadavg: 8.18 8.13 8.02 9/188 21631
/proc/meminfo: memFree=24780704/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=877720 CPUtime=4482.6 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 501462 0 0 0 448046 214 0 0 25 0 4 0 519423690 898785280 89283 33554432000 4194304 4797429 140733746489952 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 219430 89283 420 148 0 214359 0
[pid=21572/tid=21574] ppid=21570 vsize=877720 CPUtime=1122.13 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 49937 0 0 0 112197 16 0 0 25 0 4 0 519423707 898785280 89283 33554432000 4194304 4797429 140733746489952 18446744073709551615 4495544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=877720 CPUtime=1122.11 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 50628 0 0 0 112191 20 0 0 25 0 4 0 519423707 898785280 89283 33554432000 4194304 4797429 140733746489952 18446744073709551615 4414349 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=877720 CPUtime=1122.13 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 47228 0 0 0 112196 17 0 0 25 0 4 0 519423707 898785280 89283 33554432000 4194304 4797429 140733746489952 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.6
Current children cumulated vsize (KiB) 877720

[startup+1182.3 s]
/proc/loadavg: 8.23 8.15 8.03 9/188 21633
/proc/meminfo: memFree=24763812/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=877748 CPUtime=4722.28 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 528237 0 0 0 472000 228 0 0 25 0 4 0 519423690 898813952 93694 33554432000 4194304 4797429 140733746489952 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 219437 93694 420 148 0 214366 0
[pid=21572/tid=21574] ppid=21570 vsize=877748 CPUtime=1182.13 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 51436 0 0 0 118196 17 0 0 25 0 4 0 519423707 898813952 93694 33554432000 4194304 4797429 140733746489952 18446744073709551615 4424399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=877748 CPUtime=1182.11 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 52738 0 0 0 118190 21 0 0 25 0 4 0 519423707 898813952 93694 33554432000 4194304 4797429 140733746489952 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=877748 CPUtime=1182.13 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 49198 0 0 0 118195 18 0 0 25 0 4 0 519423707 898813952 93694 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.28
Current children cumulated vsize (KiB) 877748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.23 8.15 8.04 9/188 21633
/proc/meminfo: memFree=24772096/32951124 swapFree=67111524/67111528
[pid=21572] ppid=21570 vsize=877780 CPUtime=4800.19 cores=0,2,4,6
/proc/21572/stat : 21572 (techdemo) R 21570 21572 20824 0 -1 4202496 536373 0 0 0 479787 232 0 0 25 0 4 0 519423690 898846720 90778 33554432000 4194304 4797429 140733746489952 18446744073709551615 4341204 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21572/statm: 219445 90778 420 148 0 214374 0
[pid=21572/tid=21574] ppid=21570 vsize=877780 CPUtime=1201.64 cores=0,2,4,6
/proc/21572/task/21574/stat : 21574 (techdemo) R 21570 21572 20824 0 -1 4202560 51789 0 0 0 120147 17 0 0 25 0 4 0 519423707 898846720 90778 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=877780 CPUtime=1201.62 cores=0,2,4,6
/proc/21572/task/21575/stat : 21575 (techdemo) R 21570 21572 20824 0 -1 4202560 53116 0 0 0 120141 21 0 0 25 0 4 0 519423707 898846720 90778 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21572/tid=21576] ppid=21570 vsize=877780 CPUtime=1201.64 cores=0,2,4,6
/proc/21572/task/21576/stat : 21576 (techdemo) R 21570 21572 20824 0 -1 4202560 49581 0 0 0 120145 19 0 0 25 0 4 0 519423707 898846720 90778 33554432000 4194304 4797429 140733746489952 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 877780

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.24
CPU user time (s): 4797.9
CPU system time (s): 2.34464
CPU usage (%): 399.411
Max. virtual memory (cumulated for all children) (KiB): 978844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.9
system time used= 2.34464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536374
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= 1845
involuntary context switches= 73509

runsolver used 1.79673 second user time and 4.78027 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 13:57:35
IDJOB=3172600
IDBENCH=82618
IDSOLVER=1584
FILE ID=node132/3172600-1304078255
RUNJOBID= node132-1304078252-21562
PBS_JOBID= 13170489
Free space on /tmp= 71872 MiB

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

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

MD5SUM BENCH= 04e94fe2f2a1881d983170c76e6cb046
RANDOM SEED=608311680

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25385884 kB
Buffers:        769268 kB
Cached:        6234352 kB
SwapCached:          4 kB
Active:        2077452 kB
Inactive:      4990468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25385884 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            9068 kB
Writeback:           0 kB
AnonPages:       63708 kB
Mapped:          14448 kB
Slab:           435356 kB
PageTables:       4612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188984 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71856 MiB
End job on node132 at 2011-04-29 14:17:39