Trace number 3286848

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.4 1203.38

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf
MD5SUM9fe9fe24bc28c127c9f6b6416a14f727
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.21681
Satisfiable
(Un)Satisfiability was proved
Number of variables360364
Number of clauses1076507
Sum of the clauses size2511847
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2717670
Number of clauses of size 3358835
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-3286848-1304043773.cnf'
0.00/0.00	c -- header says num vars:         360364
0.00/0.00	c -- header says num clauses:     1076507
2.10/2.18	c -- clauses added:            0 learnts,      1076507 normals,            0 xors
2.10/2.18	c -- vars added     360364
2.10/2.18	c Parsing time:  1.92 s
2.10/2.18	c  N st     0         0    360364    358835    717670         0   2511845         0   no data   no data  --
3.44/2.51	c asymm  cl-useful: 4/116944/358299 lits-rem:12 time: 1.30
58.16/16.21	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:   34 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 18.4M T: 54.43
58.56/16.33	c Calc non-exist non-lernt bins v-fix:     0 done:  31594 time:  0.41 s
58.56/16.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
58.56/16.35	c Subs w/ non-existent bins:      0 time:  0.06 s
59.39/16.51	c Replacing       34 vars Replaced     1668 lits Time:     0.64 s 
60.16/16.73	c bin-w-bin subsume rem            0 bins  time:  0.31 s
60.96/16.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.69 s
61.76/17.10	c Removed useless bin:       0  fixed:     0  bprops:  10.00M  time:  0.79 s
67.24/18.56	c lits-rem:         0  cl-subs:        0  v-elim: 119909  v-fix:    0  time:  5.32 s
67.24/18.56	c learnt bin added due to v-elim: 0
67.64/18.64	c Finding binary XORs  T:     0.28 s  found:       0
69.22/19.01	c Finding non-binary XORs:     1.11 s (found:   22021, avg size: 3.0)
69.22/19.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   3609 locsubst:     0 time:   0.35
69.22/19.08	c Calc default polars -  time:   0.17 s pos:    4973 undec:  179536 neg:  175855
69.22/19.08	c =========================================================================================
69.22/19.08	c types(t): F = full restart, N = normal restart
69.22/19.08	c types(t): S = simplification begin/end, E = solution found
69.22/19.08	c restart types(rt): st = static, dy = dynamic
69.22/19.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
69.22/19.08	c  B st     0         0    236211    356364    365742         0   1867939         0   no data   no data  --
71.22/19.56	c Decided on static restart strategy
73.21/20.02	c  N dy    14      4091    236211    356364    365885      3905   1867939     31044      8.14      5.88  --
77.20/21.09	c  N dy    29      8791    236211    356364    366067     67753   1867939    257455     12.87      6.65  --
81.59/22.17	c  N dy    47     12816    236211    356364    366129     71722   1867939    303961     14.06      7.15  --
85.21/23.03	c  N dy    61     17085    236211    356364    366162     75921   1867939    350950     11.73      7.40  --
89.19/24.01	c  N dy    73     23847    236211    356364    366195     67737   1867939    253209     18.68      7.87  --
91.98/24.79	c  N dy    84     28795    236211    356364    366212     72634   1867939    311438     13.69      7.98  --
92.78/24.95	c  S st    86     30000    236211    356364    366214     73828   1867939    331474     18.40      8.08  --
93.58/25.17	c  S st    86     30500    236211    356364    366292     74247   1867939    333785     18.40      8.08  --
93.99/25.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    225 locsubst:     0 time:   0.26
142.32/37.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   32 Bin:  36942 BRemL:    119 BRemN:      3 CBin:       0 P: 17.2M T: 48.27
142.73/37.46	c Calc non-exist non-lernt bins v-fix:     0 done:  31846 time:  0.26 s
142.73/37.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.03
142.73/37.49	c Subs w/ non-existent bins:      0 time:  0.09 s
143.10/37.58	c Replacing       32 vars Replaced     1081 lits Time:     0.32 s 
143.91/37.78	c bin-w-bin subsume rem           58 bins  time:  0.26 s
144.70/37.94	c subs with bin:      617  lits-rem:      1939  v-fix:    0  time:  0.56 s
145.50/38.12	c Removed useless bin:       0  fixed:     0  bprops:   4.80M  time:  0.66 s
155.91/40.70	c lits-rem:      4386  cl-subs:    12576  v-elim:  61006  v-fix:    0  time:  9.33 s
155.91/40.70	c learnt bin added due to v-elim: 0
156.68/40.99	c asymm  cl-useful: 32/71662/440974 lits-rem:96 time: 1.01
157.09/41.06	c  N dy    86     30500    178301    440942    213249     61355   1871011    201684     18.40      8.08  --
157.09/41.06	c  F st    86     30500    178301    440942    213249     61355   1871011    201684     18.40      8.08  --
175.46/45.63	c Decided on static restart strategy
176.66/45.93	c  N dy    96     35209    178301    440942    213249     66034   1871011    256065     10.41      8.07  --
180.65/46.96	c  N dy   101     45414    178301    440942    213249     76147   1871011    421141     19.37      8.57  --
181.05/47.05	c  S st   102     45752    178301    440942    213249     76481   1871011    424645     17.62      8.56  --
181.87/47.27	c  S st   102     46253    178301    440942    213252     76974   1871011    428062     17.62      8.56  --
182.27/47.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    160 locsubst:     0 time:   0.27
221.00/57.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bin:   1539 BRemL:     20 BRemN:     56 CBin:       0 P: 16.9M T: 38.78
221.41/57.11	c Calc non-exist non-lernt bins v-fix:     0 done:  31861 time:  0.23 s
221.41/57.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.03
221.41/57.16	c Subs w/ non-existent bins:     26 time:  0.17 s
221.82/57.25	c Replacing        7 vars Replaced      228 lits Time:     0.30 s 
222.59/57.44	c bin-w-bin subsume rem           33 bins  time:  0.23 s
222.99/57.58	c subs with bin:      396  lits-rem:      6748  v-fix:    0  time:  0.55 s
223.39/57.69	c Removed useless bin:       2  fixed:     0  bprops:   3.02M  time:  0.46 s
226.59/58.44	c lits-rem:       598  cl-subs:     1279  v-elim:   1906  v-fix:    0  time:  3.01 s
226.59/58.44	c learnt bin added due to v-elim: 0
227.78/58.71	c asymm  cl-useful: 3/68302/440253 lits-rem:9 time: 1.07
227.78/58.75	c  N dy   102     46253    178018    440250    214377     75350   1867449    400602     17.62      8.56  --
230.20/59.34	c  N dy   105     51580    178018    440250    214377     80641   1867449    501200     15.66      8.86  --
232.99/60.02	c  N dy   110     55985    178018    440250    217093     65266   1872093    219632      9.82      8.86  --
234.60/60.48	c  N dy   113     60409    178018    440250    217093     69658   1872093    273969     10.64      8.83  --
236.58/60.96	c  N dy   118     64800    178018    440250    217093     74011   1872093    344265     13.13      8.98  --
238.99/61.55	c  N dy   126     69379    178018    440250    217093     78545   1872093    417433     15.92      9.06  --
238.99/61.58	c  S st   126     69379    178018    440250    217093     78545   1872093    417433     15.92      9.06  --
239.77/61.79	c  S st   126     69882    178018    440250    217093     79044   1872093    421487     15.92      9.06  --
240.17/61.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:    10 time:   0.26
278.55/71.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:    186 BRemL:    191 BRemN:   2316 CBin:       0 P: 16.4M T: 38.41
278.95/71.54	c Calc non-exist non-lernt bins v-fix:     0 done:  31849 time:  0.26 s
278.95/71.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.03
279.33/71.61	c Subs w/ non-existent bins:     48 time:  0.22 s
279.33/71.68	c Replacing       10 vars Replaced      342 lits Time:     0.29 s 
280.13/71.87	c bin-w-bin subsume rem           17 bins  time:  0.23 s
280.92/72.01	c subs with bin:       62  lits-rem:      5350  v-fix:    0  time:  0.54 s
281.32/72.12	c Removed useless bin:       0  fixed:     0  bprops:   3.01M  time:  0.46 s
382.81/97.55	c ORs :  45872 avg-s:  2.0 cl-sh:  3108 l-rem:   3108 b-add:   1722 v-rep:   0 cl-rem: 7 avg s: 3.0 T:   99.09
525.44/133.20	c Added 0 vars  tried: 80000 time: 140.44
525.44/133.20	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:  140.45
525.84/133.34	c lits-rem:       575  cl-subs:     1155  v-elim:   1869  v-fix:    0  time: 242.59 s
525.84/133.34	c learnt bin added due to v-elim: 0
526.64/133.55	c asymm  cl-useful: 1/60079/439188 lits-rem:3 time: 0.85
526.64/133.59	c  N dy   126     69882    177916    439187    216323     76872   1865304    397221     15.92      9.06  --
526.64/133.59	c  F st   126     69882    177916    439187    216323     76872   1865304    397221     15.92      9.06  --
545.41/138.27	c Decided on static restart strategy
547.41/138.74	c  N dy   139     74826    177916    439187    216323     81790   1865304    456664      9.99      9.00  --
550.62/139.52	c  N dy   149     79746    177916    439187    216323     64859   1865304    219706     11.22      8.99  --
553.41/140.23	c  N dy   152     86827    177916    439187    216323     71872   1865304    322849     21.08      9.06  --
556.20/140.93	c  N dy   158     92709    177916    439187    216323     77720   1865304    398212     14.28      9.06  --
559.40/141.79	c  N dy   165     99369    177916    439187    216323     84333   1865304    502160     18.52      9.13  --
562.19/142.46	c  S st   170    104824    177916    439187    216323     67663   1865304    271532     11.91      9.40  --
563.00/142.64	c  S st   170    105326    177916    439187    216323     68162   1865304    275319     11.91      9.40  --
563.40/142.71	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.26
601.35/152.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      6 BRemL:      4 BRemN:      1 CBin:       0 P: 14.5M T: 38.24
601.75/152.35	c Calc non-exist non-lernt bins v-fix:     0 done:  31854 time:  0.24 s
601.75/152.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
602.15/152.41	c Subs w/ non-existent bins:      8 time:  0.22 s
602.95/152.60	c bin-w-bin subsume rem         1726 bins  time:  0.23 s
603.35/152.73	c subs with bin:        4  lits-rem:      2203  v-fix:    0  time:  0.50 s
603.76/152.84	c Removed useless bin:       5  fixed:     0  bprops:   3.04M  time:  0.45 s
736.01/185.91	c ORs :  60495 avg-s:  2.0 cl-sh:   967 l-rem:    967 b-add:    484 v-rep:   0 cl-rem: 3 avg s: 3.0 T:  130.46
736.39/186.04	c lits-rem:       289  cl-subs:      242  v-elim:   1951  v-fix:    0  time: 132.65 s
736.39/186.04	c learnt bin added due to v-elim: 0
737.19/186.26	c asymm  cl-useful: 42/69225/438641 lits-rem:126 time: 0.87
737.59/186.30	c  N dy   170    105326    177754    438599    214854     67634   1863429    261579     11.91      9.40  --
740.78/187.17	c  N dy   179    112627    177754    438599    214855     74877   1863429    354372     13.08      9.37  --
745.17/188.22	c  N dy   192    120170    177754    438599    214855     82363   1863429    450620     12.28      9.33  --
749.57/189.35	c  N dy   203    127896    177754    438599    214856     66677   1863429    227581     10.29      9.46  --
753.59/190.39	c  N dy   215    136630    177754    438599    214856     75341   1863429    343862     10.28      9.43  --
755.97/190.99	c Finding binary XORs  T:     0.21 s  found:       0
758.76/191.63	c  N dy   227    145968    177754    438599    214856     84616   1863429    473910     14.00      9.44  --
763.96/192.95	c  N dy   246    155295    177754    438599    214856     70007   1863429    262710      9.77      9.37  --
765.56/193.31	c  S st   251    157990    177754    438599    214856     72677   1863429    298403      9.48      9.37  --
766.37/193.52	c  S st   251    158494    177754    438599    214857     73178   1863429    302074      9.48      9.37  --
766.37/193.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     10 locsubst:     0 time:   0.27
804.71/203.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    211 BRemL:     36 BRemN:      0 CBin:       0 P: 16.2M T: 38.19
805.11/203.22	c Calc non-exist non-lernt bins v-fix:     0 done:  31848 time:  0.24 s
805.11/203.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
805.11/203.29	c Subs w/ non-existent bins:     20 time:  0.24 s
805.51/203.36	c Replacing        1 vars Replaced       21 lits Time:     0.29 s 
806.33/203.55	c bin-w-bin subsume rem          483 bins  time:  0.23 s
806.70/203.68	c subs with bin:        6  lits-rem:      2449  v-fix:    0  time:  0.49 s
807.10/203.79	c Removed useless bin:       0  fixed:     0  bprops:   3.04M  time:  0.46 s
951.74/239.99	c ORs :  66181 avg-s:  2.0 cl-sh:   839 l-rem:    839 b-add:    209 v-rep:   0 cl-rem: 0 avg s: nan T:  142.82
952.54/240.13	c lits-rem:       315  cl-subs:      409  v-elim:   1927  v-fix:    0  time: 145.17 s
952.54/240.13	c learnt bin added due to v-elim: 0
953.34/240.30	c asymm  cl-useful: 2/51966/438178 lits-rem:6 time: 0.70
953.34/240.35	c  N dy   251    158494    177596    438176    214553     72595   1861843    292525      9.48      9.37  --
959.33/241.83	c  N dy   270    168636    177596    438176    214775     83264   1861959    428892     12.17      9.36  --
966.12/243.51	c  N dy   291    179659    177596    438176    214775     69084   1861959    237055     11.74      9.39  --
972.11/245.05	c  N dy   309    191340    177596    438176    214776     80676   1861959    417161     11.61      9.44  --
979.30/246.85	c  N dy   329    203755    177596    438176    214776     93017   1861959    606938     12.94      9.48  --
987.28/248.84	c  N dy   355    217301    177596    438176    214777     80372   1861959    368237     19.38      9.44  --
996.88/251.25	c  N dy   392    231351    177596    438176    214777     94323   1861959    564609     11.74      9.46  --
1000.47/252.17	c  S st   404    237742    177596    438176    214777     73906   1861959    284159     12.93      9.46  --
1001.27/252.35	c  S st   404    238244    177596    438176    214778     74403   1861959    289086     12.93      9.46  --
1001.67/252.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      8 locsubst:     0 time:   0.26
1040.02/262.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   15 Bin:     35 BRemL:    448 BRemN:     29 CBin:       0 P: 16.2M T: 38.59
1040.43/262.14	c Calc non-exist non-lernt bins v-fix:     0 done:  31854 time:  0.23 s
1040.43/262.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
1040.83/262.22	c Subs w/ non-existent bins:     36 time:  0.28 s
1041.23/262.30	c Replacing       15 vars Replaced      494 lits Time:     0.30 s 
1041.63/262.49	c bin-w-bin subsume rem          218 bins  time:  0.23 s
1042.43/262.61	c subs with bin:       71  lits-rem:      1887  v-fix:    0  time:  0.49 s
1042.83/262.73	c Removed useless bin:       2  fixed:     0  bprops:   3.04M  time:  0.46 s
1235.01/310.82	c ORs :  88302 avg-s:  2.0 cl-sh:  1654 l-rem:   1654 b-add:    974 v-rep:   0 cl-rem: 16 avg s: 3.0 T:  190.40
1235.41/310.96	c lits-rem:       228  cl-subs:      489  v-elim:   1898  v-fix:    0  time: 192.69 s
1235.41/310.96	c learnt bin added due to v-elim: 0
1236.21/311.11	c asymm  cl-useful: 147/46882/437278 lits-rem:170 time: 0.62
1236.21/311.16	c  N dy   404    238244    177455    437271    214862     73444   1859508    280389     12.93      9.46  --
1245.81/313.55	c  N dy   438    253655    177455    437271    215051     89583   1859622    478489     14.07      9.43  --
1255.78/316.07	c  N dy   468    269880    177455    437271    215051     77130   1859622    311740     10.85      9.45  --
1266.97/318.82	c  N dy   501    287396    177455    437271    215052     94544   1859622    556685     12.67      9.45  --
1278.56/321.75	c  N dy   537    305986    177455    437271    215052     83810   1859622    394846     12.56      9.43  --
1291.74/325.04	c  N dy   579    326548    177455    437271    215052     74215   1859622    269566     14.12      9.44  --
1303.73/328.09	c  N dy   623    346688    177455    437271    215052     94171   1859622    555611     10.85      9.45  --
1310.92/329.86	c  S st   645    357366    177455    437271    215052     73884   1859622    254735     13.11      9.47  --
1311.74/330.05	c  S st   645    357866    177455    437271    215057     74375   1859622    258953     13.11      9.47  --
1312.11/330.11	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:      8 locsubst:     2 time:   0.27
1351.67/340.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     10 BRemL:     42 BRemN:     35 CBin:       0 P: 15.9M T: 39.61
1351.67/340.10	c Calc non-exist non-lernt bins v-fix:     0 done:  31854 time:  0.24 s
1352.07/340.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
1352.07/340.18	c Subs w/ non-existent bins:     13 time:  0.31 s
1352.47/340.26	c Replacing        2 vars Replaced       45 lits Time:     0.30 s 
1353.27/340.46	c bin-w-bin subsume rem          986 bins  time:  0.24 s
1353.67/340.58	c subs with bin:       34  lits-rem:       763  v-fix:    0  time:  0.48 s
1354.47/340.70	c Removed useless bin:       9  fixed:     0  bprops:   3.07M  time:  0.48 s
1602.16/402.73	c ORs : 114180 avg-s:  2.0 cl-sh:  1099 l-rem:   1099 b-add:    856 v-rep:   0 cl-rem: 2 avg s: 3.0 T:  246.08
1602.56/402.88	c lits-rem:       135  cl-subs:      362  v-elim:   1933  v-fix:    0  time: 248.44 s
1602.56/402.88	c learnt bin added due to v-elim: 0
1603.36/403.09	c asymm  cl-useful: 80/74533/436676 lits-rem:99 time: 0.85
1603.76/403.14	c  N dy   645    357866    177299    436669    214541     73509   1857950    253059     13.11      9.47  --
1616.55/406.36	c  N dy   694    378189    177299    436669    214541     93682   1857950    540215     16.04      9.47  --
1630.53/409.86	c  N dy   741    398378    177299    436669    214542     80908   1857950    339506     11.14      9.48  --
1644.91/413.47	c  N dy   779    419172    177299    436669    214543    101548   1857950    645473     20.10      9.49  --
1658.10/416.73	c  N dy   814    439441    177299    436669    214544     88744   1857950    482347     14.03      9.47  --
1671.28/420.05	c  N dy   844    459695    177299    436669    214544     75200   1857950    255091     13.08      9.51  --
1682.86/422.97	c  N dy   874    480535    177299    436669    214545     95824   1857950    590523     26.13      9.49  --
1697.25/426.51	c  N dy   905    500631    177299    436669    214546     81057   1857950    359377     12.30      9.51  --
1710.03/429.71	c  N dy   926    521297    177299    436669    214546    101542   1857950    794371     20.64      9.60  --
1720.44/432.32	c  S st   945    536799    177299    436669    214547     81161   1857950    354594     20.89      9.62  --
1721.21/432.51	c  S st   945    537301    177299    436669    214548     81658   1857950    359676     20.89      9.62  --
1721.21/432.58	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      5 locsubst:     0 time:   0.27
1761.97/442.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     50 BRemL:     13 BRemN:      1 CBin:       0 P: 17.9M T: 40.67
1762.37/442.82	c Calc non-exist non-lernt bins v-fix:     0 done:  31855 time:  0.22 s
1762.37/442.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
1762.77/442.92	c Subs w/ non-existent bins:      0 time:  0.33 s
1763.56/443.12	c bin-w-bin subsume rem          853 bins  time:  0.23 s
1763.98/443.25	c subs with bin:       12  lits-rem:      3412  v-fix:    0  time:  0.53 s
1764.38/443.37	c Removed useless bin:       0  fixed:     0  bprops:   3.07M  time:  0.46 s
2026.41/508.96	c ORs : 120610 avg-s:  2.0 cl-sh:  1367 l-rem:   1367 b-add:    245 v-rep:   0 cl-rem: 4 avg s: 3.2 T:  259.95
2027.21/509.11	c lits-rem:       584  cl-subs:      528  v-elim:   1875  v-fix:    0  time: 262.63 s
2027.21/509.11	c learnt bin added due to v-elim: 0
2028.03/509.30	c asymm  cl-useful: 54/59353/436350 lits-rem:162 time: 0.76
2028.03/509.35	c  N dy   945    537301    177196    436296    213897     80955   1856893    341953     20.89      9.62  --
2028.03/509.35	c  F st   945    537301    177196    436296    213897     80955   1856893    341953     20.89      9.62  --
2042.79/513.07	c Decided on dynamic restart strategy
2055.97/516.34	c  N dy  1091    557320    177196    436296    214003    101260   1856939    634738     17.61      9.58  --
2071.57/520.26	c  N dy  1247    577410    177196    436296    214005     84460   1856939    347232     12.62      9.57  --
2087.13/524.15	c  N dy  1407    597452    177196    436296    214006    104350   1856939    635545     15.27      9.54  --
2103.10/528.19	c  N dy  1563    617453    177196    436296    214008     86769   1856939    357071     11.72      9.53  --
2119.09/532.11	c  N dy  1723    637557    177196    436296    214008    106759   1856939    646945     14.25      9.50  --
2135.86/536.35	c  N dy  1881    657578    177196    436296    214009     87693   1856939    370702     11.36      9.49  --
2152.24/540.46	c  N dy  2037    677662    177196    436296    214009    107667   1856939    668298     14.17      9.48  --
2169.42/544.72	c  N dy  2193    697715    177196    436296    214009     87814   1856939    358609     12.81      9.46  --
2185.40/548.76	c  N dy  2350    717723    177196    436296    214095    108045   1856969    652647     14.45      9.45  --
2202.98/553.15	c  N dy  2507    737726    177196    436296    214096     86921   1856969    361636     16.65      9.46  --
2218.55/557.02	c  N dy  2665    757738    177196    436296    214096    106825   1856969    654210     15.90      9.45  --
2237.33/561.70	c  N dy  2822    777743    177196    436296    214096     84878   1856969    301051     13.56      9.44  --
2252.12/565.43	c  N dy  2977    797835    177196    436296    214097    104844   1856969    605705     13.89      9.43  --
2259.30/567.25	c  S st  3041    805952    177196    436296    214097    112917   1856969    732529     16.53      9.43  --
2260.09/567.47	c  S st  3041    806453    177196    436296    214097    113416   1856969    739517     16.53      9.43  --
2260.51/567.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      7 locsubst:     0 time:   0.27
2303.24/578.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   12 Bin:     64 BRemL:     78 BRemN:     38 CBin:       0 P: 29.8M T: 42.90
2303.64/578.35	c Calc non-exist non-lernt bins v-fix:     0 done:  31855 time:  0.22 s
2303.64/578.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
2304.04/578.46	c Subs w/ non-existent bins:      8 time:  0.39 s
2304.45/578.54	c Replacing       12 vars Replaced      596 lits Time:     0.31 s 
2305.24/578.76	c bin-w-bin subsume rem          255 bins  time:  0.24 s
2306.04/578.93	c subs with bin:       60  lits-rem:     11400  v-fix:    0  time:  0.69 s
2306.44/579.05	c Removed useless bin:       0  fixed:     0  bprops:   3.07M  time:  0.46 s
2576.08/646.56	c ORs : 122408 avg-s:  2.0 cl-sh:  3832 l-rem:   3832 b-add:     91 v-rep:   0 cl-rem: 6 avg s: 3.0 T:  263.99
2576.89/646.73	c lits-rem:      4941  cl-subs:     1878  v-elim:   1849  v-fix:    0  time: 270.34 s
2576.89/646.73	c learnt bin added due to v-elim: 0
2577.67/646.99	c asymm  cl-useful: 0/58136/436124 lits-rem:0 time: 1.04
2578.07/647.03	c  N dy  3041    806453    177112    436124    213776    111379   1856167    685500     16.53      9.43  --
2595.25/651.36	c  N dy  3197    826576    177112    436124    213776     88820   1856167    351409     11.78      9.43  --
2611.22/655.38	c  N dy  3353    846678    177112    436124    213777    108802   1856167    656096     15.57      9.42  --
2630.79/660.26	c  N dy  3509    866768    177112    436124    213777     85033   1856167    283912     14.62      9.42  --
2645.98/664.00	c  N dy  3665    886780    177112    436124    213778    104940   1856167    576453     15.34      9.41  --
2663.96/668.53	c  N dy  3818    906817    177112    436124    213780    124880   1856167    900326     23.40      9.42  --
2679.93/672.58	c  N dy  3975    926898    177112    436124    213780     99825   1856167    513790     18.93      9.42  --
2697.90/677.00	c  N dy  4132    946990    177112    436124    213780    119785   1856167    831962     16.99      9.42  --
2715.88/681.55	c  N dy  4290    967088    177112    436124    213780     93924   1856167    407764     17.67      9.42  --
2732.26/685.65	c  N dy  4446    987187    177112    436124    213782    113903   1856167    736876     14.91      9.43  --
2751.44/690.42	c  N dy  4596   1007194    177112    436124    213782    133796   1856167   1100680     19.02      9.44  --
2768.21/694.67	c  N dy  4755   1027264    177112    436124    213785    106760   1856167    574699     15.73      9.43  --
2787.39/699.47	c  N dy  4910   1047322    177112    436124    213786    126699   1856167    902688     15.55      9.43  --
2805.38/703.90	c  N dy  5066   1067393    177112    436124    213787     98818   1856167    461617     10.79      9.43  --
2822.54/708.27	c  N dy  5222   1087399    177112    436124    213788    118742   1856167    775602     16.67      9.43  --
2841.72/713.09	c  N dy  5376   1107492    177112    436124    213788     89876   1856167    312894     14.59      9.44  --
2857.70/717.01	c  N dy  5533   1127553    177112    436124    213789    109834   1856167    633873     14.07      9.44  --
2876.46/721.71	c  N dy  5686   1147594    177112    436124    213789    129794   1856167    951016     14.89      9.44  --
2894.04/726.16	c  N dy  5842   1167662    177112    436124    213790     99773   1856167    459815     16.68      9.45  --
2911.62/730.56	c  N dy  5997   1187730    177127    436124    214058    120152   1856253    779876     17.29      9.45  --
2931.59/735.56	c  N dy  6152   1207803    177127    436124    214058    140109   1856253   1123538     15.77      9.45  --
2933.99/736.10	c  S st  6167   1209679    177127    436124    214058     91460   1856253    310171     17.21      9.45  --
2934.79/736.31	c  S st  6167   1210180    177127    436124    214059     91957   1856253    315523     17.21      9.45  --
2934.79/736.38	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      5 locsubst:     0 time:   0.28
2978.33/747.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bin:     63 BRemL:     89 BRemN:     11 CBin:       0 P: 20.7M T: 43.55
2978.73/747.36	c Calc non-exist non-lernt bins v-fix:     0 done:  31851 time:  0.26 s
2978.73/747.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.05
2979.13/747.46	c Subs w/ non-existent bins:     26 time:  0.36 s
2979.53/747.55	c Replacing       14 vars Replaced      707 lits Time:     0.31 s 
2980.33/747.75	c bin-w-bin subsume rem          119 bins  time:  0.24 s
2980.73/747.88	c subs with bin:       48  lits-rem:       614  v-fix:    0  time:  0.51 s
2981.14/747.99	c Removed useless bin:       1  fixed:     0  bprops:   3.07M  time:  0.46 s
3266.76/819.43	c ORs : 131428 avg-s:  2.0 cl-sh:   556 l-rem:    556 b-add:    309 v-rep:   0 cl-rem: 13 avg s: 3.1 T:  283.47
3267.16/819.59	c lits-rem:       225  cl-subs:      202  v-elim:   1812  v-fix:    0  time: 286.01 s
3267.16/819.59	c learnt bin added due to v-elim: 0
3268.33/819.83	c asymm  cl-useful: 0/53052/435925 lits-rem:0 time: 0.94
3268.33/819.87	c  N dy  6167   1210180    177074    435925    214147     91480   1855667    312671     17.21      9.45  --
3284.74/823.96	c  N dy  6324   1230182    177074    435925    214214    111629   1855697    632198     16.76      9.46  --
3303.49/828.68	c  N dy  6480   1250185    177074    435925    214214    131538   1855697    957817     16.31      9.46  --
3322.26/833.32	c  N dy  6635   1270255    177074    435925    214214     98931   1855697    427330     19.91      9.47  --
3339.04/837.53	c  N dy  6791   1290361    177074    435925    214214    118929   1855697    766869     19.91      9.47  --
3359.04/842.52	c  N dy  6945   1310384    177074    435925    214214    138848   1855697   1122554     18.14      9.48  --
3377.01/847.10	c  N dy  7102   1330392    177074    435925    214214    106043   1855697    511529     18.32      9.47  --
3394.97/851.58	c  N dy  7259   1350500    177074    435925    214268    126257   1855709    843639     17.54      9.47  --
3416.16/856.84	c  N dy  7414   1370611    177074    435925    214268    146232   1855709   1209864     18.87      9.48  --
3433.32/861.15	c  N dy  7571   1390633    177074    435925    214268    112320   1855709    592872     18.06      9.48  --
3451.71/865.72	c  N dy  7724   1410692    177074    435925    214269    132274   1855709    944954     20.22      9.48  --
3472.46/870.90	c  N dy  7877   1430780    177074    435925    214269     97720   1855709    367323     19.29      9.50  --
3484.84/874.09	c Finding binary XORs  T:     0.21 s  found:       2
3489.23/875.17	c  N dy  8034   1450895    177074    435925    214269    117730   1855709    682327     17.84      9.49  --
3509.21/880.13	c  N dy  8190   1471018    177074    435925    214269    137764   1855709   1039727     17.04      9.50  --
3529.98/885.30	c  N dy  8345   1491105    177074    435925    214269    101767   1855709    425528     17.66      9.51  --
3546.76/889.59	c  N dy  8498   1511219    177074    435925    214271    121751   1855709    779056     15.54      9.52  --
3568.33/894.93	c  N dy  8653   1531326    177074    435925    214271    141762   1855709   1133314     18.42      9.52  --
3587.92/899.88	c  N dy  8810   1551382    177074    435925    214271    104735   1855709    464042     20.08      9.53  --
3606.27/904.49	c  N dy  8965   1571478    177074    435925    214271    124737   1855709    802089     14.88      9.53  --
3627.06/909.67	c  N dy  9118   1591530    177074    435925    214271    144688   1855709   1163219     19.69      9.54  --
3647.02/914.65	c  N dy  9272   1611581    177074    435925    214271    106952   1855709    477650     14.76      9.54  --
3664.59/919.08	c  N dy  9424   1631651    177074    435925    214271    126903   1855709    818978     25.11      9.55  --
3685.36/924.25	c  N dy  9579   1651693    177074    435925    214271    146847   1855709   1156332     14.36      9.55  --
3704.55/929.09	c  N dy  9736   1671712    177074    435925    214271    107775   1855709    487350     14.99      9.56  --
3723.32/933.75	c  N dy  9892   1691849    177074    435925    214271    127812   1855709    830100     17.14      9.56  --
3742.50/938.56	c  S st 10032   1710180    177074    435925    214271    146038   1855709   1148313     24.07      9.57  --
3743.70/938.83	c  S st 10032   1710682    177074    435925    214272    146537   1855709   1156511     24.07      9.57  --
3744.10/938.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:    22 time:   0.29
3792.03/950.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:     48 BRemL:     33 BRemN:     11 CBin:       0 P: 55.3M T: 48.25
3792.43/951.05	c Calc non-exist non-lernt bins v-fix:     0 done:  31848 time:  0.24 s
3792.43/951.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
3792.83/951.18	c Subs w/ non-existent bins:     24 time:  0.47 s
3793.23/951.27	c Replacing       14 vars Replaced      910 lits Time:     0.33 s 
3794.45/951.51	c bin-w-bin subsume rem          326 bins  time:  0.24 s
3795.22/951.74	c subs with bin:       56  lits-rem:     22668  v-fix:    0  time:  0.95 s
3795.62/951.86	c Removed useless bin:       4  fixed:     0  bprops:   3.07M  time:  0.47 s
4092.83/1026.20	c ORs : 134064 avg-s:  2.0 cl-sh:  6951 l-rem:   6951 b-add:    130 v-rep:   0 cl-rem: 4 avg s: 5.2 T:  289.01
4093.24/1026.38	c lits-rem:      9937  cl-subs:     2583  v-elim:   1798  v-fix:    0  time: 296.95 s
4093.24/1026.38	c learnt bin added due to v-elim: 0
4094.42/1026.60	c asymm  cl-useful: 1/59614/435841 lits-rem:3 time: 0.90
4094.42/1026.65	c  N dy 10032   1710682    177038    435840    213998    143819   1855396   1064285     24.07      9.57  --
4115.99/1032.00	c  N dy 10182   1730763    177038    435840    213998    104216   1855396    414960     14.29      9.57  --
4132.79/1036.27	c  N dy 10335   1750774    177038    435840    213999    124134   1855396    730979     16.92      9.57  --
4152.74/1041.28	c  N dy 10487   1770846    177038    435840    213999    144114   1855396   1077879     17.45      9.58  --
4173.51/1046.44	c  N dy 10632   1790886    177038    435840    214000    102975   1855396    391375     18.90      9.59  --
4191.09/1050.83	c  N dy 10789   1810961    177038    435840    214000    122970   1855396    701527     16.08      9.59  --
4210.66/1055.76	c  N dy 10939   1830998    177038    435840    214000    142913   1855396   1033683     19.73      9.59  --
4233.03/1061.33	c  N dy 11084   1851013    177038    435840    214000    100897   1855396    349150     16.20      9.60  --
4250.61/1065.78	c  N dy 11241   1871064    177038    435840    214001    120847   1855396    649049     15.39      9.60  --
4270.98/1070.80	c  N dy 11396   1891147    177038    435840    214085    141191   1855404    984997     14.38      9.60  --
4292.55/1076.20	c  N dy 11535   1911253    177038    435840    214085    161190   1855404   1400686     56.18      9.62  --
4310.93/1080.81	c  N dy 11687   1931362    177038    435840    214086    118176   1855404    627540     17.91      9.62  --
4330.52/1085.75	c  N dy 11840   1951381    177038    435840    214086    138092   1855404    970911     18.67      9.63  --
4352.09/1091.15	c  N dy 11988   1971421    177038    435840    214086    158055   1855404   1336493     20.70      9.64  --
4372.05/1096.15	c  N dy 12143   1991449    177038    435840    214089    114296   1855404    545246     18.71      9.64  --
4391.22/1100.91	c  N dy 12299   2011462    177038    435840    214090    134223   1855404    879960     16.97      9.65  --
4412.79/1106.30	c  N dy 12448   2031513    177038    435840    214091    154168   1855404   1259077     21.04      9.66  --
4435.16/1111.94	c  N dy 12601   2051596    177038    435840    214091    109149   1855404    456289     15.45      9.66  --
4453.56/1116.56	c  N dy 12755   2071607    177038    435840    214091    129080   1855404    782227     16.18      9.66  --
4474.70/1121.89	c  N dy 12909   2091729    177038    435840    214091    149089   1855404   1136322     21.01      9.67  --
4497.50/1127.54	c  N dy 13056   2111814    177038    435840    214091    169082   1855404   1495792     20.20      9.68  --
4515.45/1132.01	c  N dy 13210   2131841    177038    435840    214091    123097   1855404    668960     15.43      9.68  --
4535.02/1137.00	c  N dy 13357   2151979    177038    435840    214091    143150   1855404   1028375     22.04      9.68  --
4558.20/1142.73	c  N dy 13507   2172083    177038    435840    214091    163183   1855404   1381594     15.55      9.69  --
4579.76/1148.16	c  N dy 13666   2192161    177038    435840    214091    116083   1855404    531024     13.24      9.69  --
4598.94/1152.92	c  S st 13813   2210683    177038    435840    214091    134525   1855404    808950     16.09      9.69  --
4599.74/1153.18	c  S st 13813   2211184    177038    435840    214094    135021   1855404    814757     16.09      9.69  --
4600.14/1153.25	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.28
4649.27/1165.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:     29 BRemL:     28 BRemN:      6 CBin:       0 P: 49.0M T: 49.19
4649.67/1165.64	c Calc non-exist non-lernt bins v-fix:     0 done:  31848 time:  0.24 s
4649.67/1165.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.05
4650.07/1165.76	c Subs w/ non-existent bins:     10 time:  0.44 s
4650.47/1165.85	c Replacing        5 vars Replaced      296 lits Time:     0.32 s 
4651.29/1166.07	c bin-w-bin subsume rem          141 bins  time:  0.24 s
4652.07/1166.25	c subs with bin:       34  lits-rem:     11602  v-fix:    0  time:  0.70 s
4652.47/1166.36	c Removed useless bin:       3  fixed:     0  bprops:   3.07M  time:  0.47 s

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-3286848-1304043773/watcher-3286848-1304043773 -o /tmp/evaluation-result-3286848-1304043773/solver-3286848-1304043773 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3286848-1304043773.cnf 

running on 4 cores: 1,3,5,7

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: 1.52 1.73 1.85 3/173 31613
/proc/meminfo: memFree=27169188/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=52216 CPUtime=0 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 1324 0 0 0 0 0 0 0 21 0 1 0 515975914 53469184 1259 33554432000 4194304 4797429 140736232448368 18446744073709551615 4365441 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31613/statm: 13089 1265 348 148 0 8018 0

[startup+0.0640969 s]
/proc/loadavg: 1.52 1.73 1.85 3/173 31613
/proc/meminfo: memFree=27169188/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=72368 CPUtime=0.05 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 7342 0 0 0 5 0 0 0 21 0 1 0 515975914 74104832 5798 33554432000 4194304 4797429 140736232448368 18446744073709551615 210204308165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31613/statm: 18092 5799 349 148 0 13021 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 72368

[startup+0.101075 s]
/proc/loadavg: 1.52 1.73 1.85 3/173 31613
/proc/meminfo: memFree=27169188/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=89760 CPUtime=0.09 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 12027 0 0 0 8 1 0 0 21 0 1 0 515975914 91914240 8648 33554432000 4194304 4797429 140736232448368 18446744073709551615 4407927 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31613/statm: 22440 8653 349 148 0 17369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 89760

[startup+0.301043 s]
/proc/loadavg: 1.52 1.73 1.85 3/173 31613
/proc/meminfo: memFree=27169188/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=151808 CPUtime=0.29 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 31103 0 0 0 27 2 0 0 22 0 1 0 515975914 155451392 23929 33554432000 4194304 4797429 140736232448368 18446744073709551615 210204308165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31613/statm: 37952 23930 349 148 0 32881 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 151808

[startup+0.700973 s]
/proc/loadavg: 1.52 1.73 1.85 3/173 31613
/proc/meminfo: memFree=27169188/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=269796 CPUtime=0.69 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 68626 0 0 0 62 7 0 0 24 0 1 0 515975914 276271104 53872 33554432000 4194304 4797429 140736232448368 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31613/statm: 67449 53874 349 148 0 62378 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 269796

[startup+1.50084 s]
/proc/loadavg: 1.52 1.73 1.85 3/178 31619
/proc/meminfo: memFree=26505996/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=517824 CPUtime=1.49 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 143243 0 0 0 133 16 0 0 25 0 1 0 515975914 530251776 113487 33554432000 4194304 4797429 140736232448368 18446744073709551615 4367912 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31613/statm: 129456 113489 349 148 0 124385 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 517824

[startup+3.10052 s]
/proc/loadavg: 1.52 1.73 1.85 3/178 31619
/proc/meminfo: memFree=25856844/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=1455396 CPUtime=5.84 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 242568 0 0 0 555 29 0 0 19 0 4 0 515975914 1490325504 176510 33554432000 4194304 4797429 140736232448368 18446744073709551615 4241128 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 363849 176510 384 148 0 358778 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 1455396

[startup+6.30099 s]
/proc/loadavg: 2.04 1.84 1.88 9/184 31625
/proc/meminfo: memFree=25649500/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=1455396 CPUtime=18.63 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 242568 0 0 0 1834 29 0 0 25 0 4 0 515975914 1490325504 176510 33554432000 4194304 4797429 140736232448368 18446744073709551615 4428594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 363849 176510 384 148 0 358778 0
[pid=31613/tid=31620] ppid=31611 vsize=1455396 CPUtime=4.1 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 4191 0 0 0 410 0 0 0 25 0 4 0 515976132 1490325504 176510 33554432000 4194304 4797429 140736232448368 18446744073709551615 4241128 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=1455396 CPUtime=4.1 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 4057 0 0 0 410 0 0 0 25 0 4 0 515976132 1490325504 176510 33554432000 4194304 4797429 140736232448368 18446744073709551615 4241148 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=1455396 CPUtime=4.08 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 6103 0 0 0 408 0 0 0 25 0 4 0 515976132 1490325504 176510 33554432000 4194304 4797429 140736232448368 18446744073709551615 4242448 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.63
Current children cumulated vsize (KiB) 1455396

[startup+12.7009 s]
/proc/loadavg: 2.52 1.94 1.91 9/184 31625
/proc/meminfo: memFree=24759320/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=1455396 CPUtime=44.19 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 242568 0 0 0 4390 29 0 0 25 0 4 0 515975914 1490325504 176510 33554432000 4194304 4797429 140736232448368 18446744073709551615 4241148 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 363849 176510 384 148 0 358778 0
[pid=31613/tid=31620] ppid=31611 vsize=1455396 CPUtime=10.5 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 4191 0 0 0 1050 0 0 0 25 0 4 0 515976132 1490325504 176510 33554432000 4194304 4797429 140736232448368 18446744073709551615 4428580 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=1455396 CPUtime=10.5 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 4057 0 0 0 1050 0 0 0 25 0 4 0 515976132 1490325504 176510 33554432000 4194304 4797429 140736232448368 18446744073709551615 4242373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=1455396 CPUtime=10.45 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 6103 0 0 0 1045 0 0 0 25 0 4 0 515976132 1490325504 176510 33554432000 4194304 4797429 140736232448368 18446744073709551615 4240955 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 44.19
Current children cumulated vsize (KiB) 1455396

[startup+25.5008 s]
/proc/loadavg: 3.73 2.24 2.01 9/184 31625
/proc/meminfo: memFree=23846084/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=1969368 CPUtime=95.17 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 387922 0 0 0 9438 79 0 0 25 0 4 0 515975914 2016632832 310294 33554432000 4194304 4797429 140736232448368 18446744073709551615 4240944 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 492342 310294 479 148 0 487271 0
[pid=31613/tid=31620] ppid=31611 vsize=1969368 CPUtime=23.28 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 36370 0 0 0 2321 7 0 0 25 0 4 0 515976132 2016632832 310294 33554432000 4194304 4797429 140736232448368 18446744073709551615 4240944 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=1969368 CPUtime=23.28 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 45851 0 0 0 2313 15 0 0 25 0 4 0 515976132 2016632832 310294 33554432000 4194304 4797429 140736232448368 18446744073709551615 4240955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=1969368 CPUtime=23.14 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 40416 0 0 0 2299 15 0 0 25 0 4 0 515976132 2016632832 310294 33554432000 4194304 4797429 140736232448368 18446744073709551615 4241148 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 95.17
Current children cumulated vsize (KiB) 1969368

[startup+51.1005 s]
/proc/loadavg: 5.24 2.71 2.17 9/184 31626
/proc/meminfo: memFree=23657368/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2152740 CPUtime=197.42 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 2621468 0 0 0 19405 337 0 0 25 0 4 0 515975914 2204405760 355595 33554432000 4194304 4797429 140736232448368 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 538185 355595 480 148 0 533114 0
[pid=31613/tid=31620] ppid=31611 vsize=2152740 CPUtime=48.89 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 860735 0 0 0 4786 103 0 0 25 0 4 0 515976132 2204405760 355595 33554432000 4194304 4797429 140736232448368 18446744073709551615 4242468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2152740 CPUtime=48.87 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 581468 0 0 0 4805 82 0 0 25 0 4 0 515976132 2204405760 355595 33554432000 4194304 4797429 140736232448368 18446744073709551615 4242448 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2152740 CPUtime=48.6 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 636097 0 0 0 4776 84 0 0 25 0 4 0 515976132 2204405760 355595 33554432000 4194304 4797429 140736232448368 18446744073709551615 4237276 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 197.42
Current children cumulated vsize (KiB) 2152740

[startup+102.307 s]
/proc/loadavg: 6.88 3.54 2.48 9/184 31627
/proc/meminfo: memFree=23618344/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2171436 CPUtime=402 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 4645423 0 0 0 39672 528 0 0 25 0 4 0 515975914 2223550464 362339 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 542859 362339 483 148 0 537788 0
[pid=31613/tid=31620] ppid=31611 vsize=2171436 CPUtime=100.09 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 1834529 0 0 0 9814 195 0 0 25 0 4 0 515976132 2223550464 362339 33554432000 4194304 4797429 140736232448368 18446744073709551615 4281340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2171436 CPUtime=100.07 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 583615 0 0 0 9925 82 0 0 25 0 4 0 515976132 2223550464 362339 33554432000 4194304 4797429 140736232448368 18446744073709551615 4650569 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2171436 CPUtime=99.57 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 1678724 0 0 0 9775 182 0 0 25 0 4 0 515976132 2223550464 362339 33554432000 4194304 4797429 140736232448368 18446744073709551615 4386163 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 2171436

[startup+162.301 s]
/proc/loadavg: 7.62 4.37 2.83 9/184 31629
/proc/meminfo: memFree=23532052/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2176460 CPUtime=641.7 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 5806849 0 0 0 63544 626 0 0 25 0 4 0 515975914 2228695040 367195 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 544115 367195 483 148 0 539044 0
[pid=31613/tid=31620] ppid=31611 vsize=2176460 CPUtime=160.08 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 1903612 0 0 0 15805 203 0 0 25 0 4 0 515976132 2228695040 367195 33554432000 4194304 4797429 140736232448368 18446744073709551615 4237256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2176460 CPUtime=160.08 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 586867 0 0 0 15925 83 0 0 25 0 4 0 515976132 2228695040 367195 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2176460 CPUtime=159.28 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 1681546 0 0 0 15746 182 0 0 25 0 4 0 515976132 2228695040 367195 33554432000 4194304 4797429 140736232448368 18446744073709551615 4241148 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 641.7
Current children cumulated vsize (KiB) 2176460

[startup+222.301 s]
/proc/loadavg: 7.98 5.06 3.16 9/184 31631
/proc/meminfo: memFree=23413408/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2190512 CPUtime=881.42 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 5814920 0 0 0 87514 628 0 0 25 0 4 0 515975914 2243084288 370219 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 547628 370219 483 148 0 542557 0
[pid=31613/tid=31620] ppid=31611 vsize=2190512 CPUtime=220.08 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 1905253 0 0 0 21805 203 0 0 25 0 4 0 515976132 2243084288 370219 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2190512 CPUtime=220.08 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 587044 0 0 0 21925 83 0 0 25 0 4 0 515976132 2243084288 370219 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2190512 CPUtime=218.99 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 1683057 0 0 0 21716 183 0 0 25 0 4 0 515976132 2243084288 370219 33554432000 4194304 4797429 140736232448368 18446744073709551615 4242448 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 881.42
Current children cumulated vsize (KiB) 2190512

[startup+282.301 s]
/proc/loadavg: 8.05 5.60 3.47 9/184 31632
/proc/meminfo: memFree=23399748/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2193616 CPUtime=1121.13 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 5820670 0 0 0 111484 629 0 0 25 0 4 0 515975914 2246262784 371336 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 548404 371336 483 148 0 543333 0
[pid=31613/tid=31620] ppid=31611 vsize=2193616 CPUtime=280.09 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 1906137 0 0 0 27805 204 0 0 25 0 4 0 515976132 2246262784 371336 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2193616 CPUtime=280.08 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 587111 0 0 0 27925 83 0 0 25 0 4 0 515976132 2246262784 371336 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2193616 CPUtime=278.71 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 1683683 0 0 0 27688 183 0 0 25 0 4 0 515976132 2246262784 371336 33554432000 4194304 4797429 140736232448368 18446744073709551615 4237276 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1121.13

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

[pid=31613] ppid=31611 vsize=2234784 CPUtime=2798.97 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 7441918 0 0 0 279102 795 0 0 25 0 4 0 515975914 2288418816 379874 33554432000 4194304 4797429 140736232448368 18446744073709551615 4377498 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 558696 379874 483 148 0 553625 0
[pid=31613/tid=31620] ppid=31611 vsize=2234784 CPUtime=700.09 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 1911269 0 0 0 69805 204 0 0 25 0 4 0 515976132 2288418816 379874 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2234784 CPUtime=700.08 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1404359 0 0 0 69845 163 0 0 25 0 4 0 515976132 2288418816 379874 33554432000 4194304 4797429 140736232448368 18446744073709551615 4237276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2234784 CPUtime=696.53 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2433488 0 0 0 69401 252 0 0 25 0 4 0 515976132 2288418816 379874 33554432000 4194304 4797429 140736232448368 18446744073709551615 4242468 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2798.97
Current children cumulated vsize (KiB) 2234784

[startup+762.306 s]
/proc/loadavg: 8.06 7.60 5.33 9/184 31645
/proc/meminfo: memFree=22948076/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2268616 CPUtime=3038.67 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 7461055 0 0 0 303068 799 0 0 25 0 4 0 515975914 2323062784 384902 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 567154 384902 483 148 0 562083 0
[pid=31613/tid=31620] ppid=31611 vsize=2268616 CPUtime=760.1 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 1923908 0 0 0 75803 207 0 0 25 0 4 0 515976132 2323062784 384902 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2268616 CPUtime=760.09 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1404896 0 0 0 75846 163 0 0 25 0 4 0 515976132 2323062784 384902 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2268616 CPUtime=756.21 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2433488 0 0 0 75369 252 0 0 25 0 4 0 515976132 2323062784 384902 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3038.67
Current children cumulated vsize (KiB) 2268616

[startup+822.3 s]
/proc/loadavg: 8.13 7.70 5.50 9/184 31647
/proc/meminfo: memFree=22961204/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2268616 CPUtime=3278.33 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 7461483 0 0 0 327033 800 0 0 25 0 4 0 515975914 2323062784 385314 33554432000 4194304 4797429 140736232448368 18446744073709551615 4424399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 567154 385314 483 148 0 562083 0
[pid=31613/tid=31620] ppid=31611 vsize=2268616 CPUtime=820.1 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 1923927 0 0 0 81803 207 0 0 25 0 4 0 515976132 2323062784 385314 33554432000 4194304 4797429 140736232448368 18446744073709551615 210204316081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2268616 CPUtime=820.08 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1404929 0 0 0 81845 163 0 0 25 0 4 0 515976132 2323062784 385314 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2268616 CPUtime=815.88 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2433512 0 0 0 81336 252 0 0 25 0 4 0 515976132 2323062784 385314 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3278.33
Current children cumulated vsize (KiB) 2268616

[startup+882.3 s]
/proc/loadavg: 8.12 7.77 5.66 9/184 31648
/proc/meminfo: memFree=22936736/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2281728 CPUtime=3518 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 7476224 0 0 0 350995 805 0 0 25 0 4 0 515975914 2336489472 390343 33554432000 4194304 4797429 140736232448368 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 570432 390343 483 148 0 565361 0
[pid=31613/tid=31620] ppid=31611 vsize=2281728 CPUtime=880.1 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 1923929 0 0 0 87803 207 0 0 25 0 4 0 515976132 2336489472 390343 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2281728 CPUtime=880.08 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1404929 0 0 0 87845 163 0 0 25 0 4 0 515976132 2336489472 390343 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2281728 CPUtime=875.55 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2434576 0 0 0 87303 252 0 0 25 0 4 0 515976132 2336489472 390343 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518
Current children cumulated vsize (KiB) 2281728

[startup+942.3 s]
/proc/loadavg: 8.11 7.82 5.81 9/184 31650
/proc/meminfo: memFree=22869980/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2347800 CPUtime=3757.67 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 7489381 0 0 0 374957 810 0 0 25 0 4 0 515975914 2404147200 392557 33554432000 4194304 4797429 140736232448368 18446744073709551615 4242459 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 586950 392557 483 148 0 581879 0
[pid=31613/tid=31620] ppid=31611 vsize=2347800 CPUtime=940.1 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 1923956 0 0 0 93803 207 0 0 25 0 4 0 515976132 2404147200 392557 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2347800 CPUtime=940.08 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1405977 0 0 0 93845 163 0 0 25 0 4 0 515976132 2404147200 392557 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2347800 CPUtime=935.23 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2434980 0 0 0 93271 252 0 0 25 0 4 0 515976132 2404147200 392557 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.67
Current children cumulated vsize (KiB) 2347800

[startup+1002.3 s]
/proc/loadavg: 8.10 7.87 5.95 9/184 31651
/proc/meminfo: memFree=22955284/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2413336 CPUtime=3997.35 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 8265015 0 0 0 398854 881 0 0 25 0 4 0 515975914 2471256064 392599 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 603334 392599 483 148 0 598263 0
[pid=31613/tid=31620] ppid=31611 vsize=2413336 CPUtime=1000.1 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 2699589 0 0 0 99732 278 0 0 25 0 4 0 515976132 2471256064 392599 33554432000 4194304 4797429 140736232448368 18446744073709551615 4508782 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2413336 CPUtime=1000.08 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1405977 0 0 0 99845 163 0 0 25 0 4 0 515976132 2471256064 392599 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2413336 CPUtime=994.9 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2434980 0 0 0 99238 252 0 0 25 0 4 0 515976132 2471256064 392599 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.35
Current children cumulated vsize (KiB) 2413336

[startup+1062.3 s]
/proc/loadavg: 8.09 7.90 6.08 9/184 31653
/proc/meminfo: memFree=22840916/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2417704 CPUtime=4237.03 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 8279506 0 0 0 422816 887 0 0 25 0 4 0 515975914 2475728896 388322 33554432000 4194304 4797429 140736232448368 18446744073709551615 4423629 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 604426 388322 483 148 0 599355 0
[pid=31613/tid=31620] ppid=31611 vsize=2417704 CPUtime=1060.1 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 2699589 0 0 0 105732 278 0 0 25 0 4 0 515976132 2475728896 388322 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2417704 CPUtime=1060.09 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1407773 0 0 0 105845 164 0 0 25 0 4 0 515976132 2475728896 388322 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2417704 CPUtime=1054.58 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2439254 0 0 0 105205 253 0 0 25 0 4 0 515976132 2475728896 388322 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.03
Current children cumulated vsize (KiB) 2417704

[startup+1122.3 s]
/proc/loadavg: 8.03 7.92 6.20 9/184 31655
/proc/meminfo: memFree=22760756/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2421444 CPUtime=4476.7 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 8294386 0 0 0 446778 892 0 0 25 0 4 0 515975914 2479558656 390147 33554432000 4194304 4797429 140736232448368 18446744073709551615 4424887 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 605361 390147 483 148 0 600290 0
[pid=31613/tid=31620] ppid=31611 vsize=2421444 CPUtime=1120.1 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 2699621 0 0 0 111732 278 0 0 25 0 4 0 515976132 2479558656 390147 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2421444 CPUtime=1120.09 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1407773 0 0 0 111845 164 0 0 25 0 4 0 515976132 2479558656 390147 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2421444 CPUtime=1114.25 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2439938 0 0 0 111172 253 0 0 25 0 4 0 515976132 2479558656 390147 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.7
Current children cumulated vsize (KiB) 2421444

[startup+1182.3 s]
/proc/loadavg: 8.06 7.94 6.31 9/184 31656
/proc/meminfo: memFree=22714736/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2427616 CPUtime=4716.38 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 8307802 0 0 0 470741 897 0 0 25 0 4 0 515975914 2485878784 388619 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510040 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 606904 388619 483 148 0 601833 0
[pid=31613/tid=31620] ppid=31611 vsize=2427616 CPUtime=1180.1 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 2704100 0 0 0 117732 278 0 0 25 0 4 0 515976132 2485878784 388619 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2427616 CPUtime=1180.09 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1407789 0 0 0 117845 164 0 0 25 0 4 0 515976132 2485878784 388619 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2427616 CPUtime=1173.92 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2439938 0 0 0 117139 253 0 0 25 0 4 0 515976132 2485878784 388619 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.38
Current children cumulated vsize (KiB) 2427616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.12 7.96 6.36 9/184 31657
/proc/meminfo: memFree=22714976/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2427616 CPUtime=4800.31 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 8308178 0 0 0 479134 897 0 0 25 0 4 0 515975914 2485878784 388994 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 606904 388994 483 148 0 601833 0
[pid=31613/tid=31620] ppid=31611 vsize=2427616 CPUtime=1201.11 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 2704100 0 0 0 119833 278 0 0 25 0 4 0 515976132 2485878784 388994 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2427616 CPUtime=1201.1 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1407789 0 0 0 119946 164 0 0 25 0 4 0 515976132 2485878784 388994 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2427616 CPUtime=1194.81 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2440314 0 0 0 119228 253 0 0 25 0 4 0 515976132 2485878784 388994 33554432000 4194304 4797429 140736232448368 18446744073709551615 4237256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 2427616

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

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

[startup+1203.3 s]
/proc/loadavg: 8.12 7.96 6.36 9/184 31657
/proc/meminfo: memFree=22714976/32951124 swapFree=67088964/67111528
[pid=31613] ppid=31611 vsize=2427616 CPUtime=4800.31 cores=1,3,5,7
/proc/31613/stat : 31613 (techdemo) R 31611 31613 31580 0 -1 4202496 8308178 0 0 0 479134 897 0 0 25 0 4 0 515975914 2485878784 388994 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31613/statm: 606904 388994 483 148 0 601833 0
[pid=31613/tid=31620] ppid=31611 vsize=2427616 CPUtime=1201.11 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (techdemo) R 31611 31613 31580 0 -1 4202560 2704100 0 0 0 119833 278 0 0 25 0 4 0 515976132 2485878784 388994 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31613/tid=31621] ppid=31611 vsize=2427616 CPUtime=1201.1 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (techdemo) R 31611 31613 31580 0 -1 4202560 1407789 0 0 0 119946 164 0 0 25 0 4 0 515976132 2485878784 388994 33554432000 4194304 4797429 140736232448368 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31613/tid=31622] ppid=31611 vsize=2427616 CPUtime=1194.81 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (techdemo) R 31611 31613 31580 0 -1 4202560 2440314 0 0 0 119228 253 0 0 25 0 4 0 515976132 2485878784 388994 33554432000 4194304 4797429 140736232448368 18446744073709551615 4237256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 2427616

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.38
CPU time (s): 4800.4
CPU user time (s): 4791.36
CPU system time (s): 9.03463
CPU usage (%): 398.909
Max. virtual memory (cumulated for all children) (KiB): 2542380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.36
system time used= 9.03463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8308178
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= 26027
involuntary context switches= 20488

runsolver used 1.45078 second user time and 4.85926 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 04:22:54
IDJOB=3286848
IDBENCH=82446
IDSOLVER=1584
FILE ID=node130/3286848-1304043773
RUNJOBID= node130-1304043773-31599
PBS_JOBID= 13170389
Free space on /tmp= 71956 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286848-1304043773/watcher-3286848-1304043773 -o /tmp/evaluation-result-3286848-1304043773/solver-3286848-1304043773 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3286848-1304043773.cnf

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

MD5SUM BENCH= 9fe9fe24bc28c127c9f6b6416a14f727
RANDOM SEED=1529522085

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27170956 kB
Buffers:       1148752 kB
Cached:        4110836 kB
SwapCached:      22432 kB
Active:         379584 kB
Inactive:      4966084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27170956 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:           51004 kB
Writeback:           8 kB
AnonPages:       63096 kB
Mapped:          14556 kB
Slab:           369312 kB
PageTables:       4532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188840 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= 71940 MiB
End job on node130 at 2011-04-29 04:42:59