Trace number 3273802

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

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n120-s55656844-unsat.cnf
MD5SUM4877ca9f3fe317c84d3087c8296a2a0b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark219.038
Satisfiable
(Un)Satisfiability was proved
Number of variables121
Number of clauses252
Sum of the clauses size756
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3252
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3273802-1304129563.cnf'
0.00/0.00	c -- header says num vars:            121
0.00/0.00	c -- header says num clauses:         252
0.00/0.00	c -- clauses added:            0 learnts,          252 normals,            0 xors
0.00/0.00	c -- vars added        121
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       121       252         0         0       756         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/252/252 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.0M T:  0.00
0.00/0.00	c Calc non-exist non-lernt bins v-fix:     0 done:    121 time:  0.00 s
0.00/0.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.00	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.00/0.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.00	c learnt bin added due to v-elim: 0
0.00/0.00	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.00	c calculated reachability. Time: 0.00
0.00/0.00	c Calc default polars -  time:   0.00 s pos:       4 undec:     111 neg:       6
0.00/0.00	c =========================================================================================
0.00/0.00	c types(t): F = full restart, N = normal restart
0.00/0.00	c types(t): S = simplification begin/end, E = solution found
0.00/0.00	c restart types(rt): st = static, dy = dynamic
0.00/0.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.00	c  B st     0         0       121       252         0         0       756         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
5.17/1.33	c  N dy     9     30001       121       252         0      9054       756    149653     22.89     14.25  --
5.17/1.34	c  S st     9     30001       121       252         0      9054       756    149653     22.89     14.25  --
5.17/1.37	c  S st     9     30507       121       252         0      9545       756    158419     22.89     14.25  --
5.17/1.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.6M T:  0.05
5.17/1.38	c Calc non-exist non-lernt bins v-fix:     0 done:    121 time:  0.00 s
5.17/1.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.38	c Subs w/ non-existent bins:      0 time:  0.00 s
5.17/1.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.38	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
5.97/1.50	c lits-rem:      1825  cl-subs:     1909  v-elim:      0  v-fix:    0  time:  0.46 s
5.97/1.50	c learnt bin added due to v-elim: 0
5.97/1.50	c vivif2 --  cl tried      252 cl shrink        0 lits rem          0 time: 0.00
5.97/1.50	c vivif2 --  cl tried     7636 cl shrink        0 lits rem          0 time: 0.00
5.97/1.51	c asymm  cl-useful: 0/252/252 lits-rem:0 time: 0.03
5.97/1.51	c calculated reachability. Time: 0.00
5.97/1.51	c  N dy     9     30507       121       252         0      7636       756    121793     22.89     14.25  --
5.97/1.51	c  F st     9     30507       121       252         0      7636       756    121793     22.89     14.25  --
5.97/1.59	c Decided on static restart strategy
9.18/2.33	c  N dy    17     45760       121       252         0     14841       756    260223     23.42     14.32  --
9.18/2.34	c  S st    17     45760       121       252         0     14841       756    260223     23.42     14.32  --
9.18/2.38	c  S st    17     46263       121       252         0     15329       756    268738     23.42     14.32  --
9.18/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.18/2.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.56/2.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.1M T:  0.09
9.56/2.41	c Calc non-exist non-lernt bins v-fix:     0 done:    121 time:  0.00 s
9.56/2.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.56/2.41	c Subs w/ non-existent bins:      0 time:  0.00 s
9.56/2.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.41	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
11.97/3.02	c lits-rem:      1324  cl-subs:     1129  v-elim:      0  v-fix:    0  time:  2.45 s
11.97/3.02	c learnt bin added due to v-elim: 0
11.97/3.02	c vivif2 --  cl tried      252 cl shrink        0 lits rem          0 time: 0.00
11.97/3.03	c vivif2 --  cl tried    14200 cl shrink        0 lits rem          0 time: 0.01
11.97/3.04	c asymm  cl-useful: 0/252/252 lits-rem:0 time: 0.06
11.97/3.04	c calculated reachability. Time: 0.00
11.97/3.04	c  N dy    17     46263       121       252         0     14200       756    247916     23.42     14.32  --
18.35/4.67	c  N dy    23     69394       121       252         0     17933       756    286658     21.73     13.21  --
18.35/4.68	c  S st    23     69394       121       252         0     17933       756    286658     21.73     13.21  --
18.75/4.74	c  S st    23     69897       121       252         0     18415       756    294984     21.73     13.21  --
18.75/4.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.75/4.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.75/4.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.5M T:  0.11
18.75/4.77	c Calc non-exist non-lernt bins v-fix:     0 done:    121 time:  0.00 s
18.75/4.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.75/4.77	c Subs w/ non-existent bins:      0 time:  0.00 s
18.75/4.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.75/4.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.75/4.77	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
21.55/5.43	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.74/6.29	c Added 2 vars  tried: 59512 time: 3.43
25.14/6.38	c ORs :      2 avg-s:  0.0 cl-sh:  9647 l-rem:   9647 b-add:      4 v-rep:   0 cl-rem: 0 avg s: nan T:    3.78
25.14/6.38	c lits-rem:      2917  cl-subs:     1324  v-elim:      0  v-fix:    0  time:  6.44 s
25.14/6.38	c learnt bin added due to v-elim: 0
25.14/6.38	c vivif2 --  cl tried      254 cl shrink        0 lits rem          0 time: 0.00
25.14/6.39	c vivif2 --  cl tried    17091 cl shrink        0 lits rem          0 time: 0.01
25.54/6.40	c asymm  cl-useful: 0/254/254 lits-rem:0 time: 0.04
25.54/6.40	c calculated reachability. Time: 0.00
25.54/6.40	c  N dy    23     69897       123       254         4     17091       770    258186     21.73     13.21  --
25.54/6.40	c  F st    23     69897       123       254         4     17091       770    258186     21.73     13.21  --
25.94/6.55	c Decided on static restart strategy
35.93/9.02	c  N dy    32    104845       123       254         4     16038       770    237601     22.23     12.96  --
35.93/9.03	c  S st    32    104845       123       254         4     16038       770    237601     22.23     12.96  --
35.93/9.08	c  S st    32    105348       123       254         4     16535       770    247284     22.23     12.96  --
35.93/9.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.93/9.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.33/9.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  0.12
36.33/9.11	c Calc non-exist non-lernt bins v-fix:     0 done:    123 time:  0.00 s
36.33/9.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.33/9.11	c Subs w/ non-existent bins:      0 time:  0.01 s
36.33/9.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.33/9.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.33/9.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
38.73/9.75	c ORs :      2 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.73/9.75	c lits-rem:      1679  cl-subs:     1906  v-elim:      0  v-fix:    0  time:  2.54 s
38.73/9.75	c learnt bin added due to v-elim: 0
38.73/9.75	c vivif2 --  cl tried      254 cl shrink        0 lits rem          0 time: 0.00
38.73/9.75	c vivif2 --  cl tried    14629 cl shrink        0 lits rem          0 time: 0.01
38.73/9.76	c asymm  cl-useful: 0/254/254 lits-rem:0 time: 0.05
38.73/9.77	c calculated reachability. Time: 0.00
38.73/9.77	c  N dy    32    105348       123       254         4     14629       770    206814     22.23     12.96  --
58.30/14.69	c  N dy    34    158022       123       254         4     21879       770    331946     25.19     14.32  --
58.70/14.71	c  S st    34    158022       123       254         4     21879       770    331946     25.19     14.32  --
58.70/14.77	c  S st    34    158525       123       254         4     22365       770    340930     25.19     14.32  --
58.70/14.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.70/14.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.10/14.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.8M T:  0.18
59.10/14.81	c Calc non-exist non-lernt bins v-fix:     0 done:    123 time:  0.00 s
59.10/14.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.10/14.81	c Subs w/ non-existent bins:      0 time:  0.01 s
59.10/14.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.10/14.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.10/14.82	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
62.29/15.68	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 8.0 T:    0.00
62.29/15.68	c lits-rem:      2118  cl-subs:     1944  v-elim:      0  v-fix:    0  time:  3.44 s
62.29/15.68	c learnt bin added due to v-elim: 0
62.29/15.68	c vivif2 --  cl tried      254 cl shrink        0 lits rem          0 time: 0.00
62.29/15.68	c vivif2 --  cl tried    20420 cl shrink        0 lits rem          0 time: 0.01
62.69/15.70	c asymm  cl-useful: 0/254/254 lits-rem:0 time: 0.08
62.69/15.70	c calculated reachability. Time: 0.00
62.69/15.70	c  N dy    34    158525       123       254         4     20420       770    300997     25.19     14.32  --
94.26/23.60	c  N dy    39    237787       123       254         4     25532       770    372881     24.28     13.83  --
94.26/23.62	c  S st    39    237787       123       254         4     25532       770    372881     24.28     13.83  --
94.26/23.69	c  S st    39    238289       131       254        20     26030       802    382072     24.28     13.83  --
94.26/23.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
94.26/23.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.65/23.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.4M T:  0.28
94.65/23.76	c Calc non-exist non-lernt bins v-fix:     0 done:    131 time:  0.00 s
94.65/23.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.65/23.76	c Subs w/ non-existent bins:      0 time:  0.01 s
94.65/23.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.65/23.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.65/23.77	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
97.85/24.50	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 8 avg s: 11.1 T:    0.01
97.85/24.51	c lits-rem:      2336  cl-subs:     2332  v-elim:      0  v-fix:    0  time:  2.95 s
97.85/24.51	c learnt bin added due to v-elim: 0
97.85/24.51	c vivif2 --  cl tried      254 cl shrink        0 lits rem          0 time: 0.00
97.85/24.51	c vivif2 --  cl tried    23690 cl shrink        0 lits rem          0 time: 0.01
97.85/24.53	c asymm  cl-useful: 0/254/254 lits-rem:0 time: 0.08
97.85/24.53	c calculated reachability. Time: 0.00
97.85/24.53	c  N dy    39    238289       131       254        20     23690       802    340444     24.28     13.83  --
162.58/40.74	c  N dy    40    357434       131       254        20     27414       802    362783     22.02     14.71  --
162.58/40.75	c  S st    40    357434       131       254        20     27414       802    362783     22.02     14.71  --
162.98/40.83	c  S st    40    357936       139       254        40     27916       838    372672     22.02     14.71  --
162.98/40.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
162.98/40.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.98/40.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  0.26
162.98/40.89	c Calc non-exist non-lernt bins v-fix:     0 done:    139 time:  0.00 s
162.98/40.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.36/40.90	c Subs w/ non-existent bins:      0 time:  0.02 s
163.36/40.90	c Replacing        1 vars Replaced       21 lits Time:     0.01 s 
163.36/40.90	c bin-w-bin subsume rem            2 bins  time:  0.00 s
163.36/40.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.36/40.90	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
166.16/41.66	c ORs :      2 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
166.16/41.67	c lits-rem:      1465  cl-subs:     1487  v-elim:      0  v-fix:    0  time:  3.06 s
166.16/41.67	c learnt bin added due to v-elim: 0
166.16/41.67	c vivif2 --  cl tried      254 cl shrink        0 lits rem          0 time: 0.00
166.16/41.67	c vivif2 --  cl tried    26429 cl shrink        0 lits rem          0 time: 0.02
166.16/41.69	c asymm  cl-useful: 0/254/254 lits-rem:0 time: 0.08
166.16/41.69	c calculated reachability. Time: 0.00
166.16/41.70	c  N dy    40    357936       138       254        34     26429       830    344682     22.02     14.71  --
258.85/64.82	c  N dy    42    536905       138       254        34     32367       830    406779     19.72     14.79  --
258.85/64.84	c  S st    42    536905       138       254        34     32367       830    406779     19.72     14.79  --
259.26/64.92	c  S st    42    537412       142       254        50     32881       854    416396     19.72     14.79  --
259.26/64.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
259.26/64.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
259.67/65.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.5M T:  0.34
259.67/65.01	c Calc non-exist non-lernt bins v-fix:     0 done:    142 time:  0.00 s
259.67/65.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
259.67/65.01	c Subs w/ non-existent bins:      0 time:  0.02 s
259.67/65.02	c Replacing        2 vars Replaced      406 lits Time:     0.01 s 
259.67/65.02	c bin-w-bin subsume rem            4 bins  time:  0.00 s
259.67/65.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.67/65.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
262.85/65.81	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 8.0 T:    0.01
266.44/66.71	c Added 2 vars  tried: 80000 time: 3.59
266.44/66.77	c ORs :      2 avg-s:  0.0 cl-sh:  7562 l-rem:   7562 b-add:      4 v-rep:   0 cl-rem: 2 avg s: 9.0 T:    3.84
266.44/66.78	c lits-rem:      1539  cl-subs:     2639  v-elim:      0  v-fix:    0  time:  7.00 s
266.44/66.78	c learnt bin added due to v-elim: 0
266.44/66.78	c vivif2 --  cl tried      256 cl shrink        0 lits rem          0 time: 0.00
266.44/66.78	c vivif2 --  cl tried    30238 cl shrink        0 lits rem          0 time: 0.02
266.84/66.80	c asymm  cl-useful: 0/256/256 lits-rem:0 time: 0.09
266.84/66.80	c calculated reachability. Time: 0.00
266.84/66.80	c  N dy    42    537412       142       256        42     30238       852    363458     19.72     14.79  --
266.84/66.80	c  F st    42    537412       142       256        42     30238       852    363458     19.72     14.79  --
267.64/67.03	c Decided on static restart strategy
471.37/118.09	c  N dy    49    806119       142       256        42     53635       852    792664     20.32     13.88  --
471.77/118.12	c  S st    49    806119       142       256        42     53635       852    792664     20.32     13.88  --
472.17/118.27	c  S st    49    806622       142       256        42     54127       852    802650     20.32     13.88  --
472.17/118.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
472.17/118.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
472.97/118.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.2M T:  0.82
472.97/118.48	c Calc non-exist non-lernt bins v-fix:     0 done:    142 time:  0.00 s
472.97/118.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
472.97/118.49	c Subs w/ non-existent bins:      0 time:  0.04 s
473.37/118.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
473.37/118.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
473.37/118.50	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
480.55/120.35	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 66 avg s: 11.2 T:    0.16
480.55/120.36	c lits-rem:      2462  cl-subs:     5670  v-elim:      0  v-fix:    0  time:  7.43 s
480.55/120.36	c learnt bin added due to v-elim: 0
480.55/120.36	c vivif2 --  cl tried      256 cl shrink        0 lits rem          0 time: 0.00
480.55/120.37	c vivif2 --  cl tried    48391 cl shrink        0 lits rem          0 time: 0.04
480.95/120.43	c asymm  cl-useful: 0/256/256 lits-rem:0 time: 0.21
480.95/120.43	c calculated reachability. Time: 0.00
480.95/120.43	c  N dy    49    806622       142       256        42     48391       852    706424     20.32     13.88  --
802.13/200.89	c  N dy    53   1209934       142       256        42     63156       852    873599     17.65     13.60  --
802.53/200.93	c  S st    53   1209934       142       256        42     63156       852    873599     17.65     13.60  --
802.53/200.93	c Finding binary XORs  T:     0.00 s  found:       1
803.33/201.10	c  S st    53   1210435       150       256        63     63656       888    883200     17.65     13.60  --
803.33/201.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
803.33/201.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
804.15/201.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.6M T:  1.10
804.15/201.38	c Calc non-exist non-lernt bins v-fix:     0 done:    150 time:  0.01 s
804.15/201.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
804.15/201.39	c Subs w/ non-existent bins:      0 time:  0.04 s
804.15/201.40	c Replacing        1 vars Replaced       24 lits Time:     0.02 s 
804.55/201.41	c bin-w-bin subsume rem            2 bins  time:  0.00 s
804.55/201.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
804.55/201.42	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
814.12/203.80	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 32 avg s: 12.4 T:    0.14
814.12/203.81	c lits-rem:      1031  cl-subs:     8193  v-elim:      0  v-fix:    0  time:  9.57 s
814.12/203.81	c learnt bin added due to v-elim: 0
814.12/203.81	c vivif2 --  cl tried      256 cl shrink        0 lits rem          0 time: 0.00
814.12/203.83	c vivif2 --  cl tried    55431 cl shrink        0 lits rem          0 time: 0.05
814.12/203.88	c asymm  cl-useful: 0/256/256 lits-rem:0 time: 0.20
814.12/203.88	c calculated reachability. Time: 0.00
814.12/203.88	c  N dy    53   1210435       149       256        57     55431       880    748992     17.65     13.60  --
1325.82/331.96	c  N dy    55   1710436       149       256        57     84287       880   1203801     18.33     13.62  --
1326.22/332.01	c  S st    55   1710436       149       256        57     84287       880   1203801     18.33     13.62  --
1327.03/332.26	c  S st    55   1710941       151       256        61     84784       888   1214467     18.33     13.62  --
1327.03/332.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1327.03/332.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1328.62/332.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 24.8M T:  1.69
1328.62/332.69	c Calc non-exist non-lernt bins v-fix:     0 done:    151 time:  0.01 s
1328.62/332.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1329.02/332.71	c Subs w/ non-existent bins:      0 time:  0.06 s
1329.02/332.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1329.02/332.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1329.02/332.74	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1346.59/337.12	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 46 avg s: 12.3 T:    0.15
1346.59/337.14	c lits-rem:      3426  cl-subs:    11214  v-elim:      0  v-fix:    0  time: 17.59 s
1346.59/337.14	c learnt bin added due to v-elim: 0
1346.59/337.14	c vivif2 --  cl tried      256 cl shrink        0 lits rem          0 time: 0.00
1346.59/337.16	c vivif2 --  cl tried    73524 cl shrink        0 lits rem          0 time: 0.07
1346.99/337.22	c asymm  cl-useful: 0/256/256 lits-rem:0 time: 0.25
1346.99/337.22	c calculated reachability. Time: 0.00
1346.99/337.22	c  N dy    55   1710941       151       256        61     73524       888   1014850     18.33     13.62  --
1949.37/488.04	c  N dy    58   2210942       151       256        61     90178       888   1331708     24.48     14.22  --
1949.37/488.09	c  S st    58   2210942       151       256        61     90178       888   1331708     24.48     14.22  --
1950.57/488.37	c  S st    58   2211446       153       256        65     90677       896   1342210     24.48     14.22  --
1950.57/488.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1950.57/488.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1952.57/488.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.8M T:  1.94
1952.57/488.86	c Calc non-exist non-lernt bins v-fix:     0 done:    153 time:  0.01 s
1952.57/488.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1952.57/488.88	c Subs w/ non-existent bins:      0 time:  0.08 s
1952.97/488.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1952.97/488.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1952.97/488.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1972.14/493.79	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 13 avg s: 8.7 T:    0.21
1983.73/496.61	c Added 2 vars  tried: 80000 time: 11.25
1985.33/497.00	c ORs :      2 avg-s:  0.0 cl-sh: 16435 l-rem:  16435 b-add:      4 v-rep:   0 cl-rem: 18 avg s: 7.4 T:   12.80
1985.33/497.02	c lits-rem:      2664  cl-subs:     8727  v-elim:      0  v-fix:    0  time: 32.41 s
1985.33/497.02	c learnt bin added due to v-elim: 0
1985.33/497.02	c vivif2 --  cl tried      258 cl shrink        0 lits rem          0 time: 0.00
1985.33/497.04	c vivif2 --  cl tried    81919 cl shrink        0 lits rem          0 time: 0.08
1985.73/497.12	c asymm  cl-useful: 0/258/258 lits-rem:0 time: 0.30
1985.73/497.12	c calculated reachability. Time: 0.00
1985.73/497.12	c  N dy    58   2211446       155       258        69     81919       910   1155486     24.48     14.22  --
2740.29/686.03	c  N dy    64   2711446       155       258        69    105690       910   1573211     21.55     14.42  --
2740.29/686.09	c  S st    64   2711446       155       258        69    105690       910   1573211     21.55     14.42  --
2741.91/686.43	c  S st    64   2711949       155       258        69    106181       910   1584135     21.55     14.42  --
2741.91/686.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2741.91/686.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2744.29/687.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 33.3M T:  2.38
2744.29/687.03	c Calc non-exist non-lernt bins v-fix:     0 done:    155 time:  0.01 s
2744.29/687.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2744.29/687.05	c Subs w/ non-existent bins:      0 time:  0.09 s
2744.29/687.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2744.29/687.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
2744.29/687.10	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2771.84/693.93	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 73 avg s: 10.9 T:    0.36
2771.84/693.96	c lits-rem:       857  cl-subs:     9081  v-elim:      0  v-fix:    0  time: 27.42 s
2771.84/693.96	c learnt bin added due to v-elim: 0
2771.84/693.96	c vivif2 --  cl tried      258 cl shrink        0 lits rem          0 time: 0.00
2771.84/693.99	c vivif2 --  cl tried    97027 cl shrink        1 lits rem          1 time: 0.10
2772.24/694.09	c asymm  cl-useful: 0/258/258 lits-rem:0 time: 0.42
2772.24/694.10	c calculated reachability. Time: 0.00
2772.24/694.10	c  N dy    64   2711949       155       258        69     97027       910   1400209     21.55     14.42  --
2772.24/694.10	c  F st    64   2711949       155       258        69     97027       910   1400209     21.55     14.42  --
2775.84/694.96	c Decided on static restart strategy
3533.22/884.59	c  N dy    71   3211949       155       258        69     72222       910    786502     20.47     14.52  --
3533.60/884.63	c  S st    71   3211949       155       258        69     72222       910    786502     20.47     14.52  --
3534.40/884.86	c  S st    71   3212450       161       258        82     72726       934    796968     20.47     14.52  --
3534.40/884.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3534.40/884.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3536.00/885.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 27.3M T:  1.52
3536.00/885.24	c Calc non-exist non-lernt bins v-fix:     0 done:    161 time:  0.01 s
3536.00/885.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3536.00/885.26	c Subs w/ non-existent bins:      0 time:  0.06 s
3536.00/885.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3536.00/885.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3536.00/885.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3543.18/887.09	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 8.0 T:    0.11
3543.58/887.10	c lits-rem:       676  cl-subs:     2531  v-elim:      0  v-fix:    0  time:  7.29 s
3543.58/887.10	c learnt bin added due to v-elim: 0
3543.58/887.10	c vivif2 --  cl tried      258 cl shrink        0 lits rem          0 time: 0.00
3543.58/887.12	c vivif2 --  cl tried    70192 cl shrink        1 lits rem          1 time: 0.06
3543.58/887.17	c asymm  cl-useful: 0/258/258 lits-rem:0 time: 0.21
3543.58/887.17	c calculated reachability. Time: 0.00
3543.58/887.17	c  N dy    71   3212450       161       258        82     70192       934    764948     20.47     14.52  --
4498.67/1126.20	c  N dy    73   3712451       161       258        82     79996       934    899921     18.83     14.51  --
4498.67/1126.24	c  S st    73   3712451       161       258        82     79996       934    899921     18.83     14.51  --
4498.67/1126.24	c Finding binary XORs  T:     0.00 s  found:       0
4499.89/1126.51	c  S st    73   3712956       167       258        95     80501       958    910490     18.83     14.51  --
4499.89/1126.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4499.89/1126.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4501.47/1126.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 31.5M T:  1.77
4501.47/1126.95	c Calc non-exist non-lernt bins v-fix:     0 done:    167 time:  0.00 s
4501.47/1126.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4501.47/1126.97	c Subs w/ non-existent bins:      0 time:  0.07 s
4501.47/1126.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4501.47/1126.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4501.47/1126.99	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4510.26/1129.12	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 27 avg s: 9.6 T:    0.14
4510.26/1129.14	c lits-rem:       947  cl-subs:     3108  v-elim:      0  v-fix:    0  time:  8.58 s
4510.26/1129.14	c learnt bin added due to v-elim: 0
4510.26/1129.14	c vivif2 --  cl tried      258 cl shrink        0 lits rem          0 time: 0.00
4510.26/1129.16	c vivif2 --  cl tried    77366 cl shrink        0 lits rem          0 time: 0.07
4510.66/1129.22	c asymm  cl-useful: 0/258/258 lits-rem:0 time: 0.24
4510.66/1129.22	c calculated reachability. Time: 0.00
4510.66/1129.22	c  N dy    73   3712956       167       258        95     77366       958    863876     18.83     14.51  --

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-3273802-1304129563/watcher-3273802-1304129563 -o /tmp/evaluation-result-3273802-1304129563/solver-3273802-1304129563 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3273802-1304129563.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: 5.46 7.43 7.85 3/176 9040
/proc/meminfo: memFree=23043448/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=80744 CPUtime=0 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 558 0 0 0 0 0 0 0 18 0 4 0 524555985 82681856 493 33554432000 4194304 4797429 140735113710160 18446744073709551615 47070913206194 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 20186 493 360 148 0 15115 0
[pid=9040/tid=9041] ppid=9038 vsize=80744 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 524555985 82681856 493 33554432000 4194304 4797429 140735113710160 18446744073709551615 274485765174 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=80744 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 524555985 82681856 493 33554432000 4194304 4797429 140735113710160 18446744073709551615 47070913206188 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=80744 CPUtime=0 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 524555985 82681856 493 33554432000 4194304 4797429 140735113710160 18446744073709551615 274474023921 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.156603 s]
/proc/loadavg: 5.46 7.43 7.85 3/176 9040
/proc/meminfo: memFree=23043448/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=673004 CPUtime=0.6 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 1684 0 0 0 60 0 0 0 20 0 4 0 524555985 689156096 1218 33554432000 4194304 4797429 140735113710160 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 168251 1218 409 148 0 163180 0
[pid=9040/tid=9041] ppid=9038 vsize=673004 CPUtime=0.14 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 269 0 0 0 14 0 0 0 20 0 4 0 524555985 689156096 1218 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424868 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=673004 CPUtime=0.15 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 288 0 0 0 15 0 0 0 20 0 4 0 524555985 689156096 1218 33554432000 4194304 4797429 140735113710160 18446744073709551615 4388578 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=673004 CPUtime=0.14 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 307 0 0 0 14 0 0 0 21 0 4 0 524555985 689156096 1218 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 673004

[startup+0.227819 s]
/proc/loadavg: 5.46 7.43 7.85 3/176 9040
/proc/meminfo: memFree=23043448/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=673700 CPUtime=1 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 2038 0 0 0 100 0 0 0 20 0 4 0 524555985 689868800 1566 33554432000 4194304 4797429 140735113710160 18446744073709551615 4341372 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 168425 1567 410 148 0 163354 0
[pid=9040/tid=9041] ppid=9038 vsize=673700 CPUtime=0.24 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 342 0 0 0 24 0 0 0 20 0 4 0 524555985 689868800 1567 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=673700 CPUtime=0.25 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 362 0 0 0 25 0 0 0 20 0 4 0 524555985 689868800 1567 33554432000 4194304 4797429 140735113710160 18446744073709551615 4408377 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=673700 CPUtime=0.24 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 419 0 0 0 24 0 0 0 21 0 4 0 524555985 689868800 1567 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 673700

[startup+0.356569 s]
/proc/loadavg: 5.46 7.43 7.85 3/176 9040
/proc/meminfo: memFree=23043448/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=675340 CPUtime=1.4 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 2632 0 0 0 139 1 0 0 20 0 4 0 524555985 691548160 2014 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 168835 2014 415 148 0 163764 0
[pid=9040/tid=9041] ppid=9038 vsize=675340 CPUtime=0.34 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 422 0 0 0 34 0 0 0 20 0 4 0 524555985 691548160 2014 33554432000 4194304 4797429 140735113710160 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=675340 CPUtime=0.34 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 445 0 0 0 34 0 0 0 20 0 4 0 524555985 691548160 2014 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=675340 CPUtime=0.34 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 684 0 0 0 34 0 0 0 21 0 4 0 524555985 691548160 2014 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 675340

[startup+0.700509 s]
/proc/loadavg: 5.46 7.43 7.85 3/176 9040
/proc/meminfo: memFree=23043448/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=676552 CPUtime=2.77 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 4057 0 0 0 276 1 0 0 21 0 4 0 524555985 692789248 2751 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 169138 2751 417 148 0 164067 0
[pid=9040/tid=9041] ppid=9038 vsize=676552 CPUtime=0.69 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 864 0 0 0 69 0 0 0 21 0 4 0 524555985 692789248 2751 33554432000 4194304 4797429 140735113710160 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=676552 CPUtime=0.69 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 881 0 0 0 69 0 0 0 20 0 4 0 524555985 692789248 2751 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=676552 CPUtime=0.68 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 914 0 0 0 68 0 0 0 22 0 4 0 524555985 692789248 2751 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424846 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 676552

[startup+1.50037 s]
/proc/loadavg: 5.46 7.43 7.85 10/184 9048
/proc/meminfo: memFree=23014244/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=679172 CPUtime=5.97 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 6082 0 0 0 596 1 0 0 23 0 4 0 524555985 695472128 3920 33554432000 4194304 4797429 140735113710160 18446744073709551615 4524360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 169793 3920 417 148 0 164722 0
[pid=9040/tid=9041] ppid=9038 vsize=679172 CPUtime=1.49 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 1283 0 0 0 149 0 0 0 24 0 4 0 524555985 695472128 3920 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=679172 CPUtime=1.49 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 1332 0 0 0 149 0 0 0 23 0 4 0 524555985 695472128 3920 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=679172 CPUtime=1.47 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 1406 0 0 0 147 0 0 0 25 0 4 0 524555985 695472128 3920 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 679172

[startup+3.10109 s]
/proc/loadavg: 5.67 7.43 7.85 9/184 9048
/proc/meminfo: memFree=23006480/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=681760 CPUtime=12.37 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 8273 0 0 0 1235 2 0 0 25 0 4 0 524555985 698122240 5060 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 170440 5060 417 148 0 165369 0
[pid=9040/tid=9041] ppid=9038 vsize=681760 CPUtime=3.09 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 1652 0 0 0 309 0 0 0 25 0 4 0 524555985 698122240 5060 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=681760 CPUtime=3.09 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 1783 0 0 0 309 0 0 0 25 0 4 0 524555985 698122240 5060 33554432000 4194304 4797429 140735113710160 18446744073709551615 274473664152 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=681760 CPUtime=3.07 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 1860 0 0 0 307 0 0 0 25 0 4 0 524555985 698122240 5060 33554432000 4194304 4797429 140735113710160 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 681760

[startup+6.30052 s]
/proc/loadavg: 5.67 7.43 7.85 9/184 9048
/proc/meminfo: memFree=22992728/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=684540 CPUtime=25.14 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 10976 0 0 0 2512 2 0 0 25 0 4 0 524555985 700968960 6232 33554432000 4194304 4797429 140735113710160 18446744073709551615 4518608 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 171135 6232 419 148 0 166064 0
[pid=9040/tid=9041] ppid=9038 vsize=684540 CPUtime=6.28 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 2104 0 0 0 628 0 0 0 25 0 4 0 524555985 700968960 6232 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=684540 CPUtime=6.28 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 2244 0 0 0 628 0 0 0 25 0 4 0 524555985 700968960 6232 33554432000 4194304 4797429 140735113710160 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=684540 CPUtime=6.25 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 2324 0 0 0 625 0 0 0 25 0 4 0 524555985 700968960 6232 33554432000 4194304 4797429 140735113710160 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 684540

[startup+12.7004 s]
/proc/loadavg: 6.02 7.45 7.85 9/184 9049
/proc/meminfo: memFree=22980724/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=687716 CPUtime=50.71 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 15385 0 0 0 5068 3 0 0 25 0 4 0 524555985 704221184 7368 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 171929 7368 419 148 0 166858 0
[pid=9040/tid=9041] ppid=9038 vsize=687716 CPUtime=12.68 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 2618 0 0 0 1268 0 0 0 25 0 4 0 524555985 704221184 7368 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=687716 CPUtime=12.68 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 2847 0 0 0 1268 0 0 0 25 0 4 0 524555985 704221184 7368 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=687716 CPUtime=12.62 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 2875 0 0 0 1262 0 0 0 25 0 4 0 524555985 704221184 7368 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424850 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 687716

[startup+25.5011 s]
/proc/loadavg: 6.33 7.47 7.85 9/184 9049
/proc/meminfo: memFree=22964984/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=692064 CPUtime=101.84 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 22245 0 0 0 10179 5 0 0 25 0 4 0 524555985 708673536 9111 33554432000 4194304 4797429 140735113710160 18446744073709551615 4387372 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 173016 9111 419 148 0 167945 0
[pid=9040/tid=9041] ppid=9038 vsize=692064 CPUtime=25.48 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 3223 0 0 0 2548 0 0 0 25 0 4 0 524555985 708673536 9111 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=692064 CPUtime=25.48 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 3844 0 0 0 2547 1 0 0 25 0 4 0 524555985 708673536 9111 33554432000 4194304 4797429 140735113710160 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=692064 CPUtime=25.36 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 3854 0 0 0 2536 0 0 0 25 0 4 0 524555985 708673536 9111 33554432000 4194304 4797429 140735113710160 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 692064

[startup+51.1006 s]
/proc/loadavg: 6.90 7.51 7.85 9/184 9050
/proc/meminfo: memFree=22946860/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=697476 CPUtime=204.11 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 33070 0 0 0 20403 8 0 0 25 0 4 0 524555985 714215424 10848 33554432000 4194304 4797429 140735113710160 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 174369 10848 423 148 0 169298 0
[pid=9040/tid=9041] ppid=9038 vsize=697476 CPUtime=51.09 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 4626 0 0 0 5108 1 0 0 25 0 4 0 524555985 714215424 10848 33554432000 4194304 4797429 140735113710160 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=697476 CPUtime=51.08 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 5068 0 0 0 5107 1 0 0 25 0 4 0 524555985 714215424 10848 33554432000 4194304 4797429 140735113710160 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=697476 CPUtime=50.84 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 5053 0 0 0 5083 1 0 0 25 0 4 0 524555985 714215424 10848 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 697476

[startup+102.301 s]
/proc/loadavg: 7.65 7.62 7.87 10/184 9051
/proc/meminfo: memFree=22922476/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=705248 CPUtime=408.67 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 49806 0 0 0 40854 13 0 0 25 0 4 0 524555985 722173952 14033 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 176312 14033 422 148 0 171241 0
[pid=9040/tid=9041] ppid=9038 vsize=705248 CPUtime=102.29 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 6478 0 0 0 10228 1 0 0 25 0 4 0 524555985 722173952 14033 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=705248 CPUtime=102.28 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 7097 0 0 0 10226 2 0 0 25 0 4 0 524555985 722173952 14033 33554432000 4194304 4797429 140735113710160 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=705248 CPUtime=101.78 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 7036 0 0 0 10176 2 0 0 25 0 4 0 524555985 722173952 14033 33554432000 4194304 4797429 140735113710160 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 705248

[startup+162.301 s]

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

[pid=9040] ppid=9038 vsize=736100 CPUtime=2565.73 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 158555 0 0 0 256522 51 0 0 25 0 4 0 524555985 753766400 29547 33554432000 4194304 4797429 140735113710160 18446744073709551615 4345219 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 184025 29547 432 148 0 178954 0
[pid=9040/tid=9041] ppid=9038 vsize=736100 CPUtime=642.29 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 19457 0 0 0 64224 5 0 0 25 0 4 0 524555985 753766400 29547 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=736100 CPUtime=642.29 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 20397 0 0 0 64221 8 0 0 25 0 4 0 524555985 753766400 29547 33554432000 4194304 4797429 140735113710160 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=736100 CPUtime=638.87 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 20366 0 0 0 63879 8 0 0 25 0 4 0 524555985 753766400 29547 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 736100

[startup+702.301 s]
/proc/loadavg: 8.05 7.98 7.93 9/184 9067
/proc/meminfo: memFree=22776024/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=739268 CPUtime=2805.4 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 168197 0 0 0 280484 56 0 0 25 0 4 0 524555985 757010432 30826 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 184817 30826 421 148 0 179746 0
[pid=9040/tid=9041] ppid=9038 vsize=739268 CPUtime=702.3 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 20662 0 0 0 70224 6 0 0 25 0 4 0 524555985 757010432 30826 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=739268 CPUtime=702.3 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 21586 0 0 0 70221 9 0 0 25 0 4 0 524555985 757010432 30826 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=739268 CPUtime=698.53 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 21668 0 0 0 69845 8 0 0 25 0 4 0 524555985 757010432 30826 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 739268

[startup+762.3 s]
/proc/loadavg: 8.07 8.00 7.94 9/184 9069
/proc/meminfo: memFree=22764112/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=739820 CPUtime=3045.08 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 177184 0 0 0 304449 59 0 0 25 0 4 0 524555985 757575680 30786 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 184955 30786 421 148 0 179884 0
[pid=9040/tid=9041] ppid=9038 vsize=739820 CPUtime=762.3 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 21818 0 0 0 76224 6 0 0 25 0 4 0 524555985 757575680 30786 33554432000 4194304 4797429 140735113710160 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=739820 CPUtime=762.3 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 22741 0 0 0 76221 9 0 0 25 0 4 0 524555985 757575680 30786 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=739820 CPUtime=758.2 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 22854 0 0 0 75812 8 0 0 25 0 4 0 524555985 757575680 30786 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 739820

[startup+822.301 s]
/proc/loadavg: 8.12 8.03 7.95 10/184 9070
/proc/meminfo: memFree=22758504/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=742924 CPUtime=3284.74 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 186533 0 0 0 328412 62 0 0 25 0 4 0 524555985 760754176 32984 33554432000 4194304 4797429 140735113710160 18446744073709551615 4425049 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 185731 32984 421 148 0 180660 0
[pid=9040/tid=9041] ppid=9038 vsize=742924 CPUtime=822.31 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 22756 0 0 0 82224 7 0 0 25 0 4 0 524555985 760754176 32984 33554432000 4194304 4797429 140735113710160 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=742924 CPUtime=822.3 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 24428 0 0 0 82220 10 0 0 25 0 4 0 524555985 760754176 32984 33554432000 4194304 4797429 140735113710160 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=742924 CPUtime=817.88 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 24121 0 0 0 81779 9 0 0 25 0 4 0 524555985 760754176 32984 33554432000 4194304 4797429 140735113710160 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 742924

[startup+882.306 s]
/proc/loadavg: 8.13 8.05 7.96 9/184 9072
/proc/meminfo: memFree=22752028/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=745180 CPUtime=3524.43 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 195295 0 0 0 352376 67 0 0 25 0 4 0 524555985 763064320 33213 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 186295 33213 421 148 0 181224 0
[pid=9040/tid=9041] ppid=9038 vsize=745180 CPUtime=882.31 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 23823 0 0 0 88223 8 0 0 25 0 4 0 524555985 763064320 33213 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=745180 CPUtime=882.31 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 25561 0 0 0 88220 11 0 0 25 0 4 0 524555985 763064320 33213 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=745180 CPUtime=877.55 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 25157 0 0 0 87746 9 0 0 25 0 4 0 524555985 763064320 33213 33554432000 4194304 4797429 140735113710160 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 745180

[startup+942.301 s]
/proc/loadavg: 8.08 8.05 7.97 10/184 9073
/proc/meminfo: memFree=22750132/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=747304 CPUtime=3764.08 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 203221 0 0 0 376338 70 0 0 25 0 4 0 524555985 765239296 34682 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 186826 34682 421 148 0 181755 0
[pid=9040/tid=9041] ppid=9038 vsize=747304 CPUtime=942.3 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 25099 0 0 0 94222 8 0 0 25 0 4 0 524555985 765239296 34682 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=747304 CPUtime=942.3 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 26212 0 0 0 94219 11 0 0 25 0 4 0 524555985 765239296 34682 33554432000 4194304 4797429 140735113710160 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=747304 CPUtime=937.22 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 25848 0 0 0 93713 9 0 0 25 0 4 0 524555985 765239296 34682 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 747304

[startup+1002.3 s]
/proc/loadavg: 8.07 8.06 7.97 9/184 9075
/proc/meminfo: memFree=22742292/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=750460 CPUtime=4003.75 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 212374 0 0 0 400301 74 0 0 25 0 4 0 524555985 768471040 34760 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 187615 34760 421 148 0 182544 0
[pid=9040/tid=9041] ppid=9038 vsize=750460 CPUtime=1002.31 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 26529 0 0 0 100222 9 0 0 25 0 4 0 524555985 768471040 34760 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=750460 CPUtime=1002.3 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 27613 0 0 0 100218 12 0 0 25 0 4 0 524555985 768471040 34760 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=750460 CPUtime=996.89 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 27222 0 0 0 99679 10 0 0 25 0 4 0 524555985 768471040 34760 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 750460

[startup+1062.3 s]
/proc/loadavg: 8.06 8.06 7.98 9/184 9077
/proc/meminfo: memFree=22724896/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=750632 CPUtime=4243.42 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 219366 0 0 0 424266 76 0 0 25 0 4 0 524555985 768647168 35273 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 187658 35273 421 148 0 182587 0
[pid=9040/tid=9041] ppid=9038 vsize=750632 CPUtime=1062.31 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 27552 0 0 0 106222 9 0 0 25 0 4 0 524555985 768647168 35273 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=750632 CPUtime=1062.3 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 28949 0 0 0 106218 12 0 0 25 0 4 0 524555985 768647168 35273 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=750632 CPUtime=1056.57 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 28292 0 0 0 105646 11 0 0 25 0 4 0 524555985 768647168 35273 33554432000 4194304 4797429 140735113710160 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.42
Current children cumulated vsize (KiB) 750632

[startup+1122.3 s]
/proc/loadavg: 8.06 8.06 7.98 9/184 9078
/proc/meminfo: memFree=22715208/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=752616 CPUtime=4483.1 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 225150 0 0 0 448231 79 0 0 25 0 4 0 524555985 770678784 36947 33554432000 4194304 4797429 140735113710160 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 188154 36947 421 148 0 183083 0
[pid=9040/tid=9041] ppid=9038 vsize=752616 CPUtime=1122.3 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 28205 0 0 0 112221 9 0 0 25 0 4 0 524555985 770678784 36947 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=752616 CPUtime=1122.31 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 30054 0 0 0 112218 13 0 0 25 0 4 0 524555985 770678784 36947 33554432000 4194304 4797429 140735113710160 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=752616 CPUtime=1116.24 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 29085 0 0 0 111613 11 0 0 25 0 4 0 524555985 770678784 36947 33554432000 4194304 4797429 140735113710160 18446744073709551615 4430056 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.1
Current children cumulated vsize (KiB) 752616

[startup+1182.3 s]
/proc/loadavg: 8.17 8.09 8.00 9/184 9080
/proc/meminfo: memFree=22726836/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=752892 CPUtime=4722.77 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 233102 0 0 0 472195 82 0 0 25 0 4 0 524555985 770961408 36327 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 188223 36327 421 148 0 183152 0
[pid=9040/tid=9041] ppid=9038 vsize=752892 CPUtime=1182.31 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 29342 0 0 0 118221 10 0 0 25 0 4 0 524555985 770961408 36327 33554432000 4194304 4797429 140735113710160 18446744073709551615 4255077 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=752892 CPUtime=1182.31 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 30766 0 0 0 118218 13 0 0 25 0 4 0 524555985 770961408 36327 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424713 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=752892 CPUtime=1175.92 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 30190 0 0 0 117580 12 0 0 25 0 4 0 524555985 770961408 36327 33554432000 4194304 4797429 140735113710160 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.77
Current children cumulated vsize (KiB) 752892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.19 8.10 8.00 5/180 9081
/proc/meminfo: memFree=22891404/32950928 swapFree=67111524/67111528
[pid=9040] ppid=9038 vsize=753252 CPUtime=4800.28 cores=0,2,4,6
/proc/9040/stat : 9040 (techdemo) R 9038 9040 6206 0 -1 4202496 234469 0 0 0 479946 82 0 0 25 0 4 0 524555985 771330048 37643 33554432000 4194304 4797429 140735113710160 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9040/statm: 188313 37643 421 148 0 183242 0
[pid=9040/tid=9041] ppid=9038 vsize=753252 CPUtime=1201.71 cores=0,2,4,6
/proc/9040/task/9041/stat : 9041 (techdemo) R 9038 9040 6206 0 -1 4202560 29563 0 0 0 120161 10 0 0 25 0 4 0 524555985 771330048 37643 33554432000 4194304 4797429 140735113710160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9040/tid=9043] ppid=9038 vsize=753252 CPUtime=1201.71 cores=0,2,4,6
/proc/9040/task/9043/stat : 9043 (techdemo) R 9038 9040 6206 0 -1 4202560 30925 0 0 0 120158 13 0 0 25 0 4 0 524555985 771330048 37643 33554432000 4194304 4797429 140735113710160 18446744073709551615 4237216 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9040/tid=9045] ppid=9038 vsize=753252 CPUtime=1195.21 cores=0,2,4,6
/proc/9040/task/9045/stat : 9045 (techdemo) R 9038 9040 6206 0 -1 4202560 30344 0 0 0 119509 12 0 0 25 0 4 0 524555985 771330048 37643 33554432000 4194304 4797429 140735113710160 18446744073709551615 4647980 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 753252

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.72
CPU time (s): 4800.32
CPU user time (s): 4799.48
CPU system time (s): 0.835872
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 860380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.48
system time used= 0.835872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234469
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= 230
involuntary context switches= 33768

runsolver used 2.03769 second user time and 4.45832 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-30 04:12:43
IDJOB=3273802
IDBENCH=83147
IDSOLVER=1584
FILE ID=node125/3273802-1304129563
RUNJOBID= node125-1304129563-9021
PBS_JOBID= 13170766
Free space on /tmp= 73020 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n120-s55656844-unsat.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3273802-1304129563/watcher-3273802-1304129563 -o /tmp/evaluation-result-3273802-1304129563/solver-3273802-1304129563 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3273802-1304129563.cnf

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

MD5SUM BENCH= 4877ca9f3fe317c84d3087c8296a2a0b
RANDOM SEED=1299061579

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23043744 kB
Buffers:       2125760 kB
Cached:        7195576 kB
SwapCached:          4 kB
Active:        2216552 kB
Inactive:      7168528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23043744 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           15644 kB
Writeback:           0 kB
AnonPages:       63420 kB
Mapped:          14492 kB
Slab:           459508 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188100 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= 73004 MiB
End job on node125 at 2011-04-30 04:32:47