Trace number 3280362

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.3 1202.73

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
MD5SUM8e22d84b1ae625d44fbf300a32374a2d
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 variables164158
Number of clauses730719
Sum of the clauses size1660140
Maximum clause length10
Minimum clause length1
Number of clauses of size 112474
Number of clauses of size 2600009
Number of clauses of size 387256
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

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-3280362-1304030741.cnf'
0.00/0.00	c -- header says num vars:         164158
0.00/0.00	c -- header says num clauses:      730719
1.29/1.30	c -- clauses added:            0 learnts,       730719 normals,            0 xors
1.29/1.30	c -- vars added     164158
1.29/1.30	c Parsing time:  1.16 s
1.29/1.30	c  N st     0         0    164158    118150    599287         0   1645964         0   no data   no data  --
2.07/1.54	c asymm  cl-useful: 121/655/94810 lits-rem:668 time: 0.89
31.26/8.86	c Flit:  1180 Blit:   4592 bXBeca:    0 bXProp: 3071 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 29.12
31.64/8.91	c Cleaning up after failed var search:     0.18 s 
46.39/12.64	c Calc non-exist non-lernt bins v-fix:     0 done:   4914 time: 14.48 s
46.39/12.67	c Cache  BProp: 249 Set: 217 BXProp: 11366 T: 0.14
46.39/12.69	c Subs w/ non-existent bins:     16 time:  0.07 s
46.78/12.77	c Replacing    14448 vars Replaced   265351 lits Time:     0.31 s 
47.18/12.84	c bin-w-bin subsume rem         8993 bins  time:  0.12 s
47.58/12.91	c subs with bin:     1322  lits-rem:     12707  v-fix:    0  time:  0.25 s
48.39/13.12	c Removed useless bin:     634  fixed:     0  bprops:  10.01M  time:  0.85 s
49.58/13.41	c lits-rem:         0  cl-subs:     2482  v-elim:  28431  v-fix:    0  time:  1.16 s
49.58/13.41	c learnt bin added due to v-elim: 0
49.58/13.45	c Finding binary XORs  T:     0.14 s  found:   12679
49.98/13.50	c Replacing    12679 vars Replaced   216234 lits Time:     0.19 s 
49.98/13.56	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
49.98/13.56	c Calc default polars -  time:   0.05 s pos:    9427 undec:  121689 neg:   33042
49.98/13.56	c =========================================================================================
49.98/13.56	c types(t): F = full restart, N = normal restart
49.98/13.56	c types(t): S = simplification begin/end, E = solution found
49.98/13.56	c restart types(rt): st = static, dy = dynamic
49.98/13.56	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
49.98/13.56	c  B st     0         0     44183     81373    172907         0    665110         0   no data   no data  --
55.97/15.08	c Decided on dynamic restart strategy
60.76/16.26	c  N dy    19      4013     43908     81373    172948      3707    665110    779835    184.98     46.22  --
73.55/19.43	c  N dy    46      8099     43694     81373    179896      9739    676044   1566803    177.60     39.30  --
85.92/22.57	c  N dy    73     12126     43685     81373    179930     13544    676044   2389211    212.10     37.26  --
98.71/25.72	c  N dy   100     16208     38318     70999    147410     17315    557297   3213209    265.22     40.29  --
111.49/28.95	c  N dy   126     20235     38304     70999    147435     10588    557297    773922    132.44     40.88  --
123.09/31.82	c  N dy   153     24317     38247     70999    147477     14437    557297   1575322    249.69     39.98  --
136.67/35.21	c  N dy   179     28357     38239     70999    147504     18250    557297   2554499    254.22     40.83  --
143.84/37.01	c  S st   190     30003     38111     70999    147520     19801    557297   2899263    223.94     40.61  --
147.44/37.95	c  S st   190     30504     38106     70999    147577     20190    557297   2932290    223.94     40.61  --
147.44/37.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
147.44/37.98	c Cache  BProp: 8 Set: 0 BXProp: 0 T: 0.01
196.17/50.18	c Flit:  1013 Blit:   1598 bXBeca:    0 bXProp: 2019 Bin:  64108 BRemL:   7577 BRemN:    582 CBin:       0 P: 60.0M T: 48.60
196.57/50.22	c Cleaning up after failed var search:     0.13 s 
201.75/51.58	c Calc non-exist non-lernt bins v-fix:     3 done:  21138 time:  5.43 s
202.18/51.62	c Cache  BProp: 1399 Set: 23 BXProp: 1009 T: 0.15
203.35/51.96	c Subs w/ non-existent bins:   1129 time:  1.36 s
204.15/52.13	c Replacing     3029 vars Replaced   277702 lits Time:     0.65 s 
204.56/52.28	c bin-w-bin subsume rem        10268 bins  time:  0.10 s
211.37/53.97	c subs with bin:      523  lits-rem:     21809  v-fix:    0  time:  6.74 s
212.14/54.17	c Removed useless bin:    8069  fixed:     0  bprops:  10.00M  time:  0.80 s
222.92/56.86	c lits-rem:      1342  cl-subs:    23650  v-elim:  10841  v-fix:    0  time: 10.71 s
222.92/56.86	c learnt bin added due to v-elim: 0
223.72/57.04	c vivif2 --  cl tried    60945 cl shrink     6225 lits rem       7831 time: 0.72
223.72/57.05	c vivif2 --  cl tried     1464 cl shrink      625 lits rem       3597 time: 0.04
226.12/57.66	c asymm  cl-useful: 225/3379/59232 lits-rem:236 time: 2.44
226.52/57.77	c calculated reachability. Time: 0.43
226.52/57.78	c  N dy   190     30504     24599     59232    128110      1289    370360    111502    223.94     40.61  --
226.52/57.78	c  F st   190     30504     24599     59232    128110      1289    370360    111502    223.94     40.61  --
230.92/58.80	c Decided on dynamic restart strategy
234.51/59.77	c  N dy   210     34575     24595     59212    128108      5189    370294    502667     81.46     38.13  --
245.29/62.40	c  N dy   238     38702     24578     59212    219045     18327    380888   1230413    148.37     36.11  --
255.30/64.91	c  N dy   266     42800     24575     59212    319889     27027    390398   1960354    131.28     34.75  --
262.47/66.70	c  S st   287     45757     24568     59212    319920     29913    390398   2343826    117.12     33.97  --
264.09/67.11	c  S st   287     46258     24568     59212    319933     30398    390398   2388904    117.12     33.97  --
264.09/67.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
264.09/67.17	c Cache  BProp: 1342 Set: 0 BXProp: 1 T: 0.14
332.39/84.26	c Flit:   188 Blit:     70 bXBeca:    0 bXProp:  549 Bin:  28553 BRemL:  18247 BRemN:   1025 CBin:       0 P: 60.0M T: 68.20
332.39/84.29	c Cleaning up after failed var search:     0.12 s 
336.38/85.27	c Calc non-exist non-lernt bins v-fix:     0 done:  22012 time:  3.91 s
336.78/85.31	c Cache  BProp: 1331 Set: 0 BXProp: 38 T: 0.19
338.80/85.86	c Subs w/ non-existent bins:   5004 time:  2.17 s
339.18/85.92	c Replacing      588 vars Replaced    38710 lits Time:     0.25 s 
339.58/86.06	c bin-w-bin subsume rem        23036 bins  time:  0.18 s
346.36/87.71	c subs with bin:      434  lits-rem:      7394  v-fix:    0  time:  6.58 s
347.18/87.90	c Removed useless bin:    6290  fixed:     0  bprops:   8.03M  time:  0.76 s
358.74/90.80	c lits-rem:       380  cl-subs:    24800  v-elim:   7985  v-fix:    0  time: 11.55 s
358.74/90.80	c learnt bin added due to v-elim: 0
359.55/91.04	c vivif2 --  cl tried    51940 cl shrink     2197 lits rem       2542 time: 0.97
359.55/91.07	c vivif2 --  cl tried     4050 cl shrink      426 lits rem       1713 time: 0.12
360.77/91.38	c asymm  cl-useful: 7/1110/50743 lits-rem:10 time: 1.22
361.14/91.49	c calculated reachability. Time: 0.42
361.54/91.50	c  N dy   287     46258     18203     50742    212570      3981    301706    366134    117.12     33.97  --
368.33/93.23	c Finding binary XORs  T:     3.38 s  found:      17
371.12/93.95	c  N dy   315     50262     18201     50709    212598      7913    301621    735364    103.94     32.66  --
378.34/95.71	c  N dy   343     54321     18201     50709    212611     11918    301621   1201789    123.72     31.70  --
385.51/97.59	c  N dy   370     58368     18201     50709    212624     15910    301621   1669251    122.38     30.98  --
393.90/99.62	c  N dy   396     62377     18201     50709    212635     19854    301621   2131968    122.61     30.40  --
402.29/101.71	c  N dy   423     66448     18201     50709    212658     23861    301621   2613218    124.68     30.00  --
409.10/103.46	c  S st   443     69389     18201     50709    212660     26763    301620   2925857    104.05     29.58  --
411.07/103.98	c  S st   443     69892     18201     50709    212696     27225    301620   2950281    104.05     29.58  --
411.47/104.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
411.47/104.03	c Cache  BProp: 1299 Set: 0 BXProp: 0 T: 0.12
445.02/112.41	c Flit:    29 Blit:      4 bXBeca:    0 bXProp:    3 Bin:  24089 BRemL:  26578 BRemN:    733 CBin:       0 P: 60.0M T: 33.45
447.02/112.92	c Calc non-exist non-lernt bins v-fix:     0 done:  18161 time:  2.05 s
447.02/112.96	c Cache  BProp: 1303 Set: 0 BXProp: 0 T: 0.13
449.42/113.56	c Subs w/ non-existent bins:    383 time:  2.41 s
449.82/113.61	c Replacing       20 vars Replaced     1206 lits Time:     0.20 s 
450.22/113.77	c bin-w-bin subsume rem         1875 bins  time:  0.12 s
457.44/115.53	c subs with bin:       37  lits-rem:      1139  v-fix:    0  time:  7.01 s
457.81/115.68	c Removed useless bin:     702  fixed:     0  bprops:   6.27M  time:  0.61 s
484.18/122.21	c ORs :  24394 avg-s:  3.4 cl-sh: 13404 l-rem:  15654 b-add:   2384 v-rep:   0 cl-rem: 95 avg s: 3.0 T:    6.34
495.36/125.02	c Added 51 vars  tried: 80000 time: 11.21
495.36/125.06	c ORs :     51 avg-s:  0.0 cl-sh:  8950 l-rem:   8950 b-add:    105 v-rep:   1 cl-rem: 11 avg s: 9.5 T:   11.37
495.76/125.10	c lits-rem:        35  cl-subs:    16123  v-elim:   3173  v-fix:    0  time: 37.61 s
495.76/125.10	c learnt bin added due to v-elim: 0
496.16/125.28	c vivif2 --  cl tried    48614 cl shrink      798 lits rem        881 time: 0.73
496.98/125.42	c vivif2 --  cl tried    11505 cl shrink     1203 lits rem       4760 time: 0.55
498.16/125.74	c asymm  cl-useful: 12/1198/48326 lits-rem:36 time: 1.28
498.56/125.82	c calculated reachability. Time: 0.31
498.56/125.83	c  N dy   443     69892     17764     48318    206427     11492    289748    887891    104.05     29.58  --
498.56/125.83	c  F st   443     69892     17764     48318    206427     11492    289748    887891    104.05     29.58  --
498.56/125.87	c Replacing        1 vars Replaced       70 lits Time:     0.10 s 
503.76/127.10	c Decided on dynamic restart strategy
510.17/128.75	c  N dy   466     74498     17762     48302    413542     18915    293322   1734289    102.77     28.61  --
513.74/129.68	c Finding binary XORs  T:     2.13 s  found:      39
523.34/132.09	c  N dy   499     79325     17608     47530    409808     23382    288917   2207186    118.31     27.93  --
536.12/135.25	c  N dy   533     84389     17608     47530    409815     28392    288917   2721330    106.64     27.35  --
550.08/138.73	c  N dy   569     89829     17608     47530    409827     33767    288917   3332360    103.49     26.96  --
565.67/142.64	c  N dy   608     95634     17608     47530    409829     39526    288917   4011126    100.22     26.68  --
581.64/146.65	c  N dy   648    101744     17607     47530    409835     24617    288917   2141648    133.81     26.29  --
590.83/148.92	c  S st   669    104840     17607     47530    409839     27685    288917   2499949     99.93     26.17  --
592.04/149.27	c  S st   669    105343     17607     47530    409845     28180    288917   2539280     99.93     26.17  --
592.43/149.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
592.43/149.33	c Cache  BProp: 1297 Set: 0 BXProp: 0 T: 0.12
622.39/156.80	c Flit:    24 Blit:      9 bXBeca:    0 bXProp:    0 Bin:   7753 BRemL:  23147 BRemN:    452 CBin:       0 P: 60.0M T: 29.84
624.00/157.29	c Calc non-exist non-lernt bins v-fix:     0 done:  17573 time:  1.94 s
624.41/157.32	c Cache  BProp: 1307 Set: 3 BXProp: 0 T: 0.13
626.78/157.90	c Subs w/ non-existent bins:   1484 time:  2.32 s
626.78/157.96	c Replacing       39 vars Replaced    10448 lits Time:     0.24 s 
627.58/158.13	c bin-w-bin subsume rem        14713 bins  time:  0.26 s
634.37/159.85	c subs with bin:      188  lits-rem:      1282  v-fix:    0  time:  6.85 s
634.77/159.96	c Removed useless bin:     839  fixed:     0  bprops:   4.33M  time:  0.45 s
653.55/164.65	c ORs :  24282 avg-s:  3.4 cl-sh:  2136 l-rem:   3696 b-add:   1490 v-rep:   0 cl-rem: 42 avg s: 3.1 T:    6.32
653.55/164.68	c lits-rem:        91  cl-subs:    12122  v-elim:   2639  v-fix:    0  time: 18.86 s
653.55/164.68	c learnt bin added due to v-elim: 0
654.35/164.86	c vivif2 --  cl tried    45987 cl shrink      452 lits rem        499 time: 0.72
655.16/165.05	c vivif2 --  cl tried    14980 cl shrink     1945 lits rem       6481 time: 0.73
656.34/165.38	c asymm  cl-useful: 1/931/45665 lits-rem:4 time: 1.34
656.74/165.47	c calculated reachability. Time: 0.30
656.74/165.47	c  N dy   669    105343     17198     45664    369142     14938    278731   1250058     99.93     26.17  --
672.34/169.31	c  N dy   715    112130     17197     45664    369166     21602    278731   1845967    101.91     25.52  --
689.50/173.65	c  N dy   763    119289     17197     45664    408943     29075    279221   2682541    122.10     25.19  --
708.67/178.44	c  N dy   814    126918     17197     45664    408954     36622    279221   3429043     98.58     24.67  --
713.87/179.74	c Finding binary XORs  T:     2.09 s  found:      16
732.24/184.37	c  N dy   868    135022     17151     45372    480004     22889    279103   1931171    114.32     24.28  --
753.82/189.71	c  N dy   925    143701     17150     45372    480012     31493    279103   2856547    110.24     24.00  --
778.21/195.84	c  N dy   986    152891     17150     45372    480017     40608    279103   3837418    115.31     23.72  --
791.39/199.15	c  S st  1020    158017     17118     45372    480019     23637    279103   1952424     96.27     23.66  --
792.56/199.47	c  S st  1020    158520     17118     45372    480032     24126    279103   1988790     96.27     23.66  --
792.96/199.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
792.96/199.53	c Cache  BProp: 1305 Set: 0 BXProp: 0 T: 0.12
823.33/207.16	c Flit:     7 Blit:      1 bXBeca:    0 bXProp:   10 Bin:   9811 BRemL:  18754 BRemN:    231 CBin:       0 P: 60.0M T: 30.48
825.33/207.62	c Calc non-exist non-lernt bins v-fix:     0 done:  17108 time:  1.82 s
825.33/207.65	c Cache  BProp: 1305 Set: 0 BXProp: 0 T: 0.14
827.32/208.13	c Subs w/ non-existent bins:    709 time:  1.92 s
827.32/208.19	c Replacing       26 vars Replaced     4591 lits Time:     0.23 s 
828.12/208.34	c bin-w-bin subsume rem         7280 bins  time:  0.30 s
834.52/209.94	c subs with bin:      459  lits-rem:      1345  v-fix:    0  time:  6.39 s
834.93/210.02	c Removed useless bin:     425  fixed:     0  bprops:   2.70M  time:  0.31 s
847.70/213.26	c ORs :  24014 avg-s:  3.3 cl-sh:   272 l-rem:    456 b-add:     89 v-rep:   0 cl-rem: 16 avg s: 3.1 T:    6.41
847.70/213.30	c lits-rem:       264  cl-subs:     3243  v-elim:   2228  v-fix:    0  time: 13.11 s
847.70/213.30	c learnt bin added due to v-elim: 0
848.52/213.49	c vivif2 --  cl tried    44671 cl shrink      215 lits rem        226 time: 0.74
849.69/213.76	c vivif2 --  cl tried    20302 cl shrink     3533 lits rem      18004 time: 1.11
850.89/214.07	c asymm  cl-useful: 2/799/44525 lits-rem:2 time: 1.24
851.29/214.17	c calculated reachability. Time: 0.32
851.29/214.17	c  N dy  1020    158520     16934     44525    453728     20292    273584   1691610     96.27     23.66  --
875.26/220.16	c  N dy  1088    168719     16933     44525    453744     30381    273584   2644781    135.88     23.30  --
903.62/227.23	c  N dy  1159    179559     16933     44525    453753     41127    273584   3654192     98.46     22.92  --
912.42/229.47	c Finding binary XORs  T:     2.12 s  found:       0
934.38/234.94	c  N dy  1235    191077     16918     44422    475786     29807    273603   2484221    114.56     22.65  --
965.94/242.86	c  N dy  1315    203306     16918     44422    494561     42174    273931   3746255    121.11     22.41  --
999.10/251.18	c  N dy  1402    216395     16902     44422    494569     31209    273931   2519290     89.83     22.17  --
1036.66/260.57	c  N dy  1493    230256     16980     44422    508097     45186    274780   3885281    110.35     21.92  --
1057.02/265.66	c  S st  1543    237782     16980     44422    508099     27677    274780   2124871    104.76     21.85  --
1058.62/266.01	c  S st  1543    238285     16955     44422    508102     28177    274780   2160475    104.76     21.85  --
1058.62/266.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1058.62/266.07	c Cache  BProp: 1297 Set: 0 BXProp: 0 T: 0.14
1089.79/273.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   15 Bin:   2711 BRemL:  74916 BRemN:    482 CBin:       0 P: 60.0M T: 31.21
1091.77/274.36	c Calc non-exist non-lernt bins v-fix:     0 done:  16955 time:  1.88 s
1092.18/274.40	c Cache  BProp: 1297 Set: 0 BXProp: 7 T: 0.16
1094.20/274.96	c Subs w/ non-existent bins:    453 time:  2.21 s
1094.60/275.02	c Replacing       22 vars Replaced     7546 lits Time:     0.23 s 
1094.98/275.16	c bin-w-bin subsume rem         2455 bins  time:  0.26 s
1101.77/276.80	c subs with bin:      168  lits-rem:       635  v-fix:    0  time:  6.55 s
1101.77/276.87	c Removed useless bin:     334  fixed:     0  bprops:   2.42M  time:  0.28 s
1115.35/280.20	c ORs :  23716 avg-s:  3.4 cl-sh:   139 l-rem:    238 b-add:     70 v-rep:   0 cl-rem: 8 avg s: 3.0 T:    6.31
1115.35/280.24	c lits-rem:       171  cl-subs:     4449  v-elim:   2175  v-fix:    0  time: 13.47 s
1115.35/280.24	c learnt bin added due to v-elim: 0
1116.16/280.44	c vivif2 --  cl tried    44202 cl shrink      403 lits rem        427 time: 0.79
1117.34/280.77	c vivif2 --  cl tried    23486 cl shrink     3252 lits rem      14794 time: 1.30
1118.54/281.09	c asymm  cl-useful: 0/732/44044 lits-rem:0 time: 1.30
1118.95/281.19	c calculated reachability. Time: 0.34
1118.95/281.19	c  N dy  1543    238285     16785     44044    418644     23472    270394   1620943    104.76     21.85  --
1155.72/290.31	c  N dy  1645    253535     16783     44044    418669     38569    270394   2784588     74.63     21.33  --
1189.26/298.73	c Finding binary XORs  T:     2.33 s  found:      26
1198.45/301.00	c  N dy  1753    269755     16755     43808    438191     28883    269945   1882399     74.90     20.88  --
1241.59/311.88	c  N dy  1868    287069     16754     43808    438211     46002    269945   3170136     89.70     20.41  --
1288.32/323.59	c  N dy  1990    305449     16748     43808    452033     37433    270175   2484936     80.96     20.00  --
1340.67/336.64	c  N dy  2121    325040     16748     43808    452039     29046    270175   1813014     77.63     19.64  --
1389.01/348.75	c  N dy  2255    345084     16748     43808    452046     48926    270175   3288372     83.99     19.31  --
1423.76/357.40	c  S st  2337    357428     16748     43808    452051     32374    270175   1939825     65.80     19.11  --
1424.94/357.77	c  S st  2337    357930     16748     43808    452052     32875    270175   1971903     65.80     19.11  --
1424.94/357.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1425.34/357.83	c Cache  BProp: 1277 Set: 0 BXProp: 0 T: 0.15
1455.30/365.32	c Flit:     6 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   3636 BRemL:  15116 BRemN:    170 CBin:       0 P: 60.0M T: 29.90
1456.90/365.77	c Calc non-exist non-lernt bins v-fix:     0 done:  16741 time:  1.78 s
1457.30/365.81	c Cache  BProp: 1277 Set: 0 BXProp: 1 T: 0.16
1460.09/366.53	c Subs w/ non-existent bins:    408 time:  2.87 s
1460.49/366.60	c Replacing       27 vars Replaced    11920 lits Time:     0.26 s 
1460.89/366.74	c bin-w-bin subsume rem         3177 bins  time:  0.27 s
1466.48/368.18	c subs with bin:      159  lits-rem:      1452  v-fix:    0  time:  5.73 s
1466.88/368.24	c Removed useless bin:     259  fixed:     0  bprops:   2.14M  time:  0.25 s
1480.06/371.54	c ORs :  23201 avg-s:  3.3 cl-sh:   104 l-rem:    152 b-add:     41 v-rep:   0 cl-rem: 8 avg s: 3.0 T:    6.25
1480.06/371.58	c lits-rem:       239  cl-subs:     6076  v-elim:   2119  v-fix:    0  time: 13.34 s
1480.06/371.58	c learnt bin added due to v-elim: 0
1480.88/371.79	c vivif2 --  cl tried    43584 cl shrink      193 lits rem        242 time: 0.83
1482.86/372.22	c vivif2 --  cl tried    25778 cl shrink     1430 lits rem       3860 time: 1.73
1484.06/372.53	c asymm  cl-useful: 2/760/43457 lits-rem:2 time: 1.25
1484.46/372.63	c calculated reachability. Time: 0.36
1484.46/372.64	c  N dy  2337    357930     16579     43457    430650     25755    267006   1560326     65.80     19.11  --
1529.22/383.83	c Finding binary XORs  T:     2.28 s  found:      13
1530.40/384.17	c  N dy  2470    377965     16600     43387    454325     45979    267466   2987221     70.12     18.84  --
1580.73/396.75	c  N dy  2605    398075     16600     43387    454329     36044    267466   2125748     78.56     18.62  --
1627.86/408.57	c  N dy  2739    418116     16600     43387    458839     55944    267510   3652110     64.76     18.51  --
1675.00/420.35	c  N dy  2873    438183     16593     43387    464961     45115    268102   2704810     75.13     18.31  --
1725.34/432.94	c  N dy  3005    458234     16593     43387    470684     33206    268540   1814409     74.10     18.10  --
1771.67/444.56	c  N dy  3139    478272     16589     43387    470694     53032    268540   3211531     84.39     17.95  --
1820.40/456.76	c  N dy  3272    498307     16588     43387    470698     40138    268540   2208628     64.51     17.80  --
1868.75/468.85	c  N dy  3406    518312     16588     43387    475931     60060    268872   3577672     92.74     17.67  --
1914.29/480.20	c  S st  3531    536896     16586     43387    478993     44740    269138   2617965     50.09     17.59  --
1915.49/480.55	c  S st  3531    537398     16586     43387    478996     45238    269138   2645893     50.09     17.59  --
1915.49/480.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1915.91/480.62	c Cache  BProp: 1276 Set: 0 BXProp: 0 T: 0.15
1942.67/487.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   3604 BRemL:  11559 BRemN:    222 CBin:       0 P: 60.0M T: 27.01
1944.65/487.81	c Calc non-exist non-lernt bins v-fix:     0 done:  16583 time:  1.70 s
1944.65/487.85	c Cache  BProp: 1276 Set: 0 BXProp: 0 T: 0.16
1948.24/488.76	c Subs w/ non-existent bins:    379 time:  3.67 s
1948.64/488.83	c Replacing       13 vars Replaced     1343 lits Time:     0.24 s 
1949.44/489.01	c bin-w-bin subsume rem         1176 bins  time:  0.29 s
1955.85/490.67	c subs with bin:      264  lits-rem:       925  v-fix:    0  time:  6.66 s
1956.23/490.73	c Removed useless bin:     191  fixed:     0  bprops:   1.70M  time:  0.23 s
1971.80/494.69	c ORs :  23143 avg-s:  3.3 cl-sh:    58 l-rem:     60 b-add:     57 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    6.49
1972.20/494.74	c lits-rem:       429  cl-subs:     4283  v-elim:   1920  v-fix:    0  time: 16.01 s
1972.20/494.74	c learnt bin added due to v-elim: 0
1973.02/494.95	c vivif2 --  cl tried    43142 cl shrink      106 lits rem        113 time: 0.82
1975.80/495.68	c vivif2 --  cl tried    40485 cl shrink     2191 lits rem       6150 time: 2.92
1977.00/495.96	c asymm  cl-useful: 6/306/43056 lits-rem:6 time: 1.14
1977.41/496.06	c calculated reachability. Time: 0.35
1977.41/496.07	c  N dy  3531    537398     16526     43056    462056     40481    266434   2374260     50.09     17.59  --
1977.41/496.07	c  F st  3531    537398     16526     43056    462056     40481    266434   2374260     50.09     17.59  --
1982.59/497.35	c Decided on dynamic restart strategy
2014.55/505.38	c Finding binary XORs  T:     2.34 s  found:       0
2028.53/508.88	c  N dy  3657    557468     16530     43046    468618     60314    266438   3712952     57.97     17.47  --
2079.27/521.52	c  N dy  3792    577520     16530     43046    471429     45618    266480   2491370     70.18     17.32  --
2129.61/534.15	c  N dy  3926    597635     16529     43046    473883     65579    266676   3789637     47.19     17.18  --
2177.54/546.18	c  N dy  4059    617686     16526     43046    473884     49805    266676   2802114     70.98     17.04  --
2230.26/559.32	c  N dy  4192    637809     16526     43046    477360     69750    266704   4128802     71.09     16.93  --
2280.62/572.00	c  N dy  4325    657814     16525     43046    481798     52982    266764   2843010     62.04     16.78  --
2332.52/584.98	c  N dy  4458    677897     16524     43046    481801     72869    266764   4023027     56.56     16.65  --
2380.07/596.88	c  N dy  4592    698059     16524     43046    485279     55176    266770   2837303     61.27     16.55  --
2432.00/609.83	c  N dy  4727    718114     16522     43046    487436     75056    266782   4052405     63.25     16.45  --
2468.35/618.97	c Finding binary XORs  T:     2.35 s  found:       0
2482.75/622.54	c  N dy  4861    738250     16520     43010    488784     56339    266629   2833477     56.29     16.36  --
2536.66/636.01	c  N dy  4995    758333     16520     43010    488791     76149    266629   4075949     74.25     16.29  --
2587.01/648.69	c  N dy  5129    778462     16520     43010    495231     56476    266661   2766083     64.83     16.20  --
2640.95/662.13	c  N dy  5262    798610     16514     43010    497447     76392    266677   4001622     65.97     16.14  --
2661.30/667.29	c  S st  5312    806097     16514     43010    500917     43262    266707   1971160     55.79     16.11  --
2662.92/667.64	c  S st  5312    806601     16514     43010    500918     43761    266707   1994967     55.79     16.11  --
2662.92/667.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2663.32/667.71	c Cache  BProp: 1276 Set: 0 BXProp: 0 T: 0.16
2692.47/675.05	c Flit:     0 Blit:      3 bXBeca:    0 bXProp:    3 Bin:   1299 BRemL:  61871 BRemN:   1054 CBin:       0 P: 60.0M T: 29.30
2694.08/675.49	c Calc non-exist non-lernt bins v-fix:     0 done:  16509 time:  1.77 s
2694.46/675.54	c Cache  BProp: 1281 Set: 0 BXProp: 0 T: 0.16
2698.08/676.42	c Subs w/ non-existent bins:    188 time:  3.52 s
2698.08/676.48	c Replacing        3 vars Replaced      651 lits Time:     0.24 s 
2698.85/676.63	c bin-w-bin subsume rem          579 bins  time:  0.27 s
2703.25/677.71	c subs with bin:     1089  lits-rem:       992  v-fix:    0  time:  4.31 s
2703.25/677.76	c Removed useless bin:     105  fixed:     0  bprops:   1.48M  time:  0.21 s
2716.05/680.95	c ORs :  23004 avg-s:  3.3 cl-sh:    28 l-rem:     39 b-add:     20 v-rep:   0 cl-rem: 4 avg s: 3.0 T:    6.28
2739.21/686.70	c Added 22 vars  tried: 80000 time: 23.00
2739.21/686.72	c ORs :     22 avg-s:  0.0 cl-sh:  3048 l-rem:   3048 b-add:     44 v-rep:   0 cl-rem: 18 avg s: 4.8 T:   23.05
2739.21/686.76	c lits-rem:       272  cl-subs:     2970  v-elim:   1923  v-fix:    0  time: 35.97 s
2739.21/686.76	c learnt bin added due to v-elim: 0
2740.01/686.97	c vivif2 --  cl tried    42934 cl shrink      117 lits rem        123 time: 0.83
2742.80/687.65	c vivif2 --  cl tried    39689 cl shrink     2936 lits rem       8385 time: 2.71
2744.00/687.93	c asymm  cl-useful: 3/333/42831 lits-rem:3 time: 1.12
2744.40/688.03	c calculated reachability. Time: 0.37
2744.40/688.04	c  N dy  5312    806601     16465     42831    435301     39681    263353   1759095     55.79     16.11  --
2793.95/700.41	c  N dy  5446    826608     16462     42831    437606     59299    263371   2656793     33.27     15.99  --
2842.28/712.52	c  N dy  5579    846638     16462     42831    439727     79139    263381   3968430     62.95     15.97  --
2887.03/723.76	c  N dy  5713    866764     16461     42831    442522     57686    263403   2761652     73.63     15.94  --
2935.78/735.96	c  N dy  5845    886799     16460     42831    442527     77469    263402   4018064     65.27     15.91  --
2982.10/747.55	c  N dy  5978    906836     16460     42831    442530     54789    263402   2447836     60.26     15.88  --
2996.90/751.21	c Finding binary XORs  T:     2.38 s  found:       0
3030.84/759.70	c  N dy  6111    926946     16459     42787    443276     71718    263278   3527592     69.14     15.83  --
3080.80/772.22	c  N dy  6245    947055     16470     42787    450388     48163    263358   2095055     70.26     15.80  --
3126.31/783.69	c  N dy  6378    967155     16470     42787    450391     67987    263358   3294216     57.01     15.76  --
3178.26/796.69	c  N dy  6511    987251     16470     42787    450395     87834    263358   4552053     50.03     15.73  --
3222.60/807.78	c  N dy  6645   1007406     16469     42787    451851     63325    263358   3056273     80.47     15.71  --
3275.34/820.96	c  N dy  6777   1027416     16469     42787    453755     83101    263360   4389914     76.38     15.70  --
3321.68/832.60	c  N dy  6909   1047441     16463     42787    453756     57449    263360   2644013     64.56     15.70  --
3370.43/844.70	c  N dy  7042   1067505     16465     42787    454986     77315    263368   3947280     69.27     15.69  --
3422.35/857.79	c  N dy  7174   1087522     16464     42787    457660     50661    263374   2111424     62.19     15.68  --
3469.48/869.54	c  N dy  7307   1107529     16464     42787    459540     70582    263404   3445146     73.91     15.68  --
3519.02/881.95	c  N dy  7440   1127540     16464     42787    459542     90370    263404   4761567     65.58     15.67  --
3534.60/885.83	c Finding binary XORs  T:     2.41 s  found:       0
3572.57/895.34	c  N dy  7573   1147676     16462     42662    458835     59910    262995   2697257     60.80     15.63  --
3620.49/907.38	c  N dy  7705   1167710     16461     42662    458836     79756    262995   4009820     59.70     15.61  --
3674.41/920.81	c  N dy  7840   1187822     16461     42662    460931     51151    262999   2133012     62.06     15.60  --
3721.15/932.52	c  N dy  7973   1207964     16460     42662    460934     71054    262999   3444904     76.82     15.59  --
3726.36/933.86	c  S st  7987   1209901     16460     42662    465339     72999    263001   3583218     65.13     15.58  --
3728.34/934.37	c  S st  7987   1210403     16459     42662    465342     73491    263001   3612983     65.13     15.58  --
3728.74/934.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
3728.74/934.44	c Cache  BProp: 1282 Set: 0 BXProp: 0 T: 0.17
3756.71/941.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1256 BRemL:   7854 BRemN:    107 CBin:       0 P: 60.0M T: 27.96
3758.30/941.87	c Calc non-exist non-lernt bins v-fix:     0 done:  16457 time:  1.70 s
3758.70/941.91	c Cache  BProp: 1282 Set: 0 BXProp: 0 T: 0.17
3764.29/943.32	c Subs w/ non-existent bins:     93 time:  5.65 s
3765.09/943.57	c bin-w-bin subsume rem          384 bins  time:  0.29 s
3772.67/945.47	c subs with bin:       15  lits-rem:       110  v-fix:    0  time:  7.58 s
3773.07/945.52	c Removed useless bin:      75  fixed:     0  bprops:   1.34M  time:  0.19 s
3797.84/951.70	c ORs :  23007 avg-s:  3.3 cl-sh:   101 l-rem:    109 b-add:     10 v-rep:   0 cl-rem: 7 avg s: 3.1 T:    7.05
3797.84/951.77	c lits-rem:       122  cl-subs:     4290  v-elim:   1831  v-fix:    0  time: 24.99 s
3797.84/951.77	c learnt bin added due to v-elim: 0
3798.64/951.99	c vivif2 --  cl tried    42626 cl shrink      121 lits rem        128 time: 0.88
3804.24/953.36	c vivif2 --  cl tried    69156 cl shrink     1940 lits rem       4995 time: 5.47
3805.46/953.61	c asymm  cl-useful: 0/197/42557 lits-rem:0 time: 0.98
3805.86/953.71	c calculated reachability. Time: 0.36
3805.86/953.72	c  N dy  7987   1210403     16429     42557    456801     69147    261940   3417036     65.13     15.58  --
3859.77/967.26	c  N dy  8120   1230538     16430     42557    460571     89091    261948   4607369     48.56     15.55  --
3912.09/980.34	c  N dy  8253   1250661     16430     42557    460576     59496    261948   2502550     60.63     15.50  --
3963.23/993.13	c  N dy  8386   1270775     16428     42557    465510     79376    261962   3547596     54.09     15.45  --
4018.76/1007.01	c  N dy  8520   1290776     16426     42557    465513     99176    261962   4737264     54.21     15.42  --
4069.11/1019.65	c  N dy  8654   1310914     16426     42557    465518     68661    261962   3071852     40.48     15.38  --
4126.24/1033.95	c  N dy  8787   1330946     16426     42557    470347     88501    261976   4197961     56.01     15.35  --
4171.36/1045.25	c Finding binary XORs  T:     2.43 s  found:       0
4188.54/1049.54	c  N dy  8921   1351019     16425     42515    470884     55288    261845   2305146     64.23     15.32  --
4238.48/1062.02	c  N dy  9054   1371165     16425     42515    470885     75224    261845   3476754     57.18     15.29  --
4294.40/1076.09	c  N dy  9185   1391173     16425     42515    471984     95060    261847   4640029     43.77     15.26  --
4349.93/1089.93	c  N dy  9319   1411305     16424     42515    473412     62554    261885   2724784     62.62     15.23  --
4403.48/1103.33	c  N dy  9451   1431389     16424     42515    474580     82504    261897   3921726     62.89     15.21  --
4463.79/1118.43	c  N dy  9585   1451458     16424     42515    474581    102378    261897   5115282     72.26     15.19  --
4517.33/1131.81	c  N dy  9718   1471520     16424     42515    477123     68742    261919   3023808     59.77     15.16  --
4571.63/1145.45	c  N dy  9851   1491538     16424     42515    478081     88576    261919   4071005     61.34     15.13  --
4632.35/1160.61	c  N dy  9983   1511594     16423     42515    478083    108410    261919   5220619     47.95     15.11  --
4683.89/1173.50	c  N dy 10115   1531630     16423     42515    480185     73823    261919   3361486     50.57     15.09  --
4742.21/1188.13	c  N dy 10247   1551653     16423     42515    480933     93652    261918   4471905     37.16     15.06  --

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-3280362-1304030741/watcher-3280362-1304030741 -o /tmp/evaluation-result-3280362-1304030741/solver-3280362-1304030741 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3280362-1304030741.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.86 8.05 7.14 5/180 20678
/proc/meminfo: memFree=17138776/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=52164 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 1247 0 0 0 0 0 0 0 24 0 1 0 514670805 53415936 1178 33554432000 4194304 4797429 140736668151040 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20678/statm: 13041 1180 347 148 0 7970 0

[startup+0.0270201 s]
/proc/loadavg: 7.86 8.05 7.14 5/180 20678
/proc/meminfo: memFree=17138776/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=69408 CPUtime=0.01 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 5923 0 0 0 1 0 0 0 24 0 1 0 514670805 71073792 4433 33554432000 4194304 4797429 140736668151040 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20678/statm: 17352 4449 348 148 0 12281 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 69408

[startup+0.101008 s]
/proc/loadavg: 7.86 8.05 7.14 5/180 20678
/proc/meminfo: memFree=17138776/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=93492 CPUtime=0.09 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 12830 0 0 0 8 1 0 0 24 0 1 0 514670805 95735808 9480 33554432000 4194304 4797429 140736668151040 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20678/statm: 23373 9481 349 148 0 18302 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93492

[startup+0.30097 s]
/proc/loadavg: 7.86 8.05 7.14 5/180 20678
/proc/meminfo: memFree=17138776/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=216972 CPUtime=0.29 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 49566 0 0 0 24 5 0 0 25 0 1 0 514670805 222179328 35363 33554432000 4194304 4797429 140736668151040 18446744073709551615 254500389049 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20678/statm: 54243 35363 349 148 0 49172 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 216972

[startup+0.700888 s]
/proc/loadavg: 7.86 8.05 7.14 5/180 20678
/proc/meminfo: memFree=17138776/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=359636 CPUtime=0.69 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 89298 0 0 0 59 10 0 0 25 0 1 0 514670805 368267264 60614 33554432000 4194304 4797429 140736668151040 18446744073709551615 254500352709 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20678/statm: 89909 60616 349 148 0 84838 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 359636

[startup+1.50066 s]
/proc/loadavg: 7.86 8.05 7.14 6/181 20679
/proc/meminfo: memFree=16864604/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=669960 CPUtime=2.07 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 110625 0 0 0 193 14 0 0 18 0 4 0 514670805 686039040 81476 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427317 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 167490 81476 376 148 0 162419 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 669960

[startup+3.10034 s]
/proc/loadavg: 7.86 8.05 7.14 9/184 20682
/proc/meminfo: memFree=16794520/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=1082088 CPUtime=8.47 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 117973 0 0 0 831 16 0 0 20 0 4 0 514670805 1108058112 86096 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427200 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 270522 86096 384 148 0 265451 0
[pid=20678/tid=20680] ppid=20676 vsize=1082088 CPUtime=1.78 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 1714 0 0 0 178 0 0 0 20 0 4 0 514670935 1108058112 86096 33554432000 4194304 4797429 140736668151040 18446744073709551615 4241772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=1082088 CPUtime=1.79 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 2270 0 0 0 179 0 0 0 20 0 4 0 514670935 1108058112 86096 33554432000 4194304 4797429 140736668151040 18446744073709551615 4413008 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=1082088 CPUtime=1.78 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 2188 0 0 0 178 0 0 0 20 0 4 0 514670935 1108058112 86096 33554432000 4194304 4797429 140736668151040 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.47
Current children cumulated vsize (KiB) 1082088

[startup+6.3007 s]
/proc/loadavg: 7.87 8.05 7.14 9/184 20682
/proc/meminfo: memFree=16794976/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=1087192 CPUtime=21.25 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 119063 0 0 0 2108 17 0 0 25 0 4 0 514670805 1113284608 87186 33554432000 4194304 4797429 140736668151040 18446744073709551615 4428396 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 271798 87186 384 148 0 266727 0
[pid=20678/tid=20680] ppid=20676 vsize=1087192 CPUtime=4.98 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 2078 0 0 0 497 1 0 0 25 0 4 0 514670935 1113284608 87186 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427295 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=1087192 CPUtime=4.99 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 2424 0 0 0 499 0 0 0 25 0 4 0 514670935 1113284608 87186 33554432000 4194304 4797429 140736668151040 18446744073709551615 4241700 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=1087192 CPUtime=4.96 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 2475 0 0 0 496 0 0 0 25 0 4 0 514670935 1113284608 87186 33554432000 4194304 4797429 140736668151040 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.25
Current children cumulated vsize (KiB) 1087192

[startup+12.7004 s]
/proc/loadavg: 7.88 8.05 7.14 9/184 20682
/proc/meminfo: memFree=16029184/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=2063188 CPUtime=46.78 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 334446 0 0 0 4623 55 0 0 18 0 4 0 514670805 2112704512 300986 33554432000 4194304 4797429 140736668151040 18446744073709551615 4223051 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 515797 300986 413 148 0 510726 0
[pid=20678/tid=20680] ppid=20676 vsize=2063188 CPUtime=11.37 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 54532 0 0 0 1127 10 0 0 25 0 4 0 514670935 2112704512 300986 33554432000 4194304 4797429 140736668151040 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=2063188 CPUtime=11.38 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 57509 0 0 0 1127 11 0 0 18 0 4 0 514670935 2112704512 300986 33554432000 4194304 4797429 140736668151040 18446744073709551615 4301776 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=2063188 CPUtime=11.32 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 57044 0 0 0 1122 10 0 0 18 0 4 0 514670935 2112704512 300986 33554432000 4194304 4797429 140736668151040 18446744073709551615 4493644 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 46.78
Current children cumulated vsize (KiB) 2063188

[startup+25.5009 s]
/proc/loadavg: 7.98 8.06 7.16 9/184 20683
/proc/meminfo: memFree=15799408/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=2194636 CPUtime=97.91 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 382093 0 0 0 9725 66 0 0 25 0 4 0 514670805 2247307264 337618 33554432000 4194304 4797429 140736668151040 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 548659 337618 418 148 0 543588 0
[pid=20678/tid=20680] ppid=20676 vsize=2194636 CPUtime=24.18 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 68690 0 0 0 2405 13 0 0 25 0 4 0 514670935 2247307264 337618 33554432000 4194304 4797429 140736668151040 18446744073709551615 4428041 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=2194636 CPUtime=24.18 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 68688 0 0 0 2404 14 0 0 25 0 4 0 514670935 2247307264 337618 33554432000 4194304 4797429 140736668151040 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=2194636 CPUtime=24.05 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 69067 0 0 0 2392 13 0 0 25 0 4 0 514670935 2247307264 337618 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 97.91
Current children cumulated vsize (KiB) 2194636

[startup+51.1008 s]
/proc/loadavg: 7.99 8.06 7.18 9/184 20683
/proc/meminfo: memFree=15077368/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=2997600 CPUtime=200.16 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 602782 0 0 0 19907 109 0 0 25 0 4 0 514670805 3069542400 522063 33554432000 4194304 4797429 140736668151040 18446744073709551615 4360055 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 749400 522063 419 148 0 744329 0
[pid=20678/tid=20680] ppid=20676 vsize=2997600 CPUtime=49.77 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 116353 0 0 0 4955 22 0 0 25 0 4 0 514670935 3069542400 522063 33554432000 4194304 4797429 140736668151040 18446744073709551615 4241500 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=2997600 CPUtime=49.77 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 131248 0 0 0 4952 25 0 0 25 0 4 0 514670935 3069542400 522063 33554432000 4194304 4797429 140736668151040 18446744073709551615 4403600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=2997600 CPUtime=49.5 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 137819 0 0 0 4924 26 0 0 25 0 4 0 514670935 3069542400 522063 33554432000 4194304 4797429 140736668151040 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 200.16
Current children cumulated vsize (KiB) 2997600

[startup+102.307 s]
/proc/loadavg: 8.09 8.07 7.23 9/184 20685
/proc/meminfo: memFree=14796424/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3254252 CPUtime=404.7 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 682540 0 0 0 40341 129 0 0 25 0 4 0 514670805 3332354048 585190 33554432000 4194304 4797429 140736668151040 18446744073709551615 4424639 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 813563 585190 421 148 0 808492 0
[pid=20678/tid=20680] ppid=20676 vsize=3254252 CPUtime=100.97 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 140843 0 0 0 10069 28 0 0 25 0 4 0 514670935 3332354048 585190 33554432000 4194304 4797429 140736668151040 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3254252 CPUtime=100.97 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 141317 0 0 0 10069 28 0 0 25 0 4 0 514670935 3332354048 585190 33554432000 4194304 4797429 140736668151040 18446744073709551615 4430417 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3254252 CPUtime=100.44 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 153548 0 0 0 10013 31 0 0 25 0 4 0 514670935 3332354048 585190 33554432000 4194304 4797429 140736668151040 18446744073709551615 4231995 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 404.7
Current children cumulated vsize (KiB) 3254252

[startup+162.301 s]
/proc/loadavg: 8.12 8.09 7.29 9/184 20686
/proc/meminfo: memFree=14758724/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3303868 CPUtime=644.37 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 706889 0 0 0 64300 137 0 0 25 0 4 0 514670805 3383160832 593104 33554432000 4194304 4797429 140736668151040 18446744073709551615 4506580 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 825967 593104 422 148 0 820896 0
[pid=20678/tid=20680] ppid=20676 vsize=3303868 CPUtime=160.96 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 145254 0 0 0 16066 30 0 0 25 0 4 0 514670935 3383160832 593104 33554432000 4194304 4797429 140736668151040 18446744073709551615 4681010 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3303868 CPUtime=160.96 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 144619 0 0 0 16067 29 0 0 25 0 4 0 514670935 3383160832 593104 33554432000 4194304 4797429 140736668151040 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3303868 CPUtime=160.13 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 158285 0 0 0 15980 33 0 0 25 0 4 0 514670935 3383160832 593104 33554432000 4194304 4797429 140736668151040 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 644.37
Current children cumulated vsize (KiB) 3303868

[startup+222.301 s]
/proc/loadavg: 8.07 8.08 7.34 9/184 20688
/proc/meminfo: memFree=14699304/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3334660 CPUtime=884.05 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 733349 0 0 0 88261 144 0 0 25 0 4 0 514670805 3414691840 606153 33554432000 4194304 4797429 140736668151040 18446744073709551615 4352376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 833665 606153 422 148 0 828594 0
[pid=20678/tid=20680] ppid=20676 vsize=3334660 CPUtime=220.95 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 150037 0 0 0 22064 31 0 0 25 0 4 0 514670935 3414691840 606153 33554432000 4194304 4797429 140736668151040 18446744073709551615 4642792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3334660 CPUtime=220.96 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 149175 0 0 0 22066 30 0 0 25 0 4 0 514670935 3414691840 606153 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427988 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3334660 CPUtime=219.82 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 162641 0 0 0 21948 34 0 0 25 0 4 0 514670935 3414691840 606153 33554432000 4194304 4797429 140736668151040 18446744073709551615 4352376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 884.05
Current children cumulated vsize (KiB) 3334660

[startup+282.301 s]
/proc/loadavg: 8.02 8.06 7.38 9/184 20689
/proc/meminfo: memFree=14670500/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3356932 CPUtime=1123.74 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 759669 0 0 0 112221 153 0 0 25 0 4 0 514670805 3437498368 613433 33554432000 4194304 4797429 140736668151040 18446744073709551615 4387741 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 839233 613433 422 148 0 834162 0
[pid=20678/tid=20680] ppid=20676 vsize=3356932 CPUtime=280.95 cores=0,2,4,6

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


[startup+702.301 s]
/proc/loadavg: 8.08 8.05 7.60 9/184 20732
/proc/meminfo: memFree=15524464/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3397940 CPUtime=2801.53 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 866619 0 0 0 279961 192 0 0 25 0 4 0 514670805 3479490560 618772 33554432000 4194304 4797429 140736668151040 18446744073709551615 4424848 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 849485 618772 422 148 0 844414 0
[pid=20678/tid=20680] ppid=20676 vsize=3397940 CPUtime=700.93 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 173201 0 0 0 70056 37 0 0 25 0 4 0 514670935 3479490560 618772 33554432000 4194304 4797429 140736668151040 18446744073709551615 4647986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3397940 CPUtime=700.98 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 167377 0 0 0 70061 37 0 0 25 0 4 0 514670935 3479490560 618772 33554432000 4194304 4797429 140736668151040 18446744073709551615 4428617 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3397940 CPUtime=697.28 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 177167 0 0 0 69690 38 0 0 25 0 4 0 514670935 3479490560 618772 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.53
Current children cumulated vsize (KiB) 3397940

[startup+762.307 s]
/proc/loadavg: 8.08 8.06 7.63 9/184 20733
/proc/meminfo: memFree=15506476/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3406100 CPUtime=3041.25 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 879564 0 0 0 303929 196 0 0 25 0 4 0 514670805 3487846400 621198 33554432000 4194304 4797429 140736668151040 18446744073709551615 4387372 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 851525 621198 422 148 0 846454 0
[pid=20678/tid=20680] ppid=20676 vsize=3406100 CPUtime=760.93 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 174233 0 0 0 76056 37 0 0 25 0 4 0 514670935 3487846400 621198 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3406100 CPUtime=760.99 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 169134 0 0 0 76062 37 0 0 25 0 4 0 514670935 3487846400 621198 33554432000 4194304 4797429 140736668151040 18446744073709551615 4531994 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3406100 CPUtime=756.98 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 178207 0 0 0 75660 38 0 0 25 0 4 0 514670935 3487846400 621198 33554432000 4194304 4797429 140736668151040 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.25
Current children cumulated vsize (KiB) 3406100

[startup+822.301 s]
/proc/loadavg: 8.12 8.07 7.66 9/184 20735
/proc/meminfo: memFree=15501500/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3414288 CPUtime=3280.93 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 894107 0 0 0 327892 201 0 0 25 0 4 0 514670805 3496230912 622383 33554432000 4194304 4797429 140736668151040 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 853572 622383 422 148 0 848501 0
[pid=20678/tid=20680] ppid=20676 vsize=3414288 CPUtime=820.92 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 176248 0 0 0 82054 38 0 0 25 0 4 0 514670935 3496230912 622383 33554432000 4194304 4797429 140736668151040 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3414288 CPUtime=821 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 171198 0 0 0 82062 38 0 0 25 0 4 0 514670935 3496230912 622383 33554432000 4194304 4797429 140736668151040 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3414288 CPUtime=816.68 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 179517 0 0 0 81629 39 0 0 25 0 4 0 514670935 3496230912 622383 33554432000 4194304 4797429 140736668151040 18446744073709551615 4531952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.93
Current children cumulated vsize (KiB) 3414288

[startup+882.301 s]
/proc/loadavg: 8.12 8.09 7.69 9/184 20736
/proc/meminfo: memFree=15492808/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3415964 CPUtime=3520.62 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 907057 0 0 0 351856 206 0 0 25 0 4 0 514670805 3497947136 624008 33554432000 4194304 4797429 140736668151040 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 853991 624008 422 148 0 848920 0
[pid=20678/tid=20680] ppid=20676 vsize=3415964 CPUtime=880.92 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 177242 0 0 0 88054 38 0 0 25 0 4 0 514670935 3497947136 624008 33554432000 4194304 4797429 140736668151040 18446744073709551615 4241811 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3415964 CPUtime=880.99 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 172367 0 0 0 88061 38 0 0 25 0 4 0 514670935 3497947136 624008 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3415964 CPUtime=876.36 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 180699 0 0 0 87597 39 0 0 25 0 4 0 514670935 3497947136 624008 33554432000 4194304 4797429 140736668151040 18446744073709551615 4510047 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.62
Current children cumulated vsize (KiB) 3415964

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 7.71 9/184 20747
/proc/meminfo: memFree=15484344/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3419184 CPUtime=3760.3 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 920940 0 0 0 375820 210 0 0 25 0 4 0 514670805 3501244416 625115 33554432000 4194304 4797429 140736668151040 18446744073709551615 4642182 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 854796 625115 422 148 0 849725 0
[pid=20678/tid=20680] ppid=20676 vsize=3419184 CPUtime=940.92 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 178120 0 0 0 94054 38 0 0 25 0 4 0 514670935 3501244416 625115 33554432000 4194304 4797429 140736668151040 18446744073709551615 4225989 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3419184 CPUtime=941 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 174881 0 0 0 94061 39 0 0 25 0 4 0 514670935 3501244416 625115 33554432000 4194304 4797429 140736668151040 18446744073709551615 4647984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3419184 CPUtime=936.05 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 181562 0 0 0 93565 40 0 0 25 0 4 0 514670935 3501244416 625115 33554432000 4194304 4797429 140736668151040 18446744073709551615 4428551 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.3
Current children cumulated vsize (KiB) 3419184

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 7.73 9/184 20749
/proc/meminfo: memFree=15480104/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3420436 CPUtime=3999.98 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 929869 0 0 0 399784 214 0 0 25 0 4 0 514670805 3502526464 626266 33554432000 4194304 4797429 140736668151040 18446744073709551615 4351547 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 855109 626266 422 148 0 850038 0
[pid=20678/tid=20680] ppid=20676 vsize=3420436 CPUtime=1000.9 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 178853 0 0 0 100052 38 0 0 25 0 4 0 514670935 3502526464 626266 33554432000 4194304 4797429 140736668151040 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3420436 CPUtime=1000.99 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 176401 0 0 0 100060 39 0 0 25 0 4 0 514670935 3502526464 626266 33554432000 4194304 4797429 140736668151040 18446744073709551615 4520125 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3420436 CPUtime=995.73 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 182387 0 0 0 99533 40 0 0 25 0 4 0 514670935 3502526464 626266 33554432000 4194304 4797429 140736668151040 18446744073709551615 4428023 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.98
Current children cumulated vsize (KiB) 3420436

[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 7.75 9/184 20750
/proc/meminfo: memFree=15470904/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3432180 CPUtime=4239.68 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 944741 0 0 0 423750 218 0 0 25 0 4 0 514670805 3514552320 627023 33554432000 4194304 4797429 140736668151040 18446744073709551615 4424610 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 858045 627023 422 148 0 852974 0
[pid=20678/tid=20680] ppid=20676 vsize=3432180 CPUtime=1060.91 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 181164 0 0 0 106052 39 0 0 25 0 4 0 514670935 3514552320 627023 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3432180 CPUtime=1061 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 178080 0 0 0 106060 40 0 0 25 0 4 0 514670935 3514552320 627023 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3432180 CPUtime=1055.42 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 184344 0 0 0 105502 40 0 0 25 0 4 0 514670935 3514552320 627023 33554432000 4194304 4797429 140736668151040 18446744073709551615 4557719 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.68
Current children cumulated vsize (KiB) 3432180

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 7.77 9/184 20752
/proc/meminfo: memFree=15460476/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3432548 CPUtime=4479.36 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 957818 0 0 0 447714 222 0 0 25 0 4 0 514670805 3514929152 626577 33554432000 4194304 4797429 140736668151040 18446744073709551615 4387372 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 858137 626577 422 148 0 853066 0
[pid=20678/tid=20680] ppid=20676 vsize=3432548 CPUtime=1120.9 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 182991 0 0 0 112051 39 0 0 25 0 4 0 514670935 3514929152 626577 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3432548 CPUtime=1121 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 179560 0 0 0 112060 40 0 0 25 0 4 0 514670935 3514929152 626577 33554432000 4194304 4797429 140736668151040 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3432548 CPUtime=1115.1 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 185858 0 0 0 111470 40 0 0 25 0 4 0 514670935 3514929152 626577 33554432000 4194304 4797429 140736668151040 18446744073709551615 4643087 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4479.36
Current children cumulated vsize (KiB) 3432548

[startup+1182.3 s]
/proc/loadavg: 8.30 8.15 7.81 9/184 20756
/proc/meminfo: memFree=15459772/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3432880 CPUtime=4719.04 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 969487 0 0 0 471678 226 0 0 25 0 4 0 514670805 3515269120 628406 33554432000 4194304 4797429 140736668151040 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 858220 628406 422 148 0 853149 0
[pid=20678/tid=20680] ppid=20676 vsize=3432880 CPUtime=1180.9 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 184194 0 0 0 118050 40 0 0 25 0 4 0 514670935 3515269120 628406 33554432000 4194304 4797429 140736668151040 18446744073709551615 4648004 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3432880 CPUtime=1181 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 181853 0 0 0 118060 40 0 0 25 0 4 0 514670935 3515269120 628406 33554432000 4194304 4797429 140736668151040 18446744073709551615 4346799 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3432880 CPUtime=1174.79 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 187273 0 0 0 117438 41 0 0 25 0 4 0 514670935 3515269120 628406 33554432000 4194304 4797429 140736668151040 18446744073709551615 4428729 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4719.04
Current children cumulated vsize (KiB) 3432880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.21 8.14 7.82 9/184 20757
/proc/meminfo: memFree=15460764/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=3433096 CPUtime=4800.15 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) R 20676 20678 20430 0 -1 4202496 974395 0 0 0 479788 227 0 0 25 0 4 0 514670805 3515490304 627071 33554432000 4194304 4797429 140736668151040 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 858274 627071 422 148 0 853203 0
[pid=20678/tid=20680] ppid=20676 vsize=3433096 CPUtime=1201.21 cores=0,2,4,6
/proc/20678/task/20680/stat : 20680 (techdemo) R 20676 20678 20430 0 -1 4202560 184609 0 0 0 120081 40 0 0 25 0 4 0 514670935 3515490304 627071 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20678/tid=20681] ppid=20676 vsize=3433096 CPUtime=1201.31 cores=0,2,4,6
/proc/20678/task/20681/stat : 20681 (techdemo) R 20676 20678 20430 0 -1 4202560 182187 0 0 0 120091 40 0 0 25 0 4 0 514670935 3515490304 627071 33554432000 4194304 4797429 140736668151040 18446744073709551615 4642210 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=3433096 CPUtime=1194.97 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4202560 188093 0 0 0 119456 41 0 0 25 0 4 0 514670935 3515490304 627071 33554432000 4194304 4797429 140736668151040 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 3433096

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

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

[startup+1202.71 s]
/proc/loadavg: 8.21 8.14 7.82 9/184 20757
/proc/meminfo: memFree=15460764/32950928 swapFree=67111528/67111528
[pid=20678] ppid=20676 vsize=0 CPUtime=4800.27 cores=0,2,4,6
/proc/20678/stat : 20678 (techdemo) Z 20676 20678 20430 0 -1 4203548 974396 0 0 0 479790 237 0 0 25 0 2 0 514670805 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20678/statm: 0 0 0 0 0 0 0
[pid=20678/tid=20682] ppid=20676 vsize=0 CPUtime=1195.08 cores=0,2,4,6
/proc/20678/task/20682/stat : 20682 (techdemo) R 20676 20678 20430 0 -1 4203588 188093 0 0 0 119457 51 0 0 25 0 2 0 514670935 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.73
CPU time (s): 4800.3
CPU user time (s): 4797.91
CPU system time (s): 2.39164
CPU usage (%): 399.117
Max. virtual memory (cumulated for all children) (KiB): 3540724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.91
system time used= 2.39164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 974396
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= 12811
involuntary context switches= 21441

runsolver used 1.9617 second user time and 4.40733 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 00:45:41
IDJOB=3280362
IDBENCH=20386
IDSOLVER=1584
FILE ID=node149/3280362-1304030741
RUNJOBID= node149-1304028681-20448
PBS_JOBID= 13170303
Free space on /tmp= 71892 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280362-1304030741/watcher-3280362-1304030741 -o /tmp/evaluation-result-3280362-1304030741/solver-3280362-1304030741 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3280362-1304030741.cnf

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

MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=1725023276

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      17139056 kB
Buffers:       2200544 kB
Cached:       11236540 kB
SwapCached:          0 kB
Active:        6561020 kB
Inactive:      8706896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17139056 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           20608 kB
Writeback:           0 kB
AnonPages:     1830172 kB
Mapped:          15632 kB
Slab:           475804 kB
PageTables:       9164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2706616 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= 71896 MiB
End job on node149 at 2011-04-29 01:05:46