Trace number 3282248

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.23 1202.18

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
MD5SUM49dbd2fb16b3d5ce554d30c48729a56d
Bench CategoryAPPLICATION (applications 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 variables92464
Number of clauses276623
Sum of the clauses size645451
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2184414
Number of clauses of size 392207
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-3282248-1304032889.cnf'
0.00/0.00	c -- header says num vars:          92464
0.00/0.00	c -- header says num clauses:      276623
0.48/0.54	c -- clauses added:            0 learnts,       276623 normals,            0 xors
0.48/0.54	c -- vars added      92464
0.48/0.54	c Parsing time:  0.48 s
0.48/0.54	c  N st     0         0     92464     92207    184414         0    645449         0   no data   no data  --
1.95/0.93	c asymm  cl-useful: 28/6636/92198 lits-rem:84 time: 1.52
28.31/7.52	c Flit:    46 Blit:    103 bXBeca:    0 bXProp:   99 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 26.28
28.31/7.52	c Cleaning up after failed var search:     0.00 s 
29.90/7.91	c Calc non-exist non-lernt bins v-fix:    15 done:  27970 time:  1.48 s
29.90/7.92	c Cache  BProp: 92 Set: 18 BXProp: 23 T: 0.03
29.90/7.95	c Subs w/ non-existent bins:     63 time:  0.10 s
29.90/7.98	c Replacing      122 vars Replaced     2377 lits Time:     0.13 s 
30.29/8.03	c bin-w-bin subsume rem            2 bins  time:  0.08 s
30.29/8.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.15 s
31.09/8.20	c Removed useless bin:      52  fixed:     0  bprops:  10.00M  time:  0.49 s
33.09/8.72	c lits-rem:         0  cl-subs:      569  v-elim:  31037  v-fix:    0  time:  1.99 s
33.09/8.72	c learnt bin added due to v-elim: 0
33.09/8.74	c Finding binary XORs  T:     0.06 s  found:     320
33.09/8.75	c Replacing      320 vars Replaced     2934 lits Time:     0.06 s 
33.48/8.83	c Finding non-binary XORs:     0.21 s (found:    2672, avg size: 3.0)
33.48/8.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
33.48/8.84	c Calc default polars -  time:   0.03 s pos:    1003 undec:   35181 neg:   56280
33.48/8.84	c =========================================================================================
33.48/8.84	c types(t): F = full restart, N = normal restart
33.48/8.84	c types(t): S = simplification begin/end, E = solution found
33.48/8.84	c restart types(rt): st = static, dy = dynamic
33.48/8.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
33.48/8.84	c  B st     0         0     61434     91235    110533         0    646088         0   no data   no data  --
37.46/9.90	c Decided on dynamic restart strategy
41.44/10.83	c  N dy    21      4026     61434     91235    110689      3811    646088    188903     17.64     20.18  --
52.22/13.54	c  N dy    54      8135     61434     91235    110966      7585    646088    281083     16.68     14.52  --
61.40/15.87	c  N dy    85     12177     61434     91235    112218     33036    646112    484107     28.51     14.19  --
70.59/18.12	c  N dy   115     16204     61434     91235    112479     36711    646112    638874     36.30     14.23  --
81.80/20.96	c  N dy   146     20290     61434     91235    112706     26398    646112     94071     35.40     14.34  --
89.77/22.97	c  N dy   174     24391     61434     91235    112842     30296    646112    243362     47.35     14.71  --
98.55/25.15	c  N dy   203     28475     61434     91235    113045     34112    646112    359233     28.01     14.48  --
102.14/26.08	c  S st   215     30000     61434     91235    113140     35513    646112    391407     25.13     14.25  --
104.15/26.55	c  S st   215     30501     61434     91235    113230     35922    646112    400124     25.13     14.25  --
104.15/26.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
104.15/26.58	c Cache  BProp: 92 Set: 0 BXProp: 0 T: 0.03
129.72/32.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  156 Bin:   9086 BRemL:     12 BRemN:     37 CBin:       0 P: 60.0M T: 25.38
131.70/33.49	c Calc non-exist non-lernt bins v-fix:     0 done:  26422 time:  2.10 s
132.10/33.52	c Cache  BProp: 92 Set: 0 BXProp: 3 T: 0.15
132.50/33.67	c Subs w/ non-existent bins:    303 time:  0.59 s
132.90/33.71	c Replacing      160 vars Replaced     6772 lits Time:     0.13 s 
132.90/33.77	c bin-w-bin subsume rem          186 bins  time:  0.08 s
133.30/33.86	c subs with bin:     2714  lits-rem:      4523  v-fix:    0  time:  0.32 s
134.12/34.03	c Removed useless bin:     125  fixed:     0  bprops:  10.00M  time:  0.68 s
138.91/35.25	c lits-rem:      4084  cl-subs:    31678  v-elim:  41455  v-fix:    0  time:  4.87 s
138.91/35.25	c learnt bin added due to v-elim: 0
139.29/35.36	c vivif2 --  cl tried    86251 cl shrink     8408 lits rem       8653 time: 0.44
139.29/35.37	c vivif2 --  cl tried     5479 cl shrink      376 lits rem       1388 time: 0.02
139.68/35.46	c asymm  cl-useful: 65/1631/85524 lits-rem:97 time: 0.39
140.08/35.53	c calculated reachability. Time: 0.23
140.08/35.53	c  N dy   215     30501     23721     85524     43218      5435    516192     41717     25.13     14.25  --
140.08/35.53	c  F st   215     30501     23721     85524     43218      5435    516192     41717     25.13     14.25  --
143.68/36.40	c Decided on dynamic restart strategy
146.48/37.18	c Finding binary XORs  T:     0.62 s  found:     142
148.07/37.56	c  N dy   235     34577     23721     85524     43325      9294    516192    269417     57.82     14.03  --
158.86/40.24	c  N dy   261     38736     23721     85524     87072     23202    522430    757421     88.18     14.03  --
165.27/41.85	c  N dy   287     42811     23720     85524     87167     27061    522429    877320     19.25     13.72  --
170.44/43.15	c  S st   306     45751     23720     85524     87238     29880    522428    975876     52.81     14.07  --
172.04/43.59	c  S st   306     46252     23720     85524     87325     30292    522427    981777     52.81     14.07  --
172.44/43.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
172.44/43.61	c Cache  BProp: 92 Set: 0 BXProp: 7 T: 0.04
200.02/50.58	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:  216 Bin:   5626 BRemL:   3099 BRemN:    284 CBin:       0 P: 60.0M T: 27.78
200.80/50.73	c Calc non-exist non-lernt bins v-fix:     0 done:  23718 time:  0.60 s
200.80/50.75	c Cache  BProp: 93 Set: 0 BXProp: 6 T: 0.09
201.60/50.93	c Subs w/ non-existent bins:   4708 time:  0.72 s
201.60/50.98	c Replacing      373 vars Replaced    11881 lits Time:     0.17 s 
202.00/51.05	c bin-w-bin subsume rem          466 bins  time:  0.07 s
204.41/51.65	c subs with bin:     3434  lits-rem:      5005  v-fix:    0  time:  2.40 s
204.41/51.69	c Removed useless bin:    3549  fixed:     0  bprops:   1.06M  time:  0.14 s
210.78/53.26	c lits-rem:      2122  cl-subs:    10926  v-elim:   3649  v-fix:    0  time:  6.26 s
210.78/53.26	c learnt bin added due to v-elim: 0
211.19/53.34	c vivif2 --  cl tried    79902 cl shrink     1544 lits rem       2822 time: 0.35
211.59/53.41	c vivif2 --  cl tried    17560 cl shrink     1041 lits rem       5213 time: 0.25
211.98/53.55	c asymm  cl-useful: 48/1761/79732 lits-rem:96 time: 0.55
211.98/53.60	c calculated reachability. Time: 0.17
212.38/53.60	c  N dy   306     46252     22381     79732     82851     17506    492831    434092     52.81     14.07  --
219.17/55.37	c  N dy   333     50327     22381     79732     82958     21378    492826    695793     91.32     13.83  --
226.38/57.17	c  N dy   359     54421     22381     79732     83084     25241    492824    936395     34.27     13.71  --
233.55/58.91	c  N dy   382     58479     22380     79732     83169     29106    492822   1157108     80.93     13.99  --
240.34/60.69	c  N dy   407     62596     22380     79732     83287     33040    492822   1410411     48.44     14.80  --
241.54/60.96	c Finding binary XORs  T:     0.55 s  found:     131
247.93/62.58	c  N dy   431     66727     22380     79731     83385     36990    492815   1621788     61.46     15.23  --
254.72/64.23	c  S st   448     69378     22379     79731     83478     39481    492810   1796866     79.66     15.30  --
256.32/64.66	c  S st   448     69878     22379     79731     83534     39921    492809   1808472     79.66     15.30  --
256.32/64.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
256.72/64.70	c Cache  BProp: 72 Set: 0 BXProp: 0 T: 0.08
282.28/71.14	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   36 Bin:   2626 BRemL:   3185 BRemN:    124 CBin:       0 P: 60.0M T: 25.69
282.68/71.28	c Calc non-exist non-lernt bins v-fix:     0 done:  22378 time:  0.56 s
283.08/71.30	c Cache  BProp: 72 Set: 0 BXProp: 0 T: 0.09
283.90/71.55	c Subs w/ non-existent bins:    281 time:  0.98 s
284.27/71.60	c Replacing      169 vars Replaced     5991 lits Time:     0.20 s 
284.67/71.70	c bin-w-bin subsume rem          364 bins  time:  0.06 s
290.26/73.19	c subs with bin:      773  lits-rem:      2589  v-fix:    0  time:  5.97 s
290.66/73.22	c Removed useless bin:     255  fixed:     0  bprops:   0.86M  time:  0.12 s
305.05/76.80	c ORs :  10285 avg-s:  3.2 cl-sh: 33168 l-rem:  46392 b-add:   2626 v-rep:   1 cl-rem: 708 avg s: 3.0 T:    6.50
310.26/78.18	c Added 51 vars  tried: 80000 time: 5.51
311.04/78.35	c ORs :     51 avg-s:  0.0 cl-sh: 30653 l-rem:  30653 b-add:    102 v-rep:   0 cl-rem: 4 avg s: 3.2 T:    6.18
311.44/78.40	c lits-rem:       305  cl-subs:     5159  v-elim:   2269  v-fix:    0  time: 20.70 s
311.44/78.40	c learnt bin added due to v-elim: 0
311.44/78.49	c vivif2 --  cl tried    77064 cl shrink       10 lits rem         10 time: 0.36
312.24/78.67	c vivif2 --  cl tried    32688 cl shrink     2065 lits rem       9475 time: 0.70
313.04/78.87	c asymm  cl-useful: 18/2272/77063 lits-rem:35 time: 0.80
313.44/78.92	c calculated reachability. Time: 0.17
313.44/78.92	c  N dy   448     69878     22219     77063     84545     32684    481330   1323852     79.66     15.30  --
313.44/78.92	c  F st   448     69878     22219     77063     84545     32684    481330   1323852     79.66     15.30  --
313.44/78.94	c Replacing        1 vars Replaced       56 lits Time:     0.10 s 
317.03/79.81	c Decided on static restart strategy
328.61/82.71	c  N dy   456     79986     22218     77063    108787     45130    482118   1745636     37.36     15.27  --
336.22/84.69	c  N dy   458     85230     22218     77063    108799     50296    482118   1931972     38.05     15.25  --
346.99/87.37	c  N dy   463     91814     22218     77063    108806     28884    482118    733590    146.80     15.65  --
359.37/90.47	c  N dy   469    101422     22218     77063    108806     38305    482115   1562405    103.30     16.53  --
365.76/92.00	c  S st   470    104818     22218     77063    108806     41670    482115   1872013     74.41     16.75  --
366.56/92.22	c Finding binary XORs  T:     0.53 s  found:     295
366.56/92.25	c Replacing      295 vars Replaced    11891 lits Time:     0.14 s 
368.16/92.64	c  S st   470    105321     21923     76338    108085     41661    479023   1876424     74.41     16.75  --
368.16/92.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
368.16/92.68	c Cache  BProp: 72 Set: 0 BXProp: 0 T: 0.09
404.90/101.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   17 Bin:   1796 BRemL:   3408 BRemN:     41 CBin:       0 P: 60.0M T: 36.76
405.70/102.05	c Calc non-exist non-lernt bins v-fix:     0 done:  21923 time:  0.61 s
405.70/102.07	c Cache  BProp: 72 Set: 0 BXProp: 0 T: 0.11
407.30/102.50	c Subs w/ non-existent bins:    358 time:  1.69 s
407.70/102.52	c Replacing       17 vars Replaced      500 lits Time:     0.10 s 
408.10/102.61	c bin-w-bin subsume rem         2386 bins  time:  0.07 s
412.89/103.83	c subs with bin:     2768  lits-rem:      2998  v-fix:    0  time:  4.85 s
412.89/103.86	c Removed useless bin:      61  fixed:     0  bprops:   0.82M  time:  0.12 s
434.86/109.36	c ORs :  10158 avg-s:  2.5 cl-sh:   392 l-rem:    397 b-add:    230 v-rep:   0 cl-rem: 47 avg s: 3.4 T:    6.26
435.26/109.41	c lits-rem:       715  cl-subs:     4912  v-elim:   2238  v-fix:    0  time: 22.17 s
435.26/109.41	c learnt bin added due to v-elim: 0
435.66/109.51	c vivif2 --  cl tried    74284 cl shrink       42 lits rem         42 time: 0.41
436.86/109.88	c vivif2 --  cl tried    35523 cl shrink     2633 lits rem       3915 time: 1.49
437.68/110.09	c asymm  cl-useful: 62/1716/74284 lits-rem:201 time: 0.81
438.05/110.15	c calculated reachability. Time: 0.20
438.05/110.15	c  N dy   470    105321     21811     74270    103702     35490    474043   1626162     74.41     16.75  --
456.03/114.66	c  N dy   471    115420     21811     74270    103705     45522    474043   3070847    233.84     18.50  --
489.19/122.97	c  N dy   474    126852     21811     74270    103705     32267    474043   3384259    390.76     22.37  --
519.55/130.50	c  N dy   483    137701     21811     74270    106716     44157    474487   6056401    473.83     21.87  --
545.51/137.09	c  N dy   489    147491     21811     74270    111612     31648    477447   1877213    291.89     21.70  --
585.46/147.07	c  N dy   490    157981     21811     74270    111644     42033    477444   5860485    433.44     21.03  --
587.07/147.49	c  S st   490    157981     21811     74270    111644     42033    477444   5860485    433.44     21.03  --
589.05/147.99	c  S st   490    158481     21811     74270    111664     42513    477444   5869611    433.44     21.03  --
589.45/148.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
589.45/148.04	c Cache  BProp: 72 Set: 0 BXProp: 1 T: 0.11
624.20/156.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  804 Bin:    777 BRemL:   2611 BRemN:     60 CBin:       0 P: 60.0M T: 34.78
625.00/156.93	c Calc non-exist non-lernt bins v-fix:     0 done:  21811 time:  0.69 s
625.00/156.95	c Cache  BProp: 72 Set: 0 BXProp: 45 T: 0.12
626.62/157.33	c Subs w/ non-existent bins:   5026 time:  1.49 s
627.39/157.56	c Replacing      842 vars Replaced    44761 lits Time:     0.94 s 
628.59/157.81	c bin-w-bin subsume rem         3486 bins  time:  0.07 s
634.59/159.34	c subs with bin:      178  lits-rem:       402  v-fix:    0  time:  6.13 s
634.59/159.37	c Removed useless bin:     201  fixed:     0  bprops:   0.77M  time:  0.11 s
886.64/222.47	c ORs :   9963 avg-s:  2.6 cl-sh:  2310 l-rem:   2311 b-add:     99 v-rep:   0 cl-rem: 107 avg s: 4.9 T:    7.51
887.04/222.54	c lits-rem:        44  cl-subs:     7508  v-elim:   2491  v-fix:    0  time: 252.31 s
887.04/222.54	c learnt bin added due to v-elim: 0
887.44/222.65	c vivif2 --  cl tried    71243 cl shrink      304 lits rem        304 time: 0.45
889.04/223.02	c vivif2 --  cl tried    32750 cl shrink     5058 lits rem      31419 time: 1.48
890.26/223.38	c asymm  cl-useful: 93/2471/71214 lits-rem:261 time: 1.39
890.63/223.43	c calculated reachability. Time: 0.20
890.63/223.43	c  N dy   490    158481     20766     71196    102460     32724    463501   4203963    433.44     21.03  --
951.37/238.68	c  N dy   500    173971     20828     71196    109067     27068    466962    396523    339.58     21.43  --
961.33/241.14	c Finding binary XORs  T:     0.68 s  found:     722
961.73/241.21	c Replacing      722 vars Replaced    52690 lits Time:     0.29 s 
982.13/246.34	c  N dy   505    185275     20106     69378    108114     39620    458992   3338221    313.99     21.59  --
1008.89/253.04	c  N dy   519    197560     20106     69378    109301     52583    459540   5534957     58.27     21.44  --
1041.63/261.30	c  N dy   527    210765     20106     69378    109312     37746    459537   2558317     46.40     21.36  --
1071.18/268.60	c  N dy   534    224231     20106     69378    109315     51091    459536   5758374    451.64     21.48  --
1108.74/278.04	c  S st   546    237721     20106     69378    109318     37679    459534   3689657    410.39     21.92  --
1110.34/278.44	c  S st   546    238223     20106     69378    109323     38173    459532   3698604    410.39     21.92  --
1110.34/278.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1110.34/278.49	c Cache  BProp: 72 Set: 0 BXProp: 0 T: 0.11
1151.08/288.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   44 Bin:    827 BRemL:   5934 BRemN:     27 CBin:       0 P: 60.0M T: 40.43
1151.48/288.78	c Calc non-exist non-lernt bins v-fix:     0 done:  20106 time:  0.64 s
1151.88/288.81	c Cache  BProp: 72 Set: 0 BXProp: 34 T: 0.12
1153.08/289.12	c Subs w/ non-existent bins:   1213 time:  1.25 s
1153.49/289.25	c Replacing       63 vars Replaced     7171 lits Time:     0.50 s 
1154.27/289.40	c bin-w-bin subsume rem         2871 bins  time:  0.07 s
1160.27/290.90	c subs with bin:     1130  lits-rem:      1414  v-fix:    0  time:  5.98 s
1160.27/290.93	c Removed useless bin:     369  fixed:     0  bprops:   0.79M  time:  0.11 s
1199.01/300.66	c ORs :   9790 avg-s:  2.6 cl-sh:   245 l-rem:    254 b-add:    132 v-rep:   0 cl-rem: 180 avg s: 3.0 T:    6.64
1199.41/300.70	c lits-rem:        60  cl-subs:    11309  v-elim:   2651  v-fix:    0  time: 39.03 s
1199.41/300.70	c learnt bin added due to v-elim: 0
1199.81/300.81	c vivif2 --  cl tried    67778 cl shrink       56 lits rem        175 time: 0.44
1200.21/300.95	c vivif2 --  cl tried    25935 cl shrink     1229 lits rem       3050 time: 0.54
1201.41/301.25	c asymm  cl-useful: 82/1856/67771 lits-rem:143 time: 1.19
1201.83/301.30	c calculated reachability. Time: 0.19
1201.83/301.30	c  N dy   546    238223     19870     67757     99226     25917    452704   1654820    410.39     21.92  --
1402.74/351.60	c  N dy   550    277168     19919     67757    101546     39373    453751   7603602    574.52     22.60  --
1501.02/376.22	c  N dy   561    306185     19981     67757    105120     41699    454981   6144464    423.07     22.56  --
1775.42/444.91	c  N dy   563    357335     19981     67757    105122     34275    454980   3070295    453.22     22.40  --
1775.82/445.04	c  S st   563    357335     19981     67757    105122     34275    454980   3070295    453.22     22.40  --
1777.44/445.40	c  S st   563    357836     19981     67757    107319     38167    456014   3093001    453.22     22.40  --
1777.44/445.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1777.44/445.45	c Cache  BProp: 72 Set: 0 BXProp: 0 T: 0.12
1810.98/453.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  389 Bin:    469 BRemL:   2010 BRemN:     46 CBin:       0 P: 60.0M T: 33.68
1811.78/454.07	c Calc non-exist non-lernt bins v-fix:     0 done:  19980 time:  0.73 s
1812.18/454.10	c Cache  BProp: 72 Set: 0 BXProp: 204 T: 0.12
1813.37/454.40	c Subs w/ non-existent bins:   3070 time:  1.19 s
1813.77/454.58	c Replacing      586 vars Replaced    31431 lits Time:     0.73 s 
1814.57/454.72	c bin-w-bin subsume rem         1851 bins  time:  0.07 s
1820.56/456.21	c subs with bin:     1584  lits-rem:      1107  v-fix:    0  time:  5.94 s
1820.56/456.24	c Removed useless bin:     186  fixed:     0  bprops:   0.94M  time:  0.11 s
1848.92/463.35	c ORs :   9677 avg-s:  2.6 cl-sh:   199 l-rem:    204 b-add:    128 v-rep:   0 cl-rem: 126 avg s: 3.0 T:    7.13
1852.14/464.13	c Added 51 vars  tried: 80000 time: 3.10
1852.53/464.21	c ORs :     51 avg-s:  0.0 cl-sh:  8553 l-rem:   8553 b-add:    102 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    3.42
1852.53/464.25	c lits-rem:         3  cl-subs:     9303  v-elim:   2320  v-fix:    0  time: 32.02 s
1852.53/464.25	c learnt bin added due to v-elim: 0
1852.91/464.37	c vivif2 --  cl tried    65254 cl shrink      426 lits rem        739 time: 0.46
1853.71/464.54	c vivif2 --  cl tried    26478 cl shrink     1922 lits rem       7549 time: 0.69
1854.91/464.84	c asymm  cl-useful: 103/1660/65215 lits-rem:117 time: 1.19
1855.31/464.90	c calculated reachability. Time: 0.21
1855.31/464.90	c  N dy   563    357836     19337     65214    100706     26463    445025   1593888    453.22     22.40  --
1875.29/469.94	c Finding binary XORs  T:     0.77 s  found:     220
1875.69/470.03	c Replacing      220 vars Replaced    14604 lits Time:     0.37 s 
1888.46/473.24	c  N dy   585    378222     19117     64836    101287     48834    443639   2977286     70.96     22.33  --
1926.84/482.89	c  N dy   606    398283     19117     64836    101351     36502    443633    819384     75.44     22.21  --
1968.36/493.22	c  N dy   628    418444     19117     64836    101357     56546    443633   2304265     68.18     22.10  --
2006.70/502.81	c  N dy   647    439921     19117     64836    101375     45831    443633   1331738     62.14     22.02  --
2050.27/513.75	c  N dy   666    464177     19117     64836    101604     37837    443768    735487     56.82     21.90  --
2076.63/520.39	c  N dy   678    484276     19117     64836    102317     58811    444134   1918627    193.81     21.71  --
2176.87/545.41	c  N dy   684    528036     19117     64836    102333     34304    444134    418243    196.97     21.66  --
2197.65/550.66	c  S st   685    536755     19117     64836    102334     42983    444134   2242019    212.41     21.70  --
2198.85/550.99	c  S st   685    537257     19117     64836    102348     43469    444133   2254153    212.41     21.70  --
2199.26/551.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
2199.26/551.04	c Cache  BProp: 72 Set: 0 BXProp: 0 T: 0.12
2239.59/561.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  146 Bin:    901 BRemL:  10532 BRemN:     68 CBin:       0 P: 60.0M T: 40.28
2240.39/561.31	c Calc non-exist non-lernt bins v-fix:     0 done:  19117 time:  0.76 s
2240.39/561.34	c Cache  BProp: 72 Set: 0 BXProp: 22 T: 0.12
2241.99/561.79	c Subs w/ non-existent bins:   1016 time:  1.81 s
2242.39/561.85	c Replacing      168 vars Replaced     8761 lits Time:     0.20 s 
2242.79/561.95	c bin-w-bin subsume rem          845 bins  time:  0.06 s
2248.78/563.45	c subs with bin:      881  lits-rem:     10319  v-fix:    0  time:  6.01 s
2248.78/563.48	c Removed useless bin:     105  fixed:     0  bprops:   1.14M  time:  0.12 s
2263.96/567.22	c ORs :   9640 avg-s:  2.3 cl-sh:   160 l-rem:    184 b-add:    102 v-rep:   0 cl-rem: 54 avg s: 3.1 T:    6.60
2263.96/567.27	c lits-rem:        42  cl-subs:     6888  v-elim:   2271  v-fix:    0  time: 15.13 s
2263.96/567.27	c learnt bin added due to v-elim: 0
2264.36/567.39	c vivif2 --  cl tried    64105 cl shrink       19 lits rem         21 time: 0.50
2265.95/567.75	c vivif2 --  cl tried    35396 cl shrink     1448 lits rem       2094 time: 1.41
2267.15/568.05	c asymm  cl-useful: 6/2883/64101 lits-rem:18 time: 1.20
2267.55/568.11	c calculated reachability. Time: 0.21
2267.55/568.11	c  N dy   685    537257     18854     64097     90532     35394    440573   1950108    212.41     21.70  --
2267.55/568.11	c  F st   685    537257     18854     64097     90532     35394    440573   1950108    212.41     21.70  --
2271.54/569.15	c Decided on static restart strategy
2337.45/585.63	c  N dy   698    577313     18854     64097     91528     41461    441301   1030656     55.33     22.05  --
2385.39/597.62	c  N dy   705    598704     18870     64097     91973     63648    441617   4129780    212.15     22.31  --
2433.32/609.64	c  N dy   715    618917     18870     64097     91994     47035    441617   2048834    141.00     22.55  --
2513.21/629.66	c  N dy   721    646623     18870     64097     92298     37781    441787    456591    172.15     22.66  --
2514.01/629.85	c Finding binary XORs  T:     0.75 s  found:     297
2514.01/629.88	c Replacing      297 vars Replaced    14572 lits Time:     0.10 s 
2552.76/639.55	c  N dy   743    667300     18573     63713     91518     57728    439270   2359911     93.34     22.53  --
2607.90/653.33	c  N dy   770    687559     18573     63713     91784     39926    439453    497094     48.56     22.48  --
2657.82/665.88	c  N dy   788    709069     18573     63713     91789     61282    439453   3371992    176.30     22.55  --
2696.56/675.52	c  N dy   806    731155     18573     63713     91813     44015    439451    896980     95.80     22.53  --
2750.09/688.96	c  N dy   831    760204     18573     63713     91848     72601    439446   3538909    115.44     22.45  --
2782.44/697.04	c  N dy   841    781387     18575     63713     92358     54910    439758   1249298    127.51     22.36  --
2836.79/710.61	c  N dy   850    805886     18575     63713     92888     80604    440106   4516931    148.71     22.33  --
2837.57/710.87	c  S st   850    805886     18575     63713     92888     80604    440106   4516931    148.71     22.33  --
2839.17/711.22	c  S st   850    806388     18575     63713     92898     81095    440106   4531830    148.71     22.33  --
2839.17/711.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2839.17/711.27	c Cache  BProp: 72 Set: 0 BXProp: 0 T: 0.12
2871.12/719.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  189 Bin:    994 BRemL:   2562 BRemN:     83 CBin:       0 P: 60.0M T: 31.77
2871.94/719.42	c Calc non-exist non-lernt bins v-fix:     0 done:  18575 time:  0.76 s
2871.94/719.45	c Cache  BProp: 72 Set: 0 BXProp: 73 T: 0.12
2875.93/720.49	c Subs w/ non-existent bins:   1349 time:  4.15 s
2876.71/720.62	c Replacing      261 vars Replaced    23573 lits Time:     0.50 s 
2877.11/720.79	c bin-w-bin subsume rem         1131 bins  time:  0.06 s
2884.31/722.56	c subs with bin:      505  lits-rem:       689  v-fix:    0  time:  7.07 s
2884.31/722.59	c Removed useless bin:     167  fixed:     0  bprops:   1.05M  time:  0.11 s
3012.55/754.61	c ORs :   9561 avg-s:  2.3 cl-sh:   310 l-rem:    310 b-add:    140 v-rep:   0 cl-rem: 110 avg s: 3.0 T:    7.68
3012.55/754.69	c lits-rem:         5  cl-subs:    17497  v-elim:   2349  v-fix:    0  time: 128.23 s
3012.55/754.69	c learnt bin added due to v-elim: 0
3013.33/754.81	c vivif2 --  cl tried    63059 cl shrink       10 lits rem         31 time: 0.47
3016.95/755.74	c vivif2 --  cl tried    62306 cl shrink     4582 lits rem       6818 time: 3.72
3018.12/756.06	c asymm  cl-useful: 3/2534/63055 lits-rem:9 time: 1.27
3018.52/756.12	c calculated reachability. Time: 0.20
3018.52/756.12	c  N dy   850    806388     18230     63053     88389     62299    435181   3578080    148.71     22.33  --
3071.65/769.44	c  N dy   852    826590     18230     63053     88796     83972    435527   6303737    136.23     22.40  --
3111.20/779.35	c  N dy   864    847330     18230     63053     88814     62156    435527   3729250     74.29     22.25  --
3161.13/791.88	c  N dy   866    869052     18231     63053     89102     84386    435771   5560605     65.61     22.25  --
3213.86/805.05	c  N dy   867    892334     18231     63053     89110     64753    435771   3350717    143.58     22.30  --
3261.40/816.94	c  N dy   875    913119     18231     63053     89501     86085    435887   5482324     93.16     22.34  --
3309.33/828.92	c  N dy   879    951552     18231     63053     89513     80260    435887   4360094     68.49     22.39  --
3334.09/835.11	c Finding binary XORs  T:     0.76 s  found:     193
3334.09/835.14	c Replacing      193 vars Replaced    13935 lits Time:     0.13 s 
3349.67/839.05	c  N dy   893    973260     18038     62752     89086     58603    434032   1944831    126.31     22.39  --
3443.94/862.64	c  N dy   894   1007721     18038     62752     89092     46984    434032    802476     97.79     22.59  --
3491.10/874.41	c  N dy   907   1032360     18038     62752     89467     72494    434203   3401095     65.62     22.59  --
3532.63/884.85	c  N dy   936   1054661     18038     62752     89507     48208    434203    615571     85.33     22.48  --
3572.96/894.92	c  N dy   964   1075072     18038     62752     89794     68855    434234   2852965    139.03     22.50  --
3627.71/908.67	c  N dy   980   1095102     18038     62752     89956     89241    434290   5506016     93.79     22.57  --
3676.43/920.89	c  N dy  1018   1117322     18038     62752     90123     64296    434364   2051744    143.63     22.55  --
3733.54/935.10	c  N dy  1035   1150215     18038     62752     90140     48610    434363    486598     85.32     22.62  --
3763.93/942.75	c  N dy  1042   1173558     18038     62752     90148     71721    434363   2570680     53.91     22.63  --
3807.05/953.52	c  N dy  1062   1193944     18038     62752     90763     94097    434853   4599177    100.74     22.63  --
3845.40/963.10	c  S st  1095   1209582     18038     62752     90770     59622    434852   1338943     92.71     22.60  --
3846.60/963.45	c  S st  1095   1210083     18038     62752     90771     60120    434852   1355376     92.71     22.60  --
3846.60/963.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3846.60/963.49	c Cache  BProp: 72 Set: 0 BXProp: 87 T: 0.12
3876.55/970.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  113 Bin:    485 BRemL:   1840 BRemN:     94 CBin:       0 P: 60.0M T: 29.77
3877.35/971.13	c Calc non-exist non-lernt bins v-fix:     0 done:  18038 time:  0.74 s
3877.35/971.16	c Cache  BProp: 72 Set: 0 BXProp: 48 T: 0.12
3878.95/971.55	c Subs w/ non-existent bins:   1345 time:  1.53 s
3879.35/971.61	c Replacing      216 vars Replaced    22699 lits Time:     0.24 s 
3879.35/971.69	c bin-w-bin subsume rem         1049 bins  time:  0.07 s
3884.54/972.95	c subs with bin:      444  lits-rem:      1605  v-fix:    0  time:  5.01 s
3884.54/972.98	c Removed useless bin:     227  fixed:     0  bprops:   1.01M  time:  0.12 s
3896.93/976.06	c ORs :   9520 avg-s:  2.3 cl-sh:   280 l-rem:    289 b-add:    150 v-rep:   0 cl-rem: 82 avg s: 3.6 T:    6.17
3906.91/978.55	c Added 23 vars  tried: 80000 time: 9.92
3906.91/978.56	c ORs :     23 avg-s:  0.0 cl-sh:  2570 l-rem:   2570 b-add:     46 v-rep:   0 cl-rem: 2 avg s: 6.0 T:    9.97
3907.31/978.61	c lits-rem:       921  cl-subs:    14891  v-elim:   2152  v-fix:    0  time: 22.48 s
3907.31/978.61	c learnt bin added due to v-elim: 0
3907.71/978.72	c vivif2 --  cl tried    62139 cl shrink      160 lits rem        288 time: 0.46
3908.53/978.93	c vivif2 --  cl tried    44007 cl shrink      786 lits rem       2587 time: 0.83
3909.71/979.24	c asymm  cl-useful: 16/2437/62125 lits-rem:37 time: 1.24
3910.11/979.30	c calculated reachability. Time: 0.20
3910.11/979.30	c  N dy  1095   1210083     17798     62118     86976     44004    428655    931314     92.71     22.60  --
3946.06/988.35	c  N dy  1111   1230120     17798     62118     87130     64265    428723   2245755     86.92     22.50  --
3995.19/1000.69	c  N dy  1132   1255554     17798     62118     87141     89442    428723   4560618    121.08     22.46  --
4067.12/1018.62	c  N dy  1137   1301196     17798     62118     87410     85228    428827   5122371    130.37     22.53  --
4126.21/1033.44	c  N dy  1149   1324287     17798     62118     87604     57475    428995   1376476    137.72     22.47  --
4202.52/1052.60	c  N dy  1160   1345048     17798     62118     87611     78073    428995   4493282    154.23     22.41  --
4284.40/1073.04	c  N dy  1177   1365511     17798     62118     88018     99809    429249   7039311    124.81     22.34  --
4300.77/1077.19	c Finding binary XORs  T:     0.76 s  found:     136
4348.71/1089.10	c  N dy  1208   1385696     17798     62118     88034     67193    429249   2013680     78.87     22.26  --
4401.84/1102.46	c  N dy  1235   1405959     17798     62118     88087     87200    429249   4372829    154.74     22.22  --
4462.58/1117.61	c  N dy  1273   1426535     17798     62118     88482     54977    429531    678707     82.72     22.16  --
4514.49/1130.66	c  N dy  1294   1447110     17803     62118     88627     75772    429593   3118978     91.85     22.11  --
4585.62/1148.48	c  N dy  1339   1468542     17803     62118     88640     97093    429593   5234542     85.04     22.04  --
4654.30/1165.66	c  N dy  1370   1488779     17803     62118     88658     62906    429593   1312741     97.49     21.99  --
4719.01/1181.81	c  N dy  1411   1510394     17803     62118     89262     89803    430185   3423436    103.66     21.95  --

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-3282248-1304032889/watcher-3282248-1304032889 -o /tmp/evaluation-result-3282248-1304032889/solver-3282248-1304032889 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3282248-1304032889.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.75 5.71 5.90 6/180 14319
/proc/meminfo: memFree=17981988/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=51068 CPUtime=0 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 1025 0 0 0 0 0 0 0 25 0 1 0 593519635 52293632 961 33554432000 4194304 4797429 140733526944512 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14319/statm: 12767 962 348 148 0 7696 0

[startup+0.037581 s]
/proc/loadavg: 7.75 5.71 5.90 6/180 14319
/proc/meminfo: memFree=17981988/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=62896 CPUtime=0.02 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 4076 0 0 0 2 0 0 0 25 0 1 0 593519635 64405504 3580 33554432000 4194304 4797429 140733526944512 18446744073709551615 4368647 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14319/statm: 15724 3590 349 148 0 10653 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 62896

[startup+0.100569 s]
/proc/loadavg: 7.75 5.71 5.90 6/180 14319
/proc/meminfo: memFree=17981988/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=90220 CPUtime=0.08 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 11765 0 0 0 8 0 0 0 25 0 1 0 593519635 92385280 8502 33554432000 4194304 4797429 140733526944512 18446744073709551615 224284622329 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14319/statm: 22555 8503 349 148 0 17484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 90220

[startup+0.300537 s]
/proc/loadavg: 7.75 5.71 5.90 6/180 14319
/proc/meminfo: memFree=17981988/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=152340 CPUtime=0.29 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 31017 0 0 0 26 3 0 0 25 0 1 0 593519635 155996160 23961 33554432000 4194304 4797429 140733526944512 18446744073709551615 224284586693 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/14319/statm: 38085 23962 349 148 0 33014 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 152340

[startup+0.700432 s]
/proc/loadavg: 7.75 5.71 5.90 6/180 14319
/proc/meminfo: memFree=17981988/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=406716 CPUtime=1.15 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 58293 0 0 0 109 6 0 0 18 0 4 0 593519635 416477184 43816 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428517 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 101679 43816 376 148 0 96608 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 406716

[startup+1.50029 s]
/proc/loadavg: 7.77 5.74 5.91 9/184 14323
/proc/meminfo: memFree=17795956/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=813244 CPUtime=4.34 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 62710 0 0 0 427 7 0 0 19 0 4 0 593519635 832761856 46425 33554432000 4194304 4797429 140733526944512 18446744073709551615 4240961 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 203311 46425 384 148 0 198240 0
[pid=14319/tid=14321] ppid=14317 vsize=813244 CPUtime=0.94 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 1371 0 0 0 94 0 0 0 25 0 4 0 593519689 832761856 46425 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=813244 CPUtime=0.95 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 823 0 0 0 95 0 0 0 19 0 4 0 593519689 832761856 46425 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428583 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=813244 CPUtime=0.95 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 1423 0 0 0 95 0 0 0 25 0 4 0 593519689 832761856 46425 33554432000 4194304 4797429 140733526944512 18446744073709551615 4430176 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 813244

[startup+3.10103 s]
/proc/loadavg: 7.77 5.74 5.91 9/184 14323
/proc/meminfo: memFree=17795324/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=813244 CPUtime=10.74 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 62710 0 0 0 1067 7 0 0 22 0 4 0 593519635 832761856 46425 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427317 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 203311 46425 384 148 0 198240 0
[pid=14319/tid=14321] ppid=14317 vsize=813244 CPUtime=2.53 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 1371 0 0 0 253 0 0 0 25 0 4 0 593519689 832761856 46425 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=813244 CPUtime=2.55 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 823 0 0 0 255 0 0 0 22 0 4 0 593519689 832761856 46425 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428517 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=813244 CPUtime=2.55 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 1423 0 0 0 255 0 0 0 25 0 4 0 593519689 832761856 46425 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427955 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.74
Current children cumulated vsize (KiB) 813244

[startup+6.30049 s]
/proc/loadavg: 7.77 5.74 5.91 9/184 14323
/proc/meminfo: memFree=17794084/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=813244 CPUtime=23.52 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 62746 0 0 0 2345 7 0 0 25 0 4 0 593519635 832761856 46461 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 203311 46461 384 148 0 198240 0
[pid=14319/tid=14321] ppid=14317 vsize=813244 CPUtime=5.72 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 1389 0 0 0 572 0 0 0 25 0 4 0 593519689 832761856 46461 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=813244 CPUtime=5.74 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 823 0 0 0 574 0 0 0 25 0 4 0 593519689 832761856 46461 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427326 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=813244 CPUtime=5.75 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 1441 0 0 0 575 0 0 0 25 0 4 0 593519689 832761856 46461 33554432000 4194304 4797429 140733526944512 18446744073709551615 4241759 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.52
Current children cumulated vsize (KiB) 813244

[startup+12.7004 s]
/proc/loadavg: 7.81 5.82 5.93 9/184 14323
/proc/meminfo: memFree=17377440/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=1212592 CPUtime=49.02 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 173014 0 0 0 4872 30 0 0 25 0 4 0 593519635 1241694208 154863 33554432000 4194304 4797429 140733526944512 18446744073709551615 4424194 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 303148 154863 418 148 0 298077 0
[pid=14319/tid=14321] ppid=14317 vsize=1212592 CPUtime=12.06 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 31021 0 0 0 1200 6 0 0 25 0 4 0 593519689 1241694208 154863 33554432000 4194304 4797429 140733526944512 18446744073709551615 4424194 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=1212592 CPUtime=12.13 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 25805 0 0 0 1207 6 0 0 25 0 4 0 593519689 1241694208 154863 33554432000 4194304 4797429 140733526944512 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=1212592 CPUtime=12.12 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 34742 0 0 0 1206 6 0 0 25 0 4 0 593519689 1241694208 154863 33554432000 4194304 4797429 140733526944512 18446744073709551615 4423652 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.02
Current children cumulated vsize (KiB) 1212592

[startup+25.5003 s]
/proc/loadavg: 7.83 5.89 5.95 9/184 14325
/proc/meminfo: memFree=16997012/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=1644192 CPUtime=100.14 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 275261 0 0 0 9966 48 0 0 25 0 4 0 593519635 1683652608 248757 33554432000 4194304 4797429 140733526944512 18446744073709551615 4425543 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 411048 248757 420 148 0 405977 0
[pid=14319/tid=14321] ppid=14317 vsize=1644192 CPUtime=24.79 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 65709 0 0 0 2467 12 0 0 25 0 4 0 593519689 1683652608 248757 33554432000 4194304 4797429 140733526944512 18446744073709551615 4506535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=1644192 CPUtime=24.93 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 63488 0 0 0 2479 14 0 0 25 0 4 0 593519689 1683652608 248757 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=1644192 CPUtime=24.93 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 61932 0 0 0 2482 11 0 0 25 0 4 0 593519689 1683652608 248760 33554432000 4194304 4797429 140733526944512 18446744073709551615 4255927 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.14
Current children cumulated vsize (KiB) 1644192

[startup+51.101 s]
/proc/loadavg: 7.96 6.07 6.01 9/184 14325
/proc/meminfo: memFree=16620228/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2041072 CPUtime=202.4 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 397763 0 0 0 20167 73 0 0 25 0 4 0 593519635 2090057728 338810 33554432000 4194304 4797429 140733526944512 18446744073709551615 4520284 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 510268 338810 422 148 0 505197 0
[pid=14319/tid=14321] ppid=14317 vsize=2041072 CPUtime=50.29 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 94576 0 0 0 5012 17 0 0 25 0 4 0 593519689 2090057728 338810 33554432000 4194304 4797429 140733526944512 18446744073709551615 4259304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2041072 CPUtime=50.52 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 78618 0 0 0 5035 17 0 0 25 0 4 0 593519689 2090057728 338810 33554432000 4194304 4797429 140733526944512 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2041072 CPUtime=50.48 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 90492 0 0 0 5032 16 0 0 25 0 4 0 593519689 2090057728 338810 33554432000 4194304 4797429 140733526944512 18446744073709551615 4346313 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.4
Current children cumulated vsize (KiB) 2041072

[startup+102.306 s]
/proc/loadavg: 8.13 6.43 6.14 9/184 14327
/proc/meminfo: memFree=16520396/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2163788 CPUtime=406.92 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 449969 0 0 0 40609 83 0 0 25 0 4 0 593519635 2215718912 360675 33554432000 4194304 4797429 140733526944512 18446744073709551615 4642256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 540947 360675 423 148 0 535876 0
[pid=14319/tid=14321] ppid=14317 vsize=2163788 CPUtime=101.49 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 105763 0 0 0 10130 19 0 0 25 0 4 0 593519689 2215718912 360675 33554432000 4194304 4797429 140733526944512 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2163788 CPUtime=101.73 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 88205 0 0 0 10154 19 0 0 25 0 4 0 593519689 2215718912 360675 33554432000 4194304 4797429 140733526944512 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2163788 CPUtime=101.4 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 102029 0 0 0 10122 18 0 0 25 0 4 0 593519689 2215718912 360675 33554432000 4194304 4797429 140733526944512 18446744073709551615 4331612 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 406.92
Current children cumulated vsize (KiB) 2163788

[startup+162.3 s]
/proc/loadavg: 8.11 6.73 6.25 9/184 14327
/proc/meminfo: memFree=16416724/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2210060 CPUtime=646.56 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 498619 0 0 0 64560 96 0 0 25 0 4 0 593519635 2263101440 384019 33554432000 4194304 4797429 140733526944512 18446744073709551615 4506535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 552515 384019 423 148 0 547444 0
[pid=14319/tid=14321] ppid=14317 vsize=2210060 CPUtime=161.48 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 110903 0 0 0 16128 20 0 0 25 0 4 0 593519689 2263101440 384019 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427238 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2210060 CPUtime=161.72 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 100852 0 0 0 16151 21 0 0 25 0 4 0 593519689 2263101440 384019 33554432000 4194304 4797429 140733526944512 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2210060 CPUtime=161.07 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 109341 0 0 0 16087 20 0 0 25 0 4 0 593519689 2263101440 384019 33554432000 4194304 4797429 140733526944512 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 646.56
Current children cumulated vsize (KiB) 2210060

[startup+222.3 s]
/proc/loadavg: 8.14 6.99 6.37 9/184 14329
/proc/meminfo: memFree=16395756/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2218252 CPUtime=886.24 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 508156 0 0 0 88525 99 0 0 25 0 4 0 593519635 2271490048 387721 33554432000 4194304 4797429 140733526944512 18446744073709551615 4510040 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 554563 387721 423 148 0 549492 0
[pid=14319/tid=14321] ppid=14317 vsize=2218252 CPUtime=221.48 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 111621 0 0 0 22128 20 0 0 25 0 4 0 593519689 2271490048 387721 33554432000 4194304 4797429 140733526944512 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2218252 CPUtime=221.57 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 104485 0 0 0 22135 22 0 0 25 0 4 0 593519689 2271490048 387721 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427914 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2218252 CPUtime=220.88 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 114521 0 0 0 22067 21 0 0 25 0 4 0 593519689 2271490048 387721 33554432000 4194304 4797429 140733526944512 18446744073709551615 4243692 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 886.24
Current children cumulated vsize (KiB) 2218252

[startup+282.3 s]

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

[pid=14319] ppid=14317 vsize=2295420 CPUtime=2803.61 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 710361 0 0 0 280186 175 0 0 25 0 4 0 593519635 2350510080 399389 33554432000 4194304 4797429 140733526944512 18446744073709551615 4413403 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 573855 399389 423 148 0 568784 0
[pid=14319/tid=14321] ppid=14317 vsize=2295420 CPUtime=701.47 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 125171 0 0 0 70123 24 0 0 25 0 4 0 593519689 2350510080 399389 33554432000 4194304 4797429 140733526944512 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2295420 CPUtime=698.96 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 119161 0 0 0 69871 25 0 0 25 0 4 0 593519689 2350510080 399389 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427877 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2295420 CPUtime=700.88 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 129654 0 0 0 70063 25 0 0 25 0 4 0 593519689 2350510080 399389 33554432000 4194304 4797429 140733526944512 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2803.61
Current children cumulated vsize (KiB) 2295420

[startup+762.306 s]
/proc/loadavg: 8.19 7.97 7.14 9/184 14373
/proc/meminfo: memFree=16408704/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2311804 CPUtime=3043.31 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 719867 0 0 0 304153 178 0 0 25 0 4 0 593519635 2367287296 408314 33554432000 4194304 4797429 140733526944512 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 577951 408314 423 148 0 572880 0
[pid=14319/tid=14321] ppid=14317 vsize=2311804 CPUtime=761.48 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 125903 0 0 0 76124 24 0 0 25 0 4 0 593519689 2367287296 408314 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2311804 CPUtime=758.64 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 120211 0 0 0 75838 26 0 0 25 0 4 0 593519689 2367287296 408314 33554432000 4194304 4797429 140733526944512 18446744073709551615 4567820 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2311804 CPUtime=760.89 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 130410 0 0 0 76064 25 0 0 25 0 4 0 593519689 2367287296 408314 33554432000 4194304 4797429 140733526944512 18446744073709551615 4332837 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3043.31
Current children cumulated vsize (KiB) 2311804

[startup+822.3 s]
/proc/loadavg: 8.17 8.00 7.20 9/184 14375
/proc/meminfo: memFree=16421848/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2316988 CPUtime=3282.97 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 739347 0 0 0 328111 186 0 0 25 0 4 0 593519635 2372595712 404667 33554432000 4194304 4797429 140733526944512 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 579247 404667 423 148 0 574176 0
[pid=14319/tid=14321] ppid=14317 vsize=2316988 CPUtime=821.48 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 126367 0 0 0 82123 25 0 0 25 0 4 0 593519689 2372595712 404667 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428580 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2316988 CPUtime=818.31 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 121507 0 0 0 81805 26 0 0 25 0 4 0 593519689 2372595712 404667 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2316988 CPUtime=820.88 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 130960 0 0 0 82063 25 0 0 25 0 4 0 593519689 2372595712 404667 33554432000 4194304 4797429 140733526944512 18446744073709551615 4346434 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3282.97
Current children cumulated vsize (KiB) 2316988

[startup+882.3 s]
/proc/loadavg: 8.11 8.01 7.26 10/184 14377
/proc/meminfo: memFree=16393196/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2384984 CPUtime=3522.64 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 758591 0 0 0 352069 195 0 0 25 0 4 0 593519635 2442223616 409970 33554432000 4194304 4797429 140733526944512 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 596246 409970 423 148 0 591175 0
[pid=14319/tid=14321] ppid=14317 vsize=2384984 CPUtime=881.48 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 126965 0 0 0 88123 25 0 0 25 0 4 0 593519689 2442223616 409970 33554432000 4194304 4797429 140733526944512 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2384984 CPUtime=877.98 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 122174 0 0 0 87772 26 0 0 25 0 4 0 593519689 2442223616 409970 33554432000 4194304 4797429 140733526944512 18446744073709551615 4528117 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2384984 CPUtime=880.89 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 132077 0 0 0 88063 26 0 0 25 0 4 0 593519689 2442223616 409970 33554432000 4194304 4797429 140733526944512 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3522.64
Current children cumulated vsize (KiB) 2384984

[startup+942.3 s]
/proc/loadavg: 8.09 8.02 7.31 10/184 14379
/proc/meminfo: memFree=16399028/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2389540 CPUtime=3762.31 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 779096 0 0 0 376028 203 0 0 25 0 4 0 593519635 2446888960 407854 33554432000 4194304 4797429 140733526944512 18446744073709551615 4354716 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 597385 407854 423 148 0 592314 0
[pid=14319/tid=14321] ppid=14317 vsize=2389540 CPUtime=941.48 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 128354 0 0 0 94122 26 0 0 25 0 4 0 593519689 2446888960 407854 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427877 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2389540 CPUtime=937.65 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 122706 0 0 0 93738 27 0 0 25 0 4 0 593519689 2446888960 407854 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428755 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2389540 CPUtime=940.88 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 132722 0 0 0 94062 26 0 0 25 0 4 0 593519689 2446888960 407854 33554432000 4194304 4797429 140733526944512 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3762.31
Current children cumulated vsize (KiB) 2389540

[startup+1002.3 s]
/proc/loadavg: 8.08 8.03 7.35 9/184 14381
/proc/meminfo: memFree=16378444/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2389796 CPUtime=4001.98 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 791163 0 0 0 399990 208 0 0 25 0 4 0 593519635 2447151104 411056 33554432000 4194304 4797429 140733526944512 18446744073709551615 4422848 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 597449 411056 423 148 0 592378 0
[pid=14319/tid=14321] ppid=14317 vsize=2389796 CPUtime=1001.48 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 128987 0 0 0 100122 26 0 0 25 0 4 0 593519689 2447151104 411056 33554432000 4194304 4797429 140733526944512 18446744073709551615 4346483 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2389796 CPUtime=997.32 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 123490 0 0 0 99705 27 0 0 25 0 4 0 593519689 2447151104 411056 33554432000 4194304 4797429 140733526944512 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2389796 CPUtime=1000.88 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 134126 0 0 0 100062 26 0 0 25 0 4 0 593519689 2447151104 411056 33554432000 4194304 4797429 140733526944512 18446744073709551615 4346799 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4001.98
Current children cumulated vsize (KiB) 2389796

[startup+1062.3 s]
/proc/loadavg: 8.36 8.10 7.42 11/185 14384
/proc/meminfo: memFree=16342960/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2398820 CPUtime=4241.65 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 809753 0 0 0 423952 213 0 0 25 0 4 0 593519635 2456391680 412602 33554432000 4194304 4797429 140733526944512 18446744073709551615 4413499 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 599705 412602 423 148 0 594634 0
[pid=14319/tid=14321] ppid=14317 vsize=2398820 CPUtime=1061.48 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 129326 0 0 0 106122 26 0 0 25 0 4 0 593519689 2456391680 412602 33554432000 4194304 4797429 140733526944512 18446744073709551615 4552802 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2398820 CPUtime=1057 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 125473 0 0 0 105673 27 0 0 25 0 4 0 593519689 2456391680 412602 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2398820 CPUtime=1060.88 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 134931 0 0 0 106062 26 0 0 25 0 4 0 593519689 2456391680 412602 33554432000 4194304 4797429 140733526944512 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4241.65
Current children cumulated vsize (KiB) 2398820

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 7.46 9/184 14386
/proc/meminfo: memFree=16369696/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2403604 CPUtime=4481.33 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 823779 0 0 0 447915 218 0 0 25 0 4 0 593519635 2461290496 410790 33554432000 4194304 4797429 140733526944512 18446744073709551615 4331552 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 600901 410790 423 148 0 595830 0
[pid=14319/tid=14321] ppid=14317 vsize=2403604 CPUtime=1121.48 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 129922 0 0 0 112122 26 0 0 25 0 4 0 593519689 2461290496 410790 33554432000 4194304 4797429 140733526944512 18446744073709551615 4242290 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2403604 CPUtime=1116.67 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 126013 0 0 0 111640 27 0 0 25 0 4 0 593519689 2461290496 410790 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2403604 CPUtime=1120.88 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 135724 0 0 0 112061 27 0 0 25 0 4 0 593519689 2461290496 410790 33554432000 4194304 4797429 140733526944512 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4481.33
Current children cumulated vsize (KiB) 2403604

[startup+1182.3 s]
/proc/loadavg: 8.06 8.08 7.49 10/184 14388
/proc/meminfo: memFree=16343772/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2405108 CPUtime=4721.01 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 836664 0 0 0 471877 224 0 0 25 0 4 0 593519635 2462830592 413604 33554432000 4194304 4797429 140733526944512 18446744073709551615 4341172 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 601277 413604 423 148 0 596206 0
[pid=14319/tid=14321] ppid=14317 vsize=2405108 CPUtime=1181.48 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 130433 0 0 0 118121 27 0 0 25 0 4 0 593519689 2462830592 413604 33554432000 4194304 4797429 140733526944512 18446744073709551615 4225985 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2405108 CPUtime=1176.35 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 128102 0 0 0 117607 28 0 0 25 0 4 0 593519689 2462830592 413604 33554432000 4194304 4797429 140733526944512 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2405108 CPUtime=1180.88 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 136588 0 0 0 118061 27 0 0 25 0 4 0 593519689 2462830592 413604 33554432000 4194304 4797429 140733526944512 18446744073709551615 4243692 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4721.01
Current children cumulated vsize (KiB) 2405108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.04 8.07 7.50 9/184 14388
/proc/meminfo: memFree=16336580/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2405108 CPUtime=4800.12 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 839680 0 0 0 479787 225 0 0 25 0 4 0 593519635 2462830592 416241 33554432000 4194304 4797429 140733526944512 18446744073709551615 4387398 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 601277 416241 423 148 0 596206 0
[pid=14319/tid=14321] ppid=14317 vsize=2405108 CPUtime=1201.29 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 130554 0 0 0 120102 27 0 0 25 0 4 0 593519689 2462830592 416241 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2405108 CPUtime=1196.04 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 128487 0 0 0 119576 28 0 0 25 0 4 0 593519689 2462830592 416241 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428564 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2405108 CPUtime=1200.69 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 136827 0 0 0 120042 27 0 0 25 0 4 0 593519689 2462830592 416241 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 2405108

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

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

[startup+1202.1 s]
/proc/loadavg: 8.04 8.07 7.50 9/184 14388
/proc/meminfo: memFree=16336580/32951124 swapFree=67110396/67111528
[pid=14319] ppid=14317 vsize=2405108 CPUtime=4800.12 cores=0,2,4,6
/proc/14319/stat : 14319 (techdemo) R 14317 14319 13846 0 -1 4202496 839680 0 0 0 479787 225 0 0 25 0 4 0 593519635 2462830592 416241 33554432000 4194304 4797429 140733526944512 18446744073709551615 4387398 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14319/statm: 601277 416241 423 148 0 596206 0
[pid=14319/tid=14321] ppid=14317 vsize=2405108 CPUtime=1201.29 cores=0,2,4,6
/proc/14319/task/14321/stat : 14321 (techdemo) R 14317 14319 13846 0 -1 4202560 130554 0 0 0 120102 27 0 0 25 0 4 0 593519689 2462830592 416241 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14319/tid=14322] ppid=14317 vsize=2405108 CPUtime=1196.04 cores=0,2,4,6
/proc/14319/task/14322/stat : 14322 (techdemo) R 14317 14319 13846 0 -1 4202560 128487 0 0 0 119576 28 0 0 25 0 4 0 593519689 2462830592 416241 33554432000 4194304 4797429 140733526944512 18446744073709551615 4428564 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14319/tid=14323] ppid=14317 vsize=2405108 CPUtime=1200.69 cores=0,2,4,6
/proc/14319/task/14323/stat : 14323 (techdemo) R 14317 14319 13846 0 -1 4202560 136827 0 0 0 120042 27 0 0 25 0 4 0 593519689 2462830592 416241 33554432000 4194304 4797429 140733526944512 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 2405108

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.18
CPU time (s): 4800.23
CPU user time (s): 4797.9
CPU system time (s): 2.32965
CPU usage (%): 399.292
Max. virtual memory (cumulated for all children) (KiB): 2495552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.9
system time used= 2.32965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 839680
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= 13708
involuntary context switches= 19776

runsolver used 1.9977 second user time and 4.5803 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-29 01:21:30
IDJOB=3282248
IDBENCH=70797
IDSOLVER=1584
FILE ID=node118/3282248-1304032889
RUNJOBID= node118-1304032740-14232
PBS_JOBID= 13170334
Free space on /tmp= 71600 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282248-1304032889/watcher-3282248-1304032889 -o /tmp/evaluation-result-3282248-1304032889/solver-3282248-1304032889 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3282248-1304032889.cnf

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

MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=1904712008

node118.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.842
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.68
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.842
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	: 5332.75
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.842
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.74
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.842
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.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17982144 kB
Buffers:       1897236 kB
Cached:       11974980 kB
SwapCached:        600 kB
Active:        9888156 kB
Inactive:      4544028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17982144 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:           12440 kB
Writeback:           0 kB
AnonPages:      558492 kB
Mapped:          15696 kB
Slab:           471464 kB
PageTables:       5612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1187144 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= 71596 MiB
End job on node118 at 2011-04-29 01:41:34