Trace number 3265277

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.36 1201.73

General information on the benchmark

NameSAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
MD5SUMc12aa6a0ac1bca448bef51c167f3bbbb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark17.1704
Satisfiable
(Un)Satisfiability was proved
Number of variables870
Number of clauses24825
Sum of the clauses size50460
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 224795
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

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-3265277-1304181359.cnf'
0.00/0.00	c -- header says num vars:            870
0.00/0.00	c -- header says num clauses:       24825
0.00/0.02	c -- clauses added:            0 learnts,        24825 normals,            0 xors
0.00/0.02	c -- vars added        870
0.00/0.02	c Parsing time:  0.02 s
0.00/0.02	c  N st     0         0       870        30     24795         0     50460         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/30/30 lits-rem:0 time: 0.00
0.00/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.04
0.00/0.05	c Calc non-exist non-lernt bins v-fix:     0 done:    870 time:  0.01 s
0.00/0.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.05	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.01 s
3.10/0.84	c lits-rem:         0  cl-subs:        0  v-elim:    550  v-fix:    0  time:  0.03 s
3.10/0.84	c learnt bin added due to v-elim: 0
3.10/0.84	c Finding binary XORs  T:     0.00 s  found:       0
3.10/0.84	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.10/0.84	c calculated reachability. Time: 0.00
3.10/0.84	c Calc default polars -  time:   0.00 s pos:     420 undec:      30 neg:     420
3.10/0.84	c =========================================================================================
3.10/0.84	c types(t): F = full restart, N = normal restart
3.10/0.84	c types(t): S = simplification begin/end, E = solution found
3.10/0.84	c restart types(rt): st = static, dy = dynamic
3.10/0.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.10/0.84	c  B st     0         0       840       851     23104         0     71400         0   no data   no data  --
3.10/0.84	c Decided on static restart strategy
3.10/0.84	c  N dy    20      4095       840       851     23104      3675     71400    433797     96.64     42.91  --
3.10/0.84	c  N dy    48      8101       840       851     23104      5047     71400    478974    105.58     40.47  --
3.10/0.84	c  N dy    76     12166       840       851     23104      4850     71400    412599    111.70     39.19  --
3.10/0.84	c  N dy   104     16276       840       851     23104      8483     71400    780661    103.39     38.60  --
3.51/0.94	c  N dy   132     20409       840       851     23104      7199     71400    608029    100.03     38.68  --
4.31/1.14	c  N dy   160     24452       840       851     23104     10823     71400    967296    108.45     38.27  --
5.10/1.34	c  N dy   188     28480       840       851     23104      8360     71400    685705    107.02     38.07  --
5.50/1.44	c  S st   199     30000       840       851     23104      9708     71400    816908     97.83     37.91  --
5.50/1.44	c  S st   199     30501       840       851     23104     10187     71400    859214     97.83     37.91  --
5.50/1.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
5.50/1.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.51/1.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.6M T:  2.38
7.51/1.98	c Calc non-exist non-lernt bins v-fix:     0 done:    840 time:  0.01 s
7.51/1.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.51/1.99	c Subs w/ non-existent bins:      0 time:  0.04 s
7.91/2.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
13.11/3.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.40 s
13.11/3.37	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.01 s
17.91/4.53	c lits-rem:        54  cl-subs:     1046  v-elim:    840  v-fix:    0  time:  4.65 s
17.91/4.53	c learnt bin added due to v-elim: 0
17.91/4.53	c vivif2 --  cl tried      851 cl shrink        0 lits rem          0 time: 0.00
17.91/4.54	c vivif2 --  cl tried     9141 cl shrink        0 lits rem          0 time: 0.04
18.29/4.69	c asymm  cl-useful: 0/821/851 lits-rem:0 time: 0.59
18.29/4.69	c calculated reachability. Time: 0.00
18.29/4.69	c  N dy   199     30501       840       851     23104      9141     71400    748846     97.83     37.91  --
18.29/4.69	c  F st   199     30501       840       851     23104      9141     71400    748846     97.83     37.91  --
18.69/4.79	c Decided on static restart strategy
19.09/4.88	c  N dy   219     34592       840       851     23104     12820     71400   1163453    109.44     38.33  --
19.88/5.05	c  N dy   247     38618       840       851     23104      9416     71400    762913    104.04     37.98  --
20.68/5.22	c  N dy   275     42698       840       851     23104     13118     71400   1145566    101.52     37.95  --
21.48/5.45	c  S st   297     45751       840       851     23104     15878     71400   1416901    108.94     37.84  --
21.48/5.47	c  S st   297     46255       840       851     23104      8292     71400    607321    108.94     37.84  --
21.48/5.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
21.48/5.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.88/6.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.2M T:  2.14
23.88/6.02	c Calc non-exist non-lernt bins v-fix:     0 done:    840 time:  0.02 s
23.88/6.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.88/6.02	c Subs w/ non-existent bins:      0 time:  0.03 s
23.88/6.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.07/7.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.24 s
29.07/7.35	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.01 s
30.27/7.65	c lits-rem:         7  cl-subs:      178  v-elim:    840  v-fix:    0  time:  1.21 s
30.27/7.65	c learnt bin added due to v-elim: 0
30.27/7.65	c vivif2 --  cl tried      851 cl shrink        0 lits rem          0 time: 0.00
30.27/7.66	c vivif2 --  cl tried     8114 cl shrink        0 lits rem          0 time: 0.03
30.68/7.79	c asymm  cl-useful: 0/851/851 lits-rem:0 time: 0.52
30.68/7.79	c calculated reachability. Time: 0.00
30.68/7.79	c  N dy   297     46255       840       851     23104      8114     71400    590026    108.94     37.84  --
31.47/7.96	c  N dy   325     50288       840       851     23104     11760     71400    964103     98.74     37.83  --
32.26/8.13	c  N dy   354     54438       840       851     23104     15453     71400   1318513     93.81     37.64  --
33.07/8.31	c  N dy   382     58448       840       851     23104     10098     71400    779796     96.77     37.50  --
33.47/8.48	c  N dy   410     62515       840       851     23104     13737     71400   1136734    102.98     37.46  --
34.27/8.65	c  N dy   438     66551       840       851     23104     17391     71400   1508284     98.19     37.43  --
35.08/8.85	c  S st   458     69382       840       851     23104     10025     71400    731976    107.73     37.42  --
35.08/8.86	c  S st   458     69886       840       851     23104     10502     71400    773607    107.73     37.42  --
35.08/8.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
35.08/8.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.66/9.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 18.7M T:  3.43
38.66/9.73	c Calc non-exist non-lernt bins v-fix:     0 done:    840 time:  0.02 s
38.66/9.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.66/9.74	c Subs w/ non-existent bins:      0 time:  0.04 s
38.66/9.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
44.27/11.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.42 s
44.27/11.11	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.01 s
51.44/12.93	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
59.43/14.90	c Added 9 vars  tried: 80000 time: 7.87
59.43/14.91	c ORs :      9 avg-s:  0.0 cl-sh:  5424 l-rem:   5424 b-add:     18 v-rep:   0 cl-rem: 1 avg s: 53.0 T:    7.93
59.43/14.92	c lits-rem:         9  cl-subs:      267  v-elim:    840  v-fix:    0  time: 15.22 s
59.43/14.92	c learnt bin added due to v-elim: 0
59.43/14.92	c vivif2 --  cl tried      860 cl shrink        0 lits rem          0 time: 0.00
59.43/14.93	c vivif2 --  cl tried    10234 cl shrink        0 lits rem          0 time: 0.04
60.23/15.12	c asymm  cl-useful: 0/860/860 lits-rem:0 time: 0.75
60.23/15.12	c calculated reachability. Time: 0.00
60.23/15.12	c  N dy   458     69886       849       860     23122     10234     71347    742481    107.73     37.42  --
60.23/15.12	c  F st   458     69886       849       860     23122     10234     71347    742481    107.73     37.42  --
60.63/15.21	c Decided on static restart strategy
61.03/15.31	c  N dy   481     74445       849       860     23122     14361     71347   1145812    102.92     37.40  --
61.84/15.52	c  N dy   515     79286       849       860     23122     18760     71347   1570724    100.86     37.26  --
62.63/15.76	c  N dy   550     84423       849       860     23122     12521     71347    954454    111.08     37.36  --
63.82/16.00	c  N dy   588     89953       849       860     23122     17482     71347   1460410    103.43     37.34  --
64.62/16.26	c  N dy   628     95700       849       860     23122     22680     71347   1978660     99.89     37.29  --
65.83/16.54	c  N dy   671    101902       849       860     23122     16565     71347   1346357    107.79     37.37  --
66.61/16.77	c  S st   692    104829       849       860     23122     19204     71347   1611630    102.78     37.37  --
66.61/16.79	c  S st   692    105333       849       860     23122     19697     71347   1654652    102.78     37.37  --
66.61/16.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
66.61/16.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.40/18.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    237 BRemL:     19 BRemN:      0 CBin:       0 P: 40.9M T:  8.63
75.40/18.96	c Calc non-exist non-lernt bins v-fix:     0 done:    849 time:  0.01 s
75.40/18.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.40/18.97	c Subs w/ non-existent bins:      0 time:  0.07 s
75.80/19.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
81.40/20.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.77 s
81.40/20.45	c Removed useless bin:       0  fixed:     0  bprops:   0.09M  time:  0.01 s
87.80/22.03	c ORs :     24 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
87.80/22.05	c lits-rem:        78  cl-subs:     1284  v-elim:    834  v-fix:    0  time:  6.38 s
87.80/22.05	c learnt bin added due to v-elim: 0
87.80/22.05	c vivif2 --  cl tried      914 cl shrink       26 lits rem         26 time: 0.00
87.80/22.07	c vivif2 --  cl tried    18413 cl shrink        5 lits rem         13 time: 0.08
88.98/22.35	c asymm  cl-useful: 0/667/888 lits-rem:0 time: 1.13
88.98/22.35	c calculated reachability. Time: 0.00
88.98/22.35	c  N dy   692    105333       848       888     23308     18413     71369   1508164    102.78     37.37  --
90.18/22.66	c  N dy   739    112072       848       888     23308     24599     71369   2118022     98.34     37.34  --
91.39/22.99	c  N dy   789    119267       848       888     23308     18466     71369   1487018    103.84     37.32  --
92.98/23.35	c  N dy   842    126952       848       888     23308     25427     71369   2191249    103.01     37.42  --
94.58/23.73	c  N dy   898    135081       848       888     23308     19272     71369   1582162     98.91     37.54  --
96.18/24.13	c  N dy   958    143755       848       888     23308     27116     71369   2377882    116.75     37.69  --
97.78/24.56	c  N dy  1021    152935       848       888     23308     20959     71369   1703426     97.92     37.78  --
99.38/24.95	c  S st  1056    158000       848       888     23308     25569     71369   2174132    104.63     37.82  --
99.38/24.97	c  S st  1056    158506       848       888     23308     26052     71369   2215451    104.63     37.82  --
99.38/24.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
99.38/24.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.15/28.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:     26 CBin:       0 P: 59.8M T: 12.78
112.15/28.18	c Calc non-exist non-lernt bins v-fix:     0 done:    848 time:  0.02 s
112.15/28.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.55/28.20	c Subs w/ non-existent bins:      0 time:  0.10 s
112.55/28.24	c bin-w-bin subsume rem           26 bins  time:  0.01 s
118.56/29.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.84 s
118.56/29.70	c Removed useless bin:       0  fixed:     0  bprops:   0.09M  time:  0.01 s
127.76/32.09	c ORs :     24 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
128.14/32.12	c lits-rem:        57  cl-subs:     1833  v-elim:    833  v-fix:    0  time:  9.66 s
128.14/32.12	c learnt bin added due to v-elim: 0
128.14/32.12	c vivif2 --  cl tried      888 cl shrink        0 lits rem          0 time: 0.00
128.14/32.15	c vivif2 --  cl tried    24219 cl shrink        0 lits rem          0 time: 0.10
129.34/32.47	c asymm  cl-useful: 0/483/888 lits-rem:0 time: 1.27
129.34/32.47	c calculated reachability. Time: 0.00
129.34/32.47	c  N dy  1056    158506       848       888     23256     24219     71317   2012550    104.63     37.82  --
131.34/32.98	c  N dy  1126    168713       884       888     24469     18616     72339   1330939    104.13     37.92  --
133.72/33.52	c  N dy  1200    179535       884       888     24469     28417     72339   2323389    103.92     37.96  --
135.73/34.10	c  N dy  1280    191052       884       888     24469     22407     72339   1679117    100.72     37.95  --
138.52/34.74	c  N dy  1365    203353       884       888     24469     33528     72339   2823446     97.33     38.05  --
140.94/35.38	c  N dy  1455    216413       884       888     24469     28024     72339   2230488    106.28     38.04  --
144.12/36.11	c  N dy  1551    230378       884       888     24469     22520     72339   1709721    103.49     38.00  --
146.11/36.63	c  S st  1602    237760       884       888     24469     29146     72339   2374857    101.43     38.00  --
146.11/36.66	c  S st  1602    238261       884       888     24470     29621     72339   2416055    101.43     38.00  --
146.11/36.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
146.11/36.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.29/39.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    228 BRemL:     19 BRemN:     28 CBin:       0 P: 60.0M T: 13.28
159.29/39.99	c Calc non-exist non-lernt bins v-fix:     0 done:    884 time:  0.02 s
159.29/39.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.69/40.02	c Subs w/ non-existent bins:    442 time:  0.11 s
159.69/40.06	c bin-w-bin subsume rem          424 bins  time:  0.01 s
165.69/41.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.89 s
165.69/41.54	c Removed useless bin:     613  fixed:     0  bprops:   0.08M  time:  0.01 s
176.87/44.38	c ORs :     24 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
177.27/44.42	c lits-rem:        96  cl-subs:     1924  v-elim:    833  v-fix:    0  time: 11.50 s
177.27/44.42	c learnt bin added due to v-elim: 0
177.27/44.42	c vivif2 --  cl tried      888 cl shrink        0 lits rem          0 time: 0.00
177.27/44.45	c vivif2 --  cl tried    27255 cl shrink        0 lits rem          0 time: 0.12
178.47/44.76	c asymm  cl-useful: 0/448/888 lits-rem:0 time: 1.27
178.47/44.76	c calculated reachability. Time: 0.00
178.47/44.76	c  N dy  1602    238261       884       888     23614     27255     71057   2198429    101.43     38.00  --
181.67/45.56	c  N dy  1707    253476       884       888     23614     22333     71057   1706361    101.62     38.09  --
184.88/46.37	c  N dy  1819    269666       884       888     23614     37027     71057   3189515     99.77     38.11  --
188.46/47.23	c  N dy  1939    286990       884       888     23614     33009     71057   2749933    106.24     38.09  --
192.05/48.18	c  N dy  2066    305420       884       888     23614     28905     71057   2286701    105.65     38.12  --
196.44/49.20	c  N dy  2201    324959       884       888     23614     24851     71057   1821014    104.34     38.09  --
200.44/50.24	c  N dy  2340    345040       884       888     23614     43114     71057   3673462    108.78     38.11  --
203.63/51.04	c  S st  2426    357393       884       888     23614     31751     71057   2439754     99.45     38.10  --
203.63/51.06	c  S st  2426    357894       884       888     23614     32228     71057   2480091     99.45     38.10  --
203.63/51.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
203.63/51.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.41/54.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:    217 CBin:       0 P: 60.0M T: 12.73
216.41/54.26	c Calc non-exist non-lernt bins v-fix:     0 done:    884 time:  0.02 s
216.41/54.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.41/54.28	c Subs w/ non-existent bins:      0 time:  0.12 s
216.81/54.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
222.81/55.82	c subs with bin:        6  lits-rem:         3  v-fix:    0  time:  5.97 s
222.81/55.82	c Removed useless bin:       0  fixed:     0  bprops:   0.07M  time:  0.01 s
232.40/58.27	c ORs :     24 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
232.80/58.31	c lits-rem:        36  cl-subs:     1544  v-elim:    833  v-fix:    0  time:  9.92 s
232.80/58.31	c learnt bin added due to v-elim: 0
232.80/58.31	c vivif2 --  cl tried      888 cl shrink        0 lits rem          0 time: 0.00
232.80/58.34	c vivif2 --  cl tried    30678 cl shrink      120 lits rem        120 time: 0.12
233.99/58.64	c asymm  cl-useful: 0/480/888 lits-rem:0 time: 1.20
233.99/58.64	c calculated reachability. Time: 0.00
233.99/58.64	c  N dy  2426    357894       884       888     23520     30558     70623   2313385     99.45     38.10  --
238.39/59.72	c  N dy  2565    377990       884       888     23520     25287     70623   1787782    100.44     38.17  --
242.38/60.73	c  N dy  2704    398000       884       888     23520     43397     70623   3607344    103.94     38.18  --
246.78/61.81	c  N dy  2843    418116       884       888     23520     37117     70623   2974309    101.61     38.21  --
250.78/62.89	c  N dy  2982    438172       884       888     23520     29988     70623   2233041    100.25     38.22  --
255.18/63.92	c  N dy  3120    458193       884       888     23520     48181     70623   4032332     94.16     38.17  --
259.17/64.98	c  N dy  3258    478287       884       888     23520     40090     70623   3267032    104.74     38.15  --
263.97/66.11	c  N dy  3397    498360       884       888     23520     31086     70623   2342214    102.01     38.15  --
267.96/67.18	c  N dy  3536    518453       884       888     23520     49332     70623   4210900     96.27     38.17  --
272.76/68.37	c  S st  3663    536841       884       888     23520     37874     70623   3005144    110.17     38.17  --
272.76/68.39	c  S st  3663    537344       884       888     23520     38358     70623   3045790    110.17     38.17  --
273.13/68.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
273.13/68.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.72/71.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:     20 CBin:       0 P: 60.0M T: 13.88
286.72/71.88	c Calc non-exist non-lernt bins v-fix:     0 done:    884 time:  0.02 s
286.72/71.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.12/71.92	c Subs w/ non-existent bins:      0 time:  0.14 s
287.12/71.97	c bin-w-bin subsume rem          123 bins  time:  0.01 s
293.52/73.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.19 s
293.52/73.52	c Removed useless bin:       0  fixed:     0  bprops:   0.07M  time:  0.01 s
304.70/76.30	c ORs :     24 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
304.70/76.35	c lits-rem:        43  cl-subs:     1955  v-elim:    833  v-fix:    0  time: 11.27 s
304.70/76.35	c learnt bin added due to v-elim: 0
304.70/76.35	c vivif2 --  cl tried      888 cl shrink        0 lits rem          0 time: 0.00
304.70/76.38	c vivif2 --  cl tried    36403 cl shrink        0 lits rem          0 time: 0.15
306.30/76.70	c asymm  cl-useful: 0/392/888 lits-rem:0 time: 1.27
306.30/76.70	c calculated reachability. Time: 0.00
306.30/76.70	c  N dy  3663    537344       884       888     23377     36403     70583   2833671    110.17     38.17  --
306.30/76.70	c  F st  3663    537344       884       888     23377     36403     70583   2833671    110.17     38.17  --
306.70/76.84	c Decided on static restart strategy
310.69/77.86	c  N dy  3794    557432       923       888     24668     55676     71703   4693938    106.60     38.17  --
315.08/78.98	c  N dy  3933    577465       923       888     24668     44348     71703   3556700    102.90     38.15  --
319.87/80.18	c  N dy  4072    597594       923       888     24668     32442     71703   2303608    102.55     38.13  --
324.28/81.28	c  N dy  4211    617690       923       888     24669     50724     71703   4155402    104.05     38.16  --
329.06/82.48	c  N dy  4350    637764       923       888     24669     37975     71703   2832779    100.40     38.18  --
333.87/83.61	c  N dy  4488    657766       923       888     24669     56183     71703   4692552    101.60     38.20  --
338.27/84.76	c  N dy  4626    677792       923       888     24669     42442     71703   3215590    100.80     38.18  --
343.06/85.92	c  N dy  4765    697860       923       888     24669     60616     71703   5064524    114.83     38.20  --
347.46/87.07	c  N dy  4904    717876       923       888     24669     46070     71703   3527914    105.46     38.18  --
352.23/88.27	c  N dy  5043    737949       923       888     24669     64338     71703   5378243    103.09     38.18  --
357.03/89.42	c  N dy  5181    757980       923       888     24669     48909     71703   3796073     94.72     38.17  --
361.81/90.61	c  N dy  5319    778032       923       888     25020     67282     71901   5606966    100.94     38.15  --
366.21/91.78	c  N dy  5459    798156       923       888     25020     51093     71901   3982398    102.08     38.14  --
369.43/92.54	c  S st  5514    806017       923       888     25020     58219     71901   4686929    102.43     38.12  --
369.43/92.57	c  S st  5514    806520       923       888     25020     58694     71901   4728595    102.43     38.12  --
369.43/92.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
369.43/92.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
385.79/96.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:     41 BRemN:     42 CBin:       0 P: 60.0M T: 16.20
385.79/96.64	c Calc non-exist non-lernt bins v-fix:     0 done:    923 time:  0.02 s
385.79/96.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
386.19/96.70	c Subs w/ non-existent bins:    581 time:  0.22 s
386.19/96.79	c bin-w-bin subsume rem          556 bins  time:  0.01 s
392.98/98.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.58 s
392.98/98.44	c Removed useless bin:     497  fixed:     0  bprops:   0.07M  time:  0.01 s
424.54/106.35	c ORs :     24 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
424.94/106.41	c lits-rem:        70  cl-subs:     3947  v-elim:    833  v-fix:    0  time: 31.88 s
424.94/106.41	c learnt bin added due to v-elim: 0
424.94/106.42	c vivif2 --  cl tried      888 cl shrink        0 lits rem          0 time: 0.00
424.94/106.47	c vivif2 --  cl tried    54166 cl shrink       20 lits rem         20 time: 0.23
426.56/106.82	c asymm  cl-useful: 0/209/888 lits-rem:0 time: 1.39
426.56/106.82	c calculated reachability. Time: 0.00
426.56/106.82	c  N dy  5514    806520       923       888     23885     54165     70823   4288082    102.43     38.12  --
431.33/108.07	c  N dy  5653    826562       923       888     23885     37343     70823   2615751    110.72     38.12  --
435.73/109.17	c  N dy  5792    846660       923       888     23885     55592     70823   4420335    101.80     38.10  --
440.92/110.48	c  N dy  5931    866800       923       888     23885     37758     70823   2624186    109.49     38.11  --
445.72/111.60	c  N dy  6070    886862       923       888     23885     55995     70823   4484945    106.84     38.12  --
450.51/112.87	c  N dy  6208    906885       923       888     23885     74119     70823   6312658    106.80     38.12  --
455.30/114.02	c  N dy  6346    926959       923       888     23885     55234     70823   4342662     95.18     38.09  --
460.10/115.27	c  N dy  6485    946983       953       888     24653     73957     71337   6161594    104.33     38.07  --
464.89/116.46	c  N dy  6624    967007       953       888     24653     53792     71337   4145581    112.31     38.08  --
469.68/117.70	c  N dy  6762    987083       953       888     24653     72035     71337   5969519    101.86     38.06  --
750.91/188.00	c  N dy  6794   1209780       953       888     24653     67982     71337   6450576    135.75     38.42  --
751.73/188.30	c  S st  6794   1209780       953       888     24653     67982     71337   6450576    135.75     38.42  --
752.11/188.35	c  S st  6794   1210283       953       888     24979     68674     71493   6493169    135.75     38.42  --
752.11/188.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
752.11/188.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
770.48/192.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:     46 BRemN:    624 CBin:       0 P: 60.0M T: 18.30
770.48/192.95	c Calc non-exist non-lernt bins v-fix:     0 done:    953 time:  0.02 s
770.48/192.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
770.88/193.03	c Subs w/ non-existent bins:    277 time:  0.31 s
771.28/193.15	c bin-w-bin subsume rem          264 bins  time:  0.01 s
779.67/195.24	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  8.35 s
779.67/195.24	c Removed useless bin:     194  fixed:     0  bprops:   0.06M  time:  0.01 s
1099.64/275.38	c ORs :     24 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
1161.56/290.84	c Added 10 vars  tried: 80000 time: 61.76
1171.55/293.31	c ORs :     10 avg-s:  0.0 cl-sh: 113322 l-rem: 113322 b-add:     20 v-rep:   0 cl-rem: 1 avg s: 54.0 T:   71.65
1171.55/293.40	c lits-rem:       951  cl-subs:     7033  v-elim:    833  v-fix:    0  time: 392.08 s
1171.55/293.40	c learnt bin added due to v-elim: 0
1171.55/293.40	c vivif2 --  cl tried      898 cl shrink        0 lits rem          0 time: 0.00
1171.95/293.47	c vivif2 --  cl tried    61361 cl shrink       12 lits rem         79 time: 0.29
1173.57/293.80	c asymm  cl-useful: 0/191/898 lits-rem:0 time: 1.34
1173.57/293.81	c calculated reachability. Time: 0.00
1173.57/293.81	c  N dy  6794   1210283       963       898     23872     61360     69724   5485176    135.75     38.42  --
1178.74/295.18	c  N dy  6933   1230425       963       898     23882     79585     69724   7297096    104.68     38.39  --
1184.33/296.51	c  N dy  7072   1250457       963       898     23885     55422     69724   4162278     97.86     38.37  --
1646.51/412.25	c  N dy  7161   1710284       963       898     23887     95252     69724   8384724    118.88     38.10  --
1648.13/412.62	c  S st  7161   1710284       963       898     23887     95252     69724   8384724    118.88     38.10  --
1648.50/412.71	c  S st  7161   1710785      1003       898     25338     96568     70516   8428445    118.88     38.10  --
1648.50/412.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1648.50/412.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1666.08/417.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    150 BRemN:    334 CBin:       0 P: 60.1M T: 17.81
1666.08/417.19	c Calc non-exist non-lernt bins v-fix:     0 done:   1003 time:  0.02 s
1666.08/417.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1666.88/417.31	c Subs w/ non-existent bins:    322 time:  0.48 s
1667.28/417.46	c bin-w-bin subsume rem          291 bins  time:  0.01 s
1675.67/419.55	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  8.34 s
1675.67/419.55	c Removed useless bin:      29  fixed:     0  bprops:   0.05M  time:  0.01 s
2134.26/534.35	c ORs :     36 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      1 v-rep:   0 cl-rem: 0 avg s: nan T:    0.10
2134.66/534.45	c lits-rem:        27  cl-subs:    18969  v-elim:   1128  v-fix:    0  time: 458.93 s
2134.66/534.45	c learnt bin added due to v-elim: 0
2134.66/534.45	c vivif2 --  cl tried     1192 cl shrink      100 lits rem        100 time: 0.00
2135.47/534.62	c vivif2 --  cl tried    77276 cl shrink     2955 lits rem       3583 time: 0.69
2136.65/534.95	c asymm  cl-useful: 0/190/1092 lits-rem:0 time: 1.30
2136.65/534.95	c calculated reachability. Time: 0.00
2136.65/534.95	c  N dy  7161   1710785       996      1092     24322     77276     69955   6619261    118.88     38.10  --
2887.27/722.82	c  N dy  7242   2210787      1028      1092     25499     84802     70747   7648712    130.38     40.35  --
2888.85/723.23	c  S st  7242   2210787      1028      1092     25499     84802     70747   7648712    130.38     40.35  --
2888.85/723.23	c Finding binary XORs  T:     0.00 s  found:       0
2888.85/723.29	c  S st  7242   2211289      1039      1092     25872     85498     70975   7690541    130.38     40.35  --
2889.25/723.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
2889.25/723.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2905.62/727.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    301 BRemN:    615 CBin:       0 P: 60.0M T: 16.63
2905.62/727.48	c Calc non-exist non-lernt bins v-fix:     0 done:   1039 time:  0.02 s
2905.62/727.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2906.02/727.58	c Subs w/ non-existent bins:    428 time:  0.43 s
2906.82/727.71	c bin-w-bin subsume rem          467 bins  time:  0.02 s
2914.01/729.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.44 s
2914.01/729.58	c Removed useless bin:     265  fixed:     0  bprops:   0.06M  time:  0.01 s
3258.76/815.87	c ORs :     36 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
3321.88/831.66	c Added 11 vars  tried: 80000 time: 63.06
3341.44/836.53	c ORs :     11 avg-s:  0.0 cl-sh: 162501 l-rem: 162501 b-add:     23 v-rep:   0 cl-rem: 0 avg s: nan T:   82.55
3341.84/836.63	c lits-rem:       737  cl-subs:     6937  v-elim:    826  v-fix:    0  time: 427.63 s
3341.84/836.63	c learnt bin added due to v-elim: 0
3341.84/836.63	c vivif2 --  cl tried     1103 cl shrink        0 lits rem          0 time: 0.00
3342.24/836.73	c vivif2 --  cl tried    78132 cl shrink        4 lits rem         18 time: 0.39
3343.44/837.05	c asymm  cl-useful: 0/180/1103 lits-rem:0 time: 1.28
3343.44/837.05	c calculated reachability. Time: 0.00
3343.44/837.05	c  N dy  7242   2211289      1050      1103     24247     78132     69089   6662148    130.38     40.35  --
4276.60/1070.66	c  N dy  7244   2711289      1050      1103     24247    105233     69089  10353337    142.31     42.25  --
4278.20/1071.08	c  S st  7244   2711289      1050      1103     24247    105233     69089  10353337    142.31     42.25  --
4278.60/1071.19	c  S st  7244   2711793      1050      1103     24248    105718     69089  10395994    142.31     42.25  --
4279.00/1071.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
4279.00/1071.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4301.37/1076.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    232 BRemL:     31 BRemN:    507 CBin:       0 P: 60.0M T: 22.37
4301.37/1076.82	c Calc non-exist non-lernt bins v-fix:     0 done:   1050 time:  0.03 s
4301.37/1076.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4301.78/1076.96	c Subs w/ non-existent bins:      0 time:  0.56 s
4301.78/1076.99	c Replacing        1 vars Replaced       89 lits Time:     0.12 s 
4302.56/1077.17	c bin-w-bin subsume rem            2 bins  time:  0.01 s
4310.15/1079.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.57 s
4310.15/1079.06	c Removed useless bin:       1  fixed:     0  bprops:   0.05M  time:  0.01 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-3265277-1304181359/watcher-3265277-1304181359 -o /tmp/evaluation-result-3265277-1304181359/solver-3265277-1304181359 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3265277-1304181359.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: 7.45 7.97 7.99 6/180 2375
/proc/meminfo: memFree=30698600/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=22940 CPUtime=0 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 832 0 0 0 0 0 0 0 25 0 1 0 529736855 23490560 772 33554432000 4194304 4797429 140734406454192 18446744073709551615 4366107 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2375/statm: 5735 772 346 148 0 664 0

[startup+0.164363 s]
/proc/loadavg: 7.45 7.97 7.99 6/180 2375
/proc/meminfo: memFree=30698600/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=675156 CPUtime=0.56 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 3384 0 0 0 56 0 0 0 18 0 4 0 529736855 691359744 3289 33554432000 4194304 4797429 140734406454192 18446744073709551615 270613215775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 168789 3289 411 148 0 163718 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 675156

[startup+0.229241 s]
/proc/loadavg: 7.45 7.97 7.99 6/180 2375
/proc/meminfo: memFree=30698600/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=675612 CPUtime=0.82 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 4157 0 0 0 82 0 0 0 18 0 4 0 529736855 691826688 4059 33554432000 4194304 4797429 140734406454192 18446744073709551615 270613215775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 168903 4059 411 148 0 163832 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 675612

[startup+0.300431 s]
/proc/loadavg: 7.45 7.97 7.99 6/180 2375
/proc/meminfo: memFree=30698600/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=679744 CPUtime=1.1 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 5721 0 0 0 110 0 0 0 18 0 4 0 529736855 696057856 3527 33554432000 4194304 4797429 140734406454192 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 169936 3527 411 148 0 164865 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 679744

[startup+0.70036 s]
/proc/loadavg: 7.45 7.97 7.99 6/180 2375
/proc/meminfo: memFree=30698600/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=681788 CPUtime=2.7 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 9223 0 0 0 269 1 0 0 18 0 4 0 529736855 698150912 6246 33554432000 4194304 4797429 140734406454192 18446744073709551615 4389702 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 170447 6246 415 148 0 165376 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 681788

[startup+1.50022 s]
/proc/loadavg: 7.45 7.97 7.99 11/184 2379
/proc/meminfo: memFree=30645248/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=683492 CPUtime=5.9 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 14970 0 0 0 587 3 0 0 20 0 4 0 529736855 699895808 9855 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 170873 9855 415 148 0 165802 0
[pid=2375/tid=2377] ppid=2373 vsize=683492 CPUtime=1.46 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 2919 0 0 0 146 0 0 0 25 0 4 0 529736858 699895808 9855 33554432000 4194304 4797429 140734406454192 18446744073709551615 4519897 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=683492 CPUtime=1.46 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 2867 0 0 0 146 0 0 0 20 0 4 0 529736858 699895808 9855 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=683492 CPUtime=1.45 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 2805 0 0 0 145 0 0 0 20 0 4 0 529736858 699895808 9855 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 683492

[startup+3.10094 s]
/proc/loadavg: 7.45 7.97 7.99 9/184 2379
/proc/meminfo: memFree=30637436/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=690716 CPUtime=12.3 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 17617 0 0 0 1227 3 0 0 25 0 4 0 529736855 707293184 10906 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520016 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 172679 10906 416 148 0 167608 0
[pid=2375/tid=2377] ppid=2373 vsize=690716 CPUtime=3.06 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 2962 0 0 0 306 0 0 0 25 0 4 0 529736858 707293184 10906 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=690716 CPUtime=3.06 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 3398 0 0 0 306 0 0 0 25 0 4 0 529736858 707293184 10906 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=690716 CPUtime=3.05 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 3338 0 0 0 305 0 0 0 25 0 4 0 529736858 707293184 10906 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 690716

[startup+6.30037 s]
/proc/loadavg: 7.49 7.97 7.99 9/184 2379
/proc/meminfo: memFree=30628388/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=692524 CPUtime=25.08 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 21317 0 0 0 2505 3 0 0 25 0 4 0 529736855 709144576 10832 33554432000 4194304 4797429 140734406454192 18446744073709551615 4519904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 173131 10832 416 148 0 168060 0
[pid=2375/tid=2377] ppid=2373 vsize=692524 CPUtime=6.26 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 3557 0 0 0 626 0 0 0 25 0 4 0 529736858 709144576 10832 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520016 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=692524 CPUtime=6.26 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 3521 0 0 0 626 0 0 0 25 0 4 0 529736858 709144576 10832 33554432000 4194304 4797429 140734406454192 18446744073709551615 4519908 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=692524 CPUtime=6.23 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 3465 0 0 0 623 0 0 0 25 0 4 0 529736858 709144576 10832 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520000 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 692524

[startup+12.7002 s]
/proc/loadavg: 7.53 7.97 7.99 9/184 2379
/proc/meminfo: memFree=30617068/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=694616 CPUtime=50.64 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 26856 0 0 0 5060 4 0 0 25 0 4 0 529736855 711286784 12937 33554432000 4194304 4797429 140734406454192 18446744073709551615 4524493 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 173654 12937 418 148 0 168583 0
[pid=2375/tid=2377] ppid=2373 vsize=694616 CPUtime=12.66 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 3971 0 0 0 1266 0 0 0 25 0 4 0 529736858 711286784 12937 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=694616 CPUtime=12.66 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 4068 0 0 0 1266 0 0 0 25 0 4 0 529736858 711286784 12937 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=694616 CPUtime=12.59 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 4089 0 0 0 1259 0 0 0 25 0 4 0 529736858 711286784 12937 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520016 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 694616

[startup+25.501 s]
/proc/loadavg: 7.63 7.97 7.99 9/184 2380
/proc/meminfo: memFree=30581348/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=707460 CPUtime=101.77 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 45065 0 0 0 10170 7 0 0 25 0 4 0 529736855 724439040 16857 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429080 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 176865 16857 419 148 0 171794 0
[pid=2375/tid=2377] ppid=2373 vsize=707460 CPUtime=25.46 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 4854 0 0 0 2545 1 0 0 25 0 4 0 529736858 724439040 16857 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=707460 CPUtime=25.46 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 5090 0 0 0 2546 0 0 0 25 0 4 0 529736858 724439040 16857 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=707460 CPUtime=25.33 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 5061 0 0 0 2532 1 0 0 25 0 4 0 529736858 724439040 16857 33554432000 4194304 4797429 140734406454192 18446744073709551615 4519888 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 707460

[startup+51.1004 s]
/proc/loadavg: 7.84 7.99 8.00 9/184 2380
/proc/meminfo: memFree=30550748/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=720480 CPUtime=204.03 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 83295 0 0 0 20389 14 0 0 25 0 4 0 529736855 737771520 21243 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429114 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 180120 21243 419 148 0 175049 0
[pid=2375/tid=2377] ppid=2373 vsize=720480 CPUtime=51.06 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 6601 0 0 0 5105 1 0 0 25 0 4 0 529736858 737771520 21243 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=720480 CPUtime=51.06 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 6920 0 0 0 5105 1 0 0 25 0 4 0 529736858 737771520 21243 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=720480 CPUtime=50.79 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 6852 0 0 0 5078 1 0 0 25 0 4 0 529736858 737771520 21243 33554432000 4194304 4797429 140734406454192 18446744073709551615 4519915 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 720480

[startup+102.3 s]
/proc/loadavg: 8.00 8.00 8.00 9/184 2382
/proc/meminfo: memFree=30489476/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=749588 CPUtime=408.57 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 163533 0 0 0 40827 30 0 0 25 0 4 0 529736855 767578112 31730 33554432000 4194304 4797429 140734406454192 18446744073709551615 4524480 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 187397 31730 420 148 0 182326 0
[pid=2375/tid=2377] ppid=2373 vsize=749588 CPUtime=102.27 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 8674 0 0 0 10226 1 0 0 25 0 4 0 529736858 767578112 31730 33554432000 4194304 4797429 140734406454192 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=749588 CPUtime=102.26 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 8768 0 0 0 10225 1 0 0 25 0 4 0 529736858 767578112 31730 33554432000 4194304 4797429 140734406454192 18446744073709551615 4526610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=749588 CPUtime=101.72 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 9146 0 0 0 10170 2 0 0 25 0 4 0 529736858 767578112 31730 33554432000 4194304 4797429 140734406454192 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 749588

[startup+162.301 s]
/proc/loadavg: 8.06 8.02 8.00 9/184 2383
/proc/meminfo: memFree=30437852/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=759032 CPUtime=648.25 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 224258 0 0 0 64781 44 0 0 25 0 4 0 529736855 777248768 40435 33554432000 4194304 4797429 140734406454192 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 189758 40435 419 148 0 184687 0
[pid=2375/tid=2377] ppid=2373 vsize=759032 CPUtime=162.27 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 11236 0 0 0 16225 2 0 0 25 0 4 0 529736858 777248768 40435 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=759032 CPUtime=162.26 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 11511 0 0 0 16224 2 0 0 25 0 4 0 529736858 777248768 40435 33554432000 4194304 4797429 140734406454192 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=759032 CPUtime=161.4 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 11854 0 0 0 16137 3 0 0 25 0 4 0 529736858 777248768 40435 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.25
Current children cumulated vsize (KiB) 759032

[startup+222.306 s]
/proc/loadavg: 8.08 8.03 8.00 9/184 2385
/proc/meminfo: memFree=30398856/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=789376 CPUtime=887.94 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 255218 0 0 0 88744 50 0 0 25 0 4 0 529736855 808321024 44434 33554432000 4194304 4797429 140734406454192 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 197344 44434 420 148 0 192273 0
[pid=2375/tid=2377] ppid=2373 vsize=789376 CPUtime=222.27 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 14227 0 0 0 22225 2 0 0 25 0 4 0 529736858 808321024 44434 33554432000 4194304 4797429 140734406454192 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=789376 CPUtime=222.27 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 14720 0 0 0 22224 3 0 0 25 0 4 0 529736858 808321024 44434 33554432000 4194304 4797429 140734406454192 18446744073709551615 4519912 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=789376 CPUtime=221.07 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 14685 0 0 0 22104 3 0 0 25 0 4 0 529736858 808321024 44434 33554432000 4194304 4797429 140734406454192 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.94
Current children cumulated vsize (KiB) 789376

[startup+282.301 s]

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

[pid=2375] ppid=2373 vsize=848200 CPUtime=2565.69 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 451054 0 0 0 256464 105 0 0 25 0 4 0 529736855 868556800 67218 33554432000 4194304 4797429 140734406454192 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 212050 67218 419 148 0 206979 0
[pid=2375/tid=2377] ppid=2373 vsize=848200 CPUtime=642.27 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 29966 0 0 0 64221 6 0 0 25 0 4 0 529736858 868556800 67218 33554432000 4194304 4797429 140734406454192 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=848200 CPUtime=642.26 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 31386 0 0 0 64220 6 0 0 25 0 4 0 529736858 868556800 67218 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=848200 CPUtime=638.8 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 31370 0 0 0 63873 7 0 0 25 0 4 0 529736858 868556800 67218 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.69
Current children cumulated vsize (KiB) 848200

[startup+702.301 s]
/proc/loadavg: 8.03 8.08 8.03 9/184 2399
/proc/meminfo: memFree=30216516/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=851144 CPUtime=2805.36 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 480934 0 0 0 280420 116 0 0 25 0 4 0 529736855 871571456 69623 33554432000 4194304 4797429 140734406454192 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 212786 69623 419 148 0 207715 0
[pid=2375/tid=2377] ppid=2373 vsize=851144 CPUtime=702.28 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 31305 0 0 0 70221 7 0 0 25 0 4 0 529736858 871571456 69623 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=851144 CPUtime=702.27 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 33843 0 0 0 70220 7 0 0 25 0 4 0 529736858 871571456 69623 33554432000 4194304 4797429 140734406454192 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=851144 CPUtime=698.48 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 33695 0 0 0 69840 8 0 0 25 0 4 0 529736858 871571456 69623 33554432000 4194304 4797429 140734406454192 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 851144

[startup+762.301 s]
/proc/loadavg: 8.06 8.08 8.03 9/184 2400
/proc/meminfo: memFree=30195628/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=863740 CPUtime=3045.05 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 497772 0 0 0 304385 120 0 0 25 0 4 0 529736855 884469760 73174 33554432000 4194304 4797429 140734406454192 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 215935 73174 419 148 0 210864 0
[pid=2375/tid=2377] ppid=2373 vsize=863740 CPUtime=762.28 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 33728 0 0 0 76221 7 0 0 25 0 4 0 529736858 884469760 73174 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=863740 CPUtime=762.28 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 35084 0 0 0 76221 7 0 0 25 0 4 0 529736858 884469760 73174 33554432000 4194304 4797429 140734406454192 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=863740 CPUtime=758.16 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 34988 0 0 0 75807 9 0 0 25 0 4 0 529736858 884469760 73174 33554432000 4194304 4797429 140734406454192 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 863740

[startup+822.301 s]
/proc/loadavg: 8.14 8.09 8.03 9/184 2402
/proc/meminfo: memFree=30183208/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=865136 CPUtime=3284.72 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 505680 0 0 0 328350 122 0 0 25 0 4 0 529736855 885899264 72905 33554432000 4194304 4797429 140734406454192 18446744073709551615 4495554 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 216284 72905 419 148 0 211213 0
[pid=2375/tid=2377] ppid=2373 vsize=865136 CPUtime=822.28 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 36269 0 0 0 82220 8 0 0 25 0 4 0 529736858 885899264 72905 33554432000 4194304 4797429 140734406454192 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=865136 CPUtime=822.27 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 37654 0 0 0 82219 8 0 0 25 0 4 0 529736858 885899264 72905 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=865136 CPUtime=817.83 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 37784 0 0 0 81774 9 0 0 25 0 4 0 529736858 885899264 72905 33554432000 4194304 4797429 140734406454192 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 865136

[startup+882.306 s]
/proc/loadavg: 8.16 8.10 8.04 9/184 2403
/proc/meminfo: memFree=30175124/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=870420 CPUtime=3524.41 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 535970 0 0 0 352311 130 0 0 25 0 4 0 529736855 891310080 72537 33554432000 4194304 4797429 140734406454192 18446744073709551615 4351344 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 217605 72537 419 148 0 212534 0
[pid=2375/tid=2377] ppid=2373 vsize=870420 CPUtime=882.29 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 37561 0 0 0 88221 8 0 0 25 0 4 0 529736858 891310080 72537 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=870420 CPUtime=882.28 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 41033 0 0 0 88219 9 0 0 25 0 4 0 529736858 891310080 72537 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=870420 CPUtime=877.51 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 40556 0 0 0 87741 10 0 0 25 0 4 0 529736858 891310080 72537 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 870420

[startup+942.301 s]
/proc/loadavg: 8.16 8.11 8.04 9/184 2405
/proc/meminfo: memFree=30131312/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=872480 CPUtime=3764.08 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 564476 0 0 0 376267 141 0 0 25 0 4 0 529736855 893419520 84841 33554432000 4194304 4797429 140734406454192 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 218120 84841 419 148 0 213049 0
[pid=2375/tid=2377] ppid=2373 vsize=872480 CPUtime=942.28 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 41002 0 0 0 94219 9 0 0 25 0 4 0 529736858 893419520 84841 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=872480 CPUtime=942.27 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 42273 0 0 0 94218 9 0 0 25 0 4 0 529736858 893419520 84841 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=872480 CPUtime=937.19 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 42360 0 0 0 93708 11 0 0 25 0 4 0 529736858 893419520 84841 33554432000 4194304 4797429 140734406454192 18446744073709551615 4428770 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 872480

[startup+1002.3 s]
/proc/loadavg: 8.15 8.12 8.05 9/184 2407
/proc/meminfo: memFree=30127564/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=875316 CPUtime=4003.76 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 596945 0 0 0 400224 152 0 0 25 0 4 0 529736855 896323584 83478 33554432000 4194304 4797429 140734406454192 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 218829 83478 419 148 0 213758 0
[pid=2375/tid=2377] ppid=2373 vsize=875316 CPUtime=1002.28 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 42411 0 0 0 100219 9 0 0 25 0 4 0 529736858 896323584 83478 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520385 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=875316 CPUtime=1002.28 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 44827 0 0 0 100218 10 0 0 25 0 4 0 529736858 896323584 83478 33554432000 4194304 4797429 140734406454192 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=875316 CPUtime=996.86 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 44914 0 0 0 99675 11 0 0 25 0 4 0 529736858 896323584 83478 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 875316

[startup+1062.3 s]
/proc/loadavg: 8.20 8.14 8.06 9/184 2408
/proc/meminfo: memFree=30126780/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=880956 CPUtime=4243.44 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 627624 0 0 0 424181 163 0 0 25 0 4 0 529736855 902098944 83224 33554432000 4194304 4797429 140734406454192 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 220239 83224 419 148 0 215168 0
[pid=2375/tid=2377] ppid=2373 vsize=880956 CPUtime=1062.28 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 45067 0 0 0 106219 9 0 0 25 0 4 0 529736858 902098944 83224 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=880956 CPUtime=1062.27 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 45929 0 0 0 106217 10 0 0 25 0 4 0 529736858 902098944 83224 33554432000 4194304 4797429 140734406454192 18446744073709551615 4415750 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=880956 CPUtime=1056.53 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 45921 0 0 0 105642 11 0 0 25 0 4 0 529736858 902098944 83224 33554432000 4194304 4797429 140734406454192 18446744073709551615 4549863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 880956

[startup+1122.3 s]
/proc/loadavg: 8.14 8.13 8.06 9/184 2410
/proc/meminfo: memFree=30088676/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=901272 CPUtime=4483.12 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 641343 0 0 0 448145 167 0 0 25 0 4 0 529736855 922902528 90482 33554432000 4194304 4797429 140734406454192 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 225318 90482 432 148 0 220247 0
[pid=2375/tid=2377] ppid=2373 vsize=901272 CPUtime=1122.29 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 46452 0 0 0 112219 10 0 0 25 0 4 0 529736858 922902528 90482 33554432000 4194304 4797429 140734406454192 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=901272 CPUtime=1122.27 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 48854 0 0 0 112216 11 0 0 25 0 4 0 529736858 922902528 90482 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=901272 CPUtime=1116.21 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 48722 0 0 0 111609 12 0 0 25 0 4 0 529736858 922902528 90482 33554432000 4194304 4797429 140734406454192 18446744073709551615 4501756 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 901272

[startup+1182.3 s]
/proc/loadavg: 8.12 8.12 8.05 9/184 2411
/proc/meminfo: memFree=30063480/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=901696 CPUtime=4722.79 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 646091 0 0 0 472111 168 0 0 25 0 4 0 529736855 923336704 91974 33554432000 4194304 4797429 140734406454192 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 225424 91974 432 148 0 220353 0
[pid=2375/tid=2377] ppid=2373 vsize=901696 CPUtime=1182.28 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 49109 0 0 0 118218 10 0 0 25 0 4 0 529736858 923336704 91974 33554432000 4194304 4797429 140734406454192 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=901696 CPUtime=1182.27 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 49939 0 0 0 118216 11 0 0 25 0 4 0 529736858 923336704 91974 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=901696 CPUtime=1175.89 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 49728 0 0 0 117576 13 0 0 25 0 4 0 529736858 923336704 91974 33554432000 4194304 4797429 140734406454192 18446744073709551615 4364932 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 901696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.11 8.05 5/179 2413
/proc/meminfo: memFree=30337788/32951124 swapFree=67111524/67111528
[pid=2375] ppid=2373 vsize=902092 CPUtime=4800.31 cores=1,3,5,7
/proc/2375/stat : 2375 (techdemo) R 2373 2375 2123 0 -1 4202496 649146 0 0 0 479862 169 0 0 25 0 4 0 529736855 923742208 91673 33554432000 4194304 4797429 140734406454192 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2375/statm: 225523 91673 432 148 0 220452 0
[pid=2375/tid=2377] ppid=2373 vsize=902092 CPUtime=1201.69 cores=1,3,5,7
/proc/2375/task/2377/stat : 2377 (techdemo) R 2373 2375 2123 0 -1 4202560 49491 0 0 0 120159 10 0 0 25 0 4 0 529736858 923742208 91673 33554432000 4194304 4797429 140734406454192 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2375/tid=2378] ppid=2373 vsize=902092 CPUtime=1201.69 cores=1,3,5,7
/proc/2375/task/2378/stat : 2378 (techdemo) R 2373 2375 2123 0 -1 4202560 52072 0 0 0 120157 12 0 0 25 0 4 0 529736858 923742208 91673 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2375/tid=2379] ppid=2373 vsize=902092 CPUtime=1195.18 cores=1,3,5,7
/proc/2375/task/2379/stat : 2379 (techdemo) R 2373 2375 2123 0 -1 4202560 50268 0 0 0 119505 13 0 0 25 0 4 0 529736858 923742208 91673 33554432000 4194304 4797429 140734406454192 18446744073709551615 4429080 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) 902092

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.36
CPU user time (s): 4798.65
CPU system time (s): 1.70974
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 991964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.65
system time used= 1.70974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649146
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= 413
involuntary context switches= 21639

runsolver used 1.90671 second user time and 4.6243 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-30 18:35:59
IDJOB=3265277
IDBENCH=85538
IDSOLVER=1584
FILE ID=node108/3265277-1304181359
RUNJOBID= node108-1304178951-2142
PBS_JOBID= 13172452
Free space on /tmp= 72628 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-030-029.shuffled-as.sat05-1234.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265277-1304181359/watcher-3265277-1304181359 -o /tmp/evaluation-result-3265277-1304181359/solver-3265277-1304181359 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3265277-1304181359.cnf

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

MD5SUM BENCH= c12aa6a0ac1bca448bef51c167f3bbbb
RANDOM SEED=689764527

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30698880 kB
Buffers:        611576 kB
Cached:        1170840 kB
SwapCached:          4 kB
Active:         163484 kB
Inactive:      1689480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30698880 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           16068 kB
Writeback:           0 kB
AnonPages:       70300 kB
Mapped:          15604 kB
Slab:           334648 kB
PageTables:       4808 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   668448 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= 72628 MiB
End job on node108 at 2011-04-30 18:56:03