Trace number 3291816

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.25 1201.72

General information on the benchmark

NameSAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
MD5SUM5ba57e5cfd40b4a93356dbea5162016d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark384.789
Satisfiable
(Un)Satisfiability was proved
Number of variables570
Number of clauses4625
Sum of the clauses size9615
Maximum clause length6
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24531
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 51
Number of clauses of size over 590

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-3291816-1304180701.cnf'
0.00/0.00	c -- header says num vars:            570
0.00/0.00	c -- header says num clauses:        4625
0.00/0.00	c -- clauses added:            0 learnts,         4625 normals,            0 xors
0.00/0.00	c -- vars added        570
0.00/0.00	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       570        93      4483         0      9518         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/92/92 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.00/0.01	c Calc non-exist non-lernt bins v-fix:     0 done:    497 time:  0.00 s
0.00/0.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.01	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  bprops:   0.02M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:    229  v-fix:    0  time:  0.01 s
0.00/0.01	c learnt bin added due to v-elim: 0
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.60/0.14	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.60/0.14	c calculated reachability. Time: 0.00
0.60/0.14	c Calc default polars -  time:   0.00 s pos:       0 undec:     175 neg:     395
0.60/0.14	c =========================================================================================
0.60/0.14	c types(t): F = full restart, N = normal restart
0.60/0.14	c types(t): S = simplification begin/end, E = solution found
0.60/0.14	c restart types(rt): st = static, dy = dynamic
0.60/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.60/0.14	c  B st     0         0       395       815      2422         0      9486         0   no data   no data  --
0.60/0.14	c Decided on static restart strategy
5.95/1.59	c  N dy    12     30001       395       815      2422     10521      9486    195605     23.05     10.78  --
6.35/1.60	c  S st    12     30001       395       815      2422     10521      9486    195605     23.05     10.78  --
6.35/1.63	c  S st    12     30506       395       815      2432     11023      9506    208263     23.05     10.78  --
6.35/1.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.35/1.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.75/1.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:     10 CBin:       0 P:  4.0M T:  0.33
6.75/1.71	c Calc non-exist non-lernt bins v-fix:     0 done:    395 time:  0.00 s
6.75/1.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.75/1.72	c Subs w/ non-existent bins:      0 time:  0.02 s
6.75/1.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.75/1.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.19 s
6.75/1.77	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
7.55/1.93	c lits-rem:       320  cl-subs:     4656  v-elim:    153  v-fix:    0  time:  0.65 s
7.55/1.93	c learnt bin added due to v-elim: 0
7.55/1.93	c vivif2 --  cl tried      851 cl shrink        0 lits rem          0 time: 0.00
7.55/1.93	c vivif2 --  cl tried     6367 cl shrink        0 lits rem          0 time: 0.01
7.55/1.95	c asymm  cl-useful: 0/759/851 lits-rem:0 time: 0.07
7.55/1.95	c calculated reachability. Time: 0.00
7.55/1.95	c  N dy    12     30506       390       851      2381      6367      9784    116339     23.05     10.78  --
7.55/1.95	c  F st    12     30506       390       851      2381      6367      9784    116339     23.05     10.78  --
7.95/2.06	c Decided on static restart strategy
11.14/2.85	c  N dy    23     45759       390       851      2381     13661      9784    261785     23.38     10.94  --
11.14/2.86	c  S st    23     45759       390       851      2381     13661      9784    261785     23.38     10.94  --
11.14/2.88	c  S st    23     46261       390       851      2381     14157      9784    273774     23.38     10.94  --
11.14/2.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.14/2.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.54/2.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.7M T:  0.39
11.54/2.98	c Calc non-exist non-lernt bins v-fix:     0 done:    390 time:  0.00 s
11.54/2.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.54/2.99	c Subs w/ non-existent bins:      0 time:  0.02 s
11.54/2.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.94/3.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.24 s
11.94/3.05	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
13.16/3.32	c lits-rem:       366  cl-subs:      844  v-elim:    148  v-fix:    0  time:  1.08 s
13.16/3.32	c learnt bin added due to v-elim: 0
13.16/3.32	c vivif2 --  cl tried      851 cl shrink        0 lits rem          0 time: 0.00
13.16/3.33	c vivif2 --  cl tried    13313 cl shrink        0 lits rem          0 time: 0.02
13.16/3.36	c asymm  cl-useful: 0/851/851 lits-rem:0 time: 0.12
13.16/3.36	c calculated reachability. Time: 0.00
13.16/3.36	c  N dy    23     46261       390       851      2381     13313      9784    255661     23.38     10.94  --
19.93/5.09	c  N dy    29     69391       390       851      2381     17299      9784    298926     18.38     11.32  --
20.33/5.11	c  S st    29     69391       390       851      2381     17299      9784    298926     18.38     11.32  --
20.33/5.15	c  S st    29     69893       390       851      2381     17797      9784    312107     18.38     11.32  --
20.33/5.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.33/5.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.73/5.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.0M T:  0.48
20.73/5.27	c Calc non-exist non-lernt bins v-fix:     0 done:    390 time:  0.00 s
20.73/5.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.73/5.28	c Subs w/ non-existent bins:      0 time:  0.02 s
20.73/5.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.13/5.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.22 s
21.13/5.34	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
22.72/5.75	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.00
24.72/6.23	c Added 4 vars  tried: 80000 time: 1.91
24.72/6.27	c ORs :      4 avg-s:  0.0 cl-sh:  6542 l-rem:   6542 b-add:      8 v-rep:   0 cl-rem: 0 avg s: nan T:    2.10
24.72/6.28	c lits-rem:       577  cl-subs:     2051  v-elim:    148  v-fix:    0  time:  3.77 s
24.72/6.28	c learnt bin added due to v-elim: 0
24.72/6.28	c vivif2 --  cl tried      855 cl shrink        0 lits rem          0 time: 0.00
24.72/6.28	c vivif2 --  cl tried    15746 cl shrink        0 lits rem          0 time: 0.02
25.12/6.32	c asymm  cl-useful: 0/855/855 lits-rem:0 time: 0.13
25.12/6.32	c calculated reachability. Time: 0.00
25.12/6.32	c  N dy    29     69893       394       855      2389     15746      9789    264952     18.38     11.32  --
25.12/6.32	c  F st    29     69893       394       855      2389     15746      9789    264952     18.38     11.32  --
25.52/6.48	c Decided on static restart strategy
37.11/9.37	c  N dy    38    104840       394       855      2389     14703      9789    198729     17.36     10.99  --
37.11/9.37	c  S st    38    104840       394       855      2389     14703      9789    198729     17.36     10.99  --
37.51/9.41	c  S st    38    105347       394       855      2389     15205      9789    211014     17.36     10.99  --
37.51/9.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.51/9.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.91/9.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.4M T:  0.39
37.91/9.51	c Calc non-exist non-lernt bins v-fix:     0 done:    394 time:  0.00 s
37.91/9.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.91/9.51	c Subs w/ non-existent bins:      0 time:  0.02 s
37.91/9.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.91/9.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
37.91/9.55	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
38.71/9.73	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
38.71/9.74	c lits-rem:       398  cl-subs:     3108  v-elim:    148  v-fix:    0  time:  0.75 s
38.71/9.74	c learnt bin added due to v-elim: 0
38.71/9.74	c vivif2 --  cl tried      897 cl shrink        0 lits rem          0 time: 0.00
38.71/9.74	c vivif2 --  cl tried    12097 cl shrink        0 lits rem          0 time: 0.01
38.71/9.77	c asymm  cl-useful: 0/897/897 lits-rem:0 time: 0.11
38.71/9.77	c calculated reachability. Time: 0.00
38.71/9.77	c  N dy    38    105347       393       897      2345     12097      9830    169436     17.36     10.99  --
59.48/14.97	c  N dy    39    158022       393       897      2345     19638      9830    282632     18.87     10.78  --
59.48/14.99	c  S st    39    158022       393       897      2345     19638      9830    282632     18.87     10.78  --
59.88/15.02	c  S st    39    158528       393       897      2345     20141      9830    296116     18.87     10.78  --
59.88/15.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.88/15.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.28/15.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.6M T:  0.66
60.28/15.19	c Calc non-exist non-lernt bins v-fix:     0 done:    393 time:  0.00 s
60.28/15.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.28/15.20	c Subs w/ non-existent bins:      0 time:  0.02 s
60.68/15.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.68/15.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
60.68/15.25	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
62.27/15.64	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
62.27/15.64	c lits-rem:       581  cl-subs:     4143  v-elim:    147  v-fix:    0  time:  1.56 s
62.27/15.64	c learnt bin added due to v-elim: 0
62.27/15.64	c vivif2 --  cl tried      897 cl shrink        0 lits rem          0 time: 0.00
62.27/15.65	c vivif2 --  cl tried    15998 cl shrink        0 lits rem          0 time: 0.02
62.27/15.69	c asymm  cl-useful: 0/897/897 lits-rem:0 time: 0.16
62.27/15.69	c calculated reachability. Time: 0.00
62.27/15.69	c  N dy    39    158528       393       897      2345     15998      9830    239270     18.87     10.78  --
91.43/22.98	c  N dy    48    237792       393       897      2345     21286      9830    313714     22.71     10.58  --
91.43/22.99	c  S st    48    237792       393       897      2345     21286      9830    313714     22.71     10.58  --
91.85/23.04	c  S st    48    238294       412       897      2425     21915      9906    326979     22.71     10.58  --
91.85/23.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.85/23.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.63/23.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     22 BRemL:      0 BRemN:      0 CBin:       0 P: 18.4M T:  0.97
92.63/23.28	c Calc non-exist non-lernt bins v-fix:     0 done:    412 time:  0.00 s
92.63/23.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.63/23.29	c Subs w/ non-existent bins:      0 time:  0.03 s
92.63/23.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
93.02/23.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.26 s
93.02/23.36	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
95.02/23.84	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
95.02/23.84	c lits-rem:       374  cl-subs:     2796  v-elim:    147  v-fix:    0  time:  1.92 s
95.02/23.84	c learnt bin added due to v-elim: 0
95.02/23.84	c vivif2 --  cl tried      897 cl shrink        0 lits rem          0 time: 0.00
95.02/23.85	c vivif2 --  cl tried    19119 cl shrink        0 lits rem          0 time: 0.02
95.42/23.90	c asymm  cl-useful: 0/897/897 lits-rem:0 time: 0.21
95.42/23.90	c calculated reachability. Time: 0.00
95.42/23.90	c  N dy    48    238294       412       897      2447     19119      9906    293820     22.71     10.58  --
154.95/38.84	c  N dy    53    357441       412       897      2447     47104      9906    834128     19.02     10.73  --
154.95/38.88	c  S st    53    357441       412       897      2447     47104      9906    834128     19.02     10.73  --
155.35/38.96	c  S st    53    357944       432       897      2517     47799      9994    849184     19.02     10.73  --
155.35/38.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
155.35/38.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
157.34/39.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      3 BRemN:      0 CBin:       0 P: 33.5M T:  1.94
157.34/39.45	c Calc non-exist non-lernt bins v-fix:     0 done:    432 time:  0.01 s
157.34/39.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
157.34/39.47	c Subs w/ non-existent bins:      0 time:  0.06 s
157.34/39.47	c Replacing        2 vars Replaced       57 lits Time:     0.02 s 
157.34/39.49	c bin-w-bin subsume rem            4 bins  time:  0.00 s
158.16/39.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.75 s
158.16/39.68	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
164.13/41.17	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
164.13/41.18	c lits-rem:      2241  cl-subs:     6804  v-elim:    147  v-fix:    0  time:  5.99 s
164.13/41.18	c learnt bin added due to v-elim: 0
164.13/41.18	c vivif2 --  cl tried      897 cl shrink        0 lits rem          0 time: 0.00
164.13/41.19	c vivif2 --  cl tried    40995 cl shrink        0 lits rem          0 time: 0.06
164.53/41.28	c asymm  cl-useful: 0/731/897 lits-rem:0 time: 0.36
164.53/41.28	c calculated reachability. Time: 0.00
164.53/41.28	c  N dy    53    357944       430       897      2502     40995      9978    732356     19.02     10.73  --
269.59/67.57	c  N dy    55    536918       430       897      2502     54381      9978    930161     23.80     10.69  --
269.99/67.60	c  S st    55    536918       430       897      2502     54381      9978    930161     23.80     10.69  --
269.99/67.69	c  S st    55    537419       435       897      2512     54921      9998    942992     23.80     10.69  --
269.99/67.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.99/67.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
273.18/68.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 54.3M T:  3.16
273.18/68.49	c Calc non-exist non-lernt bins v-fix:     0 done:    435 time:  0.01 s
273.18/68.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
273.58/68.51	c Subs w/ non-existent bins:      0 time:  0.07 s
273.58/68.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
274.38/68.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.98 s
274.38/68.77	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
281.57/70.59	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 30.0 T:    0.01
284.37/71.27	c Added 5 vars  tried: 80000 time: 2.71
284.77/71.30	c ORs :      5 avg-s:  0.0 cl-sh:  4703 l-rem:   4703 b-add:     12 v-rep:   1 cl-rem: 3 avg s: 8.7 T:    2.86
284.77/71.32	c lits-rem:      1878  cl-subs:    10303  v-elim:    147  v-fix:    0  time: 10.19 s
284.77/71.32	c learnt bin added due to v-elim: 0
284.77/71.32	c vivif2 --  cl tried      901 cl shrink        0 lits rem          0 time: 0.00
284.77/71.33	c vivif2 --  cl tried    44615 cl shrink        0 lits rem          0 time: 0.06
285.18/71.43	c asymm  cl-useful: 0/665/901 lits-rem:0 time: 0.36
285.18/71.43	c calculated reachability. Time: 0.00
285.18/71.43	c  N dy    55    537419       440       901      2524     44615     10032    782714     23.80     10.69  --
285.18/71.43	c  F st    55    537419       440       901      2524     44615     10032    782714     23.80     10.69  --
285.18/71.45	c Replacing        1 vars Replaced     2291 lits Time:     0.07 s 
286.36/71.80	c Decided on static restart strategy
457.72/114.61	c  N dy    64    806129       439       901      2536     37694     10028    441740     21.08     10.69  --
457.72/114.62	c  S st    64    806129       439       901      2536     37694     10028    441740     21.08     10.69  --
457.72/114.69	c  S st    64    806632       439       901      2537     38195     10028    454909     21.08     10.69  --
457.72/114.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
457.72/114.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
460.12/115.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      8 BRemL:      4 BRemN:      0 CBin:       0 P: 48.3M T:  2.36
460.12/115.28	c Calc non-exist non-lernt bins v-fix:     0 done:    439 time:  0.00 s
460.12/115.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
460.12/115.30	c Subs w/ non-existent bins:      0 time:  0.05 s
460.52/115.30	c bin-w-bin subsume rem            2 bins  time:  0.00 s
462.12/115.71	c subs with bin:     9093  lits-rem:       480  v-fix:    0  time:  1.61 s
462.12/115.71	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
464.52/116.39	c ORs :      7 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 11.0 T:    0.00
464.92/116.40	c lits-rem:       663  cl-subs:      911  v-elim:    146  v-fix:    0  time:  2.76 s
464.92/116.40	c learnt bin added due to v-elim: 0
464.92/116.40	c vivif2 --  cl tried      900 cl shrink        0 lits rem          0 time: 0.00
464.92/116.40	c vivif2 --  cl tried    28191 cl shrink        0 lits rem          0 time: 0.03
465.33/116.51	c asymm  cl-useful: 0/900/900 lits-rem:0 time: 0.43
465.33/116.51	c calculated reachability. Time: 0.00
465.33/116.51	c  N dy    64    806632       439       900      2539     28191     10021    350410     21.08     10.69  --
784.49/196.47	c  N dy    65   1209948       439       900      2539     89873     10021   1486686     18.71     10.81  --
784.89/196.53	c  S st    65   1209948       439       900      2539     89873     10021   1486686     18.71     10.81  --
784.89/196.53	c Finding binary XORs  T:     0.00 s  found:       0
785.29/196.66	c  S st    65   1210450       454       900      2571     90488     10081   1501529     18.71     10.81  --
785.29/196.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
785.29/196.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
789.28/197.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  3.91
789.28/197.65	c Calc non-exist non-lernt bins v-fix:     0 done:    454 time:  0.01 s
789.28/197.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
789.28/197.68	c Subs w/ non-existent bins:      0 time:  0.14 s
789.68/197.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
791.28/198.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.58 s
791.28/198.11	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
805.66/201.77	c ORs :      7 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
805.66/201.79	c lits-rem:       634  cl-subs:    15838  v-elim:    147  v-fix:    0  time: 14.70 s
805.66/201.79	c learnt bin added due to v-elim: 0
805.66/201.79	c vivif2 --  cl tried      900 cl shrink        0 lits rem          0 time: 0.00
806.06/201.82	c vivif2 --  cl tried    74650 cl shrink        5 lits rem          9 time: 0.12
806.46/201.92	c asymm  cl-useful: 0/463/900 lits-rem:0 time: 0.38
806.46/201.92	c calculated reachability. Time: 0.00
806.46/201.92	c  N dy    65   1210450       454       900      2571     74650     10081   1254946     18.71     10.81  --
1274.24/319.06	c  N dy    66   1710450       454       900      2571     60774     10081    946095     27.47     10.95  --
1274.61/319.10	c  S st    66   1710450       454       900      2571     60774     10081    946095     27.47     10.95  --
1275.01/319.22	c  S st    66   1710953       474       900      2658     61354     10169    959403     27.47     10.95  --
1275.01/319.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1275.01/319.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1279.02/320.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      4 BRemN:      0 CBin:       0 P: 60.1M T:  4.07
1279.02/320.25	c Calc non-exist non-lernt bins v-fix:     0 done:    474 time:  0.01 s
1279.02/320.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1279.02/320.27	c Subs w/ non-existent bins:      0 time:  0.09 s
1279.02/320.28	c Replacing        2 vars Replaced       47 lits Time:     0.02 s 
1279.02/320.29	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1280.22/320.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.96 s
1280.22/320.53	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1284.61/321.64	c ORs :      7 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.03
1284.61/321.66	c lits-rem:       859  cl-subs:     3757  v-elim:    147  v-fix:    0  time:  4.49 s
1284.61/321.66	c learnt bin added due to v-elim: 0
1284.61/321.66	c vivif2 --  cl tried      900 cl shrink        0 lits rem          0 time: 0.00
1284.61/321.68	c vivif2 --  cl tried    57597 cl shrink        4 lits rem          6 time: 0.08
1285.01/321.77	c asymm  cl-useful: 0/387/900 lits-rem:0 time: 0.38
1285.01/321.78	c calculated reachability. Time: 0.00
1285.01/321.78	c  N dy    66   1710953       472       900      2642     57597     10153    907332     27.47     10.95  --
1808.29/452.72	c  N dy    67   2210954       472       900      2642     74083     10153   1222676     29.76     11.30  --
1808.29/452.78	c  S st    67   2210954       472       900      2642     74083     10153   1222676     29.76     11.30  --
1809.10/452.91	c  S st    67   2211457       482       900      2671     74724     10201   1237359     29.76     11.30  --
1809.10/452.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1809.10/452.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1813.89/454.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  5.07
1813.89/454.19	c Calc non-exist non-lernt bins v-fix:     0 done:    482 time:  0.01 s
1813.89/454.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1814.30/454.22	c Subs w/ non-existent bins:      0 time:  0.10 s
1814.30/454.22	c Replacing        2 vars Replaced       63 lits Time:     0.03 s 
1814.30/454.25	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1815.88/454.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.48 s
1815.88/454.62	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1820.67/455.80	c ORs :      7 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
1824.27/456.75	c Added 5 vars  tried: 80000 time: 3.79
1824.27/456.78	c ORs :      5 avg-s:  0.0 cl-sh:  5532 l-rem:   5532 b-add:     13 v-rep:   0 cl-rem: 2 avg s: 4.5 T:    3.92
1824.67/456.80	c lits-rem:       457  cl-subs:     1999  v-elim:    147  v-fix:    0  time:  8.73 s
1824.67/456.80	c learnt bin added due to v-elim: 0
1824.67/456.80	c vivif2 --  cl tried      904 cl shrink        0 lits rem          0 time: 0.00
1824.67/456.83	c vivif2 --  cl tried    72721 cl shrink        1 lits rem          1 time: 0.11
1825.07/456.94	c asymm  cl-useful: 0/196/904 lits-rem:0 time: 0.42
1825.07/456.94	c calculated reachability. Time: 0.00
1825.07/456.94	c  N dy    67   2211457       485       904      2672     72721     10176   1186627     29.76     11.30  --
2461.40/616.21	c  N dy    68   2711457       485       904      2672     95217     10176   1563470     26.18     11.35  --
2461.40/616.28	c  S st    68   2711457       485       904      2672     95217     10176   1563470     26.18     11.35  --
2462.20/616.46	c  S st    68   2711959       485       904      2672     95715     10176   1575994     26.18     11.35  --
2462.20/616.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2462.20/616.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2466.99/617.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:     11 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  4.82
2466.99/617.68	c Calc non-exist non-lernt bins v-fix:     0 done:    485 time:  0.01 s
2466.99/617.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2467.39/617.72	c Subs w/ non-existent bins:      0 time:  0.14 s
2467.39/617.73	c Replacing        3 vars Replaced      595 lits Time:     0.04 s 
2467.39/617.76	c bin-w-bin subsume rem            6 bins  time:  0.00 s
2469.00/618.19	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  1.72 s
2469.00/618.19	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
2480.57/621.03	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.06
2480.57/621.06	c lits-rem:       437  cl-subs:    10877  v-elim:    151  v-fix:    0  time: 11.44 s
2480.57/621.06	c learnt bin added due to v-elim: 0
2480.57/621.06	c vivif2 --  cl tried      950 cl shrink        1 lits rem          1 time: 0.00
2480.57/621.09	c vivif2 --  cl tried    84838 cl shrink        2 lits rem          5 time: 0.13
2480.97/621.19	c asymm  cl-useful: 0/325/949 lits-rem:0 time: 0.42
2481.37/621.20	c calculated reachability. Time: 0.00
2481.37/621.20	c  N dy    68   2711959       479       949      2618     84838     10202   1385064     26.18     11.35  --
2481.37/621.20	c  F st    68   2711959       479       949      2618     84838     10202   1385064     26.18     11.35  --
2483.76/621.87	c Decided on static restart strategy
3110.93/778.89	c  N dy    75   3211959       479       949      2618    135373     10202   2318525     24.97     11.35  --
3111.31/778.99	c  S st    75   3211959       479       949      2618    135373     10202   2318525     24.97     11.35  --
3111.31/778.99	c Finding binary XORs  T:     0.00 s  found:       0
3112.51/779.25	c  S st    75   3212462       499       949      2687    135964     10282   2331508     24.97     11.35  --
3112.51/779.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3112.51/779.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3117.30/780.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      8 BRemN:      0 CBin:       0 P: 60.1M T:  4.93
3117.30/780.49	c Calc non-exist non-lernt bins v-fix:     0 done:    499 time:  0.02 s
3117.30/780.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3117.70/780.54	c Subs w/ non-existent bins:      0 time:  0.21 s
3117.70/780.59	c bin-w-bin subsume rem            1 bins  time:  0.00 s
3120.49/781.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.71 s
3120.49/781.27	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
3143.26/786.98	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 10.0 T:    0.13
3143.66/787.02	c lits-rem:       297  cl-subs:    13239  v-elim:    148  v-fix:    0  time: 22.96 s
3143.66/787.02	c learnt bin added due to v-elim: 0
3143.66/787.02	c vivif2 --  cl tried      949 cl shrink        0 lits rem          0 time: 0.00
3143.66/787.07	c vivif2 --  cl tried   122724 cl shrink        1 lits rem          7 time: 0.20
3144.06/787.18	c asymm  cl-useful: 0/171/949 lits-rem:0 time: 0.44
3144.06/787.18	c calculated reachability. Time: 0.00
3144.06/787.18	c  N dy    75   3212462       499       949      2679    122724     10281   2081748     24.97     11.35  --
3818.75/956.09	c  N dy    77   3712462       499       949      2679    139625     10281   2241004     22.12     11.36  --
3819.15/956.18	c  S st    77   3712462       499       949      2679    139625     10281   2241004     22.12     11.36  --
3820.35/956.47	c  S st    77   3712962       508       949      2705    140179     10323   2252515     22.12     11.36  --
3820.35/956.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3820.35/956.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3825.54/957.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      2 BRemN:      3 CBin:       0 P: 60.0M T:  4.98
3825.54/957.73	c Calc non-exist non-lernt bins v-fix:     0 done:    508 time:  0.02 s
3825.54/957.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3825.54/957.78	c Subs w/ non-existent bins:      3 time:  0.22 s
3825.54/957.79	c Replacing        3 vars Replaced       41 lits Time:     0.04 s 
3825.94/957.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3828.33/958.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.47 s
3828.33/958.46	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
3851.50/964.27	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.09
3851.90/964.31	c lits-rem:        65  cl-subs:    19181  v-elim:    148  v-fix:    0  time: 23.36 s
3851.90/964.31	c learnt bin added due to v-elim: 0
3851.90/964.31	c vivif2 --  cl tried      949 cl shrink        0 lits rem          0 time: 0.00
3851.90/964.36	c vivif2 --  cl tried   120995 cl shrink        0 lits rem          0 time: 0.19
3852.30/964.46	c asymm  cl-useful: 0/231/949 lits-rem:0 time: 0.40
3852.30/964.46	c calculated reachability. Time: 0.00
3852.30/964.46	c  N dy    77   3712962       505       949      2694    120995     10305   1920996     22.12     11.36  --
4560.13/1141.65	c  N dy    79   4212963       505       949      2694    104072     10305   1561685     25.14     11.53  --
4560.55/1141.72	c  S st    79   4212963       505       949      2694    104072     10305   1561685     25.14     11.53  --
4561.33/1141.94	c  S st    79   4213465       511       949      2707    104603     10329   1575930     25.14     11.53  --
4561.33/1141.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4561.33/1141.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4566.52/1143.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  5.04
4566.52/1143.21	c Calc non-exist non-lernt bins v-fix:     0 done:    511 time:  0.01 s
4566.52/1143.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4566.52/1143.25	c Subs w/ non-existent bins:      0 time:  0.16 s
4566.52/1143.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4568.52/1143.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.82 s
4568.52/1143.74	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
4576.91/1145.87	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.07
4581.30/1146.95	c Added 6 vars  tried: 80000 time: 4.34
4581.30/1146.99	c ORs :      6 avg-s:  0.0 cl-sh:  5387 l-rem:   5387 b-add:     13 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    4.46
4581.70/1147.02	c lits-rem:       248  cl-subs:     4127  v-elim:    148  v-fix:    0  time: 13.08 s
4581.70/1147.02	c learnt bin added due to v-elim: 0
4581.70/1147.02	c vivif2 --  cl tried      955 cl shrink        0 lits rem          0 time: 0.00
4581.70/1147.06	c vivif2 --  cl tried   100473 cl shrink        2 lits rem          3 time: 0.15
4582.10/1147.16	c asymm  cl-useful: 0/190/955 lits-rem:0 time: 0.42
4582.10/1147.17	c calculated reachability. Time: 0.00
4582.10/1147.17	c  N dy    79   4213465       517       955      2721    100473     10361   1484608     25.14     11.53  --

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.73 5.82 7.13 3/172 6909
/proc/meminfo: memFree=30816484/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=51072 CPUtime=0 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 772 0 0 0 0 0 0 0 18 0 1 0 529668024 52297728 708 33554432000 4194304 4797429 140735168491312 18446744073709551615 228244010017 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6909/statm: 12768 709 349 148 0 7697 0

[startup+0.018758 s]
/proc/loadavg: 3.73 5.82 7.13 3/172 6909
/proc/meminfo: memFree=30816484/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=672612 CPUtime=0.03 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) S 6907 6909 6256 0 -1 4202496 1173 0 0 0 3 0 0 0 18 0 4 0 529668024 688754688 1084 33554432000 4194304 4797429 140735168491312 18446744073709551615 228244453870 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 168253 1413 409 148 0 163182 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 672612

[startup+0.16136 s]
/proc/loadavg: 3.73 5.82 7.13 3/172 6909
/proc/meminfo: memFree=30816484/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=673556 CPUtime=0.6 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 2029 0 0 0 60 0 0 0 18 0 4 0 529668024 689721344 1925 33554432000 4194304 4797429 140735168491312 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 168389 1925 411 148 0 163318 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 673556

[startup+0.361324 s]
/proc/loadavg: 3.73 5.82 7.13 3/172 6909
/proc/meminfo: memFree=30816484/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=675272 CPUtime=1.4 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 3035 0 0 0 140 0 0 0 18 0 4 0 529668024 691478528 2375 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 168818 2375 412 148 0 163747 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 675272

[startup+0.700267 s]
/proc/loadavg: 3.73 5.82 7.13 3/172 6909
/proc/meminfo: memFree=30816484/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=677500 CPUtime=2.75 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 4694 0 0 0 275 0 0 0 18 0 4 0 529668024 693760000 3836 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 169375 3836 416 148 0 164304 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 677500

[startup+1.50113 s]
/proc/loadavg: 3.73 5.82 7.13 9/184 6922
/proc/meminfo: memFree=30678260/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=678604 CPUtime=5.95 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 6101 0 0 0 595 0 0 0 20 0 4 0 529668024 694890496 4689 33554432000 4194304 4797429 140735168491312 18446744073709551615 4351654 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 169651 4689 418 148 0 164580 0
[pid=6909/tid=6912] ppid=6907 vsize=678604 CPUtime=1.47 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 1299 0 0 0 147 0 0 0 23 0 4 0 529668025 694890496 4689 33554432000 4194304 4797429 140735168491312 18446744073709551615 4520020 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=678604 CPUtime=1.48 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 1185 0 0 0 148 0 0 0 20 0 4 0 529668025 694890496 4689 33554432000 4194304 4797429 140735168491312 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=678604 CPUtime=1.48 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 1181 0 0 0 148 0 0 0 23 0 4 0 529668025 694890496 4689 33554432000 4194304 4797429 140735168491312 18446744073709551615 4428984 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 678604

[startup+3.10085 s]
/proc/loadavg: 3.73 5.82 7.13 9/184 6922
/proc/meminfo: memFree=30642920/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=680720 CPUtime=12.34 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 8581 0 0 0 1233 1 0 0 25 0 4 0 529668024 697057280 5496 33554432000 4194304 4797429 140735168491312 18446744073709551615 4524360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 170180 5496 418 148 0 165109 0
[pid=6909/tid=6912] ppid=6907 vsize=680720 CPUtime=3.07 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 1636 0 0 0 307 0 0 0 25 0 4 0 529668025 697057280 5496 33554432000 4194304 4797429 140735168491312 18446744073709551615 4356128 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=680720 CPUtime=3.08 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 1556 0 0 0 308 0 0 0 25 0 4 0 529668025 697057280 5496 33554432000 4194304 4797429 140735168491312 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=680720 CPUtime=3.08 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 1555 0 0 0 308 0 0 0 25 0 4 0 529668025 697057280 5496 33554432000 4194304 4797429 140735168491312 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 680720

[startup+6.30029 s]
/proc/loadavg: 4.07 5.86 7.14 9/184 6922
/proc/meminfo: memFree=30615796/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=682748 CPUtime=25.12 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 11375 0 0 0 2510 2 0 0 25 0 4 0 529668024 699133952 6525 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429097 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 170687 6525 419 148 0 165616 0
[pid=6909/tid=6912] ppid=6907 vsize=682748 CPUtime=6.25 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 2130 0 0 0 625 0 0 0 25 0 4 0 529668025 699133952 6525 33554432000 4194304 4797429 140735168491312 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=682748 CPUtime=6.28 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 1937 0 0 0 628 0 0 0 25 0 4 0 529668025 699133952 6525 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=682748 CPUtime=6.28 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 2016 0 0 0 628 0 0 0 25 0 4 0 529668025 699133952 6525 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 682748

[startup+12.7002 s]
/proc/loadavg: 4.38 5.89 7.14 9/184 6923
/proc/meminfo: memFree=30558428/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=685208 CPUtime=50.69 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 15664 0 0 0 5066 3 0 0 25 0 4 0 529668024 701652992 7686 33554432000 4194304 4797429 140735168491312 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 171302 7686 419 148 0 166231 0
[pid=6909/tid=6912] ppid=6907 vsize=685208 CPUtime=12.61 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 2689 0 0 0 1261 0 0 0 25 0 4 0 529668025 701652992 7686 33554432000 4194304 4797429 140735168491312 18446744073709551615 4426352 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=685208 CPUtime=12.68 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 2486 0 0 0 1268 0 0 0 25 0 4 0 529668025 701652992 7686 33554432000 4194304 4797429 140735168491312 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=685208 CPUtime=12.68 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 2587 0 0 0 1268 0 0 0 25 0 4 0 529668025 701652992 7686 33554432000 4194304 4797429 140735168491312 18446744073709551615 4430103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 685208

[startup+25.5009 s]
/proc/loadavg: 5.18 6.00 7.15 9/184 6923
/proc/meminfo: memFree=30521508/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=689048 CPUtime=101.81 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 23333 0 0 0 10177 4 0 0 25 0 4 0 529668024 705585152 8943 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424853 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 172262 8943 421 148 0 167191 0
[pid=6909/tid=6912] ppid=6907 vsize=689048 CPUtime=25.34 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 3234 0 0 0 2534 0 0 0 25 0 4 0 529668025 705585152 8943 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=689048 CPUtime=25.47 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 3407 0 0 0 2547 0 0 0 25 0 4 0 529668025 705585152 8943 33554432000 4194304 4797429 140735168491312 18446744073709551615 4425054 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=689048 CPUtime=25.48 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 3474 0 0 0 2548 0 0 0 25 0 4 0 529668025 705585152 8943 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 689048

[startup+51.1005 s]
/proc/loadavg: 6.22 6.17 7.18 9/184 6954
/proc/meminfo: memFree=30575608/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=692752 CPUtime=204.08 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 35470 0 0 0 20401 7 0 0 25 0 4 0 529668024 709378048 12364 33554432000 4194304 4797429 140735168491312 18446744073709551615 4341464 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 173188 12364 421 148 0 168117 0
[pid=6909/tid=6912] ppid=6907 vsize=692752 CPUtime=50.81 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 4528 0 0 0 5080 1 0 0 25 0 4 0 529668025 709378048 12364 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=692752 CPUtime=51.07 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 4428 0 0 0 5106 1 0 0 25 0 4 0 529668025 709378048 12364 33554432000 4194304 4797429 140735168491312 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=692752 CPUtime=51.08 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 4540 0 0 0 5108 0 0 0 25 0 4 0 529668025 709378048 12364 33554432000 4194304 4797429 140735168491312 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 692752

[startup+102.306 s]
/proc/loadavg: 6.51 6.29 7.17 9/184 6985
/proc/meminfo: memFree=28816532/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=699404 CPUtime=408.62 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 53955 0 0 0 40846 16 0 0 25 0 4 0 529668024 716189696 15850 33554432000 4194304 4797429 140735168491312 18446744073709551615 4345201 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 174851 15850 421 148 0 169780 0
[pid=6909/tid=6912] ppid=6907 vsize=699404 CPUtime=101.73 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 6763 0 0 0 10172 1 0 0 25 0 4 0 529668025 716189696 15850 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=699404 CPUtime=102.27 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 6500 0 0 0 10223 4 0 0 25 0 4 0 529668025 716189696 15850 33554432000 4194304 4797429 140735168491312 18446744073709551615 4430069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=699404 CPUtime=102.29 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 6474 0 0 0 10228 1 0 0 25 0 4 0 529668025 716189696 15850 33554432000 4194304 4797429 140735168491312 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 699404

[startup+162.301 s]
/proc/loadavg: 7.52 6.62 7.22 9/184 6987
/proc/meminfo: memFree=27826328/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=705856 CPUtime=648.27 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 74394 0 0 0 64805 22 0 0 25 0 4 0 529668024 722796544 18000 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 176464 18000 421 148 0 171393 0
[pid=6909/tid=6912] ppid=6907 vsize=705856 CPUtime=161.41 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 8857 0 0 0 16139 2 0 0 25 0 4 0 529668025 722796544 18000 33554432000 4194304 4797429 140735168491312 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=705856 CPUtime=162.26 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 8926 0 0 0 16221 5 0 0 25 0 4 0 529668025 722796544 18000 33554432000 4194304 4797429 140735168491312 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=705856 CPUtime=162.29 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 8934 0 0 0 16227 2 0 0 25 0 4 0 529668025 722796544 18000 33554432000 4194304 4797429 140735168491312 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 705856

[startup+222.301 s]
/proc/loadavg: 7.89 6.88 7.27 9/184 6988
/proc/meminfo: memFree=27738640/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=710088 CPUtime=887.95 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 90928 0 0 0 88766 29 0 0 25 0 4 0 529668024 727130112 20607 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 177522 20607 421 148 0 172451 0
[pid=6909/tid=6912] ppid=6907 vsize=710088 CPUtime=221.08 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 10681 0 0 0 22105 3 0 0 25 0 4 0 529668025 727130112 20607 33554432000 4194304 4797429 140735168491312 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=710088 CPUtime=222.25 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 10714 0 0 0 22220 5 0 0 25 0 4 0 529668025 727130112 20607 33554432000 4194304 4797429 140735168491312 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=710088 CPUtime=222.29 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 10738 0 0 0 22226 3 0 0 25 0 4 0 529668025 727130112 20607 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.95
Current children cumulated vsize (KiB) 710088

[startup+282.301 s]

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

[pid=6909] ppid=6907 vsize=735128 CPUtime=2805.32 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 204868 0 0 0 280459 73 0 0 25 0 4 0 529668024 752771072 33401 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 183782 33401 421 148 0 178711 0
[pid=6909/tid=6912] ppid=6907 vsize=735128 CPUtime=698.48 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 22882 0 0 0 69840 8 0 0 25 0 4 0 529668025 752771072 33401 33554432000 4194304 4797429 140735168491312 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=735128 CPUtime=702.21 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 23319 0 0 0 70210 11 0 0 25 0 4 0 529668025 752771072 33401 33554432000 4194304 4797429 140735168491312 18446744073709551615 4414431 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=735128 CPUtime=702.29 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 23328 0 0 0 70221 8 0 0 25 0 4 0 529668025 752771072 33401 33554432000 4194304 4797429 140735168491312 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 735128

[startup+762.307 s]
/proc/loadavg: 8.00 7.81 7.58 9/184 7003
/proc/meminfo: memFree=20396956/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=738016 CPUtime=3045.03 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 217777 0 0 0 304424 79 0 0 25 0 4 0 529668024 755728384 33876 33554432000 4194304 4797429 140735168491312 18446744073709551615 4354716 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 184504 33876 421 148 0 179433 0
[pid=6909/tid=6912] ppid=6907 vsize=738016 CPUtime=758.16 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 24645 0 0 0 75807 9 0 0 25 0 4 0 529668025 755728384 33876 33554432000 4194304 4797429 140735168491312 18446744073709551615 4656629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=738016 CPUtime=762.21 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 24732 0 0 0 76210 11 0 0 25 0 4 0 529668025 755728384 33876 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=738016 CPUtime=762.3 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 24787 0 0 0 76221 9 0 0 25 0 4 0 529668025 755728384 33876 33554432000 4194304 4797429 140735168491312 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 738016

[startup+822.301 s]
/proc/loadavg: 8.11 7.87 7.61 9/184 7004
/proc/meminfo: memFree=20311212/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=738200 CPUtime=3284.67 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 227668 0 0 0 328383 84 0 0 25 0 4 0 529668024 755916800 36455 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 184550 36455 421 148 0 179479 0
[pid=6909/tid=6912] ppid=6907 vsize=738200 CPUtime=817.83 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 25942 0 0 0 81774 9 0 0 25 0 4 0 529668025 755916800 36455 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424617 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=738200 CPUtime=822.21 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 26023 0 0 0 82208 13 0 0 25 0 4 0 529668025 755916800 36455 33554432000 4194304 4797429 140735168491312 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=738200 CPUtime=822.3 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 26098 0 0 0 82219 11 0 0 25 0 4 0 529668025 755916800 36455 33554432000 4194304 4797429 140735168491312 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 738200

[startup+882.301 s]
/proc/loadavg: 8.14 7.93 7.65 9/184 7006
/proc/meminfo: memFree=20275216/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=742904 CPUtime=3524.34 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 240871 0 0 0 352346 88 0 0 25 0 4 0 529668024 760733696 35949 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 185726 35949 421 148 0 180655 0
[pid=6909/tid=6912] ppid=6907 vsize=742904 CPUtime=877.5 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 27239 0 0 0 87741 9 0 0 25 0 4 0 529668025 760733696 35949 33554432000 4194304 4797429 140735168491312 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=742904 CPUtime=882.2 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 27544 0 0 0 88207 13 0 0 25 0 4 0 529668025 760733696 35949 33554432000 4194304 4797429 140735168491312 18446744073709551615 4430051 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=742904 CPUtime=882.3 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 27566 0 0 0 88219 11 0 0 25 0 4 0 529668025 760733696 35949 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.34
Current children cumulated vsize (KiB) 742904

[startup+942.301 s]
/proc/loadavg: 8.11 7.95 7.67 9/184 7007
/proc/meminfo: memFree=20233400/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=743408 CPUtime=3764.02 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 251363 0 0 0 376310 92 0 0 25 0 4 0 529668024 761249792 37296 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 185852 37296 421 148 0 180781 0
[pid=6909/tid=6912] ppid=6907 vsize=743408 CPUtime=937.18 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 28534 0 0 0 93708 10 0 0 25 0 4 0 529668025 761249792 37296 33554432000 4194304 4797429 140735168491312 18446744073709551615 4430024 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=743408 CPUtime=942.2 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 28893 0 0 0 94206 14 0 0 25 0 4 0 529668025 761249792 37296 33554432000 4194304 4797429 140735168491312 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=743408 CPUtime=942.31 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 28542 0 0 0 94219 12 0 0 25 0 4 0 529668025 761249792 37296 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 743408

[startup+1002.3 s]
/proc/loadavg: 8.04 7.96 7.69 9/184 7009
/proc/meminfo: memFree=19909332/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=745816 CPUtime=4003.69 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 260882 0 0 0 400273 96 0 0 25 0 4 0 529668024 763715584 38997 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 186454 38997 421 148 0 181383 0
[pid=6909/tid=6912] ppid=6907 vsize=745816 CPUtime=996.85 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 29728 0 0 0 99674 11 0 0 25 0 4 0 529668025 763715584 38997 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=745816 CPUtime=1002.19 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 30313 0 0 0 100204 15 0 0 25 0 4 0 529668025 763715584 38997 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424850 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=745816 CPUtime=1002.3 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 29878 0 0 0 100218 12 0 0 25 0 4 0 529668025 763715584 38997 33554432000 4194304 4797429 140735168491312 18446744073709551615 4519816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 745816

[startup+1062.3 s]
/proc/loadavg: 8.14 7.99 7.72 9/184 7011
/proc/meminfo: memFree=19678792/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=746044 CPUtime=4243.36 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 272325 0 0 0 424235 101 0 0 25 0 4 0 529668024 763949056 40101 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 186511 40101 421 148 0 181440 0
[pid=6909/tid=6912] ppid=6907 vsize=746044 CPUtime=1056.53 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 30632 0 0 0 105642 11 0 0 25 0 4 0 529668025 763949056 40101 33554432000 4194304 4797429 140735168491312 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=746044 CPUtime=1062.19 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 31665 0 0 0 106203 16 0 0 25 0 4 0 529668025 763949056 40101 33554432000 4194304 4797429 140735168491312 18446744073709551615 4430024 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=746044 CPUtime=1062.3 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 31439 0 0 0 106217 13 0 0 25 0 4 0 529668025 763949056 40101 33554432000 4194304 4797429 140735168491312 18446744073709551615 4568160 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 746044

[startup+1122.3 s]
/proc/loadavg: 8.17 8.03 7.74 9/184 7012
/proc/meminfo: memFree=19722752/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=746460 CPUtime=4483.03 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 283867 0 0 0 448198 105 0 0 25 0 4 0 529668024 764375040 40652 33554432000 4194304 4797429 140735168491312 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 186615 40652 421 148 0 181544 0
[pid=6909/tid=6912] ppid=6907 vsize=746460 CPUtime=1116.2 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 31974 0 0 0 111608 12 0 0 25 0 4 0 529668025 764375040 40652 33554432000 4194304 4797429 140735168491312 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=746460 CPUtime=1122.18 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 32514 0 0 0 112202 16 0 0 25 0 4 0 529668025 764375040 40652 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=746460 CPUtime=1122.3 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 33042 0 0 0 112217 13 0 0 25 0 4 0 529668025 764375040 40652 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 746460

[startup+1182.3 s]
/proc/loadavg: 8.18 8.05 7.76 9/184 7014
/proc/meminfo: memFree=19578724/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=749568 CPUtime=4722.71 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 292508 0 0 0 472161 110 0 0 25 0 4 0 529668024 767557632 42469 33554432000 4194304 4797429 140735168491312 18446744073709551615 4424752 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 187392 42469 421 148 0 182321 0
[pid=6909/tid=6912] ppid=6907 vsize=749568 CPUtime=1175.87 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 33296 0 0 0 117575 12 0 0 25 0 4 0 529668025 767557632 42469 33554432000 4194304 4797429 140735168491312 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=749568 CPUtime=1182.18 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 33971 0 0 0 118201 17 0 0 25 0 4 0 529668025 767557632 42469 33554432000 4194304 4797429 140735168491312 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=749568 CPUtime=1182.31 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 33910 0 0 0 118217 14 0 0 25 0 4 0 529668025 767557632 42469 33554432000 4194304 4797429 140735168491312 18446744073709551615 4524497 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 749568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.05 7.77 9/184 7014
/proc/meminfo: memFree=19554764/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=751440 CPUtime=4800.22 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 296915 0 0 0 479909 113 0 0 25 0 4 0 529668024 769474560 41595 33554432000 4194304 4797429 140735168491312 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 187860 41595 421 148 0 182789 0
[pid=6909/tid=6912] ppid=6907 vsize=751440 CPUtime=1195.16 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 33577 0 0 0 119504 12 0 0 25 0 4 0 529668025 769474560 41595 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=751440 CPUtime=1201.58 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 34201 0 0 0 120141 17 0 0 25 0 4 0 529668025 769474560 41595 33554432000 4194304 4797429 140735168491312 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=751440 CPUtime=1201.71 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 34780 0 0 0 120156 15 0 0 25 0 4 0 529668025 769474560 41595 33554432000 4194304 4797429 140735168491312 18446744073709551615 4255081 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 751440

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

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

[startup+1201.7 s]
/proc/loadavg: 8.13 8.05 7.77 9/184 7014
/proc/meminfo: memFree=19554764/32951124 swapFree=67111364/67111528
[pid=6909] ppid=6907 vsize=751440 CPUtime=4800.22 cores=0,2,4,6
/proc/6909/stat : 6909 (techdemo) R 6907 6909 6256 0 -1 4202496 296915 0 0 0 479909 113 0 0 25 0 4 0 529668024 769474560 41595 33554432000 4194304 4797429 140735168491312 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6909/statm: 187860 41595 421 148 0 182789 0
[pid=6909/tid=6912] ppid=6907 vsize=751440 CPUtime=1195.16 cores=0,2,4,6
/proc/6909/task/6912/stat : 6912 (techdemo) R 6907 6909 6256 0 -1 4202560 33577 0 0 0 119504 12 0 0 25 0 4 0 529668025 769474560 41595 33554432000 4194304 4797429 140735168491312 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6909/tid=6913] ppid=6907 vsize=751440 CPUtime=1201.58 cores=0,2,4,6
/proc/6909/task/6913/stat : 6913 (techdemo) R 6907 6909 6256 0 -1 4202560 34201 0 0 0 120141 17 0 0 25 0 4 0 529668025 769474560 41595 33554432000 4194304 4797429 140735168491312 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6909/tid=6914] ppid=6907 vsize=751440 CPUtime=1201.71 cores=0,2,4,6
/proc/6909/task/6914/stat : 6914 (techdemo) R 6907 6909 6256 0 -1 4202560 34780 0 0 0 120156 15 0 0 25 0 4 0 529668025 769474560 41595 33554432000 4194304 4797429 140735168491312 18446744073709551615 4255081 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 751440

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.25
CPU user time (s): 4799.11
CPU system time (s): 1.14083
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 848768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.11
system time used= 1.14083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296915
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= 326
involuntary context switches= 22219

runsolver used 1.9597 second user time and 4.5993 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-30 18:25:01
IDJOB=3291816
IDBENCH=84808
IDSOLVER=1584
FILE ID=node136/3291816-1304180701
RUNJOBID= node136-1304180700-6895
PBS_JOBID= 13172430
Free space on /tmp= 73080 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291816-1304180701/watcher-3291816-1304180701 -o /tmp/evaluation-result-3291816-1304180701/solver-3291816-1304180701 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3291816-1304180701.cnf

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

MD5SUM BENCH= 5ba57e5cfd40b4a93356dbea5162016d
RANDOM SEED=1219700113

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30816524 kB
Buffers:        628064 kB
Cached:        1018276 kB
SwapCached:          0 kB
Active:         193028 kB
Inactive:      1517044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30816524 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            8660 kB
Writeback:           0 kB
AnonPages:       63016 kB
Mapped:          14484 kB
Slab:           360900 kB
PageTables:       4736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185756 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= 72856 MiB
End job on node136 at 2011-04-30 18:45:04