Trace number 3273943

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.72

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n140-s20078956-unsat.cnf
MD5SUM8d05c170d9e6ebfc370bd1d7f7c63d86
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables141
Number of clauses292
Sum of the clauses size876
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3292
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-3273943-1304129746.cnf'
0.00/0.00	c -- header says num vars:            141
0.00/0.00	c -- header says num clauses:         292
0.00/0.00	c -- clauses added:            0 learnts,          292 normals,            0 xors
0.00/0.00	c -- vars added        141
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       141       292         0         0       876         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/292/292 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:    141 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:       6 undec:     131 neg:       4
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       141       292         0         0       876         0   no data   no data  --
0.05/0.04	c Decided on static restart strategy
4.78/1.25	c  N dy     7     30001       141       292         0      9358       876    142270     21.66     14.07  --
4.78/1.26	c  S st     7     30001       141       292         0      9358       876    142270     21.66     14.07  --
4.78/1.29	c  S st     7     30504       141       292         0      9838       876    151024     21.66     14.07  --
4.78/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.78/1.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.18/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.5M T:  0.05
5.18/1.30	c Calc non-exist non-lernt bins v-fix:     0 done:    141 time:  0.00 s
5.18/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.18/1.30	c Subs w/ non-existent bins:      0 time:  0.00 s
5.18/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.18/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.30	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
5.58/1.43	c lits-rem:      1082  cl-subs:     1500  v-elim:      0  v-fix:    0  time:  0.50 s
5.58/1.43	c learnt bin added due to v-elim: 0
5.58/1.43	c vivif2 --  cl tried      292 cl shrink        0 lits rem          0 time: 0.00
5.58/1.43	c vivif2 --  cl tried     8338 cl shrink        0 lits rem          0 time: 0.00
5.58/1.44	c asymm  cl-useful: 0/292/292 lits-rem:0 time: 0.03
5.58/1.44	c calculated reachability. Time: 0.00
5.58/1.44	c  N dy     7     30504       141       292         0      8338       876    127669     21.66     14.07  --
5.58/1.44	c  F st     7     30504       141       292         0      8338       876    127669     21.66     14.07  --
5.97/1.50	c Decided on static restart strategy
9.16/2.34	c  N dy    15     45760       141       292         0     15161       876    306194     30.11     16.12  --
9.16/2.35	c  S st    15     45760       141       292         0     15161       876    306194     30.11     16.12  --
9.16/2.39	c  S st    15     46266       141       292         0     15639       876    315186     30.11     16.12  --
9.16/2.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.56/2.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.10
9.56/2.42	c Calc non-exist non-lernt bins v-fix:     0 done:    141 time:  0.00 s
9.56/2.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.56/2.42	c Subs w/ non-existent bins:      0 time:  0.00 s
9.56/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.43	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
12.77/3.30	c lits-rem:      1832  cl-subs:     1681  v-elim:      0  v-fix:    0  time:  3.48 s
12.77/3.30	c learnt bin added due to v-elim: 0
12.77/3.30	c vivif2 --  cl tried      292 cl shrink        0 lits rem          0 time: 0.00
12.77/3.30	c vivif2 --  cl tried    13958 cl shrink        0 lits rem          0 time: 0.01
13.17/3.31	c asymm  cl-useful: 0/292/292 lits-rem:0 time: 0.05
13.17/3.31	c calculated reachability. Time: 0.00
13.17/3.31	c  N dy    15     46266       141       292         0     13958       876    272765     30.11     16.12  --
19.14/4.88	c  N dy    17     69399       141       292         0     17376       876    294557     24.14     16.09  --
19.14/4.89	c  S st    17     69399       141       292         0     17376       876    294557     24.14     16.09  --
19.55/4.95	c  S st    17     69901       141       292         0     17858       876    303638     24.14     16.09  --
19.55/4.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.55/4.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.55/4.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  0.13
19.55/4.98	c Calc non-exist non-lernt bins v-fix:     0 done:    141 time:  0.00 s
19.55/4.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.55/4.98	c Subs w/ non-existent bins:      0 time:  0.01 s
19.55/4.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.55/4.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.55/4.98	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
22.75/5.73	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
25.96/6.52	c Added 2 vars  tried: 71820 time: 3.17
25.96/6.58	c ORs :      2 avg-s:  0.0 cl-sh:  8855 l-rem:   8855 b-add:      4 v-rep:   0 cl-rem: 5 avg s: 24.2 T:    3.42
25.96/6.59	c lits-rem:      2666  cl-subs:     2615  v-elim:      0  v-fix:    0  time:  6.40 s
25.96/6.59	c learnt bin added due to v-elim: 0
25.96/6.59	c vivif2 --  cl tried      294 cl shrink        0 lits rem          0 time: 0.00
25.96/6.59	c vivif2 --  cl tried    15238 cl shrink        0 lits rem          0 time: 0.00
25.96/6.60	c asymm  cl-useful: 0/294/294 lits-rem:0 time: 0.04
25.96/6.60	c calculated reachability. Time: 0.00
25.96/6.60	c  N dy    17     69901       143       294         4     15238       890    236729     24.14     16.09  --
25.96/6.60	c  F st    17     69901       143       294         4     15238       890    236729     24.14     16.09  --
26.74/6.72	c Decided on static restart strategy
36.73/9.21	c  N dy    24    104851       143       294         4     15345       890    222735     24.34     16.09  --
36.73/9.22	c  S st    24    104851       143       294         4     15345       890    222735     24.34     16.09  --
36.73/9.27	c  S st    24    105353       143       294         4     15837       890    232505     24.34     16.09  --
36.73/9.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.73/9.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.73/9.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.6M T:  0.11
36.73/9.29	c Calc non-exist non-lernt bins v-fix:     0 done:    143 time:  0.00 s
36.73/9.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.13/9.30	c Subs w/ non-existent bins:      0 time:  0.00 s
37.13/9.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.13/9.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.13/9.30	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
39.14/9.85	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
39.14/9.85	c lits-rem:       705  cl-subs:     1262  v-elim:      0  v-fix:    0  time:  2.20 s
39.14/9.85	c learnt bin added due to v-elim: 0
39.14/9.85	c vivif2 --  cl tried      294 cl shrink        0 lits rem          0 time: 0.00
39.14/9.85	c vivif2 --  cl tried    14575 cl shrink        0 lits rem          0 time: 0.01
39.14/9.87	c asymm  cl-useful: 0/294/294 lits-rem:0 time: 0.05
39.14/9.87	c calculated reachability. Time: 0.00
39.14/9.87	c  N dy    24    105353       143       294         4     14575       890    214707     24.34     16.09  --
58.30/14.67	c  N dy    26    158031       143       294         4     20949       890    344893     29.45     18.05  --
58.30/14.68	c  S st    26    158031       143       294         4     20949       890    344893     29.45     18.05  --
58.70/14.74	c  S st    26    158533       147       294        12     21447       906    355447     29.45     18.05  --
58.70/14.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.70/14.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.70/14.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.3M T:  0.16
58.70/14.79	c Calc non-exist non-lernt bins v-fix:     0 done:    147 time:  0.00 s
58.70/14.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.70/14.79	c Subs w/ non-existent bins:      0 time:  0.01 s
58.70/14.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.70/14.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.70/14.79	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
62.69/15.70	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
62.69/15.71	c lits-rem:      2199  cl-subs:     1720  v-elim:      0  v-fix:    0  time:  3.65 s
62.69/15.71	c learnt bin added due to v-elim: 0
62.69/15.71	c vivif2 --  cl tried      294 cl shrink        0 lits rem          0 time: 0.00
62.69/15.71	c vivif2 --  cl tried    19727 cl shrink        0 lits rem          0 time: 0.01
62.69/15.73	c asymm  cl-useful: 0/294/294 lits-rem:0 time: 0.08
62.69/15.73	c calculated reachability. Time: 0.00
62.69/15.73	c  N dy    26    158533       147       294        12     19727       906    312664     29.45     18.05  --
99.85/25.00	c  N dy    27    237799       147       294        12     25236       906    393305     26.25     19.02  --
99.85/25.02	c  S st    27    237799       147       294        12     25236       906    393305     26.25     19.02  --
99.85/25.09	c  S st    27    238300       155       294        28     25735       938    403012     26.25     19.02  --
99.85/25.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
99.85/25.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.25/25.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.4M T:  0.22
100.25/25.14	c Calc non-exist non-lernt bins v-fix:     0 done:    155 time:  0.00 s
100.25/25.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.25/25.15	c Subs w/ non-existent bins:      0 time:  0.01 s
100.25/25.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.25/25.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.25/25.15	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
103.84/26.07	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
103.84/26.08	c lits-rem:      2028  cl-subs:     2042  v-elim:      0  v-fix:    0  time:  3.69 s
103.84/26.08	c learnt bin added due to v-elim: 0
103.84/26.08	c vivif2 --  cl tried      294 cl shrink        0 lits rem          0 time: 0.00
103.84/26.08	c vivif2 --  cl tried    23693 cl shrink        0 lits rem          0 time: 0.02
104.24/26.10	c asymm  cl-useful: 0/294/294 lits-rem:0 time: 0.08
104.24/26.10	c calculated reachability. Time: 0.00
104.24/26.10	c  N dy    27    238300       155       294        28     23693       938    362370     26.25     19.02  --
166.58/41.74	c  N dy    28    357450       155       294        28     26989       938    402433     25.55     19.13  --
166.58/41.75	c  S st    28    357450       155       294        28     26989       938    402433     25.55     19.13  --
166.98/41.83	c  S st    28    357953       159       294        36     27486       954    413132     25.55     19.13  --
166.98/41.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
166.98/41.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.36/41.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.2M T:  0.27
167.36/41.90	c Calc non-exist non-lernt bins v-fix:     0 done:    159 time:  0.00 s
167.36/41.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.36/41.90	c Subs w/ non-existent bins:      0 time:  0.02 s
167.36/41.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
167.36/41.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
167.36/41.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
170.16/42.67	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 18.7 T:    0.00
174.55/43.73	c Added 2 vars  tried: 80000 time: 4.24
174.55/43.78	c ORs :      2 avg-s:  0.0 cl-sh:  6947 l-rem:   6947 b-add:      5 v-rep:   0 cl-rem: 0 avg s: nan T:    4.40
174.55/43.78	c lits-rem:      2744  cl-subs:     1556  v-elim:      0  v-fix:    0  time:  7.49 s
174.55/43.78	c learnt bin added due to v-elim: 0
174.55/43.78	c vivif2 --  cl tried      296 cl shrink        0 lits rem          0 time: 0.00
174.55/43.79	c vivif2 --  cl tried    25926 cl shrink        0 lits rem          0 time: 0.02
174.95/43.81	c asymm  cl-useful: 0/296/296 lits-rem:0 time: 0.08
174.95/43.81	c calculated reachability. Time: 0.00
174.95/43.81	c  N dy    28    357953       161       296        41     25926       968    375177     25.55     19.13  --
266.44/66.70	c  N dy    30    536929       161       296        41     32408       968    451179     22.91     19.75  --
266.44/66.72	c  S st    30    536929       161       296        41     32408       968    451179     22.91     19.75  --
266.84/66.80	c  S st    30    537431       161       296        41     32899       968    461256     22.91     19.75  --
266.84/66.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
266.84/66.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
266.84/66.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.1M T:  0.38
267.24/66.90	c Calc non-exist non-lernt bins v-fix:     0 done:    161 time:  0.00 s
267.24/66.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
267.24/66.90	c Subs w/ non-existent bins:      0 time:  0.02 s
267.24/66.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
267.24/66.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
267.24/66.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
270.43/67.79	c ORs :      4 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
270.83/67.80	c lits-rem:      1917  cl-subs:     1908  v-elim:      0  v-fix:    0  time:  3.55 s
270.83/67.80	c learnt bin added due to v-elim: 0
270.83/67.80	c vivif2 --  cl tried      296 cl shrink        0 lits rem          0 time: 0.00
270.83/67.80	c vivif2 --  cl tried    30991 cl shrink        0 lits rem          0 time: 0.02
270.83/67.83	c asymm  cl-useful: 0/296/296 lits-rem:0 time: 0.12
270.83/67.83	c calculated reachability. Time: 0.00
270.83/67.83	c  N dy    30    537431       161       296        41     30991       968    425812     22.91     19.75  --
270.83/67.83	c  F st    30    537431       161       296        41     30991       968    425812     22.91     19.75  --
271.63/68.04	c Decided on static restart strategy
458.58/114.88	c  N dy    37    806146       161       296        41     54840       968    866714     24.83     19.60  --
458.98/114.91	c  S st    37    806146       161       296        41     54840       968    866714     24.83     19.60  --
459.38/115.06	c  S st    37    806651       169       296        61     55353      1004    877640     24.83     19.60  --
459.38/115.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
459.38/115.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
460.18/115.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.0M T:  0.79
460.18/115.26	c Calc non-exist non-lernt bins v-fix:     0 done:    169 time:  0.01 s
460.18/115.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
460.18/115.27	c Subs w/ non-existent bins:      0 time:  0.04 s
460.58/115.32	c Replacing        1 vars Replaced     2703 lits Time:     0.21 s 
460.58/115.33	c bin-w-bin subsume rem            2 bins  time:  0.00 s
460.58/115.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
460.58/115.34	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
470.18/117.71	c ORs :      4 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
470.18/117.72	c lits-rem:      2259  cl-subs:     5773  v-elim:      0  v-fix:    0  time:  9.52 s
470.18/117.72	c learnt bin added due to v-elim: 0
470.18/117.72	c vivif2 --  cl tried      296 cl shrink        0 lits rem          0 time: 0.00
470.18/117.73	c vivif2 --  cl tried    49580 cl shrink        0 lits rem          0 time: 0.04
470.18/117.79	c asymm  cl-useful: 0/296/296 lits-rem:0 time: 0.25
470.56/117.80	c calculated reachability. Time: 0.00
470.56/117.80	c  N dy    37    806651       168       296        55     49580       996    777102     24.83     19.60  --
847.68/212.21	c  N dy    41   1209977       168       296        55     63573       996    981890     22.47     17.36  --
847.68/212.25	c  S st    41   1209977       168       296        55     63573       996    981890     22.47     17.36  --
847.68/212.25	c Finding binary XORs  T:     0.00 s  found:       0
848.46/212.43	c  S st    41   1210479       172       296        63     64072      1012    993649     22.47     17.36  --
848.46/212.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
848.46/212.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
849.26/212.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.2M T:  0.96
849.26/212.67	c Calc non-exist non-lernt bins v-fix:     0 done:    172 time:  0.00 s
849.26/212.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
849.26/212.68	c Subs w/ non-existent bins:      0 time:  0.04 s
849.67/212.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
849.67/212.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
849.67/212.70	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
864.05/216.31	c ORs :      4 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
864.05/216.33	c lits-rem:      5387  cl-subs:     6494  v-elim:      0  v-fix:    0  time: 14.50 s
864.05/216.33	c learnt bin added due to v-elim: 0
864.05/216.33	c vivif2 --  cl tried      296 cl shrink        0 lits rem          0 time: 0.00
864.05/216.34	c vivif2 --  cl tried    57578 cl shrink        0 lits rem          0 time: 0.04
864.45/216.41	c asymm  cl-useful: 0/296/296 lits-rem:0 time: 0.28
864.45/216.41	c calculated reachability. Time: 0.00
864.45/216.41	c  N dy    41   1210479       172       296        63     57578      1012    872818     22.47     17.36  --
1436.49/359.66	c  N dy    44   1710479       172       296        63     88572      1012   1565025     26.94     17.76  --
1436.89/359.72	c  S st    44   1710479       172       296        63     88572      1012   1565025     26.94     17.76  --
1437.67/359.97	c  S st    44   1710980       174       296        67     89070      1020   1576144     26.94     17.76  --
1437.67/359.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1437.67/359.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1439.67/360.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 21.0M T:  1.77
1439.67/360.42	c Calc non-exist non-lernt bins v-fix:     0 done:    174 time:  0.01 s
1439.67/360.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1439.67/360.43	c Subs w/ non-existent bins:      0 time:  0.06 s
1439.67/360.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1439.67/360.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1439.67/360.47	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1464.03/366.55	c ORs :      4 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
1485.24/371.84	c Added 2 vars  tried: 80000 time: 21.10
1490.00/373.01	c ORs :      2 avg-s:  0.0 cl-sh: 34773 l-rem:  34773 b-add:      4 v-rep:   0 cl-rem: 0 avg s: nan T:   25.77
1490.00/373.04	c lits-rem:       460  cl-subs:     8647  v-elim:      0  v-fix:    0  time: 50.19 s
1490.00/373.04	c learnt bin added due to v-elim: 0
1490.00/373.04	c vivif2 --  cl tried      298 cl shrink        0 lits rem          0 time: 0.00
1490.00/373.05	c vivif2 --  cl tried    80423 cl shrink        0 lits rem          0 time: 0.08
1490.40/373.14	c asymm  cl-useful: 0/298/298 lits-rem:0 time: 0.36
1490.40/373.15	c calculated reachability. Time: 0.00
1490.40/373.15	c  N dy    44   1710980       176       298        71     80423      1034   1360275     26.94     17.76  --
2304.50/576.92	c  N dy    45   2210982       176       298        71     98138      1034   1666861     24.77     17.68  --
2304.50/576.98	c  S st    45   2210982       176       298        71     98138      1034   1666861     24.77     17.68  --
2305.70/577.29	c  S st    45   2211484       176       298        71     98634      1034   1678107     24.77     17.68  --
2305.70/577.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2305.70/577.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2307.69/577.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 22.5M T:  1.83
2307.69/577.76	c Calc non-exist non-lernt bins v-fix:     0 done:    176 time:  0.01 s
2307.69/577.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2307.69/577.77	c Subs w/ non-existent bins:      0 time:  0.07 s
2308.09/577.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2308.09/577.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
2308.09/577.82	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2337.26/585.20	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 24.0 T:    0.07
2337.67/585.23	c lits-rem:      1904  cl-subs:    12353  v-elim:      0  v-fix:    0  time: 29.58 s
2337.67/585.23	c learnt bin added due to v-elim: 0
2337.67/585.23	c vivif2 --  cl tried      298 cl shrink        0 lits rem          0 time: 0.00
2337.67/585.25	c vivif2 --  cl tried    86280 cl shrink        0 lits rem          0 time: 0.08
2338.04/585.35	c asymm  cl-useful: 0/298/298 lits-rem:0 time: 0.43
2338.04/585.36	c calculated reachability. Time: 0.00
2338.04/585.36	c  N dy    45   2211484       176       298        71     86280      1034   1414596     24.77     17.68  --
3130.58/783.77	c  N dy    47   2711484       176       298        71    105572      1034   1771152     22.57     18.24  --
3130.98/783.84	c  S st    47   2711484       176       298        71    105572      1034   1771152     22.57     18.24  --
3132.18/784.16	c  S st    47   2711987       184       298        88    106082      1066   1781945     22.57     18.24  --
3132.18/784.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3132.18/784.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3134.57/784.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 28.8M T:  2.29
3134.57/784.75	c Calc non-exist non-lernt bins v-fix:     0 done:    184 time:  0.01 s
3134.57/784.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3134.57/784.77	c Subs w/ non-existent bins:      0 time:  0.08 s
3134.97/784.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3134.97/784.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3134.97/784.81	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3172.54/794.26	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.10
3172.54/794.29	c lits-rem:      4668  cl-subs:    12406  v-elim:      0  v-fix:    0  time: 37.89 s
3172.54/794.29	c learnt bin added due to v-elim: 0
3172.54/794.29	c vivif2 --  cl tried      298 cl shrink        0 lits rem          0 time: 0.00
3172.91/794.32	c vivif2 --  cl tried    93676 cl shrink        0 lits rem          0 time: 0.09
3173.31/794.42	c asymm  cl-useful: 0/298/298 lits-rem:0 time: 0.43
3173.31/794.43	c calculated reachability. Time: 0.00
3173.31/794.43	c  N dy    47   2711987       184       298        88     93676      1066   1473069     22.57     18.24  --
3173.31/794.43	c  F st    47   2711987       184       298        88     93676      1066   1473069     22.57     18.24  --
3176.11/795.12	c Decided on static restart strategy
3983.41/997.25	c  N dy    54   3211987       184       298        88     70621      1066    777374     24.18     17.94  --
3983.41/997.28	c  S st    54   3211987       184       298        88     70621      1066    777374     24.18     17.94  --
3983.41/997.29	c Finding binary XORs  T:     0.00 s  found:       0
3984.21/997.46	c  S st    54   3212491       192       298       104     71129      1098    787815     24.18     17.94  --
3984.21/997.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3984.21/997.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3985.43/997.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.7M T:  1.18
3985.43/997.77	c Calc non-exist non-lernt bins v-fix:     0 done:    192 time:  0.01 s
3985.43/997.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3985.43/997.78	c Subs w/ non-existent bins:      0 time:  0.05 s
3985.43/997.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3985.81/997.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3985.81/997.80	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3991.00/999.11	c ORs :      6 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
3991.00/999.13	c lits-rem:       597  cl-subs:     2208  v-elim:      0  v-fix:    0  time:  5.30 s
3991.00/999.13	c learnt bin added due to v-elim: 0
3991.00/999.13	c vivif2 --  cl tried      298 cl shrink        0 lits rem          0 time: 0.00
3991.00/999.14	c vivif2 --  cl tried    68921 cl shrink        0 lits rem          0 time: 0.06
3991.41/999.20	c asymm  cl-useful: 0/298/298 lits-rem:0 time: 0.23
3991.41/999.20	c calculated reachability. Time: 0.00
3991.41/999.20	c  N dy    54   3212491       192       298       104     68921      1098    762724     24.18     17.94  --

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-3273943-1304129746/watcher-3273943-1304129746 -o /tmp/evaluation-result-3273943-1304129746/solver-3273943-1304129746 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3273943-1304129746.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: 7.78 8.02 7.87 5/180 9376
/proc/meminfo: memFree=30155536/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=80748 CPUtime=0 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 580 0 0 0 0 0 0 0 25 0 4 0 603205316 82685952 516 33554432000 4194304 4797429 140737174723456 18446744073709551615 47702259595186 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 20187 516 360 148 0 15116 0
[pid=9376/tid=9377] ppid=9374 vsize=80748 CPUtime=0 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 603205316 82685952 516 33554432000 4194304 4797429 140737174723456 18446744073709551615 47702259595176 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=80748 CPUtime=0 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 603205316 82685952 516 33554432000 4194304 4797429 140737174723456 18446744073709551615 47702259595176 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=80748 CPUtime=0 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 603205316 82685952 516 33554432000 4194304 4797429 140737174723456 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.019863 s]
/proc/loadavg: 7.78 8.02 7.87 5/180 9376
/proc/meminfo: memFree=30155536/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=671428 CPUtime=0.05 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 839 0 0 0 5 0 0 0 25 0 4 0 603205316 687542272 722 33554432000 4194304 4797429 140737174723456 18446744073709551615 260905499167 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 167857 722 407 148 0 162786 0
[pid=9376/tid=9377] ppid=9374 vsize=671428 CPUtime=0.01 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 86 0 0 0 1 0 0 0 25 0 4 0 603205316 687542272 722 33554432000 4194304 4797429 140737174723456 18446744073709551615 260905090758 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=671428 CPUtime=0.01 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 69 0 0 0 1 0 0 0 25 0 4 0 603205316 687542272 722 33554432000 4194304 4797429 140737174723456 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=671428 CPUtime=0.01 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 58 0 0 0 1 0 0 0 25 0 4 0 603205316 687542272 722 33554432000 4194304 4797429 140737174723456 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 671428

[startup+0.14235 s]
/proc/loadavg: 7.78 8.02 7.87 5/180 9376
/proc/meminfo: memFree=30155536/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=673020 CPUtime=0.54 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 1684 0 0 0 54 0 0 0 25 0 4 0 603205316 689172480 1173 33554432000 4194304 4797429 140737174723456 18446744073709551615 260905090716 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 168255 1173 409 148 0 163184 0
[pid=9376/tid=9377] ppid=9374 vsize=673020 CPUtime=0.13 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 318 0 0 0 13 0 0 0 25 0 4 0 603205316 689172480 1173 33554432000 4194304 4797429 140737174723456 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=673020 CPUtime=0.13 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 288 0 0 0 13 0 0 0 25 0 4 0 603205316 689172480 1173 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424779 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=673020 CPUtime=0.13 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 250 0 0 0 13 0 0 0 25 0 4 0 603205316 689172480 1173 33554432000 4194304 4797429 140737174723456 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 673020

[startup+0.301043 s]
/proc/loadavg: 7.78 8.02 7.87 5/180 9376
/proc/meminfo: memFree=30155536/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=673752 CPUtime=1.18 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 2262 0 0 0 118 0 0 0 25 0 4 0 603205316 689922048 1734 33554432000 4194304 4797429 140737174723456 18446744073709551615 4425039 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 168438 1734 410 148 0 163367 0
[pid=9376/tid=9377] ppid=9374 vsize=673752 CPUtime=0.29 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 474 0 0 0 29 0 0 0 25 0 4 0 603205316 689922048 1735 33554432000 4194304 4797429 140737174723456 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=673752 CPUtime=0.29 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 449 0 0 0 29 0 0 0 25 0 4 0 603205316 689922048 1735 33554432000 4194304 4797429 140737174723456 18446744073709551615 4413877 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=673752 CPUtime=0.29 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 382 0 0 0 29 0 0 0 25 0 4 0 603205316 689922048 1735 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424630 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 673752

[startup+0.700971 s]
/proc/loadavg: 7.78 8.02 7.87 5/180 9376
/proc/meminfo: memFree=30155536/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=675780 CPUtime=2.77 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 4328 0 0 0 277 0 0 0 25 0 4 0 603205316 691998720 2901 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 168945 2901 417 148 0 163874 0
[pid=9376/tid=9377] ppid=9374 vsize=675780 CPUtime=0.69 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 1023 0 0 0 69 0 0 0 25 0 4 0 603205316 691998720 2901 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=675780 CPUtime=0.69 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 992 0 0 0 69 0 0 0 25 0 4 0 603205316 691998720 2901 33554432000 4194304 4797429 140737174723456 18446744073709551615 4422918 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=675780 CPUtime=0.69 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 908 0 0 0 69 0 0 0 25 0 4 0 603205316 691998720 2901 33554432000 4194304 4797429 140737174723456 18446744073709551615 4387514 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) 675780

[startup+1.50083 s]
/proc/loadavg: 7.78 8.02 7.87 9/184 9380
/proc/meminfo: memFree=30143476/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=679096 CPUtime=5.97 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 6244 0 0 0 596 1 0 0 25 0 4 0 603205316 695394304 4139 33554432000 4194304 4797429 140737174723456 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 169774 4139 417 148 0 164703 0
[pid=9376/tid=9377] ppid=9374 vsize=679096 CPUtime=1.49 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 1465 0 0 0 149 0 0 0 25 0 4 0 603205316 695394304 4139 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=679096 CPUtime=1.48 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 1408 0 0 0 148 0 0 0 25 0 4 0 603205316 695394304 4139 33554432000 4194304 4797429 140737174723456 18446744073709551615 4341440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=679096 CPUtime=1.48 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 1124 0 0 0 148 0 0 0 25 0 4 0 603205316 695394304 4139 33554432000 4194304 4797429 140737174723456 18446744073709551615 4429118 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) 679096

[startup+3.10053 s]
/proc/loadavg: 7.78 8.02 7.87 9/184 9380
/proc/meminfo: memFree=30135924/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=682464 CPUtime=12.36 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 8508 0 0 0 1235 1 0 0 25 0 4 0 603205316 698843136 5349 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524072 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 170616 5349 417 148 0 165545 0
[pid=9376/tid=9377] ppid=9374 vsize=682464 CPUtime=3.09 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 1918 0 0 0 309 0 0 0 25 0 4 0 603205316 698843136 5349 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424720 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=682464 CPUtime=3.08 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 1811 0 0 0 308 0 0 0 25 0 4 0 603205316 698843136 5349 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424649 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=682464 CPUtime=3.07 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 1490 0 0 0 307 0 0 0 25 0 4 0 603205316 698843136 5349 33554432000 4194304 4797429 140737174723456 18446744073709551615 4387648 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 682464

[startup+6.30094 s]
/proc/loadavg: 7.80 8.02 7.87 9/184 9380
/proc/meminfo: memFree=30127512/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=685744 CPUtime=25.15 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 11201 0 0 0 2513 2 0 0 25 0 4 0 603205316 702201856 6438 33554432000 4194304 4797429 140737174723456 18446744073709551615 4495467 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 171436 6438 418 148 0 166365 0
[pid=9376/tid=9377] ppid=9374 vsize=685744 CPUtime=6.29 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 2256 0 0 0 629 0 0 0 25 0 4 0 603205316 702201856 6438 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=685744 CPUtime=6.28 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 2311 0 0 0 628 0 0 0 25 0 4 0 603205316 702201856 6438 33554432000 4194304 4797429 140737174723456 18446744073709551615 4422906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=685744 CPUtime=6.26 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 2129 0 0 0 626 0 0 0 25 0 4 0 603205316 702201856 6438 33554432000 4194304 4797429 140737174723456 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 685744

[startup+12.7008 s]
/proc/loadavg: 7.81 8.02 7.87 9/184 9380
/proc/meminfo: memFree=30117372/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=689560 CPUtime=50.71 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 16146 0 0 0 5068 3 0 0 25 0 4 0 603205316 706109440 7541 33554432000 4194304 4797429 140737174723456 18446744073709551615 4426348 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 172390 7541 419 148 0 167319 0
[pid=9376/tid=9377] ppid=9374 vsize=689560 CPUtime=12.69 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 2935 0 0 0 1269 0 0 0 25 0 4 0 603205316 706109440 7541 33554432000 4194304 4797429 140737174723456 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=689560 CPUtime=12.69 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 2902 0 0 0 1268 1 0 0 25 0 4 0 603205316 706109440 7541 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=689560 CPUtime=12.62 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 2733 0 0 0 1262 0 0 0 25 0 4 0 603205316 706109440 7541 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524458 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) 689560

[startup+25.5004 s]
/proc/loadavg: 7.85 8.01 7.87 9/184 9381
/proc/meminfo: memFree=30103648/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=693748 CPUtime=101.84 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 23245 0 0 0 10180 4 0 0 25 0 4 0 603205316 710397952 9502 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568055 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 173437 9502 419 148 0 168366 0
[pid=9376/tid=9377] ppid=9374 vsize=693748 CPUtime=25.48 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 3760 0 0 0 2548 0 0 0 25 0 4 0 603205316 710397952 9502 33554432000 4194304 4797429 140737174723456 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=693748 CPUtime=25.48 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 3648 0 0 0 2547 1 0 0 25 0 4 0 603205316 710397952 9502 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=693748 CPUtime=25.35 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 3676 0 0 0 2535 0 0 0 25 0 4 0 603205316 710397952 9502 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524171 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) 693748

[startup+51.1007 s]
/proc/loadavg: 7.90 8.01 7.88 9/184 9381
/proc/meminfo: memFree=30087056/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=701140 CPUtime=204.11 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 35175 0 0 0 20404 7 0 0 25 0 4 0 603205316 717967360 11601 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 175285 11601 419 148 0 170214 0
[pid=9376/tid=9377] ppid=9374 vsize=701140 CPUtime=51.08 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 5174 0 0 0 5107 1 0 0 25 0 4 0 603205316 717967360 11601 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=701140 CPUtime=51.08 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 4851 0 0 0 5107 1 0 0 25 0 4 0 603205316 717967360 11601 33554432000 4194304 4797429 140737174723456 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=701140 CPUtime=50.83 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 4855 0 0 0 5082 1 0 0 25 0 4 0 603205316 717967360 11601 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524386 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) 701140

[startup+102.306 s]
/proc/loadavg: 7.96 8.01 7.88 9/184 9383
/proc/meminfo: memFree=30063840/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=706752 CPUtime=408.67 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 53654 0 0 0 40854 13 0 0 25 0 4 0 603205316 723714048 15178 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 176688 15178 422 148 0 171617 0
[pid=9376/tid=9377] ppid=9374 vsize=706752 CPUtime=102.29 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 6964 0 0 0 10227 2 0 0 25 0 4 0 603205316 723714048 15178 33554432000 4194304 4797429 140737174723456 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=706752 CPUtime=102.28 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 6812 0 0 0 10227 1 0 0 25 0 4 0 603205316 723714048 15178 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424887 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=706752 CPUtime=101.76 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 6566 0 0 0 10175 1 0 0 25 0 4 0 603205316 723714048 15178 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568098 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) 706752

[startup+162.3 s]

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

[pid=9376] ppid=9374 vsize=752536 CPUtime=2805.42 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 174508 0 0 0 280482 60 0 0 25 0 4 0 603205316 770596864 31534 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 188134 31534 421 148 0 183063 0
[pid=9376/tid=9377] ppid=9374 vsize=752536 CPUtime=702.24 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 21178 0 0 0 70216 8 0 0 25 0 4 0 603205316 770596864 31534 33554432000 4194304 4797429 140737174723456 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=752536 CPUtime=702.29 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 20901 0 0 0 70222 7 0 0 25 0 4 0 603205316 770596864 31534 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=752536 CPUtime=698.54 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 20736 0 0 0 69847 7 0 0 25 0 4 0 603205316 770596864 31534 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 752536

[startup+762.306 s]
/proc/loadavg: 8.11 8.09 7.98 9/184 9400
/proc/meminfo: memFree=29917240/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=753516 CPUtime=3045.11 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 184064 0 0 0 304446 65 0 0 25 0 4 0 603205316 771600384 32340 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 188379 32340 421 148 0 183308 0
[pid=9376/tid=9377] ppid=9374 vsize=753516 CPUtime=762.24 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 22292 0 0 0 76215 9 0 0 25 0 4 0 603205316 771600384 32340 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=753516 CPUtime=762.3 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 22211 0 0 0 76222 8 0 0 25 0 4 0 603205316 771600384 32340 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=753516 CPUtime=758.22 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 21851 0 0 0 75815 7 0 0 25 0 4 0 603205316 771600384 32340 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 753516

[startup+822.3 s]
/proc/loadavg: 8.10 8.09 7.98 9/184 9402
/proc/meminfo: memFree=29906640/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=758008 CPUtime=3284.77 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 194735 0 0 0 328408 69 0 0 25 0 4 0 603205316 776200192 33469 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 189502 33469 421 148 0 184431 0
[pid=9376/tid=9377] ppid=9374 vsize=758008 CPUtime=822.23 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 23357 0 0 0 82214 9 0 0 25 0 4 0 603205316 776200192 33469 33554432000 4194304 4797429 140737174723456 18446744073709551615 4547021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=758008 CPUtime=822.3 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 23718 0 0 0 82221 9 0 0 25 0 4 0 603205316 776200192 33469 33554432000 4194304 4797429 140737174723456 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=758008 CPUtime=817.9 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 23219 0 0 0 81782 8 0 0 25 0 4 0 603205316 776200192 33469 33554432000 4194304 4797429 140737174723456 18446744073709551615 4428848 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 758008

[startup+882.3 s]
/proc/loadavg: 8.13 8.10 8.00 9/184 9403
/proc/meminfo: memFree=29893796/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=758392 CPUtime=3524.44 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 204588 0 0 0 352372 72 0 0 25 0 4 0 603205316 776593408 35639 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 189598 35639 421 148 0 184527 0
[pid=9376/tid=9377] ppid=9374 vsize=758392 CPUtime=882.22 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 24179 0 0 0 88213 9 0 0 25 0 4 0 603205316 776593408 35639 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=758392 CPUtime=882.3 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 25205 0 0 0 88221 9 0 0 25 0 4 0 603205316 776593408 35639 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=758392 CPUtime=877.56 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 24734 0 0 0 87748 8 0 0 25 0 4 0 603205316 776593408 35639 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 758392

[startup+942.3 s]
/proc/loadavg: 8.14 8.11 8.00 9/184 9405
/proc/meminfo: memFree=29883712/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=761900 CPUtime=3764.11 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 213487 0 0 0 376336 75 0 0 25 0 4 0 603205316 780185600 36845 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 190475 36845 421 148 0 185404 0
[pid=9376/tid=9377] ppid=9374 vsize=761900 CPUtime=942.21 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 25673 0 0 0 94211 10 0 0 25 0 4 0 603205316 780185600 36845 33554432000 4194304 4797429 140737174723456 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=761900 CPUtime=942.3 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 25859 0 0 0 94221 9 0 0 25 0 4 0 603205316 780185600 36845 33554432000 4194304 4797429 140737174723456 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=761900 CPUtime=937.24 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 25862 0 0 0 93715 9 0 0 25 0 4 0 603205316 780185600 36845 33554432000 4194304 4797429 140737174723456 18446744073709551615 4549863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 761900

[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 8.01 9/184 9407
/proc/meminfo: memFree=29875880/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=762024 CPUtime=4003.78 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 221237 0 0 0 400298 80 0 0 25 0 4 0 603205316 780312576 36656 33554432000 4194304 4797429 140737174723456 18446744073709551615 4425633 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 190506 36656 421 148 0 185435 0
[pid=9376/tid=9377] ppid=9374 vsize=762024 CPUtime=1002.21 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 26818 0 0 0 100211 10 0 0 25 0 4 0 603205316 780312576 36656 33554432000 4194304 4797429 140737174723456 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=762024 CPUtime=1002.3 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 27024 0 0 0 100220 10 0 0 25 0 4 0 603205316 780312576 36656 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524144 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=762024 CPUtime=996.92 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 26526 0 0 0 99682 10 0 0 25 0 4 0 603205316 780312576 36656 33554432000 4194304 4797429 140737174723456 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 762024

[startup+1062.3 s]
/proc/loadavg: 8.12 8.12 8.01 9/184 9408
/proc/meminfo: memFree=29877432/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=763880 CPUtime=4243.46 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 229106 0 0 0 424262 84 0 0 25 0 4 0 603205316 782213120 37518 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 190970 37518 421 148 0 185899 0
[pid=9376/tid=9377] ppid=9374 vsize=763880 CPUtime=1062.21 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 27949 0 0 0 106210 11 0 0 25 0 4 0 603205316 782213120 37518 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=763880 CPUtime=1062.31 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 28111 0 0 0 106220 11 0 0 25 0 4 0 603205316 782213120 37518 33554432000 4194304 4797429 140737174723456 18446744073709551615 4647984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=763880 CPUtime=1056.6 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 27713 0 0 0 105649 11 0 0 25 0 4 0 603205316 782213120 37518 33554432000 4194304 4797429 140737174723456 18446744073709551615 4430024 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 763880

[startup+1122.3 s]
/proc/loadavg: 8.04 8.09 8.01 9/184 9410
/proc/meminfo: memFree=29862012/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=767060 CPUtime=4483.13 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 236171 0 0 0 448226 87 0 0 25 0 4 0 603205316 785469440 38883 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 191765 38883 421 148 0 186694 0
[pid=9376/tid=9377] ppid=9374 vsize=767060 CPUtime=1122.2 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 28658 0 0 0 112209 11 0 0 25 0 4 0 603205316 785469440 38883 33554432000 4194304 4797429 140737174723456 18446744073709551615 4428951 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=767060 CPUtime=1122.31 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 29245 0 0 0 112220 11 0 0 25 0 4 0 603205316 785469440 38883 33554432000 4194304 4797429 140737174723456 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=767060 CPUtime=1116.27 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 28818 0 0 0 111616 11 0 0 25 0 4 0 603205316 785469440 38883 33554432000 4194304 4797429 140737174723456 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 767060

[startup+1182.3 s]
/proc/loadavg: 8.13 8.10 8.01 9/184 9411
/proc/meminfo: memFree=29842504/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=768500 CPUtime=4722.81 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 242548 0 0 0 472191 90 0 0 25 0 4 0 603205316 786944000 40815 33554432000 4194304 4797429 140737174723456 18446744073709551615 4345256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 192125 40815 421 148 0 187054 0
[pid=9376/tid=9377] ppid=9374 vsize=768500 CPUtime=1182.19 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 29772 0 0 0 118208 11 0 0 25 0 4 0 603205316 786944000 40815 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=768500 CPUtime=1182.31 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 29896 0 0 0 118219 12 0 0 25 0 4 0 603205316 786944000 40815 33554432000 4194304 4797429 140737174723456 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=768500 CPUtime=1175.94 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 29472 0 0 0 117583 11 0 0 25 0 4 0 603205316 786944000 40815 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 768500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.10 8.01 9/184 9443
/proc/meminfo: memFree=29972628/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=768572 CPUtime=4800.32 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 245764 0 0 0 479939 93 0 0 25 0 4 0 603205316 787017728 39528 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 192143 39528 421 148 0 187072 0
[pid=9376/tid=9377] ppid=9374 vsize=768572 CPUtime=1201.6 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 29979 0 0 0 120149 11 0 0 25 0 4 0 603205316 787017728 39528 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=768572 CPUtime=1201.72 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 30461 0 0 0 120160 12 0 0 25 0 4 0 603205316 787017728 39528 33554432000 4194304 4797429 140737174723456 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=768572 CPUtime=1195.24 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 29677 0 0 0 119513 11 0 0 25 0 4 0 603205316 787017728 39528 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 768572

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

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

[startup+1201.7 s]
/proc/loadavg: 8.09 8.10 8.01 9/184 9443
/proc/meminfo: memFree=29972628/32950928 swapFree=67054472/67111528
[pid=9376] ppid=9374 vsize=768572 CPUtime=4800.32 cores=0,2,4,6
/proc/9376/stat : 9376 (techdemo) R 9374 9376 8735 0 -1 4202496 245764 0 0 0 479939 93 0 0 25 0 4 0 603205316 787017728 39528 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9376/statm: 192143 39528 421 148 0 187072 0
[pid=9376/tid=9377] ppid=9374 vsize=768572 CPUtime=1201.6 cores=0,2,4,6
/proc/9376/task/9377/stat : 9377 (techdemo) R 9374 9376 8735 0 -1 4202560 29979 0 0 0 120149 11 0 0 25 0 4 0 603205316 787017728 39528 33554432000 4194304 4797429 140737174723456 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9376/tid=9378] ppid=9374 vsize=768572 CPUtime=1201.72 cores=0,2,4,6
/proc/9376/task/9378/stat : 9378 (techdemo) R 9374 9376 8735 0 -1 4202560 30461 0 0 0 120160 12 0 0 25 0 4 0 603205316 787017728 39528 33554432000 4194304 4797429 140737174723456 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9376/tid=9379] ppid=9374 vsize=768572 CPUtime=1195.24 cores=0,2,4,6
/proc/9376/task/9379/stat : 9379 (techdemo) R 9374 9376 8735 0 -1 4202560 29677 0 0 0 119513 11 0 0 25 0 4 0 603205316 787017728 39528 33554432000 4194304 4797429 140737174723456 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 768572

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.36
CPU user time (s): 4799.42
CPU system time (s): 0.938857
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 874236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.42
system time used= 0.938857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245764
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= 220
involuntary context switches= 35561

runsolver used 1.9867 second user time and 4.52031 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-30 04:15:46
IDJOB=3273943
IDBENCH=83150
IDSOLVER=1584
FILE ID=node116/3273943-1304129746
RUNJOBID= node116-1304128530-8753
PBS_JOBID= 13170778
Free space on /tmp= 73280 MiB

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

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

MD5SUM BENCH= 8d05c170d9e6ebfc370bd1d7f7c63d86
RANDOM SEED=1110159668

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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.826
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:      30155576 kB
Buffers:        995640 kB
Cached:        1409124 kB
SwapCached:       9656 kB
Active:         160332 kB
Inactive:      2297336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30155576 kB
SwapTotal:    67111528 kB
SwapFree:     67054472 kB
Dirty:           15848 kB
Writeback:           0 kB
AnonPages:       50916 kB
Mapped:          13688 kB
Slab:           275476 kB
PageTables:       4760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   692088 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= 73272 MiB
End job on node116 at 2011-04-30 04:35:50