Trace number 3250711

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

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
MD5SUMafc70649cebcc24cd0a7b28def593295
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 variables218
Number of clauses13362
Sum of the clauses size59166
Maximum clause length15
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 311772
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51590

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-3250711-1304133846.cnf'
0.00/0.00	c -- header says num vars:            218
0.00/0.00	c -- header says num clauses:       13362
0.00/0.02	c -- clauses added:            0 learnts,        13362 normals,            0 xors
0.00/0.02	c -- vars added        218
0.00/0.02	c Parsing time:  0.02 s
0.00/0.02	c  N st     0         0       218     13362         0         0     59166         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/13362/13362 lits-rem:0 time: 0.40
0.00/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.0M T:  0.01
0.00/0.13	c Calc non-exist non-lernt bins v-fix:     0 done:    218 time:  0.00 s
0.00/0.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.13	c Subs w/ non-existent bins:      0 time:  0.00 s
0.42/0.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.42/0.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.42/0.83	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.42/0.83	c lits-rem:         0  cl-subs:        0  v-elim:    144  v-fix:    0  time:  0.13 s
0.42/0.83	c learnt bin added due to v-elim: 0
0.42/0.83	c Finding binary XORs  T:     0.00 s  found:       0
0.42/0.83	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
0.42/0.83	c calculated reachability. Time: 0.00
0.42/0.83	c Calc default polars -  time:   0.00 s pos:     218 undec:       0 neg:       0
0.42/0.83	c =========================================================================================
0.42/0.83	c types(t): F = full restart, N = normal restart
0.42/0.83	c types(t): S = simplification begin/end, E = solution found
0.42/0.83	c restart types(rt): st = static, dy = dynamic
0.42/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.42/0.83	c  B st     0         0       218     13362         0         0     59166         0   no data   no data  --
0.42/0.84	c Decided on static restart strategy
0.42/0.84	c  N dy    20      4108       218     13362         0      3954     59166     96883     22.93     16.13  --
0.42/0.84	c  N dy    48      8226       218     13362         0      5516     59166    132796     25.65     16.72  --
4.05/1.04	c  N dy    76     12351       218     13362         0      5397     59166    117118     25.52     16.99  --
5.25/1.34	c  N dy   104     16387       218     13362         0      9281     59166    216340     25.59     17.06  --
5.90/1.57	c  N dy   132     20482       218     13362         0      7789     59166    168363     25.29     16.95  --
7.12/1.87	c  N dy   160     24612       218     13362         0     11727     59166    265515     23.96     16.87  --
8.30/2.19	c  N dy   188     28674       218     13362         0      9123     59166    194811     25.11     16.91  --
9.10/2.30	c  S st   198     30003       218     13362         0     10396     59166    228294     26.19     16.95  --
9.10/2.34	c  S st   198     30506       218     13362         0     10896     59166    241483     26.19     16.95  --
9.10/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.10/2.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.10/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.08
9.10/2.36	c Calc non-exist non-lernt bins v-fix:     0 done:    218 time:  0.00 s
9.10/2.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.10/2.36	c Subs w/ non-existent bins:      0 time:  0.01 s
9.10/2.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.10/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.10/2.37	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
13.90/3.54	c lits-rem:        80  cl-subs:     1027  v-elim:    218  v-fix:    0  time:  4.70 s
13.90/3.54	c learnt bin added due to v-elim: 0
13.90/3.54	c vivif2 --  cl tried    13362 cl shrink        0 lits rem          0 time: 0.00
13.90/3.55	c vivif2 --  cl tried     9869 cl shrink        0 lits rem          0 time: 0.00
14.70/3.74	c asymm  cl-useful: 0/4616/13362 lits-rem:0 time: 0.77
14.70/3.74	c calculated reachability. Time: 0.00
14.70/3.74	c  N dy   198     30506       218     13362         0      9869     59166    220995     26.19     16.95  --
14.70/3.74	c  F st   198     30506       218     13362         0      9869     59166    220995     26.19     16.95  --
15.50/3.91	c Decided on static restart strategy
15.91/4.07	c  N dy   218     34635       218     13362         0     13845     59166    325791     26.32     17.12  --
17.49/4.40	c  N dy   246     38737       218     13362         0     10214     59166    213914     25.38     17.19  --
18.69/4.73	c  N dy   274     42803       218     13362         0     14109     59166    312016     24.76     17.18  --
19.89/5.01	c  S st   295     45760       218     13362         0     16967     59166    384279     26.41     17.21  --
19.89/5.06	c  S st   295     46261       218     13362         0      8846     59166    167152     26.41     17.21  --
19.89/5.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.89/5.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.89/5.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
19.89/5.08	c Calc non-exist non-lernt bins v-fix:     0 done:    218 time:  0.00 s
19.89/5.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.89/5.08	c Subs w/ non-existent bins:      0 time:  0.00 s
19.89/5.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.89/5.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.89/5.09	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
23.08/5.83	c lits-rem:        11  cl-subs:      183  v-elim:    218  v-fix:    0  time:  2.97 s
23.08/5.83	c learnt bin added due to v-elim: 0
23.08/5.83	c vivif2 --  cl tried    13362 cl shrink        0 lits rem          0 time: 0.00
23.08/5.83	c vivif2 --  cl tried     8663 cl shrink        0 lits rem          0 time: 0.00
23.88/6.02	c asymm  cl-useful: 0/6489/13362 lits-rem:0 time: 0.77
23.88/6.03	c calculated reachability. Time: 0.00
23.88/6.03	c  N dy   295     46261       218     13362         0      8663     59166    164041     26.41     17.21  --
25.10/6.37	c  N dy   323     50382       218     13362         0     12621     59166    264206     25.35     17.22  --
26.68/6.70	c  N dy   351     54446       218     13362         0     16549     59166    364528     25.00     17.26  --
27.87/7.05	c  N dy   379     58548       218     13362         0     10888     59166    216184     26.81     17.25  --
29.09/7.38	c  N dy   407     62646       218     13362         0     14813     59166    313548     25.24     17.18  --
30.67/7.74	c  N dy   435     66760       218     13362         0     18766     59166    412959     25.55     17.19  --
31.87/8.02	c  S st   454     69391       218     13362         0     10737     59166    196348     25.95     17.21  --
31.87/8.06	c  S st   454     69900       218     13362         0     11240     59166    209800     25.95     17.21  --
31.87/8.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.87/8.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.87/8.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.6M T:  0.12
31.87/8.09	c Calc non-exist non-lernt bins v-fix:     0 done:    218 time:  0.00 s
31.87/8.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.87/8.09	c Subs w/ non-existent bins:      0 time:  0.01 s
32.27/8.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.27/8.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.27/8.10	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
35.86/9.02	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
39.06/9.86	c Added 3 vars  tried: 80000 time: 3.35
39.06/9.87	c ORs :      3 avg-s:  0.0 cl-sh:  1209 l-rem:   1209 b-add:      6 v-rep:   0 cl-rem: 7 avg s: 3.0 T:    3.38
39.06/9.87	c lits-rem:        10  cl-subs:      234  v-elim:    218  v-fix:    0  time:  7.08 s
39.06/9.87	c learnt bin added due to v-elim: 0
39.06/9.87	c vivif2 --  cl tried    13358 cl shrink        0 lits rem          0 time: 0.00
39.06/9.87	c vivif2 --  cl tried    11006 cl shrink        0 lits rem          0 time: 0.00
39.46/9.95	c asymm  cl-useful: 0/2253/13358 lits-rem:0 time: 0.30
39.46/9.95	c calculated reachability. Time: 0.00
39.46/9.95	c  N dy   454     69900       221     13358         6     11006     59044    204561     25.95     17.21  --
39.46/9.95	c  F st   454     69900       221     13358         6     11006     59044    204561     25.95     17.21  --
40.26/10.17	c Decided on static restart strategy
41.46/10.40	c  N dy   476     74409       221     13358         6     15371     59044    330486     31.85     17.45  --
43.06/10.88	c  N dy   508     79267       221     13358         6     20007     59044    446367     25.12     17.40  --
45.05/11.39	c  N dy   542     84386       221     13358         6     13403     59044    261777     30.72     17.65  --
47.07/11.88	c  N dy   578     89775       221     13358         6     18570     59044    393776     26.33     17.67  --
49.45/12.46	c  N dy   616     95557       221     13358         6     24108     59044    534307     27.35     17.72  --
51.84/13.04	c  N dy   657    101798       221     13358         6     17610     59044    351581     30.88     17.78  --
53.05/13.34	c  S st   678    104851       221     13358         6     20533     59044    429504     27.66     17.86  --
53.05/13.39	c  S st   678    105360       221     13358         6     21040     59044    443537     27.66     17.86  --
53.05/13.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.05/13.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.45/13.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  0.24
53.45/13.45	c Calc non-exist non-lernt bins v-fix:     0 done:    221 time:  0.00 s
53.45/13.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.45/13.45	c Subs w/ non-existent bins:      0 time:  0.01 s
53.45/13.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.45/13.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.45/13.46	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
59.04/14.81	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
59.04/14.81	c lits-rem:       993  cl-subs:     1574  v-elim:    218  v-fix:    0  time:  5.40 s
59.04/14.81	c learnt bin added due to v-elim: 0
59.04/14.81	c vivif2 --  cl tried    13358 cl shrink        0 lits rem          0 time: 0.00
59.04/14.82	c vivif2 --  cl tried    19466 cl shrink        0 lits rem          0 time: 0.01
59.86/15.00	c asymm  cl-useful: 0/3429/13358 lits-rem:0 time: 0.74
59.86/15.00	c calculated reachability. Time: 0.00
59.86/15.00	c  N dy   678    105360       221     13358         6     19466     59044    404695     27.66     17.86  --
62.23/15.68	c  N dy   723    112130       221     13358         6     25960     59044    580514     26.39     17.98  --
65.02/16.35	c  N dy   770    119286       221     13358         6     19461     59044    405984     28.44     18.13  --
68.22/17.12	c  N dy   821    127022       221     13358         6     26941     59044    621979     29.02     18.39  --
71.42/17.96	c  N dy   875    135178       221     13358         6     20298     59044    422974     27.01     18.72  --
75.01/18.86	c  N dy   932    143831       221     13358         6     28611     59044    636122     26.46     18.69  --
78.61/19.79	c  N dy   993    153022       227     13358        20     22079     59072    432667     27.88     18.67  --
81.01/20.31	c  S st  1027    158040       227     13358        20     26948     59072    579857     29.28     18.86  --
81.01/20.37	c  S st  1027    158541       227     13358        20     27448     59072    593034     29.28     18.86  --
81.01/20.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.01/20.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.41/20.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P:  3.9M T:  0.34
81.41/20.46	c Calc non-exist non-lernt bins v-fix:     0 done:    227 time:  0.00 s
81.41/20.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.41/20.46	c Subs w/ non-existent bins:      0 time:  0.02 s
81.41/20.46	c Replacing        1 vars Replaced       16 lits Time:     0.01 s 
81.41/20.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.41/20.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.41/20.48	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
88.59/22.24	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
88.59/22.25	c lits-rem:       694  cl-subs:     1792  v-elim:    218  v-fix:    0  time:  7.07 s
88.59/22.25	c learnt bin added due to v-elim: 0
88.59/22.25	c vivif2 --  cl tried    13358 cl shrink        0 lits rem          0 time: 0.00
88.59/22.25	c vivif2 --  cl tried    25656 cl shrink        0 lits rem          0 time: 0.02
88.99/22.36	c asymm  cl-useful: 0/1367/13358 lits-rem:0 time: 0.43
88.99/22.36	c calculated reachability. Time: 0.00
88.99/22.36	c  N dy  1027    158541       226     13358        16     25656     59064    546087     29.28     18.86  --
93.39/23.43	c  N dy  1094    168757       226     13358        16     19177     59064    359693     24.47     18.98  --
97.78/24.56	c  N dy  1166    179574       226     13358        16     29550     59064    639987     33.11     19.10  --
102.98/25.82	c  N dy  1242    191068       226     13358        16     23356     59064    468356     25.73     19.36  --
108.19/27.18	c  N dy  1324    203387       226     13358        16     35228     59064    800658     27.76     19.47  --
113.76/28.57	c  N dy  1410    216434       226     13358        16     29437     59064    610032     25.80     19.55  --
120.55/30.25	c  N dy  1502    230377       226     13358        16     23661     59064    448981     26.37     19.59  --
124.14/31.10	c  S st  1551    237812       226     13358        16     30861     59064    650876     27.66     19.66  --
124.14/31.17	c  S st  1551    238313       226     13358        16     31360     59064    663713     27.66     19.66  --
124.14/31.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
124.14/31.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.54/31.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.9M T:  0.41
124.54/31.27	c Calc non-exist non-lernt bins v-fix:     0 done:    226 time:  0.00 s
124.54/31.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.54/31.28	c Subs w/ non-existent bins:      0 time:  0.02 s
124.54/31.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.54/31.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
124.54/31.29	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.93/33.35	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
132.93/33.36	c lits-rem:       278  cl-subs:     1789  v-elim:    218  v-fix:    0  time:  8.27 s
132.93/33.36	c learnt bin added due to v-elim: 0
132.93/33.36	c vivif2 --  cl tried    13358 cl shrink        0 lits rem          0 time: 0.00
132.93/33.37	c vivif2 --  cl tried    29571 cl shrink        0 lits rem          0 time: 0.02
133.33/33.48	c asymm  cl-useful: 0/941/13358 lits-rem:0 time: 0.43
133.33/33.48	c calculated reachability. Time: 0.00
133.33/33.48	c  N dy  1551    238313       226     13358        16     29571     59064    616069     27.66     19.66  --
200.47/50.30	c  N dy  1584    357469       238     13358        40     33727     59112    707612     30.34     20.90  --
200.87/50.33	c  S st  1584    357469       238     13358        40     33727     59112    707612     30.34     20.90  --
201.24/50.40	c  S st  1584    357970       250     13358        73     34264     59168    720822     30.34     20.90  --
201.24/50.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
201.24/50.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
201.64/50.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P:  5.7M T:  0.48
201.64/50.53	c Calc non-exist non-lernt bins v-fix:     0 done:    250 time:  0.00 s
201.64/50.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
201.64/50.53	c Subs w/ non-existent bins:      0 time:  0.02 s
201.64/50.54	c Replacing        3 vars Replaced       53 lits Time:     0.01 s 
201.64/50.55	c bin-w-bin subsume rem            6 bins  time:  0.00 s
201.64/50.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
201.64/50.55	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
209.25/52.50	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.02
212.83/53.32	c Added 3 vars  tried: 80000 time: 3.27
212.83/53.34	c ORs :      3 avg-s:  0.0 cl-sh:  3440 l-rem:   3440 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:    3.37
212.83/53.36	c lits-rem:       129  cl-subs:     1635  v-elim:    218  v-fix:    0  time: 11.20 s
212.83/53.36	c learnt bin added due to v-elim: 0
212.83/53.36	c vivif2 --  cl tried    13361 cl shrink        0 lits rem          0 time: 0.00
212.83/53.36	c vivif2 --  cl tried    32629 cl shrink        0 lits rem          0 time: 0.03
213.23/53.47	c asymm  cl-useful: 0/915/13361 lits-rem:0 time: 0.43
213.23/53.47	c calculated reachability. Time: 0.00
213.23/53.47	c  N dy  1584    357970       250     13361        64     32629     59126    668113     30.34     20.90  --
335.46/84.08	c  N dy  1620    536955       250     13361        64     40122     59126    799544     29.82     20.12  --
335.86/84.11	c  S st  1620    536955       250     13361        64     40122     59126    799544     29.82     20.12  --
335.86/84.20	c  S st  1620    537457       250     13361        64     40621     59126    812099     29.82     20.12  --
336.26/84.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
336.26/84.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
336.68/84.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.7M T:  0.64
336.68/84.36	c Calc non-exist non-lernt bins v-fix:     0 done:    250 time:  0.01 s
336.68/84.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
336.68/84.37	c Subs w/ non-existent bins:      0 time:  0.03 s
336.68/84.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
336.68/84.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
336.68/84.39	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
343.45/86.02	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
343.45/86.04	c lits-rem:       805  cl-subs:     2274  v-elim:    218  v-fix:    0  time:  6.59 s
343.45/86.04	c learnt bin added due to v-elim: 0
343.45/86.04	c vivif2 --  cl tried    13361 cl shrink        0 lits rem          0 time: 0.00
343.45/86.05	c vivif2 --  cl tried    38347 cl shrink        0 lits rem          0 time: 0.04
343.85/86.16	c asymm  cl-useful: 0/1101/13361 lits-rem:0 time: 0.44
343.85/86.16	c calculated reachability. Time: 0.00
343.85/86.16	c  N dy  1620    537457       250     13361        64     38347     59126    755010     29.82     20.12  --
343.85/86.16	c  F st  1620    537457       250     13361        64     38347     59126    755010     29.82     20.12  --
345.05/86.50	c Decided on static restart strategy
564.75/141.49	c  N dy  1627    806185       250     13361        64     61237     59126   1273051     26.69     19.85  --
565.18/141.54	c  S st  1627    806185       250     13361        64     61237     59126   1273051     26.69     19.85  --
565.18/141.55	c Finding binary XORs  T:     0.00 s  found:       4
565.18/141.55	c Replacing        4 vars Replaced       61 lits Time:     0.02 s 
565.58/141.67	c  S st  1627    806687       258     13361        89     61769     59174   1285872     26.69     19.85  --
565.58/141.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
565.58/141.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
566.75/141.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.0M T:  1.11
566.75/141.95	c Calc non-exist non-lernt bins v-fix:     0 done:    258 time:  0.00 s
566.75/141.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
566.75/141.96	c Subs w/ non-existent bins:      0 time:  0.05 s
566.75/141.99	c bin-w-bin subsume rem            8 bins  time:  0.00 s
566.75/141.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
566.75/142.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
581.93/145.72	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.04
581.93/145.75	c lits-rem:      1270  cl-subs:     3954  v-elim:    218  v-fix:    0  time: 14.98 s
581.93/145.75	c learnt bin added due to v-elim: 0
581.93/145.75	c vivif2 --  cl tried    13361 cl shrink        0 lits rem          0 time: 0.00
581.93/145.76	c vivif2 --  cl tried    57815 cl shrink        0 lits rem          0 time: 0.06
582.33/145.89	c asymm  cl-useful: 0/841/13361 lits-rem:0 time: 0.52
582.33/145.89	c calculated reachability. Time: 0.00
582.33/145.89	c  N dy  1627    806687       258     13361        81     57815     59158   1186714     26.69     19.85  --
1000.19/250.46	c  N dy  1634   1210031       258     13361        81     73598     59158   1597594     30.97     19.83  --
1000.59/250.53	c  S st  1634   1210031       258     13361        81     73598     59158   1597594     30.97     19.83  --
1000.97/250.67	c  S st  1634   1210533       264     13361        93     74116     59182   1610776     30.97     19.83  --
1000.97/250.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1000.97/250.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1002.57/251.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 15.2M T:  1.43
1002.57/251.03	c Calc non-exist non-lernt bins v-fix:     0 done:    264 time:  0.01 s
1002.57/251.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1002.57/251.05	c Subs w/ non-existent bins:      0 time:  0.06 s
1002.57/251.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1002.57/251.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1002.57/251.09	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1028.92/257.69	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.06
1029.32/257.72	c lits-rem:      1337  cl-subs:     3984  v-elim:    218  v-fix:    0  time: 26.49 s
1029.32/257.72	c learnt bin added due to v-elim: 0
1029.32/257.72	c vivif2 --  cl tried    13361 cl shrink        0 lits rem          0 time: 0.00
1029.32/257.74	c vivif2 --  cl tried    70132 cl shrink        0 lits rem          0 time: 0.08
1029.72/257.88	c asymm  cl-useful: 0/471/13361 lits-rem:0 time: 0.56
1029.72/257.88	c calculated reachability. Time: 0.00
1029.72/257.88	c  N dy  1634   1210533       264     13361        93     70132     59182   1501049     30.97     19.83  --
1538.64/385.23	c  N dy  1676   1710533       267     13361        99    102750     59194   2309198     28.71     20.34  --
1539.04/385.33	c  S st  1676   1710533       267     13361        99    102750     59194   2309198     28.71     20.34  --
1539.44/385.49	c  S st  1676   1711033       267     13361       100    103249     59194   2322617     28.71     20.34  --
1539.44/385.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1539.44/385.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1542.63/386.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 29.3M T:  3.02
1542.63/386.26	c Calc non-exist non-lernt bins v-fix:     0 done:    267 time:  0.01 s
1542.63/386.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1542.63/386.28	c Subs w/ non-existent bins:      0 time:  0.10 s
1543.03/386.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1543.03/386.35	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.09 s
1543.03/386.35	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1576.59/394.77	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.06
1598.18/400.18	c Added 3 vars  tried: 80000 time: 21.60
1603.36/401.40	c ORs :      3 avg-s:  0.0 cl-sh: 30881 l-rem:  30881 b-add:     10 v-rep:   0 cl-rem: 0 avg s: nan T:   26.46
1603.36/401.44	c lits-rem:        63  cl-subs:     7517  v-elim:    218  v-fix:    0  time: 60.26 s
1603.36/401.44	c learnt bin added due to v-elim: 0
1603.36/401.44	c vivif2 --  cl tried    13360 cl shrink        0 lits rem          0 time: 0.00
1603.36/401.47	c vivif2 --  cl tried    95732 cl shrink        3 lits rem          3 time: 0.12
1604.16/401.60	c asymm  cl-useful: 0/345/13360 lits-rem:0 time: 0.54
1604.16/401.61	c calculated reachability. Time: 0.00
1604.16/401.61	c  N dy  1676   1711033       270     13360       110     95732     59211   2078327     28.71     20.34  --
2312.40/578.90	c  N dy  1677   2211034       270     13360       110    111814     59211   2637479     33.92     21.17  --
2312.80/579.01	c  S st  1677   2211034       270     13360       110    111814     59211   2637479     33.92     21.17  --
2313.20/579.18	c  S st  1677   2211536       270     13360       110    112314     59211   2651080     33.92     21.17  --
2313.20/579.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2313.20/579.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2316.39/579.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 29.3M T:  3.05
2316.39/579.95	c Calc non-exist non-lernt bins v-fix:     0 done:    270 time:  0.01 s
2316.39/579.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2316.39/579.98	c Subs w/ non-existent bins:      0 time:  0.12 s
2316.79/580.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2316.79/580.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
2316.79/580.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2354.75/589.55	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.14
2355.15/589.60	c lits-rem:        70  cl-subs:     6837  v-elim:    218  v-fix:    0  time: 38.10 s
2355.15/589.60	c learnt bin added due to v-elim: 0
2355.15/589.60	c vivif2 --  cl tried    13360 cl shrink        0 lits rem          0 time: 0.00
2355.15/589.63	c vivif2 --  cl tried   105477 cl shrink        1 lits rem          2 time: 0.14
2355.55/589.77	c asymm  cl-useful: 0/322/13360 lits-rem:0 time: 0.56
2355.55/589.78	c calculated reachability. Time: 0.00
2355.55/589.78	c  N dy  1677   2211536       270     13360       110    105477     59211   2424262     33.92     21.17  --
3196.01/800.17	c  N dy  1678   2711536       270     13360       110    128637     59211   2914419     28.56     21.37  --
3196.41/800.29	c  S st  1678   2711536       270     13360       110    128637     59211   2914419     28.56     21.37  --
3197.63/800.52	c  S st  1678   2712037       279     13360       131    129156     59247   2928452     28.56     21.37  --
3197.63/800.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3197.63/800.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3200.41/801.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 29.7M T:  2.97
3200.41/801.27	c Calc non-exist non-lernt bins v-fix:     0 done:    279 time:  0.02 s
3200.41/801.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3200.81/801.31	c Subs w/ non-existent bins:      0 time:  0.14 s
3200.81/801.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3201.21/801.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.15 s
3201.21/801.40	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3249.96/813.69	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.10
3250.36/813.74	c lits-rem:       365  cl-subs:     7841  v-elim:    218  v-fix:    0  time: 49.30 s
3250.36/813.74	c learnt bin added due to v-elim: 0
3250.36/813.75	c vivif2 --  cl tried    13360 cl shrink        0 lits rem          0 time: 0.00
3250.36/813.79	c vivif2 --  cl tried   121315 cl shrink        0 lits rem          0 time: 0.17
3251.14/813.93	c asymm  cl-useful: 0/274/13360 lits-rem:0 time: 0.58
3251.14/813.94	c calculated reachability. Time: 0.00
3251.14/813.94	c  N dy  1678   2712037       279     13360       131    121315     59247   2680761     28.56     21.37  --
3251.14/813.94	c  F st  1678   2712037       279     13360       131    121315     59247   2680761     28.56     21.37  --
3255.53/815.09	c Decided on static restart strategy
3998.53/1001.09	c  N dy  1698   3212038       279     13360       131     95325     59247   1677016     25.03     20.57  --
3998.93/1001.16	c  S st  1698   3212038       279     13360       131     95325     59247   1677016     25.03     20.57  --
3999.73/1001.33	c  S st  1698   3212541       288     13360       150     95843     59283   1690172     25.03     20.57  --
3999.73/1001.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3999.73/1001.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4002.13/1001.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 29.7M T:  2.42
4002.13/1001.95	c Calc non-exist non-lernt bins v-fix:     0 done:    288 time:  0.01 s
4002.13/1001.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4002.13/1001.98	c Subs w/ non-existent bins:      0 time:  0.10 s
4002.53/1002.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4002.53/1002.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
4002.53/1002.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4021.31/1006.80	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.05
4021.71/1006.83	c lits-rem:       130  cl-subs:     5984  v-elim:    218  v-fix:    0  time: 19.21 s
4021.71/1006.83	c learnt bin added due to v-elim: 0
4021.71/1006.83	c vivif2 --  cl tried    13360 cl shrink        0 lits rem          0 time: 0.00
4021.71/1006.86	c vivif2 --  cl tried    89859 cl shrink        2 lits rem          3 time: 0.10
4022.11/1006.98	c asymm  cl-useful: 0/400/13360 lits-rem:0 time: 0.50
4022.11/1006.99	c calculated reachability. Time: 0.00
4022.11/1006.99	c  N dy  1698   3212541       288     13360       150     89859     59283   1560617     25.03     20.57  --

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.04 7.99 7.71 5/180 18616
/proc/meminfo: memFree=25605456/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=50284 CPUtime=0 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 717 0 0 0 0 0 0 0 25 0 1 0 505800708 51490816 649 33554432000 4194304 4797429 140733696194432 18446744073709551615 255106429637 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18616/statm: 12571 649 347 148 0 7500 0

[startup+0.128482 s]
/proc/loadavg: 8.04 7.99 7.71 5/180 18616
/proc/meminfo: memFree=25605456/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=566276 CPUtime=0.42 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 2236 0 0 0 42 0 0 0 18 0 4 0 505800708 579866624 2002 33554432000 4194304 4797429 140733696194432 18446744073709551615 255106465303 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 169032 2086 384 148 0 163961 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 566276

[startup+0.375379 s]
/proc/loadavg: 8.04 7.99 7.71 5/180 18616
/proc/meminfo: memFree=25605456/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=680936 CPUtime=3.26 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 5907 0 0 0 326 0 0 0 19 0 4 0 505800708 697278464 4410 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424713 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 170234 4410 410 148 0 165163 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 680936

[startup+1.03857 s]
/proc/loadavg: 8.04 7.99 7.71 5/180 18616
/proc/meminfo: memFree=25605456/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=683572 CPUtime=4.05 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 7165 0 0 0 405 0 0 0 19 0 4 0 505800708 699977728 5362 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 170893 5362 414 148 0 165822 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 683572

[startup+1.13855 s]
/proc/loadavg: 8.04 7.99 7.71 5/180 18616
/proc/meminfo: memFree=25605456/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=683572 CPUtime=4.45 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 7212 0 0 0 445 0 0 0 19 0 4 0 505800708 699977728 5408 33554432000 4194304 4797429 140733696194432 18446744073709551615 4425854 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 170893 5408 414 148 0 165822 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 683572

[startup+1.50049 s]
/proc/loadavg: 8.04 7.99 7.71 5/180 18616
/proc/meminfo: memFree=25605456/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=684688 CPUtime=5.9 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 7736 0 0 0 590 0 0 0 20 0 4 0 505800708 701120512 5543 33554432000 4194304 4797429 140733696194432 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 171172 5543 414 148 0 166101 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 684688

[startup+3.10021 s]
/proc/loadavg: 8.27 8.04 7.72 9/184 18620
/proc/meminfo: memFree=25580332/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=687020 CPUtime=12.29 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 9863 0 0 0 1228 1 0 0 25 0 4 0 505800708 703508480 6252 33554432000 4194304 4797429 140733696194432 18446744073709551615 4524101 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 171755 6253 415 148 0 166684 0
[pid=18616/tid=18618] ppid=18614 vsize=687020 CPUtime=3.07 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 1776 0 0 0 307 0 0 0 25 0 4 0 505800710 703508480 6253 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=687020 CPUtime=3.06 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 1692 0 0 0 306 0 0 0 25 0 4 0 505800710 703508480 6253 33554432000 4194304 4797429 140733696194432 18446744073709551615 255106465428 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=687020 CPUtime=3.05 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 1680 0 0 0 305 0 0 0 25 0 4 0 505800710 703508480 6253 33554432000 4194304 4797429 140733696194432 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 687020

[startup+6.30665 s]
/proc/loadavg: 8.25 8.04 7.73 9/184 18620
/proc/meminfo: memFree=25576488/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=688508 CPUtime=25.1 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 11687 0 0 0 2509 1 0 0 25 0 4 0 505800708 705032192 6980 33554432000 4194304 4797429 140733696194432 18446744073709551615 4425602 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 172127 6980 417 148 0 167056 0
[pid=18616/tid=18618] ppid=18614 vsize=688508 CPUtime=6.27 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 1867 0 0 0 627 0 0 0 25 0 4 0 505800710 705032192 6980 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=688508 CPUtime=6.27 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 1888 0 0 0 627 0 0 0 25 0 4 0 505800710 705032192 6980 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=688508 CPUtime=6.24 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 1833 0 0 0 624 0 0 0 25 0 4 0 505800710 705032192 6980 33554432000 4194304 4797429 140733696194432 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 688508

[startup+12.7005 s]
/proc/loadavg: 8.23 8.04 7.73 9/184 18620
/proc/meminfo: memFree=25571060/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=691812 CPUtime=50.64 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 16356 0 0 0 5062 2 0 0 25 0 4 0 505800708 708415488 7961 33554432000 4194304 4797429 140733696194432 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 172953 7961 419 148 0 167882 0
[pid=18616/tid=18618] ppid=18614 vsize=691812 CPUtime=12.66 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 2435 0 0 0 1266 0 0 0 25 0 4 0 505800710 708415488 7961 33554432000 4194304 4797429 140733696194432 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=691812 CPUtime=12.66 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 2338 0 0 0 1266 0 0 0 25 0 4 0 505800710 708415488 7961 33554432000 4194304 4797429 140733696194432 18446744073709551615 4524528 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=691812 CPUtime=12.61 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 2388 0 0 0 1261 0 0 0 25 0 4 0 505800710 708415488 7961 33554432000 4194304 4797429 140733696194432 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 691812

[startup+25.5003 s]
/proc/loadavg: 8.19 8.04 7.73 9/184 18621
/proc/meminfo: memFree=25559896/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=696172 CPUtime=101.78 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 24373 0 0 0 10173 5 0 0 25 0 4 0 505800708 712880128 10078 33554432000 4194304 4797429 140733696194432 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 174043 10078 424 148 0 168972 0
[pid=18616/tid=18618] ppid=18614 vsize=696172 CPUtime=25.46 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 3172 0 0 0 2546 0 0 0 25 0 4 0 505800710 712880128 10078 33554432000 4194304 4797429 140733696194432 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=696172 CPUtime=25.46 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 3112 0 0 0 2546 0 0 0 25 0 4 0 505800710 712880128 10078 33554432000 4194304 4797429 140733696194432 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=696172 CPUtime=25.33 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 3168 0 0 0 2533 0 0 0 25 0 4 0 505800710 712880128 10078 33554432000 4194304 4797429 140733696194432 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 696172

[startup+51.1008 s]
/proc/loadavg: 8.20 8.05 7.74 9/184 18623
/proc/meminfo: memFree=25546872/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=703648 CPUtime=204.04 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 38612 0 0 0 20394 10 0 0 25 0 4 0 505800708 720535552 12781 33554432000 4194304 4797429 140733696194432 18446744073709551615 4524064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 175912 12781 421 148 0 170841 0
[pid=18616/tid=18618] ppid=18614 vsize=703648 CPUtime=51.06 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 4626 0 0 0 5106 0 0 0 25 0 4 0 505800710 720535552 12781 33554432000 4194304 4797429 140733696194432 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=703648 CPUtime=51.07 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 4394 0 0 0 5106 1 0 0 25 0 4 0 505800710 720535552 12781 33554432000 4194304 4797429 140733696194432 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=703648 CPUtime=50.79 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 4391 0 0 0 5079 0 0 0 25 0 4 0 505800710 720535552 12781 33554432000 4194304 4797429 140733696194432 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 703648

[startup+102.301 s]
/proc/loadavg: 8.25 8.10 7.77 9/184 18626
/proc/meminfo: memFree=25522268/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=713004 CPUtime=408.56 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 59276 0 0 0 40839 17 0 0 25 0 4 0 505800708 730116096 16362 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424779 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 178251 16362 421 148 0 173180 0
[pid=18616/tid=18618] ppid=18614 vsize=713004 CPUtime=102.26 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 6380 0 0 0 10225 1 0 0 25 0 4 0 505800710 730116096 16362 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=713004 CPUtime=102.26 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 6615 0 0 0 10225 1 0 0 25 0 4 0 505800710 730116096 16362 33554432000 4194304 4797429 140733696194432 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=713004 CPUtime=101.71 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 6649 0 0 0 10170 1 0 0 25 0 4 0 505800710 730116096 16362 33554432000 4194304 4797429 140733696194432 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.56
Current children cumulated vsize (KiB) 713004

[startup+162.301 s]
/proc/loadavg: 8.09 8.08 7.78 9/184 18627
/proc/meminfo: memFree=25502920/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=722952 CPUtime=648.25 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 82636 0 0 0 64799 26 0 0 25 0 4 0 505800708 740302848 19353 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 180738 19353 426 148 0 175667 0
[pid=18616/tid=18618] ppid=18614 vsize=722952 CPUtime=162.26 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 9050 0 0 0 16224 2 0 0 25 0 4 0 505800710 740302848 19353 33554432000 4194304 4797429 140733696194432 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=722952 CPUtime=162.26 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 9627 0 0 0 16224 2 0 0 25 0 4 0 505800710 740302848 19353 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=722952 CPUtime=161.39 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 9301 0 0 0 16137 2 0 0 25 0 4 0 505800710 740302848 19353 33554432000 4194304 4797429 140733696194432 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.25
Current children cumulated vsize (KiB) 722952

[startup+222.301 s]
/proc/loadavg: 8.03 8.06 7.80 9/184 18629
/proc/meminfo: memFree=25486788/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=727440 CPUtime=887.91 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 101323 0 0 0 88758 33 0 0 25 0 4 0 505800708 744898560 21837 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 181860 21837 426 148 0 176789 0
[pid=18616/tid=18618] ppid=18614 vsize=727440 CPUtime=222.27 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 11004 0 0 0 22224 3 0 0 25 0 4 0 505800710 744898560 21837 33554432000 4194304 4797429 140733696194432 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=727440 CPUtime=222.27 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 11588 0 0 0 22224 3 0 0 25 0 4 0 505800710 744898560 21837 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=727440 CPUtime=221.06 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 11328 0 0 0 22103 3 0 0 25 0 4 0 505800710 744898560 21837 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.91
Current children cumulated vsize (KiB) 727440

[startup+282.301 s]
/proc/loadavg: 8.05 8.06 7.81 9/184 18630
/proc/meminfo: memFree=25467540/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=732452 CPUtime=1127.61 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 119049 0 0 0 112719 42 0 0 25 0 4 0 505800708 750030848 23864 33554432000 4194304 4797429 140733696194432 18446744073709551615 255106465432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 183113 23864 423 148 0 178042 0
[pid=18616/tid=18618] ppid=18614 vsize=732452 CPUtime=282.27 cores=1,3,5,7

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

[pid=18616] ppid=18614 vsize=766584 CPUtime=2805.34 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 225436 0 0 0 280442 92 0 0 25 0 4 0 505800708 784982016 37599 33554432000 4194304 4797429 140733696194432 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 191646 37599 423 148 0 186575 0
[pid=18616/tid=18618] ppid=18614 vsize=766584 CPUtime=702.27 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 25286 0 0 0 70219 8 0 0 25 0 4 0 505800710 784982016 37599 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=766584 CPUtime=702.27 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 26575 0 0 0 70217 10 0 0 25 0 4 0 505800710 784982016 37599 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=766584 CPUtime=698.45 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 25298 0 0 0 69834 11 0 0 25 0 4 0 505800710 784982016 37599 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 766584

[startup+762.301 s]
/proc/loadavg: 8.01 8.04 7.89 9/184 18643
/proc/meminfo: memFree=25376168/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=766864 CPUtime=3045.01 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 237692 0 0 0 304403 98 0 0 25 0 4 0 505800708 785268736 38252 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 191716 38252 423 148 0 186645 0
[pid=18616/tid=18618] ppid=18614 vsize=766864 CPUtime=762.28 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 26739 0 0 0 76219 9 0 0 25 0 4 0 505800710 785268736 38252 33554432000 4194304 4797429 140733696194432 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=766864 CPUtime=762.28 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 28062 0 0 0 76217 11 0 0 25 0 4 0 505800710 785268736 38252 33554432000 4194304 4797429 140733696194432 18446744073709551615 4387672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=766864 CPUtime=758.13 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 26967 0 0 0 75801 12 0 0 25 0 4 0 505800710 785268736 38252 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 766864

[startup+822.301 s]
/proc/loadavg: 8.00 8.03 7.90 9/184 18645
/proc/meminfo: memFree=25364988/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=769928 CPUtime=3284.7 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 247998 0 0 0 328366 104 0 0 25 0 4 0 505800708 788406272 41803 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 192482 41803 428 148 0 187411 0
[pid=18616/tid=18618] ppid=18614 vsize=769928 CPUtime=822.28 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 28175 0 0 0 82218 10 0 0 25 0 4 0 505800710 788406272 41803 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=769928 CPUtime=822.27 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 29102 0 0 0 82216 11 0 0 25 0 4 0 505800710 788406272 41803 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=769928 CPUtime=817.8 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 28461 0 0 0 81767 13 0 0 25 0 4 0 505800710 788406272 41803 33554432000 4194304 4797429 140733696194432 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 769928

[startup+882.301 s]
/proc/loadavg: 8.05 8.04 7.91 9/184 18646
/proc/meminfo: memFree=25367456/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=771828 CPUtime=3524.37 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 261517 0 0 0 352327 110 0 0 25 0 4 0 505800708 790351872 40027 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 192957 40027 428 148 0 187886 0
[pid=18616/tid=18618] ppid=18614 vsize=771828 CPUtime=882.28 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 29627 0 0 0 88217 11 0 0 25 0 4 0 505800710 790351872 40027 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=771828 CPUtime=882.27 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 30512 0 0 0 88215 12 0 0 25 0 4 0 505800710 790351872 40027 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=771828 CPUtime=877.48 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 29942 0 0 0 87734 14 0 0 25 0 4 0 505800710 790351872 40027 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 771828

[startup+942.301 s]
/proc/loadavg: 8.17 8.07 7.93 9/184 18648
/proc/meminfo: memFree=25357640/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=774976 CPUtime=3764.07 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 273823 0 0 0 376291 116 0 0 25 0 4 0 505800708 793575424 40973 33554432000 4194304 4797429 140733696194432 18446744073709551615 255106465436 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 193744 40973 428 148 0 188673 0
[pid=18616/tid=18618] ppid=18614 vsize=774976 CPUtime=942.28 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 31221 0 0 0 94217 11 0 0 25 0 4 0 505800710 793575424 40973 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=774976 CPUtime=942.28 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 31977 0 0 0 94215 13 0 0 25 0 4 0 505800710 793575424 40973 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=774976 CPUtime=937.16 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 31517 0 0 0 93701 15 0 0 25 0 4 0 505800710 793575424 40973 33554432000 4194304 4797429 140733696194432 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 774976

[startup+1002.3 s]
/proc/loadavg: 8.18 8.09 7.94 9/184 18650
/proc/meminfo: memFree=25350184/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=778460 CPUtime=4003.73 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 285766 0 0 0 400250 123 0 0 25 0 4 0 505800708 797143040 42453 33554432000 4194304 4797429 140733696194432 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 194615 42453 428 148 0 189544 0
[pid=18616/tid=18618] ppid=18614 vsize=778460 CPUtime=1002.28 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 32044 0 0 0 100216 12 0 0 25 0 4 0 505800710 797143040 42453 33554432000 4194304 4797429 140733696194432 18446744073709551615 4492026 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=778460 CPUtime=1002.27 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 33633 0 0 0 100212 15 0 0 25 0 4 0 505800710 797143040 42453 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=778460 CPUtime=996.82 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 33022 0 0 0 99667 15 0 0 25 0 4 0 505800710 797143040 42453 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 778460

[startup+1062.31 s]
/proc/loadavg: 8.17 8.10 7.95 9/184 18651
/proc/meminfo: memFree=25339872/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=780512 CPUtime=4243.43 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 296580 0 0 0 424215 128 0 0 25 0 4 0 505800708 799244288 44568 33554432000 4194304 4797429 140733696194432 18446744073709551615 4345045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 195128 44568 428 148 0 190057 0
[pid=18616/tid=18618] ppid=18614 vsize=780512 CPUtime=1062.29 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 33792 0 0 0 106216 13 0 0 25 0 4 0 505800710 799244288 44568 33554432000 4194304 4797429 140733696194432 18446744073709551615 4568029 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=780512 CPUtime=1062.29 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 35091 0 0 0 106213 16 0 0 25 0 4 0 505800710 799244288 44568 33554432000 4194304 4797429 140733696194432 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=780512 CPUtime=1056.5 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 34475 0 0 0 105634 16 0 0 25 0 4 0 505800710 799244288 44568 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 780512

[startup+1122.3 s]
/proc/loadavg: 7.02 7.85 7.87 5/175 18671
/proc/meminfo: memFree=25494116/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=782668 CPUtime=4483.09 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 309050 0 0 0 448174 135 0 0 25 0 4 0 505800708 801452032 44607 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 195667 44607 428 148 0 190596 0
[pid=18616/tid=18618] ppid=18614 vsize=782668 CPUtime=1122.29 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 35324 0 0 0 112215 14 0 0 25 0 4 0 505800710 801452032 44607 33554432000 4194304 4797429 140733696194432 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=782668 CPUtime=1122.28 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 36641 0 0 0 112212 16 0 0 25 0 4 0 505800710 801452032 44607 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=782668 CPUtime=1116.18 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 35924 0 0 0 111602 16 0 0 25 0 4 0 505800710 801452032 44607 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 782668

[startup+1182.3 s]
/proc/loadavg: 5.17 7.16 7.63 5/175 18672
/proc/meminfo: memFree=25491496/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=786052 CPUtime=4722.81 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 320544 0 0 0 472139 142 0 0 25 0 4 0 505800708 804917248 45119 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 196513 45119 427 148 0 191442 0
[pid=18616/tid=18618] ppid=18614 vsize=786052 CPUtime=1182.28 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 36883 0 0 0 118214 14 0 0 25 0 4 0 505800710 804917248 45119 33554432000 4194304 4797429 140733696194432 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=786052 CPUtime=1182.28 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 38122 0 0 0 118210 18 0 0 25 0 4 0 505800710 804917248 45119 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=786052 CPUtime=1175.89 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 36750 0 0 0 117572 17 0 0 25 0 4 0 505800710 804917248 45119 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 786052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.83 6.96 7.55 5/175 18673
/proc/meminfo: memFree=25494220/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=787544 CPUtime=4800.34 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 325314 0 0 0 479890 144 0 0 25 0 4 0 505800708 806445056 44516 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 196886 44516 426 148 0 191815 0
[pid=18616/tid=18618] ppid=18614 vsize=787544 CPUtime=1201.7 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 37134 0 0 0 120155 15 0 0 25 0 4 0 505800710 806445056 44516 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=787544 CPUtime=1201.69 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 38415 0 0 0 120151 18 0 0 25 0 4 0 505800710 806445056 44516 33554432000 4194304 4797429 140733696194432 18446744073709551615 4508782 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=787544 CPUtime=1195.2 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 37668 0 0 0 119502 18 0 0 25 0 4 0 505800710 806445056 44516 33554432000 4194304 4797429 140733696194432 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 787544

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: 4.83 6.96 7.55 5/175 18673
/proc/meminfo: memFree=25494220/32951124 swapFree=67111448/67111528
[pid=18616] ppid=18614 vsize=787544 CPUtime=4800.34 cores=1,3,5,7
/proc/18616/stat : 18616 (techdemo) R 18614 18616 17487 0 -1 4202496 325314 0 0 0 479890 144 0 0 25 0 4 0 505800708 806445056 44516 33554432000 4194304 4797429 140733696194432 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18616/statm: 196886 44516 426 148 0 191815 0
[pid=18616/tid=18618] ppid=18614 vsize=787544 CPUtime=1201.7 cores=1,3,5,7
/proc/18616/task/18618/stat : 18618 (techdemo) R 18614 18616 17487 0 -1 4202560 37134 0 0 0 120155 15 0 0 25 0 4 0 505800710 806445056 44516 33554432000 4194304 4797429 140733696194432 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18616/tid=18619] ppid=18614 vsize=787544 CPUtime=1201.69 cores=1,3,5,7
/proc/18616/task/18619/stat : 18619 (techdemo) R 18614 18616 17487 0 -1 4202560 38415 0 0 0 120151 18 0 0 25 0 4 0 505800710 806445056 44516 33554432000 4194304 4797429 140733696194432 18446744073709551615 4508782 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18616/tid=18620] ppid=18614 vsize=787544 CPUtime=1195.2 cores=1,3,5,7
/proc/18616/task/18620/stat : 18620 (techdemo) R 18614 18616 17487 0 -1 4202560 37668 0 0 0 119502 18 0 0 25 0 4 0 505800710 806445056 44516 33554432000 4194304 4797429 140733696194432 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 787544

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.38
CPU user time (s): 4798.92
CPU system time (s): 1.45278
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 898592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.92
system time used= 1.45278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325314
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= 761
involuntary context switches= 31312

runsolver used 1.84672 second user time and 4.66129 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-30 05:24:06
IDJOB=3250711
IDBENCH=83353
IDSOLVER=1584
FILE ID=node144/3250711-1304133846
RUNJOBID= node144-1304132544-18467
PBS_JOBID= 13170779
Free space on /tmp= 73528 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250711-1304133846/watcher-3250711-1304133846 -o /tmp/evaluation-result-3250711-1304133846/solver-3250711-1304133846 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3250711-1304133846.cnf

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

MD5SUM BENCH= afc70649cebcc24cd0a7b28def593295
RANDOM SEED=1807364601

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25605736 kB
Buffers:       2125992 kB
Cached:        4554224 kB
SwapCached:         80 kB
Active:         270848 kB
Inactive:      6530916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25605736 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            7796 kB
Writeback:           0 kB
AnonPages:      120436 kB
Mapped:          15620 kB
Slab:           480020 kB
PageTables:       4788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   717724 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= 73528 MiB
End job on node144 at 2011-04-30 05:44:10