Trace number 3273990

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.1 1201.62

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
MD5SUM92046422d2d9595619b29413c0964c9c
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 variables201
Number of clauses412
Sum of the clauses size1236
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3412
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-3273990-1304129786.cnf'
0.00/0.00	c -- header says num vars:            201
0.00/0.00	c -- header says num clauses:         412
0.00/0.00	c -- clauses added:            0 learnts,          412 normals,            0 xors
0.00/0.00	c -- vars added        201
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       201       412         0         0      1236         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/412/412 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:    201 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:       7 undec:     191 neg:       3
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       201       412         0         0      1236         0   no data   no data  --
0.00/0.04	c Decided on static restart strategy
5.57/1.45	c  N dy     7     30001       201       412         0      9569      1236    178018     26.23     16.32  --
5.57/1.46	c  S st     7     30001       201       412         0      9569      1236    178018     26.23     16.32  --
5.57/1.49	c  S st     7     30502       201       412         0     10045      1236    189184     26.23     16.32  --
5.57/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.5M T:  0.05
5.97/1.50	c Calc non-exist non-lernt bins v-fix:     0 done:    201 time:  0.00 s
5.97/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.50	c Subs w/ non-existent bins:      0 time:  0.00 s
5.97/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
6.37/1.67	c lits-rem:       883  cl-subs:     1660  v-elim:      0  v-fix:    0  time:  0.67 s
6.37/1.67	c learnt bin added due to v-elim: 0
6.37/1.67	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
6.37/1.67	c vivif2 --  cl tried     8385 cl shrink        0 lits rem          0 time: 0.00
6.37/1.68	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.04
6.37/1.68	c calculated reachability. Time: 0.00
6.37/1.68	c  N dy     7     30502       201       412         0      8385      1236    157852     26.23     16.32  --
6.37/1.68	c  F st     7     30502       201       412         0      8385      1236    157852     26.23     16.32  --
6.77/1.76	c Decided on static restart strategy
9.56/2.43	c  N dy    14     45753       201       412         0     15130      1236    286739     29.14     15.43  --
9.56/2.44	c  S st    14     45753       201       412         0     15130      1236    286739     29.14     15.43  --
9.56/2.48	c  S st    14     46257       201       412         0     15612      1236    298488     29.14     15.43  --
9.56/2.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.96/2.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.08
9.96/2.50	c Calc non-exist non-lernt bins v-fix:     0 done:    201 time:  0.00 s
9.96/2.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.96/2.51	c Subs w/ non-existent bins:      0 time:  0.00 s
9.96/2.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.51	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
13.18/3.39	c lits-rem:      1924  cl-subs:     2110  v-elim:      0  v-fix:    0  time:  3.51 s
13.18/3.39	c learnt bin added due to v-elim: 0
13.18/3.39	c vivif2 --  cl tried      412 cl shrink        0 lits rem          0 time: 0.00
13.18/3.39	c vivif2 --  cl tried    13502 cl shrink        0 lits rem          0 time: 0.01
13.56/3.41	c asymm  cl-useful: 0/412/412 lits-rem:0 time: 0.07
13.56/3.41	c calculated reachability. Time: 0.00
13.56/3.41	c  N dy    14     46257       201       412         0     13502      1236    257018     29.14     15.43  --
18.76/4.79	c  N dy    15     69386       201       412         0     17459      1236    326014     26.83     16.75  --
19.15/4.80	c  S st    15     69386       201       412         0     17459      1236    326014     26.83     16.75  --
19.15/4.85	c  S st    15     69889       201       412         0     17943      1236    336959     26.83     16.75  --
19.15/4.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.15/4.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.15/4.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.3M T:  0.12
19.15/4.87	c Calc non-exist non-lernt bins v-fix:     0 done:    201 time:  0.00 s
19.15/4.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.15/4.88	c Subs w/ non-existent bins:      0 time:  0.01 s
19.15/4.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.15/4.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.15/4.88	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
23.15/5.86	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.54/6.48	c Added 3 vars  tried: 80000 time: 2.47
25.96/6.55	c ORs :      3 avg-s:  0.0 cl-sh: 10382 l-rem:  10382 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:    2.76
25.96/6.56	c lits-rem:      2204  cl-subs:     1925  v-elim:      0  v-fix:    0  time:  6.68 s
25.96/6.56	c learnt bin added due to v-elim: 0
25.96/6.56	c vivif2 --  cl tried      415 cl shrink        0 lits rem          0 time: 0.00
25.96/6.56	c vivif2 --  cl tried    16018 cl shrink        0 lits rem          0 time: 0.01
25.96/6.57	c asymm  cl-useful: 0/415/415 lits-rem:0 time: 0.05
25.96/6.57	c calculated reachability. Time: 0.00
25.96/6.57	c  N dy    15     69889       204       415         6     16018      1257    280916     26.83     16.75  --
25.96/6.57	c  F st    15     69889       204       415         6     16018      1257    280916     26.83     16.75  --
26.36/6.68	c Decided on static restart strategy
36.73/9.22	c  N dy    23    104833       204       415         6     15452      1257    246632     25.97     15.03  --
36.73/9.23	c  S st    23    104833       204       415         6     15452      1257    246632     25.97     15.03  --
36.73/9.27	c  S st    23    105335       204       415         6     15936      1257    258311     25.97     15.03  --
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.1M T:  0.09
36.73/9.29	c Calc non-exist non-lernt bins v-fix:     0 done:    204 time:  0.00 s
36.73/9.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.73/9.29	c Subs w/ non-existent bins:      0 time:  0.01 s
37.12/9.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.12/9.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.12/9.30	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
40.33/10.14	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 20.0 T:    0.00
40.33/10.14	c lits-rem:      1336  cl-subs:     1145  v-elim:      0  v-fix:    0  time:  3.36 s
40.33/10.14	c learnt bin added due to v-elim: 0
40.33/10.14	c vivif2 --  cl tried      415 cl shrink        0 lits rem          0 time: 0.00
40.33/10.14	c vivif2 --  cl tried    14790 cl shrink        0 lits rem          0 time: 0.01
40.33/10.16	c asymm  cl-useful: 0/415/415 lits-rem:0 time: 0.06
40.33/10.16	c calculated reachability. Time: 0.00
40.33/10.16	c  N dy    23    105335       204       415         6     14790      1257    235977     25.97     15.03  --
58.30/14.68	c  N dy    24    158004       204       415         6     20920      1257    355292     29.69     17.86  --
58.30/14.70	c  S st    24    158004       204       415         6     20920      1257    355292     29.69     17.86  --
58.70/14.75	c  S st    24    158506       204       415         6     21408      1257    366435     29.69     17.86  --
58.70/14.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.70/14.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.70/14.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  0.13
58.70/14.78	c Calc non-exist non-lernt bins v-fix:     0 done:    204 time:  0.00 s
58.70/14.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.70/14.78	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.78	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
62.69/15.79	c lits-rem:      1381  cl-subs:     3543  v-elim:      0  v-fix:    0  time:  3.98 s
62.69/15.79	c learnt bin added due to v-elim: 0
62.69/15.79	c vivif2 --  cl tried      415 cl shrink        0 lits rem          0 time: 0.00
62.69/15.79	c vivif2 --  cl tried    17865 cl shrink        0 lits rem          0 time: 0.01
63.09/15.81	c asymm  cl-useful: 0/415/415 lits-rem:0 time: 0.07
63.09/15.81	c calculated reachability. Time: 0.00
63.09/15.81	c  N dy    24    158506       204       415         6     17865      1257    287999     29.69     17.86  --
95.05/23.89	c  N dy    27    237759       204       415         6     22742      1257    395867     34.63     20.47  --
95.45/23.90	c  S st    27    237759       204       415         6     22742      1257    395867     34.63     20.47  --
95.45/23.96	c  S st    27    238260       216       415        30     23246      1305    408151     34.63     20.47  --
95.45/23.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
95.45/23.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.85/24.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.5M T:  0.18
95.85/24.01	c Calc non-exist non-lernt bins v-fix:     0 done:    216 time:  0.00 s
95.85/24.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.85/24.01	c Subs w/ non-existent bins:      0 time:  0.01 s
95.85/24.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.85/24.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.85/24.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
99.85/25.02	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
99.85/25.03	c lits-rem:      1473  cl-subs:     2029  v-elim:      0  v-fix:    0  time:  4.05 s
99.85/25.03	c learnt bin added due to v-elim: 0
99.85/25.03	c vivif2 --  cl tried      415 cl shrink        0 lits rem          0 time: 0.00
99.85/25.03	c vivif2 --  cl tried    21217 cl shrink        0 lits rem          0 time: 0.01
99.85/25.05	c asymm  cl-useful: 0/415/415 lits-rem:0 time: 0.09
99.85/25.06	c calculated reachability. Time: 0.00
99.85/25.06	c  N dy    27    238260       216       415        30     21217      1305    361636     34.63     20.47  --
170.97/42.83	c  N dy    29    357392       216       415        30     26246      1305    423300     25.97     19.41  --
170.97/42.85	c  S st    29    357392       216       415        30     26246      1305    423300     25.97     19.41  --
171.37/42.91	c  S st    29    357896       222       415        50     26746      1337    435269     25.97     19.41  --
171.37/42.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
171.37/42.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.37/42.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.1M T:  0.22
171.37/42.96	c Calc non-exist non-lernt bins v-fix:     0 done:    222 time:  0.00 s
171.37/42.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.37/42.97	c Subs w/ non-existent bins:      0 time:  0.02 s
171.37/42.97	c Replacing        2 vars Replaced      827 lits Time:     0.03 s 
171.37/42.98	c bin-w-bin subsume rem            4 bins  time:  0.00 s
171.37/42.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
171.37/42.98	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
175.76/44.01	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
175.76/44.01	c lits-rem:      1464  cl-subs:      873  v-elim:      0  v-fix:    0  time:  4.12 s
175.76/44.01	c learnt bin added due to v-elim: 0
175.76/44.01	c vivif2 --  cl tried      415 cl shrink        0 lits rem          0 time: 0.00
175.76/44.02	c vivif2 --  cl tried    25873 cl shrink        0 lits rem          0 time: 0.02
175.76/44.04	c asymm  cl-useful: 0/415/415 lits-rem:0 time: 0.10
175.76/44.04	c calculated reachability. Time: 0.00
175.76/44.04	c  N dy    29    357896       220       415        38     25873      1321    416826     25.97     19.41  --
284.41/71.29	c  N dy    30    536845       220       415        38     33610      1321    525381     29.24     19.04  --
284.81/71.31	c  S st    30    536845       220       415        38     33610      1321    525381     29.24     19.04  --
284.81/71.39	c  S st    30    537353       232       415        62     34123      1369    537031     29.24     19.04  --
284.81/71.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
284.81/71.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.22/71.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.0M T:  0.35
285.22/71.48	c Calc non-exist non-lernt bins v-fix:     0 done:    232 time:  0.00 s
285.22/71.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.22/71.49	c Subs w/ non-existent bins:      0 time:  0.02 s
285.22/71.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
285.22/71.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
285.22/71.50	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
288.80/72.39	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
292.80/73.37	c Added 3 vars  tried: 80000 time: 3.91
293.20/73.46	c ORs :      3 avg-s:  0.0 cl-sh: 11102 l-rem:  11102 b-add:      6 v-rep:   0 cl-rem: 1 avg s: 9.0 T:    4.27
293.20/73.47	c lits-rem:       792  cl-subs:     2349  v-elim:      0  v-fix:    0  time:  7.89 s
293.20/73.47	c learnt bin added due to v-elim: 0
293.20/73.47	c vivif2 --  cl tried      418 cl shrink        0 lits rem          0 time: 0.00
293.20/73.48	c vivif2 --  cl tried    31773 cl shrink        0 lits rem          0 time: 0.03
293.60/73.50	c asymm  cl-useful: 0/418/418 lits-rem:0 time: 0.11
293.60/73.51	c calculated reachability. Time: 0.00
293.60/73.51	c  N dy    30    537353       235       418        68     31773      1390    491000     29.24     19.04  --
293.60/73.51	c  F st    30    537353       235       418        68     31773      1390    491000     29.24     19.04  --
294.01/73.65	c Decided on static restart strategy
454.19/113.75	c  N dy    38    806032       235       418        68     52117      1390   1003321     32.90     18.99  --
454.19/113.78	c  S st    38    806032       235       418        68     52117      1390   1003321     32.90     18.99  --
454.99/113.90	c  S st    38    806533       235       418        68     52609      1390   1015726     32.90     18.99  --
454.99/113.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
454.99/113.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.79/114.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.8M T:  0.82
455.79/114.11	c Calc non-exist non-lernt bins v-fix:     0 done:    235 time:  0.00 s
455.79/114.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.79/114.12	c Subs w/ non-existent bins:      0 time:  0.04 s
455.79/114.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
455.79/114.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
455.79/114.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
465.79/116.61	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.07
465.79/116.62	c lits-rem:      4079  cl-subs:     4442  v-elim:      0  v-fix:    0  time:  9.90 s
465.79/116.62	c learnt bin added due to v-elim: 0
465.79/116.62	c vivif2 --  cl tried      418 cl shrink        0 lits rem          0 time: 0.00
465.79/116.63	c vivif2 --  cl tried    48167 cl shrink        0 lits rem          0 time: 0.05
465.79/116.69	c asymm  cl-useful: 0/418/418 lits-rem:0 time: 0.24
465.79/116.69	c calculated reachability. Time: 0.00
465.79/116.69	c  N dy    38    806533       235       418        68     48167      1390    901699     32.90     18.99  --
890.81/223.07	c  N dy    41   1209800       235       418        68     66863      1390   1173320     27.59     18.80  --
891.21/223.12	c  S st    41   1209800       235       418        68     66863      1390   1173320     27.59     18.80  --
891.21/223.12	c Finding binary XORs  T:     0.00 s  found:       0
892.03/223.32	c  S st    41   1210306       247       418        92     67371      1438   1186300     27.59     18.80  --
892.03/223.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
892.03/223.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
892.80/223.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.6M T:  1.03
892.80/223.58	c Calc non-exist non-lernt bins v-fix:     0 done:    247 time:  0.00 s
892.80/223.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
893.20/223.60	c Subs w/ non-existent bins:      0 time:  0.06 s
893.20/223.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
893.20/223.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
893.20/223.62	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
903.59/226.28	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 18 avg s: 15.9 T:    0.08
903.99/226.30	c lits-rem:       718  cl-subs:     5196  v-elim:      0  v-fix:    0  time: 10.70 s
903.99/226.30	c learnt bin added due to v-elim: 0
903.99/226.30	c vivif2 --  cl tried      418 cl shrink        0 lits rem          0 time: 0.00
903.99/226.32	c vivif2 --  cl tried    62157 cl shrink        0 lits rem          0 time: 0.07
903.99/226.40	c asymm  cl-useful: 0/418/418 lits-rem:0 time: 0.31
904.39/226.40	c calculated reachability. Time: 0.00
904.39/226.40	c  N dy    41   1210306       247       418        92     62157      1438   1087507     27.59     18.80  --
1521.18/380.89	c  N dy    43   1710306       247       418        92     91697      1438   2043232     40.73     19.87  --
1521.58/380.97	c  S st    43   1710306       247       418        92     91697      1438   2043232     40.73     19.87  --
1522.78/381.22	c  S st    43   1710810       250       418        98     92197      1450   2055224     40.73     19.87  --
1522.78/381.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1522.78/381.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1524.40/381.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.3M T:  1.73
1524.40/381.66	c Calc non-exist non-lernt bins v-fix:     0 done:    250 time:  0.01 s
1524.40/381.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1524.40/381.69	c Subs w/ non-existent bins:      0 time:  0.08 s
1524.80/381.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1524.80/381.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1524.80/381.73	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1557.13/389.89	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.08
1557.53/389.93	c lits-rem:      1246  cl-subs:     7310  v-elim:      0  v-fix:    0  time: 32.74 s
1557.53/389.93	c learnt bin added due to v-elim: 0
1557.53/389.93	c vivif2 --  cl tried      418 cl shrink        0 lits rem          0 time: 0.00
1557.53/389.95	c vivif2 --  cl tried    84887 cl shrink        0 lits rem          0 time: 0.10
1557.93/390.08	c asymm  cl-useful: 0/418/418 lits-rem:0 time: 0.53
1557.93/390.09	c calculated reachability. Time: 0.00
1557.93/390.09	c  N dy    43   1710810       250       418        98     84887      1450   1871054     40.73     19.87  --
2304.93/577.05	c  N dy    44   2210810       250       418        98     94739      1450   2214318     35.50     22.46  --
2305.33/577.14	c  S st    44   2210810       250       418        98     94739      1450   2214318     35.50     22.46  --
2306.54/577.42	c  S st    44   2211313       262       418       123     95242      1498   2225225     35.50     22.46  --
2306.54/577.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2306.54/577.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2308.52/577.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.2M T:  2.23
2308.52/577.98	c Calc non-exist non-lernt bins v-fix:     0 done:    262 time:  0.01 s
2308.52/577.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2308.92/578.01	c Subs w/ non-existent bins:      0 time:  0.09 s
2308.92/578.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2308.92/578.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
2308.92/578.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2361.65/591.22	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.07
2385.23/597.13	c Added 3 vars  tried: 80000 time: 23.63
2389.62/598.28	c ORs :      3 avg-s:  0.0 cl-sh: 41998 l-rem:  41998 b-add:      7 v-rep:   0 cl-rem: 0 avg s: nan T:   28.21
2390.04/598.31	c lits-rem:     24011  cl-subs:     9881  v-elim:      0  v-fix:    0  time: 80.91 s
2390.04/598.31	c learnt bin added due to v-elim: 0
2390.04/598.31	c vivif2 --  cl tried      421 cl shrink        0 lits rem          0 time: 0.00
2390.04/598.34	c vivif2 --  cl tried    85360 cl shrink        0 lits rem          0 time: 0.10
2390.44/598.43	c asymm  cl-useful: 0/421/421 lits-rem:0 time: 0.38
2390.44/598.44	c calculated reachability. Time: 0.00
2390.44/598.44	c  N dy    44   2211313       265       421       130     85360      1519   1798348     35.50     22.46  --
3228.09/808.11	c  N dy    45   2711315       265       421       130    113971      1519   2682278     38.82     23.75  --
3228.49/808.21	c  S st    45   2711315       265       421       130    113971      1519   2682278     38.82     23.75  --
3229.71/808.59	c  S st    45   2711816       265       421       130    114463      1519   2695300     38.82     23.75  --
3230.08/808.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3230.08/808.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3232.08/809.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 20.9M T:  2.26
3232.08/809.16	c Calc non-exist non-lernt bins v-fix:     0 done:    265 time:  0.01 s
3232.08/809.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3232.08/809.19	c Subs w/ non-existent bins:      0 time:  0.12 s
3232.48/809.20	c Replacing        1 vars Replaced       12 lits Time:     0.04 s 
3232.48/809.25	c bin-w-bin subsume rem            2 bins  time:  0.00 s
3232.48/809.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
3232.48/809.27	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3299.61/826.10	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.18
3300.01/826.14	c lits-rem:      2884  cl-subs:    10708  v-elim:      0  v-fix:    0  time: 67.37 s
3300.01/826.14	c learnt bin added due to v-elim: 0
3300.01/826.14	c vivif2 --  cl tried      421 cl shrink        0 lits rem          0 time: 0.00
3300.01/826.17	c vivif2 --  cl tried   103755 cl shrink        0 lits rem          0 time: 0.13
3300.79/826.33	c asymm  cl-useful: 0/362/421 lits-rem:0 time: 0.61
3300.79/826.33	c calculated reachability. Time: 0.00
3300.79/826.33	c  N dy    45   2711816       264       421       127    103755      1515   2374959     38.82     23.75  --
3300.79/826.33	c  F st    45   2711816       264       421       127    103755      1515   2374959     38.82     23.75  --
3303.59/827.01	c Decided on static restart strategy
4070.18/1018.99	c  N dy    52   3211816       264       421       127     80863      1515   1209159     33.18     24.17  --
4070.58/1019.05	c  S st    52   3211816       264       421       127     80863      1515   1209159     33.18     24.17  --
4070.58/1019.05	c Finding binary XORs  T:     0.00 s  found:       1
4071.38/1019.26	c  S st    52   3212318       276       421       156     81383      1567   1221338     33.18     24.17  --
4071.38/1019.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4071.38/1019.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4072.99/1019.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 21.3M T:  1.62
4072.99/1019.68	c Calc non-exist non-lernt bins v-fix:     0 done:    276 time:  0.01 s
4072.99/1019.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4072.99/1019.69	c Subs w/ non-existent bins:      0 time:  0.07 s
4072.99/1019.70	c Replacing        1 vars Replaced       15 lits Time:     0.03 s 
4073.39/1019.72	c bin-w-bin subsume rem            2 bins  time:  0.00 s
4073.39/1019.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
4073.39/1019.73	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4079.76/1021.37	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 10.5 T:    0.05
4079.76/1021.40	c lits-rem:       175  cl-subs:     2283  v-elim:      0  v-fix:    0  time:  6.64 s
4079.76/1021.40	c learnt bin added due to v-elim: 0
4079.76/1021.40	c vivif2 --  cl tried      421 cl shrink        0 lits rem          0 time: 0.00
4080.16/1021.41	c vivif2 --  cl tried    79098 cl shrink        0 lits rem          0 time: 0.08
4080.56/1021.50	c asymm  cl-useful: 0/421/421 lits-rem:0 time: 0.36
4080.56/1021.51	c calculated reachability. Time: 0.00
4080.56/1021.51	c  N dy    52   3212318       275       421       150     79098      1559   1178571     33.18     24.17  --

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-3273990-1304129786/watcher-3273990-1304129786 -o /tmp/evaluation-result-3273990-1304129786/solver-3273990-1304129786 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3273990-1304129786.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.69 7.97 8.03 6/180 23759
/proc/meminfo: memFree=30555164/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=80880 CPUtime=0 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 602 0 0 0 0 0 0 0 25 0 4 0 524581006 82821120 537 33554432000 4194304 4797429 140735871916416 18446744073709551615 212436073457 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 20220 537 360 148 0 15149 0
[pid=23759/tid=23760] ppid=23757 vsize=80880 CPUtime=0 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524581007 82821120 537 33554432000 4194304 4797429 140735871916416 18446744073709551615 47321673033648 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=80880 CPUtime=0 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524581007 82821120 537 33554432000 4194304 4797429 140735871916416 18446744073709551615 47321673033650 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=80880 CPUtime=0 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524581007 82821120 537 33554432000 4194304 4797429 140735871916416 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.072389 s]
/proc/loadavg: 7.69 7.97 8.03 6/180 23759
/proc/meminfo: memFree=30555164/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=671976 CPUtime=0.26 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 1237 0 0 0 26 0 0 0 25 0 4 0 524581006 688103424 1123 33554432000 4194304 4797429 140735871916416 18446744073709551615 4341381 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 167994 1123 409 148 0 162923 0
[pid=23759/tid=23760] ppid=23757 vsize=671976 CPUtime=0.06 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 160 0 0 0 6 0 0 0 25 0 4 0 524581007 688103424 1123 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424865 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=671976 CPUtime=0.06 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 150 0 0 0 6 0 0 0 25 0 4 0 524581007 688103424 1123 33554432000 4194304 4797429 140735871916416 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=671976 CPUtime=0.06 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 188 0 0 0 6 0 0 0 25 0 4 0 524581007 688103424 1123 33554432000 4194304 4797429 140735871916416 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 671976

[startup+0.106781 s]
/proc/loadavg: 7.69 7.97 8.03 6/180 23759
/proc/meminfo: memFree=30555164/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=672372 CPUtime=0.4 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 1409 0 0 0 40 0 0 0 25 0 4 0 524581006 688508928 1292 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424630 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 168093 1292 409 148 0 163022 0
[pid=23759/tid=23760] ppid=23757 vsize=672372 CPUtime=0.1 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 202 0 0 0 10 0 0 0 25 0 4 0 524581007 688508928 1292 33554432000 4194304 4797429 140735871916416 18446744073709551615 4389326 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=672372 CPUtime=0.1 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 195 0 0 0 10 0 0 0 25 0 4 0 524581007 688508928 1292 33554432000 4194304 4797429 140735871916416 18446744073709551615 4425700 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=672372 CPUtime=0.09 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 239 0 0 0 9 0 0 0 25 0 4 0 524581007 688508928 1292 33554432000 4194304 4797429 140735871916416 18446744073709551615 4341360 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 672372

[startup+0.300744 s]
/proc/loadavg: 7.69 7.97 8.03 6/180 23759
/proc/meminfo: memFree=30555164/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=674108 CPUtime=1.18 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 2390 0 0 0 118 0 0 0 25 0 4 0 524581006 690286592 1789 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 168527 1789 410 148 0 163456 0
[pid=23759/tid=23760] ppid=23757 vsize=674108 CPUtime=0.29 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 468 0 0 0 29 0 0 0 25 0 4 0 524581007 690286592 1789 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=674108 CPUtime=0.29 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 450 0 0 0 29 0 0 0 25 0 4 0 524581007 690286592 1789 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=674108 CPUtime=0.29 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 466 0 0 0 29 0 0 0 25 0 4 0 524581007 690286592 1789 33554432000 4194304 4797429 140735871916416 18446744073709551615 4408377 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 674108

[startup+0.70067 s]
/proc/loadavg: 7.69 7.97 8.03 6/180 23759
/proc/meminfo: memFree=30555164/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=677272 CPUtime=2.77 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 4627 0 0 0 277 0 0 0 25 0 4 0 524581006 693526528 3133 33554432000 4194304 4797429 140735871916416 18446744073709551615 4351618 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 169318 3133 417 148 0 164247 0
[pid=23759/tid=23760] ppid=23757 vsize=677272 CPUtime=0.69 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 1062 0 0 0 69 0 0 0 25 0 4 0 524581007 693526528 3133 33554432000 4194304 4797429 140735871916416 18446744073709551615 4387352 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=677272 CPUtime=0.69 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 1095 0 0 0 69 0 0 0 25 0 4 0 524581007 693526528 3133 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=677272 CPUtime=0.68 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 1101 0 0 0 68 0 0 0 25 0 4 0 524581007 693526528 3133 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 677272

[startup+1.50052 s]
/proc/loadavg: 7.69 7.97 8.03 9/184 23763
/proc/meminfo: memFree=30540996/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=680188 CPUtime=5.97 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 6626 0 0 0 596 1 0 0 25 0 4 0 524581006 696512512 4318 33554432000 4194304 4797429 140735871916416 18446744073709551615 4430043 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 170047 4318 417 148 0 164976 0
[pid=23759/tid=23760] ppid=23757 vsize=680188 CPUtime=1.49 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 1355 0 0 0 149 0 0 0 25 0 4 0 524581007 696512512 4318 33554432000 4194304 4797429 140735871916416 18446744073709551615 4255520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=680188 CPUtime=1.48 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 1481 0 0 0 148 0 0 0 25 0 4 0 524581007 696512512 4318 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=680188 CPUtime=1.48 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 1708 0 0 0 148 0 0 0 25 0 4 0 524581007 696512512 4318 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 680188

[startup+3.10021 s]
/proc/loadavg: 7.69 7.97 8.03 9/184 23763
/proc/meminfo: memFree=30534664/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=683108 CPUtime=12.36 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 9191 0 0 0 1235 1 0 0 25 0 4 0 524581006 699502592 6030 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524484 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 170777 6030 417 148 0 165706 0
[pid=23759/tid=23760] ppid=23757 vsize=683108 CPUtime=3.09 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 1808 0 0 0 309 0 0 0 25 0 4 0 524581007 699502592 6030 33554432000 4194304 4797429 140735871916416 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=683108 CPUtime=3.08 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 1904 0 0 0 308 0 0 0 25 0 4 0 524581007 699502592 6030 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=683108 CPUtime=3.08 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 2006 0 0 0 308 0 0 0 25 0 4 0 524581007 699502592 6030 33554432000 4194304 4797429 140735871916416 18446744073709551615 4425051 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 683108

[startup+6.3006 s]
/proc/loadavg: 7.72 7.97 8.02 9/184 23763
/proc/meminfo: memFree=30526360/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=685540 CPUtime=25.14 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 11994 0 0 0 2512 2 0 0 25 0 4 0 524581006 701992960 7134 33554432000 4194304 4797429 140735871916416 18446744073709551615 4495544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 171385 7134 418 148 0 166314 0
[pid=23759/tid=23760] ppid=23757 vsize=685540 CPUtime=6.28 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 2252 0 0 0 628 0 0 0 25 0 4 0 524581007 701992960 7134 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424626 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=685540 CPUtime=6.26 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 2433 0 0 0 626 0 0 0 25 0 4 0 524581007 701992960 7134 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=685540 CPUtime=6.28 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 2486 0 0 0 628 0 0 0 25 0 4 0 524581007 701992960 7134 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 685540

[startup+12.7004 s]
/proc/loadavg: 7.74 7.97 8.02 9/184 23763
/proc/meminfo: memFree=30517612/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=689548 CPUtime=50.71 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 17030 0 0 0 5068 3 0 0 25 0 4 0 524581006 706097152 8079 33554432000 4194304 4797429 140735871916416 18446744073709551615 4423629 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 172387 8079 419 148 0 167316 0
[pid=23759/tid=23760] ppid=23757 vsize=689548 CPUtime=12.68 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 2687 0 0 0 1268 0 0 0 25 0 4 0 524581007 706097152 8079 33554432000 4194304 4797429 140735871916416 18446744073709551615 4495544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=689548 CPUtime=12.63 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 3222 0 0 0 1263 0 0 0 25 0 4 0 524581007 706097152 8079 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=689548 CPUtime=12.68 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 3092 0 0 0 1268 0 0 0 25 0 4 0 524581007 706097152 8079 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 689548

[startup+25.5009 s]
/proc/loadavg: 7.88 7.99 8.03 9/184 23764
/proc/meminfo: memFree=30509408/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=693720 CPUtime=101.84 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 24711 0 0 0 10179 5 0 0 25 0 4 0 524581006 710369280 9884 33554432000 4194304 4797429 140735871916416 18446744073709551615 212435713681 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 173430 9884 419 148 0 168359 0
[pid=23759/tid=23760] ppid=23757 vsize=693720 CPUtime=25.49 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 3573 0 0 0 2548 1 0 0 25 0 4 0 524581007 710369280 9884 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=693720 CPUtime=25.36 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 3940 0 0 0 2536 0 0 0 25 0 4 0 524581007 710369280 9884 33554432000 4194304 4797429 140735871916416 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=693720 CPUtime=25.48 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 4122 0 0 0 2548 0 0 0 25 0 4 0 524581007 710369280 9884 33554432000 4194304 4797429 140735871916416 18446744073709551615 4428895 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 693720

[startup+51.1011 s]
/proc/loadavg: 7.92 7.99 8.03 9/184 23764
/proc/meminfo: memFree=30492784/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=700948 CPUtime=204.11 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 36968 0 0 0 20403 8 0 0 25 0 4 0 524581006 717770752 11835 33554432000 4194304 4797429 140735871916416 18446744073709551615 4425635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 175237 11835 421 148 0 170166 0
[pid=23759/tid=23760] ppid=23757 vsize=700948 CPUtime=51.08 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 4820 0 0 0 5107 1 0 0 25 0 4 0 524581007 717770752 11835 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=700948 CPUtime=50.82 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 5175 0 0 0 5082 0 0 0 25 0 4 0 524581007 717770752 11835 33554432000 4194304 4797429 140735871916416 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=700948 CPUtime=51.09 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 5249 0 0 0 5108 1 0 0 25 0 4 0 524581007 717770752 11835 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 700948

[startup+102.306 s]
/proc/loadavg: 8.08 8.02 8.03 9/184 23766
/proc/meminfo: memFree=30469492/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=708576 CPUtime=408.66 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 57793 0 0 0 40852 14 0 0 25 0 4 0 524581006 725581824 16581 33554432000 4194304 4797429 140735871916416 18446744073709551615 4425037 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 177144 16581 421 148 0 172073 0
[pid=23759/tid=23760] ppid=23757 vsize=708576 CPUtime=102.29 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 6613 0 0 0 10227 2 0 0 25 0 4 0 524581007 725581824 16581 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=708576 CPUtime=101.76 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 6841 0 0 0 10175 1 0 0 25 0 4 0 524581007 725581824 16581 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=708576 CPUtime=102.29 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 7044 0 0 0 10228 1 0 0 25 0 4 0 524581007 725581824 16581 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 708576

[startup+162.301 s]

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

[pid=23759] ppid=23757 vsize=745740 CPUtime=2565.8 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 183003 0 0 0 256516 64 0 0 25 0 4 0 524581006 763637760 32012 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 186435 32012 424 148 0 181364 0
[pid=23759/tid=23760] ppid=23757 vsize=745740 CPUtime=642.29 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 18193 0 0 0 64222 7 0 0 25 0 4 0 524581007 763637760 32012 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=745740 CPUtime=638.84 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 19432 0 0 0 63878 6 0 0 25 0 4 0 524581007 763637760 32012 33554432000 4194304 4797429 140735871916416 18446744073709551615 4331602 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=745740 CPUtime=642.31 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 19623 0 0 0 64225 6 0 0 25 0 4 0 524581007 763637760 32012 33554432000 4194304 4797429 140735871916416 18446744073709551615 4426348 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.8
Current children cumulated vsize (KiB) 745740

[startup+702.301 s]
/proc/loadavg: 8.00 8.05 8.03 9/184 23782
/proc/meminfo: memFree=30348032/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=747112 CPUtime=2805.47 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 195184 0 0 0 280478 69 0 0 25 0 4 0 524581006 765042688 33566 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 186778 33566 424 148 0 181707 0
[pid=23759/tid=23760] ppid=23757 vsize=747112 CPUtime=702.3 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 19607 0 0 0 70222 8 0 0 25 0 4 0 524581007 765042688 33566 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=747112 CPUtime=698.52 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 21016 0 0 0 69845 7 0 0 25 0 4 0 524581007 765042688 33566 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=747112 CPUtime=702.31 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 21063 0 0 0 70224 7 0 0 25 0 4 0 524581007 765042688 33566 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524171 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.47
Current children cumulated vsize (KiB) 747112

[startup+762.307 s]
/proc/loadavg: 8.00 8.04 8.03 9/184 23783
/proc/meminfo: memFree=30342896/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=748652 CPUtime=3045.17 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 207183 0 0 0 304442 75 0 0 25 0 4 0 524581006 766619648 34102 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 187163 34102 424 148 0 182092 0
[pid=23759/tid=23760] ppid=23757 vsize=748652 CPUtime=762.3 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 20705 0 0 0 76222 8 0 0 25 0 4 0 524581007 766619648 34102 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=748652 CPUtime=758.19 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 22277 0 0 0 75811 8 0 0 25 0 4 0 524581007 766619648 34102 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=748652 CPUtime=762.32 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 22181 0 0 0 76225 7 0 0 25 0 4 0 524581007 766619648 34102 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.17
Current children cumulated vsize (KiB) 748652

[startup+822.3 s]
/proc/loadavg: 8.06 8.04 8.03 9/184 23785
/proc/meminfo: memFree=30314964/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=751084 CPUtime=3284.81 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 215983 0 0 0 328402 79 0 0 25 0 4 0 524581006 769110016 36190 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 187771 36190 433 148 0 182700 0
[pid=23759/tid=23760] ppid=23757 vsize=751084 CPUtime=822.29 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 21922 0 0 0 82220 9 0 0 25 0 4 0 524581007 769110016 36190 33554432000 4194304 4797429 140735871916416 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=751084 CPUtime=817.86 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 23456 0 0 0 81778 8 0 0 25 0 4 0 524581007 769110016 36190 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=751084 CPUtime=822.32 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 22902 0 0 0 82224 8 0 0 25 0 4 0 524581007 769110016 36190 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.81
Current children cumulated vsize (KiB) 751084

[startup+882.301 s]
/proc/loadavg: 8.08 8.05 8.03 9/184 23787
/proc/meminfo: memFree=30307724/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=753476 CPUtime=3524.49 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 228274 0 0 0 352366 83 0 0 25 0 4 0 524581006 771559424 37995 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 188369 37995 433 148 0 183298 0
[pid=23759/tid=23760] ppid=23757 vsize=753476 CPUtime=882.3 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 22720 0 0 0 88220 10 0 0 25 0 4 0 524581007 771559424 37995 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=753476 CPUtime=877.53 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 24831 0 0 0 87744 9 0 0 25 0 4 0 524581007 771559424 37995 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=753476 CPUtime=882.32 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 24133 0 0 0 88224 8 0 0 25 0 4 0 524581007 771559424 37995 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.49
Current children cumulated vsize (KiB) 753476

[startup+942.3 s]
/proc/loadavg: 8.15 8.07 8.03 9/184 23788
/proc/meminfo: memFree=30304964/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=755480 CPUtime=3764.18 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 240068 0 0 0 376330 88 0 0 25 0 4 0 524581006 773611520 39367 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 188870 39367 433 148 0 183799 0
[pid=23759/tid=23760] ppid=23757 vsize=755480 CPUtime=942.29 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 23942 0 0 0 94219 10 0 0 25 0 4 0 524581007 773611520 39367 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=755480 CPUtime=937.21 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 25487 0 0 0 93712 9 0 0 25 0 4 0 524581007 773611520 39367 33554432000 4194304 4797429 140735871916416 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=755480 CPUtime=942.32 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 25271 0 0 0 94223 9 0 0 25 0 4 0 524581007 773611520 39367 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.18
Current children cumulated vsize (KiB) 755480

[startup+1002.3 s]
/proc/loadavg: 8.05 8.05 8.02 9/184 23790
/proc/meminfo: memFree=30292876/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=761532 CPUtime=4003.87 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 252668 0 0 0 400294 93 0 0 25 0 4 0 524581006 779808768 40312 33554432000 4194304 4797429 140735871916416 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 190383 40312 433 148 0 185312 0
[pid=23759/tid=23760] ppid=23757 vsize=761532 CPUtime=1002.3 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 25149 0 0 0 100219 11 0 0 25 0 4 0 524581007 779808768 40312 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=761532 CPUtime=996.89 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 27137 0 0 0 99679 10 0 0 25 0 4 0 524581007 779808768 40312 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=761532 CPUtime=1002.32 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 26578 0 0 0 100223 9 0 0 25 0 4 0 524581007 779808768 40312 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.87
Current children cumulated vsize (KiB) 761532

[startup+1062.3 s]
/proc/loadavg: 8.02 8.04 8.02 9/184 23791
/proc/meminfo: memFree=30276480/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=763820 CPUtime=4243.54 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 260669 0 0 0 424258 96 0 0 25 0 4 0 524581006 782151680 42919 33554432000 4194304 4797429 140735871916416 18446744073709551615 4345201 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 190955 42919 433 148 0 185884 0
[pid=23759/tid=23760] ppid=23757 vsize=763820 CPUtime=1062.29 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 25806 0 0 0 106218 11 0 0 25 0 4 0 524581007 782151680 42919 33554432000 4194304 4797429 140735871916416 18446744073709551615 4351629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=763820 CPUtime=1056.56 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 28394 0 0 0 105646 10 0 0 25 0 4 0 524581007 782151680 42919 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=763820 CPUtime=1062.32 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 27257 0 0 0 106222 10 0 0 25 0 4 0 524581007 782151680 42919 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.54
Current children cumulated vsize (KiB) 763820

[startup+1122.3 s]
/proc/loadavg: 8.05 8.05 8.02 9/184 23793
/proc/meminfo: memFree=30284760/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=764012 CPUtime=4483.21 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 271061 0 0 0 448221 100 0 0 25 0 4 0 524581006 782348288 42077 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 191003 42077 433 148 0 185932 0
[pid=23759/tid=23760] ppid=23757 vsize=764012 CPUtime=1122.3 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 27102 0 0 0 112218 12 0 0 25 0 4 0 524581007 782348288 42077 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=764012 CPUtime=1116.23 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 29205 0 0 0 111612 11 0 0 25 0 4 0 524581007 782348288 42077 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=764012 CPUtime=1122.33 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 28366 0 0 0 112222 11 0 0 25 0 4 0 524581007 782348288 42077 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.21
Current children cumulated vsize (KiB) 764012

[startup+1182.3 s]
/proc/loadavg: 5.80 7.43 7.81 5/175 23813
/proc/meminfo: memFree=30438140/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=765204 CPUtime=4722.93 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 279419 0 0 0 472186 107 0 0 25 0 4 0 524581006 783568896 43301 33554432000 4194304 4797429 140735871916416 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 191301 43301 433 148 0 186230 0
[pid=23759/tid=23760] ppid=23757 vsize=765204 CPUtime=1182.3 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 28244 0 0 0 118217 13 0 0 25 0 4 0 524581007 783568896 43301 33554432000 4194304 4797429 140735871916416 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=765204 CPUtime=1175.94 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 30415 0 0 0 117582 12 0 0 25 0 4 0 524581007 783568896 43301 33554432000 4194304 4797429 140735871916416 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=765204 CPUtime=1182.33 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 29018 0 0 0 118221 12 0 0 25 0 4 0 524581007 783568896 43301 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.93
Current children cumulated vsize (KiB) 765204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 5.29 7.21 7.73 5/175 23813
/proc/meminfo: memFree=30434652/32951124 swapFree=67111416/67111528
[pid=23759] ppid=23757 vsize=765768 CPUtime=4800.06 cores=0,2,4,6
/proc/23759/stat : 23759 (techdemo) R 23757 23759 23020 0 -1 4202496 281618 0 0 0 479898 108 0 0 25 0 4 0 524581006 784146432 44046 33554432000 4194304 4797429 140735871916416 18446744073709551615 4424696 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23759/statm: 191442 44046 433 148 0 186371 0
[pid=23759/tid=23760] ppid=23757 vsize=765768 CPUtime=1201.6 cores=0,2,4,6
/proc/23759/task/23760/stat : 23760 (techdemo) R 23757 23759 23020 0 -1 4202560 28524 0 0 0 120147 13 0 0 25 0 4 0 524581007 784146432 44046 33554432000 4194304 4797429 140735871916416 18446744073709551615 4524489 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23759/tid=23761] ppid=23757 vsize=765768 CPUtime=1195.15 cores=0,2,4,6
/proc/23759/task/23761/stat : 23761 (techdemo) R 23757 23759 23020 0 -1 4202560 30592 0 0 0 119503 12 0 0 25 0 4 0 524581007 784146432 44046 33554432000 4194304 4797429 140735871916416 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23759/tid=23762] ppid=23757 vsize=765768 CPUtime=1201.64 cores=0,2,4,6
/proc/23759/task/23762/stat : 23762 (techdemo) R 23757 23759 23020 0 -1 4202560 29755 0 0 0 120152 12 0 0 25 0 4 0 524581007 784146432 44046 33554432000 4194304 4797429 140735871916416 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 765768

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.62
CPU time (s): 4800.1
CPU user time (s): 4799.01
CPU system time (s): 1.09383
CPU usage (%): 399.469
Max. virtual memory (cumulated for all children) (KiB): 875680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.01
system time used= 1.09383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281619
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= 263
involuntary context switches= 20760

runsolver used 1.9647 second user time and 4.41633 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 04:16:27
IDJOB=3273990
IDBENCH=83151
IDSOLVER=1584
FILE ID=node102/3273990-1304129786
RUNJOBID= node102-1304127309-23038
PBS_JOBID= 13170771
Free space on /tmp= 72464 MiB

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

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

MD5SUM BENCH= 92046422d2d9595619b29413c0964c9c
RANDOM SEED=143190787

node102.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	: 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.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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.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.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.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.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.82
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:     32951124 kB
MemFree:      30555328 kB
Buffers:        611876 kB
Cached:        1257372 kB
SwapCached:          0 kB
Active:         220128 kB
Inactive:      1761120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30555328 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:            7812 kB
Writeback:           0 kB
AnonPages:      111716 kB
Mapped:          15624 kB
Slab:           351600 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   712436 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= 72464 MiB
End job on node102 at 2011-04-30 04:36:30